[论文解读] Dunkl--Williams inequality for operators \\ associated with $p$-angular distance

Farzad Dadipour, Masaaki Fujii+1 more|arXiv (Cornell University)|Jun 10, 2010

Mathematical Analysis and Transform Methods参考文献 8被引用 4

一句话总结

本文通过希尔伯特空间上有界线性算子的 $p$-角距离，建立了达克-威廉姆斯不等式的算子版本。在可逆性或极分解假设下，推导出涉及 $|A|A|^{p-1} - B|B|^{p-1}|$ 和 $|(U|A|^p - V|B|^p)|A|^{1-p}|$ 的精确范数不等式，给出完整的等式条件，并推广了算子的平行四边形法则。

ABSTRACT

We present several operator versions of the Dunkl--Williams inequality with respect to the $p$-angular distance for operators. More precisely, we show that if $A, B \in \mathbb{B}(\mathscr{H})$ such that $|A|$ and $|B|$ are invertible, $\frac{1}{r}+\frac{1}{s}=1\,\,(r>1)$ and $p\in\mathbb{R}$, then \begin{equation*} |A|A|^{p-1}-B|B|^{p-1}|^{2} \leq |A|^{p-1}(r|A-B|^{2}+s||A|^{1-p}|B|^{p}-|B||^2)|A|^{p-1}.% onumber \end{equation*} In the case that $00$, then $$|(U|A|^{p}-V|B|^{p})|A|^{1-p}|^{2}\leq (1+t)|A-B|^{2}+(1+\frac{1}{t})||B|^{p}|A|^{1-p}-|B||^2 \,.$$ We obtain several equivalent conditions, when the case of equalities hold.

研究动机与目标

• 通过 $p$-角距离将经典的达克-威廉姆斯不等式推广到希尔伯特空间上有界线性算子。
• 对于 $0 < p \leq 1$，在不假设 $|A|$ 和 $|B|$ 可逆的条件下，推广先前结果。
• 建立涉及 $p$-角距离和极分解的精确算子范数不等式。
• 通过算子理论条件刻画这些不等式中等式的成立条件。
• 通过算子的广义平行四边形法则，统一并推广佩察里奇–拉伊奇与齐藤–友永的先前结果。

提出的方法

• 利用算子的广义平行四边形恒等式：$|A-B|^2 + \frac{1}{t}|tA+B|^2 = (1+t)|A|^2 + (1+\frac{1}{t})|B|^2$，其中 $t > 0$。
• 将此恒等式应用于算子对 $A-B$ 和 $V(|B|^p|A|^{1-p} - |B|)$，以推导范数界。
• 通过极分解 $A = U|A|$，$B = V|B|$ 将 $p$-角距离表示为算子形式。
• 利用杨不等式和算子凸性推导不等式，特别针对 $p \in (0,1]$ 的情形。
• 使用恒等式 $|A|^{p-1}(r|A-B|^2 + s||A|^{1-p}|B|^p - |B||^2)|A|^{p-1}$，其中 $\frac{1}{r} + \frac{1}{s} = 1$，$r > 1$，以控制 $p$-角距离。
• 通过算子方程如 $t(A-B) + V(|B|^p|A|^{1-p} - |B|) = 0$ 建立等式条件。

实验结果

研究问题

• RQ1 如何通过 $p$-角距离将达克-威廉姆斯不等式从向量推广到希尔伯特空间上有界线性算子？
• RQ2 对于可逆的 $|A|$ 和 $|B|$，哪些算子范数不等式控制 $p$-角距离 $\| |A|A|^{p-1} - B|B|^{p-1} \|$？
• RQ3 对于 $0 < p \leq 1$，是否可以去除对 $|A|$ 和 $|B|$ 可逆性的假设，同时保持精确的范数估计？
• RQ4 所推导的算子达克-威廉姆斯不等式中，等式成立的必要与充分条件是什么？
• RQ5 广义平行四边形法则与极分解如何相互作用，以导出关于 $p$-角距离的新不等式？

主要发现

• 对于可逆的 $|A|$，$|B|$ 和 $p \in \mathbb{R}$，不等式 $| |A|A|^{p-1} - B|B|^{p-1} |^2 \leq |A|^{p-1}(r|A-B|^2 + s||A|^{1-p}|B|^p - |B||^2)|A|^{p-1}$ 成立，其中 $\frac{1}{r} + \frac{1}{s} = 1$，$r > 1$，且等式成立当且仅当 $(r-1)(A-B)|A|^{p-1} = B(|A|^{p-1} - |B|^{p-1})$。
• 对于 $0 < p \leq 1$，去除了可逆性假设，且对所有 $t > 0$，不等式 $|(U|A|^p - V|B|^p)|A|^{1-p}|^2 \leq (1+t)|A-B|^2 + (1+\frac{1}{t})||B|^p|A|^{1-p} - |B||^2$ 成立，等式成立当且仅当 $t(A-B) + V(|B|^p|A|^{1-p} - |B|) = 0$。
• 在 $p=0$ 情况下，恢复了经典的佩察里奇–拉伊奇等式，确认与先前结果的一致性。
• 当 $t \geq 1$ 时，$p=0$ 情况下的等式蕴含 $A = B$；当 $0 < t < 1$ 时，$A = B(I - \frac{2}{1-t}W^*W)$ 且 $|A| = |B|(I + \frac{2t}{1-t}W^*W)$，其中 $C = A - B = W|C|$。
• 等式条件被证明等价于 $V^*V = U^*U$ 和 $t(A-B) = V(|B| - |A|)$，将算子的结构与等式成立联系起来。
• 结果推广了经典的平行四边形法则，并将 $p$-角距离概念扩展到算子设置，为希尔伯特空间算子理论中的几何分析提供了框架。