This paper is concerned with the resolution of an inverse problem related to the recovery of a function $V$ from the source to solution map of the semi-linear equation $(\Box _{g}+V)u+u^{3}=0$ on a globally hyperbolic Lorentzian manifold $({\mathcal{M}},g)$. We first study the simpler model problem, where $({\mathcal{M}},g)$ is the Minkowski space, and prove the unique recovery of $V$ through the use of geometric optics and a three-fold wave interaction arising from the cubic non-linearity. Subsequently, the result is generalized to globally hyperbolic Lorentzian manifolds by using Gaussian beams.

In the semiclassical regime, solutions to the time-dependent Schrödinger equation for molecular dynamics are highly oscillatory. The number of grid points required for resolving the oscillations may become very large even for simple model problems, making solution on a grid intractable. Asymptotic methods like Gaussian beams can resolve the oscillations with little effort and yield good approximations when the atomic nuclei are heavy and the potential is smooth. However, when the potential has variations on a small length-scale, quantum phenomena become important. Then asymptotic methods are less accurate. The two classes of methods perform well in different parameter regimes. This opens for hybrid methods, using Gaussian beams where we can and finite differences where we have to. We propose a new method for treating the coupling between the finite difference method and Gaussian beams. The new method reduces the needed amount of overlap regions considerably compared to previous methods, which improves the efficiency.