Conformally Invariant Variational Problems. - SAM
Conformally Invariant Variational Problems. - SAM
Conformally Invariant Variational Problems. - SAM
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