1.3. Group velocity and the method of nonstationary phase 19
one has the estimate
f(x) dx C2
Exercise 1.3.2. Prove the lemma. Hint. Use (1.3.2).
Example 1.3.2. Applied to the phases φ = :=

xjξj with ξ belonging
to a compact subset of Rd \ 0, the lemma implies the rapid decay of the
Fourier transform of smooth compactly supported functions. Conversely,
the lemma can be reduced to the special case of the Fourier transform.
Since the gradient of φ in the lemma does not vanish, for each x supp f,
there is a neighborhood and a nonlinear change of coordinates so that in
the new coordinates φ is equal to x1. Using a partition of unity, one can
suppose that f is the sum of a finite number of functions each supported in
one of the neighborhoods. For each such function, a change of coordinates
yields an integral of the form
g(x) dx = c ˆ(1/, g 0,..., 0) ,
which is rapidly decaying since it is the transform of an element of C0
Care must be taken to obtain estimates uniform in the family of phases of
the lemma.
Exercise 1.3.3. Suppose that f
and g
and that u is the
unique solution of the Klein–Gordon equation with initial data
(1.3.3) u(0,x) = f(x) , ut(0,x) = g(x) .
Prove that for any 0 and R 0, there is a δ 0 such that
(1.3.4) lim sup
|x| (1−δ)t−R
+ ux
dx .
Hint. Replace
f, ˆ g by compactly supported smooth functions making an
error at most /2 in energy. Then use Lemma 1.3.2 noting that the group
velocities are uniformly smaller than those for ξ belonging to the supports
of a±. Discussion. Note that as ξ ∞, the group velocities approach
±1. High frequencies will propagate at speeds nearly equal to one. In par-
ticular they travel at the same speed. High frequency signals stay together
better than low frequency signals. Since singularities of solutions are made
of only the high frequencies (modifying the Fourier transform of the data
on a compact set modifies the solution by a smooth term), one expects sin-
gularities to propagate at speeds ±1. That is proved for the fundamental
solution in Exercise 1.2.5. Once this is known for the fundamental solution,
it follows for all. The simple proof is an exercise in my book [Rauch, 1991,
pp. 164–165].
Previous Page Next Page