Table of Contents
Fetching ...

Transference of scale-invariant estimates from Lipschitz to Non-tangentially accessible to Uniformly rectifiable domains

Steve Hofmann, José María Martell, Svitlana Mayboroda

Abstract

In relatively nice geometric settings, in particular, on Lipschitz domains, absolute continuity of elliptic measure with respect to the surface measure is equivalent to Carleson measure estimates, to square function estimates, and to $\varepsilon$-approximability, for solutions to the second order divergence form elliptic partial differential equations $ Lu= -{\rm div\,} (A \nabla u)=0$. In more general situations, notably, in an open set $Ω$ with a uniformly rectifiable boundary, absolute continuity of elliptic measure with respect to the surface measure may fail, already for the Laplacian. In the present paper, the authors demonstrate that nonetheless, Carleson measure estimates, square function estimates, and $\varepsilon$-approximability remain valid in such $Ω$, for solutions of $Lu=0$, provided that such solutions enjoy these properties in Lipschitz subdomains of $Ω$. Moreover, we establish a general real-variable transference principle, from Lipschitz to chord-arc domains, and from chord-arc to open sets with uniformly rectifiable boundary, that is not restricted to harmonic functions or even to solutions of elliptic equations. In particular, this allows one to deduce the first Carleson measure estimates and square function bounds for higher order systems on open sets with uniformly rectifiable boundaries and to treat subsolutions and subharmonic functions.

Transference of scale-invariant estimates from Lipschitz to Non-tangentially accessible to Uniformly rectifiable domains

Abstract

In relatively nice geometric settings, in particular, on Lipschitz domains, absolute continuity of elliptic measure with respect to the surface measure is equivalent to Carleson measure estimates, to square function estimates, and to -approximability, for solutions to the second order divergence form elliptic partial differential equations . In more general situations, notably, in an open set with a uniformly rectifiable boundary, absolute continuity of elliptic measure with respect to the surface measure may fail, already for the Laplacian. In the present paper, the authors demonstrate that nonetheless, Carleson measure estimates, square function estimates, and -approximability remain valid in such , for solutions of , provided that such solutions enjoy these properties in Lipschitz subdomains of . Moreover, we establish a general real-variable transference principle, from Lipschitz to chord-arc domains, and from chord-arc to open sets with uniformly rectifiable boundary, that is not restricted to harmonic functions or even to solutions of elliptic equations. In particular, this allows one to deduce the first Carleson measure estimates and square function bounds for higher order systems on open sets with uniformly rectifiable boundaries and to treat subsolutions and subharmonic functions.

Paper Structure

This paper contains 25 sections, 35 theorems, 378 equations.

Key Result

Theorem 1.19

In the statement we have omitted the dependence in the Carleson estimates on the various geometric parameters. The precise statements (see Theorem theor:CME:CAD->UR and Theorem theor:CME:Lip->CAD) given in the body of the paper impose that the Carleson measure estimates hold for any bounded Lipschit

Theorems & Definitions (88)

  • Definition 1.1: ADR
  • Definition 1.3: UR and UR character
  • Definition 1.4: Corkscrew condition
  • Definition 1.5: Harnack Chain condition
  • Definition 1.6: NTA, 1-sided NTA, CAD, and 1-sided CAD
  • Definition 1.7: Lipschitz graph domain
  • Definition 1.8: Bounded Lipschitz domain
  • Definition 1.9: CME
  • Definition 1.11: $\varepsilon$-approximable
  • Definition 1.15: Non-tangential maximal function, Area integral, and Square function
  • ...and 78 more