Professional Documents
Culture Documents
Core
Core
and by multiplying this quantity with λ−1−α for α ∈ (0, 1) and then integrat-
ing it from 0 to ∞ w.r.t. λ one obtains:
ˆ ∞ˆ ˆ ∞ˆ ˆ ∞ˆ
2
|∇u| dxdλ ≤ |∇u| |f | dxdλ + c (|∇u| + |f |) λ−α dxdλ
0 c
Oλ 0
| {z } | {z } | 0 Oλ
{z }
I1 I2 I3
1
• We have
ˆ ∞ ˆ ˆ ∞ ˆ
2
|∇u| λ −1−α
dxdλ = |∇u|2 λ−1−α χ(M (|∇u|≤λ)) dxdλ =
0 c
Oλ 0
ˆ ˆ ∞ ˆ ˆ
2 1 α 2 c
λ−1−α
|∇u (x)| dxdλ = M (|∇u|) |∇u| dx ≥ |M (∇u)|2−α
M (|∇u|)(x) α α
• Similarly we obtain
ˆ ˆ
1 −α 1
I2 = |∇u| |f | |M (∇u) (x)| dx ≤ |f | |M (∇u) (x)|1−α dx.
α α
Next , for any δ > 0 we can apply Young’s inequality to obtain
ˆ ˆ ˆ
1 1−α 2−α
α−2
|f | |δM (∇u) (x)| dx ≤ δ |M (∇u)| + cδ |f |2−α
δ
and this inequality can be used to obtain a majorization for I2 .
•
ˆ ∞ ˆ ˆ ˆ M (∇u)(x)
−α
I3 = (|f | + |∇u|) λ dxdλ = λ−α dλdx ≤
0 Oλ
ˆ ˆ 0
1
M (∇u)2−α dx + |f | |M (∇u)|1−α ≤
1−α
ˆ ˆ
1 2−α
+δ |M (∇u)| dx + Cδ |f |2−α dx
1−α