[논문 리뷰] Proving the existence of eigenvalues and eigenvectors by Weierstrass's theorem

Jean Van Schaftingen|arXiv (Cornell University)|2011. 09. 29.

Advanced Topics in Algebra참고 문헌 9인용 수 3

한 줄 요약

이 논문은 유한차원 복소벡터공간 위의 선형 연산자에 대한 고유값과 고유벡터의 존재성을 결정식을 사용하지 않고, 콤팩트 집합 위의 연속함수에 대한 Weierstrass 정리에 기반하여 증명한다. 이 증명은 $ \frac{\|T(v) - \lambda v\|}{\|v\|} $ 형태의 레일리 몫 유사 기능을 최소화하고, 그 최솟값이 0임을 보여, 비자명한 해 $ T(\bar{v}) = \bar{\lambda}\bar{v} $의 존재를 시사함으로써 다항식이나 복소해석학의 기본 원리 이외의 도구에 의존하지 않고 스펙트럼 정리를 확립한다.

ABSTRACT

I propose a proof of the existence of the existence of eigenvectors and eigenvalues in the spirit of Argand's proof of the fundamental theorem of algebra. The proof only relies on Weierstrass's theorem, the definition of the inverse of a linear operator and algebraic identities.

연구 동기 및 목표

• 결정식, 특성다항식 또는 대수기본정리에 의존하지 않는 고유값과 고유벡터 존재성 증명을 제공하는 것.
• 유한차원 복소선형연산자에 대한 스펙트럼 정리를 기초적인 해석학 및 선형대수 도구 뿐만으로 확립하는 것.
• Weierstrass 정리에 의존하여 콤팩트 집합 위의 연속함수 성질을 이용해 고유벡터 존재성을 도출할 수 있음을 보여주는 것.
• 伝통적인 대수적 또는 스펙트럼이론적 증명에 대한 구성적이고 분석적인 대안을 제공하는 것.

제안 방법

• 선형연산자 $ T $에 대해 $ V \setminus \{0\} \times \mathbb{C} $ 위에서 $ f(v, \lambda) = \|T(v) - \lambda v\| $ 를 정의하고, $ \|v\| = 1 $ 으로 정규화하여 고유벡터 성질에서의 이격도를 최소화한다.
• 코ercivity 성질과 유한차원 공간에서 선형연산자의 유계성에 기반해, Weierstrass 정리를 이용해 최소화자 $ (\bar{v}, \bar{\lambda}) $ 의 존재를 보장한다.
• 코ercivity 추정: $ \|T(v) - \lambda v\| \geq (|\lambda| - C)\|v\| $ 를 유도하여, 하위레벨 집합이 유계이므로 상대적으로 컴act함을 보장한다.
• 만약 최솟값 $ \bar{c} > 0 $ 이라면, 모든 $ \lambda $ 에 대해 $ |\lambda - \bar{\lambda}| < \bar{c} $ 를 만족할 때 $ T - \lambda I $ 가 가역임을 보이고, 기하급수 급수의 추론을 통해 모순을 이끌어낸다.
• 항등식 $ \sum_{j=0}^{n-1} (S - \omega^j \sigma I)^{-1} = n S^{n-1} $ (여기서 $ S = T - \lambda I $, $ \sigma = \bar{\lambda} - \lambda $) 을 이용해 $ \bar{c} > 0 $ 인 경우에 모순을 유도한다.
• 부등식 $ \|T(v) - \lambda v\| \leq \bar{c}\|v\| + n \left( \frac{|\lambda - \bar{\lambda}|}{\bar{c}} \right)^n \|T(v) - \lambda v\| $ 에 대해 $ n \to \infty $ 의 극한을 적용하여 $ \bar{c} = 0 $ 이어야 한다는 것을 보인다.

실험 결과

연구 질문

• RQ1 특성다항식이나 대수기본정리를 사용하지 않고도 고유값과 고유벡터의 존재성을 증명할 수 있는가?
• RQ2 기본적인 연속성과 연산자 유계성 도구만을 사용하여, 유한차원 복소선형연산자에 대한 스펙트럼 정리를 연속 최소화 기반으로 확립할 수 있는가?
• RQ3 Weierstrass 정리의 콤팩트 집합 위 연속함수 성질을 이용해 레일리 몫 유사 최소화를 통해 고유벡터 존재성을 증명할 수 있는가?
• RQ4 모든 $ v \neq 0 $, $ \lambda \in \mathbb{C} $ 에 대해 $ \|T(v) - \lambda v\| / \|v\| $ 에 대해 양의 하한이 존재한다고 가정할 경우, 선형연산자 맥락에서 어떤 함의를 갖는가?
• RQ5 고유값이 존재하지 않는다고 가정할 경우, $ \mathbb{C} $ 의 원판 전체에 걸쳐 $ T - \lambda I $ 의 가역성을 균일하게 분석하여 모순을 이끌어낼 수 있는가?

주요 결과

• 코ercivity와 하위레벨 집합의 컴팩트성에 기반해 Weierstrass 정리에 의해 $ \|T(v) - \lambda v\| / \|v\| $ 의 최소화자 $ (\bar{v}, \bar{\lambda}) $ 가 존재함을 보장한다.
• 최솟값 $ \bar{c} > 0 $ 이라면, 모든 $ \lambda $ 에 대해 $ |\lambda - \bar{\lambda}| < \bar{c} $ 를 만족할 때 $ T - \lambda I $ 가 가역이며, 리졸베이트는 균일하게 유계진다.
• 근의 단위를 이용한 리졸베이트 합과 기하급수 항등식을 활용해 $ \bar{c} > 0 $ 인 경우에 모순을 도출하며, 이는 $ \bar{c} $ 가 0이어야 한다는 것을 보여준다.
• 모순은 $ n \to \infty $ 의 극한에서 발생하며, $ \left( \frac{|\lambda - \bar{\lambda}|}{\bar{c}} \right)^n \to 0 $ 이 되어 $ \|T(v) - \lambda v\| \leq \bar{c}\|v\| $ 를 만족하는 어떤 $ v $ 가 존재하게 되며, 이는 $ \bar{c} > 0 $ 인 경우에 모순이 된다. 따라서 $ \bar{c} = 0 $ 이어야 한다.
• 결국 이 기능의 최솟값은 0이며, 이는 비자명한 벡터 $ \bar{v} $ 와 $ \bar{\lambda} \in \mathbb{C} $ 가 존재하여 $ T(\bar{v}) = \bar{\lambda}\bar{v} $ 를 만족함을 의미한다.
• 이 증명은 결정식, 다항식, 복소해석학의 기본 원리 이외의 도구를 전적으로 회피하며, 스펙트럼 정리에 대한 새로운, 기초적인 분석적 접근법을 제공한다.