Perturbations of elliptic operators in 1-sided chord-arc domains. Part II: Non-symmetric operators and Carleson measure estimates
Authors:
Juan Cavero,
Steve Hofmann,
José María Martell,
Tatiana Toro
Abstract:
We generalize to the setting of 1-sided chord-arc domains, that is, to domains satisfying the interior Corkscrew and Harnack Chain conditions (these are respectively scale-invariant/quantitative versions of the openness and path-connectedness) and which have an Ahlfors regular boundary, a result of Kenig-Kirchheim-Pipher-Toro, in which Carleson measure estimates for bounded solutions of the equati…
▽ More
We generalize to the setting of 1-sided chord-arc domains, that is, to domains satisfying the interior Corkscrew and Harnack Chain conditions (these are respectively scale-invariant/quantitative versions of the openness and path-connectedness) and which have an Ahlfors regular boundary, a result of Kenig-Kirchheim-Pipher-Toro, in which Carleson measure estimates for bounded solutions of the equation $Lu=-{\rm div}(A\nabla u) = 0$ with $A$ being a real (not necessarily symmetric) uniformly elliptic matrix, imply that the corresponding elliptic measure belongs to the Muckenhoupt $A_\infty$ class with respect to surface measure on the boundary. We present two applications of this result. In the first one we extend a perturbation result recently proved by Cavero-Hofmann-Martell presenting a simpler proof and allowing non-symmetric coefficients. Second, we prove that if an operator $L$ as above has locally Lipschitz coefficients satisfying certain Carleson measure condition then $ω_L\in A_\infty$ if and only if $ω_{L^\top}\in A_\infty$. As a consequence, we can remove one of the main assumptions in the non-symmetric case of a result of Hofmann-Martell-Toro and show that if the coefficients satisfy a slightly stronger Carleson measure condition the membership of the elliptic measure associated with $L$ to the class $A_\infty$ yields that the domain is indeed a chord-arc domain.
△ Less
Submitted 6 August, 2019;
originally announced August 2019.
Perturbations of elliptic operators in 1-sided chord-arc domains. Part I: Small and large perturbation for symmetric operators
Authors:
Juan Cavero,
Steve Hofmann,
José María Martell
Abstract:
Let $Ω\subset\mathbb{R}^{n+1}$, $n\ge 2$, be a 1-sided chord-arc domain, that is, a domain which satisfies interior Corkscrew and Harnack Chain conditions (these are respectively scale-invariant/quantitative versions of the openness and path-connectedness), and whose boundary $\partialΩ$ is $n$-dimensional Ahlfors regular. Consider $L_0$ and $L$ two real symmetric divergence form elliptic operator…
▽ More
Let $Ω\subset\mathbb{R}^{n+1}$, $n\ge 2$, be a 1-sided chord-arc domain, that is, a domain which satisfies interior Corkscrew and Harnack Chain conditions (these are respectively scale-invariant/quantitative versions of the openness and path-connectedness), and whose boundary $\partialΩ$ is $n$-dimensional Ahlfors regular. Consider $L_0$ and $L$ two real symmetric divergence form elliptic operators and let $ω_{L_0}$, $ω_L$ be the associated elliptic measures. We show that if $ω_{L_0}\in A_\infty(σ)$, where $σ=H^n|_{\partialΩ}$, and $L$ is a perturbation of $L_0$ (in the sense that the discrepancy between $L_0$ and $L$ satisfies certain Carleson measure condition), then $ω_L\in A_\infty(σ)$. Moreover, if $L$ is a sufficiently small perturbation of $L_0$, then one can preserve the reverse Hölder classes, that is, if for some $1<p<\infty$, one has $ω_{L_0}\in RH_p(σ)$ then $ω_{L}\in RH_p(σ)$. Equivalently, if the Dirichlet problem with data in $L^{p'}(σ)$ is solvable for $L_0$ then so it is for $L$. These results can be seen as extensions of the perturbation theorems obtained by Dahlberg, Fefferman-Kenig-Pipher, and Milakis-Pipher-Toro in more benign settings. As a consequence of our methods we can show that for any perturbation of the Laplacian (or, more in general, of any elliptic symmetric operator with Lipschitz coefficients satisfying certain Carleson condition) if its elliptic measure belongs to $A_\infty(σ)$ then necessarily $Ω$ is in fact an NTA domain (and hence chord-arc) and therefore its boundary is uniformly rectifiable.
△ Less
Submitted 22 August, 2017;
originally announced August 2017.
