Skip to main content

Dirichlet type problems for Dunkl-Poisson equations

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 [68]). 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 [1014].

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 [1518]). 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

$$\gamma=\gamma_{\kappa}=\sum_{\alpha\in\mathsf{R}_{+}} \kappa_{ \alpha} $$

and the weight function

$$h_{\kappa}(x)=\prod_{\alpha\in\mathsf{R}_{+}} { \bigl\vert \langle\alpha,{x}\rangle \bigr\vert ^{\kappa_{\alpha}}}. $$

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

$$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, $$

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

$$\mu:=\frac{1}{2}D_{h}x=\frac{m}{2}+\gamma, $$

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

$$\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) , $$

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

$$\mathbf{E}_{t}= t\mathbf{I} + \mathbf{E} =t\mathbf{I} + {\sum _{i=1}^{m}{{ x}_{i}} \partial_{{ x}_{i}}}, $$

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

$$E:=\frac{x^{2}}{2},\qquad F:=\frac{-\Delta_{h}}{2},\qquad H:= \mathbf{E}_{\mu} $$

generate the lie algebra

$$[H,E]=2E, \qquad [H,F]=-2F,\qquad [E,F]=H, $$

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

$$ \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

$$\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}$$

Thus, we finish the proof. □

Lemma 3.5

Let \(g(x)\in{C^{1}(\Omega^{\star})}\otimes R_{0,m}\). Then

$$ (\mathbf{E}+l+1) \int_{0}^{1}\alpha^{l}g(\alpha x)\,d \alpha=g(x) $$
(2)

and

$$ (\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)

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

$$ 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)

where \(\Delta_{h} f_{s}(x)=0 \) and

$$ 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

$$\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)

Denote by \(A_{1}({x})\) the fourth term on the right side of equation (6). Then

$$\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}$$

Denote by \(A_{2}(x)\) the integral on the above expression. Let \(t=\alpha\beta\). Then \(dt=\alpha \,d\beta\). We calculate

$$\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}$$

Let \(\alpha=\beta+t\). Then we have

$$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. $$

Let \(\beta=\alpha(1-t)\). It follows that

$$\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}$$

We calculate

$$\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}$$

where the beta functions

$$ B(l,s)= \int_{0}^{1}\alpha^{l-1}(1- \alpha)^{s-1}\,d\alpha. $$
(7)

Using the properties of beta functions and gamma functions:

$$ B(l,s)=\frac{\Gamma(l)\Gamma(s)}{\Gamma(s+l)} $$
(8)

and

$$ \Gamma(s)=(s-1)!, $$
(9)

we have

$$\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}$$

By substituting \(A_{3}(t)\) into \(A_{1}({x})\), we have

$$\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}$$

We calculate

$$\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}$$

and

$$\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!}. $$

Thus, we have

$$\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}$$

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

$$\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}$$

Denote by \(B_{1}({x})\) the third term of the above equality. From Lemma 3.5, we have

$$\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}$$

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

$$ P_{l}(x)=R_{l}(x)+x^{2}R_{l-2}(x)+ \cdots+x^{2k}R_{l-2k}(x), $$
(10)

where \(R_{l-2k}(x)\) are homogeneous Dunkl-harmonic polynomials and

$$ 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

$$P_{l}(x)=R_{l}(x)+x^{2}R_{l-2}(x)+ \cdots+x^{2k}R_{l-2k}(x), $$

where

$$ 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)

Using equation (5), we have

$$\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}$$

for the case \(G(x)=P_{l}(x)\). Using equations (7) and (8), we have

$$\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}}, $$

where \((m)_{s} = m( m + 1)\cdots(m +s-1)\) is the Pochhammer symbol. Therefore,

$$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}}. $$

By equation (5), we have

$$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}}. $$

Thus, it follows from (12) that

$$\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}$$

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,

$$ {\Delta_{h}}G(x)=f({x}), $$
(13)

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

$$ 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

$$ 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)

where \(f_{s}(x)\) are Dunkl-harmonic in \(\Omega^{*}\) given by the relation

$$ 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

$$ 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)

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

$$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. $$

Furthermore, we can write

$$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), $$

where \(B(s,k)=\int_{0}^{1}\alpha^{s-1}(1-\alpha)^{k-1}\,d\alpha\). Then by the relation

$$B(s,k)=\frac{\Gamma(s)\Gamma(k)}{\Gamma(s+k)}, $$

we have

$$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)}. $$

Using the property \(\Gamma(s+1)= s\Gamma(s)\) of the gamma function, we find that

$$\Gamma(l+\mu+1)=(l+\mu) (l+\mu-1)\cdots(l+\mu-s)\Gamma(l+\mu-s). $$

It follows that

$$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)}, $$

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

$$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

$$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. $$

Let us derive an expression for \(\Delta_{h}^{s}[x^{2k}P_{l}(x)]\). By Lemma 3.5, we have

$$\Delta_{h} \bigl[x^{2k}P_{l}(x) \bigr]=4kx^{2k-2}(l+\mu+k-1)P_{l}(x). $$

Therefore, for \(2s\leq2k+l\), we have

$$\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}$$

Thus, we find

