main-content

## Über dieses Buch

This IMA Volume in Mathematics and its Applications MICROLOCAL ANALYSIS AND NONLINEAR WAVES is based on the proceedings of a workshop which was an integral part of the 1988- 1989 IMA program on "Nonlinear Waves". We thank Michael Beals, Richard Melrose and Jeffrey Rauch for organizing the meeting and editing this proceedings volume. We also take this opportunity to thank the National Science Foundation whose financial support made the workshop possible. A vner Friedman Willard Miller, Jr. PREFACE Microlocal analysis is natural and very successful in the study of the propagation of linear hyperbolic waves. For example consider the initial value problem Pu = f E e'(RHd), supp f C {t ;::: O} u = 0 for t < o. If P( t, x, Dt,x) is a strictly hyperbolic operator or system then the singular support of f gives an upper bound for the singular support of u (Courant-Lax, Lax, Ludwig), namely singsupp u C the union of forward rays passing through the singular support of f.

## Inhaltsverzeichnis

### On the Interactions of Conormal Waves for Semilinear Wave Equations

Abstract
Let Ω ⊆ R 3 be an open subset and P be a second order strictly hyperbolic differential operator in Ω. Let S j , 1 ≤ jn, be smooth characteristic hypersurfaces for P simply tangent along a line L.
Antônio Sá Barreto

### Regularity of Nonlinear Waves Associated with a Cusp

Abstract
We consider local solutions to second order partial differential equations of the form Pu = f(x, u), for which u is smooth on the complement of a characteristic surface with a cusp singularity. If P is strictly hyperbolic and u is assumed to be regular in the past with respect to differentiation by a natural family of smooth vector fields, then u is regular in the future, and “conormal” with respect to a larger family of vector fields which are nonsmooth at the singularity of the cusp. If P is a Tricomi operator associated with the cusp, and the natural initial data (Dirichlet or Cauchy) are conormal with respect to a hyperplane, then u is again shown to be conormal with respect to the cusp.
Michael Beals

### Evolution of a Punctual Singularity in an Eulerian Flow

Abstract
We study the regularity of the solution of a compressible Euler system with a Cauchy data which is conormal with respect to the origin. We prove that the light cone issued from the origin is the union of a smooth hypersurface and a smooth curve.
Jean Yves Chemin

### Water Waves, Hamiltonian Systems and Cauchy Integrals

Abstract
I will speak today about a classical fluid dynamical problem involving a free surface, the problem known as water waves. The results I want to describe are simply the derivation of a formalism that arises in posing the problem. This consists in writing the equations of motion as a Hamiltonian system. In doing this, several interesting questions arise, which are associated with Laplace’s equation on plane domains. I am not reporting on analytical results, rather this talk should be taken as a description of a point of view, or a set of coordinates that have a certain elegance.
Walter Craig

### Infinite Gain of Regularity for Dispersive Evolution Equations

Abstract
We say that an evolution equation has an infinite gain of regularity if its solutions are C for t > 0, for initial data with only a finite amount of smoothness. An equation need not be hypoelliptic for this to happen provided the initial data vanish at spatial infinity. For instance, for the Schrödinger equation in R n , this is clear from the explicit solution formula if the initial data decay faster than any polynomial. For the Korteweg-deVries equation, T. Kato [4], motivated by work of A. Cohen, showed that the solutions are C for any data in L 2 with a weight function 1 + e σx . While the proof of Kato appears to depend on special a priori estimates, some of its mystery has been resolved by the recent results of finite regularity for various other nonlinear dispersive equations due to Constantin and Saut [1], Ponce [5] and others [3]. However, all of them require growth conditions on the nonlinear term.
W. Craig, T. Kappeler, W. Strauss

### On the Fully Non-Linear Cauchy Problem with Small Data. II.

