BZPEER

preprint2022arXiv

Carleson measure estimates, corona decompositions, and perturbation of elliptic operators without connectivity

Let $Ω$ be an open set with Ahlfors-David regular boundary satisfying the corkscrew condition. When $Ω$ is connected in some quantitative form one can establish that for any real elliptic operator with bounded coefficients, the quantitative absolute continuity of elliptic measures is equivalent to the fact that all bounded null solutions satisfy Carleson measure estimates. In turn, in the same setting these equivalent properties are stable under Fefferman-Kenig-Pipher perturbations. However, without connectivity, there is no Fefferman-Kenig-Pipher perturbation result available. In this paper, we work with a corona decomposition associated with the elliptic measure and show that it is equivalent to the fact that bounded null solutions satisfy partial/weak Carleson measure estimates, or to the fact that the Green function is comparable to the distance to the boundary in the corona sense. This characterization has profound consequences. We extend Fefferman-Kenig-Pipher's perturbation to non-connected settings. For the Laplacian, these corona decompositions or, equivalently, the partial/weak Carleson measure estimates are meaningful enough to characterize the uniform rectifiability of the boundary. As a consequence, we obtain that the boundary of the set is uniformly rectifiable if bounded null solutions for any Fefferman-Kenig-Pipher perturbation of the Laplacian satisfy Carleson measure estimates. For Kenig-Pipher operators any of the properties of the characterization is stable under transposition or symmetrization of the matrices of coefficients. As a result, we obtain that Carleson measure estimates for bounded null-solutions of non-symmetric variable operators satisfying an $L^1$ -Kenig-Pipher condition occur if and only if the boundary of the open set is uniformly rectifiable. Our results generalize previous work in settings where quantitative connectivity.

preprint2021arXiv

Elliptic measures and Square function estimates on 1-sided chord-arc domains

In nice environments, such as Lipschitz or chord-arc domains, it is well-known that the solvability of the Dirichlet problem for an elliptic operator in $L^p$ , for some finite $p$ , is equivalent to the fact that the associated elliptic measure belongs to the Muckenhoupt class $A_\infty$ . In turn, any of these conditions occurs if and only if the gradient of every bounded null solution satisfies a Carleson measure estimate. This has been recently extended to much rougher settings such as those of 1-sided chord-arc domains, that is, sets which are quantitatively open and connected with a boundary which is Ahlfors-David regular. In this paper, we work in the same environment and consider a qualitative analog of the latter equivalence showing that one can characterize the absolute continuity of the surface measure with respect to the elliptic measure in terms of the finiteness almost everywhere of the truncated conical square function for any bounded null solution. As a consequence of our main result particularized to the Laplace operator and some previous results, we show that the boundary of the domain is rectifiable if and only if the truncated conical square function is finite almost everywhere for any bounded harmonic function. Also, we obtain that for two given elliptic operators $L_1$ and $L_2$ , the absolute continuity of the surface measure with respect to the elliptic measure of $L_1$ is equivalent to the same property for $L_2$ provided the disagreement of the coefficients satisfy some quadratic estimate in truncated cones for almost everywhere vertex. Finally for the case on which $L_2$ is either the transpose of $L_1$ or its symmetric part we show the equivalence of the corresponding absolute continuity upon assuming that the antisymmetric part of the coefficients has some controlled oscillation in truncated cones for almost every vertex.

preprint2021arXiv

Extrapolation on function and modular spaces, and applications

We generalize the extrapolation theory of Rubio de Francia to the context of Banach function spaces and modular spaces. Our results are formulated in terms of some natural weighted estimates for the Hardy-Littlewood maximal function and are stated in measure spaces and for general Muckenhoupt bases. Finally, we give several applications in analysis and partial differential equations.

preprint2021arXiv

On the $A_\infty$ condition for elliptic operators in 1-sided NTA domains satisfying the capacity density condition

