A local support theorem for the radiation fields on asymptotically Euclidean manifolds (Q518567)

The author proves a local support theorem for the radiation fields on asymptotically Euclidean manifolds which generalizes the local support theorem for the Radon transform. Precisely, let \(X\) be an asymptotically Euclidean manifold with boundary \(\partial X,\) equipped with a Riemannian metric that is \(C^\infty\) in the interior of \(X\) and singular at \(\partial X,\) where it has an expansion \[ g=\dfrac{dx^2}{x^4}+\dfrac{\mathcal{H}}{x^2} \] with \(x\) being the defining function of \(\partial X\) and \(\mathcal{H}\) is a \(C^\infty\) symmetric \(2\)-tensor such that \(h_0=\mathcal{H}\big|_{\partial X}\) defines a metric on \(\partial X\). In particular, there exists a unique defining function \(x\) near \(\partial X\) such that \[ g=\dfrac{dx^2}{x^4}+\dfrac{h(x)}{x^2}\quad \text{in}\;(0,\varepsilon)\times \partial X \eqno{(*)} \] where \(h(x)\) is a \(C^\infty([0,\varepsilon))\) one-parameter family of metrics on \(\partial X\) and \(h(0)=h_0\). Consider solutions to the Cauchy problem for the wave equation \[ \begin{cases} \big(D^2_t-\Delta_g\big) u(t,z)=0 \quad \text{on}\;(0,\infty)\times X,\\ u(0,z)=f_1(z),\;\partial_t u(0,z)=f_2(z) \end{cases} \] where \(\Delta_g\) is the (positive) Laplace operator corresponding to the metric \(g\). The forward radiation field is defined by \textit{F. G. Friedlander} [Math. Proc. Camb. Philos. Soc. 88, 483--515 (1980; Zbl 0465.35068); J. Funct. Anal. 184, No. 1, 1--18 (2001; Zbl 0997.58013)] as \[ \mathcal{R}_+(f_1,f_2)(s,y)=\lim_{x\to0} x^{-n/2} D_t u\left(s+\dfrac{1}{x},x,y\right), \] where \(n\) is the dimension of \(X\). The author proves that if \(\Omega\subset \partial X\) is an open subset, \(f\in C^\infty (\overset{\circ}{X})\) and \(\varepsilon>0\) is such that \((*)\) holds in \((0,\varepsilon)\times\partial X,\) then, setting \(\bar{\varepsilon}=\min\{\varepsilon,-1/s_0\},\) \[ \mathcal{R}_+(0,f)(s,y)=0\quad \text{for}\;s\leq s_0<0,\;y\in\Omega \] if and only if \[ d_g(z,\text{supp\,}f)\geq s_0+\dfrac{1}{x} \] for every \(z=(x,y),\) \(x\in (0,\bar{\varepsilon})\) and \(y\in\Omega\).