Research Article | Open Access
Inversion of Riesz Potentials for Dunkl Transform
The inversion of Riesz potentials for Dunkl transform when is given by using the generalized wavelet transforms. It is also proved that the Riesz potentials are automorphisms on the Semyanistyi-Lizorkin spaces.
Dunkl transform is a generalization of the Fourier transform associated with a family of weight functions, , invariant under a finite reflection group. Many papers devote to study the Dunkl transform; see [1–6] and the references therein.
In , the Riesz potentials for Dunkl transform were defined by the generalized translation operators, . The explicit expression and boundedness of are known only in some special cases such as when and the case when the kernel is a suitable radial function. The boundedness of was given only in the two cases mentioned above. Gorbachev et al.  studied the weighted ()-boundedness properties of Riesz potentials for Dunkl transform represented by the Stein-Weiss inequality. In this paper, we will study the inversion of in the case when . The paper is organized as follows. In Section 2, some necessary facts in Dunkl’s theory are reviewed. Section 3 is devoted to introduce the Semyanistyi-Lizorkin spaces associated with the reflection-invariant measure . In the final section, the inversion of the Riesz potentials will be given by the generalized wavelet transforms defined by the generalized translation operators.
2.1. Dunkl Operator and Dunkl Transform
Let be a finite reflection group on with a fixed positive root system , normalized so that for all , where denotes the usual Euclidean inner product. Let be a nonnegative multiplicity function defined on with the property that whenever is conjugate to in ; then is a -invariant function. The weight function is positive homogeneous of degree defined by Note that is invariant under the reflection group .
Let be Dunkl’s differential-difference operators defined in  as where are the standard unit vectors of and denotes the reflection with respect to the hyperplane perpendicular to , , . The operators , , map to , where denotes the space of homogeneous polynomials of degree in variables, and they mutually commute; that is, , . For example, when , the Dunkl operator is
The intertwining operator is a linear operator determined uniquely by
Let , , where the superscript means that is applied to the variable. For , the Dunkl transform is defined by where is the constant defined by .
Define , and, for the sake of simplicity, set whenever the integral exists and denote .
Proposition 1. (i) If , then and .
(ii) If , then .
(iii) The Dunkl transform is a topological automorphism on .
(iv) For , then and , where , .
(v) For all , we have .
(vi) There exists a unique extension of the Dunkl transform to with .
2.2. Generalized Translation Operator and Generalized Convolution
Let be given. The generalized translation operator is defined on by , .
Proposition 2. (i) For and being bounded, then (ii) For , When ,
(iii) for , ,
(iv) for , we have and
(v) let and . For , , .
2.3. Dunkl Transform of Distributions
References [5, 11, 12] study the actions of the Dunkl operators and Dunkl transform on the space . Reference  gives the definition of the Dunkl transform for the local integrable functions under the measure .
Let ; the generalized function associated with is defined by The Dunkl transform of is defined asThen, for , the Dunkl transform of is For , the dilation transform is defined as Let be the Dirac distribution associated with the measure ; that is, , .
2.4. Dunkl Riesz Potentials
For simplicity, we call the Riesz potential for Dunkl transform as the Dunkl Riesz potential , which is defined on in  aswhere and . The Dunkl transform and the Hardy-Littlewood-Sobolev theorem of are given in .
Proposition 4. Let . The identityholds in the sense that whenever .
Proposition 5. Let and . Let and satisfy (1)For , , .(2)For , the mapping is of weak type .
3. Semyanistyi-Lizorkin Spaces
Let be the class of functions in vanishing at the origin 0 with all their derivatives; that is,The space is a closed linear subspace of . It can be regarded as a linear topological space with the induced topology generated by the sequence of norms We claim that for , since implies for .
Let be the image of under the Dunkl transform; that is, . Since the Dunkl transform is an automorphism of , the space is a closed linear subspace of . We equip with the induced topology of the ambient space . Then becomes a linear topology space which is isomorphic to under the action of the Dunkl transform. According to the definition of , we conclude that the space consists of all functions which are orthogonal to all polynomials as for the measure ; that is, In fact, if , then , and for any multi-index , by Proposition 1 (iv), we have
Denote that and are the spaces of all semilinear functionals on and , respectively. Some properties of and are given in the following proposition.
Proposition 6. (i) The spaces and are not empty.
(ii) The space does not contain compactly supported infinitely differentiable functions, rather than 0.
(iii) The space is invariant under the generalized translations.
(iv) The space is dense in , .
(v) -distributions that coincide in the -sense differ from each other by a polynomial.
(vi) Let and , . If in the -sense, then almost everywhere.
Proof. (i) Choose satisfying that . Then .
(ii) Suppose ; then we have If , , and , so for all . Then .
(iii) This conclusion can be obtained by Proposition 2 (iii).
(iv) It suffices to approximate a function by functions in the norm. We introduce the functions where such that for , for and . We define . Since and as , we have and then . In order to show that approximate the function , we represent them as where is the inverse Dunkl transform of the function . Then by Lemma 7, as .
(v) Suppose and in the sense of ; that is, for all , . Then, for all , This means that , which implies that is a finite linear combination of the derivatives of the delta function. Hence, by (15), is a polynomial.
(vi) For , denote and as the distributions of and , respectively. Then Then is finite since . The same argument gives that is finite as well. We claim that almost everywhere. In fact, by (v), where is a polynomial. Then, for all ,Thus a.e. So we have a.e. consequently.
Lemma 7. Let and , . Define Then, as .
Proof. According to the definition, If , Then as by Lebesgue’s dominated theorem.
When , by Proposition 2 (v),It suffices to verify for . Let be any number such that . By Hölder’s inequality, we have where . Then, by (33) tends to 0 as .
Theorem 8. Let . The operators are the automorphisms on the space .
Proof. According to the last equation in the proof for Proposition 4.1 in , for , Since belongs to and Dunkl transform maps isomorphically onto , it follows that the map is continuous from to itself. Owing to (36), is a linear continuous operator from to . Conversely, we claim that is surjective. In fact, for , let . Then and . Furthermore, the map is continuous in the topology of the space . This completes the proof.
4. The Inversion of
Now we can give the main result of this paper, the inversion of the Dunkl Riesz potentials when the group . The method follows the idea in . Rubin  gave simpler proofs to some elementary approximate and explicit inversion formulae for the classical Riesz potentials.
Theorem 9. Let , , . Suppose that is a bounded radial function in and the integral is finite. Then where
Proof. DenoteWe claim that the operator is bounded on for any . Indeed, according to Proposition 2 (iv), we have Then the generalized Minkowski’s inequality gives thatIf we can show thatwhere denotes the inverse Dunkl transform of , then we have tending to 0 as , by Lebesgue’s theorem on dominated convergence.
Recall that . Let first , . Then Proposition 4 gives that when . And therefore, by replacing with in (42).
On the other hand, . According to Proposition 6 (vii), it suffices to prove (43) in the -sense; that is,After changing the order of the integration, the left-hand side of (45) equals Since the Dunkl transform of is , then Since is radial, then Combining the above, we obtain (45) as desired.
When , , the argument is the same as the first case, except with .
For the case , and . By interpolation, for all . Choosing in the interval and in the Hardy-Littlewood-Sobolev theorem, we can get the result by repeating the argument when . Thus we finish the proof.
No data were used to support this study.
Conflicts of Interest
The authors declare that they have no conflicts of interest.
This work is supported by National Natural Science Foundation of China (no. 11275240).
- C. F. Dunkl, “Differential-difference operators associated to reflection groups,” Transactions of the American Mathematical Society, vol. 311, pp. 167–183, 1989.
- C. F. Dunkl, “Hankel transforms associated to finite reflection groups,” in Hypergeometric Functions on Domains of Positivity, vol. 138 of Contemp Math, pp. 123–138, Jack Polynomials and applications, Tampa, FL, USA, 1992.
- M. F. de Jeu, “The Dunkl transform,” Inventiones Mathematicae, vol. 113, no. 1, pp. 147–162, 1993.
- L. L. Liu, Harmonic analysis associated to the reflection-invariant measures, Capital Normal University, China, 2004.
- H. Mejjaoli and K. Trimèche, “On a mean value property associated with the Dunkl Laplacian operator and applications,” Integral Transforms and Special Functions, vol. 12, no. 3, pp. 279–302, 2001.
- M. Rösler, “Bessel-type signed hypergroups on R1,” in Probability Measures on Groups and Related Structures XI, pp. 292–304, World Scientific, Singapore, 1995.
- S. Thangavelu and Y. Xu, “Riesz transform and Riesz potentials for Dunkl transform,” Journal of Computational and Applied Mathematics, vol. 199, no. 1, pp. 181–195, 2007.
- D. V. Gorbachev, V. I. Ivanov, and S. Yu, Riesz potential and maximal function for Dunkl transform, 2017.
- M. Rösler, “A positive radial product formula for the Dunkl kernel,” Transactions of the American Mathematical Society, vol. 355, no. 6, pp. 2413–2438, 2003.
- S. Thangavelu and Y. Xu, “Convolution operator and maximal function for the Dunkl transform,” Journal d'Analyse Mathématique, vol. 97, no. 1, pp. 25–55, 2005.
- K. Trimèche, “Transformation intégrale de Weyl et théorème de Paley-WIEner associés à un opérateur différentiel singulier sur (0,+∞),” Journal de Mathématiques Pures et Appliquées. Neuviéme Série, vol. 60, no. 1, pp. 51–98, 1981.
- K. Trimèche, Generalized harmonic analysis and wavelet packets, Gordon and Breach Science Publishers, Amsterdam, 2001.
- S. G. Samko, Hypersingular Integrals and Their Applications, Taylor & Francis, London, UK, 2002.
- S. G. Samko, A. A. Kilbas, and O. I. Marichev, Fractional Integrals and Derivatives, Theory and Applications, Gordon and Breach, Yverdon, Switzerland, 1993.
- V. I. Semjanistyui, “On some integral transformations in Euclidean space,” Doklady Akademii Nauk SSSR, vol. 134, pp. 536–539, 1960.
- B. Rubin, Fractional Integrals and Potentials, Addison Wesley Longman, Harlow, UK, 1996.
- B. Rubin, Elementary inversion of Riesz potentials and Radon-John transforms, 2010.
Copyright © 2018 Moyi Liu et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.