This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!
qIu - zI.
Proof. Since Z is a nondegenerate critical manifold, the mapping L(z) NzZ -+ NZ defined by L(z)h = cp"(z)h is invertible for each z E Z. By continuity and compactness we have µ
mZ
IIL(z)-'11-1
> 0.
(7)
Let e = p/2 and assume that h = u - z is such that IhI < b where b > 0 is given by Lemma 10.3. The mean value theorem implies that IPPOcp(z + h) - cp"(z)hi = IP2(Vcp(z + h) - cp"(z)h)I
< IVco(z + h) - cp"(z)hi < I hI sup Ilcp"(z + sh) - cp"(z)jj < cI hI.
(8)
sE]0,1[
Assume now that h E NzZ. It follows from (7) and (8) that 2IhI,
and the proof is complete with p = b and rl = p/2. Let us now introduce the following framework.
0
(A)
i) X is a Hilbert space and cp E C2(X, R);
ii) a < b are real numbers such that the Palais-Smale condition is satisfied over cp-1([a, b]);
iii) c E ]a, b[ is the only critical value of co contained in [a, b];
iv) K, consists of a finite number of isolated critical points and nondegenerate critical manifolds. For simplicity, we shall replace assumption iv) in the proofs by
iv') K, is a nondegenerate critical manifold Z.
10.4. Global Theory
225
The general case can be obtained by an easy adaptation of the proof. Using the notations of Theorem 10.2 and Lemma 10.4, we can assume that p < co and that '1(NpZ) C c-1(]a, b[), and we can identify NpZ and Let w E C1(X,R) be such that w(u) E [0,1] and w(u) = 1 =0
if u E Np12Z if u ¢NPZ.
Consider the vector field f : X -t X defined by
f(u) =
if u V NPZ
= -(1 - w(u))Vcp(u) - w(u)PF(u)Vco(u) if u E NpZ. Lemma 10.1 and Proposition 10.1 imply that f is continuously differentiable. The Cauchy problem
e(t)
0(0)
= f(o(t)) =u
has, therefore, a unique maximal solution o(.) = o(., u) defined on ]w_(u), w+(u)[. Since t d(