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.

Prolate Spheroidal Wave Functions and the Accuracy and Dimensionality of Spectral Analysis

Discrete Hankel Prolate Spheroidal Wave Functions: Spectral Analysis and Application

Quantum Ergodicity and the Analysis of Semiclassical Pseudodifferential Operators

Classical Wave methods and modern gauge transforms: Spectral Asymptotics in the one dimensional case

Mathematical foundations of spectral methods for time-dependent PDEs

Generalized Prolate Spheroidal Wave Functions Associated with Linear Canonical Transform

Efficient Representations of Signals in Nonlinear Signal Processing with Applications to Inverse Problems

The Arithmetic of the Fourier Coefficients of Automorphic Forms

Stable Spectral Methods for Time-Dependent Problems and the Preservation of Structure

Efficient Methods for the Chebyshev-Type Prolate Spheroidal Wave Functions and Corresponding Eigenvalues

A High Order Efficient Numerical Method for 4-D Wigner Equation of Quantum Double-Slit Interferences

Quantum Fourier analysis for multivariate functions and applications to a class of Schrödinger-type partial differential equations

The wave equation on static singular space-times

Generalized prolate spheroidal functions: algorithms and analysis

Approximating Continuous Spectra of Hyperbolic Systems with Summation-by-Parts Finite Difference Operators

Beyond Wavelets: Exactness theorems and algorithms for physical calculations

Stochastic Functional Analysis of Propagation and Localisation of Cylindrical Waves in A Two-Dimensional Random Medium

Beyond Superoscillation: General Theory of Approximation with Bandlimited Functions

Exact quantization conditions and full transseries structures for symmetric anharmonic oscillators

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

Integrated optical wave analyzer using the discrete fractional Fourier transform