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.     

On the Uniform Poincaré Inequality

We give a proof of the Poincaré inequality in W ^{1, p} (Ω) with a constant that is independent of Ω ? , where  is a set of uniformly bounded and uniformly Lipschitz domains in ? ⁿ . As a byproduct, we obtain the following: The first non vanishing eigenvalues λ₂(Ω) of the standard Neumann (variational) boundary value problem on Ω for the Laplace operator are bounded below by a positive constant if the domains Ω vary and remain uniformly bounded and uniformly Lipschitz regular.     

Functional inequalities and subordination: stability of Nash and Poincaré inequalities

We show that certain functional inequalities, e.g. Nash-type and Poincaré-type inequalities, for infinitesimal generators of C ₀ semigroups are preserved under subordination in the sense of Bochner. Our result improves earlier results by Bendikov and Maheux (Trans Am Math Soc 359:3085–3097, 2007, Theorem 1.3) for fractional powers, and it also holds for non-symmetric settings. As an application, we will derive hypercontractivity, supercontractivity and ultracontractivity of subordinate semigroups.     

Fluctuations of eigenvalues and second order Poincaré inequalities

Linear statistics of eigenvalues in many familiar classes of random matrices are known to obey gaussian central limit theorems. The proofs of such results are usually rather difficult, involving hard computations specific to the model in question. In this article we attempt to formulate a unified technique for deriving such results via relatively soft arguments. In the process, we introduce a notion of ‘second order Poincaré inequalities’: just as ordinary Poincaré inequalities give variance bounds, second order Poincaré inequalities give central limit theorems. The proof of the main result employs Stein’s method of normal approximation. A number of examples are worked out, some of which are new. One of the new results is a CLT for the spectrum of gaussian Toeplitz matrices.     

Super and weak Poincaré inequalities for hypoelliptic operators

Sufficient conditions are presented for super/weak Poincare inequalities to hold for a class of hypoelliptic operators on noncompact manifolds. As applications, the essential spectrum and the convergence rate of the associated Markov semigroup are described for Gruschin type operators on R2 and Kohn-Laplacian type operators on the Heisenberg group.     

Some Poincaré type inequalities for quadratic matrix fields

We present some Poincaré type inequalities for quadratic matrix fields with applications e.g. in gradient plasticity or fluid dynamics. In particular, an application to the pseudostress-velocity formulation of the stationary Stokes problem is discussed. (© 2013 Wiley-VCH Verlag GmbH & Co. KGaA, Weinheim)     

On Four-Dimensional Poincaré Duality Cobordism Groups

This paper continues the study of four-dimensional Poincaré duality cobordism theory from our previous work Cavicchioli et al. (Homol. Homotopy Appl. 18(2):267–281, 2016). Let P be an oriented finite Poincaré duality complex of dimension 4. Then, we calculate the Poincaré duality cobordism group \(\Omega _{4}^{{\text {PD}}}(P)\). The main result states the existence of the exact sequence \(0 \rightarrow L_4 (\pi _1 (P))/A_4 (H_2 (B\pi _1 (P), L_2)) \rightarrow {{\widetilde{\Omega }}}_{4}^{\mathrm{PD}}(P) \rightarrow \mathbb Z_8 \rightarrow 0\), where \({{\widetilde{\Omega }}}_{4}^{\mathrm{PD}}(P)\) is the kernel of the canonical map \({\Omega }_{4}^{\mathrm{PD}}(P) \rightarrow H_4 (P, \mathbb Z) \cong \mathbb Z\) and \(A_4 : H_4 (B\pi _1, \mathbb L) \rightarrow L_4 (\pi _1 (P))\) is the assembly map. It turns out that \({\Omega }_{4}^{\mathrm{PD}}(P)\) depends only on \(\pi _1 (P)\) and the assembly map \(A_4\). This does not hold in higher dimensions. Then, we discuss several examples. The cases in which the canonical map \(\Omega _{4}^{{\text {TOP}}}(P) \rightarrow \Omega _{4}^{{\text {PD}}}(P)\) is not surjective are of particular interest. Its image coincides with the kernel of the total surgery obstruction map. In fact, we establish an exact sequence

Open image in new window

where s is Ranicki’s total surgery obtruction map. In the above cases, there are \({\text {PD}}_4\)-complexes X which cannot be homotopy equivalent to manifolds.

     

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.     

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 → ∞.     

On the homotopy type of Poincaré spaces

We study the homotopy type of finite-oriented Poincaré spaces (and, in particular, of closed topological manifolds) in even dimension. Our results relate polarized homotopy types over a stage of the Postnikov tower with the concept of CW-tower of categories due to Baues. This fact allows us to obtain a new formula for the top-dimensional obstruction for extending maps to homotopy equivalences. Then we complete the paper with an algebraic characterization of high-dimensional handlebodies. Received: April 14, 1999?Published online: October 2, 2001     

On the Poincaré inequality for vector fields

We prove the Poincaré inequality for vector fields on the balls of the control distance by integrating along subunit paths. Our method requires that the balls are representable by means of suitable “controllable almost exponential maps”. Both authors were partially supported by the University of Bologna, funds for selected research topics.     

On action-angle coordinates and the Poincaré coordinates

This article is a review of two related classical topics of Hamiltonian systems and celestial mechanics. The first section deals with the existence and construction of action-angle coordinates, which we describe emphasizing the role of the natural adiabatic invariants “∮_γ p dq”. The second section is the construction and properties of the Poincaré coordinates in the Kepler problem, adapting the principles of the former section, in an attempt to use known first integrals more directly than Poincaré did.