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.

a nonlinear Hodge decomposition 25 in L 2 of Ω. Thus, let<br />

ξ ∈ W 1,2 (D 2 ,so(m)) and P be a W 1,2 map taking values in<br />

the group SO(m) of proper rotations of R m , such that<br />

Ω = P ∇ ⊥ ξP −1 −∇P P −1 .<br />

(VIII.31)<br />

At first glance, the advantage of (VIII.31) over (VIII.30) is not<br />

obvious. If anything, it seems as though we have complicated<br />

the problem by having to introduce left and right multiplications<br />

by P and P −1 . On second thought, however, since rotations<br />

are always bounded, the map P in (VIII.31) is an element<br />

of W 1,2 ∩ L ∞ , whereas in (VIII.30), the map P belonged only<br />

to W 1,2 . This slight improvement will actually be sufficient to<br />

successfully carry out our proof. Furthermore, (VIII.31) has yet<br />

another advantage over (VIII.30). Indeed, whenever A and B<br />

are solutions of (VIII.27), there holds<br />

∇ ∇⊥ ξ(AP) = ∇(AP)−(AP)∇ ⊥ ξ<br />

Hence, via setting<br />

= ∇AP +A∇P −AP (P −1 ΩP +P −1 ∇P)<br />

= (∇ Ω A)P = −∇ ⊥ B P .<br />

à := AP, Ã, we find<br />

∆à = ∇÷∇⊥ ξ +∇ ⊥ B ·∇P .<br />

(VIII.32)<br />

Unlike (VIII.30), the second summand on the right-hand side of<br />

(VIII.32) is a linear combination of Jacobians of terms which lie<br />

inW 1,2 . Accordingly,callingupontheoremVII.1,wecancontrol<br />

à in L ∞ ∩ W 1,2 . This will make a bootstrapping argument<br />

possible.<br />

One point still remains to be verified. Namely, that the nonlinear<br />

Hodge decomposition (VIII.31) does exist. This can be<br />

accomplished with the help of a result of Karen Uhlenbeck 26 .<br />

25 which is tantamount to a change of gauge.<br />

26 In reality, this result, as it is stated here, does not appear in the original work of Uhlenbeck.<br />

In [Riv1], it is shown how to deduce theorem VIII.5 from Uhlenbeck’s approach.<br />

88

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

Saved successfully!

Ooh no, something went wrong!