21.06.2014 Views

Conformally Invariant Variational Problems. - SAM

Conformally Invariant Variational Problems. - SAM

Conformally Invariant Variational Problems. - SAM

SHOW MORE
SHOW LESS

Create successful ePaper yourself

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

Theorem VIII.2. [Riv1] Let N n be an arbitrary closed oriented<br />

C 2 -submanifold of R m , with 1 ≤ n < m, and let ω be a C 1 twoform<br />

on N n . Suppose that u is a critical point in W 1,2 (D 2 ,N n )<br />

of the energy<br />

E ω (u) = 1 ∫<br />

|∇u| 2 (x,y) dx dy +u ∗ ω .<br />

2 D 2<br />

Then u fulfills all of the hypotheses of theoreme VIII.1, and<br />

therefore is Hölder continuous.<br />

✷<br />

Proof of theorem VIII.2.<br />

The critical points of E ω satisfy the equation (VI.25), which,<br />

in local coordinates, takes the form<br />

∆u i = −<br />

m∑<br />

j,k=1<br />

H i jk (u) ∇⊥ u k ·∇u j −<br />

m∑<br />

A i jk (u) ∇uk ·∇u j ,<br />

j,k=1<br />

(VIII.7)<br />

for i = 1···m. Denoting by (ε i ) i=1···m the canonicalbasis of R m ,<br />

we first observe that since<br />

H i jk (z) = dω z(ε i ,ε j ε k )<br />

the antisymmetry of the 3-forme dω yields for every z ∈ R m the<br />

identity Hjk i (z) = −Hj ik<br />

(z). Then, (VIII.7) becomes<br />

∆u i = −<br />

m∑<br />

(Hjk i (u)−Hj ik (u))∇⊥ u k·∇u j −<br />

j,k=1<br />

m∑<br />

j,k=1<br />

A i jk (u)∇uk·∇u j .<br />

(VIII.8)<br />

On the other hand, A(u)(U,V) is orthogonal to the tangent<br />

plane for every choice of vectors U et V 22 . In particular, there<br />

22 Rigorously speaking, A is only defined for pairs of vectors which are tangent to the<br />

surface. Nevertheless, A can be extended to all pairs of vectors in R m in a neighborhood<br />

of N n by applying the pull-back of the projection on N n . This extension procedure is<br />

analogous to that outlined on page 18.<br />

79

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

Saved successfully!

Ooh no, something went wrong!