Inversion of the Pompeiu transformation in the hyperbolic disk. (Case of two disks) (Q1325632)

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.