We present several sharp upper bounds and some extension for product operators. Among other inequalities, it is shown that if , , are non-negative continuous functions on such that , , then for all non-negative operator monotone decreasing function on , we obtain that As an application of the above inequality, it is shown that where, and .
Exploiting the mass transportation method, we prove a dual principle which implies directly the sharp Gagliardo-Nirenberg trace inequalities which was recently proved by Bolley et al. [BCFGG17]. Moreover, we determine all optimal functions for these obtained sharp Gagliardo-Nirenberg trace inequalities. This settles a question left open in [BCFGG17]. Finally, we use the sharp Gagliardo--Nirenberg trace inequality to establish their affine versions (i.e., the sharp affine Gagliardo-Nirenberg trace inequalities) which generalize a recent result of De Nápoli et al. [DeNapoli]. It was shown that t…
We first establish a family of sharp Caffarelli-Kohn-Nirenberg type inequalities on the Euclidean spaces and then extend them to the setting of Cartan-Hadamard manifolds with the same best constant. The quantitative version of these inequalities also are proved by adding a non-negative remainder term in terms of the sectional curvature of manifolds. We next prove several rigidity results for complete Riemannian manifolds supporting the Caffarelli-Kohn-Nirenberg type inequalities with the same sharp constant as in $\mathbb R^n$ (shortly, sharp CKN inequalities). Our results illustrate the influ…
We establish sharp affine weighted $L^p$ Sobolev type inequalities by using the $L_p$ Busemann-Petty centroid inequality proved by Lutwak, Yang and Zhang. Our approach consists in combining in a convenient way the latter one with a suitable family of sharp weighted $L^p$ Sobolev type inequalities obtained by Nguyen and allows to characterize all extremizers in some cases. The new inequalities don't rely on any euclidean geometric structure.
We consider functions L_p-integrable with Jacobi weights on [-1,1] and prove Hardy--Littlewood type inequalities for fractional integrals. As applications, we obtain the sharp (L_p, L_q) Ulyanov-type inequalities for the Ditzian--Totik moduli of smoothness and the K-functionals of fractional order.
In this paper, we derive a new proof on some sharp double integral inequalities of the Hermite-Hadamard type. Our approach is mainly based on well-known Taylor's theorem with the integral remainder.
We obtain sharp estimates for the localized distribution function of Mϕ, when ϕbelongs to Lp,\inf where M is the dyadic maximal operator. We obtain these estimates given the L1 and Lq norm, q < p and certain weak Lp-conditions.
We establish sharp Adams type inequalities on Sobolev spaces $W^{α, n/α}(X)$ of any fractional order $α< n$ on Riemannian symmetric space $X$ of noncompact type with dimension $n$ and of arbitrary rank. We also establish sharp Hardy-Adams inequalities on the Sobolev spaces $W^{n/2, 2}(X)$. For the real hyperbolic spaces, such results were recently obtained by J. Li et al. (Trans. AMS, 2020). We use Fourier analysis on the symmetric spaces to obtain these results.
The optimal constants in a class of exponential type inequalities for the Ornstein-Uhlenbeck operator in the Gauss space are detected. The existence of extremal functions in the relevant inequalities is also established. Our results disclose analogies and dissimilarities in comparison with Adams' inequality for the Laplace operator, a companion of our inequalities in the Euclidean space.
We prove several interesting equalities for the integrals of higher order derivatives on the homogeneous groups. As consequences, we obtain the sharp Hardy--Rellich type inequalities for higher order derivatives including both the subcritical and critical inequalities on the homogeneous groups. We also prove several uncertainty principles on the homogeneous groups. Our results seem to be new even in the case of Euclidean space $\mathbb R^n$ and give a simple proof of several classical Hardy--Rellich type inequalities in $\mathbb R^n$.
In a recent paper, E. Carlen and A. Figalli prove a stability estimate - also known as a quantitative inequality - for a sharp Gagliardo-Nirenberg inequality and use this result to solve a Keller-Segal Equation. The Gagliardo-Nirenberg Inequality that Carlen and Figalli prove their stability estimate for is part of a larger family of sharp Gagliardo-Nirenberg inequalities, for which the sharp constants and extremals were identified in some cases by Carrillo and Toscani, and then for the remaining cases by Del Pino and Dolbeault. We prove a stability estimate for the entire family of sharp Gagl…
New sharp multiplicative reverses of the operator means inequalities are presented, with a simple discussion of squaring an operator inequality. As a direct consequence, we extend the operator Pólya-Szegö inequality to arbitrary operator means. Furthermore, we obtain some new lower and upper bounds for the Tsallis relative operator entropy, operator monotone functions and positive linear maps.
In this paper, we study the sharp Poincaré inequality and the Sobolev inequalities in the higher order Lorentz--Sobolev spaces in the hyperbolic spaces. These results generalize the ones obtained in \cite{Nguyen2020a} to the higher order derivatives and seem to be new in the context of the Lorentz--Sobolev spaces defined in the hyperbolic spaces.
We give in this short paper the exact value for norms of two operators of Hardy-Sobolev type acting between two weight Grand Lebesgue Space (GLS) based on the whole multidimensional Euclidean space.
A family of sharp $L^p$ Sobolev inequalities is established by averaging the length of $i$-dimensional projections of the gradient of a function. Moreover, it is shown that each of these new inequalities directly implies the classical $L^p$ Sobolev inequality of Aubin and Talenti and that the strongest member of this family is the only affine invariant one among them -- the affine $L^p$ Sobolev inequality of Lutwak, Yang, and Zhang. When $p = 1$, the entire family of new Sobolev inequalities is extended to functions of bounded variation to also allow for a complete classification of all extrem…
By adapting the mass transportation technique of Cordero-Erausquin, Nazaret and Villani, we obtain a family of sharp Sobolev and Gagliardo-Nirenberg (GN) inequalities on the half space $\mathbf{R}^{n-1}\times\mathbf{R}_+$, $n\geq 1$ equipped with the weight $ω(x) = x_n^a$, $a\geq 0$. It amounts to work with the fractional dimension $n_a = n+a$. The extremal functions in the weighted Sobolev inequalities are fully characterized. Using a dimension reduction argument and the weighted Sobolev inequalities, we can reproduce a subfamily of the sharp GN inequalities on the Euclidean space due to Del …
The power $\frac{2m}{m+1}$ in the polynomial (and multilinear) Bohnenblust--Hille inequality is optimal. This result is well-known but its proof highly nontrivial. In this note we present a quite simple proof of this fact.
We prove the existence of minimizers for some constrained variational problems on $BV(Ω)$, under subcritical and critical restrictions, involving the affine energy introduced by Zhang in \cite{Z}. Related functionals have non-coercive geometry and properties like semicontinuity and affine compactness are deeper in the weak* topology. As a by-product of the theory, extremal functions are shown to exist for various affine Poincaré-Sobolev type inequalities.
We give new inequalities for $A$-operator seminorm and $A$-numerical radius of semi-Hilbertian space operators and show that the inequalities obtained here generalize and improve on the existing ones. Considering a complex Hilbert space $\mathcal{H}$ and a non-zero positive bounded linear operator $A$ on $\mathcal{H},$ we show with among other seminorm inequalities, if $S,T,X\in \mathcal{B}_A(\mathcal{H})$, i.e., if $A$-adjoint of $S,T,X$ exist then $$2\|S^{\sharp_A}XT\|_A \leq \|SS^{\sharp_A}X+XTT^{\sharp_A}\|_A.$$ Further, we prove that if $T\in \mathcal{B}_A(\mathcal{H})$ then \begin{eqnarr…
We derive sharp Sobolev inequalities for Sobolev spaces on metric spaces. In particular, we obtain new sharp Sobolev embeddings and Faber-Krahn estimates for Hörmander vector fields.
Using Fourier analysis, we derive Wirtinger-type inequalities of arbitrary high order. As applications, we prove various sharp geometric inequalities for closed curves on the Euclidean plane. In particular, we obtain both sharp lower and upper bounds for the isoperimetric deficit.
We prove sharp maximal inequalities for $L^q$-valued stochastic integrals with respect to any Hilbert space-valued local martingale. Our proof relies on new Burkholder-Rosenthal type inequalities for martingales taking values in an $L^q$-space.
We derive the sharp constants for the inequalities on the Heisenberg group H^n whose analogues on Euclidean space R^n are the well known Hardy-Littlewood-Sobolev inequalities. Only one special case had been known previously, due to Jerison-Lee more than twenty years ago. From these inequalities we obtain the sharp constants for their duals, which are the Sobolev inequalities for the Laplacian and conformally invariant fractional Laplacians. By considering limiting cases of these inequalities sharp constants for the analogues of the Onofri and log-Sobolev inequalities on H^n are obtained. The m…
We prove sharp inequalities of Hardy type for functions in the Sobolev space $W^{1,p}$ on the unit sphere $\mathbb{S}^{n-1}$ in $\mathbb{R}^{n}$. We achieve this in both the subcritical and critical cases. The method we use to show optimality takes into account all the constants involved in our inequalities.
Motivared by Carleman's proof of the isoperimetric inequality in the plane, we study some sharp integral inequalities for harmonic functions on the upper halfspace. We also derive the regularity for nonnegative solutions of the associated integral system and some Liouville type theorems.
We derive the sharp Moser-Trudinger-Onofri inequalities on the standard $n$-sphere and CR $(2n+1)$- sphere as the limit of the sharp fractional Sobolev inequalities for all $n\ge 1$. On the $2$-sphere and $4$-sphere, this was established recently by S.-Y. Chang and F. Wang. Our proof uses an alternative and elementary argument.
This paper is a second one following our work [CLZ13] in series, considering sharp Hardy- Littlewood-Sobolev inequalities on groups of Heisenberg type. The first important breakthrough was made by Frank and Lieb in [FL12]. In this paper, analogous results are obtained for octonionic Heisenberg group.
We find a new sharp trace Gagliardo-Nirenberg-Sobolev inequality on convex cones, aswell as a weighted sharp trace Sobolev inequality on epigraphs of convex functions. This is done by using a generalized Borell-Brascamp-Lieb inequality, coming from the Brunn-Minkowski theory.
We determine the sharp constant in the Hardy inequality for fractional Sobolev spaces on half-spaces. Our proof relies on a non-linear and non-local version of the ground state representation.
Using some harmonic extensions on the upper-half plane, and probabilistic representations, and curvature-dimension inequalities with some negative dimensions, we obtain some new opimal functional inequalities of the Beckner type for the Cauchy type distributions on the Euclidean space. These optimal inequalities appear to be equivalent to some non tight optimal Beckner inequalities on the sphere, and the family appear to be a new form of the Sobolev inequality.
This note relies mainly on a refined version of the main results of the paper by F. Catrina and D. Costa (J. Differential Equations 2009). We provide very short and self-contained proofs. Our results are sharp and minimizers are obtained in suitable functional spaces. As main tools we use the so-called \textit{expand of squares} method to establish sharp weighted $L^{2}$-Caffarelli-Kohn-Nirenberg (CKN) inequalities and density arguments.
Frank and Lieb gave a new, rearrangement-free, proof of the sharp Hardy-Littlewood-Sobolev inequalities by exploiting their conformal covariance. Using this they gave new proofs of sharp Sobolev inequalities for the embeddings $W^{k,2}(\mathbb{R}^n)\hookrightarrow L^{\frac{2n}{n-2k}}(\mathbb{R}^n)$. We show that their argument gives a direct proof of the latter inequalities without passing through Hardy-Littlewood-Sobolev inequalities, and, moreover, a new proof of a sharp fully nonlinear Sobolev inequality involving the $σ_2$-curvature. Our argument relies on nice commutator identities deduce…
We prove a one-parameter family of sharp integral inequalities for functions on the $n$-dimensional unit ball. The inequalities are conformally invariant, and the sharp constants are attained for functions that are equivalent to a constant function under conformal transformations. As a limiting case, we obtain an inequality that generalizes Carleman's inequality for harmonic functions in the plane to poly-harmonic functions in higher dimensions.
We prove a sharp analog of Young's inequality on $S^N$, and deduce from it certain sharp entropy inequalities. The proof turns on constructing a nonlinear heat flow that drives trial functions to optimizers in a monotonic manner. This strategy also works for the generalization of Young's inequality on $R^N$ to more than three functions, and leads to significant new information about the optimizers and the constants.
In this note, we establish a $L^p-$version of the Poincaré--Sobolev inequalities in the hyperbolic spaces $\mathbb H^n$. The interest of this result is that it relates both the Poincaré (or Hardy) inequality and the Sobolev inequality with the sharp constant in $\mathbb H^n$. Our approach is based on the comparison of the $L^p-$norm of gradient of the symmetric decreasing rearrangement of a function in both the hyperbolic space and the Euclidean space, and the sharp Sobolev inequalities in Euclidean spaces. This approach also gives the proof of the Poincaré--Gagliardo--Nirenberg and Poincaré--…
We give sharp remainder terms of $L^{p}$ and weighted Hardy and Rellich inequalities on one of most general subclasses of nilpotent Lie groups, namely the class of homogeneous groups. As consequences, we obtain analogues of the generalised classical Hardy and Rellich inequalities and the uncertainty principle on homogeneous groups. We also prove higher order inequalities of Hardy-Rellich type, all with sharp constants. A number of identities are derived including weighted and higher order types.
We establish several Poincaré--Sobolev type inequalities for the Lapalce--Beltrami operator $Δ_g$ in the hyperbolic space $\mathbb H^n$ with $n\geq 5$. These inequalities could be seen as the improved second order Poincaré inequality with remainder terms involving with the sharp Rellich inequality or sharp Sobolev inequality in $\mathbb H^n$. The novelty of these inequalities is that it combines both the sharp Poincaré inequality and the sharp Rellich inequality or the sharp Sobolev inequality for $Δ_g$ in $\mathbb H^n$. As a consequence, we obtain the Poincaré--Sobolev inequality for the seco…
From simplex slicing to sharp reverse Hölder inequalities
Centro de Investigación en Matemáticas (CIMAT)(数学研究中心);Case Western Reserve University(凯斯西储大学);University of Cincinnati(辛辛那提大学);Carnegie Mellon University(卡内基梅隆大学)
In this article, we propose the notion of the general $p$-affine capacity and prove some basic properties for the general $p$-affine capacity, such as affine invariance and monotonicity. The newly proposed general $p$-affine capacity is compared with several classical geometric quantities, e.g., the volume, the $p$-variational capacity and the $p$-integral affine surface area. Consequently, several sharp geometric inequalities for the general $p$-affine capacity are obtained. These inequalities extend and strengthen many well-known (affine) isoperimetric and (affine) isocapacitary inequalities…
In this paper, we obtained the Dunkl analogy of classical Lp Hardy inequality for $p > N + 2γ$ with sharp constant $\left(\frac{p-N-2γ}{p}\right)^{p}$, where $2γ$ is the degree of weight function associated with Dunkl operators, and $L^p$ Hardy inequalities with distant function in some G-invariant domains. Moreover we proved two sharp Hardy-Rellich type inequalities for Dunkl operators.
We prove some sharp Hardy inequalities for domains with a spherical symmetry. In particular, we prove an inequality for domains of the unit $n$-dimensional sphere with a point singularity, and an inequality for functions defined on the half-space $\R_+^{n+1}$} vanishing on the hyperplane $\{x_{n+1}=0\}$, with singularity along the $x_{n+1}$-axis. The proofs rely on a one-dimensional Hardy inequality involving a weight function related to the volume element on the sphere, as well as on symmetrization arguments. The one-dimensional inequality is derived in a general form.
We prove that a plane domain which is almost isoperimetric (with respect to the $L^1$ metric) is close to a square whose sides are parallel to the coordinates axis. Closeness is measured either by $L^\infty$ Haussdorf distance or Fraenkel asymmetry. In the first case, we determine the extremal domains.
We prove several sharp weighted norm inequalities for commutators of classical operators in harmonic analysis. We find sufficient $A_p$-bump conditions on pairs of weights $(u,v)$ such that $[b,T]$, $b\in BMO$ and $T$ a singular integral operator (such as the Hilbert or Riesz transforms), maps $L^p(v)$ into $L^p(u)$. Because of the added degree of singularity, the commutators require a "double log bump" as opposed to that of singular integrals, which only require single log bumps. For the fractional integral operator $I_\al$ we find the sharp one-weight bound on $[b,I_\al]$, $b\in BMO$, in ter…
In this paper, we got several sharp Hardy-Littlewood-Sobolev-type inequalities on quaternionic Heisenberg groups (a general form due to Folland and Stein [FS74]), using the symmetrization-free method in a paper of Frank and Lieb [FL12], where they considered the analogues on classical Heisenberg group. First, we give the sharp Hardy-Littlewood-Sobolev inequalities, both on quaternionic Heisenberg group and its equivalent on quaternionic sphere for exponent bigger than 4. The extremizer, as we guess, is almost uniquely constant function on sphere. Then their dual form, sharp conformally-invaria…
In this paper both we establish the best constants for the Nash inequalities on the standard unit sphere $\mathbb{S}^n$ of $\mathbb{R}^{n+1}$ and we give answers on the existence of extremal functions on the corresponding problems. Also we study the problem of the best constants in the case, where the data are invariant under the action of the group $G=O(k)\times O(m)$, and we find the best constants.
This paper is devoted to study the sharp Moser-Trudinger type inequalities in whole space $\mathbb R^N$, $N \geq 2$ in more general case. We first compute explicitly the \emph{normalized vanishing limit} and the \emph{normalized concentrating limit} of the Moser-Trudinger type functional associated with our inequalities over all the \emph{normalized vanishing sequences} and the \emph{normalized concentrating sequences}, respectively. Exploiting these limits together with the concentration-compactness principle of Lions type, we give a proof of the exitence of maximizers for these Moser-Truding…
We establish a sharp Adams-type inequality invoking a Hardy inequality for any even dimension. This leads to a non compact Sobolev embedding in some Orlicz space. We also give a description of the lack of compactness of this embedding in the spirit of \cite{Bahouri}.
Sharp inequalities for the Newtonian and logarithmic capacities
School of Mathematical Sciences, Key Laboratory of Intelligent Computing and Applications (Tongji University), Ministry of Education, Tongji University(同济大学数学科学学院,智能计算与应用教育部重点实验室);Shanghai Center for Mathematical Sciences, Fudan University(复旦大学上海数学中心)