Let $Ω\subset \mathbb{R}^{n+1}$ , $n\ge 2$ , be a 1-sided non-tangentially accessible domain (i.e., quantitatively open and path-connected) satisfiying the capacity density condition. Let $L_0 u=-\mathrm{div}(A_0 \nabla u)$ , $Lu=-\mathrm{div}(A\nabla u)$ be two real uniformly elliptic operators in $Ω$ , with $ω_{L_0}, ω_L$ the associated elliptic measures. We establish the equivalence between the following properties: (i) $ω_L \in A_{\infty}(ω_{L_0})$ , (ii) $L$ is $L^p(ω_{L_0})$ -solvable for some $p\in (1,\infty)$ , (iii) bounded null solutions of $L$ satisfy Carleson measure estimates with respect to $ω_{L_0}$ , (iv) the conical square function is controlled by the non-tangential maximal function in $L^q(ω_{L_0})$ for some (or for all) $q\in (0,\infty)$ for any null solution of $L$ , and (v) $L$ is $\mathrm{BMO}(ω_{L_0})$ -solvable. Moreover, in each of the properties (ii)-(v) it is enough to consider the class of solutions $u(X)=ω_L^X(S)$ with arbitrary Borel sets $S\subset\partialΩ$ . Also, we characterize the absolute continuity of $ω_{L_0}$ with respect to $ω_L$ in terms of some qualitative local $L^2(ω_{L_0})$ estimates for the truncated conical square function for any bounded null solution of $L$ . This is also equivalent to the finiteness $ω_{L_0}$ -a.e. of the truncated conical square function for any bounded null solution of $L$ . As applications, we show that $ω_{L_0}\llω_L$ if the disagreement of the coefficients satisfies some qualitative quadratic estimate in truncated cones for $ω_{L_0}$ -a.e. vertex. Finally, when $L_0$ is either the transpose of $L$ or its symmetric part, we obtain the corresponding absolute continuity when the antisymmetric part of the coefficients has some controlled oscillation in truncated cones for $ω_{L_0}$ -a.e. vertex.

preprint2020arXiv

Multilinear Littlewood-Paley-Stein Operators on Non-homogeneous Spaces

Let $κ\ge 2, λ> 1$ and define the multilinear Littlewood-Paley-Stein operators by $g_{λ,μ}^*(\vec{f})(x) = \bigg(\iint_{\mathbb{R}^{n+1}_{+}} \vartheta_t(x, y) \bigg|\int_{\mathbb{R}^{n κ}} s_t(y,\vec{z}) \prod_{i=1}^κ f_i(z_i) \ dμ(z_i)\bigg|^2 \frac{dμ(y) dt}{t^{m+1}}\bigg)^{\frac12},$ where $\vartheta_t(x, y)=\big(\frac{t}{t + |x - y|}\big)^{m λ}$ . In this paper, our main aim is to investigate the boundedness of $g_{λ,μ}^*$ on non-homogeneous spaces. By means of probabilistic and dyadic techniques, together with non-homogeneous analysis, we show that $g_{λ,μ}^*$ is bounded from $L^{p_1}(μ) \times \cdots \times L^{p_κ}(μ)$ to $L^p(μ)$ under certain weak type assumptions. The multilinear non-convolution type kernels $s_t$ only need to satisfy some weaker conditions than the standard conditions of multilinear Calderón-Zygmund type kernels and the measures $μ$ are only assumed to be upper doubling measures (non-doubling). The above results are new even under Lebesgue measures. This was done by considering first a sufficient condition for the strong type boundedness of $g_{λ,μ}^*$ based on an endpoint assumption, and then directly deduce the strong bound on a big piece from the weak type assumptions.

preprint2020arXiv

VMO spaces associated with Neumann Laplacian

In this paper, we establish several different characterizations of the vanishing mean oscillation space associated with Neumann Laplacian $Δ_N$ , written ${\rm VMO}_{Δ_N}(\mathbb{R}^n)$ . We first describe it with the classical ${\rm VMO}(\mathbb{R}^n)$ and certain ${\rm VMO}$ on the half-spaces. Then we demonstrate that ${\rm VMO}_{Δ_N}(\mathbb{R}^n)$ is actually ${\rm BMO}_{Δ_N}(\mathbb{R}^n)$ -closure of the space of the smooth functions with compact supports. Beyond that, it can be characterized in terms of compact commutators of Riesz transforms and fractional integral operators associated to the Neumann Laplacian. Additionally, by means of the functional analysis, we obtain the duality between certain ${\rm VMO}$ and the corresponding Hardy spaces on the half-spaces. Finally, we present an useful approximation for ${\rm BMO}$ functions on the space of homogeneous type, which can be applied to our argument and otherwhere.

