17.01.2013 Views

PDF (1016 kB)

PDF (1016 kB)

PDF (1016 kB)

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Proof. We give a sketch of the proof, details are left to the reader.<br />

First, given a sequence αn → 0 and associated solutions un: [0, αn]×Ì→T ∗ M of (74), one can<br />

show that un → (c, 0) ∈ ΛT ∗ M uniformly. Here, it is again essential to make a case distinction for<br />

the three cases of potential gradient blow-up, Rn = |∇un(zn)| → ∞, namely, modulo subsequence,<br />

αn · Rn → 0 or → ∞ or → k > 0.<br />

The most interesting case is αn ·Rn → k > 0 which is dealt with by rescaling vn = un(αn·, αn·)<br />

as in the proof of Lemma 6.6.<br />

For the converse, we need a Newton type method which is hard to implement for the shrinking<br />

domains [0, α] ×Ìwith α → 0. Instead, we consider the conformally rescaled equivalent problem.<br />

Let v(s, t) = u(αs, αt) and consider the corresponding problem for α → 0,<br />

v: [0, 1] ×Ìα −1 → T ∗ M, ∂J,Hαv = 0,<br />

π(v(0, t)) = c(αt), v(1, t) ∈ÇM ∀t ∈Ìα −1,<br />

where Hα(t, ·) = αH(αt, ·) andÌα −1 =Ê/α −1�. The proof is now based on the Newton method<br />

which requires to show that:<br />

(a) for vo(s, t) = 0 ∈ T ∗ c(αt) M we have ∂J,Hvo → 0 as α → 0, which is obvious, and<br />

(b) the linearization Dα of ∂J,Hα at vo is invertible for small α > 0 with uniform bound on<br />

�D −1<br />

α �Op as α → 0.<br />

We sketch now the proof of this uniform bound.<br />

After suitable trivializations, the linearization Dα of ∂J,Hα at vo with the above Lagrangian<br />

boundary conditions can be viewed as an operator Dα on<br />

H 1,p<br />

iÊn ,Ên(α) := � v: [0, 1 ×Ìα −1 →�n | v(0, ·) ∈ iÊn , v(1, ·) ∈Ên � ,<br />

with norm � · �1,p;α. Assuming that D −1<br />

α is not uniformly bounded as α → 0 means that we would<br />

have αn → 0 and vn ∈ H 1,p<br />

iÊn ,Ên(αn) with �vn�1,p;αn = 1 such that �Dαnvn�0,p;αn → 0. The limit<br />

operator to compare to is the standard ∂-operator on maps<br />

v: [0, 1] ×Ê→�n , s.t. v(0, t) ∈ iÊn , v(1, t) ∈Ên ∀t ∈Ê.<br />

This comparison operator is clearly an isomorphism (from which one easily shows that Dαn has<br />

to be invertible for αn small).<br />

Let β ∈ C∞ (Ê, [0, 1]) be a cut-off function such that<br />

�<br />

1, t ≤ 0,<br />

β(t) =<br />

β<br />

0, t ≥ 1,<br />

′ ≤ 0,<br />

and set βn(t) = β(αnt − 1) · β(−αnt), hence<br />

We have<br />

Since the linearization Dα is of the form<br />

with some matrix A(s, t), we observe that<br />

βn −1 |[0, αn ] ≡ 1 and suppβn ⊂ [−α −1<br />

n , 2α −1<br />

n ] .<br />

�vn�1,p;αn ≤ �βnvn�1,p;Ê≤c1�vn�1,p;αn .<br />

Dαv = ∂sv + i∂tv + αA(s, t)v<br />

�∂(βnvn) − Dαn(βnvn)�0,p;Ê= αn�Aβnvn�0,p;Ê→ 0 .<br />

53<br />

(75)

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!