Abstract
This paper is one of a series devoted to the Cauchy problem for an equation of the form
$$\square u = G(u,u',u'')$$
(1.1)
with small Cauchy data
$$u = \varepsilon {u_0},\quad {\partial_t}u = \varepsilon {u_1},\quad {\text{when}}\,{\text{t = 0}}$$
(1.2)
Here □ = t 2 − Δ is the wave operator in R 1+n, with variables denoted by t = x 0 and x = (x1,..., x n ), G is a C function vanishing of second order at the origin, u′ and u″ denote all first and second order derivates of u, and u j C 0 . General results have been obtained with simple proofs based on the idea of Klainerman [13] to use enrgy integral estimates for all equations obtained from (1.1) by multiplication with any product I of │I│ vector fields ∂/∂x j , j = 0, …, n, the infinitesimal generators of the Lorents group
$$\begin{gathered} {Z_{{jk}}} = {x_k}\partial /\partial {x_j} - {x_j}\partial /\partial {x_k},\quad j,\,k = 1,...,n, \hfill \\ {Z_{{0k}}} = {x_0}\partial /\partial {x_k} + {x_k}\partial /\partial {x_0} = - {Z_{{k0}}},\quad k = 1,...,n, \hfill \\ \end{gathered}$$
(1.3)
which commute with □, and the radial vector field
$${Z_0} = \sum\limits_0^n {{x_j}\partial /\partial {x_j}}$$
(1.4)
(We shall use the notation Z I for products of the vector fields (1.3), (1.4) only; note that these preserve homogeneity.) However, in low dimension the results are not always optimal when G depends on u itself.
Lars Hörmander

### Interacting Weakly Nonlinear Hyperbolic and Dispersive Waves

Abstract
Weakly nonlinear wave interactions are resonant or nonresonant. The linearized dispersion relation of the wave motion determines the resonant interactions. Resonant interactions cause significant changes in the wave-field. The evolution of the wave-field is determined using weakly nonlinear asymptotics. Quadratically nonlinear resonant interactions of dispersive waves satisfy the three wave resonance condition. The wave amplitudes solve the three wave resonant interaction equations. The phase velocity of hyperbolic waves is independent of frequency. As a result, hyperbolic waves participate in many resonant interactions. The amplitude of a single hyperbolic wave satisfies the inviscid Burgers equation. Harmonic resonance causes wave-form distortion and shock formation. The amplitudes of several interacting hyperbolic waves solve a system of integro-differential equations. The interaction of three oblique hyperbolic planar waves can generate a countably infinite family of new waves. Weak resonance of nonplanar hyperbolic waves also generates infinitely many new waves.
John K. Hunter

### Nonlinear Resonance Can Create Dense Oscillations

Abstract
In this note we construct an example of a solution to a first order semilinear hyperbolic system
$$Lu + f(t,x,u) = 0\quad u = u(t,x),\quad t,x \in {R^{{1 + 2}}}$$
(1.1)
which has for t > 0 three incoming high frequency wave trains and for t > 0 has outgoing oscillations propagating in directions which are dense on the unit circle in R 2. Section 1 is devoted to describing the mechanism which can produce such a phenomenon. The next two sections complete the construction of such solutions. The last section discusses some special considerations for the case of quadratic nonlinearities. We would like to acknowledge the help of our friends, Jean Fresnel with §2 and Jon Hunter with §4.
Jean-Luc Joly, Jeffrey Rauch

### Lower Bounds of the Life-Span of Small Classical Solutions for Nonlinear Wave Equations

Abstract
In a unified and simple way we get lower bounds of the life-span of classical solutions to the Cauchy problem with small initial data for fully nonlinear wave equations of the general form □u = F(u, Du, D x Du) for the space dimension n ≥ 3.
Li Ta-Tsien

### Propagation of Stronger Singularities of Solutions to Semilinear Wave Equations

Abstract
In this paper we analyze the stronger singularities of solutions $$u \in H_{\text{loc}}^s(\Omega ),s < \frac{n}{2}$$, for semilinear wave equations, using the microlocal multiplication of the solutions, the fact of the loss in smoothness of the products in H s , s < n/2, and the trick of reducing the loss in smoothness of the products.
Liu Linqi

### Conormality, Cusps and Non-Linear Interaction

Abstract
In this note we consider the problem of associating to a given geometry, in the form of a <Emphasis FontCategory=“NonProportional”>C</Emphasis> variety containing possibly singular submanifolds, spaces of finitely regular conormal functions. For non-linear problems it is highly desirable that the bounded elements in these spaces form algebras and that they have appropriate solvability properties for certain linear differential operators. This leads to the general approach discussed here, mixing microlocalization and blow-up techniques.
Richard B. Melrose

### Quasimodes for the Laplace Operator and Glancing Hypersurfaces

Abstract
This paper is concerned with the construction of a quasimode for the Laplace operator in a bounded domain Ω in R n , n ≥ 2, with a Dirichlet (Neumann) boundary condition. The quasimode is associated either with a closed gliding ray on the boundary or with a closed broken ray in T*Ω. The frequency set of the quasimode consists of the conic hull of the union of the bicharacteristics of the cosphere bundle S*Ω issuing from a family of invariant tori of the billiard ball map. To construct a quasimode near a gliding ray we find a global symplectic normal form for a pair of glancing hypersurfaces.
Georgi S. Popov

### A Decay Estimate for the Three-Dimensional Inhomogeneous Klein-Gordon Equation and Global Existence for Nonlinear Equations

Abstract
We will describe a pointwise decay estimate for solutions u(t, x) of the inhomogeneous Klein-Gordon equation
$$\partial_t^2u - \Delta u + u = F(t,x)$$
(IKG)
on R + × R 3, with zero initial data
$$u(0,x) = {\partial_t}u(0,x) = 0$$
. The desired bound takes the form
$$\left| {u(t,x)} \right| = \frac{C}{{{{(1 + t + \left| x \right|)}^{{ \frac{\hbox{\scriptstyle 3}}{\hbox{\scriptstyle 2}} }}}}}\left| {\left\| F \right\|} \right|$$
(1)
, with the norm ||| • ||| to be made precise later on.
Thomas C. Sideris

### Interaction of Singularities and Propagation into Shadow Regions in Semilinear Boundary Problems

Abstract
We consider solutions, uH loc s (Ω̄), s > (dim Ω + 1)/2, satisfying
$$Pu = f(t,z,u)$$
(1.1)
on Ω = R t × ω, where ωR z n is an open set with smooth boundary; P is a second-order differential operator with C coefficients on R (t, z) n+1 , noncharacteristic with respect to bΩ and strictly hyperbolic with respect to the planes t = c; and fC ∞. Interactions between singularity-bearing bicharacteristics taking place in the interior of Ω in t > can produce anomalous singularities in u, that is, singularities not present in the function u satisfying Pu = 0, u b Ω = u b Ω in t < These singularities can have strength at most ~ 3s - n (Beals [1]) and are generated by processes, crossing and self-spreading, that have been well-understood for some time (Beals [2], [3]). In this paper we shall describe propagation and interaction at the boundary, where generalized bicharacteristics [6], which typically contain segments of reflecting, grazing, or gliding rays, carry singularities.
Mark Williams
Weitere Informationen