Related papers: Interpolating between the Arithmetic-Geometric Mea…
We present a mechanical proof of the Cauchy-Schwarz inequality in ACL2(r) and a formalisation of the necessary mathematics to undertake such a proof. This includes the formalisation of $\mathbb{R}^n$ as an inner product space. We also…
In this short paper we show that the inequality of arithmetic and geometric means is reduced to another interesting inequality, and a proof is provided.
In this note, we present a refinement of the well-known AM-GM inequality. We use this improved inequalty to establish corresponding inequalities on Hilbert space. We also give some refinements of the Kantorovich inequality.
The main goal of this article is to present several quadratic refinements and reverses of the well known Heinz inequality, for numbers and matrices, where the refining term is a quadratic function in the mean parameters. The proposed idea…
We show that Lorentz-Finsler geometry offers a powerful tool in obtaining inequalities. With this aim, we first point out that a series of famous inequalities such as: the (weighted) arithmetic-geometric mean inequality, Acz\'el's,…
There are various generalizations of the geometric mean $(a,b)\mapsto a^{1/2}b^{1/2}$ for $a,b\in \mathbb{R}^+$ to positive matrices, and we consider the standard positive geometric mean $(X,Y)\mapsto…
In this work, a refinement of the Cauchy--Schwarz inequality in inner product space is proved. A more general refinement of the Kato's inequality or the so called mixed Schwarz inequality is established. Refinements of some famous numerical…
In this paper, some inequalities of bounds for the Neuman-S\'{a}ndor mean in terms of weighted arithmetic means of two bivariate means are established. Bounds involving weighted arithmetic means are sharp.
We consider multipoint Pad\'e approximation to Cauchy transforms of complex measures. We show that if the support of a measure is an analytic Jordan arc and if the measure itself is absolutely continuous with respect to the equilibrium…
A simple proof of the weighted two variable geometric-arithmetic a mean inequality based on one given earlier valid only for integer weights
Using C. Fefferman's embedding of a charge space in a measure space allows us to apply standard interpolation theorems to prove norm inequalities for Besicovitch almost periodic functions. This yields an analogue of Paley's Inequality for…
We give an upper bound for the weighted geometric mean using the weighted arithmetic mean and the weighted harmonic mean. We also give a lower bound for the weighted geometric mean. These inequalities are proven for two invertible positive…
We show that interpolation results in the $S$-nodes theory may be considered as Khrushchev-type formulas. If separation of the well-known Verblunsky (Schur) coefficients occurs in Khrushchev formulas, the separation of the so the called new…
We survey some interplays between spectral estimates of H\"ormander-type, degenerate Monge-Amp\`ere equations and geometric inequalities related to log-concavity such as Brunn-Minkowski, Santal\'o or Busemann inequalities.
In this paper we introduce a new technique for proving norm inequalities in operator ideals with an unitarily invariant norm. Among the well known inequalities which can be proved with this technique are the L\"owner-Heinz inequality,…
We establish in this note some Cauchy-Schwarz-type inequalities on compact K\"{a}hler manifolds, which generalize the classical Khovanskii-Teissier inequalities to higher-dimensional cases. Our proof is to make full use of the mixed…
In a series of papers (Lombardi & Schneider 2001, 2002) we studied in detail the statistical properties of an interpolation technique widely used in astronomy. In particular, we considered the average interpolated map and its covariance…
Some Ostrowski type inequalities via Cauchy's mean value theorem and applications for certain particular instances of functions are given.
We prove new inhomogeneous generalized Strichartz estimates, which do not follow from the homogeneous generalized estimates by virtue of the Christ-Kiselev lemma. Instead, we make use of the bilinear interpolation argument worked out by…
In this paper, we got some refinements of the norm inequalities related to the Heinz mean and logarithmic mean.