We give a new proof of the sharp form of Young's inequality for convolutions, first proved by Beckner [Be] and Brascamp-Lieb [BL]. The latter also proved a sharp reverse inequality in the case of exponents less than $1$. Our proof is simpler and gives Young's inequality and its converse altogether.
Jensen's operator inequality for convexifiable functions is obtained. This result contains classical Jensen's operator inequality as a particular case. As a consequence, a new refinement and a reverse of Young's inequality is given.
In this paper we obtain some new refinements and reverses of Young's operator inequality. Extensions for convex functions of operators are also provided.
Some improvements of Young inequality and its reverse for positive numbers with Kontrovich constant are given. Using these inequalities some operator versions and Hilbert-Schmidt norm versions for matrices are proved.
In this note, some refinements of Young inequality and its reverse for positive numbers are proved and using these inequalities some operator versions and Hilbert-Schmidt norm versions for matrices of these inequalities are obtained.
In this paper, sharp results on operator Young's inequality are obtained. We first obtain sharp multiplicative refinements and reverses for the operator Young's inequality. Secondly, we give an additive result, which improves a well-known inequality due to Tominaga. We also provide some estimates for $A{{\sharp}_{v}}B-A{{\nabla }_{v}}B$ in which $v\notin \left[ 0,1 \right]$.
In this paper, we generalize Young's inequality for locally compact quantum groups and obtain some results for extremal pairs of Young's inequality and extremal functions of Hausdorff-Young inequality.
Two reverse inequalities for Young's inequality were shown by M. Tominaga, using Specht ratio. In this short paper, we show alternative reverse inequalities for Young's inequality without using Specht ratio.
In this paper, we give a new inequality for convex functions of real variables, and we apply this inequality to obtain considerable generalizations, refinements, and reverses of the Young and Heinz inequalities for positive scalars. Applications to unitarily invariant norm inequalities involving positive semidefinite matrices are also given.
We survey some classical inequalities due to Maz'ya relating isocapacitary inequalities with their functional and isoperimetric counterparts in a measure-metric space setting, and extend Maz'ya's lower bound for the $q$-capacity ($q>1$) in terms of the 1-capacity (or isoperimetric) profile. We then proceed to describe results by Buser, Bakry, Ledoux and most recently by the author, which show that under suitable convexity assumptions on the measure-metric space, Maz'ya's inequality for capacities may be reversed, up to dimension independent numerical constants: a matching lower bound on 1-capa…
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.
We prove several results about the best constants in the Hausdorff-Young inequality for noncommutative groups. In particular, we establish a sharp local central version for compact Lie groups, and extend known results for the Heisenberg group. In addition, we prove a universal lower bound to the best constant for general Lie groups.
In this paper we extend classical Titchmarsh theorems on the Fourier transform of H$\ddot{\text{o}}$lder-Lipschitz functions to the setting of harmonic $NA$ groups, which relate smoothness properties of functions to the growth and integrability of their Fourier transform. We prove a Fourier multiplier theorem for $L^2$-H$\ddot{\text{o}}$lder-Lipschitz spaces on Harmonic $NA$ groups. We also derive conditions and a characterisation of Dini-Lipschitz classes on Harmonic $NA$ groups in terms of the behaviour of their Fourier transform. Then, we shift our attention to the spherical analysis on Har…
In this note, we establish a novel maximal inequality of the 2D Young integral $\int_a^b\int_c^d FdG$ in terms of the $(p,q)$-bivariation norms of the section functions $x\mapsto F(x,y)$ and $y\mapsto F(x,y)$ where $G:[a,b]\times [c,d]\rightarrow \mathbb{R}$ is a controlled path satisfying finite $(p,q)$-variation conditions. The proof is reminiscent from the Young's original ideas \cite{young1} in defining two-parameter integrals in terms of $(p,q)$-finite bivariations. Our result complements the standard maximal inequality established by Towghi \cite{towghi1} in terms of joint variations. We…
It has been shown in "On the Hausdorff-Young theorem for commutative hypergroups" by Sina Degenfeld-Schonburg, that one can extend the domain of Fourier transform of a commutative hypergroup $K$ to $L^p(K)$ for $1\leq p \leq 2$, and the Hausdorff-Young inequality holds true for these cases. In this article, we examine the structure of non-zero functions in $L^p(K)$ for which equality is attained in the Hausdorff-Young inequality, for $1<p<2$, and further provide a characterization for the basic uncertainty principle for commutative hypergroups with non-trivial centre.
In this paper, we show that the $ν$-weighted arithmetic mean is greater than the product of the $ν$-weighted geometric mean and Specht's ratio. As a corollary, we also show that the $ν$-weighted geometric mean is greater than the product of the $ν$-weighted harmonic mean and Specht's ratio. These results give the improvements for the classical Young inequalities, since Specht's ratio is generally greater than 1. In addition, we give an operator inequality for positive operators, applying our refined Young inequality.
We show that the sharp Young's inequality for convolutions first obtained by Bechner and Brascamp-Lieb can be derived from the monotone in time evolution of a Lyapunov functional of the convolution of two solutions to the heat equation, with different diffusion coefficients, first introduced by Bennett and Bez. Our proof is based on a suitable adaptation of an old idea of Stam and Blachman, used to obtain Shannon's entropy power inequality.
For a semi-finite von Neumann algebra $\mathcal A$, we study the case of equality in Young's inequality of s-numbers for a pair of $τ$-measurable operators $a,b$, and we prove that equality is only possible if $|a|^p=|b|^q$. We also extend the result to unbounded operators affiliated with $\mathcal A$, and relate this problem with other symmetric norm Young inequalities.
The main purpose of this paper is to study the validity of the Hausdorff-Young inequality for vector-valued functions defined on a non-commutative compact group. The natural context for this research is that of operator spaces. This leads us to formulate a whole new theory of Fourier type and cotype for the category of operator spaces. The present paper is the first step in this program, where the basic theory is presented, the main examples are analyzed and some questions are posed.
If $a,b$ are $n\times n$ matrices, Ando proved that Young's inequality is valid for their singular values: if $p>1$ and $1/p+1/q=1$, then $$ λ_k|ab^*|\le λ_k( \frac1p |a|^p+\frac 1q |b|^q ) \, \textit{ for all }k. $$ Later, this result was extended for the singular values of a pair of compact operators acting on a Hilbert space by Erlijman, Farenick and Zeng. In this paper we prove that if $a,b$ are compact operators, then equality holds in Young's inequality if and only if $|a|^p=|b|^q$, obtaining a complete characterization of such $a,b$ in relation to other (operator norm) Young inequalitie…
Let $μ$ be the Haar measure of a unimodular locally compact group $G$ and $m (G)$ as the infimum of the volumes of all open subgroups of $G$. The main result of this paper is that \begin{align*} \int_{G}^{} f \circ \left( ϕ_1 * ϕ_2 \right) \left( g \right) dg \leq \int_{\mathbb{R}}^{} f \circ \left( ϕ_1^* * ϕ_2^* \right) \left( x \right) dx \end{align*} holds for any measurable functions $ϕ_1, ϕ_2 \colon G \to \mathbb{R}_{\geq 0}$ with $μ( \mathrm{supp} \; ϕ_1 ) + μ( \mathrm{supp} \; ϕ_2 ) \leq m(G)$ and any convex function $f \colon \mathbb{R}_{\geq 0} \to \mathbb{R}$ with $f(0) = 0$. Here $ϕ…
We present some reverse Young-type inequalities for the Hilbert-Schmidt norm as well as any unitarily invariant norm. Furthermore, we give some inequalities dealing with operator means. More precisely, we show that if $A, B\in {\mathfrak B}(\mathcal{H})$ are positive operators and $r\geq 0$, $A\nabla_{-r}B+2r(A\nabla B-A\sharp B)\leq A\sharp_{-r}B$ and prove that equality holds if and only if $A=B$. We also establish several reverse Young-type inequalities involving trace, determinant and singular values. In particular, we show that if $A, B$ are positive definite matrices and $r\geq 0$, then …
In this paper, we study refinements of some inequalities related to Young inequality for scalar and for operator. As our main results, we show refined Young inequalities for two positive operators. This results refine the ordering relations among the arithmetic mean, the geometric mean and the harmonic mean. Finally, we give supplements for refined Young inequalities for two positive real numbers. And then we also give operator inequalities based on the supplemental inequalities.
A considerable amount of literature in the theory of inequality is devoted to the study of Jensen's and Young's inequality. This article presents a number of new inequalities involving the log-convex functions and the geometrically convex functions. As their consequences, we derive the refinements for Young's inequality and Jensen's inequality. In addition, the operator Jensen's type inequality is also developed for conditioned two functions. Utilizing these new inequalities, we investigate the operator inequalities related to the relative operator entropy.
In this paper we present several applications of Cartwright-Field's inequality. Among these we found Young's inequality, Bernoulli's inequality, the inequality between the weighted power means, Hölder's inequality and Cauchy's inequality. We give also two applications related to arithmetic functions and to operator inequalities.
A generalization of Young's inequality for convolution with sharp constant is conjectured for scenarios where more than two functions are being convolved, and it is proven for certain parameter ranges. The conjecture would provide a unified proof of recent entropy power inequalities of Barron and Madiman, as well as of a (conjectured) generalization of the Brunn-Minkowski inequality. It is shown that the generalized Brunn-Minkowski conjecture is true for convex sets; an application of this to the law of large numbers for random sets is described.
We give a short proof of the Brascamp-Lieb theorem, which asserts that a certain general form of Young's convolution inequality is saturated by Gaussian functions. The argument is inspired by Borell's stochastic proof of the Prékopa-Leindler inequality and applies also to the reversed Brascamp-Lieb inequality, due to Barthe.
We obtain several versions of the Hausdorff-Young and Hardy-Littlewood inequalities for the $(k,a)$-generalized Fourier transform recently investigated at length by Ben Saï d, Kobayashi, and Ø rsted. We also obtain a number of weighted inequalities - in particular Pitt's inequality - that have application to uncertainty principles. Specifically we obtain several analogs of the Heisenberg-Pauli-Weyl principle for $L^p$-functions, local Cowling-Price-type inequalities, Donoho-Stark-type inequalities and qualitative extensions. We finally use the Hausdorff-Young inequality as a means to obtain en…
The goal of this note is to show that some convolution type inequalities from Harmonic Analysis and Information Theory, such as Young's convolution inequality (with sharp constant), Nelson's hypercontractivity of the Hermite semi-group or Shannon's inequality, can be reduced to a simple geometric study of frames of $\R^2$. We shall derive directly entropic inequalities, which were recently proved to be dual to the Brascamp-Lieb convolution type inequalities.