L2-Boundedness of Gradients of Single Layer Potentials for Elliptic Operators with Coefficients of Dini Mean Oscillation-Type
-
Published:2023-04-14
Issue:3
Volume:247
Page:
-
ISSN:0003-9527
-
Container-title:Archive for Rational Mechanics and Analysis
-
language:en
-
Short-container-title:Arch Rational Mech Anal
Author:
Molero Alejandro, Mourgoglou MihalisORCID, Puliatti Carmelo, Tolsa Xavier
Abstract
AbstractWe consider a uniformly elliptic operator $$L_A$$
L
A
in divergence form associated with an $$(n+1)\times (n+1)$$
(
n
+
1
)
×
(
n
+
1
)
-matrix A with real, merely bounded, and possibly non-symmetric coefficients. If "Equation missing"then, under suitable Dini-type assumptions on $$\omega _A$$
ω
A
, we prove the following: if $$\mu $$
μ
is a compactly supported Radon measure in $$\mathbb {R}^{n+1}$$
R
n
+
1
, $$n \ge 2$$
n
≥
2
, and $$ T_\mu f(x)=\int \nabla _x\Gamma _A (x,y)f(y)\, \textrm{d}\mu (y) $$
T
μ
f
(
x
)
=
∫
∇
x
Γ
A
(
x
,
y
)
f
(
y
)
d
μ
(
y
)
denotes the gradient of the single layer potential associated with $$L_A$$
L
A
, then $$\begin{aligned} 1+ \Vert T_\mu \Vert _{L^2(\mu )\rightarrow L^2(\mu )}\approx 1+ \Vert {\mathcal {R}}_\mu \Vert _{L^2(\mu )\rightarrow L^2(\mu )}, \end{aligned}$$
1
+
‖
T
μ
‖
L
2
(
μ
)
→
L
2
(
μ
)
≈
1
+
‖
R
μ
‖
L
2
(
μ
)
→
L
2
(
μ
)
,
where $${\mathcal {R}}_\mu $$
R
μ
indicates the n-dimensional Riesz transform. This allows us to provide a direct generalization of some deep geometric results, initially obtained for $${\mathcal {R}}_\mu $$
R
μ
, which were recently extended to $$T_\mu $$
T
μ
associated with $$L_A$$
L
A
with Hölder continuous coefficients. In particular, we show the following:
If $$\mu $$
μ
is an n-Ahlfors-David-regular measure on $$\mathbb {R}^{n+1}$$
R
n
+
1
with compact support, then $$T_\mu $$
T
μ
is bounded on $$L^2(\mu )$$
L
2
(
μ
)
if and only if $$\mu $$
μ
is uniformly n-rectifiable.
Let $$E\subset \mathbb {R}^{n+1}$$
E
⊂
R
n
+
1
be compact and $${\mathcal {H}}^n(E)<\infty $$
H
n
(
E
)
<
∞
. If $$T_{{\mathcal {H}}^n|_E}$$
T
H
n
|
E
is bounded on $$L^2({\mathcal {H}}^n|_E)$$
L
2
(
H
n
|
E
)
, then E is n-rectifiable.
If $$\mu $$
μ
is a non-zero measure on $$\mathbb {R}^{n+1}$$
R
n
+
1
such that $$\limsup _{r\rightarrow 0}\tfrac{\mu (B(x,r))}{(2r)^n}$$
lim sup
r
→
0
μ
(
B
(
x
,
r
)
)
(
2
r
)
n
is positive and finite for $$\mu $$
μ
-a.e. $$x\in \mathbb {R}^{n+1}$$
x
∈
R
n
+
1
and $$\liminf _{r\rightarrow 0}\tfrac{\mu (B(x,r))}{(2r)^n}$$
lim inf
r
→
0
μ
(
B
(
x
,
r
)
)
(
2
r
)
n
vanishes for $$\mu $$
μ
-a.e. $$x\in \mathbb {R}^{n+1}$$
x
∈
R
n
+
1
, then the operator $$T_\mu $$
T
μ
is not bounded on $$L^2(\mu )$$
L
2
(
μ
)
.
Finally, we prove that if $$\mu $$
μ
is a Radon measure on $${\mathbb {R}}^{n+1}$$
R
n
+
1
with compact support which satisfies a proper set of local conditions at the level of a ball $$B=B(x,r)\subset {\mathbb {R}}^{n+1}$$
B
=
B
(
x
,
r
)
⊂
R
n
+
1
such that $$\mu (B)\approx r^n$$
μ
(
B
)
≈
r
n
and r is small enough, then a significant portion of the support of $$\mu |_B$$
μ
|
B
can be covered by a uniformly n-rectifiable set. These assumptions include a flatness condition, the $$L^2(\mu )$$
L
2
(
μ
)
-boundedness of $$T_\mu $$
T
μ
on a large enough dilation of B, and the smallness of the mean oscillation of $$T_\mu $$
T
μ
at the level of B.
Funder
Ministerio de Economía, Industria y Competitividad, Gobierno de España Ministerio de Economía, Industria y Competitividad, Gobierno de Españ Ministerio de Ciencia, Innovación y Universidades H2020 European Research Council Eusko Jaurlaritza
Publisher
Springer Science and Business Media LLC
Subject
Mechanical Engineering,Mathematics (miscellaneous),Analysis
Reference41 articles.
1. Atkinson, K., Han, W.: Spherical Harmonics and Approximations on the Unit Sphere. An Introduction. Lecture Notes in Mathematics 2044. Springer, Berlin (2012) 2. Azzam, J., Garnett, J., Mourgoglou, M., Tolsa, X.: Uniform rectifiability, elliptic measure, square functions, and $$\varepsilon $$-approximability via an ACF monotonicity formula. Int. Math. Res. Not. (IMRN) (2021). https://doi.org/10.1093/imrn/rnab095 3. Azzam, J., Hofmann, S., Martell, J.M., Mayboroda, S., Mourgoglou, M., Tolsa, X., Volberg, A.: Rectifiability of harmonic measure. Geom. Funct. Anal. 26(3), 703–728, 2016 4. Azzam, J., Mourgoglou, M., Tolsa, X.: Mutual absolute continuity of interior and exterior harmonic measure implies rectifiability. Commun. Pure Appl. Math. 70(11), 2121–2163, 2017 5. Azzam, J., Mourgoglou, M., Tolsa, X.: A two-phase free boundary problem for harmonic measure and uniform rectifiability. Trans. Am. Math. Soc. 373(6), 4359–4388, 2020
|
|