On the Poincaré Inequality for Infinitely Divisible Measures

We completely characterize the Poincaré inequality for bilinear forms of gradient type defined on L²-spaces w.r.t. infinitely divisible measures m in terms of the canonical measure associated with m. The characterization is based on an elementary algebraic observation concerning certain quadratic forms associated with m and , which is of its own interest (see Lemma 3.4). Examples include canonical Dirichlet forms on configuration spaces and Dirichlet forms associated to continuous state branching processes. As an application, a strong law of large numbers for time-inhomogeneous one-dimensional subordinators is obtained.Mathematics Subject Classifications (2000) 31C25 (60E07, 60G57, 60H07, 60J80).     

A Remark on the Steklov–Poincaré Inequality

Mathematical Notes - In an $$n$$ -dimensional bounded domain $$\Omega_n$$ , $$n\ge 2$$ , we prove the Steklov–Poincaré inequality with the best constant in the case where $$\Omega_n$$ is...     

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.     

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

On the interlacing of the zeros of Poincaré series

The Ramanujan Journal - Rankin proved that the Poincaré series for $$mathbf{SL}(2,{{mathbb {Z}}})$$ that are not cusp forms have all their zeros on the unit circle in the standard...     

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.     

On extension and refinement of the Poincaré inequality

The aim of this paper is to analyze the heat semigroup ${(\mathcal{N}_{t})_{t >0 } = \{e^{t \Delta}\}_{t >0 }}$ generated by the usual Laplacian operator Δ on ${\mathbb{R}^{d}}$ equipped with the d-dimensional Lebesgue measure. We obtain and study, via a method involving some semigroup techniques, a large family of functional inequalities that does not exist in the literature and with the local Poincaré and reverse local Poincaré inequalities as particular cases. As a consequence, we establish in parallel a new functional and integral inequality related to the Ornstein–Uhlenbeck semigroup.     

On the Exact Constant in the Jackson–Stechkin Inequality for the Uniform Metric

The classical Jackson–Stechkin inequality estimates the value of the best uniform approximation of a 2π-periodic function f by trigonometric polynomials of degree ≤n−1 in terms of its r-th modulus of smoothness ω _r (f,δ). It reads

A Poincaré Cone Condition in the Poincaré Group

Ben Arous and Gradinaru (Potential Anal 8(3):217–258, 1998) described the singularity of the Green function of a general sub-elliptic diffusion. In this article we first adapt their proof to the more general context of a hypoelliptic diffusion. In a second time, we deduce a Wiener criterion and a Poincaré cone condition for a relativistic diffusion with values in the Poincaré group (i.e the group of affine direct isometries of the Minkowski space-time).     

On the Denominator of the Poincaré Series for Monomial Quotient Rings

Let S = 𝕜 [x ₁,…, x _n ] be a polynomial ring over a field 𝕜 and I a monomial ideal of S. It is well known that the Poincaré series of 𝕜 over S/I is rational. We describe the coefficients of the denominator of the series and study the multigraded homotopy Lie algebra of S/I.     

On the direct proof of the Poincaré theorem on invariant tori

We present the direct proof of the Poincaré theorem on invariant tori.     

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.

     

On Approximate Summation of Poincaré Series in the Schottky Model

Doklady Mathematics - For approximate summation of Poincaré theta series in the Schottky model of real hyperelliptic curves, modifications of the Bogatyrev and Schmies algorithms are proposed...     

A Fractional Orlicz–Sobolev Poincaré Inequality in John Domains

Let n ≥ 2, β∈(0, n) and ■ Rnbe a bounded domain. Support that φ : [0, ∞) → [0, ∞)is a Young function which is doubling and satisfies ■If Ω is a John domain, then we show that it supports a(φ~(n/(n-β)), φ)β-Poincaré inequality. Conversely,assume that Ω is simply connected domain when n = 2 or a bounded domain which is quasiconformally equivalent to some uniform domain when n ≥ 3. If Ω supports a((φ~(n/(n-β)), φ)β-Poincaré inequality,then we show that it is a John domain.     

Uniform Sobolev Inequality along the Sasaki–Ricci Flow

In this paper we prove a uniform Sobolev inequality along the Sasaki–Ricci flow. In the process, we develop the theory of basic Lebesgue and Sobolev function spaces, and prove some general results about the decomposition of the heat kernel for a class of elliptic operators on a Sasaki manifold.