Young's integral inequality is reformulated with upper and lower bounds for the remainder. The new inequalities improve Young's integral inequality on all time scales, such that the case where equality holds becomes particularly transparent in this new presentation. The corresponding results for difference equations are given, and several examples are included. We extend these results to piecewise-monotone functions as well.
Those functions which nearly extremize Young's convolution inequality are characterized for discrete groups which have no nontrivial finite subgroups. Near-extremizers of the Hausdorff-Young inequality are characterized for Z^d.
If a pair of functions nearly extremizes Young's convolution inequality for R^d, with all three exponents finite and strictly greater than 1, then each function is close in norm to a Gaussian. The proof relies on the Riesz-Sobolev rearrangement inequality and in particular, on an approximate inverse Riesz-Sobolev inequality established in a companion paper.
We focus on the improvements for Young inequality. We give elementary proof for known results by Dragomir, and we give remarkable notes and some comparisons. Finally, we give new inequalities which are extensions and improvements for the inequalities shown by Dragomir.
The nonlinear Hausdorff-Young inequality follows from the work of Christ and Kiselev. Later Muscalu, Tao, and Thiele asked if the constants can be chosen independently of the exponent. We show that the nonlinear Hausdorff-Young quotient admits an even better upper bound than the linear one, provided that the function is sufficiently small in the $L^1$ norm. The proof combines perturbative techniques with the sharpened version of the linear Hausdorff-Young inequality due to Christ.
Young's convolution inequality provides an upper bound for the convolution of functions in terms of $L^p$ norms. It is known that for certain groups, including Heisenberg groups, the optimal constant in this inequality is equal to that for Euclidean space of the same topological dimension, yet no extremizing functions exist. For Heisenberg groups we characterize ordered triples of functions that nearly extremize the inequality. The analysis relies on a characterization of approximate solutions of a certain class of functional equations. A result of this type is developed for a class of such eq…
Following the works of Lyons and Oberlin, Seeger, Tao, Thiele and Wright, we relate the variation of certain discrete curves on the Lie group $\text{SU}(1,1)$ to the corresponding variation of their linearized versions on the Lie algebra. Combining this with a discrete variational Menshov-Paley-Zygmund theorem, we establish a variational Hausdorff-Young inequality for a discrete version of the nonlinear Fourier transform on $\text{SU}(1,1)$.
The Hausdorff-Young inequality for Euclidean space, in its sharp form due to Beckner, gives an upper bound for the Fourier transform in terms of Lebesgue space norms, with an optimal constant. The extremizers have been identified by Lieb to be the Gaussians. We establish an improved upper bound, for functions that nearly extremize the inequality, with a negative second term roughly proportional to the square of the distance to the set of extremizers. One formulation of this term comes with its own sharp constant. The main step is to show that any extremizing sequence is precompact, modulo the …
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 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 short note, we give the refined Young inequality with Specht's ratio by only elementary and direct calculations. The obtained inequality is better than one previously shown by the author in 2012. In addition, we give a new property of Specht's ratio. These imply an alternative proof of the refined Young ineqaulity shown by author in 2012. We also give a remark on the relation to Kantorovich constant. Finally, we give a proposition for a corresponding general function.
In the paper, the authors review several refinements of Young's integral inequality via several mean value theorems, such as Lagrange's and Taylor's mean value theorems of Lagrange's and Cauchy's type remainders, and via several fundamental inequalities, such as Čebyšev's integral inequality, Hermite--Hadamard's type integral inequalities, Hölder's integral inequality, and Jensen's discrete and integral inequalities, in terms of higher order derivatives and their norms, survey several applications of several refinements of Young's integral inequality, and further refine Young's integral inequa…
In this paper, new upper and lower bounds for the Trapezoid inequality of absolutely continuous functions are obtained. Applications to some special means are provided as well.
We give bounds on the difference between the weighted arithmetic mean and the weighted geometric mean. These imply refined Young inequalities and the reverses of the Young inequality. We also study some properties on the difference between the weighted arithmetic mean and the weighted geometric mean. Applying the newly obtained inequalities, we show some results on the Tsallis divergence, the Rényi divergence, the Jeffreys-Tsallis divergence and the Jensen-Shannon-Tsallis divergence.
The Hölder-Brascamp-Lieb inequalities are a collection of multilinear inequalities generalizing a convolution inequality of Young and the Loomis-Whitney inequalities. The full range of exponents was classified in Bennett et al. (2008). In a setting similar to that of Ivanisvili and Volberg (2015), we introduce a notion of size for these inequalities which generalizes $L^p$ norms. Under this new setup, we then determine necessary and sufficient conditions for a generalized Hölder-Brascamp-Lieb type inequality to hold and establish sufficient conditions for extremizers to exist when the underlyi…
Hausdorff-Young inequalities for $\mathrm{SU}(1,1)$ Fourier products indexed by binary cubes
Department of Mathematics, Faculty of Science, University of Split（斯普利特大学理学院数学系）；Faculty of Transport and Traffic Sciences, University of Zagreb（萨格勒布大学交通与运输科学学院）
In this paper, we obtain some inequalities by using a kernel and an inequality which is a result of Young inequality. Besides we give some applications to special means.
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.
The Riesz-Sobolev inequality provides an upper bound, in integral form, for the convolution of indicator functions of subsets of Euclidean space. We formulate and prove a sharper form of the inequality. This can be equivalently phrased as a stability result, quantifying an inverse theorem of Burchard that characterizes cases of equality.
The Menchov-Rademacher inequality is an inequality in harmonic analysis that bounds the $L_2$ norm of a certain maximal operator. It was first established in order to prove almost everywhere convergence of a one-parameter series of orthogonal functions. When two-parameter series of orthogonal functions is considered, the exact way the series is grouped becomes essential. We will consider grouping of a two-parameter series, generated by a sequence of right triangles with a vertex at the origin, who might be non-equilateral, and prove almost everywhere convergence when the eccentricity of those …
For non-decreasing real functions $f$ and $g$, we consider the functional $ T(f,g ; I,J)=\int_{I} f(x)\di g(x) + \int_J g(x)\di f(x)$, where $I$ and $J$ are intervals with $J\subseteq I$. In particular case with $I=[a,t]$, $J=[a,s]$, $s\leq t$ and $g(x)=x$, this reduces to the expression in classical Young's inequality. We survey some properties of Lebesgue-Stieltjes interals and present a new simple proof for change of variables. Further, we formulate a version of Young's inequality with respect to arbitrary positive finite measure on real line including a purely discrete case, and discuss an…
We prove a sharp Bernstein-type inequality for complex polynomials which are positive and satisfy a polynomial growth condition on the positive real axis. This leads to an improved upper estimate in the recent work of Culiuc and Treil on the weighted martingale Carleson embedding theorem with matrix weights. In the scalar case this new upper bound is optimal.
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…
Olkin [3] obtained a neat upper bound for the determinant of a correlation matrix. In this note, we present an extension and improvement of his result.
