Abstract:High-frequency wave propagation is often modelled by nonlinear Friedrichs systems where both the differential equation and the initial data contain the inverse of a small parameter $\varepsilon$, which causes oscillations with wavelengths proportional to $\varepsilon$ in time and space. A prominent example is the Maxwell--Lorentz system, which is a well-established model for the propagation of light in nonlinear media. In diffractive optics, such problems have to be solved on long time intervals with length proportional to $1/\varepsilon$. Approximating the solution of such a problem numerically with a standard method is hopeless, because traditional methods require an extremely fine resolution in time and space, which entails unacceptable computational costs. A possible alternative is to replace the original problem by a new system of PDEs which is more suitable for numerical computations but still yields a sufficiently accurate approximation. Such models are often based on the \emph{slowly varying envelope approximation} or generalizations thereof. Results in the literature state that the error of the slowly varying envelope approximation is of $\mathcal{O}(\varepsilon)$. In this work, however, we prove that the error is even proportional to $\varepsilon^2$, which is a substantial improvement, and which explains the error behavior observed in numerical experiments. For a higher-order generalization of the slowly varying envelope approximation we improve the error bound from $\mathcal{O}(\varepsilon^2)$ to $\mathcal{O}(\varepsilon^3)$. Both proofs are based on a careful analysis of the nonlinear interaction between oscillatory and non-oscillatory error terms, and on \textit{a priori} bounds for certain ``parts'' of the approximations which are defined by suitable projections.

Improved uniform error bounds on an exponential wave integrator method for the nonlinear Schrödinger equation with wave operator and weak nonlinearity

Uniform error bound of an exponential wave integrator for the long-time dynamics of the nonlinear Schrödinger equation with wave operator

Improved Uniform Error Bounds of Exponential Wave Integrator Method for Long-Time Dynamics of the Space Fractional Klein-Gordon Equation with Weak Nonlinearity

Optimal error bounds on the exponential wave integrator for the nonlinear Schrödinger equation with low regularity potential and nonlinearity

Uniform and Optimal Error Estimates of a Nested Picard Integrator for the Nonlinear Schrodinger Equation with Wave Operator

Improved uniform error bounds of Lawson-type exponential integrator method for long-time dynamics of the high-dimensional space fractional sine-Gordon equation

An explicit and symmetric exponential wave integrator for the nonlinear Schrödinger equation with low regularity potential and nonlinearity

Long-time error bounds of low-regularity integrators for nonlinear Schrödinger equations

Symmetric integrators with improved uniform error bounds and long-time conservations for the nonlinear Klein-Gordon equation in the nonrelativistic limit regime

Error estimates of the time-splitting methods for the nonlinear Schrödinger equation with semi-smooth nonlinearity

Long-term error analysis of low-regularity integrators for stochastic Schr$\ddot{\rm o}$dinger equations

Unconditional optimal error estimates and superconvergence analysis of energy-preserving FEM for general nonlinear Schrödinger equation with wave operator

Improved uniform error bounds for long-time dynamics of the high-dimensional nonlinear space fractional sine-Gordon equation with weak nonlinearity

Finite Element Approximations of a Class of Nonlinear Stochastic Wave Equations with Multiplicative Noise

An improved finite integration method for nonlocal nonlinear Schrödinger equations

Optimal error bounds on time-splitting methods for the nonlinear Schrödinger equation with low regularity potential and nonlinearity

A symmetric low-regularity integrator for the nonlinear Schrödinger equation

Improved error bounds for approximations of high-frequency wave propagation in nonlinear dispersive media

Improved uniform error bounds on parareal exponential algorithm for highly oscillatory systems

On the convergence of Lawson methods for semilinear stiff problems