[논문 리뷰] The Drazin inverse of the linear combinations of two idempotents in the Banach algebras

Shifang Zhang, Junde Wu|arXiv (Cornell University)|2009. 06. 08.

Matrix Theory and Algorithms참고 문헌 6인용 수 5

한 줄 요약

이 논문은 바나흐 대수에서 두 등幂원소 $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.

연구 동기 및 목표

• 바나흐 대수에서 등幂원소 $P$와 $Q$ 및 $a, b \neq 0$일 때 $aP + bQ$의 드라지엔 역행렬에 대한 명시적 공식을 도출한다.
• 특정 대수적 조건 하에서 드라지엔 지수 $\text{ind}(aP + bQ)$를 결정한다.
• 이전에 힐버트 공간에서의 프로젝션 선형 조합에 대한 드라지엔 역행렬 결과를 일반 바나흐 $*$-대수로 일반화한다.
• 이전 연구에서 사용된 공간 분해나 행렬 표현 기법을 피하는 직접 대수적 방법을 제공한다.
• 이전에 발표된 군 역행렬 결과를 수정하고, 반례를 제시함으로써 수정된 정리들을 제공한다.

제안 방법

• 정의 조건인 $A M A = A$, $A M = M A$, 및 $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 바나흐 대수에서 두 등幂원소의 선형 조합 $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$이다.
• 드라지엔 역행렬이 0차 지수를 가진다(즉, 군 역행가능하다)는 조건은 $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])이 잘못되었음을 보이고, 수정된 정리를 제공한다.