Unique inversion of smooth nonlinearity in semilinear wave equations on Lorentzian manifolds

We study the recovery of a smooth nonlinearity in semilinear wave equations on globally hyperbolic Lorentzian manifolds. Our approach combines higher-order linearization with distorted plane waves and Gaussian beams, using three-wave, four-wave, and m-wave interactions to recover different Taylor coefficients.