A uniqueness theorem for a Goursat-type problem (Q1206200)

Consider the problem (1) \(u_{tt}- \Delta u+ q(x)u=0\), \(x\in\mathbb{R}^ 3\), \(-r\leq t\leq r\), \(r=| x|\), (2) \(u=0\) at \(t=\pm r\), \[ \varliminf_{R\to\infty} \int_{| s|=R} \int_{-R}^ R | u_ r\mp u_ t|^ 2 dt ds=0.\tag{3} \] The boundary data are given on the characteristic cone \(t=\pm r\). Condition (3) is a condition at infinity. Assume that \(q(x)\in L_{\text{loc}}^ 2 (\mathbb{R}^ 3)\). No assumptions are made concerning the behavior of \(q(x)\) at infinity. The authors prove that Problem (1)--(3) has only the trivial solution \(u(x,t)=0\) in the class of functions \(u(x,t)\) which are locally \(C_{x,t}^ 3\) and such that \[ \varliminf_{R\to\infty} \int_{| s|=R} \int_{-R}^ R | u_{tr}\pm u_{tt}|^ 2 dt ds=0. \] {}.