`ISRN Mathematical AnalysisVolume 2014 (2014), Article ID 490601, 7 pageshttp://dx.doi.org/10.1155/2014/490601`
Research Article

## The Radon Transforms on the Generalized Heisenberg Group

1School of Mathematics and Information Sciences, Guangzhou University, Guangzhou 510006, China
2Key Laboratory of Mathematics and Interdisciplinary Sciences of Guangdong Higher Education Institutes, Guangzhou University, Guangzhou 510006, China

Received 5 September 2013; Accepted 7 October 2013; Published 2 January 2014

Academic Editors: R. Curto and D.-X. Zhou

Copyright © 2014 Tianwu Liu and Jianxun He. 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.

#### Abstract

Let be the generalized Heisenberg group. In this paper, we study the inversion of the Radon transforms on . Several kinds of inversion Radon transform formulas are established. One is obtained from the Euclidean Fourier transform; the other is derived from the differential operator with respect to the center variable . Also by using sub-Laplacian and generalized sub-Laplacian we deduce an inversion formula of the Radon transform on .

#### 1. Introduction

Let be an -dimensional vector, where are positive real constants for . We can turn into a non-Abelian group by defining the group operation as This group is called the generalized Heisenberg group and is denoted by . It is obvious that the generalized Heisenberg group becomes ordinary Heisenberg group if all for . For any -dimensional vectors , , we define For , , the following equalities are valid:(i);(ii);(iii). Therefore, (1) can be rewritten as Identify with ; the symplectic form can be expressed by , where and . We can write (1) by or In next section, we will introduce some facts of Fourier analysis on , which is useful to get our result.

#### 2. Fourier Analysis on

We first state the definition of the Hermite polynomials. Let , , and ; the Hermite polynomials are defined by The normalized Hermite functions are then defined by These functions form an orthonormal basis for . For any fixed , it is easy to calculate from (6) that then Therefore, we define which also form the orthonormal basis for for any positive constant .

Let , , , and for . The higher dimensional Hermite functions denoted by can be obtained by taking tensor products: Then the family is an orthonormal basis for (see [11]).

We define then for any fixed and is also the orthonormal basis for . If and for , then . And are eigenfunctions of the Hermite operator ; that is, , where is Laplacian on , and .

For , let be the Schrödinger representation of , which acts on by By a direct computation and the law of ; we then obtain which indicates that is unitary. In addition, we deduce that is irreducible (see [12]).

Suppose that , the Fourier transform of is an operator-valued function acting on by If we write , where , and define then (15) can be rewritten as where is the Weyl transform. By the same argument of the theory of Weyl transforms on the Heisenberg group we have From this identity we obtain the Plancherel formula where and is the Hilbert-Schmidt norm of operators. For , the Parseval formula is where denotes the adjoint of . For any , , where . Thus, can be written as . We define the left-invariant vector fields , and on . These are given by and (see [10]). The vectors fields generate the Lie algebra of the generalized Heisenberg group.

The generalized Heisenberg sub-Laplacian is explicitly given by Also, a direct computation shows that We know that (see [11]). In dimension one, in fact, we have In dimensions, this equation together with (11) shows that is an eigenfunction of the Hermite operators in each variable: Therefore, for each , we have Let for ; then where and .

Therefore, are eigenfunctions of operator with eigenvalues .

Now we consider the space spanned by . It is clear that the dimension of is (see [13]). Then we have Let denote the orthogonal projection operator from to . For . Let be the subspace of such that Then we have Set ; then we can write the above decomposition as More details can be found in [14].

#### 3. Inversion of the Radon Transform on

The Radon transform for a function on the generalized Heisenberg group is defined by where , , , , and . Clearly, when , that is, for , the above formula is just the Radon transform on the Heisenberg group .

Next, we will obtain some inversion formulas for the inverse Radon transform by means of the Euclidean Fourier transform, differential operators, and sub-Laplacian. We first consider the way of the Euclidean Fourier transform. In fact, Strichartz [5] had obtained the inverse Radon transform on by using Euclidean Fourier transform. However, he did not show on which space the formula holds. In this section, we not only find a subspace of on which the Radon transform is a bijection, but also give the inversion Radon transform on , where is the Schwartz space on .

Let denote the Euclidean Fourier transform with respect to the central variable alone and let denote the full Euclidean Fourier transform; that is, Because we have We define By argument analogous to [9], we also find that if and only if , and is an isomorphism from onto . The spaces and are regarded as Semyanistyi-Lizorkin type spaces that have many applications (see [6, 15]). We define an operator which is given by It is easy to know that is a bijection on . The inversion of is given by Now (35) reads as Therefore, we have an inversion formula of the Radon transform as follows.

Theorem 1. Let . Then one has

We can give another inversion formula of by using operator . First of all, we give the Fourier transform of Radon transform for a function .

Lemma 2. Let ; then where is the orthonormal basis for .

