Sets of injectivity for weighted twisted spherical means and support theorems (Q438663)

The author proves that the spheres \(S_{r}(0)=\{ z \in \mathbb{C}^n: |z| =r \}\) are sets of injectivity for weighted twisted spherical means on \(\mathbb{C}^n\). The author also proves an analogue of Helgason's support theorem for weighted twisted spherical means and weighted Euclidean spherical means. The twisted spherical mean arises in the study of the spherical mean on the Heisenberg group. Let \(\mu_{r}\) be the normalized surface measure on \(S_{r}(0)\). For \(s,t \in \mathbb{Z}_{+}\), let \(P_{s,t}\) denote the space of all polynomials \(P\) in \(z\) and \(\bar{z}\) of the form \[ P(z)=\sum_{|\alpha|=s}\sum_{|\beta|=t}c_{\alpha\beta}z^{\alpha}\bar{z}^{\beta}. \] Let \(H_{s,t}=\{P \in P_{s,t}: \triangle P=0 \}\) where \(\triangle\) is the standard Laplacian on \(\mathbb{C}^n\). Let \(\{ P^j_{s,t}: 1 \leq j \leq d(s,t)=\dim H_{s,t} \}\) be an orthonormal basis of \(H_{s,t}\) and pour \(d\nu_{r,j}=P^j_{s,t}\;d\mu_{r}\) on \(S_{r}(0)\). We call \[ f \times \nu_{r,j}(z)=\int_{S_{r}(0)}f(z-w)e^{\frac{i}{2}{\text{ Im}} (z\cdot\bar{w})} \;d\nu_{r,j}(w) \] the weighted twisted spherical mean of a function \(f \in L^1_{loc}(\mathbb{C}^n)\). The author proves the following result for the injectivity of the weighted twisted spherical mean. Theorem A. Let \(f\) be a function on \(\mathbb{C}^n\) such that \(e^{\frac{1}{4}|z|^2}f(z) \in L^p(\mathbb{C}^n), 1 \leq p < \infty\). If \(f \times \nu_{r,j}(z)=0\) on the sphere \(S_{R}(0)\), \(\forall r>0\) and \(\forall j,1 \leq j \leq d(s,t)\), then f= \(0\) a.e. Further, the author proves a support theorem for the weighted twisted spherical mean. Theorem B. Let \(f\) be a smooth function on \(\mathbb{C}^n\) such that for each \(k \in \mathbb{Z}_{+}\), \(|z|^k|f(z)| \leq C_{k}e^{-\frac{1}{4}|z|^2}\). Let \(f \times \nu_{r,j}(z)=0\) for all \(z \in \mathbb{C}^n\) and all \(r > |z|+R\) and for all \(j, 1 \leq j \leq d(s,t)\). Then \textrm{supp} f \(\subseteq S_{R}(0)\). The author also proves an analogue of the support theorem for the weighted Euclidean spherical mean.