[Paper Review] Higher Order Coercive Inequalities

Yifu Wang, Bogusław Zegarliński|arXiv (Cornell University)|Oct 20, 2020

Advanced Harmonic Analysis ResearchMathematics21 references20 citations

TL;DR

This paper establishes tight higher-order coercive inequalities for probability measures satisfying Adam's regularity condition, using a constructive method to derive estimates for optimal constants. It proves equivalence of Sobolev norms and Markov generator-related norms, and demonstrates exponential decay to equilibrium for higher-order gradients under Poincaré-type assumptions.

ABSTRACT

We study the higher order q- Poincaré and other coercive inequalities for a class probability measures satisfying Adam's regularity condition.

Motivation & Objective

• To establish tight higher-order Poincaré and Orlicz-Sobolev inequalities for a class of probability measures satisfying Adam's regularity condition.
• To provide a constructive method for estimating optimal constants in higher-order coercive inequalities.
• To demonstrate equivalence between $W_{k,p}(\mu)$ norms and norms associated with the Markov generator under the given measure.
• To analyze decay to equilibrium for higher-order gradients in infinite-dimensional and Lie group settings.
• To generalize the Holley-Stroock perturbation lemma via norm-dependent minimizers in higher-order functional spaces.

Proposed method

• Utilizes Adams-type inequalities and the $\Delta_2$ condition on Young functions to derive tight Orlicz-Sobolev inequalities.
• Applies a constructive framework based on Leibniz rule and gradient estimates to bound $L_p$ norms of higher-order derivatives.
• Employs the Riesz transform and commutator estimates to control error terms in higher-order derivative bounds.
• Derives decay estimates via semigroup analysis, using the generator $L = \Delta - \nabla U \cdot \nabla$ and energy dissipation identities.
• Introduces norm-dependent minimizers to generalize perturbation lemmas, avoiding reliance on Log-Sobolev-type functionals.
• Uses commutator identities $[\nabla^k, L]$ to express higher-order gradient evolution in terms of curvature terms $\nabla^r \nabla_l U$.

Experimental results

Research questions

• RQ1 Can tight higher-order coercive inequalities be established for probability measures satisfying Adam's regularity condition?
• RQ2 What is the relationship between $W_{k,p}(\mu)$ norms and norms induced by the Markov generator under such measures?
• RQ3 How can optimal constants in higher-order Poincaré inequalities be estimated constructively?
• RQ4 Under what conditions does the semigroup $P_t = e^{tL}$ exhibit exponential decay for higher-order gradients?
• RQ5 Can norm-dependent minimizers provide a viable generalization of the Holley-Stroock perturbation lemma in higher-order settings?

Key findings

• The paper proves the existence of a constant $K \in (0, \infty)$ such that $\mu \Phi_{A,p}(f) \leq K\left(\|f\|_{m,p}^p + \Phi_{A,p}(\|f\|_p)\right)$ for all $f \in W_{m,p}(\mu)$, under Adams regularity and $A(U(x)) \leq a(1 + |\nabla U|)^{mp}$.
• It establishes the inequality $\int |f|^p (1 + |\nabla U|)^{mp} d\mu \leq \tilde{K} \|f\|_{m,p}^p$, which controls lower-order terms via higher-order derivatives.
• Under the Poincaré condition $m_0 \mu(f - \mu f)^2 \leq \mu|\nabla f|^2$, the paper shows exponential decay: $\mu|\nabla^k f_t|^2 \leq C' e^{-2m_0 t} \left(\mu|\nabla^k f|^2 + \mu(f - \mu f)^2\right)$.
• It proves that $\mu|\nabla^k (f - M_{k,2}f)_t|^2 \leq C'' e^{-2m_0 t} \mu|\nabla^k f|^2$, confirming decay for centered higher-order gradients.
• The paper identifies a necessary condition for faster decay: $m \mu|\nabla^k f|^2 \leq \mu(\nabla_j \nabla^{k-1}f \cdot (\nabla_j \nabla_i U) \nabla_i \nabla^{k-1}f)$, which holds for strictly convex $U$.
• It derives a differential inequality for $\mu|\nabla^k f_s|^2$, showing that decay rate depends on curvature terms $\nabla^r \nabla_l U$ and can be bounded under additional assumptions on $U$.