精化Heinz-Kato-Löwner不等式
Refined Heinz-Kato-Löwner inequalities
摘要：
算子理论中的柯西-施瓦茨不等式的一个版本如下：对于任意两个对称正定矩阵$A,B \in \mathbb{R}^{n \times n}$和任意$X \in \mathbb{R}^{n \times n}$ $$ \|AXB\| \leq \|A^2 X\|^{\frac{1}{2}} \|X B^2\|^{\frac{1}{2}}.$$这个不等式是经典的，等价于著名的Heinz-Löwner不等式，Heinz-Kato不等式和Cordes不等式。我们的特点平等的情况下：特别是，分解后的对称性来自乘法标量$ \|A^2 X\| = 1 = \|X B^2\|$，平等的情况下，要求$A$和$B$有一个共同的特征值$λ_i = μ_j$。我们还得到改进的估计，并表明，如果$λ_i λ_j = μ_k^2$或$λ_i^2 = μ_j μ_k$没有一个解决方案，即如果$d > 0$，其中\begin{align*} d &= \min_{1 \leq i,j,k \leq n} \{ | \log{ λ_i} + \log{ λ_j} - 2\log{ μ_k}|:λ_i, λ_j \in σ(A), μ_k \in σ(B) \} &+\min_{1 \leq i,j,k \leq n}\{ | 2\log{λ_i} - \log{ μ_j} - \log{μ_k } |:λ_i \in σ(A), μ_j, μ_k \in σ(B) \}, \end{align*}，然后有一个改进的不等式$$ \|AXB\| \leq (1 - c_{n,d})\|A^2 X\|^{\frac{1}{2}} \|X B^2\|^{\frac{1}{2}}$$的一些$c_{n,d} > 0$，只依赖于$n$和$d$。对于McIntosh不等式和Cordes不等式，我们得到了类似的结果，并期望该方法有更多的应用.
英文摘要：
A version of the Cauchy-Schwarz inequality in operator theory is the following: for any two symmetric, positive definite matrices $A,B \in \mathbb{R}^{n \times n}$ and arbitrary $X \in \mathbb{R}^{n \times n}$ $$ \|AXB\| \leq \|A^2 X\|^{\frac{1}{2}} \|X B^2\|^{\frac{1}{2}}.$$ This inequality is classical and equivalent to the celebrated Heinz-Löwner, Heinz-Kato and Cordes inequalities. We characterize cases of equality: in particular, after factoring out the symmetry coming from multiplication with scalars $ \|A^2 X\| = 1 = \|X B^2\|$, the case of equality requires that $A$ and $B$ have a common eigenvalue $λ_i = μ_j$. We also derive improved estimates and show that if either $λ_i λ_j = μ_k^2$ or $λ_i^2 = μ_j μ_k$ does not have a solution, i.e. if $d > 0$ where \begin{align*} d &= \min_{1 \leq i,j,k \leq n} \{ | \log{ λ_i} + \log{ λ_j} - 2\log{ μ_k}|:λ_i, λ_j \in σ(A), μ_k \in σ(B) \} &+\min_{1 \leq i,j,k \leq n}\{ | 2\log{λ_i} - \log{ μ_j} - \log{μ_k } |:λ_i \in σ(A), μ_j, μ_k \in σ(B) \}, \end{align*} then there is an improved inequality $$ \|AXB\| \leq (1 - c_{n,d})\|A^2 X\|^{\frac{1}{2}} \|X B^2\|^{\frac{1}{2}}$$ for some $c_{n,d} > 0$ that only depends only on $n$ and $d$. We obtain similar results for the McIntosh inequality and the Cordes inequality and expect the method to have many further applications.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
