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.

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

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

Saved successfully!

Ooh no, something went wrong!