Inversion of the Pompeiu transformation in the hyperbolic disk. (Case of two disks) (Q1325632): Difference between revisions

Let \(D\) be the unit disk in the complex plane considered with the hyperbolic metric of curvature \(-4\), i.e., \(d(0,z) = {1\over 2} \log[(1+| z|^ 2)/1 - | z|]\) and the corresponding area element \(d\mu = (1 - | z|^ 2)^{-2}dxdy\). \(G = \text{SU}(1,1)/\text{SO}(2)\) (the Moebius group) is the group of isometries of \(D\). The Pompeiu problem for (hyperbolic) disks \(B_ j = B(0,r_ j)\) of distinct (hyperbolic) radii \(r_ j\), \(j = 1,2\) and center 0 consists in deciding whether the averages \(\int_{g(B_ j)} fd \mu\), \(\forall g \in G\), \(j = 1,2\) are enough to determine an arbitrary continuous function \(f\) in \(D\). It was shown by \textit{C. A. Berenstein} and \textit{L. Zalcman} [Comment. Math. Helv. 55, 593-621 (1980; Zbl 0452.43012)] that if \(\varphi_ \lambda(r) = F((3 + i\lambda)/2\), \((3 - i\lambda/2, 2, -(shr)^ 2)\), then the necessary and sufficient condition for a positive answer to the Pompeiu problem is that: \[ \text{The equations }\varphi_ \lambda(r_ 1) = \varphi_ \lambda(r_ 2) = 0\text{ have no common zero in }{\mathbb{C}}.\tag{1} \] In the Euclidean case it had been proved by \textit{C. A. Berenstein} and \textit{R. Gay} [Isr. J. Math. 55, 267-288 (1986; Zbl 0624.31002)] that there was also a local version of Pompeiu problem. The author extends this result to the hyperbolic disk. Namely, let \(R > 0\), \(r_ 1 + r_ 2 < R\), two radii that satisfy (1), then any function \(f \in C(B_ R)\), can be determined by the averages \[ \int_{g(B_ j)} fd\mu,\quad g \in G, \quad \text{such that } g(B_ j) \subseteq B_ R\quad (j = 1,2). \] In fact, he determines constructively the Fourier coefficients \(c_ k(\rho)\) of the expansion \(f(\rho e^{i\theta}) = \sum^ \infty_{-\infty} c_ k(\rho)e^{ik\theta}\), for any \(\rho = thr\), \(0 < r < R\). The procedure is based, in principle, on the ideas of the corresponding Euclidean procedure of \textit{C. A. Berenstein}, \textit{R. Gay} and \textit{A. Yger} [J. Anal. Math. 54, 259-287 (1990; Zbl 0723.44002)], but they require a substantial effort to be transplanted to the hyperbolic disk. The author does this with great detail and clarity.