Recent progresses in Nonlinear Potential...
Transcript of Recent progresses in Nonlinear Potential...
![Page 1: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/1.jpg)
Recent progresses in Nonlinear Potential Theory
Giuseppe Mingione — Lectures at CIME Summer School 2016
Alternative titlesNonlocal methods for local problems and vice versa
orThe shortest path between two local statements passes through
a nonlocal dictionary
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 2: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/2.jpg)
General philosophy
Linear problems
Nonlinear Problems
Nonlocal methods in nonlinear problems
“Nonlinear Linearization” of linear problems
Local ideas in nonlocal problems and vice versa, dualapproaches
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 3: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/3.jpg)
General philosophy
Linear problems
Nonlinear Problems
Nonlocal methods in nonlinear problems
“Nonlinear Linearization” of linear problems
Local ideas in nonlocal problems and vice versa, dualapproaches
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 4: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/4.jpg)
General philosophy
Linear problems
Nonlinear Problems
Nonlocal methods in nonlinear problems
“Nonlinear Linearization” of linear problems
Local ideas in nonlocal problems and vice versa, dualapproaches
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 5: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/5.jpg)
General philosophy
Linear problems
Nonlinear Problems
Nonlocal methods in nonlinear problems
“Nonlinear Linearization” of linear problems
Local ideas in nonlocal problems and vice versa, dualapproaches
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 6: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/6.jpg)
General philosophy
Linear problems
Nonlinear Problems
Nonlocal methods in nonlinear problems
“Nonlinear Linearization” of linear problems
Local ideas in nonlocal problems and vice versa, dualapproaches
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 7: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/7.jpg)
Scheme of the course
Part 1: The classical CZ-theory
Part 2: From linear to nonlinear CZ-theory
Part 3: Non-uniformly elliptic operators
Part 4: Measure data problems
Part 5: Potential estimates
Part 6: Nonlocal problems
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 8: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/8.jpg)
Scheme of the course
Part 1: The classical CZ-theory
Part 2: From linear to nonlinear CZ-theory
Part 3: Non-uniformly elliptic operators
Part 4: Measure data problems
Part 5: Potential estimates
Part 6: Nonlocal problems
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 9: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/9.jpg)
Scheme of the course
Part 1: The classical CZ-theory
Part 2: From linear to nonlinear CZ-theory
Part 3: Non-uniformly elliptic operators
Part 4: Measure data problems
Part 5: Potential estimates
Part 6: Nonlocal problems
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 10: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/10.jpg)
Scheme of the course
Part 1: The classical CZ-theory
Part 2: From linear to nonlinear CZ-theory
Part 3: Non-uniformly elliptic operators
Part 4: Measure data problems
Part 5: Potential estimates
Part 6: Nonlocal problems
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 11: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/11.jpg)
Scheme of the course
Part 1: The classical CZ-theory
Part 2: From linear to nonlinear CZ-theory
Part 3: Non-uniformly elliptic operators
Part 4: Measure data problems
Part 5: Potential estimates
Part 6: Nonlocal problems
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 12: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/12.jpg)
Scheme of the course
Part 1: The classical CZ-theory
Part 2: From linear to nonlinear CZ-theory
Part 3: Non-uniformly elliptic operators
Part 4: Measure data problems
Part 5: Potential estimates
Part 6: Nonlocal problems
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 13: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/13.jpg)
From linear to nonlinear CZ-theory
Part 1: The classical CZ-theory
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 14: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/14.jpg)
The standard CZ theory
Consider the model case
4u = f in Rn
Then
f ∈ Lq implies D2u ∈ Lq 1 < q <∞
with natural failure in the borderline cases q = 1,∞As a consequence (Sobolev embedding)
Du ∈ Lnqn−q q < n
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 15: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/15.jpg)
The standard CZ theory
Consider the model case
4u = f in Rn
Then
f ∈ Lq implies D2u ∈ Lq 1 < q <∞
with natural failure in the borderline cases q = 1,∞
As a consequence (Sobolev embedding)
Du ∈ Lnqn−q q < n
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 16: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/16.jpg)
The standard CZ theory
Consider the model case
4u = f in Rn
Then
f ∈ Lq implies D2u ∈ Lq 1 < q <∞
with natural failure in the borderline cases q = 1,∞As a consequence (Sobolev embedding)
Du ∈ Lnqn−q q < n
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 17: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/17.jpg)
Overture: The standard CZ theory
Consider the model case
4u = f in Rn
Then
f ∈ Lq implies D2u ∈ Lq 1 < q <∞
with natural failure in the borderline cases q = 1,∞As a consequence (Sobolev embedding)
Du ∈ Lnqn−q q < n
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 18: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/18.jpg)
Overture: The standard CZ theory
Consider the model case
4u = f in Rn
Then
f ∈ Lq implies D2u ∈ Lq 1 < q <∞
with natural failure in the borderline cases q = 1,∞
As a consequence (Sobolev embedding)
Du ∈ Lnqn−q q < n
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 19: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/19.jpg)
Overture: The standard CZ theory
Consider the model case
4u = f in Rn
Then
f ∈ Lq implies D2u ∈ Lq 1 < q <∞
with natural failure in the borderline cases q = 1,∞As a consequence (Sobolev embedding)
Du ∈ Lnqn−q q < n
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 20: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/20.jpg)
The singular integral approach
Representation via Green’s function
u(x) ≈∫
G (x , y)f (y) dy
with
G (x , y) =
|x − y |2−n if n > 2
− log |x − y | if n = 2
Differentiation yields
D2u(x) =
∫K (x , y)f (y) dy
and K (x , y) is a singular integral kernel, and the conclusionfollows
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 21: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/21.jpg)
Singular kernels with cancellations
Initial boundedness assumption
‖K‖L∞ ≤ B ,
where K denotes the Fourier transform of K (·)Hormander cancellation condition∫
|x |≥2|y ||K (x − y)− K (x)| dx ≤ B for every y ∈ Rn
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 22: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/22.jpg)
The fractional integral approach
Again differentiating
|Du(x)| . I1(|f |)(x)
where I1 is a fractional integral
Iβ(g)(x) :=
∫g(y)
|x − y |n−βdy β ∈ [0, n)
and thenIβ : Lq → L
nqn−βq βq < n
This is in fact equivalent to the original proof of Sobolevembedding theorem for the case q > 1, which uses that
|u(x)| . I1(|Du|)(x)
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 23: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/23.jpg)
The fractional integral approach
Important remark: the theory of fractional integraloperators substantially differs from that of singular ones
In fact, while the latter is based on cancellationproperties of the kernel, the former only considers thesize of the kernel
As a consequence all the estimates related to theoperator Iβ degenerate when β → 0
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 24: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/24.jpg)
Another linear case
Higher order right hand side
4u = div Du = div F
ThenF ∈ Lq =⇒ Du ∈ Lq q > 1
just “simplify” the divergence operator!!
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 25: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/25.jpg)
Interpolation approach
Define the operator
T : F 7→ T (F ) := gradient of the solution to 4u = div F
ThenT : L2 → L2
by testing with the solution, and
T : L∞ → BMO
by regularity estimates (hard part).
Campanato-Stampacchia interpolation
T : Lq → Lq 1 < q <∞
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 26: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/26.jpg)
BMO/VMO
Define
(v)Bs :=1
|Bs |
∫Bs
v dx
and
ω(R) := sups≤R
1
|Bs |
∫Bs
|v − (v)Bs | dx
A map v belongs to BMO iff
ω(R) <∞
A map v belongs to VMO iff
limR→0
ω(R) = 0
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 27: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/27.jpg)
From linear to nonlinear CZ-theory
Part 2: From linear to nonlinear CZ-theory
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 28: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/28.jpg)
From linear to nonlinear CZ-theory
The problem is now to extend the results to (potentiallydegenerate) nonlinear equations of the type
div a(Du) = D .
The main issues are two:
to find nonlinear methods, by-passing linearity and inparticular the use of fundamental solutions
considering estimates that allow to treat also cases in whichthe right-hand side D does not belong to the dual space ofthe operator considered
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 29: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/29.jpg)
Basic assumptions
The basic assumptions on the operator considered
u 7→ div a(Du)
are |a(z)|+ |∂a(z)||z | ≤ L|z |p−1
ν|z |p−2|ξ|2 ≤ 〈∂a(z)ξ, ξ〉 .
for every choice of z , ξ ∈ Rn
A typical model example is given by the so called p-Laplaceanoperator
a(z) = |z |p−2z
and refers to the equation
−div (|Du|p−2Du) = 0
For p = 2 we have the Nonlinear Poisson equation
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 30: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/30.jpg)
Variational origins
The p-Laplacean equation is the Euler-Lagrange equation of thevariational integral
W 1,p 3 v 7→∫
Ω|Dv |p dx Ω ⊂ Rn
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 31: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/31.jpg)
Basic assumptions
These assumptions tell that the operator is naturally defined in theSobolev space
W 1,p
since it satisfies|a(z)| . |z |p−1 growth
and it enjoys the following monotonicity property
|V (z1)− V (z2)|2 . 〈a(z1)− a(z2), z1 − z2〉 monotonicity
whereV (z) = |z |(p−2)/2z
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 32: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/32.jpg)
Basic assumptions
When p ≥ 2 the last monotonicity assumption implies that
|z1 − z2|p . 〈a(z1)− a(z2), z1 − z2〉
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 33: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/33.jpg)
Opening
Theorem (Iwaniec, Studia Math. 83)
div (|Du|p−2Du) = div (|F |p−2F ) in Rn
Then it holds that
F ∈ Lq =⇒ Du ∈ Lq p ≤ q <∞
Theorem (DiBenedetto & Manfredi, Amer. J. Math. 93)
The previous result holds for the p-Laplacean system, moreoverF ∈ BMO =⇒ Du ∈ BMO
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 34: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/34.jpg)
Opening
Theorem (Iwaniec, Studia Math. 83)
div (|Du|p−2Du) = div (|F |p−2F ) in Rn
Then it holds that
F ∈ Lq =⇒ Du ∈ Lq p ≤ q <∞
Theorem (DiBenedetto & Manfredi, Amer. J. Math. 93)
The previous result holds for the p-Laplacean system, moreoverF ∈ BMO =⇒ Du ∈ BMO
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 35: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/35.jpg)
An alternative approach
Caffarelli & Peral (CPAM 98) give an important newapproach to the Lp-estimates for equations as
div a(x ,Du) = 0
with high oscillating coefficients in the context ofhomogenization
Byun & Wang, in a recent series of papers, used theabove method to derive Calderon-Zygmund estimates forsolutions to boundary value problems involvingnon-homogeneous equations, under weak assumptions on theboundary regularity. Papers by several authors like: Lee, Oh,Ok, Yao, Zhou
Diening & Schwarzacher, have given a streamlinedapproach to several results, expecially under non-standardgrowth conditions
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 36: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/36.jpg)
An alternative approach
Caffarelli & Peral (CPAM 98) give an important newapproach to the Lp-estimates for equations as
div a(x ,Du) = 0
with high oscillating coefficients in the context ofhomogenization
Byun & Wang, in a recent series of papers, used theabove method to derive Calderon-Zygmund estimates forsolutions to boundary value problems involvingnon-homogeneous equations, under weak assumptions on theboundary regularity. Papers by several authors like: Lee, Oh,Ok, Yao, Zhou
Diening & Schwarzacher, have given a streamlinedapproach to several results, expecially under non-standardgrowth conditions
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 37: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/37.jpg)
An alternative approach
Caffarelli & Peral (CPAM 98) give an important newapproach to the Lp-estimates for equations as
div a(x ,Du) = 0
with high oscillating coefficients in the context ofhomogenization
Byun & Wang, in a recent series of papers, used theabove method to derive Calderon-Zygmund estimates forsolutions to boundary value problems involvingnon-homogeneous equations, under weak assumptions on theboundary regularity. Papers by several authors like: Lee, Oh,Ok, Yao, Zhou
Diening & Schwarzacher, have given a streamlinedapproach to several results, expecially under non-standardgrowth conditions
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 38: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/38.jpg)
General elliptic problems
In the same way the non-linear result of Iwaniec extendsto all elliptic equations in divergence form of the type
div a(Du) = div (|F |p−2F )
where a(·) is p-monotone in the sense of the previous slides
and to all systems with special structure
div (g(|Du|)Du) = div (|F |p−2F )
Moreover, VMO-coefficients can be considered too
div [c(x)a(Du)] = div (|F |p−2F )
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 39: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/39.jpg)
Open problems
The full rangep − 1 < q <∞
Compare with the linear case p = 2.
This is the case below the duality exponent, when
div (|F |p−2F ) 6∈W−1,p′
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 40: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/40.jpg)
First answers
Theorem (Iwaniec & Sbordone, Crelle J. 93 - Lewis, Comm. PDE93)
There exists a universal number
δ0 ≡ δ0(n, p) > 0
such that any W 1,p−δ-solution u to the equation
div (|Du|p−2Du) = 0 with 0 < δ < δ0
is such thatu ∈W 1,p+δ
loc
Iwaniec & Sbordone use a deep property of stability of Hodgedecomposition with respect to certain nonlinear perturbations -Lewis uses a Lipschitz truncation via Maximal operator going backto the classical work of Acerbi & Fusco
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 41: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/41.jpg)
First answers
Theorem (Iwaniec & Sbordone, Crelle J. 93 - Lewis, Comm. PDE93)
There exists a universal number
δ0 ≡ δ0(n, p) > 0
such that any W 1,p−δ-solution u to the equation
div (|Du|p−2Du) = 0 with 0 < δ < δ0
is such thatu ∈W 1,p+δ
loc
Iwaniec & Sbordone use a deep property of stability of Hodgedecomposition with respect to certain nonlinear perturbations -Lewis uses a Lipschitz truncation via Maximal operator going backto the classical work of Acerbi & Fusco
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 42: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/42.jpg)
The parabolic case
Theorem (Acerbi & Min., Duke Math. J. 07)
ut − div (|Du|p−2Du) = div (|F |p−2F ) in Ω× (0,T )
for
p >2n
n + 2
Then it holds that
F ∈ Lqloc =⇒ Du ∈ Lq
loc for p ≤ q <∞
For q = p + ε see the important work of Kinnunen & Lewis (DukeMath. J. 01)
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 43: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/43.jpg)
The parabolic case
Theorem (Acerbi & Min., Duke Math. J. 07)
ut − div (|Du|p−2Du) = div (|F |p−2F ) in Ω× (0,T )
for
p >2n
n + 2
Then it holds that
F ∈ Lqloc =⇒ Du ∈ Lq
loc for p ≤ q <∞
For q = p + ε see the important work of Kinnunen & Lewis (DukeMath. J. 01)
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 44: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/44.jpg)
The parabolic case
The elliptic approach via maximal operators only worksin the case p = 2
The result also works for systems, that is whenu(x , t) ∈ RN , N ≥ 1
First Harmonic Analysis free approach to non-linearCalderon-Zygmund estimates
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 45: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/45.jpg)
The parabolic case
The result is new already in the case of equations i.e.N = 1, the difficulty being in the lack of homogenousscaling of parabolic problems with p 6= 2, and not beingcaused by the degeneracy of the problem, but rather bythe polynomial growth.
The result extends to all parabolic equations of the type
ut − div a(Du) = div (|F |p−2F )
with a(·) being a monotone operator with p-growth. Moreprecisely we assumeν(s2 + |z1|2 + |z2|2)
p−22 |z2 − z1|2 ≤ 〈a(z2)− a(z1), z2 − z1〉
|a(z)| ≤ L(s2 + |z |2)p−1
2 ,
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 46: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/46.jpg)
The parabolic case
The result also holds for systems with a special structure(sometimes called Uhlenbeck structure). This means
ut − div a(Du) = div (|F |p−2F )
with a(·) being p-monotone in the sense of the previous slide,and satisfying the structure assumption
a(Du) = g(|Du|)Du
The p-Laplacean system is an instance of such astructure
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 47: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/47.jpg)
The intrinsic geometry of DiBenedetto
The basic analysis is the following: consider intrinsiccylinders
Qλ% (z0) ≡ Qλ
% (x0, t0) = B(x0, %)× (t0 − λ2−p%2, t0)
where it happens that
|Du| ≈ λ in Qλ% (x0, t0)
then the equation behaves as
ut − λp−24u = 0
that is, scaling back in the same cylinder, as the heat equation
On intrinsic cylinders estimates “ellipticize”; inparticular, they become homogeneous
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 48: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/48.jpg)
Intrinsic estimate
The effect of intrinsic geometry
Theorem (DiBenedetto & Friedman, Crelle J. 85)
There exists a universal constant c ≥ 1 such that
c
(−∫QλR (z0)
|Du|p−1 dz
)1/(p−1)
≤ λ
then|Du(z0)| ≤ λ
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 49: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/49.jpg)
Non-uniformly elliptic operators
Part 3: Non-uniformly elliptic operators
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 50: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/50.jpg)
Classical facts
Consider variational problems of the type
W 1,1 3 v 7→∫
Ωf (x ,Dv) dx Ω ⊂ Rn
the standard growth conditions are
|z |p . f (x , z) . |z |p + 1
for p > 1, and the problem is well settled in W 1,p
a model example is
v 7→∫
Ωc(x)|Dv |p dx
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 51: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/51.jpg)
Classical facts
Consider variational problems of the type
W 1,1 3 v 7→∫
Ωf (x ,Dv) dx Ω ⊂ Rn
the standard growth conditions are
|z |p . f (x , z) . |z |p + 1
for p > 1, and the problem is well settled in W 1,p
a model example is
v 7→∫
Ωc(x)|Dv |p dx
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 52: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/52.jpg)
Classical facts
Consider variational problems of the type
W 1,1 3 v 7→∫
Ωf (x ,Dv) dx Ω ⊂ Rn
the standard growth conditions are
|z |p . f (x , z) . |z |p + 1
for p > 1, and the problem is well settled in W 1,p
a model example is
v 7→∫
Ωc(x)|Dv |p dx
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 53: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/53.jpg)
Non-standard growth conditions
consider now variational problems of the type
W 1,1 3 v 7→∫
Ωf (x ,Dv) dx Ω ⊂ Rn
with|z |p . f (x , z) . |z |q + 1 and q > p > 1
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 54: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/54.jpg)
A basic condition
W 1,1 3 v 7→∫
Ωf (Dv) dx Ω ⊂ Rn
with|z |p . f (z) . |z |q + 1 and q > p > 1
thenq
p< 1 + o(n)
is a sufficient (Marcellini) and necessary (Giaquinta and Marcellini)condition for regularity
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 55: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/55.jpg)
Several people on non-uniformly elliptic operators
Leon Simon
Uraltseva & Urdaletova
Zhikov
Marcellini
Hong
Lieberman
Fusco-Sbordone
many, many, many others (including me, unfortunately for thesubject)
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 56: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/56.jpg)
Non-atonomous functionals
Non-autonomous functionals of the type
v 7→∫
Ωf (x ,Dv) dx
new phenomena appear in this situation, and the presence of x isnot any longer a perturbation
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 57: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/57.jpg)
Three functionals of Zhikov
Zhikov introduced, between the 80s and the 90s, the followingfunctionals:
v 7→∫
Ω|Dv |2w(x) dx w(x) ≥ 0
v 7→∫
Ω|Dv |p(x) dx p(x) ≥ 1
v 7→∫
Ω(|Dv |p + a(x)|Dv |q) dx a(x) ≥ 0
motivations: modelling of strongly anisotropic materials, Elasticity,Homogenization, Lavrentiev phenomenon etc
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 58: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/58.jpg)
Two counterexamples
Theorem (Esposito-Leonetti-Min. JDE 04)
For every choice of n ≥ 2, Ω ⊂ Rn and of
ε > 0 and α ∈ (0, 1)
there exists a non-negative function a(·) ∈ C 0,α, a boundary datumu0 ∈W 1,∞(B) and exponents p, q satisfying
n − ε < p < n < n + α < q < n + α + ε
such that the solution to the Dirichlet problemu 7→ minw
∫B
(|Dv |p + a(x)|Dv |q) dx
w ∈ u0 + W 1,p0 (B)
does not belong to W 1,qloc (B)
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 59: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/59.jpg)
The example goes via Lavrentiev phenomenon
infw∈u0+W 1,p
0 (B)
∫B
(|Dv |p + a(x)|Dv |q) dx
< infw∈u0+W 1,p
0 (B)∩W 1,qloc (B)
∫B
(|Dv |p + a(x)|Dv |q) dx
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 60: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/60.jpg)
Two counterexamples
Theorem (Fonseca-Maly-Min. ARMA 04)
For every choice of n ≥ 2, Ω ⊂ Rn and of ε > 0, α > 0, thereexists a non-negative function a(·) ∈ C [α]+α, a boundary datumu0 ∈W 1,∞(B) and exponents p, q satisfying
n − ε < p < n < n + α < q < n + α + ε
such that the solution to the Dirichlet problemu 7→ minw
∫B
(|Dv |p + a(x)|Dv |q) dx
w ∈ u0 + W 1,p0 (B)
has a singular set of essential discontinuity points of Hausdorffdimension larger than n − p − ε
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 61: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/61.jpg)
Theorem 1
Theorem (Colombo-Min. ARMA 15)
Let u ∈W 1,p(Ω), Ω ⊂ Rn, be a local minimiser of the functional
v 7→∫
Ω(|Dv |p + a(x)|Dv |q) dx
and assume that
0 ≤ a(·) ∈ C 0,α(Ω) andq
p< 1 +
α
n
thenDu is locally Holder continuous
The theorem extends to the vectorial case u : Ω→ RN
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 62: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/62.jpg)
Theorem 2
Theorem (Colombo-Min. ARMA 15)
Let u ∈W 1,p(Ω) be a bounded local minimiser of the functional
v 7→∫
Ω(|Dv |p + a(x)|Dv |q) dx
and assume that
0 ≤ a(·) ∈ C 0,α(Ω) and q ≤ p + α
thenDu is locally Holder continuous
Notice the the delicate borderline case q = p + α is achieved. Thetheorem extends to the vectorial case u : Ω→ RN
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 63: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/63.jpg)
Theorem 2
Theorem (Colombo-Min. ARMA 15)
Let u ∈W 1,p(Ω) be a bounded local minimiser of the functional
v 7→∫
Ω(|Dv |p + a(x)|Dv |q) dx
and assume that
0 ≤ a(·) ∈ C 0,α(Ω) and q ≤ p + α
thenDu is locally Holder continuous
Notice the the delicate borderline case q = p + α is achieved. Thetheorem extends to the vectorial case u : Ω→ RN
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 64: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/64.jpg)
More general cases
The previous theorems apply to functionals of the type
v 7→∫
Ω[f1(x , v ,Dv) + a(x)f2(x , v ,Dv)] dx
where
f1(x , v ,Dv) ≈ |Dv |p f2(x , v ,Dv) ≈ |Dv |q
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 65: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/65.jpg)
Theorem 3
Theorem (Colombo-Min. JFA 15)
Let u ∈W 1,p(Ω) be a distributional solution to
div (|Du|p−2Du + a(x)|Du|q−2Du) = div (|F |p−2F + a(x)|F |q−2F )
and assume that
0 ≤ a(·) ∈ C 0,α(Ω) andq
p≤ 1 +
α
n
then
(|F |p + a(x)|F |q) ∈ Lγloc =⇒ (|Du|p + a(x)|Du|q) ∈ Lγloc
for every γ ≥ 1
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 66: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/66.jpg)
Theorem 4
Theorem (Colombo-Min. JFA 15)
Let u ∈W 1,p(Ω) be a bounded minimiser of the functional
v 7→∫
[|Dv |p + a(x)|Dv |q − (|F |p−2 + a(x)|F |q−2)〈F ,Dv〉]
and assume that
0 ≤ a(·) ∈ C 0,α(Ω) and q ≤ p + α
and
supB%
%p0 −∫B%
[|F |p + a(x)|F |q] dx <∞ for some p0 < p
then
(|F |p + a(x)|F |q) ∈ Lγloc =⇒ (|Du|p + a(x)|Du|q) ∈ Lγloc
for every γ ≥ 1Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 67: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/67.jpg)
General functionals
Theorem (Eleuteri-Mascolo-Marcellini AMPA, to appear)
Let u ∈W 1,p(Ω) be a local minimiser of the functional
v 7→∫
Ωf (x , |Dv |) dx
and assume that
|z |p−2 . ∂zz f (·) . |z |q−2 and |∂x ,z f (x , z)| ≤ h(x)|z |q−1
and
h(x) ∈ Lr q
p< 1 +
α
n
α
n=
1
n− 1
r
thenDu is locally Lipschitz continuous
It would be interesting to see if this theorem holds for boundedminimizers when q ≤ p + α, with the other assumptions remainingthe same
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 68: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/68.jpg)
General functionals
Theorem (Eleuteri-Mascolo-Marcellini AMPA, to appear)
Let u ∈W 1,p(Ω) be a local minimiser of the functional
v 7→∫
Ωf (x , |Dv |) dx
and assume that
|z |p−2 . ∂zz f (·) . |z |q−2 and |∂x ,z f (x , z)| ≤ h(x)|z |q−1
and
h(x) ∈ Lr q
p< 1 +
α
n
α
n=
1
n− 1
r
thenDu is locally Lipschitz continuous
It would be interesting to see if this theorem holds for boundedminimizers when q ≤ p + α, with the other assumptions remainingthe sameGiuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 69: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/69.jpg)
The general viewpoint
Is to consider functionals as
v 7→∫
Ωf (x , v ,Dv) dx
whereH(x , |z |) . f (x , u, z) . H(x , |z |) + 1
withH(x , |z |) = |z |p + a(x)|z |q
being a replacement of|z |p
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 70: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/70.jpg)
Two theorems on low regularity
Theorem (Baroni-Colombo-Min., Nonlinear Anal. TMA, 15)
Let u ∈W 1,p(Ω) be a bounded and non-negative local minimiserof the functional
v 7→∫
Ωf (x , v ,Dv) dx
and assume that
0 ≤ a(·) ∈ C 0,α(Ω) and q ≤ p + α
thensupBR
u ≤ c infBR
u
for some c depending only on n, p, q, α, ν, L.
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 71: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/71.jpg)
A borderline case
Theorem (Baroni-Colombo-Min., St. Petersburg Math. J. 16)
Let u ∈W 1,p(Ω) be a local minimiser of the functional
v 7→∫
Ω(|Dv |p + a(x)|Dv |p log(e + |Dv |)) dx
and assume that a(·) has modulus of continuity ω(·). If
lim%→0
ω(%) log
(1
%
)= 0 .
Thenu ∈ C 0,γ for every γ < 1 .
Moreover, if a(·) is Holder continuous, then Du is Holdercontinuous.
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 72: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/72.jpg)
A parallel
Theorem (Acerbi-Min. ARMA 2001)
Let u ∈W 1,p(Ω) be a local minimiser of the functional
v 7→∫
Ω|Dv |p(x) dx
and assume that p(·) has modulus of continuity ω(·). If
lim%→0
ω(%) log
(1
%
)= 0 .
Thenu ∈ C 0,γ for every γ < 1 .
Moreover, if p(·) is Holder continuous, then Du is Holdercontinuous.
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 73: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/73.jpg)
Heuristic explanations - dependence on α of the bound
The Euler equation of the functional is
div a(x ,Du) = div (|Du|p−2Du + (q/p)a(x)|Du|q−2Du) = 0
then
highest eigenvalue of ∂za(x ,Du)
lowest eigenvalue of ∂za(x ,Du)≈ 1 + a(x)|Du|q−p
≈ 1 + Rα|Du|q−p
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 74: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/74.jpg)
Heuristic explanation - the bound q ≤ p + α
Consider the usual p-capacity for p < n
capp(Br ) = inf
∫Rn
|Dv |p dx : v ∈W 1,p, v ≥ 1 on Br
we have
capp(Br ) ≈ rn−p
then consider the weighted capacity
capq,α(Br ) = inf
∫Rn
|x |α|Dv |q dx : v ∈ C∞0 (Rn), v ≥ 1 on Br
we then have (the ball is centered at the origin)
capq,α(Br ) ≈ rn−q+α
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 75: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/75.jpg)
Heuristic explanation - The bound q ≤ p + α
We then ask forcapq,α(Br ) . capp(Br )
that isrn−q+α ≤ rn−p
for r small enough, so that
q ≤ p + α
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 76: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/76.jpg)
A parallel with Muckenhoupt weights
a maximal theorem holds∫Ω
[H(x , |M(f )|)]t dx .∫
Ω[H(x , |f |)]t dx
where Mf is the usual (localised) Hardy-Littlewood maximaloperator, together with a Sobolev-Poincare type inequality(
−∫BR
[H
(x ,
∣∣∣∣ f − (f )BR
R
∣∣∣∣)]d dx
)1/d
≤ c −∫BR
[H(x , |Df |)]dx
for d > 1
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 77: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/77.jpg)
A parallel with Muckenhoupt weights
A non-negative function w ∈ Lp is said to be of class Ap if
supBR
(−∫BR
|w | dx
)(−∫BR
|w |1/(1−p) dx
)1/(p−1)
<∞
then it follows ∫Ω|M(f )|pw(x) dx .
∫Ω|f |pw(x) dx
holds for p > 1 and(−∫BR
[H
(x ,
∣∣∣∣ f − (f )BR
R
∣∣∣∣)]d dx
)1/d
≤ c −∫BR
H(x , |Df |)dx
holds for d > 1
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 78: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/78.jpg)
Questions
Study more general conditions for which such abstract resultshold in connection to regularity theorems, for instance
Define the quantity
capH(Br )
= inf
∫Rn
H(x ,Dv) dx : f ∈ C∞0 (Rn), f ≥ 1 on Br
and prove it is a capacity in the usual sense when q ≤ p + α;also consider the condition q/p < 1 + α/n
Consider removability of singularities problems using thiscapacity, and in connection obstacle problems
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 79: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/79.jpg)
A parallel with Muckenhoupt weights
Minima of functionals of the type
v →∫
f (x , v ,Dv) dx
withf (x , v , z) ≈ |z |pw(x) ≡ H(x , |z |)
are locally Holder continuous providedFabes-Konig-Serapioni (Comm. PDE 1982) - Modica (Ann. Mat.Pura Appl. 1985)
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 80: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/80.jpg)
Questions
Study more general conditions for which such abstract resultshold in connection to regularity theorems, for instance
Define the quantity
capH(Br )
= inf
∫Rn
H(x ,Dv) dx : f ∈ C∞0 (Rn), f ≥ 1 on Br
and prove it is a capacity in the usual sense when q ≤ p + α;also consider the condition q/p < 1 + α/n
Consider removability of singularities problems using thiscapacity, and in connection obstacle problems
Consider weights with respect to this new norm
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 81: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/81.jpg)
The proof: Separation of phases and universal threshold
There exists a universal threshold M ≡ M(n, p, q, α) such that ifon the ball BR
ai (R) := infx∈BR
a(x) ≤ M[a]0,αRα
Then our functional is essentially equivalent to
v 7→∫BR
|Dv |p dx
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 82: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/82.jpg)
The proof: separation of phases and universal threshold
There exists a universal threshold M ≡ M(n, p, q, α) such that ifon the ball BR
ai (R) := infx∈BR
a(x) > M[a]0,αRα
then our functional is essentially equivalent to
v 7→∫BR
(|Dv |p + ai (R)|Dv |q) dx
Implementation of this is very delicate and goes though a delicateanalysis involving an exit time argument
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 83: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/83.jpg)
Tool 1: reverse Holder inequality
Lemma
Let u ∈W 1,p(Ω) be a local minimiser of the functional
v 7→∫
Ω(|Dv |p + a(x)|Dv |q) dx
and let BR be a ball such that
infx∈BR
a(x) ≤ M[a]αRα andq
p< 1 +
α
n
hold. then there exists a positive constant c ≡ c(M) such that(−∫BR/2
|Du|2q−p dx
)1/(2q−p)
≤ c
(−∫BR
|Du|p dx
)1/p
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 84: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/84.jpg)
Tool 2: Caccioppoli type inequality
Lemma
Let u ∈W 1,p(Ω) be a bounded local minimiser of the functional
v 7→∫
Ω(|Dv |p + a(x)|Dv |q) dx
and let BR be a ball such that
infx∈BR
a(x) ≤ M[a]αRα and q ≤ p + α
hold. then there exists a positive constant c ≡ c(M) such that
−∫BR/2
|Du|p dx ≤ c −∫BR
∣∣∣∣u − (u)BR
R
∣∣∣∣p dx
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 85: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/85.jpg)
Theorem on bounded minimisers
Theorem (Colombo-Min. ARMA 15)
Let u ∈W 1,p(Ω) be a bounded local minimiser of the functional
v 7→∫
Ω(|Dv |p + a(x)|Dv |q) dx
and assume that
0 ≤ a(·) ∈ C 0,α(Ω) and q ≤ p + α
thenDu is Holder continuous
A parabolic theorem is on its way
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 86: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/86.jpg)
Theorem on bounded minimisers
Theorem (Colombo-Min. ARMA 15)
Let u ∈W 1,p(Ω) be a bounded local minimiser of the functional
v 7→∫
Ω(|Dv |p + a(x)|Dv |q) dx
and assume that
0 ≤ a(·) ∈ C 0,α(Ω) and q ≤ p + α
thenDu is Holder continuous
A parabolic theorem is on its way
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 87: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/87.jpg)
Proof goes in ten different Steps
Step 1: Low Holder continuity (to treat the borderline caseq = p + α)
Step 2: p-harmonic approximation to handle the p-phase
Step 3: Decay estimate on all scales in the (p, q)-phase
Step 4: Exit time argument implies u ∈ C 0,γ for every γ < 1
Step 5: Previous Step implies that Du is in every Morrey space
Step 6: Morrey space regularity of the gradient impliesabsence of Lavrentiev phenomenon
Step 7: Gradient fractional Sobolev regularity
Step 8: Upgraded Caccioppoli inequality via interpolationinequalities in fractional Sobolev spaces
Step 9: Higher integrability of the gradient implies a betterp-harmonic approximation in the p-phase
Step 10: Holder gradient continuity via weighted separation ofphases
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 88: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/88.jpg)
The excess functional
I will consider for simplicity the case p ≥ 2
E (u; x0,R) :=
(−∫BR(x0)
|u − (u)BR(x0) |p dx
)1/p
You want to prove that
E (u; x0, τkR) ≤ τkγE (u; x0,R)
and this implies thatu ∈ C 0,γ
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 89: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/89.jpg)
The excess functional
I will consider for simplicity the case p ≥ 2
E (u; x0,R) :=
(−∫BR(x0)
|u − (u)BR(x0) |p dx
)1/p
You want to prove that
E (u; x0, τkR) ≤ τkγE (u; x0,R)
and this implies thatu ∈ C 0,γ
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 90: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/90.jpg)
Step 1: Preliminary microscopic Holder continuity
u is locally Holder continuous with some potentially microscopicexponent γ0 ∈ (0, 1). This essentially serve to catch the borderlinecase q = p + α.
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 91: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/91.jpg)
Step 2: p-phase
assumeinf
x∈BR
a(x) ≤ M[a]0,αRα
holds for some number M ≥ 1. then for every γ ∈ (0, 1) thereexists a positive radius R∗ ≡ R∗(M, γ) and τ ≡ τ(M, γ) ∈ (0, 1/4)such that the decay estimate
E (u; x0, τR) ≤ τγE (u; x0,R)
holds whenever 0 < R ≤ R∗
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 92: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/92.jpg)
Step 2: p-phase
→ Caccioppoli inequality in the p-phase becomes∫BR/2
|Du|p dx ≤ c
∫BR
∣∣∣∣u − (u)BR
R
∣∣∣∣p dx =
(E (u; x0,R)
R
)p
,
→ then define
v(x) :=u(x0 + Rx)
E (u; x0,R), x ∈ B1
so that
−∫B1/2
|Dv |p dx ≤ c
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 93: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/93.jpg)
Step 2: p-phase
→ moreover, v solves, for every ϕ ∈ C∞0 (B1)∫B1
〈|Dv |p−2Dv+(q/p)a(x)Rp−q[E (u; x0,R)]q−p|Dv |q−2Dv ,Dϕ〉 dx = 0
this means that∣∣∣∣−∫B1
〈|Dv |p−2Dv ,Dϕ〉 dx
∣∣∣∣≤ cMRp+α−q[E (u; x0,R)]q−p‖Dϕ‖L∞(B1/2) −
∫B1/2
|Dv |q−1 dx
≤ cRp+α−q+γ0(q−p)‖Dϕ‖L∞(B1/2)
(−∫B1/2
|Dv |p dx
) q−1p
≤ C∗Rp+α−q+γ0(q−p)∗ ‖Dϕ‖L∞(B1/2)
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 94: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/94.jpg)
Step 2: p-phase
→ we conclude that∣∣∣∣−∫B1
〈|Dv |p−2Dv ,Dϕ〉 dx
∣∣∣∣ ≤ ε‖Dϕ‖L∞(B1/2)
by taking R∗ suitably small
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 95: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/95.jpg)
Step 2: p-phase
→ apply the p-harmonic approximation lemma
Theorem (Duzaar - Min. Calc. Var. 04)
Given ε > 0 and L > 0, there exists δ ∈ (0, 1] such that wheneverv ∈W 1,p(B1/2) satisfies
−∫B1/2
|Dv |p dx ≤ L
and
−∫B1/2
〈|Dv |p−2Dv ,Dϕ〉 dx ≤ δ‖Dϕ‖L∞(B1/2)
holds for all ϕ ∈ C 10 (B1/2). there exists a p-harmonic map
h ∈W 1,p(B1/2), that is div (|Dh|p−2Dh) = 0, such that
−∫B1/2
|v − h|p dx ≤ εp
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 96: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/96.jpg)
Step 2: p-phase
→ we conclude that∣∣∣∣−∫B1
〈|Dv |p−2Dv ,Dϕ〉 dx
∣∣∣∣ ≤ ε‖Dϕ‖L∞(B1/2)
by taking R∗ suitably small→ find a p-harmonic map h such that
−∫B1/2
|v − h|p dx ≤ εp
→ for harmonic maps you know that you have a good excessdecay, and therefore, since v and h are close, then also v has thesame property; scaling back, the same property holds for u
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 97: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/97.jpg)
Step 3: (p, q)-phase
assumeinf
x∈BR
a(x) > M[a]0,αRα
holds for some number M ≥ 1. Fix γ ∈ (0, 1); there exist positiveconstants M1 ≥ 4 and τ ∈ (0, 1/4), with depending on γ, suchthat if M ≥ M1, then the decay estimate
E (u; x0, τkR)
. τkγR
[−∫B2R
(∣∣∣∣u − (u)B2R
R
∣∣∣∣p + a(x)
∣∣∣∣u − (u)B2R
R
∣∣∣∣q) dx
]1/p
holds for every integer k ≥ 0
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 98: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/98.jpg)
Step 4: Separation of phases via exit time
→ choose γ ∈ (0, 1)→ Find M ≥ 1 and τ2 from Step 2→ Use this M in Step 1 and find R∗ and τ1 from Step 1→ consider the sequence of balls
....BRk+1⊂ BRk
... ⊂ BR1 ⊂ BR , Rk = τk1 R0
and the conditioninf
x∈BRk
a(x) ≤ MRαk (1)
the exit time index is
m := min k ∈ N ∪ ∞ : (1) fails .
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 99: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/99.jpg)
Step 4: Separation of phases via exit time
→ keep on using Step 1 as long as the exit time is not reached,this yields
E (u; x0, τk1 R0) ≤ τkγ1 E (u; x0,R0) for every k ∈ 0, . . . ,m .
→ after the exit time you can use Step 2 to get
E (u; x0, τk2 τ
m1 R0) . τkγ2 E (u; x0, 2τ
m1 R0)
+τkγ2 τm1 R0
(−∫B2τm
1R0
a(x)
∣∣∣∣∣u − (u)B2τm1
R0
τm1 R0
∣∣∣∣∣q
dx
)1/p
→ match the two inequalities using the exit time condition andones again the bound q ≤ p + α
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 100: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/100.jpg)
Step 5: Morrey space regularity of the gradient
this tells that ∫BR
|Du|p dx . Rn−θ ∀ θ > 0
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 101: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/101.jpg)
Step 6: Absence of Lavrentiev phenomenon
there exists a sequence of smooth functions un such that∫B
(|Dun|p + a(x)|Dun|q) dx
→∫B
(|Du|p + a(x)|Du|q) dx
for every ball B ⊂ Ω
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 102: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/102.jpg)
Step 7: Fractional differentiability
We get suitable uniform estimates in
Du ∈W β/p,p for every β < α
we recall that this means∫Ω′
∫Ω′
|Du(x)− Du(y)|p
|x − y |n+β<∞
for every Ω′ b Ω
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 103: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/103.jpg)
Step 7: Fractional differentiability
We get suitable uniform estimates in
Du ∈W β/p,p for every β < α
we recall that this means∫Ω′
∫Ω′
|Du(x)− Du(y)|p
|x − y |n+β<∞
for every Ω′ b Ω
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 104: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/104.jpg)
Step 7: Fractional differentiability
the proof goes via approximationvn 7→ minw
∫B
(|Dv |p + [a(x) + σn]|Dv |q) dx
w ∈ un + W 1,q0 (B)
where 0 < σn → 0∫B
(|Dun|p + a(x)|Dun|q) dx →∫B
(|Du|p + a(x)|Du|q) dx
andun ∈ C∞(B)
this implies vn → u
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 105: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/105.jpg)
Step 7: Fractional differentiability
the proof goes via approximationvn 7→ minw
∫B
(|Dv |p + [a(x) + σn]|Dv |q) dx
w ∈ un + W 1,q0 (B)
where 0 < σn → 0∫B
(|Dun|p + a(x)|Dun|q) dx →∫B
(|Du|p + a(x)|Du|q) dx
andun ∈ C∞(B)
this implies vn → u
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 106: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/106.jpg)
Step 8: Upgraded Caccioppoli inequality
the following improved Caccioppoli type inequality holds:
−∫BR/2
|Du|2q−p dx
.1
Rα/2
[−∫B2R
(∣∣∣∣u − (u)BR
R
∣∣∣∣p + a(x)
∣∣∣∣u − (u)B2R
R
∣∣∣∣q) dx + 1
]b
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 107: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/107.jpg)
Step 8: Upgraded Caccioppoli inequality
we use the fractional interpolation inequality
‖f ‖W s,t ≤ c‖f ‖θW s1,p1‖f ‖1−θW s2,p2
with
s = θs1 + (1− θ)s21
t=
θ
p1+
1− θp2
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 108: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/108.jpg)
Step 8: Upgraded Caccioppoli inequality
we apply as‖Dvn‖Lt ≤ c[vn]θs,p1
‖Dvn‖1−θW β/p,p
with exponents
1 = θs + (1− θ)
(1 +
β
p
)1
t=
θ
p1+
1− θp
and
[vn]s,p1 :=
(∫ ∫|vn(x)− vn(y)|p1
|x − y |n+sp1dx dy
)1/p1
and take s close to 1 as you please and p1 as large as you like
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 109: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/109.jpg)
Step 9: Improved estimate in the p-phase
if for some M ≥ 1
ai (R) = infx∈BR
a(x) ≤ M[a]0,αRα
then solve v 7→ minw
∫BR
|Dv |p dx
w ∈ u + W 1,p0 (BR)
and find
−∫BR
|Du − Dv |p dx ≤ M2Rα
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 110: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/110.jpg)
Step 9: Improved estimate in the p-phase
if for some M ≥ 1
ai (R) = infx∈BR
a(x) ≤ M[a]0,αRα
then solve vR 7→ minw
∫BR
(|Dv |p + ai (R)|Dv |q) dx
w ∈ u + W 1,p0 (BR)
and get
−∫BR
|Du−Dv |p dx .1
M−∫B2R
(∣∣∣∣u − (u)BR
R
∣∣∣∣p + a(x)
∣∣∣∣u − (u)B2R
R
∣∣∣∣q) dx
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 111: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/111.jpg)
Step 10: Final gradient continuity
→ take BR and M > 0 and consider the functionals
v 7→∫BR
(|Dv |p + ai (R)|Dv |q) dx
where
ai (R) :=
0 if infx∈BR
a(x) ≤ M[a]0,αRα
infx∈BRa(x) if infx∈BR
a(x) > M[a]0,αRα
→ solve vR 7→ minw
∫BR
(|Dv |p + ai (R)|Dv |q) dx
w ∈ u + W 1,p0 (BR)
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 112: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/112.jpg)
Measure data problems
Part 4: Measure data problems
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 113: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/113.jpg)
Measure data problems - a review
Model case −div a(Du) = µ in Ω
u = 0 on ∂Ω
and |µ|(Ω) <∞.Classical work by Littman & Stampacchia & Weinberger(Ann. SNS Pisa, 1963)
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 114: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/114.jpg)
Notion of solution
Distributional∫Ω
a(Du)Dϕ dx =
∫Ωϕ dµ, for every ϕ ∈ C∞0 (Ω) .
Minimal integrability that is u ∈W 1,p−1
Approximations−div a(Duk) = fk ∈ L∞ in Ω
uk = 0 on ∂Ω
fk → µ
uk → u strongly in W 1,p−1
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 115: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/115.jpg)
Basic model examples and possible extensions
The p-Laplacean operator
−div(|Du|p−2Du) = f p > 2
Its measurable variations
−div[c(x)|Du|p−2Du] = f
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 116: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/116.jpg)
The fundamental solution
Consider the problem−div(|Du|p−2Du) = δ in Ω
u = 0 on ∂Ω
And its unique solution (in the approximation class),called the fundamental solution
Gp(x) ≈
|x |
p−np−1 if p 6= n
− log |x | if n = p
Gp(x) can be used to asses the optimality of severalregularity estimates
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 117: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/117.jpg)
Regularity estimates, existence
Boccardo & Gallouet (J. Funct. Anal. 89)
Lindqvist (Crelles J. 86), Heinonen & Kilpelainen &Martio (Oxford book), Kilpelainen & Maly (Ann. SNSPisa. 92, Acta Math. 94)
Benilan & Boccardo & Gallouet & Gariepy & Pierre&Vazquez (Ann. SNS Pisa 95)
Greco & Iwaniec & Sbordone (manus. math. 97)
Dolzmann & Hungerbuhler & Muller (Ann. IHP. 97,Clelles 00)
A large number of authors contributed to suchestimates, in several different, and interesting ways
There exists a solution such that
|Du|p−1 ∈Mn
n−1 p ≤ n
The regularity is optimal, as revealed by Gp(·)
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 118: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/118.jpg)
Limiting spaces
Marcinkiewicz spaces (weak Lγ)
f ∈Mγ ⇐⇒ supλ>0
λγ ||f | > λ| =: ‖f ‖γMγ <∞
Prominent example: potentials
1
|x |n/γ∈Mγ 1
|x |n/γ6∈ Lγ
InclusionsLγ ⊂Mγ ⊂ Lγ−ε ε > 0
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 119: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/119.jpg)
Limiting spaces
Definition comes from
||f | > λ|=∫|f |>λ
≤∫|f |>λ
|f |γ
λγ
≤ 1
λγ
∫|f |γ
=1
λγ‖f ‖γLγ
therefore
‖f ‖γMγ = supλ>0
λγ ||f | > λ|
≤ ‖f ‖γLγ
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 120: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/120.jpg)
A density condition
Theorem (Min., Ann SNS Pisa 07)
If the density condition
|µ|(BR) . Rn−θ θ ∈ [p, n]
holds then
|Du|p−1 ∈Mθθ−1
loc
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 121: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/121.jpg)
Parabolic measure data problems
Theorem (Boccardo, Dall’Aglio, Gallouet & Orsina, JFA 97)
Let u ∈ Lp−1(−T , 0; W 1,p−10 (Ω)) be a SOLA to
ut − div a(x , t,Du) = µ in ΩT = (−T , 0)× Ω
u = 0 on ∂parΩT .
Then
|Du| ∈ Lq(Ω× (−T , 0)), 1 ≤ q < p − 1 +1
N − 1
N = n + 2 is the parabolic dimension
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 122: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/122.jpg)
A parabolic density condition
Theorem (Baroni, JFA 14)
Let u ∈ Lp−1(−T , 0; W 1,p−10 (Ω)) be a SOLA to
ut − div a(x , t,Du) = µ in ΩT = (−T , 0)× Ω
u = 0 on ∂parΩT ,
There exists a number θc satisfying 1 < θc < 2 such that if µsatisfies the density condition
|µ|(QR) . Rn+2−θ , θc < θ ≤ n + 2
for every parabolic cylinder ball Q% b ΩT , then
Du ∈Mbloc(ΩT ) , where b := p − 1 +
1
θ − 1.
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 123: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/123.jpg)
Fractional differentiability
Fractional Sobolev spaces
We have that v ∈W s,γ with
0 < s < 1 γ ≥ 1
iff ∫ ∫|v(x)− v(y)|γ
|x − y |n+sγdx dy <∞
Intuitively∫ ∫|v(x)− v(y)|γ
|x − y |n+sγdx dy ≈
∫|Dαv(x)|γ dx
Fractional Sobolev embedding
W s,γ → Lnγ
n−sγ sγ < n
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 124: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/124.jpg)
Differentiability of Du for measure data - p = 2
You cannot have Du ∈W 1,1, already in the linear case(otherwise Du ∈ L
nn−1 )
Full integrability Du ∈Mn
n−1 vs total lack of differentiabilityof Du, but “almost nothing” is actually lost, in fact we have
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 125: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/125.jpg)
Differentiability of Du for measure data - p = 2
Theorem (Min., Ann. SNS Pisa 07)
Du ∈W σ,1 for every σ ∈ (0, 1)
Local estimate - Caccioppoli’s estimate∫BR/2
∫BR/2
|Du(x)− Du(y)||x − y |n+σ
dx dy
≤ c
Rσ
∫BR
(|Du|+ s) dx + cR1−σ|µ|(BR)
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 126: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/126.jpg)
Differentiability of Du for measure data - p = 2
Theorem (Min., Ann. SNS Pisa 07)
Du ∈W σ,1 for every σ ∈ (0, 1)
Local estimate - Caccioppoli’s estimate∫BR/2
∫BR/2
|Du(x)− Du(y)||x − y |n+σ
dx dy
≤ c
Rσ
∫BR
(|Du|+ s) dx + cR1−σ|µ|(BR)
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 127: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/127.jpg)
Differentiability of Du for p 6= 2
What should we expect? We have
1
|x |β∈W s,γ(B)⇐⇒ β <
n
γ− s
We apply this fact to the fundamental solution
|Du| ≈ 1
|x |n−1p−1
with the natural choice γ = p − 1 (this maximizes theintegrability parameter). This yields
s <1
p − 1
and we expect
Du ∈W s,p−1 ∀ s <1
p − 1
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 128: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/128.jpg)
Indeed....
Theorem (Min., Ann. SNS Pisa 07)
Du ∈W1−εp−1
,p−1 for every ε > 0
Recall that we are assuming p ≥ 2 so that
1
p − 1≤ 1
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 129: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/129.jpg)
Sharpness
Fractional Sobolev embedding theorem
W σ,q → Lnq
n−σq σq < n
ThereforeDu 6∈W
1p−1
,p−1
otherwise
Du ∈ Ln(p−1)n−1
which does not hold in the case of the fundamental solution
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 130: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/130.jpg)
Integrability recovered again
Corollary
|Du|p−1 ∈ Ln
n−1−ε since W
1−εp−1
,p−1→ L
n(p−1)n−1+ε
This gives back the first result of Boccardo & Gallouet (JFA89)
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 131: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/131.jpg)
Preservation of scales
In the case −4pu = 1 the fundamental solutions looks like
|x |p
p−1
so thatDu ≈ |x |
1p−1
In the case −4pu = µ then
Du ∈W1−εp−1
,p−1
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 132: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/132.jpg)
A linearization phenomenon
Theorem (Avelin & Kuusi & Min., Preprint 16)
a(Du) ∈W σ,1 for every σ ∈ (0, 1)
Exactly the same phenomenon happens in the linear case−4u = −div Du = µ via fundamental solutions
Complete linearization of the equation with respect tofractional differentiability
A similar phenomenon will happen with respect to potentialestimates
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 133: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/133.jpg)
A linearization phenomenon
Theorem (Avelin & Kuusi & Min., Preprint 16)
a(Du) ∈W σ,1 for every σ ∈ (0, 1)
Exactly the same phenomenon happens in the linear case−4u = −div Du = µ via fundamental solutions
Complete linearization of the equation with respect tofractional differentiability
A similar phenomenon will happen with respect to potentialestimates
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 134: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/134.jpg)
A linearization phenomenon
Theorem (Avelin & Kuusi & Min., Preprint 16)
a(Du) ∈W σ,1 for every σ ∈ (0, 1)
∫BR/2
∫BR/2
|a(Du(x))− a(Du(y))||x − y |n+σ
dx dy
.1
Rσ−∫BR
|a(Du)| dx + R1−σ|µ|(BR)
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 135: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/135.jpg)
Uniformization of singularities
Theorem (Avelin & Kuusi & Min., Preprint 16)
Forp ≥ 2 and 0 ≤ γ ≤ p − 2
we have that
|Du|γDu ∈Wσ γ+1
p−1, p−1γ+1
loc (Ω;Rn) holds for every σ ∈ (0, 1) .
Increasing integrability decreases differentiability and viceversa
Cathes-up both the theorems
Conjectured in my 2006 paper appeared on Ann. SNS Pisa
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 136: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/136.jpg)
Uniformization of singularities
Theorem (Avelin & Kuusi & Min., Preprint 16)
Forp ≥ 2 and 0 ≤ γ ≤ p − 2
we have that
|Du|γDu ∈Wσ γ+1
p−1, p−1γ+1
loc (Ω;Rn) holds for every σ ∈ (0, 1) .
Increasing integrability decreases differentiability and viceversa
Cathes-up both the theorems
Conjectured in my 2006 paper appeared on Ann. SNS Pisa
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 137: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/137.jpg)
Potentials
Part 5: Potential estimates
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 138: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/138.jpg)
The classical potential estimates
Consider the model case
−4u = µ in Rn
We have
u(x) =
∫G (x , y)µ(y)
where
G (x , y) ≈
|x − y |2−n se n > 2
− log |x − y | se n = 2
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 139: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/139.jpg)
The classical potential estimates
Consider the model case
−4u = µ in Rn
We have
u(x) =
∫G (x , y)µ(y)
where
G (x , y) ≈
|x − y |2−n se n > 2
− log |x − y | se n = 2
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 140: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/140.jpg)
The classical potential estimates
Consider the model case
−4u = µ in Rn
We have
u(x) =
∫G (x , y)µ(y)
where
G (x , y) ≈
|x − y |2−n se n > 2
− log |x − y | se n = 2
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 141: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/141.jpg)
Estimates via Riesz potentials
Previous formula gives
|u(x)| .∫Rn
d |µ|(y)
|x − y |n−2= I2(|µ|)(x)
while, after differentiation, we obtain
|Du(x)| .∫Rn
d |µ|(y)
|x − y |n−1= I1(|µ|)(x)
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 142: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/142.jpg)
Estimates via Riesz potentials
Previous formula gives
|u(x)| .∫Rn
d |µ|(y)
|x − y |n−2= I2(|µ|)(x)
while, after differentiation, we obtain
|Du(x)| .∫Rn
d |µ|(y)
|x − y |n−1= I1(|µ|)(x)
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 143: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/143.jpg)
Local versions
In bounded domains one uses
Iµβ(x ,R) :=
∫ R
0
|µ|(B%(x))
%n−βd%
%β ∈ (0, n]
since
Iµβ(x ,R).∫BR(x)
d |µ|(y)
|x − y |n−β
= Iβ(|µ|xBR(x))(x)
≤ Iβ(|µ|)(x)
for non-negative measures
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 144: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/144.jpg)
What happens in the nonlinear case?
For instance for nonlinear equations with linear growth
−div a(Du) = µ
that is equations well posed in W 1,2 (p-growth and p = 2)that is
|∂a(z)| ≤ L ν|λ|2 ≤ 〈∂a(z)λ, λ〉
And degenerate ones like
−div (|Du|p−2Du) = µ
To be short, we shall concentrate on the case p ≥ 2
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 145: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/145.jpg)
Nonlinear potentials
The nonlinear Wolff potential is defined by
Wµβ,p(x ,R) :=
∫ R
0
(|µ|(B%(x))
%n−βp
) 1p−1 d%
%β ∈ (0, n/p]
which for p = 2 reduces to the usual Riesz potential
Iµβ(x ,R) :=
∫ R
0
µ(B%(x))
%n−βd%
%β ∈ (0, n]
The nonlinear Wolff potential plays in nonlinear potentialtheory the same role the Riesz potential plays in the linear one
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 146: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/146.jpg)
The first nonlinear potential estimate
Theorem (Kilpelainen & Maly, Acta Math. 94)
If u solves−div (|Du|p−2Du) = µ
then
|u(x)| . Wµ1,p(x ,R) +
(−∫BR(x)
|u|p−1 dy
)1/(p−1)
holds
where
Wµ1,p(x ,R) :=
∫ R
0
(|µ|(B%(x))
%n−p
)1/(p−1) d%
%
For p = 2 we are back to the Riesz potential Wµ1,p = Iµ2 - the
above estimate is non-trivial already in this situation
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 147: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/147.jpg)
The first nonlinear potential estimate
Theorem (Kilpelainen & Maly, Acta Math. 94)
If u solves−div (|Du|p−2Du) = µ
then
|u(x)| . Wµ1,p(x ,R) +
(−∫BR(x)
|u|p−1 dy
)1/(p−1)
holds
where
Wµ1,p(x ,R) :=
∫ R
0
(|µ|(B%(x))
%n−p
)1/(p−1) d%
%
For p = 2 we are back to the Riesz potential Wµ1,p = Iµ2 - the
above estimate is non-trivial already in this situation
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 148: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/148.jpg)
The first nonlinear potential estimate
Theorem (Kilpelainen & Maly, Acta Math. 94)
If u solves−div (|Du|p−2Du) = µ
then
|u(x)| . Wµ1,p(x ,R) +
(−∫BR(x)
|u|p−1 dy
)1/(p−1)
holds
where
Wµ1,p(x ,R) :=
∫ R
0
(|µ|(B%(x))
%n−p
)1/(p−1) d%
%
For p = 2 we are back to the Riesz potential Wµ1,p = Iµ2 - the
above estimate is non-trivial already in this situation
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 149: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/149.jpg)
Corollary: optimal integrability
Indeed
µ ∈ Lq =⇒Wµβ,p ∈ L
nq(p−1)n−qpβ q ∈ (1, n)
and more in general estimates in rearrangement invariantfunction spaces
This property follows by another pointwise estimate∫ ∞0
(|µ|(B%(x))
%n−βp
)1/(p−1) d%
%. Iβ
[Iβ(|µ|)]1/(p−1)
(x)
The quantity in the right-hand side is usually calledHavin-Mazya potential
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 150: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/150.jpg)
Corollary: optimal integrability
Indeed
µ ∈ Lq =⇒Wµβ,p ∈ L
nq(p−1)n−qpβ q ∈ (1, n)
and more in general estimates in rearrangement invariantfunction spaces
This property follows by another pointwise estimate∫ ∞0
(|µ|(B%(x))
%n−βp
)1/(p−1) d%
%. Iβ
[Iβ(|µ|)]1/(p−1)
(x)
The quantity in the right-hand side is usually calledHavin-Mazya potential
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 151: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/151.jpg)
Corollary: optimal integrability
Indeed
µ ∈ Lq =⇒Wµβ,p ∈ L
nq(p−1)n−qpβ q ∈ (1, n)
and more in general estimates in rearrangement invariantfunction spaces
This property follows by another pointwise estimate∫ ∞0
(|µ|(B%(x))
%n−βp
)1/(p−1) d%
%. Iβ
[Iβ(|µ|)]1/(p−1)
(x)
The quantity in the right-hand side is usually calledHavin-Mazya potential
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 152: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/152.jpg)
Foundations of Nonlinear Potential Theory
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 153: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/153.jpg)
A first gradient potential estimate
Theorem (Min., JEMS 11)
When p = 2, if u solves
−div a(Du) = µ
then
|Du(x)| . I|µ|1 (x ,R) +−
∫BR(x)
|Du| dy
holds
For solutions u properly decaying at infinity it follows
|Du(x)| .∫Rn
d |µ|(y)
|x − y |n−1= I1(|µ|)(x)
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 154: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/154.jpg)
A first gradient potential estimate
Theorem (Min., JEMS 11)
When p = 2, if u solves
−div a(Du) = µ
then
|Du(x)| . I|µ|1 (x ,R) +−
∫BR(x)
|Du| dy
holds
For solutions u properly decaying at infinity it follows
|Du(x)| .∫Rn
d |µ|(y)
|x − y |n−1= I1(|µ|)(x)
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 155: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/155.jpg)
The p 6= 2 case: a long path towards optimality
Theorem (Duzaar & Min., AJM 11)
When p ≥ 2, if u solves
−div a(Du) = µ
then
|Du(x)| . Wµ1/p,p(x ,R) +−
∫BR(x)
|Du| dy
holds
where
Wµ1/p,p(x ,R) =
∫ R
0
(|µ|(B%(x))
%n−1
)1/(p−1) d%
%
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 156: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/156.jpg)
The p 6= 2 case: a long path towards optimality
Theorem (Duzaar & Min., AJM 11)
When p ≥ 2, if u solves
−div a(Du) = µ
then
|Du(x)| . Wµ1/p,p(x ,R) +−
∫BR(x)
|Du| dy
holds
where
Wµ1/p,p(x ,R) =
∫ R
0
(|µ|(B%(x))
%n−1
)1/(p−1) d%
%
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 157: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/157.jpg)
The p 6= 2 case: a long path towards optimality
Theorem (Duzaar & Min., JFA 10)
When 2− 1/n < p < 2, if u solves
−div a(Du) = µ
then
|Du(x)| .[I|µ|1 (x ,R)
]1/(p−1)+−∫BR(x)
|Du| dy
holds
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 158: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/158.jpg)
The p 6= 2 case: a long path towards optimality
When p < 2 it holds that
Wµ1/p,p(x ,R) .
[I|µ|1 (x ,R)
]1/(p−1)
Indeed
Wµ1/p,p(x ,R) =
∫ R
0
(|µ|(B%(x))
%n−1
)1/(p−1) d%
%
≈∑i
[|µ|(B%i (x))
%n−1i
]1/(p−1)
.
[∑i
|µ|(B%i (x))
%n−1i
]1/(p−1)
≈[I|µ|1 (x ,R)
]1/(p−1)
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 159: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/159.jpg)
The p 6= 2 case: a long path towards optimality
When p < 2 it holds that
Wµ1/p,p(x ,R) .
[I|µ|1 (x ,R)
]1/(p−1)
Indeed
Wµ1/p,p(x ,R) =
∫ R
0
(|µ|(B%(x))
%n−1
)1/(p−1) d%
%
≈∑i
[|µ|(B%i (x))
%n−1i
]1/(p−1)
.
[∑i
|µ|(B%i (x))
%n−1i
]1/(p−1)
≈[I|µ|1 (x ,R)
]1/(p−1)
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 160: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/160.jpg)
New viewpoint - Let’s twist!!!
Consider−div v = µ
withv = |Du|p−2Du
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 161: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/161.jpg)
Indeed
Theorem (Kuusi & Min., CRAS 11 + ARMA 13)
If u solves−div (|Du|p−2Du) = µ
then
|Du(x)|p−1 . I|µ|1 (x ,R) +
(−∫BR(x)
|Du| dy
)p−1
holds
The theorem still holds for general equations of the type−div a(Du) = µ
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 162: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/162.jpg)
Indeed
Theorem (Kuusi & Min., CRAS 11 + ARMA 13)
If u solves−div (|Du|p−2Du) = µ
then
|Du(x)|p−1 . I|µ|1 (x ,R) +
(−∫BR(x)
|Du| dy
)p−1
holds
The theorem still holds for general equations of the type−div a(Du) = µ
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 163: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/163.jpg)
A global estimate
Theorem (Kuusi & Min., CRAS 11 + ARMA 13)
If u ∈W 1,1(Rn) solves
−div (|Du|p−2Du) = µ
then
|Du(x)|p−1 .∫Rn
d |µ|(y)
|x − y |n−1= I1(|µ|)(x) .
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 164: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/164.jpg)
The vectorial case
Part 5.2: Estimates in the vectorial case
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 165: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/165.jpg)
The vectorial case
Theorem (Kuusi & Min., JEMS, to appear)
If u : Ω→ RN solves
−div (|Du|p−2Du) = µ
then
|u(x)− (u)BR(x)| . Wµ1,p(x ,R) +−
∫B(x ,R)
|u − (u)BR(x)| dy
holds whenever the right hand sides are finite.
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 166: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/166.jpg)
The vectorial case
Theorem (Kuusi & Min., JEMS, to appear)
If u : Ω→ RN solves
−div (|Du|p−2Du) = µ
then
|Du(x)− (Du)B(x ,R)|.[I|µ|1 (x ,R)
]1/(p−1)
+−∫B(x ,R)
|Du − (Du)B(x ,R)| dy
holds whenever the right hand sides are finite.
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 167: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/167.jpg)
Potential characterisation of Lebesgue points
Theorem (Kuusi & Min. JEMS, to appear)
If x is a point such that
Wµ1,p(x ,R) <∞
for some R > 0 then x is a Lebesgue point of u that is, thefollowing limit
lim%→0−∫B%(x)
u(y) dy
exists
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 168: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/168.jpg)
Potential characterisation of Lebesgue points
Theorem (Kuusi & Min. JEMS, to appear)
If x is a point such that
I|µ|1 (x ,R) <∞
for some R > 0 then x is a Lebesgue point of Du that is, thefollowing limit
lim%→0−∫B%(x)
Du(y) dy
exists
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 169: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/169.jpg)
Some elliptic background
Part 5.3: Oscillation bounds
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 170: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/170.jpg)
The general continuity criterion
Theorem (Kuusi & Min. ARMA 13)
If u solves−div (|Du|p−2Du) = µ
andlimR→0
I|µ|1 (x ,R) = 0 uniformly w.r.t. x
thenDu is continuous
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 171: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/171.jpg)
A classical theorem of Stein
Theorem (Stein, Ann. Math. 81)
Dv ∈ L(n, 1) =⇒ v is continuous
We recall that
g ∈ L(n, 1)⇐⇒∫ ∞
0|x : |g(x)| > λ|1/n dλ <∞
It follows that
4u = µ ∈ L(n, 1) =⇒ Du is continuous
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 172: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/172.jpg)
A classical theorem of Stein
Theorem (Stein, Ann. Math. 81)
Dv ∈ L(n, 1) =⇒ v is continuous
We recall that
g ∈ L(n, 1)⇐⇒∫ ∞
0|x : |g(x)| > λ|1/n dλ <∞
It follows that
4u = µ ∈ L(n, 1) =⇒ Du is continuous
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 173: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/173.jpg)
A classical theorem of Stein
Theorem (Stein, Ann. Math. 81)
Dv ∈ L(n, 1) =⇒ v is continuous
We recall that
g ∈ L(n, 1)⇐⇒∫ ∞
0|x : |g(x)| > λ|1/n dλ <∞
It follows that
4u = µ ∈ L(n, 1) =⇒ Du is continuous
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 174: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/174.jpg)
A classical theorem of Stein
Theorem (Stein, Ann. Math. 81)
Dv ∈ L(n, 1) =⇒ v is continuous
We recall that
g ∈ L(n, 1)⇐⇒∫ ∞
0|x : |g(x)| > λ|1/n dλ <∞
An example of L(n, 1) function is given by
1
|x | logβ(1/|x |)β > 1
in the ball B1/2
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 175: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/175.jpg)
A nonlinear Stein theorem
Theorem (Kuusi & Min., ARMA 13)
If u solves the p-Laplacean equation
−div (|Du|p−2Du) = µ ∈ L(n, 1)
thenDu is continuous
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 176: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/176.jpg)
Universal potential estimates
Part 5.4: Universal potential estimates
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 177: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/177.jpg)
Universal potential estimates
Let us go back to
−4u = µ in Rn, n ≥ 3
and observe the following elementary inequality:∣∣|x − ξ|2−n − |y − ξ|2−n∣∣ . ∣∣|x − ξ|2−n−α + |y − ξ|2−n−α∣∣ |x − y |α
that in turn implies
|u(x)− u(y)| . [I2−α(|µ|)(x) + I2−α(|µ|)(y)] |x − y |α
for 0 ≤ α ≤ 1
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 178: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/178.jpg)
Universal potential estimates
Let us go back to
−4u = µ in Rn, n ≥ 3
and observe the following elementary inequality:∣∣|x − ξ|2−n − |y − ξ|2−n∣∣ . ∣∣|x − ξ|2−n−α + |y − ξ|2−n−α∣∣ |x − y |α
that in turn implies
|u(x)− u(y)| . [I2−α(|µ|)(x) + I2−α(|µ|)(y)] |x − y |α
for 0 ≤ α ≤ 1
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 179: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/179.jpg)
Universal potential estimates
Let us go back to
−4u = µ in Rn, n ≥ 3
and observe the following elementary inequality:∣∣|x − ξ|2−n − |y − ξ|2−n∣∣ . ∣∣|x − ξ|2−n−α + |y − ξ|2−n−α∣∣ |x − y |α
that in turn implies
|u(x)− u(y)| . [I2−α(|µ|)(x) + I2−α(|µ|)(y)] |x − y |α
for 0 ≤ α ≤ 1
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 180: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/180.jpg)
Calderon spaces of DeVore & Sharpley
The following definition is due to DeVore & Sharpley(Mem. AMS, 1982)
Let α ∈ (0, 1], q ≥ 1, and let Ω ⊂ Rn be a bounded opensubset. A measurable function v , finite a.e. in Ω, belongs tothe Calderon space Cα
q (Ω) if and only if there exists anonnegative function m ∈ Lq(Ω) such that
|v(x)− v(y)| ≤ [m(x) + m(y)]|x − y |α
holds for almost every couple (x , y) ∈ Ω× Ω
In other wordsm(x) ≈ ∂αv(x)
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 181: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/181.jpg)
First universal potential estimate
Theorem (Kuusi & Min. JFA 12)
The estimate
|u(x)− u(y)|
.
[Wµ
1−α(p−1)p
,p(x ,R) + Wµ
1−α(p−1)p
,p(y ,R)
]|x − y |α
+c −∫BR
|u| dx ·(|x − y |
R
)αholds uniformly in α ∈ [0, 1], whenever x , y ∈ BR/4
The cases α = 0 and α = 1 give back the two known Wolffpotential estimates as endpoint cases
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 182: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/182.jpg)
The homogeneous case
The estimate tells that
“∂αu(x) . Wµ
1−α(p−1)p
,p(x ,R)”
The case µ = 0 reduces to the classical estimate
|u(x)− u(y)| . −∫BR
|u| dx ·(|x − y |
R
)αIn the case p = 2 we have
|u(x)− u(y)| .[I|µ|2−α(x ,R) + I
|µ|2−α(y ,R)
]|x − y |α
+c −∫BR
|u| dx ·(|x − y |
R
)αwhich in the classical case −4u = µ can be derived directlyfrom the standard representation formula via potentials
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 183: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/183.jpg)
The homogeneous case
The estimate tells that
“∂αu(x) . Wµ
1−α(p−1)p
,p(x ,R)”
The case µ = 0 reduces to the classical estimate
|u(x)− u(y)| . −∫BR
|u| dx ·(|x − y |
R
)α
In the case p = 2 we have
|u(x)− u(y)| .[I|µ|2−α(x ,R) + I
|µ|2−α(y ,R)
]|x − y |α
+c −∫BR
|u| dx ·(|x − y |
R
)αwhich in the classical case −4u = µ can be derived directlyfrom the standard representation formula via potentials
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 184: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/184.jpg)
The homogeneous case
The estimate tells that
“∂αu(x) . Wµ
1−α(p−1)p
,p(x ,R)”
The case µ = 0 reduces to the classical estimate
|u(x)− u(y)| . −∫BR
|u| dx ·(|x − y |
R
)αIn the case p = 2 we have
|u(x)− u(y)| .[I|µ|2−α(x ,R) + I
|µ|2−α(y ,R)
]|x − y |α
+c −∫BR
|u| dx ·(|x − y |
R
)αwhich in the classical case −4u = µ can be derived directlyfrom the standard representation formula via potentials
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 185: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/185.jpg)
Second universal estimate
Theorem (Kuusi & Min., JFA 12)
The estimate
|u(x)− u(y)|
≤ c
α
[I|µ|p−α(p−1)(x ,R) + I
|µ|p−α(p−1)(y ,R)
]1/(p−1)|x − y |α
+c
α−∫BR
|u| dx ·(|x − y |
R
)αholds uniformly for α ∈ [0, 1]
Natural blow-up of the estimate as α→ 0, with a linear behaviour
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 186: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/186.jpg)
Second universal estimate
Theorem (Kuusi & Min., JFA 12)
The estimate
|u(x)− u(y)|
≤ c
α
[I|µ|p−α(p−1)(x ,R) + I
|µ|p−α(p−1)(y ,R)
]1/(p−1)|x − y |α
+c
α−∫BR
|u| dx ·(|x − y |
R
)αholds uniformly for α ∈ [0, 1]
Natural blow-up of the estimate as α→ 0, with a linear behaviour
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 187: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/187.jpg)
Maximal operators
The fractional maximal operator
Mβ,R(f )(x) := sup0<r≤R
rβ|f |(B(x , r))
|B(x , r)|
The fractional sharp maximal operator
M#β,R(f )(x) := sup
0<r≤Rr−β −
∫B(x ,r)
|f − (f )B(x ,r)| dx
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 188: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/188.jpg)
Maximal operators
The fractional maximal operator
Mβ,R(f )(x) := sup0<r≤R
rβ|f |(B(x , r))
|B(x , r)|
The fractional sharp maximal operator
M#β,R(f )(x) := sup
0<r≤Rr−β −
∫B(x ,r)
|f − (f )B(x ,r)| dx
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 189: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/189.jpg)
Third universal estimate
Theorem (Kuusi & Min., JFA 12)
The estimate
M1−α,R(Du)(x) + M#α,R(u)(x)
.[I|µ|p−α(p−1)(x ,R)
]1/(p−1)+
1
Rα−∫BR
|u| dx
holds uniformly for α ∈ [0, 1]
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 190: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/190.jpg)
A lemma of Campanato-DeVore & Sharpley (revisited)
Let α ∈ (0, 1], then
|v(x)− v(y)| ≤ c
α
[M#α,R(f )(x) + M#
α,R(f )(y))]|x − y |α
holds for all points x and y for which the right hand side isfinite
As a corollary, the second estimate follows from the third one
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 191: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/191.jpg)
Fourth universal potential estimate (gradient)
Theorem (Kuusi & Min., JFA 12)
The following estimate
|Du(x)− Du(y)|
≤ c
[Wµ
1− (1+α)(p−1)p
,p(x ,R) + Wµ
1− (1+α)(p−1)p
,p(y ,R)
]|x − y |α
+c −∫BR
|Du| dξ ·(|x − y |
R
)αfor every
α < αM and α ≤ 1
p − 1
where−4pv = 0 =⇒ Dv ∈ C 0,αM
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 192: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/192.jpg)
Nonlocal methods in local problems
Part 5.5: A nonlocal proof of the gradient potential estimate
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 193: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/193.jpg)
The setting
We take p = 2 and consider|a(z)|+ |∂a(z)||z | ≤ L|z |ν−1|λ|2 ≤ 〈∂a(z)λ, λ〉
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 194: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/194.jpg)
A first gradient potential estimate
Theorem (Min., JEMS 11)
When p = 2, if u solves
−div a(Du) = µ
then
|Dξu(x)| ≤ cI|µ|1 (x ,R) + c −
∫B(x ,R)
|Dξu| dx
for every ξ ∈ 1, . . . , n
For solutions in W 1,1(RN) we have
|Du(x)| .∫Rn
d |µ|(y)
|x − y |n−1= I1(|µ|)(x)
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 195: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/195.jpg)
A first gradient potential estimate
Theorem (Min., JEMS 11)
When p = 2, if u solves
−div a(Du) = µ
then
|Dξu(x)| ≤ cI|µ|1 (x ,R) + c −
∫B(x ,R)
|Dξu| dx
for every ξ ∈ 1, . . . , n
For solutions in W 1,1(RN) we have
|Du(x)| .∫Rn
d |µ|(y)
|x − y |n−1= I1(|µ|)(x)
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 196: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/196.jpg)
Classical Gradient estimates
Consider energy solutions to div a(Du) = 0 for p = 2
First prove Du ∈W 1,2
Then use that v = Dξu solves
div(A(x)Dv) = 0 A(x) := az(Du(x))
The boundedness of Dξu follows by Standard DeGiorgi’stheory
This is a consequence of Caccioppoli’s inequalities of thetype∫
BR/2
|D(Dξu − k)+|2 dy ≤ c
R2
∫BR
|(Dξu − k)+|2 dy
where(Dξu − k)+ := maxDξu − k , 0
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 197: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/197.jpg)
Recall the definition
We havev ∈W σ,1(Ω′)
iff v ∈ L1(Ω′) and
[v ]σ,1;Ω′ =
∫Ω′
∫Ω′
|v(x)− v(y)||x − y |n+σ
dx dy <∞
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 198: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/198.jpg)
There is a differentiability problem
For solutions to
div a(Du) = µ in general Du 6∈W 1,1
but nevertheless it holds
Theorem (Min., Ann. SNS Pisa 07)
Du ∈W 1−ε,1loc (Ω,Rn) for every ε ∈ (0, 1)
This means that
[Du]1−ε,1;Ω′ =
∫Ω′
∫Ω′
|Du(x)− Du(y)||x − y |n+1−ε dx dy <∞
holds for every ε ∈ (0, 1), and every subdomain Ω′ b Ω
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 199: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/199.jpg)
Step 1: A non-local Caccioppoli inequality
Theorem (Min., JEMS 11)
Letw = Dξu with − div a(Du) = µ
where ξ ∈ 1, . . . , n then
[(|w | − k)+]σ,1;BR/2≤ c
Rσ
∫BR
(|w | − k)+ dy +cR|µ|(BR)
Rσ
holds for every σ < 1/2
Compare with the usual one for div a(Du) = 0, that is
[(w − k)+]21,2;BR/2≡∫BR/2
|D(w − k)+|2 dy ≤ c
R2
∫BR
(w − k)2+ dy
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 200: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/200.jpg)
Step 1: A non-local Caccioppoli inequality
Theorem (Min., JEMS 11)
Letw = Dξu with − div a(Du) = µ
where ξ ∈ 1, . . . , n then
[(|w | − k)+]σ,1;BR/2≤ c
Rσ
∫BR
(|w | − k)+ dy +cR|µ|(BR)
Rσ
holds for every σ < 1/2
Compare with the usual one for div a(Du) = 0, that is
[(w − k)+]21,2;BR/2≡∫BR/2
|D(w − k)+|2 dy ≤ c
R2
∫BR
(w − k)2+ dy
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 201: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/201.jpg)
Step 1: A non-local Caccioppoli inequality
This approach reveal the robustness of energyinequalities, which hold below the natural growthexponent 2, and for fractional order of differentiability,although the equation has integer order
Classical VS fractional
classical fractional
spaces L2 − L2 L1 − L1
differentiability 0 −→ 1 0 −→ σ
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 202: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/202.jpg)
Step 2: Fractional De Giorgi’s iteration
Theorem (Min., JEMS 11)
Let w be an L1-function w satisfying the fractional Caccioppoli’sinequality
[(|w | − k)+]σ,1;BR/2≤ L
Rσ
∫BR
(|w | − k)+ dy +LR|µ|(BR)
Rσ
for some σ > 0 and every k ≥ 0. Then it holds that
|w(x)| ≤ cI|µ|1 (x ,R) + c −
∫B(x ,R)
|w | dy
for every Lebesgue point x of w
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 203: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/203.jpg)
Nonlocal problems
Part 6: Nonlocal Nonlinear Potential Theory
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 204: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/204.jpg)
The classical fractional Laplacean
(−4)αu = f for 0 < s < 1
means that
〈(−4)αu, ϕ〉 :=∫Rn
∫Rn
[u(x)−u(y)][ϕ(x)− ϕ(y)]
|x − y |n+2αdx dy =
∫Rn
f ϕ dx
for every ϕ ∈ C∞0 (Rn)
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 205: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/205.jpg)
Nonlocal operators with measurable coefficients
∫Rn
∫Rn
[u(x)−u(y)][ϕ(x)− ϕ(y)]K (x , y) dx dy =
∫Rn
f ϕ dx
where
1
Λ|x−y |n+2α≤ K (x , y) ≤ Λ
|x−y |n+2α∀ x , y ∈ Rn, x 6= y
These correspond to linear elliptic equations of the type
−div (A(x)Du) = f
where A(x) is an elliptic matrix with measurable coefficients
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 206: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/206.jpg)
Nonlinear nonlocal equations
∫Rn
∫Rn
Φ(u(x)− u(y))[ϕ(x)− ϕ(y)]K (x , y) dx dy =
∫Rn
f ϕ dx
where|Φ(t)| ≤ Λ|t| , Φ(t)t ≥ t2, ∀ t ∈ R
These correspond to linear elliptic equations of the type
−div a(x ,Du) = f
where z 7→ a(x , z) is strictly monotone with quadratic growth
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 207: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/207.jpg)
The nonlocal p-Laplacean operator
∫Rn
∫Rn
Φ(u(x)− u(y))[ϕ(x)− ϕ(y)]K (x , y) dx dy =
∫Rn
f ϕ dx
where this time
1
Λ|x−y |n+pα≤ K (x , y) ≤ Λ
|x−y |n+pα
andΛ−1|t|p ≤ Φ(t)t ≤ Λ|t|p
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 208: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/208.jpg)
Nonlocal problems
We consider the fractional p-Laplacean
〈−Lpu, ϕ〉
=
∫Rn
∫Rn
|u(x)− u(y)|p−2[u(x)− u(y)][ϕ(x)− ϕ(y)]K (x , y) dx dy
=
∫Rn
f ϕ dx
with1
Λ|x−y |n+pα≤ K (x , y) ≤ Λ
|x−y |n+pα
andp ≥ 2
for simplicity
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 209: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/209.jpg)
This arises when minimizing fractional energies of the type
v 7→∫Rn
∫Rn
|u(x)− u(y)|pK (x , y) dx dy
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 210: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/210.jpg)
Nonlocal problems
We consider the nonlocal Dirichlet problem−Lpu = 0 in Ω
u = g on Rn \ Ω
whereg ∈W α,p(Rn)
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 211: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/211.jpg)
The Tail
Tail(v ; x0, r) :=
[rpα
∫Rn\Br (x0)
|v(x)|p−1
|x−x0|n+pαdx
]1/(p−1)
Observe that W α,p(Rn)-functions have finite tail. We can considerthe tail space
Lp−1pα (Rn) :=
v ∈ Lp−1
loc (Rn) :
Tail(v ; z , r) <∞ ∀ z ∈ Rn , ∀ r ∈ (0,∞)
and assume that
g ∈W α,ploc (Rn) ∩ Lp−1
pα (Rn)
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 212: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/212.jpg)
The sup-bound for the nonlocal p-Laplacean
Theorem (Di Castro & Kuusi & Palatucci, Ann. IHP, to appear)
Let v ∈W α,p(Rn) be a weak solution. Let Br (x0) ⊂ Ω; then thefollowing estimate holds:
supBr/2(x0)
|v | ≤ c
(−∫Br (x0)
|v |p dx
)1/p
+ cTail(v ; x0, r/2)
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 213: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/213.jpg)
SOLA (detailed definition in the nonlocal setting)
Solutions obtained via limiting approximations−Lpuj = µj in Ω
uj = gj on Rn \ Ω ,
where uj converges to u a.e. in Rn and locally in Lq(Rn).The sequence µj ⊂ C∞0 (Rn) converges to µ weakly in the senseof measures in Ω and moreover satisfies
lim supj→∞
|µj |(B) ≤ |µ|(B)
whenever B is a ball.The sequence gj ⊂ C∞0 (Rn) converges to g in the followingsense: For all balls Br ≡ Br (z) with center in z and radius r > 0, itholds that
gj → g in W α,p(Br ) , and limj
Tail(gj − g ; z , r) = 0
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 214: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/214.jpg)
Wolff potentials bounds
Theorem (Kuusi & Min. & Sire, CMP 15)
Let µ ∈M(Rn), g ∈W α,ploc (Rn)∩ Lp−1
pα (Rn). Let u be a SOLA andassume that for a ball Br (x0) ⊂ Ω the Wolff potential Wµ
α,p(x0, r)is finite.Then x0 is a Lebesgue point of u in the sense that there exists theprecise representative of u at x0
u(x0) := lim%→0
(u)B%(x0) = lim%→0−∫B%(x0)
u dx
and the following estimate holds
|u(x0)| ≤ cWµα,p(x0, r)+c
(−∫Br (x0)
|u|p−1 dx
)1/p−1
+cTail(u; x0, r)
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 215: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/215.jpg)
Comparison with the local case
In the case −div (|Du|p−2Du) = µ we have
|u(x)| . Wµ1,p(x ,R) +
(−∫BR(x)
|u|p−1 dy
)1/(p−1)
where
Wµ1,p(x ,R) :=
∫ R
0
(|µ|(B%(x))
%n−p
)1/(p−1) d%
%
In the fractional case we use
Wµα,p(x ,R) :=
∫ R
0
(|µ|(B%(x))
%n−pα
)1/(p−1) d%
%
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 216: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/216.jpg)
Wolff potentials bounds
Theorem (Kuusi & Min. & Sire, CMP 15)
Let µ ∈M(Rn), g ∈W α,ploc (Rn) ∩ Lp−1
pα (Rn). Let u be a SOLA. If
limt→0
supx∈Ω′
Wµα,p(x , t) = 0 ,
then u is continuous in Ω′. In particular, this happens if
µ ∈ L
(n
pα,
1
p − 1
)with pα < n
orµ ∈ Lq , q >
n
pα.
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 217: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/217.jpg)
Classical self-improving properties
Theorem (Elcrat-Meyers, Giaquinta-Modica 70s)
Let u be a weak solution to
−div a(x ,Du) = f ∈ L2+δ0
where
|z |2
Λ≤ 〈a(x , z), z〉 and |a(x , z)| ≤ Λ|z |
Thenu ∈W 1,2 =⇒ u ∈W 1,2+δ
loc
for some δ > 0 depending only on n,Λ, δ0
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 218: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/218.jpg)
Classical self-improving properties
Theorem (Elcrat-Meyers, Giaquinta-Modica 70s)
Let u be a weak solution to
−div a(x ,Du) = f ∈ L2+δ0
where
|z |2
Λ≤ 〈a(x , z), z〉 and |a(x , z)| ≤ Λ|z |
Thenu ∈W 1,2 =⇒ u ∈W 1,2+δ
loc
for some δ > 0 depending only on n,Λ, δ0
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 219: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/219.jpg)
The Gehring lemma with additional terms
Theorem (Gehring-Giaquinta-Modica 70s)
Let f ∈ Lploc(Ω) be such that(−∫B/2
f pdx
)1/p
.
(−∫B
f qdx
)1/q
+
(−∫B
gpdx
)1/p
for q < p, then(−∫B/2
f p+δdx
)1/(p+δ)
.
(−∫B
f qdx
)1/q
+
(−∫B
gp+δdx
)1/(p+δ)
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 220: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/220.jpg)
Caccioppoli inequalities imply higher integrability
Theorem
Let u ∈W 1,2(Rn) such that for every ball B ≡ B(x0, r) ⊂ Rn
−∫B/2|Du|2dx .
1
r 2−∫B|u(x)− (u)B |2 dx
holds; then there exists δ > 0 such that
u ∈W 1,2+δloc (Rn)
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 221: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/221.jpg)
Caccioppoli inequalities imply higher integrability
The proof is very simple: Sobolev-Poincare yields(−∫B/2|Du|2dx
)1/2
.
(−∫B|Du|2n/(n+2)dx
)(n+2)/2n
and the assertion follows from Gehring lemma
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 222: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/222.jpg)
No gradient oscillations control
Consider(a(x)ux)x = 0
with0 < ν ≤ a(x) ≤ L
then
x 7→∫ x dt
a(t)
i.e. no gradient differentiability is possible when coefficients arejust differentiable
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 223: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/223.jpg)
Integrodifferential equations
We consider
EK (u, ϕ) =
∫Rn
f ϕ dx
For every test function ϕ ∈ C∞0 (Rn) where
EK (u, ϕ) :=
∫Rn
∫Rn
[u(x)− u(y)][ϕ(x)− ϕ(y)]K (x , y) dx dy
The Kernel satisfies
1
Λ|x − y |n+2α≤ K (x , y) ≤ Λ
|x − y |n+2α
for some Λ ≥ 1
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 224: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/224.jpg)
Integrodifferential equations
Energy solutions are initially considered in
u ∈W α,2(Rn)
The analogue of the Meyers property is now
u ∈W α,2+δ , δ > 0
upon considering f ∈ Lq for some q > 2
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 225: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/225.jpg)
Fractional energies
For α ∈ (0, 1)
[u]2α,2 :=
∫Rn
∫Rn
|u(x)− u(y)|2
|x − y |n+2αdx dy
The usual gradient can be obtained letting α→ 1, but only afterrenormalisation, see the work of Bourgain & Brezis & Mironescu
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 226: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/226.jpg)
Self-improving property
Theorem (Kuusi & Min. & Sire, Analysis & PDE 15)
u ∈W α+δ,2+δ for some δ > 0
This theorem has no analog in the local, classical case, where theimprovement is only in the integrability scale
u ∈W 1,2+δloc
This extends to the nonlocal p-Laplacean as well
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 227: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/227.jpg)
Self-improving property
Theorem (Kuusi & Min. & Sire, Analysis & PDE 15)
u ∈W α+δ,2+δ for some δ > 0
This theorem has no analog in the local, classical case, where theimprovement is only in the integrability scale
u ∈W 1,2+δloc
This extends to the nonlocal p-Laplacean as well
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 228: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/228.jpg)
Very weak solutions in the local case
Theorem (Iwaniec & Sbordone, Crelle J. 93 - Lewis, Comm. PDE93)
There exists a number
δ0 ≡ δ0(n, p)
such that i such that any W 1,p−δ-solution u to the equation
div (|Du|p−2Du) = 0
is such thatu ∈W 1,p+δ0
loc (Rn)
Iwaniec & Sbordone use a deep property of stability of Hodgedecomposition with respect to certain nonlinear perturbations -Lewis uses a Lipschitz truncation via Maximal operator going backto the classical work of Acerbi & Fusco
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 229: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/229.jpg)
Very weak solutions in the local case
Theorem (Iwaniec & Sbordone, Crelle J. 93 - Lewis, Comm. PDE93)
There exists a number
δ0 ≡ δ0(n, p)
such that i such that any W 1,p−δ-solution u to the equation
div (|Du|p−2Du) = 0
is such thatu ∈W 1,p+δ0
loc (Rn)
Iwaniec & Sbordone use a deep property of stability of Hodgedecomposition with respect to certain nonlinear perturbations -Lewis uses a Lipschitz truncation via Maximal operator going backto the classical work of Acerbi & Fusco
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 230: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/230.jpg)
Very weak solutions in the nonlocal case
Theorem (Schikorra, Math. Ann., to appear)
There exists a number
δ0 ≡ δ0(n, α,Λ) > 0
such that any W α−δ,2−δ-solution u to the equation
EK (u, ϕ) = 0 with 0 < δ < δ0
is such thatu ∈W α+δ,2+δ
loc (Rn)
This extends to the nonlocal p-Laplacean as well
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 231: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/231.jpg)
A sketch
A fractional approach to Gehring lemma
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 232: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/232.jpg)
Caccioppoli inequalities imply higher integrability - localcase
Theorem
Let u ∈W 1,2(Rn) such that for every ball B ≡ B(x0, r) ⊂ Rn
−∫B/2|Du|2dx .
1
r 2−∫B|u(x)− (u)B |2 dx
holds; then there exists δ > 0 such that
u ∈W 1,2+δloc (Rn)
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 233: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/233.jpg)
Caccioppoli inequalities imply higher integrability -nonlocal case
Theorem (Kuusi & Min. & Sire, Analysis & PDE 15)
Let u ∈W α,2(Rn) such that for every ball B ≡ B(x0, r) ⊂ Rn
∫B−∫B
|u(x)− u(y)|2
|x − y |n+2αdx dy .
1
r 2α−∫B|u(x)− (u)B |2 dx
+
∫Rn\B
|u(y)− (u)B ||x0 − y |n+2α
dy −∫B|u(x)− (u)B | dx
holds; then there exists δ > 0 such that
u ∈W α+δ,2+δloc (Rn)
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 234: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/234.jpg)
Key observation
u ∈W 1,2 means that |Du|2 is integrable w.r.t. a finitemeasure (i.e. the Lebesgue measure)
u ∈W α,2 means that [|u(x)− u(y)||x − y |α
]2
is integrable w.r.t. an infinite set function, that is
E →∫E
dx dy
|x − y |n
there are therefore potentially more regularity properties toexploit in the above fractional difference quotient
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 235: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/235.jpg)
Key observation
u ∈W 1,2 means that |Du|2 is integrable w.r.t. a finitemeasure (i.e. the Lebesgue measure)
u ∈W α,2 means that [|u(x)− u(y)||x − y |α
]2
is integrable w.r.t. an infinite set function, that is
E →∫E
dx dy
|x − y |n
there are therefore potentially more regularity properties toexploit in the above fractional difference quotient
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 236: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/236.jpg)
Key idea: Dual pairs
To each u in R2n and ε < (0, 1− α) we associate a function
U(x , y) :=|u(x)− u(y)||x − y |α+ε
and a doubling measure
µ(E ) :=
∫E
dx dy
|x − y |n−2ε
and note that they are in duality in the sense that
u ∈W α,2 ⇐⇒ U ∈ L2(µ)
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 237: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/237.jpg)
Strategy: higher integrability for U w.r.t. µ
We translate the Caccioppoli inequality for u in a reverseHolder inequality for U w.r.t. µ
We prove a version of Gehring lemma for dual pairs (µ,U)
The higher integrability of U turns into the higherdifferentiability of u
All estimates heavily degenerate when α→ 1 or α→ 0
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 238: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/238.jpg)
Higher integrability =⇒ higher differentiability
Assume U ∈ L2+δloc , this means that∫
B×BU2+δ dµ =
∫B
∫B
|u(x)− u(y)|2+δ
|x − y |n+(2+δ)α+εδdx dy <∞
rewrite as follows:∫B
∫B
|u(x)− u(y)|2+δ
|x − y |n+(2+δ)[α+εδ/(2+δ)]dx dy <∞
and this means that
u ∈Wα+εδ/(2+δ),2+δloc (Rn)
i.e. we have gained differentiability
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 239: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/239.jpg)
The Gehring lemma for dual pairs (µ,U)
Theorem (Kuusi & Min. & Sire, Analysis & PDE 15)
If (µ,U) satisfiers(−∫B
U2dµ
)1/2
≤ c(σ)
(−∫B
Uq dµ
)1/q
+σ∞∑k=2
2−k(α−ε)
(−∫
2kBUq dµ
)1/q
where q ∈ (1, 2) and for every choice of B = B × B, then
U ∈ L2+δloc for some δ > 0
and (−∫B
U2+δ dµ
)1/(2+δ)
.∞∑k=1
2−k(α−ε)
(−∫
2kBU2 dµ
)1/2
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory
![Page 240: Recent progresses in Nonlinear Potential Theoryphp.math.unifi.it/users/cime/Courses/2016/01/201614-Notes.pdf · Important remark: the theory of fractional integral operators substantially](https://reader034.fdocuments.us/reader034/viewer/2022042910/5f4088700be9eb5a142fb216/html5/thumbnails/240.jpg)
Redemption
Giuseppe Mingione — Lectures at CIME Summer School 2016 Recent progresses in Nonlinear Potential Theory