-
The $A_\infty$ condition, $\varepsilon$-approximators, and Varopoulos extensions in uniform domains
Authors:
Simon Bortz,
Bruno Poggi,
Olli Tapiola,
Xavier Tolsa
Abstract:
Suppose that $Ω\subset\mathbb R^{n+1}$, $n\geq1$, is a uniform domain with $n$-Ahlfors regular boundary and $L$ is a (not necessarily symmetric) divergence form elliptic, real, bounded operator in $Ω$. We show that the corresponding elliptic measure $ω_L$ is quantitatively absolutely continuous with respect to surface measure of $\partialΩ$ in the sense that $ω_L \in A_\infty(σ)$ if and only if an…
▽ More
Suppose that $Ω\subset\mathbb R^{n+1}$, $n\geq1$, is a uniform domain with $n$-Ahlfors regular boundary and $L$ is a (not necessarily symmetric) divergence form elliptic, real, bounded operator in $Ω$. We show that the corresponding elliptic measure $ω_L$ is quantitatively absolutely continuous with respect to surface measure of $\partialΩ$ in the sense that $ω_L \in A_\infty(σ)$ if and only if any bounded solution $u$ to $Lu = 0$ in $Ω$ is $\varepsilon$-approximable for any $\varepsilon \in (0,1)$. By $\varepsilon$-approximability of $u$ we mean that there exists a function $Φ= Φ^\varepsilon$ such that $\|u-Φ\|_{L^\infty(Ω)} \le \varepsilon\|u\|_{L^\infty(Ω)}$ and the measure $\widetildeμ_Φ$ with $d\widetildeμ = |\nabla Φ(Y)| \, dY$ is a Carleson measure with $L^\infty$ control over the Carleson norm.
As a consequence of this approximability result, we show that boundary $\operatorname{BMO}$ functions with compact support can have Varopoulos-type extensions even in some sets with unrectifiable boundaries, that is, smooth extensions that converge non-tangentially back to the original data and that satisfy $L^1$-type Carleson measure estimates with $\operatorname{BMO}$ control over the Carleson norm. Our result complements the recent work of Hofmann and the third named author who showed the existence of these types of extensions in the presence of a quantitative rectifiability hypothesis.
△ Less
Submitted 26 February, 2023;
originally announced February 2023.
-
Connectivity conditions and boundary Poincaré inequalities
Authors:
Olli Tapiola,
Xavier Tolsa
Abstract:
Inspired by recent work of Mourgoglou and the second named author, and earlier work of Hofmann, Mitrea and Taylor, we consider connections between the local John condition, the Harnack chain condition and weak boundary Poincaré inequalities in open sets $Ω\subset \mathbb{R}^{n+1}$, with codimension $1$ Ahlfors--David regular boundaries. First, we prove that if $Ω$ satisfies both the local John con…
▽ More
Inspired by recent work of Mourgoglou and the second named author, and earlier work of Hofmann, Mitrea and Taylor, we consider connections between the local John condition, the Harnack chain condition and weak boundary Poincaré inequalities in open sets $Ω\subset \mathbb{R}^{n+1}$, with codimension $1$ Ahlfors--David regular boundaries. First, we prove that if $Ω$ satisfies both the local John condition and the exterior corkscrew condition, then $Ω$ also satisfies the Harnack chain condition (and hence, is a chord-arc domain). Second, we show that if $Ω$ is a $2$-sided chord-arc domain, then the boundary $\partial Ω$ supports a Heinonen--Koskela type weak $1$-Poincaré inequality. We also construct an example of a set $Ω\subset \mathbb{R}^{n+1}$ such that the boundary $\partial Ω$ is Ahlfors--David regular and supports a weak boundary $1$-Poincaré inequality but $Ω$ is not a chord-arc domain. Our proofs utilize significant advances in particularly harmonic measure, uniform rectifiability and metric Poincaré theories.
△ Less
Submitted 20 July, 2023; v1 submitted 23 May, 2022;
originally announced May 2022.
-
Uniform rectifiability implies Varopoulos extensions
Authors:
Steve Hofmann,
Olli Tapiola
Abstract:
We construct extensions of Varopolous type for functions $f \in \text{BMO}(E)$, for any uniformly rectifiable set $E$ of codimension one. More precisely, let $Ω\subset \mathbb{R}^{n+1}$ be an open set satisfying the corkscrew condition, with an $n$-dimensional uniformly rectifiable boundary $\partial Ω$, and let $σ:= \mathcal{H}^n\lfloor_{\partial Ω}$ denote the surface measure on $\partial Ω$. We…
▽ More
We construct extensions of Varopolous type for functions $f \in \text{BMO}(E)$, for any uniformly rectifiable set $E$ of codimension one. More precisely, let $Ω\subset \mathbb{R}^{n+1}$ be an open set satisfying the corkscrew condition, with an $n$-dimensional uniformly rectifiable boundary $\partial Ω$, and let $σ:= \mathcal{H}^n\lfloor_{\partial Ω}$ denote the surface measure on $\partial Ω$. We show that if $f \in \text{BMO}(\partial Ω,dσ)$ with compact support on $\partial Ω$, then there exists a smooth function $V$ in $Ω$ such that $|\nabla 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 $L^p$-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 \in C_c(\partial Ω)$, a harmonic extension $u$, with $|\nabla u(Y)|^2 \text{dist}(Y,\partial Ω) \, dY $ a Carleson measure controlled by the BMO norm of $f$, only in the presence of an appropriate quantitative connectivity condition.
△ Less
Submitted 17 March, 2020;
originally announced March 2020.
-
$C_p$ estimates for rough homogeneous singular integrals and sparse forms
Authors:
Javier Canto,
Kangwei Li,
Luz Roncal,
Olli Tapiola
Abstract:
We consider Coifman--Fefferman inequalities for rough homogeneous singular integrals $T_Ω$ and $C_p$ weights. It was recently shown by Li-Pérez-Rivera-Ríos-Roncal that $$
\|T_Ω\|_{L^p(w)} \le C_{p,T,w} \|Mf\|_{L^p(w)} $$ for every $0< p < \infty$ and every $w \in A_\infty$. Our first goal is to generalize this result for every $w \in C_q$ where $q > \max\{1,p\}$ without using extrapolation theor…
▽ More
We consider Coifman--Fefferman inequalities for rough homogeneous singular integrals $T_Ω$ and $C_p$ weights. It was recently shown by Li-Pérez-Rivera-Ríos-Roncal that $$
\|T_Ω\|_{L^p(w)} \le C_{p,T,w} \|Mf\|_{L^p(w)} $$ for every $0< p < \infty$ and every $w \in A_\infty$. Our first goal is to generalize this result for every $w \in C_q$ where $q > \max\{1,p\}$ without using extrapolation theory. Although the bounds we prove are new even in a qualitative sense, we also give the quantitative bound with respect to the $C_q$ characteristic. Our techniques rely on recent advances in sparse domination theory and we actually prove most of our estimates for sparse forms.
Our second goal is to continue the structural analysis of $C_p$ classes. We consider some weak self-improving properties of $C_p$ weights and weak and dyadic $C_p$ classes. We also revisit and generalize a counterexample by Kahanpää and Mejlbro who showed that $C_p \setminus \bigcup_{q > p} C_q \neq \emptyset$. We combine their construction with techniques of Lerner to define an explicit weight class $\widetilde{C}_p$ such that $\bigcup_{q > p} C_q \subsetneq \widetilde{C}_p \subsetneq C_p$ and every $w \in \widetilde{C}_p$ satisfies Muckenhoupt's conjecture. In particular, we give a different, self-contained proof for the fact that the $C_{p+\varepsilon}$ condition is not necessary for the Coifman--Fefferman inequality and our ideas allow us to consider also dimensions higher than $1$.
△ Less
Submitted 18 September, 2019;
originally announced September 2019.
-
$\varepsilon$-Approximability of Harmonic Functions in $L^p$ Implies Uniform Rectifiability
Authors:
Simon Bortz,
Olli Tapiola
Abstract:
Suppose that $Ω\subset \mathbb{R}^{n+1}$, $n \ge 2$, is an open set satisfying the corkscrew condition with an $n$-dimensional ADR boundary, $\partial Ω$. In this note, we show that if harmonic functions are $\varepsilon$-approximable in $L^p$ for any $p > n/(n-1)$, then $\partial Ω$ is uniformly rectifiable. Combining our results with those in [HT] (Hofmann-Tapiola) gives us a new characterizatio…
▽ More
Suppose that $Ω\subset \mathbb{R}^{n+1}$, $n \ge 2$, is an open set satisfying the corkscrew condition with an $n$-dimensional ADR boundary, $\partial Ω$. In this note, we show that if harmonic functions are $\varepsilon$-approximable in $L^p$ for any $p > n/(n-1)$, then $\partial Ω$ is uniformly rectifiable. Combining our results with those in [HT] (Hofmann-Tapiola) gives us a new characterization of uniform rectifiability which complements the recent results in [HMM] (Hofmann-Martell-Mayboroda), [GMT] (Garnett-Mourgoglou-Tolsa) and [AGMT] (Azzam-Garnett-Mourgoglou-Tolsa).
△ Less
Submitted 18 January, 2018;
originally announced January 2018.
-
Uniform rectifiability and $\varepsilon$-approximability of harmonic functions in $L^p$
Authors:
Steve Hofmann,
Olli Tapiola
Abstract:
Suppose that $E \subset \mathbb{R}^{n+1}$ is a uniformly rectifiable set of codimension $1$. We show that every harmonic function is $\varepsilon$-approximable in $L^p(Ω)$ for every $p \in (1,\infty)$, where $Ω:= \mathbb{R}^{n+1} \setminus E$. Together with results of many authors this shows that pointwise, $L^\infty$ and $L^p$ type $\varepsilon$-approximability properties of harmonic functions ar…
▽ More
Suppose that $E \subset \mathbb{R}^{n+1}$ is a uniformly rectifiable set of codimension $1$. We show that every harmonic function is $\varepsilon$-approximable in $L^p(Ω)$ for every $p \in (1,\infty)$, where $Ω:= \mathbb{R}^{n+1} \setminus E$. Together with results of many authors this shows that pointwise, $L^\infty$ and $L^p$ type $\varepsilon$-approximability properties of harmonic functions are all equivalent and they characterize uniform rectifiability for codimension $1$ Ahlfors-David regular sets. Our results and techniques are generalizations of recent works of T. Hytönen and A. Rosén and the first author, J. M. Martell and S. Mayboroda.
△ Less
Submitted 17 May, 2019; v1 submitted 16 October, 2017;
originally announced October 2017.
-
Quantitative weighted estimates for rough homogeneous singular integrals
Authors:
Tuomas P. Hytönen,
L. Roncal,
Olli Tapiola
Abstract:
We consider homogeneous singular kernels, whose angular part is bounded, but need not have any continuity. For the norm of the corresponding singular integral operators on the weighted space $L^2(w)$, we obtain a bound that is quadratic in the $A_2$ constant $[w]_{A_2}$. We do not know if this is sharp, but it is the best known quantitative result for this class of operators. The proof relies on a…
▽ More
We consider homogeneous singular kernels, whose angular part is bounded, but need not have any continuity. For the norm of the corresponding singular integral operators on the weighted space $L^2(w)$, we obtain a bound that is quadratic in the $A_2$ constant $[w]_{A_2}$. We do not know if this is sharp, but it is the best known quantitative result for this class of operators. The proof relies on a classical decomposition of these operators into smooth pieces, for which we use a quantitative elaboration of Lacey's dyadic decomposition of Dini-continuous operators: the dependence of constants on the Dini norm of the kernels is crucial to control the summability of the series expansion of the rough operator. We conclude with applications and conjectures related to weighted bounds for powers of the Beurling transform.
△ Less
Submitted 20 October, 2015;
originally announced October 2015.
-
Adjacent dyadic systems and the $L^p$-boundedness of shift operators in metric spaces revisited
Authors:
Olli Tapiola
Abstract:
With the help of recent adjacent dyadic constructions by Hytönen and the author, we give an alternative proof of results of Lechner, Müller and Passenbrunner about the $L^p$-boundedness of shift operators acting on functions $f \in L^p(X;E)$ where $1 < p < \infty$, $X$ is a metric space and $E$ is a UMD space.
With the help of recent adjacent dyadic constructions by Hytönen and the author, we give an alternative proof of results of Lechner, Müller and Passenbrunner about the $L^p$-boundedness of shift operators acting on functions $f \in L^p(X;E)$ where $1 < p < \infty$, $X$ is a metric space and $E$ is a UMD space.
△ Less
Submitted 7 December, 2015; v1 submitted 7 April, 2015;
originally announced April 2015.
-
Weak A_\infty weights and weak Reverse Hölder property in a space of homogeneous type
Authors:
Theresa C. Anderson,
Tuomas Hytönen,
Olli Tapiola
Abstract:
In the Euclidean setting, the Fujii-Wilson-type $A_\infty$ weights satisfy a Reverse Hölder Inequality (RHI) but in spaces of homogeneous type the best known result has been that $A_\infty$ weights satisfy only a weak Reverse Hölder Inequality. In this paper, we compliment the results of Hytönen, Pérez and Rela and show that there exist both $A_\infty$ weights that do not satisfy an RHI and a genu…
▽ More
In the Euclidean setting, the Fujii-Wilson-type $A_\infty$ weights satisfy a Reverse Hölder Inequality (RHI) but in spaces of homogeneous type the best known result has been that $A_\infty$ weights satisfy only a weak Reverse Hölder Inequality. In this paper, we compliment the results of Hytönen, Pérez and Rela and show that there exist both $A_\infty$ weights that do not satisfy an RHI and a genuinely weaker weight class that still satisfies a weak RHI. We also show that all the weights that satisfy a weak RHI have a self-improving property but the self-improving property of the strong Reverse Hölder weights fails in a general space of homogeneous type. We prove most of these purely non-dyadic results using convenient dyadic systems and techniques.
△ Less
Submitted 7 December, 2015; v1 submitted 14 October, 2014;
originally announced October 2014.
-
Almost Lipschitz-continuous wavelets in metric spaces via a new randomization of dyadic cubes
Authors:
Tuomas Hytönen,
Olli Tapiola
Abstract:
In any quasi-metric space of homogeneous type, Auscher and Hytönen recently gave a construction of orthonormal wavelets with Hölder-continuity exponent $η>0$. However, even in a metric space, their exponent is in general quite small. In this paper, we show that the Hölder-exponent can be taken arbitrarily close to 1 in a metric space. We do so by revisiting and improving the underlying constructio…
▽ More
In any quasi-metric space of homogeneous type, Auscher and Hytönen recently gave a construction of orthonormal wavelets with Hölder-continuity exponent $η>0$. However, even in a metric space, their exponent is in general quite small. In this paper, we show that the Hölder-exponent can be taken arbitrarily close to 1 in a metric space. We do so by revisiting and improving the underlying construction of random dyadic cubes, which also has other applications.
△ Less
Submitted 8 October, 2013;
originally announced October 2013.