Proof. Because then we have
Let denote the ordinary Fourier transform of on ; then we have On the other hand, by the recursion formula of Hermite polynomials (see [16]) we can get so we have This completes the proof.

Let ; then Furthermore, By (41), we have We can verify that and .

However, we know that may not belong to for a function . We naturally hope to find a space on which the Radon transform is a bijection. Suppose that is a subspace of such that the Radon transform is a bijection. That is, if , then for all . From Lemma 2 and the Plancherel formula (19), we have Define the subspace of by Obviously, if , then . Furthermore, for any , we can find that , such that . In fact, we take satisfying . Since we can see that . This is to say that the Radon transform is a bijection from onto itself.

From the above discussion, we have the following.

Theorem 3. Let ; then

Next, we will give another inversion formula associated with the generalized Heisenberg group sub-Laplacian. In fact, a direct calculation shows that and consequently is the scaled Hermite operator, where and are the left-invariant vector fields on .

Because and are eigenfunctions of operator with eigenvalues , we have Set ; then we have from [17] where .

Let ; then we can get Write ; by (41), we can deduce Consequently, by Plancherel formula we obtain

Theorem 4. Suppose that ; then we have where .

We conclude this section by giving the inverse Radon transform with generalized sub-Laplacian.

Let be positive constants for . We define generalized sub-Laplacian by where are the left-invariant vector fields on . Let ; by an analogous computation, we have If we take , then In this case the Fourier transform of under the action of generalized sub-Laplacian of is the same as that of the sub-Laplacian on (see [11]). Write ; by Lemma 2, Plancherel formula, and (65), we obtain the theorem below.

Theorem 5. Suppose that . Then we have where . Especially, when , we have

#### Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

#### Acknowledgment

The work for this paper is supported by the National Natural Science Foundation of China (no. 11271091).

#### References

1. S. Helgason, Integral Geometry and Radon Transforms, Springer, New York, NY, USA, 2011.
2. M. Holschneider, “Inverse Radon transforms through inverse wavelet transforms,” Inverse Problems, vol. 7, no. 6, pp. 853–861, 1991.
3. B. Rubin, “The Calderón reproducing formula, windowed X-ray transforms, and Radon transforms in ${L}^{p}$-spaces,” Journal of Fourier Analysis and Applications, vol. 4, no. 2, pp. 175–197, 1998.
4. B. Rubin, “Fractional calculus and wavelet transforms in integral geometry,” Fractional Calculus & Applied Analysis, vol. 1, no. 2, pp. 193–219, 1998.
5. R. S. Strichartz, “${L}^{p}$ harmonic analysis and Radon transforms on the Heisenberg group,” Journal of Functional Analysis, vol. 96, no. 2, pp. 350–406, 1991.
6. M. M. Nessibi and K. Trimèche, “Inversion of the Radon transform on the Laguerre hypergroup by using generalized wavelets,” Journal of Mathematical Analysis and Applications, vol. 208, no. 2, pp. 337–363, 1997.
7. J. X. He, “An inversion formula of the Radon transform on the Heisenberg group,” Canadian Mathematical Bulletin, vol. 47, no. 3, pp. 389–397, 2004.
8. J. X. He and H. P. Liu, “Admissible wavelets and inverse Radon transform associated with the affine homogenous Siegel domain of type two,” Communications in Analysis and Geometry, vol. 15, no. 1, pp. 1–28, 2007.
9. B. Rubin, “The Radon transform on the Heisenberg group and the transversal Radon transform,” Journal of Functional Analysis, vol. 262, no. 1, pp. 234–272, 2012.
10. O. Calin, D. C. Chang, and P. Greiner, Geometric Analysis on the Heisenberg Group and Its Generalizations, American Mathematical Society, International Press, Providence, RI, USA, 2007.
11. S. Thangavelu, Harmonic Analysis on the Heisenberg Group, Birkhäuser, Boston, Mass, USA, 1998.
12. G. B. Folland, Harmonic Analysis in the Phase Space, Princeton University Press, Princeton, NJ, USA, 1989.
13. E. M. Stein and G. Weiss, Introduction to Fourier Analysis on the Euclidean Spaces, Princeton University Press, Princeton, NJ, USA, 1971.
14. H. Liu and L. Peng, “Admissible wavelets associated with the Heisenberg group,” Pacific Journal of Mathematics, vol. 180, no. 1, pp. 101–123, 1997.
15. S. G. Samko, A. A. Kilbas, and O. I. Marichev, Fractional Intergrals and Derivatives, Theory and Applications, Gordon and Breach Science Publishers, Yverdon, Switzerland, 1993.
16. J. B. Seaborn, Hypergeometric Functions and Their Application, vol. 8, Springer, New York, NY, USA, 1991.
17. D. Geller, “Fourier analysis on the Heisenberg group,” Journal of Functional Analysis, vol. 36, no. 2, pp. 205–254, 1980.