We prove a sharp quantitative version of the $p$-Sobolev inequality for any $1<p<n$, with a control on the strongest possible distance from the class of optimal functions. Surprisingly, the sharp exponent is constant for $p<2$, while it depends on $p$ for $p>2$.
We prove a fractional version of the Hardy--Sobolev--Maz'ya inequality for arbitrary domains and $L^p$ norms with $p\geq 2$. This inequality combines the fractional Sobolev and the fractional Hardy inequality into a single inequality, while keeping the sharp constant in the Hardy inequality.
We give a functional version of the affine isoperimetric inequality for log-concave functions which may be interpreted as an inverse form of a logarithmic Sobolev inequality inequality for entropy. A linearization of this inequality gives an inverse inequality to the Poincar'e inequality for the Gaussian measure.
In this paper, we prove the existence of an extremal for the Dunkl-type Sobolev inequality in case of $p=2$. Also we prove the existence of an extremal of the Stein-Weiss inequality for the D-Riesz potential in case of $r=2$.
In this note we bound the deficit in the logarithmic Sobolev Inequality and in the Talagrand transport-entropy Inequality for the Gaussian measure, in any dimension, by mean of a distance introduced by Bucur and Fragalà.
In a recent work of the author, a parabolic extension of the elliptic Ogawa type inequality has been established. This inequality is originated from the Brezis-Gallouet-Wainger logarithmic type inequalities revealing Sobolev embeddings in the critical case. In this paper, we improve the parabolic version of Ogawa inequality by allowing it to cover not only the class of functions from Sobolev spaces, but the wider class of Holder continuous functions.
Given a nondegenerate harmonic structure, we prove a Poincaré-type inequality for functions in the domain of the Dirichlet form on nested fractals. We then study the Hajlasz-Sobolev spaces on nested fractals. In particular, we describe how the "weak"-type gradient on nested fractals relates to the upper gradient defined in the context of general metric spaces.
We generalize the classical Muckenhoupt inequality with two measures to three under appropriate conditions. As a consequence, we prove a simple characterization of the undedness of the multiplication operator and thus of the boundedness of the zeros and the asymptotic behavior of the Sobolev orthogonal polynomials, for a large class of measures which includes the most usual examples in the literature.
In this paper we focus our attention on an embedding result for a weighted Sobolev space that involves as weight the distance function from the boundary taken with respect to a general smooth gauge function $F$. Starting from this type of inequalities we prove some refined Hardy-type inequalities.
We investigate Sobolev and Hardy inequalities, specifically weighted Minerbe's type estimates, in noncompact complete connected Riemannian manifolds whose geometry is described by an isoperimetric profile. In particular, we assume that the manifold satisfies the $p$-hyperbolicity property, stated in terms of a necessary integral Dini condition on the isoperimetric profile. Our method seems to us to combine sharply the knowledge of the isoperimetric profile and the optimal Bliss type Hardy inequality depending on the geometry of the manifold. We recover the well known best Sobolev constant in t…
We generalize in this article the classical Sobolev's and Sobolev's trace inequalities on the Grand Lebesgue Spaces under monomial weight instead the classical Lebesgue or grand Lebesgue Spaces. We will distinguish the classical Sobolev's inequality and the so-called trace Sobolev's inequality.
In this paper we describe the Euler semigroup $\{e^{-t\mathbb{E}^{*}\mathbb{E}}\}_{t>0}$ on homogeneous Lie groups, which allows us to obtain various types of the Hardy-Sobolev and Gagliardo-Nirenberg type inequalities for the Euler operator $\mathbb{E}$. Moreover, the sharp remainder terms of the Sobolev type inequality, maximal Hardy inequality and $|\cdot|$-radial weighted Hardy-Sobolev type inequality are established.
Let $d$ be a metric on $R^n$ and let $C^{m,(d)}(R^n)$ be the space of $C^m$-function on $R^n$ whose partial derivatives of order $m$ belong to the space $Lip(R^n;d)$. We show that the homogeneous Sobolev space $L^{m+1}_p(R^n),p>n,$ can be represented as a union of $C^{m,(d)}(R^n)$-spaces where $d$ belongs to a family of metrics on $R^n$ with certain "nice" properties. This enables us in several important cases to give intrinsic characterizations of the restrictions of Sobolev spaces to arbitrary closed subsets of $R^n$. In particular, we generalize the classical Whitney extension theorem for t…
Let $q(x)$ and $p(x)$ denote density functions on the $n$-dimensional Euclidean space, and let $p_i(\cdot|y_1,..., y_{i-1},y_{i+1},..., y_n)$ and $Q_i(\cdot|x_1,..., x_{i-1},x_{i+1},..., x_n)$ denote their local specifications. For a class of density functions $q$ we prove an inequality between the relative entropy $D(p||q)$ and a weighted sum of the conditional relative entropies $D(p_i(\cdot|Y_1,..., Y_{i-1},Y_{i+1},..., Y_n) ||Q_i(\cdot|Y_1,..., Y_{i-1},Y_{i+1},..., Y_n))$ that holds for any $p$. The weights are proportional to the logarithmic Sobolev constants of the local specifications o…
We develop in this paper an amelioration of the method given by S. Bobkov and M. Ledoux in GAFA (2000). We prove by Prekopa-Leindler Theorem an optimal modified logarithmic Sobolev inequality adapted for all log-concave measure on $\dR^n$. This inequality implies results proved by Bobkov and Ledoux, the Euclidean Logarithmic Sobolev inequality generalized in the last years and it also implies some convex logarithmic Sobolev inequalities for large entropy.
We give by simple arguments sufficient conditions, so called Lyapunov conditions, for Talagrand's transportation information inequality and for the logarithmic Sobolev inequality. Those sufficient conditions work even in the case where the Bakry-Emery curvature is not lower bounded. Several new examples are provided.
We are interested in the $q$ Logarithmic Sobolev inequality for probability measures on the infinite product of Heisenberg groups. We assume that the one site boundary free measure satisfies either a $q$ Log-Sobolev inequality or a U-Bound inequality, and we determine conditions so that the infinite dimensional Gibbs measure satisfies a $q$ Log-Sobolev inequality.
The de cit in the logarithmic Sobolev inequality for the Gaussian measure is considered and estimated by means of transport and information-theoretic distances.
We give here a simple proof of weighted logarithmic Sobolev inequality, for example for Cauchy type measures, with optimal weight, sharpening results of Bobkov-Ledoux. Some consequences are also discussed.
We consider a version of the fractional Sobolev inequality in domains and study whether the best constant in this inequality is attained. For the half-space and a large class of bounded domains we show that a minimizer exists, which is in contrast to the classical Sobolev inequalities in domains.
We present the best constant and the existence of extremal functions for an Improved Hardy-Sobolev inequality. We prove that, under a proper transformation, this inequality is equivalent to the Sobolev inequality in $\mathbb{R}^N$. We also discuss the connection of the related functional spaces and as a result we obtain some Caffarelli - Kohn - Nirenberg inequalities. Our starting point is the existence of a minimizer for the Bliss' inequality and the indirect dependence of the Hardy inequality at the origin.
We characterize the fractional Sobolev inequality with fractional isocapacitary and isoperimetric inequalities. We give a sufficient condition and examples so that the fractional capacity of the closure of an open set is bounded above by the fractional perimeter of its interior.
We prove fractional Hardy--Sobolev--Maz'ya inequality for balls and a half-space, partially answering the open problem posed by Frank and Seiringer [arXiv:0906.1561v1 [math.FA], 2009] We note that for half-spaces this inequality has been recently obtained by Sloane [arXiv:1004.4828v1 [math.FA], 2010].
Using a dimension reduction argument and a stability version of the weighted Sobolev inequality on half space recently proved by Seuffert, we establish, in this paper, some stability estimates (or quantitative estimates) for a family of the sharp Gagliardo--Nirenberg--Sobolev inequalities due to Del Pino and Dolbeault \cite{DelPino}.
A criterion is presented for the Modified Logarithmic Sobolev inequality on metric measure spaces. The criterion based on U-bound inequalities introduced by Hebisch and Zegarlinski allows to show the inequality for measures that go beyond log-concavity.
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…
In this article, we derive the existence of positive solutions of a semi-linear, non-local elliptic PDE, involving a singular perturbation of the fractional laplacian, coming from the fractional Hardy-Sobolev-Maz'ya inequality, derived in this paper. We also derive symmetry properties and a precise asymptotic behaviour of solutions.
Let $\M$ be a smooth connected manifold endowed with a smooth measure $μ$ and a smooth locally subelliptic diffusion operator $L$ which is symmetric with respect to $μ$. We assume that $L$ satisfies a generalized curvature dimension inequality as introduced by Baudoin-Garofalo \cite{BG1}. Our goal is to discuss functional inequalities for $μ$ like the Poincaré inequality, the log-Sobolev inequality or the Gaussian logarithmic isoperimetric inequality.
We discuss new proofs, and new forms, of a reverse logarithmic Sobolev inequality, with respect to the standard Gaussian measure, for low complexity functions, measured in terms of Gaussian-width. In particular, we provide a dimension-free improvement for a related result given in [Eldan '18].
We are interested in the Logarithmic Sobolev Inequality for the infinite volume Gibbs measure with no quadratic interactions. We consider unbounded spin systems on the one dimensional Lattice with interactions that go beyond the usual strict convexity and without uniform bound on the second derivative. We assume that the one dimensional single-site measure with boundaries satisfies the Log-Sobolev inequality uniformly on the boundary conditions and we determine conditions under which the Log-Sobolev Inequality can be extended to the infinite volume Gibbs measure.
We study the modified log-Sobolev inequality for a class of pure jump Markov processes that describe the interactions between brain neurons. In particular, we focus on a finite and compact process with degenerate jumps inspired by the model introduced by Galves and Löcherbach. As a result, we obtain concentration properties for empirical approximations of the process.
This work focuses on an improved fractional Sobolev inequality with a remainder term involving the Hardy-Littlewood-Sobolev inequality which has been proved recently. By extending a recent result on the standard Laplacian to the fractional case, we offer a new, simpler proof and provide new estimates on the best constant involved. Using endpoint differentiation, we also obtain an improved version of a Moser-Trudinger-Onofri type inequality on the sphere. As an immediate consequence, we derive an improved version of the Onofri inequality on the Euclidean space using the stereographic projection…
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.
We obtain the sharp constant for the Hardy-Sobolev inequality involving the distance to the origin. This inequality is equivalent to a limiting Caffarelli-Kohn-Nirenberg inequality. In three dimensions, in certain cases the sharp constant coincides with the best Sobolev constant.
We provide explicit lower bounds for the deficit in the Gaussian logarithmic Sobolev inequality in terms of differential operators that are naturally associated with the so-called Stein characterization of the Gaussian distribution. The techniques are based on a crucial use of the representation of the relative Fisher information, along the Ornstein-Uhlenbeck semigroup, in terms of the Minimal Mean-Square Error from information theory.
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 show that the sharp constant in the Hardy-Littlewood-Sobolev inequality can be derived using the method that we employed earlier for a similar inequality on the Heisenberg group. The merit of this proof is that it does not rely on rearrangement inequalities; it is the first one to do so for the whole parameter range.
We establish dual equivalent forms involving relative entropy, Fisher information and optimal transport costs of inverse Santal{ó} inequalities. We show in particular that the Mahler conjecture is equivalent to some dimensional lower bound on the deficit in the Gaussian logarithmic Sobolev inequality. We also derive from existing results on inverse Santal{ó} inequalities some sharp lower bounds on the deficit in the Gaussian logarithmic Sobolev inequality.
This paper extends a stability estimate of the Sobolev Inequality established by G. Bianchi and H. Egnell in their paper "A note on the Sobolev Inequality." Bianchi and Egnell's Stability Estimate answers the question raised by H. Brezis and E. H. Lieb: "Is there a natural way to bound $\| \nabla φ\|_2^2 - C_N^2 \| φ\|_\frac{2N}{N-2}^2$ from below in terms of the 'distance' of $φ$ from the manifold of optimizers in the Sobolev Inequality?" Establishing stability estimates - also known as quantitative versions of sharp inequalities - of other forms of the Sobolev Inequality, as well as other sh…
We prove that the canonical sub-Laplacian on $SU(2)$ admits a uniform modified log-Sobolev inequality for all its matrix-valued functions, independent of the matrix dimension. This is the first example of sub-Laplacian that a matrix-valued modified log-Sobolev inequality has been obtained. We also show that on Lie groups, the heat kernel measure $p_t$ at time $t$ admits matrix-valued modified log-Sobolev constants of order $O(t^{-1})$.
We give a new proof of certain cases of the sharp HLS inequality. Instead of symmetric decreasing rearrangement it uses the reflection positivity of inversions in spheres. In doing this we extend a characterization of the minimizing functions due to Li and Zhu.
We provide deficit estimates for Nelson's hypercontractivity inequality, the logarithmic Sobolev inequality, and Talagrand's transportation cost inequality under the restriction that the inputs are semi-log-subharmonic, semi-log-convex, or semi-log-concave. In particular, our result on the logarithmic Sobolev inequality complements a recently obtained result by Eldan, Lehec and Shenfeld concerning a deficit estimate for inputs with small covariance. Similarly, our result on Talagrand's transportation cost inequality complements and, for a large class of semi-log-concave inputs, improves a defi…
We show that the fractional Sobolev inequality for the embedding $\H \hookrightarrow L^{\frac{2N}{N-s}}(\R^N)$, $s \in (0,N)$ can be sharpened by adding a remainder term proportional to the distance to the set of optimizers. As a corollary, we derive the existence of a remainder term in the weak $L^{\frac{N}{N-s}}$-norm for functions supported in a domain of finite measure. Our results generalize earlier work for the non-fractional case where $s$ is an even integer.
We assume one site measures without a boundary $e^{-ϕ(x)}dx/Z$ that satisfy a log-Sobolev inequality. We prove that if these measures are perturbed with quadratic interactions, then the associated infinite dimensional Gibbs measure on the lattice always satisfies a log-Sobolev inequality. Furthermore, we present examples of measures that satisfy the inequality with a phase that goes beyond convexity at infinity.
In this article we generalize the classical Sobolev's and Sobolev's trace inequalities on the Grand Lebesgue Spaces instead the classical Lebesgue Spaces. We will distinguish the classical Sobolev's inequality and the so-called trace Sobolev's inequality. We consider for simplicity only the case of whole space.
We prove some general Sobolev-Orlicz, Nash and Faber-Krahn inequalities for positive operators of given ultracontractive norms of the spectral projectors on ]0, lambda]. For invariant operators on coverings of finite simplicial complexes this "ultracontractive spectral decay" is equivalent to von-Neumann's spectral density function. This allows in the polynomial decay case to relate the Novikov-Shubin numbers of such coverings to Sobolev inequalities on exact $\ell^2$-cochains, and to the vanishing of the torsion of the $\ell^{p,2}$-cohomology for some $p \geq 2$.
We develop the optimal transportation approach to modified log-Sobolev inequalities and to isoperimetric inequalities. Various sufficient conditions for such inequalities are given. Some of them are new even in the classical log-Sobolev case. The idea behind many of these conditions is that measures with a non-convex potential may enjoy such functional inequalities provided they have a strong integrability property that balances the lack of convexity. In addition, several known criteria are recovered in a simple unified way by transportation methods and generalized to the Riemannian setting.
We consider the optimizers $u$ in the Hardy-Sobolev inequality for the space $\dot{W}^{s,p}({\mathbb R}^N)$ with order of differentiability $s\in ]0,1[$. After proving existence through concentration-compactness, we derive the pointwise asymptotic $u(x)\simeq |x|^{-\frac{N-ps}{p-1}}$ for large $|x|$ and the summability estimate $u\in \dot{W}^{s,γ}({\mathbb R}^N)$ for all $γ>\frac{N(p-1)}{N-s}$. These estimates are optimal in the limit $s\to 1^-$, in which case optimizers are explicitly known.