Research
Open Access
Dirichlet type problems for Dunkl-Poisson equations
- Hongfen Yuan1Email author
Received: 7 October 2016
Accepted: 1 December 2016
Published: 22 December 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.
Keywords
Dirichlet problemDunkl-Poisson equationDunkl-Laplace equationClifford analysis
MSC
30G3535J0558C50
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}\),
$$\sigma_{\alpha}x=x-2\frac{\langle\alpha,x\rangle}{ \vert \alpha \vert ^{2}} \alpha. $$
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\).
$$\gamma=\gamma_{\kappa}=\sum_{\alpha\in\mathsf{R}_{+}} \kappa_{ \alpha} $$
$$h_{\kappa}(x)=\prod_{\alpha\in\mathsf{R}_{+}} { \bigl\vert \langle\alpha,{x}\rangle \bigr\vert ^{\kappa_{\alpha}}}. $$
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]).
$$T_{i}f(x)=\frac{\partial f(x)}{\partial{x_{i}}}+\sum_{\alpha\in\mathsf{R}_{+}} \kappa_{\alpha} \frac{f(x)-f( \sigma_{\alpha}x)}{\langle x, \alpha\rangle}\alpha_{i}, \quad i=1, \ldots,m, $$
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\).
$$\mu:=\frac{1}{2}D_{h}x=\frac{m}{2}+\gamma, $$
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.
$$\Delta_{h} f(x)=-D_{h}^{2} f(x)=\Delta f(x)+2 \sum_{\alpha\in\mathsf{R}_{+}}\kappa_{\alpha} \biggl( \frac{ \langle\nabla f(x),\alpha\rangle}{\langle\alpha,x\rangle}-\frac{f(x)-f( \sigma_{\alpha}x)}{\langle\alpha, x \rangle^{2}}\vert x\vert ^{2} \biggr) , $$
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.
$$\mathbf{E}_{t}= t\mathbf{I} + \mathbf{E} =t\mathbf{I} + {\sum _{i=1}^{m}{{ x}_{i}} \partial_{{ x}_{i}}}, $$
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\).
$$E:=\frac{x^{2}}{2},\qquad F:=\frac{-\Delta_{h}}{2},\qquad H:= \mathbf{E}_{\mu} $$
$$[H,E]=2E, \qquad [H,F]=-2F,\qquad [E,F]=H, $$
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
$$ \Delta_{h} \bigl(x^{2s}f(x) \bigr)=x^{2s}\Delta_{h} f(x)+4sx^{2s-2} \mathbf{E}_{ {\mu}+s-1}f(x). $$
(1)
Proof
By Lemma 3.3 and the definition of \(\mathbf{E} _{t}\), we have Thus, we finish the proof. □
$$\begin{aligned} {\Delta_{h} \bigl[x^{2s}f(x) \bigr]} =& { \Delta_{h} x^{2} \bigl[x^{2s-2}f(x) \bigr]} \\ =& { \bigl(x^{2}\Delta_{h} +4\mathbf{E}_{\mu} \bigr) \bigl[x^{2s-2}f(x) \bigr]} \\ =& {x^{2}\Delta_{h} x^{2s-2}f(x)+ 4 \mathbf{E}_{\mu}x^{2s-2}f(x)} \\ =& {x^{2} \bigl(x^{2}\Delta_{h} +4 \mathbf{E}_{\mu} \bigr)x^{2s-4}f(x)+4 \bigl({ x}^{2} \mathbf{E}_{\mu}+2{ x}^{2} \bigr)x^{2s-4}f(x)=\cdots} \\ =& {x^{2s}\Delta_{h} f(x)+4sx^{2s-2} \mathbf{E}_{\mu+s-1}f(x)}. \end{aligned}$$
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}\).
$$ (\mathbf{E}+l+1) \int_{0}^{1}\alpha^{l}g(\alpha x)\,d \alpha=g(x) $$
(2)
$$ (\mathbf{E}+l+1) \int_{0}^{1}\frac{(1-\alpha)^{q}}{q!}\alpha^{l}g( \alpha x)\,d\alpha = \int_{0}^{1}\frac{(1-\alpha)^{q-1}}{(q-1)!}\alpha ^{l+1}g(\alpha x)\,d\alpha $$
(3)
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
$$ G(x)=f_{0}+\sum_{s=1}^{\infty} \frac{x^{2s}}{4^{s}s!(s-1)!} \int_{0} ^{1} (1-\alpha)^{s-1} \alpha^{{\mu}-1}f_{s}(\alpha x)\,d\alpha, $$
(4)
$$ f_{s}(x)=\Delta_{h}^{s}G(x)+\sum _{l=1}^{\infty} \frac{(-1)^{l}x^{2l}}{4^{l}l!} \int_{0}^{1}\frac{(1-\alpha)^{l-1} \alpha^{l-1}}{(l-1)!}\alpha^{{\mu}-1} \Delta_{h}^{s+l}G(\alpha x)\,d\alpha. $$
(5)
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).
$$\begin{aligned}& f_{0}+\sum_{s=1}^{\infty} \frac{{x}^{2s}}{4^{s}s!(s-1)!} \int_{0}^{1} (1-\alpha)^{s-1} \alpha^{{\mu}-1}f_{s}(\alpha{x})\,d\alpha \\& \quad = G({x})+\sum_{s=1}^{\infty} \frac{(-1)^{s}{x}^{2s}}{4^{s}s!} \int_{0} ^{1}\frac{(1-\alpha)^{s-1}\alpha^{s-1}}{(s-1)!}\alpha^{{\mu}-1} \Delta_{h}^{s}G(\alpha{x})\,d\alpha \\& \qquad {} +\sum_{s=1}^{\infty} \frac{{x}^{2s}}{4^{s}s!(s-1)!} \int_{0}^{1}(1- \alpha)^{s-1} \alpha^{{\mu}-1}\Delta_{h}^{s}G(\alpha{x})\,d\alpha \\& \qquad {} +\sum_{s=1}^{\infty} \frac{{x}^{2s}}{4^{s}s!(s-1)!} \int_{0}^{1}(1- \alpha)^{s-1} \alpha^{{\mu}-1} \\& \qquad {}\times \sum_{l=1}^{\infty} \frac{(-1)^{l}( \alpha{x})^{2l}}{4^{l}l!} \int_{0}^{1}\frac{(1-\beta)^{l-1}\beta ^{l-1}}{(l-1)!}\beta^{\frac{\mu}{2}-1} \Delta_{h}^{l+s}G(\alpha \beta{x})\,d\beta \,d\alpha. \end{aligned}$$
(6)
$$\begin{aligned} {A_{1}({x})} =& {\sum_{s=1}^{\infty} \sum_{l=1}^{\infty} \frac{(-1)^{l}{x}^{2s+2l}}{4^{l+s}s!l!} \int_{0}^{1}\frac{(1-\alpha)^{s-1} \alpha^{2l+{\mu}-1}}{(s-1)!} \int_{0}^{1}\frac{(1-\beta)^{l-1} \beta^{l+{\mu}-2}}{(l-1)!}\Delta_{h}^{l+s}G( \alpha\beta{x})\,d\beta\, d \alpha} \\ =& {\sum_{s=1}^{\infty}\sum _{l=1}^{\infty} \frac{(-1)^{l}{x}^{2s+2l}}{4^{l+s}s!l!} \int_{0}^{1}\frac{\alpha^{2}(1- \alpha)^{s-1}}{(s-1)!} \int_{0}^{1} \frac{(\alpha-\alpha\beta)^{l-1}( \alpha\beta)^{l+{\mu}-2}}{(l-1)!}\Delta_{h}^{l+s}G( \alpha\beta {x})\,d\beta \,d\alpha}. \end{aligned}$$
$$\begin{aligned} {A_{2}({x})} =& { \int_{0}^{1}\frac{\alpha(1-\alpha)^{s-1}}{(s-1)!} \int_{0}^{\alpha }\frac{(\alpha-t)^{l-1}t^{l+{\mu}-2}}{(l-1)!}\Delta_{h}^{l+s}G(t {x})\,dt\,d\alpha} \\ =& { \int_{0}^{1} \int_{0}^{\alpha} \frac{\alpha(1-\alpha)^{s-1}(\alpha -t)^{l-1}}{(s-1)!(l-1)!}t^{l+{\mu}-2} \Delta_{h}^{l+s}G(t{x})\,dt\,d \alpha} \\ =& { \int_{0}^{1} \int_{t}^{1} \frac{\alpha(1-\alpha)^{s-1}(\alpha-t)^{l-1}}{(s-1)!(l-1)!}t^{l+ {\mu}-2} \Delta_{h}^{l+s}G(t{x})\,d\alpha \,dt} \\ =& { \int_{0}^{1}\frac{t^{l+{\mu}-2}}{(s-1)!(l-1)!}\Delta_{h}^{l+s}G(t {x})\,dt \int_{t}^{1} \alpha(1-\alpha)^{s-1}( \alpha-t)^{l-1}\,d\alpha.} \end{aligned}$$
$$A_{3}(t)= \int_{t}^{1} \alpha(1-\alpha)^{s-1}( \alpha-t)^{l-1}\,d\alpha= \int_{0}^{1-t}(\beta+t) (1-\beta-t)^{s-1} \beta^{l-1}\,d\beta. $$
$$\begin{aligned} A_{3}(t) =& { \int_{0}^{1}(\alpha-\alpha t+t) (1- \alpha)^{s-1}(1-t)^{s-1}\alpha ^{l-1}(1-t)^{l} \,d\alpha} \\ =& {(1-t)^{s+l-1} \int_{0}^{1}(\alpha-\alpha t+t) (1- \alpha)^{s-1} \alpha^{l-1}\,d\alpha.} \end{aligned}$$
$$\begin{aligned} {A_{3}(t)} =& {(1-t)^{l+s} \int_{0}^{1}\alpha^{l}(1- \alpha)^{s-1}\,d\alpha+t(1-t)^{l+s-1} \int_{0}^{1}\alpha^{l-1}(1- \alpha)^{s-1}\,d\alpha} \\ =& {(1-t)^{l+s}B(l+1,s)+t(1-t)^{s+l-1}B(l,s),} \end{aligned}$$
$$ B(l,s)= \int_{0}^{1}\alpha^{l-1}(1- \alpha)^{s-1}\,d\alpha. $$
(7)
$$ B(l,s)=\frac{\Gamma(l)\Gamma(s)}{\Gamma(s+l)} $$
(8)
$$ \Gamma(s)=(s-1)!, $$
(9)
$$\begin{aligned} A_{3}(t) =& {\frac{\Gamma(l+1)\Gamma(s)}{\Gamma(l+s+1)}(1-t)^{s+l}+ \frac{ \Gamma(l)\Gamma(s)}{\Gamma(l+s)}t(1-t)^{l+s-1}} \\ =& {\frac{l!(s-1)!}{(l+s)!}(1-t)^{s+l}+\frac {(l-1)!(s-1)!}{(l+s-1)!}t(1-t)^{l+s-1}.} \end{aligned}$$
$$\begin{aligned}& \sum_{s=1}^{\infty}\sum _{l=1}^{\infty} \frac{(-1)^{l}{x}^{2s+2l}}{4^{l+s}} \int_{0}^{1} \biggl[ \frac{(1-t)^{s+l}}{s!(l-1)!(l+s)!}+ \frac{t(1-t)^{l+s-1}}{s!l!(l+s-1)!} \biggr] t^{l+{\mu}-2}\Delta_{h} ^{l+s}G(t{x})\,dt \\& \quad = {\sum_{s=1}^{\infty}\sum _{l=1}^{\infty} \frac{(-1)^{l}{x}^{2s+2l}}{4^{l+s}} \int_{0}^{1} \biggl[ \frac{t^{l-1}(1-t)^{s+l}}{s!(l-1)!(l+s)!}+ \frac{t ^{l}(1-t)^{l+s-1}}{s!l!(l+s-1)!} \biggr] t^{{\mu}-1}\Delta_{h}^{l+s}G(t {x})\,dt} \\& \quad = {\sum_{i=2}^{\infty}\sum _{l=1}^{i-1}\frac{(-1)^{l}{x}^{2i}}{4^{i}} \int_{0}^{1} \biggl[ \frac{t^{i-l-1}(1-t)^{i}}{l!(i-l-1)!i!}+ \frac{t ^{i-l}(1-t)^{i-1}}{l!(i-l)!(i-1)!} \biggr] t^{{\mu}-1}\Delta_{h}^{i}G(t {x})\,dt} \\& \quad = {\sum_{i=2}^{\infty}\frac{{x}^{2i}}{4^{i}} \int_{0}^{1} \Biggl[ \frac{(1-t)^{i}}{i!} \sum _{l=1}^{i-1}\frac{(-1)^{l}t^{i-l-1}}{l!(i-l-1)!}+ \frac{(1-t)^{i-1}}{(i-1)!}\sum_{l=1}^{i-1} \frac{(-1)^{l}t^{i-l}}{l!(i-l)!} \Biggr] t^{{\mu}-1}\Delta_{h}^{i}G(t {x})\,dt.} \end{aligned}$$
$$\begin{aligned} \sum_{l=1}^{i-1}\frac{(-1)^{l}t^{i-l-1}}{l!(i-l-1)!} =&\sum _{s=0}^{i-1}\frac{(-1)^{l}t ^{i-l-1}}{l!(i-l-1)!}- \frac{t^{i-1}}{(i-1)!} \\ =& \frac{(t-1)^{i-1}}{(i-1)!}-\frac{t^{i-1}}{(i-1)!} \end{aligned}$$
$$\sum_{l=1}^{i-1}\frac{(-1)^{l}t^{i-l}}{l!(i-l)!}=\sum _{s=0}^{i-1}\frac{(-1)^{l}t ^{i-l}}{l!(i-l)!}- \frac{t^{i}}{i!}-\frac{(-1)^{i}}{i!} = \frac{(t-1)^{i}}{i!}-\frac{t^{i}}{i!}- \frac{(-1)^{i}}{i!}. $$
$$\begin{aligned} A_{1}({x}) =& {\sum_{i=2}^{\infty} \frac{{x}^{2i}}{4^{i}} \int_{0}^{1} \biggl[ -\frac{(1-t)^{i-1}t ^{i-1}}{(i-1)!i!} - \frac{(-1)^{i}(1-t)^{i-1}}{(i-1)!i!} \biggr] t^{ {\mu}-1}\Delta_{h}^{i}G(t{x}) \,dt} \\ =& {\sum_{i=1}^{\infty}\frac{{x}^{2i}}{4^{i}} \int_{0}^{1} \biggl[ -\frac{(1-t)^{i-1}t ^{i-1}}{(i-1)!i!} - \frac{(-1)^{i}(1-t)^{i-1}}{(i-1)!i!} \biggr] t^{ {\mu}-1}\Delta_{h}^{i}G(t{x}) \,dt.} \end{aligned}$$
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. □
$$\begin{aligned}& {\Delta_{h} f_{s}({x})} \\& \quad = {\Delta_{h}^{s+1}G({x})+\sum _{l=1}^{\infty}\frac{(-1)^{l}}{4^{l}l!} \Delta_{h} \biggl( x^{2l} \int_{0}^{1} \frac{(1-\alpha)^{l-1}\alpha^{l-1}}{(l-1)!}\alpha^{{\mu}-1} \Delta _{h}^{s+l}G(\alpha{x})\,d\alpha \biggr) } \\& \quad = {\Delta_{h}^{s+1}G({x})+\sum _{l=1}^{\infty}\frac {x^{2l}}{4^{l}l!} \int _{0}^{1} \frac{(1-\alpha)^{l-1}\alpha^{l+1}}{(l-1)!} \alpha^{{\mu}-1} \Delta_{h}^{s+l+1}G(\alpha{x})\,d\alpha} \\& \qquad {} -\sum_{l=1}^{\infty} \frac{{x}^{2(l-1)}}{4^{l-1}(l-1)!} ( \mathbf{E}+ {\mu}+l-1 ) \int_{0}^{1} \frac{(1-\alpha)^{l-1}\alpha^{l-1}}{(l-1)!}\alpha^{{\mu}-1} \Delta _{h}^{s+l}G(\alpha{x})\,d\alpha. \end{aligned}$$
$$\begin{aligned} B_{1}(x) =& \sum_{l=1}^{\infty} \frac{(-1)^{l}{x}^{2(l-1)}}{4^{l-1}(l-1)!} ( \mathbf{E}+ {\mu}+l-1 ) \int_{0}^{1} \frac{(1-\alpha)^{l-1}\alpha^{l-1}}{(l-1)!} \alpha^{{\mu}-1}\Delta _{h}^{s+l}G(\alpha{x})\,d\alpha \\ =& - ( \mathbf{E}+{\mu} ) \int_{0}^{1}\alpha^{{\mu }-1}\Delta _{h}^{s+1}G(\alpha{x})\,d\alpha \\ &{} -\sum_{l=2}^{\infty}\frac{{x}^{2(l-1)}}{4^{l-1}(l-1)!} ( \mathbf{E}+ {\mu}+l-1 ) \int_{0}^{1} \frac{(1-\alpha)^{l-1}\alpha^{l-1}}{(l-1)!} \alpha^{{\mu}-1}\Delta _{h}^{s+l}G(\alpha{x})\,d\alpha \\ =& -\Delta_{h}^{s+1}G({x})-\sum _{l=2}^{\infty} \frac{(-1)^{l}x^{2(l-1)}}{4^{l-1}(l-1)!} \int_{0}^{1}\frac{(1-\alpha)^{l-2} \alpha^{l}}{(l-2)!} \alpha^{{\mu}-1} \Delta_{h}^{s+l}G(\alpha{x})\,d\alpha \\ =& -\Delta_{h}^{s+1}G({x})-\sum _{l=2}^{\infty} \frac{x^{2(l-1)}}{4^{l-1}(l-1)!} \int_{0}^{1}\frac{(1-\alpha)^{l-2} \alpha^{l}}{(l-2)!} \alpha^{{\mu}-1} \Delta_{h}^{s+l}G(\alpha{x})\,d\alpha \\ =& -\Delta_{h}^{s+1}G({x})-\sum _{l=1}^{\infty}\frac{x^{2l}}{4^{l}l!} \int_{0}^{1}\frac{(1-\alpha)^{l-1}\alpha^{l+1}}{(l-1)!} \alpha^{ {\mu}-1} \Delta_{h}^{s+l+1}G(\alpha{x})\,d\alpha, \end{aligned}$$
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
$$ P_{l}(x)=R_{l}(x)+x^{2}R_{l-2}(x)+ \cdots+x^{2k}R_{l-2k}(x), $$
(10)
$$ R_{l-2k}(x)=\frac{1}{4^{k}k!(l-k+\mu)\cdots(l-2k+\mu)} \sum _{s=0} ^{[l-k]}\frac{(-1)^{s}x^{2s}\Delta_{h}^{s+k} P_{l}(x)}{4^{s}s!(l-2k-s+ \mu-1)_{s}}. $$
(11)
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. □
$$P_{l}(x)=R_{l}(x)+x^{2}R_{l-2}(x)+ \cdots+x^{2k}R_{l-2k}(x), $$
$$ R_{l-2k}(x)=\frac{f_{k}(x)}{4^{k}k!(k-1)!} \int_{0}^{1}(1-\alpha)^{k-1} \alpha^{l-2k+\mu-1}\,d\alpha = \frac{f_{k}(x)B(k, l-2k+\mu)}{4^{k}k!(k-1)!}. $$
(12)
$$\begin{aligned} {f_{0}(x)} =& {P_{l}(x)+\sum _{s=1}^{\infty}\frac{(-1)^{s}x^{2s}}{4^{s}s!} \int_{0} ^{1}\frac{(1-\alpha)^{s-1}\alpha^{s-1}}{(s-1)!}\alpha^{{\mu}-1} \Delta_{h}^{s}P_{l}(\alpha x)\,d\alpha} \\ =& {P_{l}(x)+\sum_{s=1}^{\infty} \frac{(-1)^{s}x^{2s}\Delta_{h}^{s} P _{l}(x)}{4^{s}s!(s-1)!} \int_{0}^{1}{(1-\alpha)^{s-1} \alpha^{l-s+ \mu-2}}\,d\alpha} \end{aligned}$$
$$\int_{0}^{1}{(1-\alpha)^{s-1} \alpha^{l-s+\mu-2}}\,d\alpha=B(s,l-s+ \mu-1) =\frac{(s-1)!}{(l-s+\mu-1)_{s}}, $$
$$f_{0}(x)=P_{l}(x)+\sum_{s=1}^{\infty} \frac{(-1)^{s}x^{2s}\Delta_{h} ^{s} P_{l}(x)}{4^{s}s!(l-s+\mu-1)_{s}}=\sum_{s=0}^{\infty} \frac{(-1)^{s}x ^{2s}\Delta_{h}^{s} P_{l}(x)}{4^{s}s!(l-s+\mu-1)_{s}}. $$
$$f_{k}(x)=\sum_{s=0}^{\infty} \frac{(-1)^{s}x^{2s}\Delta_{h}^{s+k} P _{l}(x)}{4^{s}s!(l-2k-s+\mu-1)_{s}}. $$
$$\begin{aligned} {R_{l-2k}(x)} =& {\frac{f_{k}(x)B(k, l-2k+\mu)}{4^{k}k!(k-1)!}} \\ =& {\frac{1}{4^{k}k!(l-k+\mu)\cdots(l-2k+\mu)} \sum_{s=0}^{\infty} \frac{(-1)^{s}x ^{2s}\Delta_{h}^{s+k} P_{l}(x)}{4^{s}s!(l-2k-s+\mu-1)_{s}},} \end{aligned}$$
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.
$$ {\Delta_{h}}G(x)=f({x}), $$
(13)
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
$$ G({x})=\sum_{s=0}^{\infty} \frac{(-1)^{s}{x}^{2(s+1)}}{4^{s+1}(s+1)!s!} \int_{0}^{1} (1-\alpha)^{s} \alpha^{{\mu}+s-1} \Delta_{h}^{s}f(\alpha{x})\,d\alpha. $$
(14)
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
$$ G(x)=f_{0}+\sum_{s=1}^{\infty} \frac{x^{2s}}{4^{s}s!(s-1)!} \int_{0} ^{1} (1-\alpha)^{s-1} \alpha^{{\mu}-1}f_{s}(\alpha x)\,d\alpha, $$
(15)
$$ f_{s}(x)=\Delta_{h}^{s}G(x)+\sum _{l=1}^{\infty} \frac{(-1)^{l}x^{2l}}{4^{l}l!} \int_{0}^{1}\frac{(1-\alpha)^{l-1} \alpha^{l-1}}{(l-1)!}\alpha^{{\mu}-1} \Delta_{h}^{s+l}G(\alpha x)\,d\alpha. $$
(16)
Note that \(\Delta_{h}^{s+1}G(x)=\Delta_{h}^{s}f\). Thus, we have
$$\begin{aligned} {G(x)-f_{0}(x)} =& {-\sum _{l=1}^{\infty}\frac{(-1)^{l}x^{2l}}{4^{l}l!} \int_{0}^{1}\frac{(1- \alpha)^{l-1}\alpha^{l-1}}{(l-1)!}\alpha^{{\mu}-1} \Delta_{h}^{l}G( \alpha x)\,d\alpha} \\ =& {\sum_{s=0}^{\infty}\frac{(-1)^{s}{x}^{2(s+1)}}{4^{s+1}(s+1)!s!} \int _{0}^{1} (1-\alpha)^{s} \alpha^{{\mu}+s-1} \Delta_{h}^{s}f(\alpha {x})\,d\alpha.} \end{aligned}$$
(17)
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\).
$$ G(x)=\sum_{s=0}^{[\frac{l}{2}]} \frac{(-1)^{s}{x}^{2(s+1)} \Delta_{h} ^{s}P_{l}({x})}{4^{s+1}(s+1)!(l+\mu)\cdots(l-s+\mu)}, $$
(18)
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. □
$$G(x)=\sum_{s=0}^{[\frac{l}{2}]}\frac{(-1)^{s}{x}^{2(s+1)}\Delta_{h} ^{s}P_{l}({x})}{4^{s+1}(s+1)!s!} \int_{0}^{1} (1-\alpha)^{s} \alpha^{{\mu}+s-1} \alpha^{l-2s}\,d\alpha. $$
$$G(x)=\sum_{s=0}^{[\frac{l}{2}]}\frac{(-1)^{s}{x}^{2(s+1)}\Delta_{h} ^{s}P_{l}({x})}{4^{s+1}(s+1)!s!} B(s+1,\mu+l-s), $$
$$B(s,k)=\frac{\Gamma(s)\Gamma(k)}{\Gamma(s+k)}, $$
$$u(x)=\sum_{s=0}^{[\frac{l}{2}]}\frac{(-1)^{s}\Gamma(l-s+\mu){x}^{2(s+1)} \Delta_{h}^{s}P_{l}({x})}{4^{s+1}(s+1)!\Gamma(l+\mu+1)}. $$
$$\Gamma(l+\mu+1)=(l+\mu) (l+\mu-1)\cdots(l+\mu-s)\Gamma(l+\mu-s). $$
$$G(x)=\sum_{s=0}^{[\frac{l}{2}]}\frac{(-1)^{s}{x}^{2(s+1)} \Delta_{h} ^{s}P_{l}({x})}{4^{s+1}(s+1)!(l+\mu)\cdots(l-s+\mu)}, $$
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
$$G(x)=x^{2k+2}P_{l}(x)\sum_{s=0}^{k} \frac{(-1)^{s}(2k-2s+2,2)_{s}(2l+2 \mu+2k-2s, 2)_{s}}{4^{s+1}(s+1)!(\mu+2k+l)\cdots(\mu+2k+l-s)}. $$
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. □
$$G({x})=\sum_{s=0}^{\infty} \frac{(-1)^{s}{x}^{2(s+1)}}{4^{s+1}(s+1)!s!} \int_{0}^{1} (1-\alpha)^{s} \alpha^{{\mu}+s-1} \Delta_{h}^{s} \bigl[x^{2k}P_{l}(x) \bigr]\,d\alpha. $$
$$\Delta_{h} \bigl[x^{2k}P_{l}(x) \bigr]=4kx^{2k-2}(l+\mu+k-1)P_{l}(x). $$
$$\begin{aligned}& \Delta_{h}^{s}\bigl[x^{2k}P_{l}(x) \bigr] \\& \quad = 2k(2k-2)\cdots(2k-2s+2) (2l+2\mu+2k-2)\cdots(2l+2\mu+2k-2s)x^{2k-2s}P _{l}(x) \\& \quad = (2k-2s+2,2)_{s}(2l+2\mu+2k-2s, 2)_{s}x^{2k-2s}P_{l}(x). \end{aligned}$$
$$\begin{aligned} G({x}) =&\sum_{s=0}^{k}\frac{(-1)^{s}{x}^{2(s+1)}}{4^{s+1}(s+1)!s!} \\ &{}\times \int _{0}^{1} (1-\alpha)^{s} \alpha^{{\mu}+s-1} (2k-2s+2,2)_{s}(2l+2 \mu+2k-2s, 2)_{s}(\alpha x)^{2k-2s}P_{l}(\alpha x)\,d\alpha \end{aligned}$$
$$\begin{aligned} G({x}) =&x^{2k+2}P_{l}(x)\sum_{s=0}^{k} \frac{(-1)^{s}(2k-2s+2,2)_{s}(2l+2 \mu+2k-2s, 2)_{s}}{4^{s+1}(s+1)!s!} \\ &{}\times \int_{0}^{1} (1-\alpha)^{s} \alpha^{{\mu}+2k+l-s-1}\,d\alpha. \end{aligned}$$
$$\begin{aligned} \int_{0}^{1} (1-\alpha)^{s} \alpha^{{\mu}+2k+l-s-1}\,d\alpha =&B(s+1, \mu+2k+l-s) \\ =&\frac{s!}{(\mu+2k+l) \cdots(\mu+2k+l-s)}, \end{aligned}$$
$$G(x)=x^{2k+2}P_{l}(x)\sum_{s=0}^{k} \frac{(-1)^{s}(2k-2s+2,2)_{s}(2l+2 \mu+2k-2s, 2)_{s}}{4^{s+1}(s+1)!(\mu+2k+l)\cdots(\mu+2k+l-s)}. $$
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.
$$ \textstyle\begin{cases} \Delta_{h}G(x)=f(x),& x\in B, \\ G(x)\vert _{\partial B}=0, \end{cases} $$
(19)
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.
$$ \textstyle\begin{cases} \Delta_{h}u(x)=P_{l}(x),& x\in B, \\ u(x)\vert _{\partial B}=0,& x\in\partial B=\{\vert x\vert =1\}, \end{cases} $$
(20)
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
$$ {u(x)=\frac{x^{2}+1}{2}\sum_{k=0}^{[\frac{l}{2}]} \frac {(-1)^{k}\Delta _{h}^{k}P_{l}( x)}{4^{k+1}(k+1)!k!} \int_{0}^{1} \bigl(1+\alpha x^{2} \bigr)^{k}(1- \alpha)^{k}\alpha^{l-2k+\mu-1}\,d\alpha.} $$
(21)
Proof
By Corollary 3.7, it follows that the solution of the equation \(\Delta_{h}G(x) = P_{l}(x)\) becomes
$$ G(x)=\sum_{k=0}^{[\frac{l}{2}]} \frac{x^{2k+2}R_{l-2k}(x)}{4(k+1)(l-k+ \mu)}. $$
(22)
Note that \(R_{l-2k}(x)\) are Dunkl-harmonic polynomials. Then the polynomial is Dunkl-harmonic.
$$ G_{0}(x)=\sum_{k=0}^{[\frac{l}{2}]} \frac{R_{l-2k}(x)}{4(k+1)(l-k+ \mu)} $$
(23)
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
$$\begin{aligned}& G(x)+G_{0}(x) \\& \quad = \sum_{k=0}^{[\frac{l}{2}]}\frac{x^{2k+2}R_{l-2k}(x)}{4(k+1)(l-k+ \mu)}+ \sum_{k=0}^{[\frac{l}{2}]}\frac{R_{l-2k}(x)}{4(k+1)(l-k+\mu)} \\& \quad = \sum_{k=0}^{[\frac{l}{2}]} \frac{(x^{2k+2}+1)}{4(k+1)(l-k+\mu)}R_{l-2k}(x) \\& \quad = \sum_{k=0}^{[\frac{l}{2}]} \frac{(-1)^{k}\Delta^{k}P_{l}(x)}{4^{k+1}(k+1)!} \sum_{i=0}^{k+1} \frac{(l+ \mu-2k+2i-1)x^{2i}}{i!(k-i+1)!(l+\mu-2k+i-1)_{k+2}} \\& \quad = \sum_{k=0}^{[\frac{l}{2}]} \frac{(-1)^{k}\Delta^{k}P_{l}(x)}{4^{k+1}(k+1)!} \sum_{i=0}^{k+1} \frac{(l+ \mu-2k+i-1)\Gamma(l+\mu-2k+i-1)x^{2i}}{i!(k-i+1)!\Gamma(l+\mu-k+i+1)}. \end{aligned}$$
Using equations (7), (8), and (9), we transform the inner sum in this expression as
$$\begin{aligned} \frac{\Gamma(l+\mu-2k+i-1)}{\Gamma(l+\mu-k+i+1)} =& \frac{B(i+2,l+ \mu-2k+i-1)}{\Gamma(i+2)} \\ =& \frac{1}{(i+1)!} \int_{0}^{1}(1-\alpha)^{i+1} \alpha^{l+\mu-2k+i-2}\,d\alpha. \end{aligned}$$
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 □
$$\begin{aligned}& (l+\mu-2k-1) \int_{0}^{1}(1-\alpha)^{k+1} \alpha^{l+\mu-2k-2} \sum_{i=0}^{k+1} \frac{x^{2i}\alpha^{i}}{i!(k-i+1)!}\,d\alpha \\& \qquad {}+ {2 \int_{0}^{1}(1-\alpha)^{i+1} \alpha^{l+\mu-2k-2} \sum_{i=0}^{k+1} \frac{x ^{2i}\alpha^{i}}{i!(k-i+1)!}\,d\alpha} \\& \quad = \int_{0}^{1}(1-\alpha)^{i+1}(l+\mu-2k-1) \alpha^{l+\mu-2k-2} \bigl(1+ \alpha x^{2}\bigr)^{i+1}\,d \alpha \\& \qquad {}+2 \int_{0}^{1}(1-\alpha)^{i+1} \alpha^{l+\mu-2k-2} \bigl[\bigl(1+\alpha x^{2}\bigr)^{i+1} \bigr]'\,d\alpha \\& \quad = \int_{0}^{1}(1-\alpha)^{i+1}d\bigl( \alpha^{l+\mu-2k-1} \bigl(1+\alpha x^{2}\bigr)^{i+1}\bigr) \\& \qquad {}+(i+1)x^{2} \int_{0}^{1}(1-\alpha)^{i+1} \alpha^{l+\mu-2k-1}\bigl(1+ \alpha x^{2}\bigr)^{i}\,d \alpha. \end{aligned}$$
$$\begin{aligned}& \int_{0}^{1}(1-\alpha)^{i+1}d\bigl( \alpha^{l+\mu-2k-1} \bigl(1+\alpha x^{2}\bigr)^{i+1}\bigr) \\& \quad = (i+1) \int_{0}^{1}(1-\alpha)^{i} \alpha^{l+\mu-2k-1} \bigl(1+\alpha x^{2}\bigr)^{i}\bigl[ \bigl(1+ \alpha x^{2}\bigr)+x^{2}(1-\alpha)\bigr]\,d\alpha \\& \quad = (i+1) \bigl(1+x^{2}\bigr) \int_{0}^{1}(1-\alpha)^{i} \alpha^{l+\mu-2k-1} \bigl(1+ \alpha x^{2}\bigr)^{i}\,d \alpha. \end{aligned}$$
$$G(x)+G_{0}(x)=\frac{x^{2}+1}{2}\sum_{k=0}^{[\frac{l}{2}]} \frac{(-1)^{k} \Delta_{h}^{k}P_{l}( x)}{4^{k+1}(k+1)!k!} \int_{0}^{1} \bigl(1+\alpha x^{2} \bigr)^{k}(1- \alpha)^{k}\alpha^{l-2k+\mu-1}\,d\alpha. $$
Theorem 4.2
Let
\(f(x)\)
be an arbitrary polynomial. Then the solution of the Dirichlet problem (19) can be written as
$$ u(x)=\frac{x^{2}+1}{2} \int_{0}^{1}\sum_{k=0}^{\infty} \frac {(1+\alpha x^{2})^{k}(1-\alpha)^{k}}{4^{k+1}(k+1)!k!}\Delta_{h}^{k}f(\alpha x) \alpha^{\mu-1}\,d\alpha. $$
(24)
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 □
$$\begin{aligned} {u(x)} =& {\sum_{l}u_{l}(x)} \\ =& {\sum_{l}\frac{x^{2}+1}{2}\sum _{k=0}^{\infty} \int_{0}^{1}\frac{(1+ \alpha x^{2})^{k}(1-\alpha)^{k}}{4^{k+1}(k+1)!k!}\Delta_{h}^{k}P_{l}( \alpha x)\alpha^{\mu-1}\,d\alpha} \\ =& {\frac{x^{2}+1}{2} \int_{0}^{1}\sum_{k=0}^{\infty} \frac{(1+\alpha x ^{2})^{k}(1-\alpha)^{k}}{4^{k+1}(k+1)!k!}\Delta_{h}^{k}f(\alpha x) \alpha^{\mu-1}\,d\alpha.} \end{aligned}$$
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)\).
$$ \textstyle\begin{cases} \Delta_{h} v(x)=0, \quad x\in B, \\ v(x)\vert _{\partial B}= P(x)\vert _{\partial B}, \end{cases} $$
(25)
Theorem 4.3
Let
\(P(x)\)
be a polynomial. Then the solution of problem (25) can be written as
$$ v(x)=P(x)-\frac{x^{2}+1}{2} \int_{0}^{1}\sum_{k=0}^{\infty} \frac{(1+ \alpha x^{2})^{k}(1-\alpha)^{k}}{4^{k+1}(k+1)!k!}\Delta_{h}^{k+1}P( \alpha x) \alpha^{\mu-1}\,d\alpha. $$
(26)
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).
$$ \textstyle\begin{cases} \Delta_{h} u(x)=\Delta_{h} P(x), & x\in B, \\ u(x)\vert _{\partial B}=0, \end{cases} $$
(27)
$$u(x)=\frac{x^{2}+1}{2} \int_{0}^{1}\sum_{k=0}^{\infty} \frac {(1+\alpha x^{2})^{k}(1-\alpha)^{k}}{4^{k+1}(k+1)!k!}\Delta_{h}^{k+1}P(\alpha x) \alpha^{\mu-1}\,d\alpha. $$
$$v(x)=P(x)-u(x)=P(x)-\frac{x^{2}+1}{2} \int_{0}^{1}\sum_{k=0}^{\infty } \frac{(1+ \alpha x^{2})^{k}(1-\alpha)^{k}}{4^{k+1}(k+1)!k!}\Delta_{h}^{k+1}P( \alpha x) \alpha^{\mu-1}\,d\alpha $$
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)\).
$$ \textstyle\begin{cases} \Delta_{h} u(x)=f(x), \quad x\in B, \\ u(x)\vert _{\partial B}= P(x)\vert _{\partial B}, \end{cases} $$
(28)
Theorem 4.4
Let
\(f(x)\)
and
\(P(x)\)
be polynomials. Then the solution of the Dirichlet problem (28) can be written as
$$ u(x)=P(x)-\frac{x^{2}+1}{2} \int_{0}^{1}\sum_{k=0}^{\infty} \frac{(1- \alpha x^{2})^{k}(1-\alpha)^{k}}{4^{k+1}(k+1)!k!}\Delta_{h}^{k}(f- \Delta_{h} P) (\alpha x)\alpha^{\mu-1}\,d\alpha. $$
(29)
Declarations
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).
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.
Authors’ Affiliations
(1)
College of Science, Hebei University of Engineering, Handan, P.R. China
References
- Dirichlet, PGL: Abh. Königlich. Preuss. Akad. Wiss. 99-116 (1850) Google Scholar
- Dunkl, CF: Differential-difference operators associated to reflection groups. Trans. Am. Math. Soc. 311, 167-183 (1989) MathSciNetView ArticleMATHGoogle Scholar
- Dunkl, CF, Xu, Y: Orthogonal Polynomials of Several Variables. Cambridge Univ. Press, Cambridge (2001) View ArticleMATHGoogle Scholar
- Cherednik, L: A unification of the Knizhnik-Zamolodchikov equations and Dunkl operators via affine Hecke algebras. Invent. Math. 106, 411-432 (1991) MathSciNetView ArticleMATHGoogle Scholar
- Opdam, EM: Harmonic analysis for certain representations of graded Hecke algebras. Acta Math. 175, 75-121 (1995) MathSciNetView ArticleMATHGoogle Scholar
- Hikami, K: Dunkl operators formalism for quantum many-body problems associated with classical root systems. J. Phys. Soc. Jpn. 65, 394-401 (1996) MathSciNetView ArticleMATHGoogle Scholar
- Kakei, S: Common algebraic structure for the Calogero-Sutherland models. J. Phys. A 29, 619-624 (1996) MathSciNetView ArticleMATHGoogle Scholar
- Lapointe, L, Vinet, L: Exact operator solution of the Calogero-Sutherland model. Commun. Math. Phys. 178, 425-452 (1996) MathSciNetView ArticleMATHGoogle Scholar
- Cerejeiras, P, Kähler, U, Ren, GB: Clifford analysis for finite reflection groups. Complex Var. Elliptic Equ. 51, 487-495 (2006) MathSciNetView ArticleMATHGoogle Scholar
- Bernardes, G, Cerejeiras, P, Kähler, U: Fischer decomposition and Cauchy kernel for Dunkl-Dirac operators. Adv. Appl. Clifford Algebras 19, 163-171 (2009) MathSciNetView ArticleMATHGoogle Scholar
- 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) View ArticleMATHGoogle Scholar
- 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) MathSciNetView ArticleMATHGoogle Scholar
- Ren, GB: Howe duality in Dunkl superspace. Sci. China Math. 53, 3153-3162 (2010) MathSciNetView ArticleMATHGoogle Scholar
- 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) MathSciNetMATHGoogle Scholar
- Karachik, VV: Polynomial solutions to the systems of partial differential equations with constant coefficients. Yokohama Math. J. 47, 121-142 (2000) MathSciNetMATHGoogle Scholar
- Karachik, VV: Normalized system of functions with respect to the Laplace operator and its applications. J. Math. Anal. Appl. 287, 577-592 (2003) MathSciNetView ArticleMATHGoogle Scholar
- Karachik, VV: Construction of polynomial solutions to some boundary value problems for Poisson’s equation. Comput. Math. Math. Phys. 51(9), 1567-1587 (2011) MathSciNetView ArticleMATHGoogle Scholar
- 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) MathSciNetView ArticleGoogle Scholar
- Brackx, F, Delanghe, R, Sommen, F: Clifford Analysis. Res Notes Math, Pitman, London (1982) MATHGoogle Scholar
- 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) View ArticleGoogle Scholar
- Aronszajn, N, Creese, TM, Lipkin, LJ: Polyharmonic Functions. Oxford Mathematics Monographs. The Clarendon Press, Oxford University Press, New York (1983) MATHGoogle Scholar
- Liu, L: Almansi type decompositions and their applications. Phd. dissertation, University of Science and Technology of China (2009) Google Scholar
- 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) MathSciNetMATHGoogle Scholar
- 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) MathSciNetView ArticleGoogle Scholar
- 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) MathSciNetView ArticleMATHGoogle Scholar
Copyright
© The Author(s) 2016
