Almansi decomposition for Dunkl operators

Let Ω be a G-invariant convex domain in ℝ^N including 0, where G is a Coxeter group associated with reduced root system R. We consider functions f defined in Ω which are Dunkl polyharmonic, i.e. (Δh)ⁿf = 0 for some integer n. Here_333-01is the Dunkl Laplacian, and D_j is the Dunkl operator attached to the Coxeter group G,

$$\mathcal{D}_j f(x) = \frac{\partial }{{\partial x_j }}f(x) + \sum\limits_{v \in R_ + } {\kappa _v \frac{{f(x) - f(\sigma _v x)}}{{\left\langle {x,v} \right\rangle }}} v_j ,$$

where K_v is a multiplicity function on R and σ_v is the reflection with respect to the root v. We prove that any Dunkl polyharmonic function f has a decomposition of the form

$$f(x) = f_0 (x) + \left| x \right|^2 f_1 (x) + \cdots + \left| x \right|^{2(n - 1)} f_{n - 1} (x), \forall x \in \Omega ,$$

where f_j are Dunkl harmonic functions, i.e. Δ_hf_j = 0. This generalizes the classical Almansi theorem for polyharmonic functions as well as the Fischer decomposition.