Skip to content
Preprint

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

Aug 2026 · 0 citations
Mathematics

Abstract

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\'e inequalities associated with measures of the form \[ e^{-\delta|x|^{\tau}}|x|^{\beta}\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\'e 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.

View source

Similar papers

Preprint Aug 2026

Anisotropic Caffarelli-Kohn-Nirenberg inequalities for the Minkowski functional: $L^p$-remainder identities and extremals

We establish exact anisotropic $L^p$-Hardy and Caffarelli-Kohn-Nirenberg identities associated with the Minkowski functional $\|\cdot\|_K$ and the anisotropic radial derivative $\mathcal R_K$, where $1<p<\infty$ and $K\subset\RN$ is a smooth and strictly convex body containing the origin in its interior, not necessarily origin-symmetric. These identities contain explicit nonnegative $R_p$-remainders and yield sharp anisotropic radial $L^p$-Hardy and $L^p$-Caffarelli-Kohn-Nirenberg inequalities. In the noncritical parameter regions, we characterize the full family of extremal functions in the natural weighted completion space, while in the critical case the sharp constant is not attained by any nonzero function in that space. As applications, we establish sharp anisotropic $L^p$-Heisenberg uncertainty principles and obtain explicit anisotropic Gaussian-type optimizers. Finally, letting $K^*$ denote the polar body of $K$, we derive norm-based anisotropic gradient inequalities associated with the origin-symmetric body $K^*\cap(-K^*)$. When $K$ is origin-symmetric, the corresponding gradient constants are sharp, including those in the critical case.

Zhenzhen Wei · 0 citations
Preprint Jul 2026

Sharp anisotropic $L^2$-Caffarelli-Kohn-Nirenberg inequalities associated with the Minkowski functional

Let $K\subset \RN$ be a convex body containing the origin in its interior, and let $\hK{\cdot}$ be its Minkowski functional. In this paper, we develop an identity-based framework for sharp anisotropic $L^2$-Caffarelli-Kohn-Nirenberg inequalities associated with the anisotropic radial derivative $$ \mathcal R_K(u)(x)=\frac{x\cdot\nabla u(x)}{\hK{x}}, \quad x\in\RN\setminus\{o\}. $$ A key point of the present work is that $K$ is not assumed to be origin-symmetric. Consequently, the Minkowski functional $\hK{\cdot}$ need not be even, and the usual norm-based anisotropic arguments do not apply directly. The main tools are anisotropic $L^2$-Hardy and $L^2$-Caffarelli-Kohn-Nirenberg identities with explicit nonnegative remainders. These identities yield sharp anisotropic $L^2$-Caffarelli-Kohn-Nirenberg inequalities whose best constants depend on the parameter region of $(a,b)\in\mathbb R^2$. We also study the attainability of the sharp constants in a natural completion space and obtain the corresponding extremal functions. As further consequences, we derive sharp anisotropic Heisenberg-type uncertainty principles and max-type anisotropic gradient inequalities. When $K$ is the Euclidean unit ball, our results recover the classical Euclidean $L^2$ theory; when $K$ is origin-symmetric, they are consistent with the usual norm-based anisotropic framework. In particular, the present results extend the sharp $L^2$-Caffarelli-Kohn-Nirenberg theory to general convex bodies containing the origin in their interiors, for which the Minkowski functional may be non-even.

Zhenzhen Wei · 1 citation
Preprint Jul 2026

Sharp Estimates for Hankel, Fekete-Szeg\"o and Zalcman Functionals for $\mathcal{S}_\mathbb{B}^{*}(\alpha)$ in Complex Banach Spaces

