arXiv subjects

Guozhen Lu

Publications and source records attributed to Guozhen Lu.

At least 19 recordsLinked to original sources

arXiv2026

Optimal AB-program for Poincaré--Sobolev and logarithmic Sobolev inequalities on hyperbolic spaces

In this paper, we prove that we can subtract the full spectral gap $\left(\frac{N-1}{p}\right)^{p}$ of the $p$-Laplacian and keep the sharp Sobolev constant $S(N,p)$ of $\mathbb{R}^N$ at the same time in a large family of $p$. For $p=2$, this was proved by Benguria, Frank and Loss in dimension three, and it was shown by Hebey to be false in dimensions $N\geq4$. For $p\neq2$, it was proved by Nguyen for $N\geq4$ and $\frac{2N}{N-1}\leq p<N$. By employing, among other tools, a suitable conjugation that maps the radial $p$-Dirichlet integral on $\mathbb{H}^N$ onto its Euclidean counterpart on $\mathbb{R}^N$ while preserving the $L^p$ norm, together with a one-dimensional tangent line inequality, we establish such sharp Poincaré--Sobolev inequalities for $N=3$ and $2\leq p<3$, for $N=4$ and $\frac{1+\sqrt{13}}{2}\leq p<4$, and for $N\geq5$ and $\min\{3,\frac{1+\sqrt{4N-3}}{2}\}\leq p<N$. In particular, in all cases we also obtain an explicit remainder term. Moreover, since the change of function keeps the $L^p$ norm, we prove the sharp logarithmic Sobolev inequalities with the full spectral gap and the sharp Euclidean constant for $N=3$ and $2\leq p\leq3$, and for $N\geq4$ on an explicit interval of $p$. For $p\geq3$, we also use the change of variable $t=\sinhρ$ and the Hardy inequality, which give a second remainder term. At the endpoint $p=N$, this remainder gives a Hardy--Trudinger--Moser inequality on $\mathbb{H}^N$ under a weaker constraint than the one of Liang, Lu, Wang and Yang, in every dimension $N\geq3$. Finally, we show that for $1<p<\frac{1+\sqrt{4N-3}}{2}$, which includes all $1<p<2$, the full spectral gap can still be subtracted with some positive constant in front of the Sobolev term, and that this constant is smaller than $S(N,p)^{p}$ when $p<\min\{2,\sqrt N\}$. Together with our other results, this shows that the full spectral gap can be subtracted for every $1<p<N$.

math.DG↗

arXiv2026

Second order Heisenberg Uncertainty Principle for solenoidal fields: sharp constants, optimizers and sharp stability

The second order Heisenberg Uncertainty Principle of Cazacu, Flynn and Lam is the uncertainty principle for the gradient of a function. Motivated by the question of Maz'ya on the uncertainty principle for divergence-free vector fields, solved by Cazacu, Flynn and Lam for $N=2$ and by Hamamoto for $N\ge3$, we study the second order principle for divergence-free fields $\mathbf{U}$ on $\mathbb{R}^N$. We prove that $\int|Δ\mathbf{U}|^2dx\int|x|^2|\nabla\mathbf{U}|^2dx\ge C_N^2(\int|\nabla\mathbf{U}|^2dx)^2$, where $C_N=1+\frac12\sqrt{N^2+8}$ for $N\ge3$ and $C_2=1+\sqrt2$. For the velocity of an incompressible flow, $\int|\nabla\mathbf{U}|^2$ and $\int|Δ\mathbf{U}|^2$ are, up to constant factors, the enstrophy and the palinstrophy, so the inequality bounds the palinstrophy from below in terms of the enstrophy and the spatial spread of the velocity gradient. The constant $C_N$ is sharp and larger than the constant $\frac{N+2}{2}$ for general fields, and all the optimizers are explicit fields with Kummer function profiles. We also obtain the sharp constants on the poloidal and the toroidal fields of each degree. Then we prove the sharp stability of the inequality. In sum form, the deficit controls a chain of squared distances to explicit families of poloidal and toroidal fields, with all the constants sharp. In product form, we find the sharp stability constant in all dimensions. For $N\ge4$ it is $\frac12(\sqrt{N^2+4N-4}-\sqrt{N^2+8})$, and it is attained by swirling flows, the toroidal fields of degree one. On the Fourier side, the sixth order poloidal problem becomes a first order Caffarelli-Kohn-Nirenberg inequality for radial functions, and its stability follows from weighted Poincaré inequalities with Gaussian type measures.

