-
Riesz Transform Characterizations of $H^1$ and {\rm BMO} on Ahlfors Regular Sets with Small Oscillations
Authors:
Dorina Mitrea,
Irina Mitrea,
Marius Mitrea
Abstract:
We employ the Riesz transform as a means for describing geometric properties of sets in ${\mathbb{R}}^n$, and study the extent to which they can be used to characterize function spaces defined on said sets. In particular, characterizations of the end-point spaces on the Lebesgue scale $L^p$ with $1<p<\infty$, namely the Hardy space $H^1$ and the John-Nirenberg space {\rm BMO}, are produced in term…
▽ More
We employ the Riesz transform as a means for describing geometric properties of sets in ${\mathbb{R}}^n$, and study the extent to which they can be used to characterize function spaces defined on said sets. In particular, characterizations of the end-point spaces on the Lebesgue scale $L^p$ with $1<p<\infty$, namely the Hardy space $H^1$ and the John-Nirenberg space {\rm BMO}, are produced in terms of the Riesz transforms on Ahlfors regular sets in ${\mathbb{R}}^n$ with small oscillations (quantified in terms of the {\rm BMO} nature of the outward unit normal). These generalize the celebrated results of C.~Fefferman and E.~Stein in the flat Euclidean setting.
△ Less
Submitted 23 March, 2025;
originally announced March 2025.
-
Fatou-Type Theorems and Boundary Value Problems for Elliptic Systems in the Upper Half-Space
Authors:
José María Martell,
Dorina Mitrea,
Irina Mitrea,
Marius Mitrea
Abstract:
We survey recent progress in a program aimed at proving general Fatou-type results and establishing the well-posedness of a variety of boundary value problems in the upper half-space ${\mathbb{R}}^n_{+}$ for second-order, homogeneous, constant complex coefficient, elliptic systems $L$, formulated in a manner that emphasizes pointwise nontangential boundary traces of the null-solutions of $L$ in…
▽ More
We survey recent progress in a program aimed at proving general Fatou-type results and establishing the well-posedness of a variety of boundary value problems in the upper half-space ${\mathbb{R}}^n_{+}$ for second-order, homogeneous, constant complex coefficient, elliptic systems $L$, formulated in a manner that emphasizes pointwise nontangential boundary traces of the null-solutions of $L$ in ${\mathbb{R}}^n_{+}$.
△ Less
Submitted 21 February, 2019;
originally announced February 2019.
-
The BMO-Dirichlet problem for elliptic systems in the upper-half space and quantitative characterizations of VMO
Authors:
José María Martell,
Dorina Mitrea,
Irina Mitrea,
Marius Mitrea
Abstract:
We prove that for any homogeneous, second order, constant complex coefficient elliptic system $L$, the Dirichlet problem in $\mathbb{R}^{n}_{+}$ with boundary data in BMO is well-posed in the class of functions $u$ with $dμ_u(x',t):=|\nabla u(x',t)|^2\,t\,dx'dt$ being a Carleson measure. We establish a Fatou type theorem guaranteeing the existence of the pointwise nontangential boundary trace for…
▽ More
We prove that for any homogeneous, second order, constant complex coefficient elliptic system $L$, the Dirichlet problem in $\mathbb{R}^{n}_{+}$ with boundary data in BMO is well-posed in the class of functions $u$ with $dμ_u(x',t):=|\nabla u(x',t)|^2\,t\,dx'dt$ being a Carleson measure. We establish a Fatou type theorem guaranteeing the existence of the pointwise nontangential boundary trace for smooth null-solutions $u$ of such systems satisfying the said Carleson measure condition. These imply that BMO can be characterized as the collection of nontangential pointwise traces of smooth null-solutions $u$ to the elliptic system $L$ with the property that $μ_u$ is a Carleson measure.
We establish a regularity result for the BMO-Dirichlet problem in the upper-half space: the nontangential pointwise trace of any given smooth null-solutions of $L$ satisfying the above Carleson measure condition belongs to Sarason's space VMO if and only if $μ_u$ satsifies a vanishing Carleson measure condition. Moreover, we obtain the well-posedness of the Dirichlet problems when the boundary data are prescribed in Morrey-Campanato and solutions are required to satisfy a vanishing Carleson measure condition of fractional order.
As a consequence, we characterize the space VMO as the closure in BMO of classes of smooth functions contained in BMO within which uniform continuity may be suitably quantified (such as the class of smooth functions satisfying a Hölder or Lipschitz condition), improving Sarason's classical result describing VMO as the closure in BMO of the space of uniformly continuous functions with bounded mean oscillations.
Finally, we show that any Calderón-Zygmund operator $T$ satisfying $T(1)=0$ extends as a bounded linear operator in $\mathrm{VMO}$, and characterize the membership to $\mathrm{VMO}$ via the action of various classes of singular integral operators.
△ Less
Submitted 24 August, 2018; v1 submitted 26 May, 2016;
originally announced May 2016.
-
Characterizing regularity of domains via Riesz transforms on their boundaries
Authors:
D. Mitrea,
M. Mitrea,
J. Verdera
Abstract:
Given a domain D in R^d with mild geometric measure theoretic assumptions on its boundary, we show that boundedness of the principal value Riesz tranforms (witn kernel of homogeneity -(d-1)) on Hölder spaces of order alpha on the boundary of D is equivalent to D being a Lyapunov domain of order alpha (i.e., the boundary of D is an hypersurface of class 1+alpha). Another equivalent condition involv…
▽ More
Given a domain D in R^d with mild geometric measure theoretic assumptions on its boundary, we show that boundedness of the principal value Riesz tranforms (witn kernel of homogeneity -(d-1)) on Hölder spaces of order alpha on the boundary of D is equivalent to D being a Lyapunov domain of order alpha (i.e., the boundary of D is an hypersurface of class 1+alpha). Another equivalent condition involving Riesz transforms on D is discussed. We also prove that on Lyapunov domains of order alpha the higher order Riesz transforms associated with an odd polynomial are bounded on the Hölder space of order alpha on the boundary of D. Finally, a limiting case of the above results dealing with VMO and Semmes-Kenig-Toro domains is considered.
△ Less
Submitted 24 January, 2016; v1 submitted 9 October, 2014;
originally announced October 2014.
-
On the $L^p$-Poisson semigroup associated with elliptic systems
Authors:
José María Martell,
Dorina Mitrea,
Irina Mitrea,
Marius Mitrea
Abstract:
We study the infinitesimal generator of the Poisson semigroup in $L^p$ associated with homogeneous, second-order, strongly elliptic systems with constant complex coefficients in the upper-half space, which is proved to be the Dirichlet-to-Normal mapping in this setting. Also, its domain is identified as the linear subspace of the $L^p$-based Sobolev space of order one on the boundary of the upper-…
▽ More
We study the infinitesimal generator of the Poisson semigroup in $L^p$ associated with homogeneous, second-order, strongly elliptic systems with constant complex coefficients in the upper-half space, which is proved to be the Dirichlet-to-Normal mapping in this setting. Also, its domain is identified as the linear subspace of the $L^p$-based Sobolev space of order one on the boundary of the upper-half space consisting of functions for which the Regularity problem is solvable. Moreover, for a class of systems containing the Lamé system, as well as all second-order, scalar elliptic operators, with constant complex coefficients, the action of the infinitesimal generator is explicitly described in terms of singular integral operators whose kernels involve first-order derivatives of the canonical fundamental solution of the given system. Furthermore, arbitrary powers of the infinitesimal generator of the said Poisson semigroup are also described in terms of higher order Sobolev spaces and a higher order Regularity problem for the system in question. Finally, we indicate how our techniques may adapted to treat the case of higher order systems in graph Lipschitz domains.
△ Less
Submitted 9 September, 2014;
originally announced September 2014.
-
The Dirichlet problem for elliptic systems with data in Köthe function spaces
Authors:
José María Martell,
Dorina Mitrea,
Irina Mitrea,
Marius Mitrea
Abstract:
We show that the boundedness of the Hardy-Littlewood maximal operator on a Köthe function space ${\mathbb{X}}$ and on its Köthe dual ${\mathbb{X}}'$ is equivalent to the well-posedness of the $\mathbb{X}$-Dirichlet and $\mathbb{X}'$-Dirichlet problems in $\mathbb{R}^{n}_{+}$ in the class of all second-order, homogeneous, elliptic systems, with constant complex coefficients. As a consequence, we ob…
▽ More
We show that the boundedness of the Hardy-Littlewood maximal operator on a Köthe function space ${\mathbb{X}}$ and on its Köthe dual ${\mathbb{X}}'$ is equivalent to the well-posedness of the $\mathbb{X}$-Dirichlet and $\mathbb{X}'$-Dirichlet problems in $\mathbb{R}^{n}_{+}$ in the class of all second-order, homogeneous, elliptic systems, with constant complex coefficients. As a consequence, we obtain that the Dirichlet problem for such systems is well-posed for boundary data in Lebesgue spaces, variable exponent Lebesgue spaces, Lorentz spaces, Zygmund spaces, as well as their weighted versions. We also discuss a version of the aforementioned result which contains, as a particular case, the Dirichlet problem for elliptic systems with data in the classical Hardy space $H^1$, and the Beurling-Hardy space ${\rm HA}^p$ for $p\in(1,\infty)$. Based on the well-posedness of the $L^p$-Dirichlet problem we then prove the uniqueness of the Poisson kernel associated with such systems, as well as the fact that they generate a strongly continuous semigroup in natural settings. Finally, we establish a general Fatou type theorem guaranteeing the existence of the pointwise nontangential boundary trace for null-solutions of such systems.
△ Less
Submitted 6 October, 2016; v1 submitted 13 May, 2014;
originally announced May 2014.
-
The higher order regularity Dirichlet problem for elliptic systems in the upper-half space
Authors:
José María Martell,
Dorina Mitrea,
Irina Mitrea,
Marius Mitrea
Abstract:
We identify a large class of constant (complex) coefficient, second order elliptic systems for which the Dirichlet problem in the upper-half space with data in $L^p$-based Sobolev spaces, $1<p<\infty$, of arbitrary smoothness $\ell$, is well-posed in the class of functions whose nontangential maximal operator of their derivatives up to, and including, order $\ell$ is $L^p$-integrable. This class i…
▽ More
We identify a large class of constant (complex) coefficient, second order elliptic systems for which the Dirichlet problem in the upper-half space with data in $L^p$-based Sobolev spaces, $1<p<\infty$, of arbitrary smoothness $\ell$, is well-posed in the class of functions whose nontangential maximal operator of their derivatives up to, and including, order $\ell$ is $L^p$-integrable. This class includes all scalar, complex coefficient elliptic operators of second order, as well as the Lamé system of elasticity, among others.
△ Less
Submitted 12 May, 2014;
originally announced May 2014.
-
Square Function Estimates in Spaces of Homogeneous Type and on Uniformly Rectifiable Euclidean Sets
Authors:
Steve Hofmann,
Dorina Mitrea,
Marius Mitrea,
Andrew J. Morris
Abstract:
We announce a local $T(b)$ theorem, an inductive scheme, and $L^p$ extrapolation results for $L^2$ 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 $L^2$ square function estim…
▽ More
We announce a local $T(b)$ theorem, an inductive scheme, and $L^p$ extrapolation results for $L^2$ 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 $L^2$ square function estimates under the so-called big pieces functor. In particular, this analysis implies $L^p$ and Hardy space square function estimates for integral operators on uniformly rectifiable subsets of the Euclidean space.
△ Less
Submitted 30 January, 2014;
originally announced January 2014.
-
$L^p$-Square Function Estimates on Spaces of Homogeneous Type and on Uniformly Rectifiable Sets
Authors:
Steve Hofmann,
Dorina Mitrea,
Marius Mitrea,
Andrew J. Morris
Abstract:
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…
▽ More
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 $L^p$ 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.
△ Less
Submitted 21 January, 2013;
originally announced January 2013.
-
Extending Sobolev Functions with Partially Vanishing Traces from Locally (epsilon,delta)-Domains and Applications to Mixed Boundary Problems
Authors:
Kevin Brewster,
Dorina Mitrea,
Irina Mitrea,
Marius Mitrea
Abstract:
We prove that given any positive integer $k$, for each open set $Ω$ and any closed subset $D$ of its closure such that $Ω$ is locally an (epsilon,delta)-domain near points in the boundary of $Ω$ not contained in $D$ there exists a linear and bounded extension operator $E$ mapping, for each $p\in[1,\infty]$, the space $W^{k,p}_D(Ω)$ into $W^{k,p}_D({\mathbb{R}}^n)$. Here, with $O$ denoting either…
▽ More
We prove that given any positive integer $k$, for each open set $Ω$ and any closed subset $D$ of its closure such that $Ω$ is locally an (epsilon,delta)-domain near points in the boundary of $Ω$ not contained in $D$ there exists a linear and bounded extension operator $E$ mapping, for each $p\in[1,\infty]$, the space $W^{k,p}_D(Ω)$ into $W^{k,p}_D({\mathbb{R}}^n)$. Here, with $O$ denoting either $Ω$ or the entire ambient, the space $W^{k,p}_D(O)$ is defined as the completion in the classical Sobolev space $W^{k,p}(O)$ of compactly supported smooth functions whose supports are disjoint from $D$. In turn, this result is used to develop a functional analytic theory for the class $W^{k,p}_D(Ω)$ (including intrinsic characterizations, boundary traces and extensions results, interpolation theorems, among other things) which is then employed in the treatment of mixed boundary value problems formulated in locally (epsilon,delta)-domains.
△ Less
Submitted 20 August, 2012;
originally announced August 2012.
