Consider the second order divergence form elliptic operator $L$ with complex bounded coefficients. In general, the operators related to it (such as Riesz transform or square function) lie beyond the scope of the Calderón-Zygmund theory. They need not be bounded in the classical Hardy, BMO and even some $L^p$ spaces.
In this work we generalize the classical approach and develop a theory of Hardy and BMO spaces associated to $L$, which includes, in particular, molecular decomposition, maximal function characterization, duality of Hardy and BMO spaces, John-Nirenberg inequality, and allows to handle aforementioned operators.
In this paper we consider composition operators on Hardy-Sobolev spaces in connections with $BMO$-quasiconformal mappings. Using the duality of Hardy spaces and $BMO$-spaces we prove that $BMO$-quasiconformal mappings generate bounded composition operators from Hardy-Sobolev spaces to Sobolev spaces.
This note presents a correction to the paper ``Hardy and BMO spaces associated to divergence form elliptic operators" by Steve Hofmann and Svitlana Mayboroda
Suppose $L=-Δ+V$ is a Schrödinger operator on $\mathbb{R}^n$ with a potential $V$ belonging to certain reverse Hölder class $RH_σ$ with $σ\geq n/2$. The main aim of this paper is to provide necessary and sufficient conditions in terms of $T1$ criteria for a generalised Calderón--Zygmund type operator with respect to $L$ to be bounded on Hardy spaces $H^p_L(\mathbb{R}^n)$ and on BMO type spaces BMO$_L^α(\mathbb{R}^n)$ associated with $L$. As applications, we prove the boundedness for several singular integral operators associated to $L$. Our approach is flexible enough to prove the boundedness …
We consider a family of measures on a $q$-homogeneous tree that decrease exponentially with respect to the distance from the origin. Such measures are doubling with respect to the Gromov distance. We define atomic Hardy and BMO spaces for that measures, and we prove interpolation results regarding such spaces. As a consequence we have boundedness results for integral operators involving Hardy, BMO, and $L^p$ spaces.
We establish an estimate of the BMO-norm of a divergence-free vector field in ${\mathbb R}^3$ in terms of the operator norm of an associated paracommutator. The latter is essentially a $Ψ$DO, whose symbol depends linearly on the vector field. Together with the result of P.~Auscher and M.~Taylor concerning the converse estimate, this provides an equivalent norm in the space of divergence-free fields from BMO.
We prove the unique solvability in weighted Sobolev spaces of non-divergence form elliptic and parabolic equations on a half space with the homogeneous Neumann boundary condition. All the leading coefficients are assumed to be only measurable in the time variable and have small mean oscillations in the spatial variables. Our results can be applied to Neumann boundary value problems for {\em stochastic} partial differential equations with BMO$_x$ coefficients.
In this paper we establish the product Hardy spaces associated with the Bessel Schrödinger operator introduced by Muckenhoupt and Stein, and provide equivalent characterizations in terms of the Bessel Riesz transforms, non-tangential and radial maximal functions, and Littlewood--Paley theory, which are consistent with the classical product Hardy space theory developed by Chang and Fefferman. Moreover, in this specific setting, we also provide another characterization via the Telyakovskií transform, which further implies that the product Hardy space associated with this Bessel Schrödinger opera…
The solvability in Sobolev spaces is proved for divergence form second order elliptic equations in the whole space, a half space, and a bounded Lipschitz domain. For equations in the whole space or a half space, the leading coefficients $a^{ij}$ are assumed to be measurable in one direction and have small BMO semi-norms in the other directions. For equations in a bounded domain, additionally we assume that $a^{ij}$ have small BMO semi-norms in a neighborhood of the boundary of the domain. We give a unified approach of both the Dirichlet boundary problem and the conormal derivative problem. We …
We study $s$-fractional $p$-Laplacian type equations with discontinuous kernel coefficients in divergence form to establish $W^{s+σ,q}$ estimates for any choice of pairs $( σ,q)$ with $q\in(p,\infty)$ and $σ\in\left(0,\min\left\{\frac{s}{p-1},1-s\right\}\right)$ under the assumption that the associated kernel coefficients have small BMO seminorms near the diagonal. As a consequence, we find in the literature an optimal fractional Sobolev regularity of such a non-homogeneous nonlocal equation when the right-hand side is presented by a suitable fractional operator. Our results are new even in th…
We establish the solvability of second order divergence type parabolic systems in Sobolev spaces. The leading coefficients are assumed to be only measurable in one spatial direction on each small parabolic cylinder with the spatial direction allowed to depend on the cylinder. In the other orthogonal directions and the time variable the coefficients have locally small mean oscillations. We also obtain the corresponding $W^1_p$-solvability of second order elliptic systems in divergence form. Our results are new even for scalar equations and the proofs simplify the methods used previously in [12]
This paper provides a deeper study of the Hardy and $\rm BMO$ spaces associated to the Neumann Laplacian $Δ_N$. For the Hardy space $H^1_{Δ_N}(\mathbb{R}^n)$ (which is a proper subspace of the classical Hardy space $H^1(\mathbb{R}^n)$) we demonstrate that the space has equivalent norms in terms of Riesz transforms, maximal functions, atomic decompositions, and weak factorizations. While for the space ${\rm BMO}_{Δ_N}(\mathbb{R}^n)$ (which contains the classical $\rm BMO(\mathbb{R}^n)$) we prove that it can be characterized in terms of the action of the Riesz transforms associated to the Neuman…
In this paper, we investigate the boundary behavior of solutions of divergence-form operators with an elliptic symmetric part and a $BMO$ anti-symmetric part. Our results will hold in non-tangentially accessible (NTA) domains; these general domains were introduced by Jerison and Kenig and include the class of Lipschitz domains. We establish the Hölder continuity of the solutions at the boundary, existence of elliptic measures $ω_L$ associated to such operators, and the well-posedness of the continuous Dirichlet problem as well as the $L^p(dω)$ Dirichlet problem in NTA domains. The equivalence …
In this paper, we work in the setting of Bessel operators and Bessel Laplace equations studied by Weinstein, Huber, and the harmonic function theory in this setting introduced by Muckenhoupt--Stein, especially the generalised Cauchy--Riemann equations and the conjugate harmonic functions. We provide the equivalent characterizations of product Hardy spaces associated with Bessel operators in terms of the Bessel Riesz transforms, non-tangential and radial maximal functions defined via Poisson and heat semigroups, based on the atomic decomposition, the extension of Merryfield's result which conne…
We investigate the validity and failure of Liouville theorems and Harnack inequalities for parabolic and elliptic operators with low regularity coefficients. We are particularly interested in operators of the form $\partial_t - Δ+b\cdot\nabla$ and $-Δ+b\cdot\nabla$ with a divergence-free drift $b$. We prove the Liouville theorem and Harnack inequality when $b\in L_\infty(BMO^{-1})$ resp. $b\in BMO^{-1}$ and provide a counterexample to such results demonstrating sharpness of our conditions on the drift. Our results generalize to divergence-form operators with an elliptic symmetric part and a BM…
We prove the solvability in Sobolev spaces for both divergence and non-divergence form higher order parabolic and elliptic systems in the whole space, on a half space, and on a bounded domain. The leading coefficients are assumed to be merely measurable in the time variable and have small mean oscillations with respect to the spatial variables in small balls or cylinders. For the proof, we develop a set of new techniques to produce mean oscillation estimates for systems on a half space.
We establish a connection between the absolute continuity of elliptic measure associated to a second order divergence form operator with bounded measurable coefficients with the solvability of an endpoint $BMO$ Dirichlet problem. We show that these two notions are equivalent. As a consequence we obtain an end-point perturbation result, i.e., the solvability of the $BMO$ Dirichlet problem implies $L^p$ solvability for all $p>p_0$.
Let $Ω$ be a Lipschitz domain in $\mathbb R^n,n\geq 3,$ and $L=\divt A\nabla$ be a second order elliptic operator in divergence form. We will establish that the solvability of the Dirichlet regularity problem for boundary data in Hardy-Sobolev space $\HS$ is equivalent to the solvability of the Dirichlet regularity problem for boundary data in $H^{1,p}$ for some $1<p<\infty$. This is a "dual result" to a theorem in \cite{DKP09}, where it has been shown that the solvability of the Dirichlet problem with boundary data in $\text{BMO}$ is equivalent to the solvability for boundary data in $L^p(\pa…
This note studies the Hardy-type inequalities for vector fields with the $L^1$ norm of the $\curl$. In contrast to the well-known results in the whole space for the divergence-free vectors, we generalize the Hardy-type inequalities to the bounded domains and to the non-divergence-free vector fields with the tangential components on the boundary vanishing.
By using some recent results for divergence form equations, we study the $L_p$-solvability of second-order elliptic and parabolic equations in nondivergence form for any $p\in (1,\infty)$. The leading coefficients are assumed to be in locally BMO spaces with suitably small BMO seminorms. We not only extend several previous results by Krylov and Kim [14]-[18] to the full range of $p$, but also deal with equations with more general coefficients.
In this paper, we prove Hardy-Leray inequality for three-dimensional solenoidal (i.e., divergence-free) fields with the best constant. To derive the best constant, we impose the axisymmetric condition only on the swirl components. This partially complements the former work by O. Costin and V. Maz'ya \cite{Costin-Mazya} on the sharp Hardy-Leray inequality for axisymmetric divergence-free fields.
In this paper, thanks to the generalizations of the dual spaces of the Hardy-amalgam spaces $\mathcal H^{(q,p)}$ and $\mathcal{H}_{\mathrm{loc}}^{(q,p)}$ for $0<q\leq1$ and $q\leq p<\infty$, obtained in our earlier paper, we prove that the inclusion of $\mathcal H^{(1,p)}$ in $(L^1,\ell^p)$ for $1\leq p<\infty$ is strict, and more generally, the one of $\mathcal H^{(q,p)}$ in $\mathcal{H}_{\mathrm{loc}}^{(q,p)}$ for $0<q\leq1$ and $q\leq p<\infty$. Moreover, as other applications, we obtain results of boundedness of Calderón-Zygmund and convolution operators, generalizing those known in the co…
We first consider two types of localizations of singular integral operators of convolution type, and show, under mild decay and smoothness conditions on the auxiliary functions, that their boundedness on the local Hardy space $h^1(\mathbb{R}^n)$ is equivalent. We then study the boundedness on $h^1(\mathbb{R}^n)$ of the commutator $[b,T]$ of an inhomogeneous singular integral operator with $b$ in $bmo(\mathbb{R}^n)$, the nonhomogeneous space of functions of bounded mean oscillation. We define local analogues of the atomic space $H^1_b(\mathbb{R}^n)$ introduced by Pérez in the case of the homoge…
This paper is devoted to various applications of Hardy-Sobolev type inequalities. We derive a new $L^2$ estimate for the $\bar{\partial}-$equation on ${\mathbb C}^n$ which yields a quantitative generalization of the Hartogs extension theorem to the case when the singularity set is not necessary compact. We show that for any negative subharmonic function $ψ$ on ${\mathbb R}^n$, $n>2$, the BMO norm of $\log |ψ|$ is bounded above by $2\sqrt{n-2}$ and $|ψ|^γ$ satisfies a reverse Hölder inequality for every $0<γ<1$. We also show that every plurisubharmonic function is locally BMO. Several Liouville…
We show that the sharp constant in the classical $n$-dimensional Hardy-Leray inequality can be improved for axisymmetric divergence-free fields, and find its optimal value. The same result is obtained for $n=2$ without the axisymmetry assumption.
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_\infty$ property) of elliptic-harmonic measure with respect to surface measure on $\partial Ω$. 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, un…
In this paper, we study an elliptic operator in divergence-form but not necessary symmetric. In particular, our results can be applied to elliptic operator $L=νΔ+u(x,t)\cdot\nabla$, where $u(\cdot,t)$ is a time-dependent vector field in $\mathbb{R}^{n}$, which is divergence-free in distribution sense, i.e. $\nabla\cdot u=0$. Suppose $u\in L_{t}^{\infty}(\textrm{BMO}_{x}^{-1})$. We show the existence of the fundamental solution $\varGamma(x,t;ξ,τ)$ of the parabolic operator $L-\partial_{t}$, and show that $\varGamma$ satisfies the Aronson estimate with a constant depending only on the dimension…
The solvability in Sobolev spaces is proved for divergence form complex-valued higher order parabolic systems in the whole space, on a half space, and on a Reifenberg flat domain. The leading coefficients are assumed to be merely measurable in one spacial direction and have small mean oscillations in the orthogonal directions on each small cylinder. The directions in which the coefficients are only measurable vary depending on each cylinder. The corresponding elliptic problem is also considered.
We prove weighted $L_{p,q}$-estimates for divergence type higher order elliptic and parabolic systems with irregular coefficients on Reifenberg flat domains. In particular, in the parabolic case the coefficients do not have any regularity assumptions in the time variable. As functions of the spatial variables, the leading coefficients are permitted to have small mean oscillations. The weights are in the class of Muckenhoupt weights $A_p$. We also prove the solvability of the systems in weighted Sobolev spaces.
Recently, both the bilinear decompositions $h^1(\mathbb{R}^n)\times \mathrm{\,bmo}(\mathbb{R}^n) \subset L^1 (\mathbb{R}^n)+h_\ast^Φ(\mathbb{R}^n)$ and $h^1(\mathbb{R}^n) \times \mathrm{bmo}(\mathbb{R}^n) \subset L^1 (\mathbb{R}^n) + h^{\log}(\mathbb{R}^n)$ were established. In this article, the authors prove in some sense that the former is sharp, while the latter is not. To this end, the authors first introduce the local Orlicz-slice Hardy space which contains the variant $h_\ast^Φ(\mathbb{R}^n)$ of the local Orlicz Hardy space introduced by A. Bonami and J. Feuto as a special case, and obta…
We are interested in some properties related to the solutions of non-local diffusion equations with divergence free drift. Existence, maximum principle and a positivity principle are proved. In order to study Holder regularity, we apply a method that relies in the Holder-Hardy spaces duality and in the molecular characterisation of local Hardy spaces. In these equations, the diffusion is given by Lévy-type operators with an associated Lévy measure satisfying some upper and lower bounds.
In this paper we establish the characterization of the weighted BMO via two weight commutators in the settings of the Neumann Laplacian $Δ_{N_+}$ on the upper half space $\mathbb{R}^n_+$ and the reflection Neumann Laplacian $Δ_N$ on $\mathbb{R}^n$ with respect to the weights associated to $Δ_{N_+}$ and $Δ_{N}$ respectively. This in turn yields a weak factorization for the corresponding weighted Hardy spaces, where in particular, the weighted class associated to $Δ_{N}$ is strictly larger than the Muckenhoupt weighted class and contains non-doubling weights. In our study, we also make contribut…
The present paper establishes 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 the Dirichlet problem for elliptic equation ${\rm div}(A\nabla u)=0$ in the upper half-space $(x,t)\in\mathbb{R}^{n+1}_+$ is uniquely solvable when $n\ge2$ and the boundary data is in $L^p(\mathbb{R}^n,dx)$ for some $p\in (1,\infty)$. This result is equivalent to saying that the elliptic…
In this note we prove an end-point regularity result on the Lp integrability of the second derivatives of solutions to non-divergence form uniformly elliptic equations whose second derivatives are a priori only known to be integrable. The main assumption on the elliptic operator is the Dini continuity of the coefficients. We provide a counterexample showing that the Dini condition is somehow optimal. We also give a counterexample related to the BMO regularity of second derivatives of solutions to elliptic equations.
We introduce the Hardy spaces $\mathcal{H}^{p}_{FIO}(\mathbb{R}^{n})$ for Fourier integral operators for $0<p<1$, thereby extending earlier constructions for $1\leq p\leq \infty$. We then establish various properties of these spaces, including their behavior under complex interpolation and duality, and their invariance under Fourier integral operators. We also obtain Sobolev embeddings, equivalent characterizations, and a molecular decomposition. These spaces are used in the companion article arXiv:2502.02511 to determine the sharp $\mathcal{H}^{1}(\mathbb{R}^{n})$ and $\mathrm{bmo}(\mathbb{R}…
We consider the Dirichlet boundary value problem for divergence form elliptic operators with bounded measurable coefficients. We prove that for uniform domains with Ahlfors regular boundary, the BMO solvability of such problems is equivalent to a quantitative absolute continuity of the elliptic measure with respect to the surface measure, i.e. $ω_L\in A_{\infty}(σ)$. This generalizes a previous result on Lipschitz domains by Dindos, Kenig and Pipher.
Let $p(\cdot):\mathbb R^n\rightarrow(0,\infty)$ be a variable exponent function satisfying the globally log-Hölder continuous condition. In this paper, we obtain the boundedness of para-product operators $π_b$ on variable Hardy spaces $H^{p(\cdot)}(\mathbb R^n)$, where $b\in BMO(\mathbb R^n)$. As an application, we show that non-convolution type Calderón-Zygmund operators $T$ are bounded on $H^{p(\cdot)}(\mathbb R^n)$ if and only if $T^\ast1=0$, where $\frac{n}{n+ε}<\mbox{essinf}_{x\in\mathbb R^n} p\le \mbox{esssup}_{x\in\mathbb R^n} p\le 1$, $ε$ is the regular exponent of kernel of $T$. Our a…
In this paper, we study both elliptic and parabolic equations in non-divergence form with singular degenerate coefficients. Weighted and mixed-norm $L_p$-estimates and solvability are established under some suitable partially weighted BMO regularity conditions on the coefficients. When the coefficients are constants, the operators are reduced to extensional operators which arise in the study of fractional heat equations and fractional Laplace equations. Our results are new even in this setting and in the unmixed case. For the proof, we establish both interior and boundary Lipschitz estimates f…
We consider Muckenhoupt weights $w$, and define weighted Hardy spaces $H^p_{\mathcal{T}}(w)$, where $\mathcal{T}$ denotes a conical square function or a non-tangential maximal function defined via the heat or the Poisson semigroup generated by a second order divergence form elliptic operator $L$. In the range $0<p< 1$, we give a molecular characterization of these spaces. Additionally, in the range $p\in \mathcal{W}_w(p_-(L),p_+(L))$ we see that these spaces are isomorphic to the $L^p(w)$ spaces. We also consider the Riesz transform $\nabla L^{-\frac{1}{2}}$, associated with $L$, and show that…
We provide an integral estimate for a non-divergence (non-variational) form second order elliptic equation $a_{ij}u_{ij}=u^p$, $u\ge 0$, $p\in[0, 1)$, with bounded discontinuous coefficients $a_{ij}$ having small BMO norm. We consider the simplest discontinuity of the form~$x\otimes x|x|^{-2}$ at the origin. As an application we show that the free boundary corresponding to the obstacle problem (i.e. when~$p=0$) cannot be smooth at the points of discontinuity of~$a_{ij}(x)$. To implement our construction, an integral estimate and a scale invariance will provide the homogeneity of the blow-up se…
Let $n\ge2$ and $Ω\subset\mathbb{R}^n$ be a bounded NTA domain. In this article, the authors investigate (weighted) global gradient estimates for Dirichlet boundary value problems of second order elliptic equations of divergence form with an elliptic symmetric part and a BMO anti-symmetric part in $Ω$. More precisely, for any given $p\in(2,\infty)$, the authors prove that a weak reverse Hölder inequality with exponent $p$ implies the global $W^{1,p}$ estimate and the global weighted $W^{1,q}$ estimate, with $q\in[2,p]$ and some Muckenhoupt weights, of solutions to Dirichlet boundary value prob…
We prove that a $IR n+1$-valued vector field on IR n is the sum of the traces of two harmonic gradients, one in each component of $IR n+1 \ IR n$ , and of a $IR n$-valued divergence free vector field. We apply this to the description of vanishing potentials in divergence form. The results are stated in terms of Clifford Hardy spaces, the structure of which is important for our study.
Let $p\in(0,1)$, $α:=1/p-1$ and, for any $τ\in [0,\infty)$, $Φ_{p}(τ):=τ/(1+τ^{1-p})$. Let $H^p(\mathbb R^n)$, $h^p(\mathbb R^n)$ and $Λ_{nα}(\mathbb{R}^n)$ be, respectively, the Hardy space, the local Hardy space and the inhomogeneous Lipschitz space on $\mathbb{R}^n$. In this article, applying the inhomogeneous renormalization of wavelets, the authors establish a bilinear decomposition for multiplications of elements in $h^p(\mathbb R^n)$ [or $H^p(\mathbb R^n)$] and $Λ_{nα}(\mathbb{R}^n)$, and prove that these bilinear decompositions are sharp in some sense. As applications, the authors also…
We establish global regularity of multilinear Fourier integral operators that are associated to nonlinear wave equations on product of $L^p$ spaces by proving endpoint boundedness on suitable products spaces containing combinations of the local Hardy space, the local BMO and the $L^2$ spaces.
Let $L$ be a homogeneous divergence form higher order elliptic operator with complex bounded measurable coefficients on $\mathbb{R}^n$ and $X$ a ball quasi-Banach function space on $\mathbb{R}^n$ satisfying some mild assumptions. Denote by $H_{X,\, L}(\mathbb{R}^n)$ the Hardy space, associated with both $L$ and $X$, which is defined via the Lusin area function related to the semigroup generated by $L$. In this article, the authors establish both the maximal function and the Riesz transform characterizations of $H_{X,\, L}(\mathbb{R}^n)$. The results obtained in this article have a wide range o…
