Gradient estimate for solutions to Poisson equations in metric measure spaces

Let (X,d) be a complete, pathwise connected metric measure space with a locally Ahlfors Q-regular measure μ, where Q>1. Suppose that (X,d,μ) supports a (local) (1,2)-Poincaré inequality and a suitable curvature lower bound. For the Poisson equation Δu=f on (X,d,μ), Moser-Trudinger and Sobolev inequalities are established for the gradient of u. The local Hölder continuity with optimal exponent of solutions is obtained.     

Functional inequality on path space over a non-compact Riemannian manifold

We prove the existence of the O-U Dirichlet form and the damped O-U Dirichlet form on path space over a general non-compact Riemannian manifold which is complete and stochastically complete. We show a weighted log-Sobolev inequality for the O-U Dirichlet form and the (standard) log-Sobolev inequality for the damped O-U Dirichlet form. In particular, the Poincaré inequality (and the super Poincaré inequality) can be established for the O-U Dirichlet form on path space over a class of Riemannian manifolds with unbounded Ricci curvatures. Moreover, we construct a large class of quasi-regular local Dirichlet forms with unbounded random diffusion coefficients on path space over a general non-compact manifold.     

An integration by parts formula on path space over manifolds carrying geometric flow

We establish an integration by parts formula on the path space with reference measure P, the law of the(reflecting) diffusion process on manifolds with possible boundary carrying geometric flow, which leads to the standard log-Sobolev inequality for the associated Dirichlet form. To this end, we first modify Hsu's multiplicative functionals to define the damp gradient operator, which links to quasi-invariant flows; and then establish the derivative formula for the associated inhomogeneous diffusion semigroup.     

Essential self-adjointness of Dirichlet operators on a path space with Gibbs measures via an SPDE approach

The main objective of this paper is to prove the essential self-adjointness of Dirichlet operators in L²(μ) where μ is a Gibbs measure on an infinite volume path space C(R,Rd). This operator can be regarded as a perturbation of the Ornstein-Uhlenbeck operator by a nonlinearity and corresponds to a parabolic stochastic partial differential equation (= SPDE, in abbreviation) on R. In view of quantum field theory, the solution of this SPDE is called a P₁(?)-time evolution.     

Morrey-Sobolev Spaces on Metric Measure Spaces

In this article, the authors introduce the Newton-Morrey-Sobolev space on a metric measure space (??, d, μ). The embedding of the Newton-Morrey-Sobolev space into the Hölder space is obtained if ?? supports a weak Poincaré inequality and the measure μ is doubling and satisfies a lower bounded condition. Moreover, in the Ahlfors Q-regular case, a Rellich-Kondrachov type embedding theorem is also obtained. Using the Haj?asz gradient, the authors also introduce the Haj?asz-Morrey-Sobolev spaces, and prove that the Newton-Morrey-Sobolev space coincides with the Haj?asz-Morrey-Sobolev space when μ is doubling and ?? supports a weak Poincaré inequality. In particular, on the Euclidean space \({\mathbb R}^n\) , the authors obtain the coincidence among the Newton-Morrey-Sobolev space, the Haj?asz-Morrey-Sobolev space and the classical Morrey-Sobolev space. Finally, when (??, d) is geometrically doubling and μ a non-negative Radon measure, the boundedness of some modified (fractional) maximal operators on modified Morrey spaces is presented; as an application, when μ is doubling and satisfies some measure decay property, the authors further obtain the boundedness of some (fractional) maximal operators on Morrey spaces, Newton-Morrey-Sobolev spaces and Haj?asz-Morrey-Sobolev spaces.     

Differential calculus on path and loop spaces II. Irreducibility of Dirichlet forms on loop spaces

We prove the irreducibility of a Dirichlet form on the based loop space on a compact Riemannian manifold. The Dirichlet form is defined by the gradient operator due to Driver and Léandre. We also prove the uniqueness of the ground states of the Schrödinger operator for which the Dirichlet form satisfies the logarithmic Sobolev inequality. This is an extension of the corresponding results of Gross ([28], [29]) to the case of general compact Riemannian manifolds.     

Universal bounds for eigenvalues of the biharmonic operator on Riemannian manifolds

