High frequency asymptotic solutions of the reduced wave equation on infinite regions with nonconvex boundaries.
We derive the high frequency limit of the Helmholtz equations in terms of quadratic observables. We prove that it can be written as a stationary Liouville equation with source terms. Our method is based on the Wigner Transform, which is a classical tool for evolution dispersive equations. We extend its use to the stationary case after an appropriate scaling of the Helmholtz equation. Several specific difficulties arise here; first, the identification of the source term ( which does not share the...
We give an algebraic description of (wave) fronts that appear in strictly hyperbolic Cauchy problems. A concrete form of a defining function of the wave front issued from the initial algebraic variety is obtained with the aid of Gauss-Manin systems satisfied by Leray's residues.