Search for: All records

Abstract Let Ω ⊂ ℝ n + 1 {\Omega\subset\mathbb{R}^{n+1}} , n ≥ 2 {n\geq 2} , be a 1-sided non-tangentially accessible domain (aka uniform domain), that is, Ω satisfies the interior Corkscrew and Harnack chain conditions, which are respectively scale-invariant/quantitative versions of openness and path-connectedness. Let us assume also that Ω satisfies the so-called capacity density condition, a quantitative version of the fact that all boundary points are Wiener regular. Consider L 0 ⁢ u = - div ⁢ ( A 0 ⁢ ∇ ⁡ u ) {L_{0}u=-\mathrm{div}(A_{0}\nabla u)} , L ⁢ u = - div ⁢ ( A ⁢ ∇ ⁡ u ) {Lu=-\mathrm{div}(A\nabla u)} , two real (non-necessarily symmetric) uniformly elliptic operators in Ω, and write ω L 0 {\omega_{L_{0}}} , ω L {\omega_{L}} for the respective associated elliptic measures. The goal of this program is to find sufficient conditions guaranteeing that ω L {\omega_{L}} satisfies an A ∞ {A_{\infty}} -condition or a RH q {\mathrm{RH}_{q}} -condition with respect to ω L 0 {\omega_{L_{0}}} . In this paper we establish that if the discrepancy of the two matrices satisfies a natural Carleson measure condition with respect to ω L 0 {\omega_{L_{0}}} , then ω L ∈ A ∞ ⁢ ( ω L 0 ) {\omega_{L}\in A_{\infty}(\omega_{L_{0}})} . Additionally, we can prove that ω L ∈ RH q ⁢ ( ω L 0 ) {\omega_{L}\in\mathrm{RH}_{q}(\omega_{L_{0}})} for some specific q ∈ ( 1 , ∞ ) {q\in(1,\infty)} , by assuming that such Carleson condition holds with a sufficiently small constant. This “small constant” case extends previous work of Fefferman–Kenig–Pipher and Milakis–Pipher together with the last author of the present paper who considered symmetric operators in Lipschitz and bounded chord-arc domains, respectively. Here we go beyond those settings, our domains satisfy a capacity density condition which is much weaker than the existence of exterior Corkscrew balls. Moreover, their boundaries need not be Ahlfors regular and the restriction of the n -dimensional Hausdorff measure to the boundary could be even locally infinite. The “large constant” case, that is, the one on which we just assume that the discrepancy of the two matrices satisfies a Carleson measure condition, is new even in the case of nice domains (such as the unit ball, the upper-half space, or non-tangentially accessible domains) and in the case of symmetric operators. We emphasize that our results hold in the absence of a nice surface measure: all the analysis is done with the underlying measure ω L 0 {\omega_{L_{0}}} , which behaves well in the scenarios we are considering. When particularized to the setting of Lipschitz, chord-arc, or 1-sided chord-arc domains, our methods allow us to immediately recover a number of existing perturbation results as well as extend some of them. 

Abstract Let Ω ⊂ ℝ n + 1 {\Omega\subset\mathbb{R}^{n+1}} , n ≥ 2 {n\geq 2} , be a 1-sided non-tangentially accessible domain (also known as uniform domain), that is, Ω satisfies the interior Corkscrew and Harnack chain conditions, which are respectively scale-invariant/quantitative versions of openness and path-connectedness. Let us assume also that Ω satisfies the so-called capacity density condition, a quantitative version of the fact that all boundary points are Wiener regular. Consider two real-valued (non-necessarily symmetric) uniformly elliptic operators L 0 ⁢ u = - div ⁡ ( A 0 ⁢ ∇ ⁡ u )   and   L ⁢ u = - div ⁡ ( A ⁢ ∇ ⁡ u ) L_{0}u=-\operatorname{div}(A_{0}\nabla u)\quad\text{and}\quad Lu=-%\operatorname{div}(A\nabla u) in Ω, and write ω L 0 {\omega_{L_{0}}} and ω L {\omega_{L}} for the respective associated elliptic measures. The goal of this article and its companion[M. Akman, S. Hofmann, J. M. Martell and T. Toro,Perturbation of elliptic operators in 1-sided NTA domains satisfying the capacity density condition,preprint 2021, https://arxiv.org/abs/1901.08261v3 ]is to find sufficient conditions guaranteeing that ω L {\omega_{L}} satisfies an A ∞ {A_{\infty}} -condition or a RH q {\operatorname{RH}_{q}} -condition with respect to ω L 0 {\omega_{L_{0}}} . In this paper, we are interested in obtaininga square function and non-tangential estimates for solutions of operators as before. We establish that bounded weak null-solutions satisfy Carleson measure estimates, with respect to the associated elliptic measure. We also show that for every weak null-solution, the associated square function can be controlled by the non-tangential maximal function in any Lebesgue space with respect to the associated elliptic measure. These results extend previous work ofDahlberg, Jerison and Kenig and are fundamental for the proof of the perturbation results in the paper cited above. 

Let \(\Sigma\) be a closed subset of \(\mathbb{R}^{n+1}\) which is parabolic Ahlfors-David regular and assume that \(\Sigma\) satisfies a 2-sided corkscrew condition. Assume, in addition, that \(\Sigma\) is either time-forwards Ahlfors-David regular, time-backwards Ahlfors-David regular, or parabolic uniform rectifiable. We then first prove that \(\Sigma\) satisfies a weak synchronized two cube condition. Based on this we are able to revisit the argument of Nyström and Strömqvist (2009) and prove that \(\Sigma\) contain suniform big pieces of Lip(1,1/2) graphs. When \(\Sigma\) is parabolic uniformly rectifiable the construction can be refined and in this case we prove that \(\Sigma\) contains uniform big pieces of regular parabolic Lip(1,1/2) graphs. Similar results hold if \(\Omega\subset\mathbb{R}^{n+1}\) is a connected component of \(\mathbb{R}^{n+1}\setminus\Sigma\) and in this context we also give a parabolic counterpart of the main result of Azzam et al. (2017) by proving that if \(\Omega\) is a one-sided parabolic chord arc domain, and if \(\Sigma\) is parabolic uniformly rectifiable, then \(\Omega\) is in fact a parabolic chord arc domain. Our results give a flexible parabolic version of the classical (elliptic) result of David and Jerison (1990) concerning the existence of uniform big pieces of Lipschitz graphs for sets satisfying a two disc condition. 

We establish the first result on the absolute continuity of elliptic measure with respect to the Lebesgue measure for a divergence form elliptic operator with non-smooth coefficients that have a BMO anti- symmetric part. In particular, the coefficients are not necessarily bounded. We prove that for some $$p\in (1,\infty)$$, the Dirichlet problem for the elliptic equation $$Lu= \dv A\nabla u=0$$ in the upper half-space $$\mathbb{R}^{n+1},\, n\geq 2,$$ is uniquely solvable when the boundary data is in $$L^p(\mathbb{R}^n,dx)$$, provided that the coefficients are independent of the vertical variable. This result is equivalent to saying that the elliptic measure associated to $$L$$ belongs to the $$A_\infty$$ class with respect to the Lebesgue measure $dx$, a quantitative version of absolute continuity.