Inspired by the sharp coefficient estimates established by Cho \emph{et al.}\cite{CKKLS2018} for starlike functions of order $\alpha$ in the unit disk, we investigate the corresponding problems for starlike mappings of order $\alpha$ defined on the unit ball of a complex Banach space. Employing Fr\'echet derivatives together with suitable auxiliary lemmas, we establish sharp upper bounds for the second-order Hankel determinant, the Fekete--Szeg\"o functional, and the Zalcman functional associated with this class of mappings. In each case, the obtained estimates are shown to be sharp by identifying the corresponding extremal mappings. Furthermore, our results reduce to the known one-dimensional sharp estimates when the underlying Banach space is the complex plane, thereby extending several classical results of Cho \emph{et al.} \cite{CKKLS2018} to the setting of complex Banach spaces.

Nabadwip Sarkar, Pradip Das · 0 citations
Preprint Sep 2026

Optimal geometric inequalities and fully nonlinear conformal flows

We establish sharp Sobolev-type geometric inequalities on $\mathbb{S}^n$ involving the total $\sigma_k$-curvatures $\int_{\mathbb{S}^n}\sigma_k(g)\,dv_g$. These results extend the optimal inequalities of Guan--Wang~\cite{GWDuke} from the cone $\mathcal{C}_k$ to the strictly larger cone $\mathcal{C}_{k-1}$, thereby enlarging the range of admissible conformal metrics. Our approach is variational and is implemented through a fully nonlinear conformal flow. Working in $\mathcal{C}_{k-1}$ introduces substantial analytic difficulties; in particular, one must obtain $C^2$ a priori estimates while simultaneously verifying that the flow remains parabolic. We resolve these issues via a carefully designed test function and by applying the maximum principle to the maximal eigenvalue of the Hessian matrix. As applications, we solve two open problems in dimensions 3 and 4. Finally, we give examples to show that these inequalities cannot be extended to $\mathcal{C}_{k-2}$.

Unknown authors · 2 citations
Preprint Aug 2026

Sharp Bohr-Type Inequalities Involving Euler Operator and Area Functionals on $\mathbb{P}\Delta(0;1_n)$

In this paper, we establish several higher-dimensional generalizations of refined Bohr-type inequalities for bounded holomorphic functions mapping into the unit polydisk $\mathbb{P}\Delta(0;1_n)$ in $\mathbb{C}^n$. First, we formulate multidimensional analogues of sharp Bohr-type inequalities originally established by Liu \emph{et al.} [{\it Bull. Sci. Math.} {\bf 173} (2021) 103054], incorporating both squared coefficient terms and area functional components. Second, we provide improved inequalities for a recent multidimensional extension by Ahamed \emph{et al.} [{\it Complex Anal. Oper. Theory} {\bf 20}(6) (2026), 142] by introducing an analogous term corresponding to the area functional. Finally, we extend a refined Bohr-type inequality involving the term $\vert{}f(z)-a_0\vert{}$ to the setting of several complex variables. All the results are shown to be sharp.

M. B. Ahamed, Taimur Rahman · 0 citations
Preprint Aug 2026

Second Hankel Determinant for $\beta$-Spirallike Convex Mappings in Complex Banach Spaces

We establish the bound for the second-order Hankel determinant $H_{2,2}(F) = A_2 A_4 - A_3^2$ associated with the class $\mathcal{C}_{B}^{\beta}(\mathbb{B})$ of normalized $\beta$-spirallike quasi-convex mappings of type $B$ on the open unit ball $\mathbb{B}$ of a complex Banach space. By utilizing a generalized framework based on a directional slice homogeneous polynomial expansion, we eliminate the standard, restrictive assumption that the mapping is of the form $F(x) = g(x)x$. Under these weaker operational conditions, we parameterize the targeted scalar invariants $A_n$ via the classical Carath\'{e}odory functional parameters. A rigorous optimization analysis proves that the established upper bound is strictly sharp for the classical non-spirallike case $\beta = 0$, yielding a maximal value of $1/8$. This sharp bound is verified by constructing explicit multi-dimensional extremal mappings that lift the corresponding single-variable convex profile. Finally, an unresolved open question regarding the exact variational behavior for $\beta \neq 0$ is formulated.

M. B. Ahamed, Nabadwip Sarkar, Pradip Das · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.