preprint2016arXiv

$L^p$ boundedness of non-homogeneous Littlewood-Paley $g^*_{λ,μ}$ -function with non-doubling measures

It is well-known that the $L^p$ boundedness and weak $(1,1)$ estiamte $(λ>2)$ of the classical Littlewood-Paley $g_λ^{*}$ -function was first studied by Stein, and the weak $(p,p)$ $(p>1)$ estimate was later given by Fefferman for $λ=2/p$ . In this paper, we investigated the $L^p(μ)$ boundedness of the non-homogeneous Littlewood-Paley $g_{λ,μ}^{*}$ -function with non-convolution type kernels and a power bounded measure $μ$ : $g_{λ,μ}^*(f)(x) = \bigg(\iint_{{\mathbb R}^{n+1}_{+}} \Big(\frac{t}{t + |x - y|}\Big)^{m λ} |θ_t^μf(y)|^2 \frac{dμ(y) dt}{t^{m+1}}\bigg)^{1/2},\ x \in {\mathbb R}^n,\ λ> 1,$ where $θ_t^μf(y) = \int_{{\mathbb R}^n} s_t(y,z) f(z) dμ(z)$ , and $s_t$ is a non-convolution type kernel. Based on a big piece prior boundedness, we first gave a sufficient condition for the $L^p(μ)$ boundedness of $g_{λ,μ}^*$ . This was done by means of the non-homogeneous good lambda method. Then, using the methods of dyadic analysis, we demonstrated a big piece global $Tb$ theorem. Finally, we obtaind a sufficient and necessary condition for $L^p(μ)$ boundedness of $g_{λ,μ}^*$ -function. It is worth noting that our testing conditions are weak $(1,1)$ type with respect to measures.

preprint2016arXiv

A Revisit on Commutators of linear and bilinear Fractional Integral Operator

Let $I_α$ be the linear and $\mathcal{I}_α$ be the bilinear fractional integral operators. In the linear setting, it is known that the two-weight inequality holds for the first order commutators of $I_α$ . But the method can't be used to obtain the two weighted norm inequality for the higher order commutators of $I_α$ . In this paper, we first give an alternative proof for the first order commutators of $I_α$ . This new approach allows us to consider the higher order commutators. This was done by showing that the commutator $[b,I_α]$ can be represented as a finite linear combination of some paraproducts. Then, by using the Cauchy integral theorem, we show that the two-weight inequality holds for the higher order commutators of $I_α$ . In the bilinear setting, we present a dyadic proof for the characterization between $BMO$ and the boundedness of $[b,\mathcal{I}_α]$ . Moreover, some bilinear paraproducts are also treated in order to obtain the boundedness of $[b,\mathcal{I}_α]$ .

preprint2016arXiv

Non-homogeneous $Tb$ Theorem for Bi-parameter $g$ -Function

The main result of this paper is a bi-parameter $Tb$ theorem for Littlewood-Paley $g$ -function, where $b$ is a tensor product of two pseudo-accretive functions. Instead of the doubling measure, we work with a product measure $μ= μ_n \times μ_m$ , where the measures $μ_n$ and $μ_m$ are only assumed to be upper doubling. The main techniques of the proof include a bi-parameter $b$ -adapted Haar function decomposition and an averaging identity over good double Whitney regions. Moreover, the non-homogeneous analysis and probabilistic methods are used again.

preprint2016arXiv

Two-weight entropy Boundedness of Multilinear Fractional Type Operators

This paper will be devoted to study the two-weight norm inequalities of the multilinear fractional maximal operator $\mathcal{M}_α$ and the multilinear fractional integral operator $\mathcal{I}_α$ . The entropy conditions in the multilinear setting will be introduced and the entropy bounds for $\mathcal{M}_α$ and $\mathcal{I}_α$ will be given.

