[論文レビュー] 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$-角距離を用いて拡張すること。
• 可逆性の仮定を $|A|$ や $|B|$ に対して $0 < p \leq 1$ の場合に取り除き、先行研究を一般化すること。
• $p$-角距離と極分解を含む鋭い作用素ノルム不等式を確立すること。
• これらの不等式における等号の場合を作用素論的条件を用いて特徴づけること。
• ペチャリッチ＝ラージャチおよびサイトウ＝トミナガの先行結果を統一・一般化する、作用素に対する一般化された平行四辺形則を通じて。

提案手法

• 作用素に対する一般化された平行四辺形則：$t > 0$ に対して $|A-B|^2 + \frac{1}{t}|tA+B|^2 = (1+t)|A|^2 + (1+\frac{1}{t})|B|^2$ を用いる。
• この恒等式を作用素対 $A-B$ と $V(|B|^p|A|^{1-p} - |B|)$ に適用し、ノルムの上限を導出する。
• 極分解 $A = U|A|$, $B = V|B|$ を用いて、$p$-角距離を作用素形式で表現する。
• 特に $p \in (0,1]$ の場合に、ヤングの不等式と作用素凸性を用いて不等式を導出する。
• $\frac{1}{r} + \frac{1}{s} = 1$, $r > 1$ を満たす $r, s$ を用いて、 $|A|^{p-1}(r|A-B|^2 + s||A|^{1-p}|B|^p - |B||^2)|A|^{p-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$-角距離の概念を作用素設定へ拡張し、ヒルバート空間作用素論における幾何的解析の枠組みを提供する。