- Research
- Open access
- Published:
Dirichlet type problems for Dunkl-Poisson equations
Boundary Value Problems volume 2016, Article number: 222 (2016)
Abstract
In this paper, using the intertwine relations of differential operators, we study one representation of real analytic functions by Dunkl-harmonic functions, which is a generalization of the well-known Almansi formula. As an application of the representation, we construct a solution of the Dunkl-Poisson equations in Clifford analysis. Then we investigate solutions of homogeneous and inhomogeneous Dirichlet type problems for Dunkl-Poisson’s equation, and inhomogeneous Dirichlet problems for Dunkl-Laplace’s equation.
1 Introduction
In mathematics, a Dirichlet problem for Laplace’s equation can be stated as follows: Given a function f that has values everywhere on the boundary of a region in \(\mathbf{R}^{m}\), there is a unique function u twice continuously differentiable in the interior and continuous to the boundary, such that u is harmonic in the interior and \(u = f\) on the boundary. The Dirichlet problem [1] can be investigated for many PDEs, although originally it was posed for Laplace’s equation. In this paper, we consider Dirichlet type problems for Dunkl-Poisson equations.
Dunkl operators \(T_{j}\) (\(j = 1, \ldots ,m\)) introduced by Dunkl in [2, 3] are combinations of differential and difference operators, associated to a finite reflection group. These operators have the property of being invariant under reflections and, additionally, they are pairwise commuting. Also, they are very important in pure mathematics and physics. They provide a useful tool in the study of special functions with root systems and they are closely related to certain representations of degenerate affine Hecke algebras (see [4, 5]). Moreover, the commutative algebra generated by these operators has been used in the study of certain exactly solvable models of quantum mechanics, namely the Calogero-Sutherland-Moser models (see [6–8]). One of the most important properties of Dunkl operators is that they are mutually commute. This allowed Cerejeiras et al. in [9] to introduce a Dirac operator, called the Dunkl-Dirac operator, based on differential-difference operators which are invariant under reflection groups and also construct the Dunkl-Laplacian which is a combination of the classical Laplacian in \(\mathbf{R}^{m}\) with some difference terms. The theory of Dunkl-Clifford analysis is further developed in [10–14].
Using Almansi representations, Karachik constructed solutions of initial and boundary value problems for partial differential equations in real analysis, such as Dirichlet problems, Neumann problems, and Riqurie problems, etc. (see [15–18]). However, the study of boundary value problems for partial differential equations in Clifford analysis is a very difficult task. Clifford analysis is the study of functions defined in Euclidean space \(\mathbf{R}^{m}\) and taking values in a Clifford algebra. Functions in Clifford analysis are not mutually commuting (see [19]). Using the intertwining relations of differential operators (i.e., differential operators satisfy the defining relations of the Lie algebra (see [20])), we overcome the noncommutative properties between functions. In this paper, we investigate solutions of the homogeneous and inhomogeneous Dirichlet problem for Dunkl-Poisson’s equation and the inhomogeneous Dirichlet problem for Dunkl-Laplace’s equation in Clifford analysis.
The paper is organized as follows. In Section 2, we introduce the definition of Dunkl operators and review some results on the theory of Dunkl-Clifford analysis. In Section 3, applying the intertwine relations of differential operators, we study one representation of real analytic functions by Dunkl-harmonic functions. Using the representation, we construct solutions for Dunkl-Poisson’s equation. In Section 4, we first consider solutions of the homogeneous Dirichlet problem for Dunkl-Poisson’s equation. Then we investigate solutions of the inhomogeneous Dirichlet problem for Dunkl-Laplace’s equation and the inhomogeneous Dirichlet problem for Dunkl-Poisson’s equation.
2 Preliminaries
2.1 Dunkl operators
Let \(\mathbf{R}^{m}\) be the Euclidean space equipped with a scalar product \(\langle,\rangle\) and let \(\Vert x\Vert =\sqrt{\langle x, x\rangle }\). For \(\alpha\in\mathbf{R}^{m}\backslash{\{0\}}\), let \(\sigma_{\alpha}\) be the reflection in the hyperplane orthogonal to α i.e. for \(x\in\mathbf{R}^{m}\),
A finite set \(\mathsf{R}\subset\mathbf{R}^{m}\setminus{\{0\}}\) is called a root system if \(\alpha{R}\cap\mathsf{R}=\{ \alpha,-\alpha\}\) and \(\sigma_{\alpha}\mathsf{R}=\mathsf{R}\) for all \(\alpha\in\mathsf{R}\). Each root system can be written as a disjoint union \(\mathsf{R}=\mathsf{R}_{+}\cup(-\mathsf{R}_{+})\), where \(\mathsf{R}_{+}\) and \(-\mathsf{R}_{+}\) are separated by a hyperplane through the origin. The subgroup \(G\subset O(m)\) generated by the reflections \(\{\sigma_{\alpha}\mid\alpha\in\mathsf{R}\}\) is called the finite reflection group associated with R.
A multiplicity function κ on the root system R is a G-invariant function \(\kappa: \mathsf{R}\rightarrow\mathbf{C}\) i.e. \(\kappa(\alpha)=\kappa(g\alpha)\) for all \(g\in G\). We will denote \(\kappa(\alpha)\) by \(\kappa_{\alpha}\). For abbreviation, we introduce the index
and the weight function
Throughout this paper, we will assume that \(\kappa_{\alpha}\geq0\) for all \(\alpha\in\mathsf{R}\) and \(\gamma_{\kappa}>0\).
For each subsystem \(\mathsf{R}_{+}\) and multiplicity function \(\kappa_{\alpha}\) we have the Dunkl operators
for \(f\in C^{1}(\mathbf{R}^{m})\). An important consequence is that the operators \(T_{i}\) are mutually commuting, that is, \(T_{i}T_{j}=T_{j}T _{i}\) (see [2]).
2.2 Dunkl-Clifford analysis
Let \(\{e_{1},e_{2},\ldots,e_{m}\}\) be an orthogonal basis of the Euclidean space \(\mathbf{R}^{m}\). We consider a function \(f:\mathbf{R}^{m}\rightarrow\mathbf{R}_{0,m}\). Hereby \(\mathbf{R} _{0,m}\) denotes the \(2^{m}\)-dimensional real Clifford algebra over \(\mathbf{R}^{m}\) with basis given by \(e_{0}=1\) and \(e_{A}=e_{h_{1}}\cdots e_{h_{k}}\), where \(A=\{{h_{1},\ldots, h_{k}} \}\subset\{{1,\ldots, n}\}\) for \(1\leq{h_{1}}\leq\cdots, \leq h _{k}\leq m\). The function f can be written as \(f=\sum_{A}e_{A}f_{A}(x)\), where \(f_{A}(x)\) is a real-valued function. An element \(x=(x_{1},\ldots, x_{m})\) of \(\mathbf{R}^{m}\) can be identified with \({x}=\sum_{i=1}^{m}{ x}_{i}{e}_{i}\). By direct calculation, we have \(x^{2}=-\vert x\vert ^{2}\).
A Dunkl-Dirac operator in \(\mathbf{R}^{m}\) for the corresponding reflection group G is defined as \(D_{h}=\sum_{i=1}^{m}e_{i}T _{i}\), where \(T_{i}\) are Dunkl operators. Functions belonging to the kernel of the Dunkl-Dirac operator \(D_{h}\) are called Dunkl-monogenic functions.
If we let \(D_{h}\) act on x, we see that
where μ is a complex number in contrast to the non-Dunkl case of the dimension m. In this paper, we assume that \(\mu\geq0\).
The Dunkl Laplacian is defined as
where Δ and ∇ are the usual Laplacian and gradient operator. When \(\kappa_{\alpha}=0\), the Dunkl Laplacian \(\Delta_{h}\) is just the ordinary Laplacian. Functions belonging to the kernel of the Dunkl Laplacian \(\Delta_{h}\) are called Dunkl-harmonic functions.
3 Dunkl-Poisson equation in Clifford analysis
3.1 One representation of real analytic functions by Dunkl-harmonic functions
Definition 3.1
[21]
An open connected set \(\Omega\subset{\mathbf{R}^{m}}\) is a star domain with center 0 if any \(\underline{x}\in{ \Omega}\) and \(0\leq{t}\leq{1}\) imply that \(t\underline{x}\in{\Omega}\). The set is denoted by \(\Omega^{\star}\).
Definition 3.2
Let \(\Omega^{\star}\) be a star domain in \(\mathbf{R}^{m}\) with center 0. Then the generalized Euler operator on domain \({ \Omega^{\star}}\) is defined by
where t is a real number, I is the identity operator, and E is the Euler operator.
Now we can see the most important intertwining relations concerning the operators \(x^{2}\), \(\Delta_{h}\), \(E_{\mu}\).
Lemma 3.3
[20]
The operators
generate the lie algebra
where \(\mu=\frac{m}{2}+\gamma\) and the Lie bracket \([x,y]\) is the commutator \([x,y]=xy-yx\).
Lemma 3.4
Let \(\Omega^{\star}\) be a star domain in \(\mathbf{R}^{m}\) with center 0. If \(f(x)\in{C^{2}(\Omega^{\star})}\otimes R_{0,m}\) and \(\mu\geq0\), then
Proof
By Lemma 3.3 and the definition of \(\mathbf{E} _{t}\), we have
Thus, we finish the proof. □
Lemma 3.5
Let \(g(x)\in{C^{1}(\Omega^{\star})}\otimes R_{0,m}\). Then
and
for \(q\in\mathbf{N}\) and \(l\geq{0}\).
Proof
The proof can be referred to in the literature [22]. □
In this paper, we assume the following infinite series converges absolutely and uniformly in \(\Omega^{*}\).
Theorem 3.6
Let \(G(x)\in C^{\infty}(\Omega^{*})\otimes R_{0,m}\). Then
where \(\Delta_{h} f_{s}(x)=0 \) and
Proof
First we prove that the functions \(f_{s}({x})\) satisfy (5). Substituting \(f_{s}({x})\) into the right-hand side of the identity (5), we have
Denote by \(A_{1}({x})\) the fourth term on the right side of equation (6). Then
Denote by \(A_{2}(x)\) the integral on the above expression. Let \(t=\alpha\beta\). Then \(dt=\alpha \,d\beta\). We calculate
Let \(\alpha=\beta+t\). Then we have
Let \(\beta=\alpha(1-t)\). It follows that
We calculate
where the beta functions
Using the properties of beta functions and gamma functions:
and
we have
By substituting \(A_{3}(t)\) into \(A_{1}({x})\), we have
We calculate
and
Thus, we have
By substituting \(A_{1}(x)\) into (6), we have (5).
Next, we prove that \(\Delta_{h} f_{s}({x})=0\). By Lemma 3.4, we have
Denote by \(B_{1}({x})\) the third term of the above equality. From Lemma 3.5, we have
which implies that \(\Delta_{h} f_{s}({x})=0\). Thus, we finish the proof. □
Corollary 3.7
Let \(P_{l}(x)\) be a homogeneous polynomial of degree l. Then
where \(R_{l-2k}(x)\) are homogeneous Dunkl-harmonic polynomials and
Proof
Let \(P_{l}(x)\) be a homogeneous polynomial of degree l. By Theorem 3.6, we have
where
Using equation (5), we have
for the case \(G(x)=P_{l}(x)\). Using equations (7) and (8), we have
where \((m)_{s} = m( m + 1)\cdots(m +s-1)\) is the Pochhammer symbol. Therefore,
By equation (5), we have
Thus, it follows from (12) that
which completes the proof. □
3.2 Solutions of the Dunkl-Poisson equation in Clifford analysis
In this section, we study the Dunkl-Poisson equation in Clifford analysis,
where \(f({x})\in C^{\infty}(\Omega) \otimes R_{0,m}\) is a real analytic function.
Theorem 3.8
Let \(f({x}) \in C^{\infty}(\Omega^{*})\otimes R_{0,m}\). A real analytic solution of equation (13) can be found in the form
Proof
Let \(f({x})\in C^{\infty}(\Omega^{*})\otimes R _{0,m}\). Then it follows by Theorem 3.6 that
where \(f_{s}(x)\) are Dunkl-harmonic in \(\Omega^{*}\) given by the relation
Note that \(\Delta_{h}^{s+1}G(x)=\Delta_{h}^{s}f\). Thus, we have
Since \(\Delta_{h}[G(x)-f_{0}(x)]=f{(x)}\), it implies that \([G(x)-f _{0}(x)]\) is a solution of the Poisson equation (13). Therefore, the right-hand of equation (17) is a solution of equation (13). □
Corollary 3.9
The solution of the Poisson equation \(\Delta_{h}G(x)=P_{l}(x)\) can be represented in the form
where \([\frac{l}{2}]\) is the integer part of \(\frac{l}{2}\) and \((a,b)_{k}=a(a+b)\cdots(a+kb-b)\) is the generalized Pochhammer symbol with the convention that \((a,b)_{0}=1\).
Proof
Let \(P_{l}(x)\) be a homogeneous polynomial of degree l. Then we have \(\Delta_{h}^{k}P_{l}(\alpha x)=\alpha^{l-2k} \Delta_{h}^{k}P_{l}(x)\). Therefore, (14) can be transformed into
Furthermore, we can write
where \(B(s,k)=\int_{0}^{1}\alpha^{s-1}(1-\alpha)^{k-1}\,d\alpha\). Then by the relation
we have
Using the property \(\Gamma(s+1)= s\Gamma(s)\) of the gamma function, we find that
It follows that
which completes the proof. □
Corollary 3.10
Let \(P_{l}(x)\) be a homogeneous harmonic polynomial of degree l. The solution of the equation \(\Delta_{h} G(x)=x^{2k}P_{l}(x)\) is given by
Proof
Let \(f(x)=x^{2k}P_{l}(x)\). We calculate this solution using equation (14) to obtain
Let us derive an expression for \(\Delta_{h}^{s}[x^{2k}P_{l}(x)]\). By Lemma 3.5, we have
Therefore, for \(2s\leq2k+l\), we have
Thus, we find
and, since \(P_{l}(\alpha x)=\alpha^{l}P_{l}(x)\),
The integral in this expression is evaluated as
where \(B(m,n)\) is the Euler beta function. Then \(G(x)\) is transformed into
Thus, we complete the proof. □
4 Dirichlet type problems for Dunkl-Poisson’s equation
In [23–25], a weak solution of the Dirichlet problem of the Poisson equation with homogeneous boundary data in variable exponent space was obtained. In [17], Karachik used the Almansi representation for Laplace operator to construct a polynomial solution of the inhomogeneous Dirichlet problem for Poisson’s equation in harmonic analysis. Inspired by the above-mentioned results, we develop further these ideas for Dunkl-Poisson’s equation in Clifford analysis.
4.1 Homogeneous Dirichlet problem for Dunkl-Poisson’s equation
In this section, we consider the following boundary value problem for the Dunkl-Poisson equation in the unit ball \(B=\{x\in R^{m}:\vert x\vert <1\}\):
where \(f(x)\) is a polynomial.
In order to obtain solutions of the homogeneous Dirichlet problem for Dunkl-Poisson’s equation (19), we first consider the following boundary value problem for the Dunkl-Poisson equation in the unit ball \(B=\{x\in R^{m}:\vert x\vert <1\}\):
where \(P_{l}(x)\) is a homogeneous polynomial of degree l.
Theorem 4.1
Let \(P_{l}(x)\) be a homogeneous polynomial of degree l. The solution of the Dirichlet problem (20) can be written as
Proof
By Corollary 3.7, it follows that the solution of the equation \(\Delta_{h}G(x) = P_{l}(x)\) becomes
Note that \(R_{l-2k}(x)\) are Dunkl-harmonic polynomials. Then the polynomial
is Dunkl-harmonic.
Thus, we have \(\Delta_{h}[G(x)+G_{0}(x)]=P_{l}(x)\) and the property \(G(x)+G_{0}(x) =0\) for \(\vert x\vert = 1\). Therefore, the polynomial \(G(x)+G_{0}(x)\) solves the Dirichlet problem (20).
Using equations (22) and (23), we find
Using equations (7), (8), and (9), we transform the inner sum in this expression as
Using \(i\alpha^{i} = \alpha(\alpha^{i})'\) and the binomial theorem, we have
By integration by parts, we have
Therefore, the polynomial \(G(x)+G_{0}(x)\) can be rewritten as
□
Theorem 4.2
Let \(f(x)\) be an arbitrary polynomial. Then the solution of the Dirichlet problem (19) can be written as
Proof
Let \(f(x)\) be an arbitrary polynomial. Then \(f(x)=\sum_{l}P_{l}(x)\), where \(P_{l}(x)\) is a homogeneous polynomial of degree l. Using (21), we see that the solution of the Dirichlet problem (19) is
□
4.2 Inhomogeneous Dirichlet problem for Dunkl-Laplace’s equation
Now we consider the following Dirichlet problem for Dunkl-Laplace’s equation in the unit ball B:
with a polynomial boundary value \(P(x)\).
Theorem 4.3
Let \(P(x)\) be a polynomial. Then the solution of problem (25) can be written as
Proof
Using equation (24), we find the solution of the Dirichlet problem
as follows:
Then the function
is Dunkl-harmonic, because \(\Delta_{h} v(x) =\Delta_{h} {P(x)}-\Delta_{h} u(x) = 0\). And the function \(\upsilon(x)\) satisfies the boundary condition \(v(x)\vert _{\partial B}= P(x)\vert _{\partial B}\). Therefore, the function \(\upsilon(x)\) is a solution of problem (25).
Combining Theorems 4.2 and 4.3 yields the following result. □
4.3 Inhomogeneous Dirichlet problem for Dunkl-Poisson’s equation
Now we consider the following Dirichlet problem for Dunkl-Laplace’s equation in the unit ball B:
with a polynomial boundary value \(P(x)\).
Theorem 4.4
Let \(f(x)\) and \(P(x)\) be polynomials. Then the solution of the Dirichlet problem (28) can be written as
Proof
The solution of problem (28) can be decomposed into the sum of solutions of two problems: (19) and (25). It follows by solutions (24) and (26) that the solution of the problem (28) is the function (29). □
References
Dirichlet, PGL: Abh. Königlich. Preuss. Akad. Wiss. 99-116 (1850)
Dunkl, CF: Differential-difference operators associated to reflection groups. Trans. Am. Math. Soc. 311, 167-183 (1989)
Dunkl, CF, Xu, Y: Orthogonal Polynomials of Several Variables. Cambridge Univ. Press, Cambridge (2001)
Cherednik, L: A unification of the Knizhnik-Zamolodchikov equations and Dunkl operators via affine Hecke algebras. Invent. Math. 106, 411-432 (1991)
Opdam, EM: Harmonic analysis for certain representations of graded Hecke algebras. Acta Math. 175, 75-121 (1995)
Hikami, K: Dunkl operators formalism for quantum many-body problems associated with classical root systems. J. Phys. Soc. Jpn. 65, 394-401 (1996)
Kakei, S: Common algebraic structure for the Calogero-Sutherland models. J. Phys. A 29, 619-624 (1996)
Lapointe, L, Vinet, L: Exact operator solution of the Calogero-Sutherland model. Commun. Math. Phys. 178, 425-452 (1996)
Cerejeiras, P, Kähler, U, Ren, GB: Clifford analysis for finite reflection groups. Complex Var. Elliptic Equ. 51, 487-495 (2006)
Bernardes, G, Cerejeiras, P, Kähler, U: Fischer decomposition and Cauchy kernel for Dunkl-Dirac operators. Adv. Appl. Clifford Algebras 19, 163-171 (2009)
Fei, MG, Cerejeiras, P, Kähler, U: Fueter’s theorem and its generalizations in Dunkl-Clifford analysis. J. Phys. A, Math. Theor. 42, 1-15 (2009)
Fei, MG, Cerejeiras, P, Kähler, U: Spherical Dunkl-monogenics and a factorization of the Dunkl-Laplacian. J. Phys. A, Math. Theor. 43, 1-14 (2010)
Ren, GB: Howe duality in Dunkl superspace. Sci. China Math. 53, 3153-3162 (2010)
De Bie, H, De Schepper, N: Clifford-Gegenbauer polynomials related to the Dunkl Dirac operator. Bull. Belg. Math. Soc. Simon Stevin 18(2), 193-214 (2011)
Karachik, VV: Polynomial solutions to the systems of partial differential equations with constant coefficients. Yokohama Math. J. 47, 121-142 (2000)
Karachik, VV: Normalized system of functions with respect to the Laplace operator and its applications. J. Math. Anal. Appl. 287, 577-592 (2003)
Karachik, VV: Construction of polynomial solutions to some boundary value problems for Poisson’s equation. Comput. Math. Math. Phys. 51(9), 1567-1587 (2011)
Karachik, VV: On solvability conditions for the Neumann problem for a polyharmonic equation in the unit ball. J. Appl. Ind. Math. 8(1), 63-75 (2014)
Brackx, F, Delanghe, R, Sommen, F: Clifford Analysis. Res Notes Math, Pitman, London (1982)
Heckman, GJ: A remark on the Dunkl differential-difference operators. In: Barker, W, Sally, P (eds.) Harmonic Analysis on Reductive Groups. Progress in Math., vol. 101, pp. 181-191. Birkhäuser Verlag, Basel (1991)
Aronszajn, N, Creese, TM, Lipkin, LJ: Polyharmonic Functions. Oxford Mathematics Monographs. The Clarendon Press, Oxford University Press, New York (1983)
Liu, L: Almansi type decompositions and their applications. Phd. dissertation, University of Science and Technology of China (2009)
Colli, P, Gilardi, G, Sprekels, J: A boundary control problem for the pure Cahn-Hilliard equation with dynamic boundary conditions. Adv. Nonlinear Anal. 4(4), 311-325 (2015)
Fu, Y, Radulescu, V, Zhang, B: Hodge decomposition of variable exponent spaces of Clifford-valued functions and applications to Dirac and Stokes equations. Comput. Math. Appl. 70(4), 691-704 (2015)
Molica Bisci, G, Radulescu, V, Zhang, B: Existence of stationary states for A-Dirac equations with variable growth. Adv. Appl. Clifford Algebras 25(2), 385-402 (2015)
Acknowledgements
This work was supported by the NNSF of China (No. 11426082), the Natural Science Foundation of Hebei Province (No. A2016402034), and Project of Handan Municipal Science and Technology Bureau (No. 1534201097-10).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The author declares to have no competing interests.
Author’s contributions
The author read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Yuan, H. Dirichlet type problems for Dunkl-Poisson equations. Bound Value Probl 2016, 222 (2016). https://doi.org/10.1186/s13661-016-0730-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-016-0730-4