[논문 리뷰] Index theory for linear self-adjoint operator equations and nontrivial solutions for asymptotically linear operator equations

Yujun Dong|arXiv (Cornell University)|2007. 05. 13.

Advanced Mathematical Modeling in Engineering참고 문헌 30인용 수 8

한 줄 요약

이 논문은 무한차원 힐버트 공간에서 선형 자기수반 연산자 방정식에 대한 새로운 색인 이론을 개발하고, 이와 함께 쌍대 변분 방법과 모르스 이론을 사용하여 점점 선형이 되는 연산자 방정식의 해의 존재성과 다중성을 확립한다. 주요 기여는 제2형 히저니안 시스템, 제1형 히저니안 시스템, 타원형 PDE 등 다양한 설정에서 비자명한 해 한 개 이상의 존재에 대한 충분조건을 도출할 수 있도록 해주는 상대 색인과 영공간 이론을 제공하는 것이다.

ABSTRACT

We will first establish an index theory for linear self-adjoint operator equations. And then with the help of this index theory we will discuss existence and multiplicity of solutions for asymptotically linear operator equations by making use of the dual variational methods and Morse theory. Finally, some interesting examples concerning second order Hamiltonian systems, first order Hamiltonian systems and elliptical partial differential equations will be presented to illustrate our results.

연구 동기 및 목표

• 무한차원 힐버트 공간에서 선형 자기수반 연산자 방정식에 대한 종합적인 색인 이론을 수립하기.
• 이론을 점점 선형이 되는 연산자 방정식으로 확장하고, 변분 기법과 모르스 이론적 기법을 통해 해의 다중성을 분석하기.
• 제2형 및 제1형 히저니안 시스템, 타원형 PDE에 적용 가능한 일반적인 존재성 및 다중성 기준을 제공하기.
• 비유계 연산자에 대한 고전적 스펙트럼 이론을 일반화하는 상대 색인과 영공간 프레임워크를 정의하기.
• 새로운 색인 기반 접근법을 통해 기존의 비선형 타원형 PDE 및 히저니안 시스템에서의 비자명한 해에 관한 결과들을 통합하고 일반화하기.

제안 방법

• Y ⊂ X가 컴act하게 통합되어 있을 때, 자기수반 연산자 A: Y → X에 대해 새로운 색인 $ i_A(B) $와 영공간 $ \nu_A(B) $를 도입한다.
• 경로를 따라 $ B_1 $과 $ B_2 $ 사이의 핵의 차원 합으로 상대 색인 $ I_A(B_1, B_2) $를 정의하여 유한성과 가역성을 확보한다.
• 쌍대 변분 방법을 사용하여 연산자 방정식 $ Ax + \Phi'(x) = 0 $을 함수 $ \Phi $의 임계점 문제로 변환한다.
• 색인과 영공간을 통한 모르스 이론을 적용하여 비자명한 임계점, 즉 비자명한 해에 해당하는 해를 탐지한다.
• 스펙트럼 한계 조건을 포함한 충분조건을 수립한다. 예를 들어 $ B_1 \leq \Phi''(x) \leq B_2 $이며, $ i_A(B_1) = i_A(B_2) $이고 $ \nu_A(B_2) = 0 $이면 존재 보장이 가능하다.
• 특정 PDE와 히저니안 시스템에 이론을 적용하기 위해 $ A = \Delta $, $ B(x) = b(x) $, $ \Phi(u) = \int F(x,u)\,dx $로 정의하여 문제를 $ b(x) $의 스펙트럼 분석으로 환원한다.

실험 결과

연구 질문

• RQ1 무한차원 힐버트 공간에서 선형 자기수반 연산자 방정식에 대해 강력한 색인과 영공간 이론을 어떻게 구성할 수 있는가?
• RQ2 점점 선형이 되는 방정식 $ Ax + \Phi'(x) = 0 $의 비자명한 해가 존재하기 위해 $ \Phi''(x) $에 어떤 조건이 필요한가?
• RQ3 스펙트럼 조건이 다중 비자명한 해를 갖는 데 어떤 영향을 미치며, 이는 상대 색인을 통해 어떻게 탐지할 수 있는가?
• RQ4 추상적 색인 이론은 제2형 히저니안 시스템과 타원형 PDE와 같은 구체적 문제에 어떻게 적용될 수 있는가?
• RQ5 색인 프레임워크는 기존의 비선형 타원형 PDE 및 히저니안 시스템에서의 다중 해에 관한 결과들을 통합하고 일반화할 수 있는가?

주요 결과

• $ i_A(B) $는 잘 정의되어 있으며 유한하고 가역적이며, $ i_A(B_2) - i_A(B_1) = I_A(B_1, B_2) $를 만족하며, 모든 $ B \in \mathcal{L}_s(X) $에 대해 $ \nu_A(B) $는 유한하다.
• 정리 1.6는 $ \Phi'(x) - B(x)x $가 유계이면서 $ \Phi''(x) $가 $ B_1, B_2 $ 사이에 놓여 있고, $ i_A(B_1) = i_A(B_2) $이며 $ \nu_A(B_2) = 0 $일 경우, $ Ax + \Phi'(x) = 0 $에 최소한 하나의 해가 존재함을 보장한다.
• 정리 1.7는 $ \Phi''(x) $가 $ B_1, B_2 $ 사이에 놓여 있고, $ i_A(B_1) = i_A(B_2) $, $ \nu_A(B_2) = 0 $이며, 초기 색인 조건 $ i_A(B_1) \notin [i_A(B_0), i_A(B_0) + \nu_A(B_0)] $가 성립할 경우, 최소한 하나의 비자명한 해가 존재함을 보장한다.
• 정리 1.8은 $ \Phi''(x) $와 $ \Phi^\prime\prime(\theta) $에 대해 더 강한 볼록성 및 스펙트럼 조건이 만족될 경우, 두 개의 서로 다른 비자명한 해가 존재함을 증명한다.
• 정리 1.9는 $ \Phi $에 대해 볼록성 및 성장 조건이 만족될 경우 해가 존재하며, 추가로 $ i_A(B_0) > i_A(B_1) + \nu_A(B_1) $ 조건이 성립할 경우 비자명한 해가 추가로 존재함을 확립한다.
• 타원형 PDE의 경우, 정리 5.4–5.6는 $ f(x,u)/u \in [b_1(x), b_2(x)] $이며, $ i_\Delta(b_1) = i_\Delta(b_2) $, $ \nu_\Delta(b_2) = 0 $일 경우 해가 존재함을 보여주며, 영점에서 선형화한 연산자의 색인과 영공간 조건이 만족될 경우 비자명한 해도 존재함을 보여준다.