Modulus and the Poincaré inequality on metric measure spaces

The purpose of this paper is to develop the understanding of modulus and the Poincaré inequality, as defined on metric measure spaces. Various definitions for modulus and capacity are shown to coincide for general collections of metric measure spaces. Consequently, modulus is shown to be upper semi-continuous with respect to the limit of a sequence of curve families contained in a converging sequence of metric measure spaces. Moreover, several competing definitions for the Poincaré inequality are shown to coincide, if the underlying measure is doubling. One such characterization considers only continuous functions and their continuous upper gradients, and extends work of Heinonen and Koskela. Applications include showing that the p-Poincaré inequality (with a doubling measure), for p1, persists through to the limit of a sequence of converging pointed metric measure spaces — this extends results of Cheeger. A further application is the construction of new doubling measures in Euclidean space which admit a 1-Poincaré inequality. Mathematics Subject Classification (2000):31C15, 46E35.     

Smooth metric measure spaces with weighted Poincaré inequality

In this paper, we study smooth metric measure space (M, g, e ^?f dv) satisfying a weighted Poincaré inequality and establish a rigidity theorem for such a space under a suitable Bakry–Émery curvature lower bound. We also consider the space of f-harmonic functions with finite energy and prove a structure theorem.     

Finding curves on general spaces through quantitative topology,with applications to Sobolev and Poincaré inequalities

In many metric spaces one can connect an arbitrary pair of points with a curve of finite length, but in Euclidean spaces one can connect a pair of points with a lot of rectifiable curves, curves that are well distributed across a region. In the present paper we give geometric criteria on a metric space under which we can find similar families of curves. We shall find these curves by first solving a dual problem of building Lipschitz maps from our metric space into a sphere with good topological properties. These families of curves can be used to control the values of a function in terms of its gradient (suitably interpreted on a general metric space), and to derive Sobolev and Poincaré inequalities.The author is supported by the U.S. National Science Foundation and grateful to IHES for its hospitality.     

New characterizations of Hajlasz-Sobolev spaces on metric spaces

This paper introduces the fractional Sobolev spaces on spaces of homogeneous type,includingmetric spaces and fractals. These Sobolev spaces include the well-known Hajfasz-Sobolev spaces as specialmodels.The author establishes varions chaaracterizations of(sharp)maximal functions for these spaces.Asapplications,the author identifies the fractional Sobolev spaces with some Lipscitz-type spaces.Moreover;some embedding theorems are also given.     

Some inequalities for the Poincaré metric of plane domains

In this paper, the Poincaré (or hyperbolic) metric and the associated distance are investigated for a plane domain based on the detailed properties of those for the particular domain In particular, another proof of a recent result of Gardiner and Lakic [7] is given with explicit constant. This and some other constants in this paper involve particular values of complete elliptic integrals and related special functions. A concrete estimate for the hyperbolic distance near a boundary point is also given, from which refinements of Littlewood’s theorem are derived.This research was carried out during the first-named author’s visit to the University of Helsinki under the exchange programme of scientists between the Academy of Finland and the JSPS.     

New characterizations of Hajłasz-Sobolev spaces on metric spaces

This paper introduces the fractional Sobolev spaces on spaces of homogeneous type, including metric spaces and fractals. These Sobolev spaces include the well-known Hajłasz-Sobolev spaces as special models. The author establishes various characterizations of (sharp) maximal functions for these spaces. As applications, the author identifies the fractional Sobolev spaces with some Lipscitz-type spaces. Moreover, some embedding theorems are also given.     

On fractional Poincaré inequalities

We show that fractional (p, p)-Poincaré inequalities and even fractional Sobolev-Poincaré inequalities hold for bounded John domains, and especially for bounded Lipschitz domains. We also prove sharp fractional (1,p)-Poincaré inequalities for s-John domains.     

Vertical versus horizontal Poincaré inequalities on the Heisenberg group

Let ? = 〈a, b|a[a, b] = [a, b]a ∧ b[a, b] = [a, b]b〉 be the discrete Heisenberg group, equipped with the left-invariant word metric d _W (·, ·) associated to the generating set {a, b, a ^?1, b ^?1}. Letting B _n = {x ∈ ?: d _W (x, e _?) ? n} denote the corresponding closed ball of radius n ∈ ?, and writing c = [a, b] = aba ^?1 b ^?1, we prove that if (X, ‖ · ‖X) is a Banach space whose modulus of uniform convexity has power type q ∈ [2,∞), then there exists K ∈ (0, ∞) such that every f: ? → X satisfies $$\sum\limits_{k = 1}^{{n^2}} {\sum\limits_{x \in {B_n}} {\frac{{\left\| {f(x{c^k}) - f(x)} \right\|_X^q}}{{{k^{1 + q/2}}}}} } \leqslant K\sum\limits_{x \in {B_{21n}}} {(\left\| {f(xa) - f(x)} \right\|_X^q + \left\| {f(xb) - f(x)} \right\|_X^q)} $$ . It follows that for every n ∈ ? the bi-Lipschitz distortion of every f: B _n → X is at least a constant multiple of (log n)^1/q , an asymptotically optimal estimate as n → ∞.     

Wiener criterion on metric spaces: Boundary regularity in axiomatic and Poincaré-Sobolev spaces

We obtain a Wiener-type criterion for the Hölder continuity of extremal functions on general metric spaces in an abstract setting. Then we use this result to establish the boundary regularity of quasi-minimizers of the p-energy integral in the axiomatic framework of Gol’dshtein-Troyanov and also for extremal functions from the class of Poincaré-Sobolev functions.     