preprint2015arXiv

A non-homogeneous local $Tb$ theorem for Littlewood-Paley $g_λ^{*}$ -function with $L^p$ -testing condition

In this paper, we present a local $Tb$ theorem for the non-homogeneous Littlewood-Paley $g_λ^{*}$ -function with non-convolution type kernels and upper power bound measure $μ$ . We show that, under the assumptions $\supp b_Q \subset Q$, $|\int_Q b_Q dμ| \gtrsim μ(Q)$ and $||b_Q||^p_{L^p(μ)} \lesssim μ(Q)$ , the norm inequality $\big\| g_λ^{*}(f) \big\|_{L^p(μ)} \lesssim \big\| f \big\|_{L^p(μ)}$ holds if and only if the following testing condition holds : $$\sup_{Q : cubes \ in \ \Rn} \frac{1}{μ(Q)}\int_Q \bigg(\int_{0}^{\ell(Q)} \int_{\Rn} \Big(\frac{t}{t+|x-y|}\Big)^{mλ}|θ_t(b_Q)(y,t)|^2 \frac{dμ(y) dt}{t^{m+1}}\bigg)^{p/2} dμ(x) < \infty.$$ This is the first time to investigate $g_λ^*$ -function in the simultaneous presence of three attributes : local, non-homogeneous and $L^p$ -testing condition. It is important to note that the testing condition here is $L^p$ type with $p \in (1,2]$ .

preprint2015arXiv

On multilinear fractional strong maximal operator associated with rectangles and multiple weights

In this paper, the multilinear fractional strong maximal operator $\mathcal{M}_{\mathcal{R},α}$ associated with rectangles and corresponding multiple weights $A_{(\vec{p},q),\mathcal{R}}$ are introduced. Under the dyadic reverse doubling condition, a necessary and sufficient condition for two-weight inequalities is given. As consequences, we first obtain a necessary and sufficient condition for one-weight inequalities. Then, we give a new proof for the weighted estimates of multilinear fractional maximal operator $\mathcal{M}_α$ associated with cubes and multilinear fractional integral operator $\mathcal{I}_α$ , which is quite different and simple from the proof known before.

preprint2015arXiv

On The Boundedness of Bi-parameter Littlewood-Paley $g_λ^{*}$ -function

Let $m,n\ge 1$ and $g_{λ_1,λ_2}^*$ be the bi-parameter Littlewood-Paley $g_λ^{*}$ -function defined by $g_{λ_1,λ_2}^*(f)(x)= \bigg(\iint_{\R^{m+1}_{+}} \big(\frac{t_2}{t_2 + |x_2 - y_2|}\big)^{m λ_2} \iint_{\R^{n+1}_{+}} \big(\frac{t_1}{t_1 + |x_1 - y_1|}\big)^{n λ_1}|θ_{t_1,t_2} f(y_1,y_2)|^2 \frac{dy_1 dt_1}{t_1^{n+1}} \frac{dy_2 dt_2}{t_2^{m+1}} \bigg)^{1/2}, λ_1>1,\quad λ_2>1$ where $θ_{t_1,t_2} f$ is a non-convolution kernel defined on $\mathbb{R}^{m+n}$ . In this paper, we showed that the bi-parameter Littlewood-Paley function $g_{λ_1,λ_2}^*$ was bounded from $L^2(\R^{n+m})$ to $L^2(\R^{n+m})$ . This was done by means of probabilistic methods and by using a new averaging identity over good double Whitney regions.

preprint2015arXiv

On the Boundedness of Multilinear Fractional Strong Maximal Operator with multiple weights

