Related papers: When the Cauchy inequality becomes a formula
In this preprint we consider generalizations of discrete and integral Cauchy--Bunyakovskii inequalities by the method of mean values with some applications. Mostly the material is compiled as a short survey but some results are proved. Main…
The classical Cauchy--Davenport inequality gives a lower bound for the size of the sum of two subsets of ${\mathbb Z}_p$, where $p$ is a prime. Our main aim in this paper is to prove a considerable strengthening of this inequality, where we…
The main goal of this paper is to discuss the recent advancements of operator means for accretive matrices in a more general setting. In particular, we present the general form governing the well established definition of geometric mean,…
Arithmetic, geometric and harmonic means are the three classical means famous in the literature. Another mean such as square-root mean is also known. In this paper, we have constructed divergence measures based on nonnegative differences…
We exhibit differential geometric structures that arise in numerical methods, based on the construction of Cauchy sequences, that are currently used to prove explicitly the existence of weak solutions to functional equations. We describe…
In this article, we present the best possible upper and lower bounds for the Neuman-S\'andor mean in terms of the geometric combinations of harmonic and quadratic means, geometric and quadratic means, harmonic and contra-harmonic means, and…
In this paper, we obtain some new upper bounds for differantiable mappings whose q-th powers are geometrically convex and monotonically decreasing by using the H\"older inequality, Power mean inequality and properties of modulus.
The purpose of this paper is to establish several necessary and sufficient conditions to ensure the validity of a general functional inequality in terms of generalized quasi-arithmetic means. In particular cases, we consider H\"older-,…
We provide functional analogues of the classical geometric inequality of Rogers and Shephard on products of volumes of sections and projections. As a consequence we recover (and obtain some new) functional versions of Rogers-Shephard type…
The classical rearrangement inequality provides bounds for the sum of products of two sequences under permutations of terms and show that similarly ordered sequences provide the largest value whereas opposite ordered sequences provide the…
Combining several independent measurements of the same physical quantity is one of the most important tasks in metrology. Small samples, biased input estimates, not always adequate reported uncertainties, and unknown error distribution make…
We obtain a geometrical inequality involving the ADM mass, the angular momentum and the size of an ordinary, axially symmetric object. We use the monotonicity of the Geroch quasi-local energy on 2-surfaces along the inverse mean curvature…
In this paper, we establish new general inequality for convex functions. Then we apply this inequality to obtain the midpoint, trapezoid and averaged midpoint-trapezoid integral inequality. Also, some applications for special means of real…
Let $A, B$ and $X$ be $n\times n$ matrices such that $A, B$ are positive semidefinite. We present some refinements of the matrix Cauchy-Schwarz inequality by using some integration techniques and various refinements of the Hermite--Hadamard…
An upper bound of the logarithmic mean is given by a convex combination of the arithmetic mean and the geometric mean. In addition, a lower bound of the logarithmic mean is given by a geometric bridge of the arithmetic mean and the…
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…
On the set $\mathcal M$ of mean functions the symmetric mean of $M$ with respect to mean $M_0$ can be defined in several ways. The first one is related to the group structure on $\mathcal M$ and the second one is defined trough Gauss'…
Matrix geometric means between two positive definite matrices can be defined from distinct perspectives - as solutions to certain nonlinear systems of equations, as points along geodesics in Riemannian geometry, and as solutions to certain…
The concept of geometric-arithmetic index was introduced in the chemical graph theory recently, but it has shown to be useful. The aim of this paper is to obtain new inequalities involving the geometric-arithmetic index $GA_1$ and…
We prove a new inequality which improves on the classical Hardy inequality in the sense that a nonlinear integral quantity with super-quadratic growth, which is computed with respect to an inverse square weight, is controlled by the energy.…