[論文レビュー] The Drazin inverse of the linear combinations of two idempotents in the Banach algebras

Shifang Zhang, Junde Wu|arXiv (Cornell University)|Jun 8, 2009

Matrix Theory and Algorithms参考文献 6被引用数 5

ひとこと要約

本稿は、バナッハ代数における2つの冪等元 $P$ と $Q$ の線形結合 $aP + bQ$ のドライゼン逆元に対する明示的公式を、$PQP = 0$ や $PQP = P$ などの特定の代数的条件の下で導出する。直接的な代数的計算を用いて、$(aP + bQ)^D$ の閉形式表現を確立し、ドライゼン指数を特定し、ドライゼン逆元が一意的であり、類似変換に対して不変であることを証明する。主な貢献は、このような組み合わせのドライゼン可逆性と指数の境界に関する体系的な特徴付けであり、従来のヒルバート空間設定における結果を一般のバナッハ代数へと拡張している。

ABSTRACT

In this paper, some Drazin inverse representations of the linear combinations of two idempotents in Banach algebra are obtained.

研究の動機と目的

• バナッハ代数における2つの冪等元 $P$ と $Q$ と非ゼロ定数 $a, b$ に対して、$aP + bQ$ のドライゼン逆元の明示的公式を導出すること。
• 特定の代数的条件の下で、ドライゼン指数 $\text{ind}(aP + bQ)$ を特定すること。
• ヒルバート空間における射影の線形結合のドライゼン逆元に関する従来の結果を、一般のバナッハ $*$-代数へと一般化すること。
• 従来の研究で用いられた空間分解や行列表現の技法を避ける、直接的な代数的アプローチを提供すること。
• 既に発表された群逆元に関する結果の誤りを是正し、反例を提示するとともに、修正された定理を提示すること。

提案手法

• 定義条件 $A M A = A$、$A M = M A$、およびある $k$ に対して $A^{k+1} M = A^k$ を直接検証することで、ドライゼン逆元 $(aP + bQ)^D$ を導出する。
• 条件 $PQP = 0$ を用いて作用素積を簡略化し、公式 $(aP + bQ)^D = \frac{1}{a}P + \frac{1}{b}Q - \left(\frac{1}{a} + \frac{1}{b}\right)(PQ + QP) + \left(\frac{1}{a} + \frac{2}{b}\right)QPQ$ を導出する。
• スケーリング不変性：$(aP + bQ)^D = \frac{1}{b}(\frac{a}{b}P + Q)^D$ を用いて、$b=1$ の基本ケースに還元する。
• 指数の境界を示す：$PQP = 0$ の下では $\text{ind}(aP + bQ) \leq 1$、$PQP = P$ の下では $\leq 2$ または $\leq 3$ であることを示す。
• 反例を用いて、従来の群逆元に関する定理（例：[15]）が誤りであることを示し、修正されたバージョンを提示する。
• $P+Q$ が群逆を持つための必要十分条件は $P + QPQ = PQ + QP$、$P-Q$ が群逆を持つための必要十分条件は $P = QPQ$ であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 バナッハ代数において、2つの冪等元の線形結合 $aP + bQ$ がドライゼン可逆となる条件は何か？
• RQ2 $PQP = 0$ のとき、$aP + bQ$ のドライゼン逆元 $(aP + bQ)^D$ の明示的公式は何か？
• RQ3 ドライゼン指数 $\text{ind}(aP + bQ)$ は、$P$ と $Q$ の代数的関係にどのように依存するか？
• RQ4 ヒルバート空間の分解や行列表現を用いずに、$aP + bQ$ のドライゼン逆元を計算できるか？
• RQ5 従来の研究（例：[15]）における群逆元の結果は正当であるか、それとも是正が必要か？

主な発見

• $PQP = 0$ のとき、$aP + bQ$ のドライゼン逆元は $(aP + bQ)^D = \frac{1}{a}P + \frac{1}{b}Q - \left(\frac{1}{a} + \frac{1}{b}\right)(PQ + QP) + \left(\frac{1}{a} + \frac{2}{b}\right)QPQ$ で与えられ、$\text{ind}(aP + bQ) \leq 1$ である。
• ドライゼン逆元がゼロ指数（すなわち群可逆）であるための必要十分条件は、$PQP = 0$ の下で $P + Q + QPQ = I + PQ + QP$ が成り立つことである。
• $PQP = P$ のとき、$a + b \neq 0$ ならば $\left(aP + bQ\right)^D = \frac{a^2}{(a+b)^3}P + \frac{1}{b}Q + \frac{ab}{(a+b)^3}(PQ + QP) + \left(\frac{b^2}{(a+b)^3} - \frac{1}{b}\right)QPQ$ であり、$a + b = 0$ ならば $\frac{1}{a}Q(P - I)Q$ である。
• ドライゼン指数は、$PQP = P$ の下で、$a + b \neq 0$ のとき $\text{ind}(aP + bQ) \leq 2$、$a + b = 0$ のとき $\leq 3$ を満たす。
• $P + Q$ が群逆を持つための必要十分条件は $P + QPQ = PQ + QP$、$P - Q$ が群逆を持つための必要十分条件は $P = QPQ$ である。
• 反例により、従来の群逆元に関する定理（例：[15]）が誤りであることが示され、修正されたバージョンが提示された。