In this paper we consider eigenvalues of the Dirichlet biharmonic operator on compact Riemannian manifolds with boundary (possibly empty) and prove a general inequality for them. By using this inequality, we study eigenvalues of the Dirichlet biharmonic operator on compact domains in a Euclidean space or a minimal submanifold of it and a unit sphere. We obtain universal bounds on the (k+1)th eigenvalue on such objects in terms of the first k eigenvalues independent of the domains. The estimate for the (k+1)th eigenvalue of bounded domains in a Euclidean space improves an important inequality obtained recently by Cheng and Yang.     

Integrability of optimal mappings

In this paper, we study the integrability of optimal mappings T taking a probability measure μ to another measure g · μ. We assume that T minimizes the cost function c and μ satisfies some special inequalities related to c (the infimum-convolution inequality or the logarithmic c-Sobolev inequality). The results obtained are applied to the analysis of measures of the form exp(?|x|^α).     

Poincaré inequalities, uniform domains and extension properties for Newton-Sobolev functions in metric spaces

In the setting of metric measure spaces equipped with a doubling measure supporting a weak p-Poincaré inequality with 1?p<∞, we show that any uniform domain Ω is an extension domain for the Newtonian space N1,p(Ω) and that Ω, together with the metric and the measure inherited from X, supports a weak p-Poincaré inequality. For p>1, we obtain a near characterization of N1,p-extension domains with local estimates for the extension operator.     

Shift Harnack inequality and integration by parts formula for semilinear stochastic partial differential equations

Shift Harnack inequality and integration by parts formula are established for semilinear stochastic partial differential equations and stochastic functional partial differential equations by modifying the coupling used by F.-Y. Wang [Ann. Probab., 2012, 42(3): 994–1019]. Log-Harnack inequality is established for a class of stochastic evolution equations with non-Lipschitz coefficients which includes hyperdissipative Navier-Stokes/Burgers equations as examples. The integration by parts formula is extended to the path space of stochastic functional partial differential equations, then a Dirichlet form is defined and the log-Sobolev inequality is established.     

Inequalities for lower order eigenvalues of second order elliptic operators in divergence form on Riemannian manifolds

In this paper, we investigate the Dirichlet eigenvalue problems of second order elliptic operators in divergence form on bounded domains of complete Riemannian manifolds. We discuss the cases of submanifolds immersed in a Euclidean space, Riemannian manifolds admitting spherical eigenmaps, and Riemannian manifolds which admit l functions ${f_\alpha : M \longrightarrow \mathbb{R}}$ such that ${\langle \nabla f_\alpha, \nabla f_\beta \rangle = \delta_{\alpha \beta}}$ and Δf _α = 0, where ? is the gradient operator. Some inequalities for lower order eigenvalues of these problems are established. As applications of these results, we obtain some universal inequalities for lower order eigenvalues of the Dirichlet Laplacian problem. In particular, the universal inequality for eigenvalues of the Laplacian on a unit sphere is optimal.     

Korn's inequality and Donati's theorem for the conformal Killing operator on pseudo-Euclidean space

We prove the Korn's inequality for the conformal Killing operator on pseudo-Euclidean space Rp,q, and an existence theorem for solutions to the non-homogeneous conformal Killing equation, which is a pseudo-Euclidean conformal generalization of Donati's theorem for Euclidean Killing operator.     

Poincaré Inequality on the Path Space of Poisson Point Processes

Quasi-invariance is proved for the distributions of Poisson point processes under a random shift map on the path space. This leads to a natural Dirichlet form of jump type on the path space. Differently from the O–U Dirichlet form on the Wiener space satisfying the log-Sobolev inequality, this Dirichlet form merely satisfies the Poincaré inequality but not the log-Sobolev one.     

Some Weighted Norm Inequalities on Manifolds

Let M be a complete non-compact Riemannian manifold satisfying the volume doubling property and the Gaussian upper bounds. Denote by △ the Laplace-Beltrami operator and by ▽ the Riemannian gradient. In this paper, the author proves the weighted reverse inequality ‖△ 1/2 f‖Lp(ω) ≤ C‖|▽f|‖Lp(ω), for some range of p determined by M and w. Moreover, a weak type estimate is proved when p = 1. Some weighted vector-valued inequalities are also established.     

Singular stochastic equations on Hilbert spaces: Harnack inequalities for their transition semigroups