$$\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}$$

and, since \(P_{l}(\alpha x)=\alpha^{l}P_{l}(x)\),

$$\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}$$

The integral in this expression is evaluated as

$$\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}$$

where \(B(m,n)\) is the Euler beta function. Then \(G(x)\) is transformed into

$$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)}. $$

Thus, we complete the proof. □

4 Dirichlet type problems for Dunkl-Poisson’s equation

In [2325], 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\}\):

$$ \textstyle\begin{cases} \Delta_{h}G(x)=f(x),& x\in B, \\ G(x)\vert _{\partial B}=0, \end{cases} $$
(19)

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\}\):

$$ \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)

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

$$ {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

$$ G_{0}(x)=\sum_{k=0}^{[\frac{l}{2}]} \frac{R_{l-2k}(x)}{4(k+1)(l-k+ \mu)} $$
(23)

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

$$\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

$$\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}$$

By integration by parts, we have

$$\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}$$

Therefore, the polynomial \(G(x)+G_{0}(x)\) can be rewritten as

$$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:

$$ \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)

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

$$ 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

$$ \textstyle\begin{cases} \Delta_{h} u(x)=\Delta_{h} P(x), & x\in B, \\ u(x)\vert _{\partial B}=0, \end{cases} $$
(27)

as follows:

$$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. $$

Then the function

$$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 $$

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:

$$ \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)

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

$$ 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)

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

  1. Dirichlet, PGL: Abh. Königlich. Preuss. Akad. Wiss. 99-116 (1850)

  2. Dunkl, CF: Differential-difference operators associated to reflection groups. Trans. Am. Math. Soc. 311, 167-183 (1989)

    Article  MathSciNet  MATH  Google Scholar 

  3. Dunkl, CF, Xu, Y: Orthogonal Polynomials of Several Variables. Cambridge Univ. Press, Cambridge (2001)

    Book  MATH  Google Scholar 

  4. Cherednik, L: A unification of the Knizhnik-Zamolodchikov equations and Dunkl operators via affine Hecke algebras. Invent. Math. 106, 411-432 (1991)

    Article  MathSciNet  MATH  Google Scholar 

  5. Opdam, EM: Harmonic analysis for certain representations of graded Hecke algebras. Acta Math. 175, 75-121 (1995)

    Article  MathSciNet  MATH  Google Scholar 

  6. Hikami, K: Dunkl operators formalism for quantum many-body problems associated with classical root systems. J. Phys. Soc. Jpn. 65, 394-401 (1996)

    Article  MathSciNet  MATH  Google Scholar 

  7. Kakei, S: Common algebraic structure for the Calogero-Sutherland models. J. Phys. A 29, 619-624 (1996)

    Article  MathSciNet  MATH  Google Scholar 

  8. Lapointe, L, Vinet, L: Exact operator solution of the Calogero-Sutherland model. Commun. Math. Phys. 178, 425-452 (1996)

    Article  MathSciNet  MATH  Google Scholar 

  9. Cerejeiras, P, Kähler, U, Ren, GB: Clifford analysis for finite reflection groups. Complex Var. Elliptic Equ. 51, 487-495 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  10. Bernardes, G, Cerejeiras, P, Kähler, U: Fischer decomposition and Cauchy kernel for Dunkl-Dirac operators. Adv. Appl. Clifford Algebras 19, 163-171 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  11. 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)

    Article  MATH  Google Scholar 

  12. 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)

    Article  MathSciNet  MATH  Google Scholar 

  13. Ren, GB: Howe duality in Dunkl superspace. Sci. China Math. 53, 3153-3162 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  14. 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)

    MathSciNet  MATH  Google Scholar 

  15. Karachik, VV: Polynomial solutions to the systems of partial differential equations with constant coefficients. Yokohama Math. J. 47, 121-142 (2000)

    MathSciNet  MATH  Google Scholar 

  16. Karachik, VV: Normalized system of functions with respect to the Laplace operator and its applications. J. Math. Anal. Appl. 287, 577-592 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  17. Karachik, VV: Construction of polynomial solutions to some boundary value problems for Poisson’s equation. Comput. Math. Math. Phys. 51(9), 1567-1587 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  18. 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)

    Article  MathSciNet  Google Scholar 

  19. Brackx, F, Delanghe, R, Sommen, F: Clifford Analysis. Res Notes Math, Pitman, London (1982)

    MATH  Google Scholar 

  20. 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)

    Chapter  Google Scholar 

  21. Aronszajn, N, Creese, TM, Lipkin, LJ: Polyharmonic Functions. Oxford Mathematics Monographs. The Clarendon Press, Oxford University Press, New York (1983)

    MATH  Google Scholar 

  22. Liu, L: Almansi type decompositions and their applications. Phd. dissertation, University of Science and Technology of China (2009)

  23. 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)

    MathSciNet  MATH  Google Scholar 

  24. 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)

    Article  MathSciNet  Google Scholar 

  25. 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)

    Article  MathSciNet  MATH  Google Scholar 

Download references

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

Authors

Corresponding author

Correspondence to Hongfen Yuan.

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.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

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

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13661-016-0730-4

MSC

Keywords