In this paper, we investigated the boundedness of multilinear fractional strong maximal operator $\mathcal{M}_{\mathcal{R},α}$ associated with rectangles or related to more general basis with multiple weights $A_{(\vec{p},q),\mathcal{R}}$ . In the rectangles setting, we first gave an end-point estimate of $\mathcal{M}_{\mathcal{R},α}$ , which not only extended the famous linear result of Jessen, Marcinkiewicz and Zygmund, but also extended the multilinear result of Grafakos, Liu, Pérez and Torres ( $α=0$ ) to the case $0<α<mn.$ Then, in one weight case, we gave several equivalent characterizations between $\mathcal{M}_{\mathcal{R},α}$ and $A_{(\vec{p},q),\mathcal{R}}$ , by applying a different approach from what we have used before. Moreover, a sufficient condition for the two weighted norm inequality of $\mathcal{M}_{\mathcal{R},α}$ was presented and a version of vector-valued two weighted inequality for the strong maximal operator was established when $m=1$ . In the general basis setting, we further studied the properties of the multiple weights $A_{(\vec{p},q),\mathcal{R}}$ conditions, including the equivalent characterizations and monotonic properties, which essentially extended one's previous understanding. Finally, a survey on multiple strong Muckenhoupt weights was given, which demonstrates the properties of multiple weights related to rectangles systematically.

Mingming Cao

Research overview

Is this your work?

14 publications

Carleson measure estimates, corona decompositions, and perturbation of elliptic operators without connectivity

Elliptic measures and Square function estimates on 1-sided chord-arc domains

Extrapolation on function and modular spaces, and applications

On the $A_\infty$ condition for elliptic operators in 1-sided NTA domains satisfying the capacity density condition

Multilinear Littlewood-Paley-Stein Operators on Non-homogeneous Spaces

VMO spaces associated with Neumann Laplacian

$L^p$ boundedness of non-homogeneous Littlewood-Paley $g^*_{λ,μ}$ -function with non-doubling measures

A Revisit on Commutators of linear and bilinear Fractional Integral Operator

Non-homogeneous $Tb$ Theorem for Bi-parameter $g$ -Function

Two-weight entropy Boundedness of Multilinear Fractional Type Operators

A non-homogeneous local $Tb$ theorem for Littlewood-Paley $g_λ^{*}$ -function with $L^p$ -testing condition

On multilinear fractional strong maximal operator associated with rectangles and multiple weights

On The Boundedness of Bi-parameter Littlewood-Paley $g_λ^{*}$ -function

On the Boundedness of Multilinear Fractional Strong Maximal Operator with multiple weights

See the researcher in context

Building this map preview

Mingming Cao

Research overview

Is this your work?

14 publications

Carleson measure estimates, corona decompositions, and perturbation of elliptic operators without connectivity

Elliptic measures and Square function estimates on 1-sided chord-arc domains

Extrapolation on function and modular spaces, and applications

On the A∞A_\inftyA∞​ condition for elliptic operators in 1-sided NTA domains satisfying the capacity density condition

Multilinear Littlewood-Paley-Stein Operators on Non-homogeneous Spaces

VMO spaces associated with Neumann Laplacian

LpL^pLp boundedness of non-homogeneous Littlewood-Paley gλ,μ∗g^*_{λ,μ}gλ,μ∗​-function with non-doubling measures

A Revisit on Commutators of linear and bilinear Fractional Integral Operator

Non-homogeneous TbTbTb Theorem for Bi-parameter ggg-Function

Two-weight entropy Boundedness of Multilinear Fractional Type Operators

A non-homogeneous local TbTbTb theorem for Littlewood-Paley gλ∗g_λ^{*}gλ∗​-function with LpL^pLp-testing condition

On multilinear fractional strong maximal operator associated with rectangles and multiple weights

On The Boundedness of Bi-parameter Littlewood-Paley gλ∗g_λ^{*}gλ∗​-function

On the Boundedness of Multilinear Fractional Strong Maximal Operator with multiple weights

See the researcher in context

Building this map preview

On the $A_\infty$ condition for elliptic operators in 1-sided NTA domains satisfying the capacity density condition

$L^p$ boundedness of non-homogeneous Littlewood-Paley $g^*_{λ,μ}$ -function with non-doubling measures

Non-homogeneous $Tb$ Theorem for Bi-parameter $g$ -Function

A non-homogeneous local $Tb$ theorem for Littlewood-Paley $g_λ^{*}$ -function with $L^p$ -testing condition

On The Boundedness of Bi-parameter Littlewood-Paley $g_λ^{*}$ -function