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.
where f(z,p) is an arbitrarycontinuousfunction for which there<br />
exists constants C 0 > 0 and C 1 > 0 satisfying<br />
∀z ∈ R m ∀p ∈ R 2 ⊗R m<br />
f(z,p) ≤ C 1 |p| 2 +C 0 . (VI.8)<br />
In dimension two, these equations are critical for the Sobolev<br />
space W 1,2 . Indeed,<br />
u ∈ W 1,2 ⇒ Γ(∇u,∇u) ∈ L 1 ⇒ ∇u ∈ L p loc (D2 ) ∀p < 2 .<br />
In other words, from the regularitystandpoint, the demand that<br />
∇u be square-integrable provides the information that 7 ∇u belongs<br />
to L p loc<br />
for all p < 2. We have thus lost a little bit of<br />
information! Had this not been the case, the problem would<br />
be “boostrapable”, thereby enabling a successful study of the<br />
regularity of u. Therefore, in this class of problems, the main<br />
difficulty lies in the aforementioned slight loss of information,<br />
which we symbolically represent by L 2 → L 2,∞ .<br />
Therearesimpleexamplesofequationswithquadraticgrowth<br />
in two dimensionsfor which the answersto the questions(i)-(iii)<br />
are all negative. Consider 8<br />
∆u+|∇u| 2 = 0 .<br />
(VI.10)<br />
This equation has quadratic growth, and it admits a solution in<br />
W 1,2 (D 2 ) which is unbounded in L ∞ , and thus discontinuous. It<br />
7 Actually, one can show that ∇u belongs to the weak-L 2 Marcinkiewicz space L 2,∞<br />
loc<br />
comprising those measurable functions f for which<br />
supλ 2 |{p ∈ ω ; |f(p)| > λ}| < +∞ ,<br />
λ>0<br />
(VI.9)<br />
where |·| is the standard Lebesgue measure. Note that L 2,∞ is a slightly larger space than<br />
L 2 . However, it possesses the same scaling properties.<br />
8 This equation is conformally invariant. However, as shown by J. Frehse [Fre], it is also<br />
the Euler-LagrangeequationderivedfromaLagrangianwhichisnotconformallyinvariant:<br />
L(u) =<br />
∫D 2 (<br />
1+<br />
)<br />
1<br />
1+e 12u (log1/|(x,y)|) −12<br />
|∇u| 2 (x,y) dx dy .<br />
46