Conformally Invariant Variational Problems. - SAM
Conformally Invariant Variational Problems. - SAM
Conformally Invariant Variational Problems. - SAM
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Combining this to (VII.2) reveals that u ∞ is a solution of the<br />
CMC equation (VII.1).<br />
Obtaining information on the regularity of weak W 1,2 solutionsof<br />
the CMC equation(VII.2) requiressome more elaborate<br />
work. More precisely, a result from the theory of integration by<br />
compensation due to H. Wente is needed.<br />
Theorem VII.1. [We]Let a andbbe twofunctionsin W 1,2 (D 2 ),<br />
and let φ be the unique solution in W 1,p<br />
0 (D 2 ) - for 1 ≤ p < 2 -<br />
of the equation<br />
⎧<br />
⎨ −∆φ = ∂ x a∂ y b−∂ x b∂ y a in D 2<br />
(VII.3)<br />
⎩<br />
ϕ = 0 on ∂D 2 .<br />
Then φ belongs to C 0 ∩W 1,2 (D 2 ) and<br />
‖φ‖ L∞ (D 2 )+‖∇φ‖ L2 (D 2 ) ≤ C 0 ‖∇a‖ L2 (D 2 ) ‖∇b‖ L2 (D 2 ) . (VII.4)<br />
where C 0 is a constant independent of a and b. 12<br />
✷<br />
Proof of theorem VII.1. Weshallfirstassumethataandb<br />
are smooth, so as to legitimize the various manipulations which<br />
we will need to perform. The conclusion of the theorem for<br />
general a and b in W 1,2 may then be reached through a simple<br />
density argument. In this fashion, we will obtain the continuity<br />
of φ from its being the uniform limit of smooth functions.<br />
Observe first that integration by parts and a simple application<br />
of the Cauchy-Schwarz inequality yields the estimate<br />
∫ ∫<br />
|∇φ| 2 = − φ∆φ ≤ ‖φ‖ ∞ ‖∂ x a∂ y b−∂ x b∂ y a‖ 1<br />
D 2 D 2<br />
≤ 2‖φ‖ ∞ ‖∇a‖ 2 ‖∇b‖ 2 .<br />
12 Actually, one shows that theorem VII.1 may be generalized to arbitrary oriented<br />
Riemannian surfaces, with a constant C 0 independent of the surface, which is quite a<br />
remarkable and useful fact. For more details, see [Ge] and [To].<br />
58