Semilinear geometric optics with boundary amplification

Coulombel, Jean-Francois; Guès, Olivier; Williams, Mark

doi:10.2140/apde.2014.7.551

Download this article
	For screen
	For printing

Recent Issues

The Journal

About the journal

Ethics and policies

Peer-review process

Submission guidelines

ISSN 1948-206X (online)

ISSN 2157-5045 (print)

Author index

To appear

Other MSP journals

Semilinear geometric optics with boundary amplification

Jean-Francois Coulombel, Olivier Guès and Mark Williams

Vol. 7 (2014), No. 3, 551–625

DOI: 10.2140/apde.2014.7.551

Abstract

We study weakly stable semilinear hyperbolic boundary value problems with highly oscillatory data. Here weak stability means that exponentially growing modes are absent, but the so-called uniform Lopatinskii condition fails at some boundary frequency $β$ in the hyperbolic region. As a consequence of this degeneracy there is an amplification phenomenon: outgoing waves of amplitude $O (ε^{2})$ and wavelength $ε$ give rise to reflected waves of amplitude $O (ε)$ , so the overall solution has amplitude $O (ε)$ . Moreover, the reflecting waves emanate from a radiating wave that propagates in the boundary along a characteristic of the Lopatinskii determinant.

An approximate solution that displays the qualitative behavior just described is constructed by solving suitable profile equations that exhibit a loss of derivatives, so we solve the profile equations by a Nash–Moser iteration. The exact solution is constructed by solving an associated singular problem involving singular derivatives of the form $\partial_{x^{'}} + β \partial_{θ_{0}} ∕ ε$ , $x^{'}$ being the tangential variables with respect to the boundary. Tame estimates for the linearization of that problem are proved using a first-order (wavetrain) calculus of singular pseudodifferential operators constructed in a companion article (“Singular pseudodifferential calculus for wavetrains and pulses”, arXiv 1201.6202, 2012). These estimates exhibit a loss of one singular derivative and force us to construct the exact solution by a separate Nash–Moser iteration.

The same estimates are used in the error analysis, which shows that the exact and approximate solutions are close in $L^{\infty}$ on a fixed time interval independent of the (small) wavelength $ε$ . The approach using singular systems allows us to avoid constructing high-order expansions and making small divisor assumptions. Our analysis of the exact singular system applies with no change to the case of pulses, provided one substitutes the pulse calculus from the companion paper for the wavetrain calculus.

Keywords

hyperbolic systems, boundary conditions, weak stability, geometric optics

Mathematical Subject Classification 2010

Primary: 35L50

Milestones

Received: 28 February 2013

Accepted: 29 April 2013

Published: 18 June 2014

Authors

Jean-Francois Coulombel
CNRS, Laboratoire de mathématiques Jean Leray (UMR CNRS 6629) Université de Nantes 2 rue de la Houssinière, BP 92208 44322 Nantes France

Olivier Guès
Laboratoire d’Analyse, Topologie et Probabilités (UMR CNRS 6632) Université de Provence Technopôle Château-Gombert, 39 rue F. Joliot Curie 13453 Marseille 13 France

Mark Williams
Mathematics Department University of North Carolina CB 3250, Phillips Hall Chapel Hill, NC 27599 United States

Vol. 7, No. 3, 2014