[Paper Review] The Recovery of Semilinear Potentials Satisfying Null Conditions From Scattering Data

Joel Nathe, Antônio Sá Barreto|arXiv (Cornell University)|Jan 22, 2026

Advanced Mathematical Physics Problems0 citations

TL;DR

The authors construct highly oscillatory nonlinear geometric optics solutions for semilinear wave equations with null forms and show that the light-ray transform of an associated vector field uniquely determines the nonlinearity q(x,u) in the region allowed by scattering data.

ABSTRACT

We construct oscillatory solutions of fully semilinear wave equations in Minkowski space satisfying a null condition of the form $$\square u:=(-\partial_{x_0}^2 +\sum_{j=1}^n \partial_{x_j}^2 )u= q(x,u)((\partial_{x_0}u)^2-| abla_{x'}u|^2),$$ $$x=(x_0,x'), \;\ x'=(x_1,\ldots, x_n) ext{ and } x_0=t ext{ is the time variable,}$$ on an interval $x_0\in [-T,T]$, $T<\infty$ arbitrary, which consist of the superposition of a non-oscillatory background solution and a single phase train of highly oscillatory waves of wave length $h\ll1$ and amplitudes given by powers of $h$; the waves interact with the nonlinearity and we measure the response $u(x_0,x')|_{x_0=T'}$ at a fixed time $x_0=T'

Motivation & Objective

• Explore the inverse problem for semilinear wave equations satisfying a null condition.
• Develop highly oscillatory (nonlinear geometric optics) solutions on finite time intervals.
• Show that the amplitude coefficient of oscillations encodes the light-ray transform of a vector field related to q(x,u).
• Demonstrate that q(x,u) is uniquely determined in the maximal region allowed by the data.

Proposed method

• Construct approximate solutions uN with expansion uN = φV(x) + h sum Am,p e^{im⟨x,W⟩M/h} + h^{N+1}E_N, as in (1.5).
• Identify and solve transport equations for A1,0 to obtain F(V,W,x) = ⟨q(x,φV(x))φ′V(x)eV, fW⟩M, with fW=(1,ω).
• Use Guès’ result to promote approximate solutions to true solutions on a region, obtaining controlled errors (Theorem 3.1).
• Relate the oscillatory coefficient to the future light-ray transform L1(F) via (1.7) and (1.5), leading to q’s recovery.
• Demonstrate that if two q’s give the same data, then their associated light-ray transforms coincide, implying dF′=0 and hence q=0 (Proposition 1.3).
• Note: The paper primarily treats the scalar case; systems are discussed as extendable.

Experimental results

Research questions

• RQ1 Can the nonlinear inverse problem for semilinear wave equations with null forms be solved from scattering data?
• RQ2 How does the oscillatory interaction encode the light-ray transform of the nonlinearity’s associated vector field?
• RQ3 Does the light-ray transform uniquely determine the nonlinear potential q(x,u) in the region dictated by the data?

Key findings

• The coefficient of amplitude h in the oscillatory part of the nonlinear geometric optics expansion determines the light-ray transform L1(F) of the associated vector field F.
• This light-ray transform uniquely determines q(x,u) in the maximal region compatible with the data (Theorem 1.2).
• Uniqueness follows from showing dηφ,V = 0 implies q = 0 (Proposition 1.3).
• The method extends to certain semilinear systems satisfying null conditions beyond the scalar case (discussion in Introduction).
• Approximate oscillatory solutions exist with controlled remainders, and Guès’-type results guarantee genuine solutions matching the approximate ones on the same region (Theorem 3.1).