math.CA↗

arXiv2026

Sharp Moser-Onofri inequality on the CR sphere under zero-moment constraints and its application to the stability of the CR Moser-Onofri inequality

In this paper, we establish the sharp Moser--Onofri inequality in CR sphere under zero-moment constraints. By combining a decomposition into low and high spherical harmonics with the known CR localization estimates, we first prove the existence of extremals of the subcritical Moser--Onofri inequality under zero-moment constraints. We then derive their Euler--Lagrange equation, establish their smoothness, and eliminate the moment multiplier by means of the infinitesimal CR conformal action. Using the summation identity (4.9) on the Hardy space $H^2(B^n)$, we show that the extremals of subcritical Moser-Onofri inequality in CR sphere under zero-moment constraints are constants. By a limiting argument, we deduce the sharp Moser--Onofri inequality in CR sphere under zero-moment constraints. As an application, we establish the stability of Moser--Onofri inequality in CR sphere with the best stability constant.

math.AP↗

arXiv2026

Quantization analysis of Moser-Trudinger equations in the Poincaré disk and applications

In this paper, we first establish the quantitative properties for positive solutions to the Moser-Trudinger equation in the two-dimensional Poincaré disk $\mathbb{B}^2$: \begin{equation*}\label{mt1} \left\{ \begin{aligned} &-Δ_{\mathbb{B}^2}u=λue^{u^2},\ x\in\mathbb{B}^2, &u\to0,\ \text{when}\ ρ(x)\to\infty, &\|\nabla_{\mathbb{B}^2} u\|_{L^2(\mathbb{B}^2)}^2\leq M_0, \end{aligned} \right. \end{equation*} where $0<λ<\frac{1}{4}=\inf\limits_{u\in W^{1,2}(\mathbb{B}^2)\backslash\{0\}}\frac{\|\nabla_{\mathbb{B}^2}u\|_{L^2(\mathbb{B}^2)}^2}{\|u\|_{L^2(\mathbb{B}^2)}^2}$, $ρ(x)$ denotes the geodesic distance between $x$ and the origin and $M_0$ is a fixed large positive constant (see Theorem \ref{thm1}). Furthermore, by carefully analyzing the asymptotic expansion of the Dirichlet energy $\|\nabla_{\mathbb{B}^2} u\|_{L^2(\mathbb{B}^2)}^2$ as $λ\to 0$, and establishing that \[ \lim_{\substack{λ\to 1/4}} \int_{\mathbb{B}^2} |\nabla_{\mathbb{B}^2} u_λ|^2 \, dV_{\mathbb{B}^2} = +\infty \] for~the ~nonzero~least energy solution, we are able to prove the existence of a critical point for the Moser-Trudinger functional $F(u) = \int_{\mathbb{B}^2} (e^{u^2} - 1) \, dV_{\mathbb{B}^2}$ under the constraint $\int_{\mathbb{B}^2} |\nabla_{\mathbb{B}^2} u|^2 \, dV_{\mathbb{B}^2} = Λ$ for $Λ\in (4π, +\infty)$, up to some Möbius transformation. This result is substantially different from the non-existence of critical points for the Moser-Trudinger functional in the Euclidean disk. Finally, by applying a local Pohozaev identity around the origin and exploiting the uniqueness of solutions to the Cauchy initial value problem for ODEs, we prove that the Moser-Trudinger equation has a unique positive solution up to some Möbius transformation when $λ$ is close to $0$.

math.AP↗

arXiv2026

The stability of Sharp Poincaré and Brascamp--Lieb inequalities with full monomial weights

It was known that the Gaussian measures with monomial weights satisfy the sharp pointwise curvature-dimension condition $CD(1, \infty)$, and consequently they allow us to derive the sharp constant $1$ for the Poincaré inequality only with partial monomial weights. In this paper, we first establish the Gaussian measures with full monomial weights satisfy the integrated curvature-dimension condition $ICD(2, \infty)$ which is sufficient for us to prove the sharp Poincaré inequalities with optimal constant $2$ and the stability of the Brascamp--Lieb inequality for full monomial Gaussian measures. Several of these results are extended to homogeneous Gaussian measures on convex cones. Using the sharp Poincaré inequality and the hypercontractivity, we obtain an improved Beckner inequality that recover the sharp Poincaré and logarithmic Sobolev constants at the endpoints. By developing a Laguerre spectral decomposition of the associated Ornstein--Uhlenbeck type generator, we derive an exact identity for the Poincaré deficit and obtain sharp gradient stability for the Poincaré inequality with full monomial weights. We further establish $L^2$ and weighted gradient stability estimates for the Brascamp--Lieb inequality with explicit constants when all monomial exponents exceed $1$. The $L^2$ estimate extends to log-concave homogeneous weights under a subharmonicity assumption. Finally, we obtain an improved integrated curvature-dimension bound under a scale-invariant Hessian condition and identify the sharp constant for the Poincaré inequality in the radial class.

math.AP↗

arXiv2026

Sharp uniform stability of the logarithmic Sobolev inequality on finite cycles and stability of the cubic Sobolev inequality

We determine the sharp uniform constant in the quartic stability estimate for the logarithmic Sobolev inequality on finite cycles. We equip $C_{n}=\mathbb{Z}/n\mathbb{Z}$ with the uniform probability measure, and we let $\mathcal{E}_{n}$ be the Dirichlet form of the simple random walk on $C_{n}$, normalized so that its spectral gap is one. Frank and Ivanisvili recently proved the sharp logarithmic Sobolev inequality $2\mathcal{E}_{n}(u)\geq \mathrm{Ent}(u^{2})$ for all $n\geq 4$. We prove that $2\mathcal{E}_{n}(u)-\mathrm{Ent}(u^{2})\geq \frac{1}{3}\Vert u-1\Vert _{2}^{4}$ for all $n\geq 4$ and all nonnegative $u$ with $\Vert u\Vert _{2}=1$. This is the sharp form, uniformly in $n$, of the quartic stability estimate of Xie and Zhang, who obtained the constant $\frac{1}{12}$. The same estimate holds on the circle and for the word-length energy on $C_{n}$. Among these models, the four-cycle is the only extremal one: on $C_{4}$ the constant $\frac{1}{3}$ is sharp but not attained, while on $C_{n}$ with $n\geq 5$ and on the circle the sharp constant is at least $\frac{1}{3}+c$, where $c>0$ does not depend on $n$. We also give explicit upper bounds for these sharp constants. Our second main result is a stability estimate for the cubic Sobolev inequality of Frank and Ivanisvili, which is the main step in their proof. It gives the quantitative version of this inequality expected by Frank and Ivanisvili, with the optimal powers of $\Vert u-1\Vert _{2}$: four on $C_{n}$ with $n\geq 5$ and on the circle, and six on $C_{4}$. Two key new ingredients of the proofs are a bound for the first Fourier coefficient of $u$ in terms of its mean, which holds because $u$ is nonnegative, and a sharp stability estimate for Gross's two-point logarithmic Sobolev inequality, with sharp constants in both the fourth and the sixth powers of the distance.

math.AP↗

arXiv2026

Optimal stability hierarchies of the Heisenberg Uncertainty Principle for solenoidal fields and of the second order Caffarelli--Kohn--Nirenberg inequalities

In 2018, V. Maz'ya proposed 75 open problems in analysis and PDEs. One of them is about the best constant for the Heisenberg Uncertainty Principle for solenoidal vector fields motivated by questions in hydrodynamics. This was answered by Cazacu, Flynn and Lam in dimension two and subsequently by Hamamoto in all dimensions $N\ge3$ by establishing sharp inequalities with explicit constants. Nevertheless, the much harder stability problem remains open in all dimensions. The first main result in this paper is to establish a sharp stability hierarchy by proving that its deficit controls the distance to the set of extremals, with the sharp stability constant $\frac12(N-\sqrt{N^2-4N+12})$ for $N\ge4$ and $1$ for $N=3$, together with chains of remainder terms measuring the distance to explicit larger families of poloidal and toroidal fields. The second main result is the second order $L^2$-Caffarelli--Kohn--Nirenberg inequality with the weights $|x|^{-2a}$ and $|x|^{-2b}$ on the line $1+a+b=0$, for which we obtain the stability constant $\frac12\min\{4(1+a),\sqrt{(N+2a)^2+4N-4}-(N+2a)\}$. This CKN inequality is sharp whenever the second number is the smaller one. We develop a novel method: the fourth order one-dimensional problems attached to the spherical modes are transformed, by a Fourier--Hankel transform of real order, into first order inequalities whose sharp stability is that of weighted Gaussian Poincaré inequalities. The inverse transform produces the extremals in terms of Kummer's function. As a byproduct of our new approach, we also obtain substantially simpler proofs, with sharp remainder terms and equality cases, of Hamamoto's one-dimensional inequality and of his sharp uncertainty principle for solenoidal fields.

math.AP↗

arXiv2026

A Fourier approach to the sharp stability of Heisenberg Uncertainty Principles of higher and fractional orders: a new perspective

We show that, on the Fourier side, the sharp second order Heisenberg Uncertainty Principle (HUP) and its sharp stability for functions are nothing but the first order $L^{2}$-Caffarelli--Kohn--Nirenberg inequality and its sharp stability, applied to their Fourier transforms. This gives a proof in a few lines of the sharp stability estimate that we established recently by a much longer argument. The same observation then produces two one-parameter families of sharp fractional Heisenberg Uncertainty Principles, in which the gradient is replaced by a fractional power of the Laplacian: for each of them we compute the sharp constants, characterize all the optimizers, and establish the sharp stability estimates. The stability constant of the first family is equal to $1$ for every nonnegative order and every dimension. Negative orders, where the fractional Laplacian becomes a Riesz potential, are treated as well. Finally, we show that the deficit carries much more information than the distance to the optimizers alone: it controls an explicit chain of successive remainder terms whose constants are the successive spectral gaps of an explicit operator. For the classical Heisenberg Uncertainty Principle this gives three remainder terms with optimal explicit constants, and for the second order HUP a chain of four remainder terms measured against explicit confluent hypergeometric profiles and coupled through one single set of parameters. As applications, we also establish the chain of stability of the HUP for curl-free vector fields.

math.AP↗

arXiv2026

Pólya--Szegö Inequality on Submanifolds of Riemannian Manifolds with Nonnegative Curvature and Applications

We prove a Pólya--Szegö inequality for functions defined on an $n$-dimensional submanifold $Σ$ of a complete noncompact Riemannian manifold with nonnegative sectional curvature. The associated rearrangement is a Schwarz rearrangement on $\mathbb R^n$, and the constant depends on the $L^n$-norm of the mean curvature of $Σ$ and an isoperimetric quantity obtained by Brendle. As applications, we derive Sobolev, Log-Sobolev, Hardy, and Gagliardo--Nirenberg inequalities on submanifolds of arbitrary codimension under a small total mean curvature assumption. In the critical Sobolev case, we obtain Moser--Trudinger inequalities on finite-volume submanifolds and exact growth inequalities on submanifolds with infinite volume. Under suitable assumptions, the Pólya--Szegö constant equals one; in this case, the critical constants in the inequalities coincide with the sharp Euclidean ones.

math.DG↗

arXiv2026

Sharp $L^2$-stability and gradient stability hierarchies of the $L^2$-Poincaré inequalities on Euclidean balls and Gaussian Poincaré inequality

We study the sharp $L^2$-Poincaré inequalities on Euclidean balls and with respect to the Gaussian measure, and we focus on their stability. In both settings, the sharp constant is the first nonzero eigenvalue of a self-adjoint operator and the set of optimizers is a finite dimensional linear space. Using the spectral decomposition, we establish sharp $L^2$-stability estimates and sharp gradient stability estimates, together with the stability of the stability inequalities in both norms, with explicit optimal constants and with the complete characterization of the equality cases. We then show that this process can be continued. The Poincaré deficit is equal to an infinite sum of $L^2$-distances to the increasing spaces of optimizers of the successive stability inequalities. It is also equal to an infinite sum of $L^2$-gradient distances to the same spaces. The coefficients of the first sum are the spectral gaps $μ_j-μ_{j-1}$, and the coefficients of the second sum are $μ_1$ times the gaps of the reciprocal spectrum, $μ_1\left(μ_{j-1}^{-1}-μ_j^{-1}\right)$. On the Euclidean ball, all the constants are expressed through the roots of Bessel functions, and we prove that the first two spectral levels are given by the degree one and the degree two Neumann modes in all dimensions, while the third level is given by the first radial mode when $N=2,3$ and by the degree three modes when $N\geq4$. In the Gaussian case, all the constants are rational numbers and the $L^2$-sum has all coefficients equal to $1$; we prove that this property characterizes the arithmetic spectrum.

math.AP↗

arXiv2026

Sharp $L^2$-Caffarelli--Kohn--Nirenberg and weighted Poincaré inequalities on half-spaces and orthants and their stability

Though the sharp $L^{2}$-Caffarelli--Kohn--Nirenberg (CKN) inequalities have been extensively studied in the entire Euclidean spaces, the corresponding problem on domains whose boundary contains the origin remains largely unexplored. We investigate the sharp $L^{2}$-CKN inequalities on half-spaces and orthants $\mathbb R^{n}_{k,+}$ by computing explicitly the optimal constants, determining all possible extremal functions, and establishing exact identities for the deficits. Since the singular weights $|x|^{-2b}$ rule out the lifting argument that is available for the simpler Heisenberg Uncertainty Principle, we develop an approach based on the transformations $u(x)=|x|^{m}v(x)$ for an appropriately chosen $m$ combined with spherical harmonic decompositions and weighted identities. Moreover, we establish weighted Poincaré inequalities associated with measures of the form \[ e^{-δ|x|^τ}|x|^β\bigl(\prod_{i=n-k+1}^{n}x_i^{2}\bigr)\,dx, \] together with their sharp constants, extremizers and stability estimates, which substantially extend those of the classical Gaussian Poincaré inequality. On the full orthant, the linear modes cease to be admissible competitors, since all odd spherical harmonics are annihilated by the lifting; the first non-radial mode is then of degree two, and both the sharp constant and the manifold of optimizers change accordingly. Finally, we establish several stability estimates, and second-order stability estimates, of the CKN inequalities on the half-spaces and orthants throughout the full parameter range.

math.AP↗

arXiv2026

A complete characterization of the existence of extremals for the Trudinger-Moser inequality on $\mathbb{R}^2$ under sharp $L^p$-perturbations

In this paper, we investigate the following critical Trudinger--Moser inequality on $\mathbb R^2$ under sharp $L^p$-perturbations: $$ S(λ,p) := \sup_{\substack{u\in H^{1}(\mathbb R^{2})\\ \int_{\mathbb R^2}(|\nabla u|^2+|u|^2)\,dx\le 1}} \int_{\mathbb R^2} \left(e^{4πu^2}-1-λ|u|^p\right)\,dx . $$ For $2 λ^{\ast}$. Moreover, we show that the nonattainment in this range is caused by a vanishing phenomenon. For $p=2$, combining our analysis with the nonexistence results for $L^2$-perturbed Trudinger--Moser inequalities obtained in \cite{Chenluzhu}, we establish the existence of two finite thresholds $λ_{\ast}>-\infty$ and $λ^{\ast}<+\infty$ such that $S(λ,2)$ is attained when $λ_{\ast}<λ<λ^{\ast}$, and is not attained when $λ<λ_{\ast}$ or $λ>λ^{\ast}$. In contrast, for $p>4$, we prove that $S(λ,p)$ is attained for all admissible values of $λ$. Our results indicate that, in the whole-space setting, the $L^p$-perturbation term affects the existence and nonexistence of extremals through either concentration or vanishing phenomena, which is fundamentally different from the bounded-domain case, where existence or nonexistence is governed solely by concentration phenomena. These results provide a complete characterization of how sharp $L^p$ perturbations determine the existence and nonexistence of extremals for critical Trudinger--Moser inequalities on the entire $\mathbb R^2$. The resulting existence and nonexistence theory exhibits a threshold structure with respect to the $L^p$ pertubation reminiscent of the classical Brezis--Nirenberg phenomenon in the whole space $\mathbb R^2$.

math.AP↗

arXiv2026

Stability for Critical Points of the Hardy--Littlewood--Sobolev Inequality and a Dual Stability Framework

Although quantitative stability for critical points of the Sobolev and fractional Sobolev inequalities has been extensively studied, the corresponding stability theory for critical points of the Hardy--Littlewood--Sobolev (HLS) inequality remains largely unexplored. A major difficulty is that the natural stability problem for HLS critical points involves a non-Hilbertian distance, so the classical orthogonal decomposition methods used in Hilbert-space settings are no longer available. In this paper, we develop a weak-decomposition--strong-stability method tailored to the stability structure of HLS critical points and establish the corresponding stability inequality. Our approach also yields an explicit lower bound for the stability of Palais--Smale sequences of the HLS integral equation. To the best of our knowledge, this appears to be the first quantitative stability result for Palais--Smale sequences of a variational functional measured in a non-Hilbertian distance. We further introduce a duality framework connecting Struwe-type decompositions and stability inequalities for critical points of the Sobolev inequality with their HLS counterparts. As a consequence, we derive Struwe-type decomposition and stability results for critical points of the fractional Sobolev inequality for general functions, thereby removing the nonnegativity assumption imposed in [26].

math.AP↗

arXiv2026

Caffarelli-Kohn-Nirenberg and Weighted Gaussian Poincaré Inequalities: a complete characterization of sharp $L^2$ stability and $L^p$ extensions

We introduce a new family of weighted Gaussian $L^2$-Poincaré-type inequalities with explicit sharp constants, optimizers, and corresponding sharp $L^2$-gradient stability estimates. This family substantially extends the classical Gaussian Poincaré inequality. Owing to the singular nature of the weights involved, standard approaches to classical Gaussian Poincaré inequalities do not apply. To overcome this difficulty, we develop a new method based on generalized Laguerre polynomial expansions, spherical harmonic decompositions, and a Kelvin-type transform. As an application, we completely characterize the stability of the $L^2$-Caffarelli--Kohn--Nirenberg (CKN) inequalities by establishing sharp stability estimates, together with the stability of the stability inequality results, throughout the entire parameter range. Previous results were available only in a few special cases. We further establish weighted $L^p$-Poincaré inequalities for all $p>1$, and derive stability estimates for the $L^p$-CKN inequalities for $p\geq 2$ throughout the full parameter regime in which sharp constants and optimizers are known. In contrast, earlier $L^p$ results were restricted to highly limited parameter ranges.

math.AP↗

arXiv2026

Log-Sobolev and Beckner inequalities and stability of Poincaré inequality with weighted Gaussian measures

We employ a Markov semigroup approach combined with the $Γ$-calculus to establish a generalized Beckner inequality associated with weighted Gaussian measures. As a direct consequence, we derive the corresponding Poincaré inequality in the same setting. Subsequently, by means of a duality argument, we investigate gradient and $L^2$ stability estimates of the Poincaré inequality. Furthermore, we formulate a scale-dependent version of the Poincaré inequality for homogeneous Gaussian-type measures and apply it to analyze the stability of the Heisenberg Uncertainty Principle with homogeneous weights. Finally, we establish a Logarithmic Sobolev inequality for weighted Gaussian measures and utilize it to derive the Euclidean Logarithmic Sobolev inequality with homogeneous log-concave weights.

math.FA↗

arXiv2026

Conformally invariant equations with negative critical exponents on the three dimensional hyperbolic space

We establish a symmetry result for positive entire solutions with a prescribed growth rate to the following fourth order equation on the 3-dimensional hyperbolic space $\mathbb{H}^3$: \[ P_2 u = - u^{-7}, \] where $P_2$ denotes the fourth-order Paneitz operator. We prove that any positive solution $u$ on $\mathbb{H}^3$ exhibiting exponential growth at infinity must, up to hyperbolic isometries, be radial and strictly decreasing with respect to some point $P \in \mathbb{H}^3$. Fourth order equations with negative critical growth on 3-dimensional Euclidean space $\mathbb{R}^3$ has been studied by Choi and Xu in \cite{CX09 }, and subsequently by McKenna and Reichel \cite{MR03} and Xu \cite{Xu05}. Unlike the Euclidean case, the behavior of the Green's function of $P_2$ is substantially different, which prevents us from using the moving plane (sphere) method directly.

math.AP↗

arXiv2026

Heisenberg Uncertainty Principle on half spaces and Orthants: Best constants, Optimizers and Stability

Though the sharp Heisenberg Uncertainty Principle has been extensively studied in the entire Euclidean spaces, the counterpart on the half spaces or more general orthants has been missing in the literature. We investigate the sharp Heisenberg Uncertainty Principle on orthants by computing explicitly the optimal constant and determining all possible extremal functions. Moreover, we establish several stability estimates of the Heisenberg Uncertainty Principle on the half spaces and orthants.

math.AP↗

arXiv2026

Logarithmic Sobolev, Poincaré and Beckner Inequalities on Hyperbolic Spaces and Riemannian Manifolds

We investigate several functional and geometric inequalities on the hyperbolic space $\mathbb{H}^N$, with a primary emphasis on logarithmic Sobolev inequalities, Poincaré inequalities, and Beckner-type inequalities, all studied within the framework of the AB program. The main analytical tool employed throughout this paper is symmetrization. More precisely, our approach relies on an improved version of the Pólya-Szegö inequality on the hyperbolic space, obtained through a careful comparison of the gradient norms of rearranged functions in the hyperbolic and Euclidean settings. For Beckner-type inequalities, we adopt a semigroup approach based on sharp estimates for the heat semigroup, leading to refined interpolation inequalities between Poincaré and logarithmic Sobolev inequalities. Finally, we extend our results beyond hyperbolic space to a class of Riemannian model manifolds $\mathbb{M}^N$ satisfying the centered isoperimetric inequality. This shows that the inequalities and methods developed in this work are robust and rely mainly on geometric and isoperimetric properties, rather than on the specific structure of hyperbolic space itself.

math.AP↗