Caffarelli–Kohn–Nirenberg inequality on metric measure spaces with applications

We prove that if a metric measure space satisfies the volume doubling condition and the Caffarelli–Kohn–Nirenberg inequality with the same exponent $n \ge 3$ , then it has exactly the $n$ -dimensional volume growth. As an application, if an $n$ -dimensional Finsler manifold of non-negative $n$ -Ricci curvature satisfies the Caffarelli–Kohn–Nirenberg inequality with the sharp constant, then its flag curvature is identically zero. In the particular case of Berwald spaces, such a space is necessarily isometric to a Minkowski space.     

Fractional Poincaré inequalities for general measures

We prove a fractional version of Poincaré inequalities in the context of ${\mathbb{R}}^n$ endowed with a fairly general measure. Namely we prove a control of an $L^2$ norm by a non-local quantity, which plays the role of the gradient in the standard Poincaré inequality. The assumption on the measure is the fact that it satisfies the classical Poincaré inequality, so that our result is an improvement of the latter inequality. Moreover we also quantify the tightness at infinity provided by the control on the fractional derivative in terms of a weight growing at infinity. The proof goes through the introduction of the generator of the Ornstein–Uhlenbeck semigroup and some careful estimates of its powers. To our knowledge this is the first proof of fractional Poincaré inequality for measures more general than Lévy measures.     

Normal approximation on Poisson spaces: Mehler’s formula,second order Poincaré inequalities and stabilization

We prove a new class of inequalities, yielding bounds for the normal approximation in the Wasserstein and the Kolmogorov distance of functionals of a general Poisson process (Poisson random measure). Our approach is based on an iteration of the classical Poincaré inequality, as well as on the use of Malliavin operators, of Stein’s method, and of an (integrated) Mehler’s formula, providing a representation of the Ornstein-Uhlenbeck semigroup in terms of thinned Poisson processes. Our estimates only involve first and second order difference operators, and have consequently a clear geometric interpretation. In particular we will show that our results are perfectly tailored to deal with the normal approximation of geometric functionals displaying a weak form of stabilization, and with non-linear functionals of Poisson shot-noise processes. We discuss two examples of stabilizing functionals in great detail: (i) the edge length of the k-nearest neighbour graph, (ii) intrinsic volumes of k-faces of Voronoi tessellations. In all these examples we obtain rates of convergence (in the Kolmogorov and the Wasserstein distance) that one can reasonably conjecture to be optimal, thus significantly improving previous findings in the literature. As a necessary step in our analysis, we also derive new lower bounds for variances of Poisson functionals.     

A Poincaré lemma for real-valued differential forms on Berkovich spaces

Mathematische Zeitschrift - Real-valued differential forms on Berkovich analytic spaces were introduced by Chambert-Loir and Ducros in (Formes différentielles réelles et courants sur les...     

Integral representations and the generalized Poincaré inequality on Carnot groups

We give some integral representations of the form f(x) = P(f)+K(?f) on two-step Carnot groups, where P(f) is a polynomial and K is an integral operator with a specific singularity. We then obtain the weak Poincaré inequality and coercive estimates as well as the generalized Poincaré inequality on the general Carnot groups.     

Interpolation between Brezis–Vázquez and Poincaré inequalities on nonnegatively curved spaces: sharpness and rigidities

This paper is devoted to investigate an interpolation inequality between the Brezis–Vázquez and Poincaré inequalities (shortly, BPV inequality) on nonnegatively curved spaces. As a model case, we first prove that the BPV inequality holds on any Minkowski space, by fully characterizing the existence and shape of its extremals. We then prove that if a complete Finsler manifold with nonnegative Ricci curvature supports the BPV inequality, then its flag curvature is identically zero. In particular, we deduce that a Berwald space of nonnegative Ricci curvature supports the BPV inequality if and only if it is isometric to a Minkowski space. Our arguments explore fine properties of Bessel functions, comparison principles, and anisotropic symmetrization on Minkowski spaces. As an application, we characterize the existence of nonzero solutions for a quasilinear PDE involving the Finsler–Laplace operator and a Hardy-type singularity on Minkowski spaces where the sharp BPV inequality plays a crucial role. The results are also new in the Riemannian/Euclidean setting.     

A sharp form of Poincaré type inequalities on balls and spheres

Summary Letu be a real valued function on ann-dimensional Riemannian manifoldM ⁿ. We consider an inequality between theL ^q-norm ofu minus its mean value overM ⁿ and theL ^p-norm of the gradient ofu.The best constant in such inequality is exhibited in the following cases: i)M ⁿ is an open ball inIR ⁿ andp=1, 0<qn/(n–1); ii)M ⁿ is a sphere inIR ⁿ +1 and eitherp=1, 0<qn/(n–1) orp>n,q=.

---

Sunto Siau una funzione a valori reali dafinita su una varietà riemannianan-dimensionaleM ⁿ. Si considera una disuguaglianza tra la normaL ^q diu meno il suo valor medio suM ⁿ e la normaL ^p del gradiente diu.Si determina la costante ottimale in tale disuguaglianza nei seguenti casi: i)M ⁿ è un disco aperto inIR ⁿ ep=1, 0<qn/(n–1); ii)M ⁿ è una sfera inIR ⁿ +1 ep=1, 0<qn/(n–1) oppurep>n,q=.