[論文レビュー] Inequalities for the Norm and Numerical Radius of Composite Operators in Hilbert Spaces

Sever S Dragomir|ArXiv.org|Sep 9, 2005

Mathematical Inequalities and Applications被引用数 4

ひとこと要約

本稿では、ヒルベルト空間における有界線形作用素の積や和に関する、作用素のノルムと数値半径の新しい不等式を確立する。特に、$ \left\|\frac{A^*A + B^*B}{2}\right\| $ と $ w(B^*A) $ を含む境界を導出し、$ \left\|\frac{A^*A + B^*B}{2}\right\| \leq w(B^*A) + \frac{1}{2}\|A - B\|^2 $ という主要な結果を示す。さらに、摂動条件の下で正規作用素、ユニタリ作用素、可逆作用素への拡張も行われる。

ABSTRACT

Some new inequalities for the norm and the numerical radius of composite operators generated by a pair of operators are given.

研究の動機と目的

• ヒルベルト空間における合成作用素 $ B^*A $ のノルムおよび数値半径に対する新しい上界を導出すること。
• 作用素ノルムの摂動下で、$ \left\|\frac{A^*A + B^*B}{2}\right\| $ と $ w(B^*A) $ の関係を調査すること。
• 特定のノルム制約の下で、古典的な数値半径不等式を可逆、正規、またはユニタリ作用素の状況に拡張すること。
• 作用素の差が制御されている条件下で、$ \|A\|\|B\| - w(B^*A) $ および $ \|A\|^2\|B\|^2 - w^2(B^*A) $ の定量的推定を提供すること。

提案手法

• 三角不等式と内積の実部推定を用いた作用素ノルム不等式の確立。
• 二次形式と数値半径を関連付けるための恒等式 $ \|Ax\|^2 + \|Bx\|^2 \geq 2|\langle B^*A x, x \rangle| $ の使用。
• $ \|A - B\| \leq r $ の条件を適用し、$ r^2 $ を含む摂動境界を導出し、$ \left\|\frac{A^*A + B^*B}{2}\right\| \leq w(B^*A) + \frac{1}{2}r^2 $ に至る。
• 自己随伴および正規作用素のスペクトルノルムと数値半径の性質を活用し、境界を精緻化する。
• 可逆性条件と作用素の解作用素推定を導入し、$ \|B^{-1}\| $ を含む境界を導出。たとえば $ \|A\|^2\|B\|^2 - w^2(B^*A) \leq 2w(B^*A) \cdot \frac{\|B\|}{\|B^{-1}\|} \left( \|B\|\|B^{-1}\| - \sqrt{1 - r^2\|B^{-1}\|^2} \right) $ が得られる。
• 内積に対するコーシー・シュワルツおよびAM-GM型推定を用いて、ノルムと数値半径の差を抑え込む。

実験結果

リサーチクエスチョン

• RQ1 作用素の摂動 $ \|A - B\| \leq r $ の下で、$ \frac{A^*A + B^*B}{2} $ のノルムを $ B^*A $ の数値半径の観点からどのように上界で抑えられるか。
• RQ2 作用素 $ A $ と $ B $ が作用素ノルムで近接しているとき、$ \|A\|\|B\| - w(B^*A) $ および $ \|A\|^2\|B\|^2 - w^2(B^*A) $ の最もタイトな上界は何か。
• RQ3 $ A $ と $ B $ が正規、ユニタリ、または可逆である場合、特に $ \|A - \lambda B\| \leq r $ の下で、境界はどのように変化するか。
• RQ4 スペクトル的および解作用素的性質を用いて、合成作用素のノルムと数値半径の差を定量的に評価できるか。
• RQ5 可逆作用素に対して、不等式 $ \|A\|^2\|B\|^2 - w^2(B^*A) \leq 2w(B^*A) \cdot \frac{\|B\|}{\|B^{-1}\|} \left( \|B\|\|B^{-1}\| - \sqrt{1 - r^2\|B^{-1}\|^2} \right) $ の意味は何か。

主な発見

• $ \left\|\frac{A^*A + B^*B}{2}\right\| \leq w(B^*A) + \frac{1}{2}\|A - B\|^2 $ は、ヒルベルト空間上のすべての有界線形作用素 $ A, B $ に対して成り立つ。
• $ \left\|\frac{A^*A + B^*B}{2}\right\| - w(B^*A) $ の差は $ \frac{1}{2}\|A - B\|^2 $ で上から抑えられ、下界は非負である。
• 正規作用素 $ T $ で $ \|T - \lambda T^*\| \leq r $ を満たすものに対して、不等式 $ 0 \leq \frac{1 + |\lambda|^2}{2}\|T\|^2 - |\lambda|w(T^2) \leq \frac{1}{2}r^2 $ が成り立つ。
• $ \|A - \lambda I\| \leq r $ のとき、境界 $ 0 \leq \left\|\frac{A^*A + |\lambda|^2 I}{2}\right\| - |\lambda|w(A) \leq \frac{1}{2}r^2 $ が確立される。
• 可逆な $ B $ で $ \|A - B\| \leq r $ かつ $ \|B^{-1}\| \leq \frac{1}{r} $ を満たすとき、不等式 $ \|A\|^2\|B\|^2 - w^2(B^*A) \leq 2w(B^*A) \cdot \frac{\|B\|}{\|B^{-1}\|} \left( \|B\|\|B^{-1}\| - \sqrt{1 - r^2\|B^{-1}\|^2} \right) $ が証明される。
• 特別な場合 $ B = \lambda I $ では、境界が $ 0 \leq \|A\|^2 - w^2(A) \leq 2|\lambda|w(A)\left(1 - \sqrt{1 - \frac{r^2}{|\lambda|^2}}\right) $ に簡略化され、$ \|A - \lambda I\| \leq r $ のとき有効である。