#### Vol. 7, No. 3, 2014

 Recent Issues
 The Journal About the Journal Subscriptions Editorial Board Editors’ Interests Scientific Advantages Submission Guidelines Submission Form Editorial Login Contacts Author Index To Appear ISSN: 1948-206X (e-only) ISSN: 2157-5045 (print)
Semilinear geometric optics with boundary amplification

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

Vol. 7 (2014), No. 3, 551–625
##### 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 $\beta$ in the hyperbolic region. As a consequence of this degeneracy there is an amplification phenomenon: outgoing waves of amplitude $O\left({\epsilon }^{2}\right)$ and wavelength $\epsilon$ give rise to reflected waves of amplitude $O\left(\epsilon \right)$, so the overall solution has amplitude $O\left(\epsilon \right)$. 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}^{\prime }}+\beta {\partial }_{{\theta }_{0}}∕\epsilon$, ${x}^{\prime }$ 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 $\epsilon$. 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
Primary: 35L50
##### Milestones
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