BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
We establish Lp solvability of the Dirichlet problem, for some finite p, in a 1-sided chord-arc domain Ω (i.e., a uniform domain with Ahlfors-David regular boundary), for elliptic equations of the form Lu=−div(A∇u)+B⋅∇u=:L0u+B⋅∇u=0, given that the analogous result holds (typically with a different value of p) for the homogeneous second order operator L0. Essentially, we assume that ∣B(X)∣≲dist(X,∂Ω)−1, and that ∣B(X)∣2dist(X,∂Ω)dX is a Carleson measure in Ω.
We consider the operator L=−div(A∇), where the n×n matrix A is real-valued, elliptic, with the symmetric part of A in L∞(Rn), and the anti-symmetric part of A only belongs to the space BMO(Rn), n≥2. We prove the Gaussian estimates for the kernel of e−tL, as well as that of ∂tle−tL, for any l∈N. We show that the square root of L satisfies the Lp estimates L1/2fLp≲∥∇f∥Lp for 1<p<∞, and ∥∇f∥Lp≲L1/2fLp for 1<p<2+ε for some ε>0 depending on the ellipticity constant and the BMO semi-norm of the coefficients. Finally, we prove the Lp estimates for square functions associated to e−tL. In another article of the authors, these results are used to establish the solvability of the Dirichlet problem for elliptic equation div(A(x)∇u)=0 in the upper half-space (x,t)∈R+n+1 with the boundary data in Lp(Rn,dx) for some p∈(1,∞).
Following a result of Bennewitz-Lewis for non-doubling harmonic measure, we prove a criterion for non-doubling caloric measure to satisfy a weak reverse Holder inequality on an open set Ω, assuming as a background hypothesis only that the essential boundary of Ω satisfies an appropriate parabolic version of Ahlfors-David regularity (which entails some backwards in time thickness). We also show that the weak reverse Holder estimate is equivalent to solvability of the initial Dirichlet problem with "lateral" data in Lp, for some p<∞, in this setting.
Let Σ be a closed subset of Rn+1 which is parabolic Ahlfors-David regular and assume that Σ satisfies a 2-sided corkscrew condition. Assume, in addition, that Σ is either time-forwards Ahlfors-David regular, time-backwards Ahlfors-David regular, or parabolic uniform rectifiable. We then first prove that Σ satisfies a {\it weak synchronized two cube condition}. Based on this we are able to revisit the argument in \cite{NS} and prove that Σ contains {\it uniform big pieces of Lip(1,1/2) graphs}. When Σ is parabolic uniformly rectifiable the construction can be refined and in this case we prove that Σ contains {\it uniform big pieces of regular parabolic Lip(1,1/2) graphs}. Similar results hold if Ω⊂Rn+1 is a connected component of Rn+1∖Σ and in this context we also give a parabolic counterpart of the main result in \cite{AHMNT} by proving that if Ω is a one-sided parabolic chord arc domain, and if Σ is parabolic uniformly rectifiable, then Ω is in fact a parabolic chord arc domain. Our results give a flexible parabolic version of the classical (elliptic) result of G. David and D. Jerison concerning the existence of uniform big pieces of Lipschitz graphs for sets satisfying a two disc condition.
We prove that coronizations with respect to arbitrary d-regular sets (not necessarily graphs) imply big pieces squared of these (approximating) sets. This is known (and due to David and Semmes in the case of sufficiently large co-dimension, and to Azzam and Schul in general) in the (classical) setting of Euclidean spaces with Hausdorff measure of integer dimension, where the approximating sets are Lipschitz graphs. Our result is a far reaching generalization of these results and we prove that coronizations imply big pieces squared is a generic property. In particular, our result applies, when suitably interpreted, in metric spaces having a fixed positive (perhaps non-integer) dimension, equipped with a Borel regular measure and with arbitrary approximating sets. As a novel application we highlight how to utilize this general setting in the context of parabolic uniform rectifiability.
It is well-known that quantitative, scale invariant absolute continuity (more precisely, the weak-A∞ property) of harmonic measure with respect to surface measure, on the boundary of an open set Ω⊂Rn+1 with Ahlfors-David regular boundary, is equivalent to the solvability of the Dirichlet problem in Ω, with data in Lp(∂Ω) for some p<∞. In this paper, we give a geometric characterization of the weak-A∞ property, of harmonic measure, and hence of solvability of the Lp Dirichlet problem for some finite p. This characterization is obtained under background hypotheses (an interior corkscrew condition, along with Ahlfors-David regularity of the boundary) that are natural, and in a certain sense optimal: we provide counter-examples in the absence of either of them (or even one of the two, upper or lower, Ahlfors-David bounds); moreover, the examples show that the upper and lower Ahlfors-David bounds are each quantitatively sharp.
The present paper establishes the correspondence between the properties of the solutions of a class of PDEs and the geometry of sets in Euclidean space. We settle the question of whether (quantitative) absolute continuity of the elliptic measure with respect to the surface measure and uniform rectifiability of the boundary are equivalent, in an optimal class of divergence form elliptic operators satisfying a suitable Carleson measure condition. The result can be viewed as a quantitative analogue of the Wiener criterion adapted to the singular Lp data case. We split our proof on two main steps. In the first one we considered the case in which the desired Carleson measure condition on the coefficients holds with "sufficiently small constant", using a novel application of techniques developed in geometric measure theory. In the second step we establish the final result, that is, the "large constant case". The key elements are a powerful extrapolation argument, which provides a general pathway to self-improve scale-invariant small constant estimates, and a new mechanism to transfer quantitative absolute continuity of elliptic measure between a domain and its subdomains.
The present paper, along with its sequel, establishes the correspondence between the properties of the solutions of a class of PDEs and the geometry of sets in Euclidean space. We settle the question of whether (quantitative) absolute continuity of the elliptic measure with respect to the surface measure and uniform rectifiability of the boundary are equivalent, in an optimal class of divergence form elliptic operators satisfying a suitable Carleson measure condition. The result can be viewed as a quantitative analogue of the Wiener criterion adapted to the singular Lp data case. This paper addresses the free boundary problem under the assumption of smallness of the Carleson measure of the coefficients. Part II of this work develops an extrapolation argument to bootstrap this result to the general case. The ideas in Part I constitute a novel application of techniques developed in geometric measure theory. They highlight the synergy between several areas. The ideas developed in this paper are well suited to study singularities arising in variational problems in a geometric setting.
The present paper, along with its companion [Hofmann, Martell, Mayboroda, Toro, Zhao, arXiv:1710.06157], establishes the correspondence between the properties of the solutions of a class of PDEs and the geometry of sets in Euclidean space. We settle the question of whether (quantitative) absolute continuity of the elliptic measure with respect to the surface measure and uniform rectifiability of the boundary are equivalent, in an optimal class of divergence form elliptic operators satisfying a suitable Carleson measure condition. The result can be viewed as a quantitative analogue of the Wiener criterion adapted to the singular Lp data case. The first step in this direction was taken in our previous paper [Hofmann, Martell, Mayboroda, Toro, Zhao, arXiv:1710.06157], where we considered the case in which the desired Carleson measure condition on the coefficients holds with sufficiently small constant. In this paper we establish the final, general result, that is, the "large constant case". The key elements of our approach are a powerful extrapolation argument, which provides a general pathway to self-improve scale-invariant small constant estimates, as well as a new mechanism to transfer quantitative absolute continuity of elliptic measure between a domain and its subdomains.
We construct extensions of Varopolous type for functions f∈BMO(E), for any uniformly rectifiable set E of codimension one. More precisely, let Ω⊂Rn+1 be an open set satisfying the corkscrew condition, with an n-dimensional uniformly rectifiable boundary ∂Ω, and let σ:=Hn⌊∂Ω denote the surface measure on ∂Ω. We show that if f∈BMO(∂Ω,dσ) with compact support on ∂Ω, then there exists a smooth function V in Ω such that ∣∇V(Y)∣dY is a Carleson measure with Carleson norm controlled by the BMO norm of f, and such that V converges in some non-tangential sense to f almost everywhere with respect to σ. Our results should be compared to recent geometric characterizations of Lp-solvability and of BMO-solvability of the Dirichlet problem, by Azzam, the first author, Martell, Mourgoglou and Tolsa and by the first author and Le, respectively. In combination, this latter pair of results shows that one can construct, for all f∈Cc(∂Ω), a harmonic extension u, with ∣∇u(Y)∣2dist(Y,∂Ω)dY a Carleson measure controlled by the BMO norm of f, only in the presence of an appropriate quantitative connectivity condition.
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=−div(A∇u)=0 with A being a real (not necessarily symmetric) uniformly elliptic matrix, imply that the corresponding elliptic measure belongs to the Muckenhoupt A∞ 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∈A∞ if and only if ωL⊤∈A∞. 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∞ yields that the domain is indeed a chord-arc domain.
We show that for a uniformly elliptic divergence form operator L, defined in an open set Ω with Ahlfors-David regular boundary, BMO-solvability implies scale invariant quantitative absolute continuity (the weak-A∞ property) of elliptic-harmonic measure with respect to surface measure on ∂Ω. We do not impose any connectivity hypothesis, qualitative or quantitative; in particular, we do not assume the Harnack Chain condition, even within individual connected components of Ω. In this generality, our results are new even for the Laplacian. Moreover, we obtain a converse, under the additional assumption that Ω satisfies an interior Corkscrew condition, in the special case that L is the Laplacian.
We present an alternative proof of a result of Kenig and Toro, which states that if Ω⊂Rn+1 is a two sided NTA domain, with Ahlfors-David regular boundary, and the log of the Poisson kernel associated to Ω as well as the log of the Poisson kernel associated to Ωext are in VMO, then the outer unit normal ν is in VMO . Our proof exploits the usual jump relation formula for the non-tangential limit of the gradient of the single layer potential. We are also able to relax the assumptions of Kenig and Toro in the case that the pole for the Poisson kernel is finite: in this case, we assume only that ∂Ω is uniformly rectifiable, and that ∂Ω coincides with the measure theoretic boundary of Ω a.e. with respect to Hausdorff Hn measure.
In the present paper we prove that for any open connected set Ω⊂Rn+1, n≥1, and any E⊂∂Ω with 0<Hn(E)<∞ absolute continuity of the harmonic measure ω with respect to the Hausdorff measure on E implies that ω∣E is rectifiable.
Let E⊂Rn+1, n≥1, be a uniformly rectifiable set of dimension n. We show E that has big pieces of boundaries of a class of domains which satisfy a 2-sided corkscrew condition, and whose connected components are all chord-arc domains (with uniform control of the various constants). As a consequence, we deduce that E has big pieces of sets for which harmonic measure belongs to weak-A∞
In this paper we establish square-function estimates on the double and single layer potentials for divergence-form elliptic operators, of arbitrary even order 2m, with variable t-independent coefficients in the upper half-space. This generalizes known results for variable-coefficient second-order operators, and also for constant-coefficient higher-order operators.
We present a higher dimensional, scale-invariant version of a classical theorem of F. and M. Riesz. More precisely, we establish scale invariant absolute continuity of harmonic measure with respect to surface measure, along with higher integrability of the Poisson kernel, for a domain Ω⊂Rn+1,n≥2, with a uniformly rectifiable boundary, which satisfies the Harnack Chain condition plus an interior (but not exterior) corkscrew condition. In a companion paper to this one [HMU], we also establish a converse, in which we deduce uniform rectifiability of the boundary, assuming scale invariant Lq bounds, with q>1, on the Poisson kernel.
Let E⊂Rn+1, n≥2, be an Ahlfors-David regular set of dimension n. We show that the weak-A∞ property of harmonic measure, for the open set Ω:=Rn+1∖E, implies uniform rectifiability of E.
We determine square root domains for non-self-adjoint Sturm--Liouville operators of the type Lp,q,r,s=−dxdpdxd+rdxd−dxds+q in L2((c,d);dx), where either (c,d) coincides with the real line R, the half-line (a,∞), a∈R, or with the bounded interval (a,b)⊂R, under very general conditions on the coefficients q,r,s. We treat Dirichlet and Neumann boundary conditions at a in the half-line case, and Dirichlet and/or Neumann boundary conditions at a,b in the final interval context. (In the particular case p=1 a.e.\ on (a,b), we treat all separated boundary conditions at a,b.)
Assuming T0 to be an m-accretive operator in the complex Hilbert space H, we use a resolvent method due to Kato to appropriately define the additive perturbation T=T0+W and prove stability of square root domains, that is, dom((T0+W)1/2)=dom(T01/2). Moreover, assuming in addition that dom(T01/2)=dom((T0∗)1/2), we prove stability of square root domains in the form dom((T0+W)1/2)=dom(T01/2)=dom((T0∗)1/2)=dom(((T0+W)∗)1/2), which is most suitable for PDE applications. We apply this approach to elliptic second-order partial differential operators of the form −div(a∇⋅)+(B1⋅∇⋅)+div(B2⋅)+V in L2(Ω) on certain open sets Ω⊆Rn, n∈N, with Dirichlet, Neumann, and mixed boundary conditions on ∂Ω, under general hypotheses on the (typically, nonsmooth, unbounded) coefficients and on ∂Ω.
We announce a local T(b) theorem, an inductive scheme, and Lp extrapolation results for L2 square function estimates related to the analysis of integral operators that act on Ahlfors-David regular sets of arbitrary codimension in ambient quasi-metric spaces. The inductive scheme is a natural application of the local T(b) theorem and it implies the stability of L2 square function estimates under the so-called big pieces functor. In particular, this analysis implies Lp and Hardy space square function estimates for integral operators on uniformly rectifiable subsets of the Euclidean space.
We discuss stability of square root domains for uniformly elliptic partial differential operators La,Ω,Γ=−∇⋅a∇ in L2(Ω), with mixed boundary conditions on ∂Ω, with respect to additive perturbations. We consider open, bounded, and connected sets Ω∈Rn, n∈N\{1}, that satisfy the interior corkscrew condition and prove stability of square root domains of the operator La,Ω,Γ with respect to additive potential perturbations V∈Lp(Ω)+L∞(Ω), p>n/2. Special emphasis is put on the case of uniformly elliptic systems with mixed boundary conditions.
The present paper establishes a certain duality between the Dirichlet and Regularity problems for elliptic operators with t-independent complex bounded measurable coefficients (t being the transversal direction to the boundary). To be precise, we show that the Dirichlet boundary value problem is solvable in Lp′, subject to the square function and non-tangential maximal function estimates, if and only if the corresponding Regularity problem is solvable in Lp. Moreover, the solutions admit layer potential representations. In particular, we prove that for any elliptic operator with t-independent real (possibly non-symmetric) coefficients there exists a p>1 such that the Regularity problem is well-posed in Lp.
Let E⊂Rn+1, n≥2, be a uniformly rectifiable set of dimension n. Then bounded harmonic functions in Ω:=Rn+1∖E satisfy Carleson measure estimates, and are "ε-approximable". Our results may be viewed as generalized versions of the classical F. and M. Riesz theorem, since the estimates that we prove are equivalent, in more topologically friendly settings, to quantitative mutual absolute continuity of harmonic measure, and surface measure.
We establish square function estimates for integral operators on uniformly rectifiable sets by proving a local T(b) theorem and applying it to show that such estimates are stable under the so-called big pieces functor. More generally, we consider integral operators associated with Ahlfors-David regular sets of arbitrary codimension in ambient quasi-metric spaces. The local T(b) theorem is then used to establish an inductive scheme in which square function estimates on so-called big pieces of an Ahlfors-David regular set are proved to be sufficient for square function estimates to hold on the entire set. Extrapolation results for Lp and Hardy space versions of these estimates are also established. Moreover, we prove square function estimates for integral operators associated with variable coefficient kernels, including the Schwartz kernels of pseudodifferential operators acting between vector bundles on subdomains with uniformly rectifiable boundaries on manifolds.
We consider divergence form elliptic equations Lu:=∇⋅(A∇u)=0 in the half space R+n+1:={(x,t)∈Rn×(0,∞)}, whose coefficient matrix A is complex elliptic, bounded and measurable. In addition, we suppose that A satisfies some additional regularity in the direction transverse to the boundary, namely that the discrepancy A(x,t)−A(x,0) satisfies a Carleson measure condition of Fefferman-Kenig-Pipher type, with small Carleson norm. Under these conditions, we establish a full range of boundedness results for double and single layer potentials in Lp, Hardy, Sobolev, BMO and Hölder spaces. Furthermore, we prove solvability of the Dirichlet problem for L, with data in Lp(Rn), BMO(Rn), and Cα(Rn), and solvability of the Neumann and Regularity problems, with data in the spaces Lp(Rn)/Hp(Rn) and L1p(Rn)/H1,p(Rn) respectively, with the appropriate restrictions on indices, assuming invertibility of layer potentials in for the t-independent operator L0:=−∇⋅(A(⋅,0)∇).
A local Tb theorem is an L^2 boundedness criterion by which the question of the global behavior of an operator is reduced to its local behavior, acting on a family of test functions b_Q indexed by the dyadic cubes. We present several versions of such results, in particular, treating square function operators whose kernels do not satisfy the standard Littlewood-Paley pointwise estimates. As an application of one version of the local Tb theorem, we show how the solvability of the Kato problem (which was implicitly based on local Tb theory) may be deduced from this general criterion. We also present another version, from which we deduce boundedness of layer potentials associated to certain complex elliptic operators in divergence form.
We consider divergence form elliptic operators L = - div A(x)\nabla, defined in the half space R^{n+1}_+, n \geq 2, where the coefficient matrix A(x) is bounded, measurable, uniformly elliptic, t-independent, and not necessarily symmetric. We establish square function/non-tangential maximal function estimates for solutions of the homogeneous equation Lu = 0, and we then combine these estimates with the method of "ε-approximability" to show that L-harmonic measure is absolutely continuous with respect to surface measure (i.e., n-dimensional Lebesgue measure) on the boundary, in a scale-invariant sense: more precisely, that it belongs to the class A_\infty with respect to surface measure (equivalently, that the Dirichlet problem is solvable with data in L^p, for some p < \infty). Previously, these results had been known only in the case n = 1.
We present the converse to a higher dimensional, scale-invariant version of a classical theorem of F. and M. Riesz. More precisely, for n≥2, for an ADR domain $Ω\subset \re^{n+1}$ which satisfies the Harnack Chain condition plus an interior (but not exterior) Corkscrew condition, we show that absolute continuity of harmonic measure with respect to surface measure on ∂Ω, with scale invariant higher integrability of the Poisson kernel, is sufficient to imply uniformly rectifiable of ∂Ω.
Let E⊂Rn+1, n≥2, be a closed, Ahlfors-David regular set of dimension n satisfying the "Riesz Transform bound" supε>0∫E∫{y∈E:∣x−y∣>ε}∣x−y∣n+1x−yf(y)dHn(y)2dHn(x)≤C∫E∣f∣2dHn. Assume further that E is the boundary of a domain Ω⊂Rn+1 satisfying the Harnack Chain condition plus an interior (but not exterior) Corkscrew condition. Then E is uniformly rectifiable.
Let L be a second order divergence form elliptic operator with complex bounded measurable coefficients. The operators arising in connection with L, such as the heat semigroup and Riesz transform, are not, in general, of Calderón-Zygmund type and exhibit behavior different from their counterparts built upon the Laplacian. The current paper aims at a thorough description of the properties of such operators in Lp, Sobolev, and some new Hardy spaces naturally associated to L. First, we show that the known ranges of boundedness in Lp for the heat semigroup and Riesz transform of L, are sharp. In particular, the heat semigroup e−tL need not be bounded in Lp if p∈[2n/(n+2),2n/(n−2)]. Then we provide a complete description of {\it all} Sobolev spaces in which L admits a bounded functional calculus, in particular, where e−tL is bounded. Secondly, we develop a comprehensive theory of Hardy and Lipschitz spaces associated to L, that serves the range of p beyond [2n/(n+2),2n/(n−2)]. It includes, in particular, characterizations by the sharp maximal function and the Riesz transform (for certain ranges of p), as well as the molecular decomposition and duality and interpolation theorems.
We study the difference between vertical and conical square functions in the abstract and also in the specific case where the square functions come from an elliptic operator.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.