Related papers: Matrix Inequalities between $f(A)\sigma f(B)$ and …

In this note we prove that Tr (MN+ PQ)>= 0 when the following two conditions are met: (i) the matrices M, N, P, Q are structured as follows: M = A -B, N = inv(B)-inv(A), P = C-D, Q =inv (B+D)-inv(A+C), where inv(X) denotes the inverse…

Let $A$, $B$ be Banach $D$-algebras. The map $f:A\rightarrow B$ is called differentiable on the set $U\subset A$, if at every point $x\in U$ the increment of map $f$ can be represented as $$f(x+dx)-f(x) =\frac{d f(x)}{d x}\circ dx +o(dx)$$…

Using the log-convexity of the Gamma function and Euler's reflection formula, we give a new proof of a classical weighted sine product inequality. Two different parameter choices yield two competing upper bounds for the same product. We…

We consider the problem of writing an arbitrary symmetric matrix as the difference of two positive semidefinite matrices. We start with simple ideas such as eigenvalue decomposition. Then, we develop a simple adaptation of the Cholesky that…

We present some new inequalities related to determinant and trace for positive semidefinite block matrices by using symmetric tensor product, which are extensions of Fiedler-Markham's inequality and Thompson's inequality.

We prove a new family of inequalities, which compare the integral of a geometric convolution of non-negative functions with the integrals of the original functions. For classical inf-convolution, this type of inequality is called the…

We offer a new proof of uniform convexity inequalities for the Finsler manifold of nonpositive curvature taken on the space of positive-semidefinite matrices with the weighted matrix geometric mean defining the geodesic between two points.…

Consider the following noncommutative arithmetic-geometric mean inequality: given positive-semidefinite matrices $\mathbf{A}_1, \dots, \mathbf{A}_n$, the following holds for each integer $m \leq n$: $$ \frac{1}{n^m}\sum_{j_1, j_2, \dots,…

We consider a different $L^p$-Minkowski combination of compact sets in $\mathbb{R}^n$ than the one introduced by Firey and we prove an $L^p$-Brunn-Minkowski inequality, $p \in [0,1]$, for a general class of measures called convex measures…

We introduce and study deformation $T_{{\bf b},\phi}$ of Minkowski norms in $\mathbb{R}^n$, determined by a set ${\bf b}=(\beta_1,\ldots,\beta_p)$ of linearly independent 1-forms and a smooth positive function $\phi$ of $p$ variables. In…

For every Finsler metric $F$ we associate a Riemannian metric $g_F$ (called the Binet-Legendre metric). The transformation $F \mapsto g_F$ is $C^0$-stable and has good smoothness properties, in contrast to previous constructions. The…

Given any square matrix, $\mathbf{M}$, whose diagonal elements are negative, and which is multiplied by a variable, $\sigma$, we wish to find the minimal $\sigma$ such that the eigenvalue of $\mathbf{M}_{\sigma}$ is exactly zero. By…

Let $\Omega\subset \mathbb{R}^{n}$ be a bounded open set. Given $2\leq m\leq n$, we construct a convex function $\phi :\Omega\to \mathbb{R}$ whose gradient $f= \nabla \phi$ is a H\"older continuous homeomorphism, $f$ is the identity on…

Let $\varphi$ be a normal state on the algebra $B(H)$ of all bounded operators on a Hilbert space $H$, $f$ a strictly positive, continuous function on $(0, \infty)$, and let $g$ be a function on $(0, \infty)$ defined by $g(t) =…

Let $(P,\preceq)$ be a lattice and $f$ a complex-valued function on $P$. We define meet and join matrices on two arbitrary subsets $X$ and $Y$ of $P$ by $(X,Y)_f=(f(x_i\wedge y_j))$ and $[X,Y]_f=(f(x_i\vee x_j))$ respectively. Here we…

In this paper, we point out a very flexible scheme within which a strict minimax inequality occurs. We then show the fruitfulness of this approach presenting a series of various consequences. Here is one of them: Let $Y$ be a…

We revisit and prove some convexity inequalities for trace functions conjectured in the earlier part I. The main functional considered is \Phi_{p,q}(A_1,A_2,...,A_m) = (trace((\sum_{j=1}^m A_j^p)^{q/p}))^{1/q} for m positive definite…

For the family of analytic functions $f(z)$ in the open unit disk $\mathbb{D}$ with $f(0)=f'(0)-1=0$, satisfying the differential equation \begin{equation*} zf'(z) - f(z) = \dfrac{1}{2} z^2 \phi(z), \quad |\phi(z)| \leq 1, \end{equation*}…

In this paper, we prove that the inequalities $\alpha [1/3 Q(a,b)+2/3 A(a,b)]+(1-\alpha)Q^{1/3}(a,b)A^{2/3}(a,b)<M(a,b) <\beta [1/3 Q(a,b)+2/3 A(a,b)]+(1-\beta)Q^{1/3}(a,b)A^{2/3}(a,b)$ and $\lambda [1/6 C(a,b)+5/6…

We improve the operator Kantorovich inequality as follows: Let $A$ be a positive operator on a Hilbert space with $0<m\le A \le M$. Then for every unital positive linear map $\Phi$, \[\Phi(A^{-1})^2\le (\frac{(M+m)^2}{4Mm})^2\Phi(A)^{-2}.\]…