Researcher profile

Mingming Cao

Mingming Cao contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
6works
0followers
2topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

6 published item(s)

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.