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 study the vector-valued analogues of several inequalities for the Fourier transform. In particular, we consider the inequalities of Hausdorff--Young, Hardy--Littlewood, Paley, Pitt, Bochkarev and Zygmund. The Pitt inequalities include the Hausdorff--Young and Hardy--Littlewood inequalities and state that the Fourier transform is bounded from $L^p(\mathbb{R}^d,|\cdot|^{βp})$ into $L^q(\mathbb{R}^d,|\cdot|^{-γq})$ under certain condition on $p,q,β$ and $γ$. Vector-valued analogues are derived under geometric conditions on the underlying Banach space such as Fourier type and rela…
We give an "elementary" proof of an inequality due to Maz'ya. As a prerequisite we prove an approximation property for the Hausdorff measure. We also comment on the relations between Maz'ya's inequality, the isoperimetric inequality and the Sobolev inequality.
The paper studies Hausdorff-Young inequalities for certain group extensions, by use of Mackey's theory. We consider the case in which the dual action of the quotient group is free almost everywhere. This result applies to yield a Hausdorff-Young inequality for nonunimodular groups.
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.
The classical Hausdorff-Young inequalities for the Fourier transform acting between appropriate $L_p$ spaces are cornerstones of Fourier analysis. Here we extend it to weighted spaces of Besov or Sobolev type where the weight has the form $w(x)=(1+|x|^2)^{α/2}$. This note is not a paper or draft but a sketchy complement to some earlier results where we dealt with mapping properties of the Fourier transform.
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.
We study Hausdorff-Young type inequalities for vector-valued Dirichlet series which allow to compare the norm of a Dirichlet series in the Hardy space $\mathcal{H}_{p} (X)$ with the $q$-norm of its coefficients. In order to obtain inequalities completely analogous to the scalar case, a Banach space must satisfy the restrictive notion of Fourier type/cotype. We show that variants of these inequalities hold for the much broader range of spaces enjoying type/cotype. We also consider Hausdorff-Young type inequalities for functions defined on the infinite torus $\mathbb{T}^{\infty}$ or the boolean …
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.
This paper deals with the inequalities devoted to the comparison between the norm of a function on a compact hypergroup and the norm of its Fourier coefficients. We prove the classical Paley inequality in the setting of compact hypergroups which further gives the Hardy-Littlewood and Hausdorff-Young-Paley (Pitt) inequalities in the noncommutative context. We establish Hörmander's $L^p$-$L^q$ Fourier multiplier theorem on compact hypergroups for $1<p \leq 2 \leq q<\infty$ as an application of Hausdorff-Young-Paley inequality. We examine our results for the hypergroups constructed from the conju…
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…
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 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.
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 we prove new inequalities describing the relationship between the "size" of a function on a compact homogeneous manifold and the "size" of its Fourier coefficients. These inequalities can be viewed as noncommutative versions of the Hardy-Littlewood inequalities obtained by Hardy and Littlewood on the circle. For the example case of the group SU(2) we show that the obtained Hardy-Littlewood inequalities are sharp, yielding a criterion for a function to be in $L^p$ on SU(2) in terms of its Fourier coefficients. We also establish Paley and Hausdorff-Young-Paley inequalities on gener…
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 article, we show that in a $Q$-doubling space $(X,d,μ),$ $Q>1,$ that supports a $Q$-Poincaré inequality and satisfies a chain condition, sets of $Q$-capacity zero have generalized Hausdorff $h$-measure zero for $h(t)=\log^{1-Q-ε}(1/t).$
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]$.
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 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.
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…
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…
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.
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.
In [Centro-affine invariants for smooth convex bodies, Int. Math. Res. Notices. doi: 10.1093/imrn/rnr110, 2011] Stancu introduced a family of centro-affine normal flows, $p$-flow, for $1\leq p<\infty.$ Here we investigate the asymptotic behavior of the planar $p$-flow for $p=\infty$ in the class of smooth, origin-symmetric convex bodies. First, we prove that the $\infty$-flow evolves suitably normalized origin-symmetric solutions to the unit disk in the Hausdorff metric, modulo $SL(2).$ Second, using the $\infty$-flow and a Harnack estimate for this flow, we prove a stability version of the pl…
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 …
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…
We prove that if $X,Y$ are Banach spaces, $Ω$ a compact Hausdorff space and $U\hbox{\rm :} C(Ω,X)\to Y$ is a bounded linear operator, and if $U$ is a Dunford--Pettis operator the range of the representing measure $G(Σ) \subseteq DP(X,Y)$ is an uniformly Dunford--Pettis family of operators and $\|G\|$ is continuous at $\emptyset$. As applications of this result we give necessary and/or sufficient conditions that some bounded linear operators on the space $C([0,1],X)$ with values in $c_{0}$ or $l_{p}$, ($1\leq p<\infty$) be Dunford--Pettis and/or compact operators, in which, Khinchin's inequalit…
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 study the cases of equality and prove a rigidity theorem concerning the 1-Bakry-Émery inequality. As an application, we prove the rigidity of the Gaussian isoperimetric inequality, the logarithmic Sobolev inequality and the Poincaré inequality in the setting of ${\rm RCD}(K, \infty)$ metric measure spaces. This unifies and extends to the non-smooth setting the results of Carlen-Kerce, Morgan, Bouyrie, Ohta-Takatsu, Cheng-Zhou. Examples of non-smooth spaces fitting our setting are measured-Gromov Hausdorff limits of Riemannian manifolds with uniform Ricci curvature lower bound, and Alexandro…