We consider stochastic equations in Hilbert spaces with singular drift in the framework of [G. Da Prato, M. Röckner, Singular dissipative stochastic equations in Hilbert spaces, Probab. Theory Related Fields 124 (2) (2002) 261-303]. We prove a Harnack inequality (in the sense of [F.-Y. Wang, Logarithmic Sobolev inequalities on noncompact Riemannian manifolds, Probab. Theory Related Fields 109 (1997) 417-424]) for its transition semigroup and exploit its consequences. In particular, we prove regularizing and ultraboundedness properties of the transition semigroup as well as that the corresponding Kolmogorov operator has at most one infinitesimally invariant measure μ (satisfying some mild integrability conditions). Finally, we prove existence of such a measure μ for noncontinuous drifts.     

Weak curvature conditions and functional inequalities

We give sufficient conditions for a measured length space (X,d,ν) to admit local and global Poincaré inequalities, along with a Sobolev inequality. We first introduce a condition DM on (X,d,ν), defined in terms of transport of measures. We show that DM, together with a doubling condition on ν, implies a scale-invariant local Poincaré inequality. We show that if (X,d,ν) has nonnegative N-Ricci curvature and has unique minimizing geodesics between almost all pairs of points then it satisfies DM, with constant N². The condition DM is preserved by measured Gromov-Hausdorff limits. We then prove a Sobolev inequality for measured length spaces with N-Ricci curvature bounded below by K>0. Finally we derive a sharp global Poincaré inequality.     

Log-Sobolev inequalities for subelliptic operators satisfying a generalized curvature dimension inequality

Let $\mathbb{M}$ be a smooth connected manifold endowed with a smooth measure μ and a smooth locally subelliptic diffusion operator L which is symmetric with respect to μ. We assume that L satisfies a generalized curvature dimension inequality as introduced by Baudoin and Garofalo (2009) [9]. Our goal is to discuss functional inequalities for μ like the Poincaré inequality, the log-Sobolev inequality or the Gaussian logarithmic isoperimetric inequality.     

A support property for infinite-dimensional interacting diffusion processes

The Dirichlet form associated with the intrinsic gradient on Poisson space is known to be quasi-regular on the complete metric space Γ = {ℤ₊-valued Radon measures on ℝ^d}. We show that under mild conditions, the set Γ\Γ is ɛ-exceptional, where Γ is the space of locally finite configurations in ℝ^d, that is, measures γ ε Γ satisfying sup_xε, γ({x}) ≤ 1. Thus, the associated diffusion lives on the smaller space Γ. This result also holds for Gibbs measures with superstable interactions.     

Hardy Spaces, Regularized BMO Spaces and the Boundedness of Calderón–Zygmund Operators on Non-homogeneous Spaces

One defines a non-homogeneous space (X,μ) as a metric space equipped with a non-doubling measure μ so that the volume of the ball with center x, radius r has an upper bound of the form r ⁿ for some n>0. The aim of this paper is to study the boundedness of Calderón–Zygmund singular integral operators T on various function spaces on (X,μ) such as the Hardy spaces, the L ^p spaces, and the regularized BMO spaces. This article thus extends the work of X. Tolsa (Math. Ann. 319:89–149, 2011) on the non-homogeneous space (? ⁿ ,μ) to the setting of a general non-homogeneous space (X,μ). Our framework of the non-homogeneous space (X,μ) is similar to that of Hytönen (2011) and we are able to obtain quite a few properties similar to those of Calderón–Zygmund operators on doubling spaces such as the weak type (1,1) estimate, boundedness from Hardy space into L ¹, boundedness from L ^∞ into the regularized BMO, and an interpolation theorem. Furthermore, we prove that the dual space of the Hardy space is the regularized BMO space, obtain a Calderón–Zygmund decomposition on the non-homogeneous space (X,μ), and use this decomposition to show the boundedness of the maximal operators in the form of a Cotlar inequality as well as the boundedness of commutators of Calderón–Zygmund operators and BMO functions.     

Malliavin and Dirichlet structures for independent random variables

On any denumerable product of probability spaces, we construct a Malliavin gradient and then a divergence and a number operator. This yields a Dirichlet structure which can be shown to approach the usual structures for Poisson and Brownian processes. We obtain versions of almost all the classical functional inequalities in discrete settings which show that the Efron–Stein inequality can be interpreted as a Poincaré inequality or that the Hoeffding decomposition of $U$-statistics can be interpreted as an avatar of the Clark representation formula. Thanks to our framework, we obtain a bound for the distance between the distribution of any functional of independent variables and the Gaussian and Gamma distributions.