[논문 리뷰] A Morse-Smale index theorem for indefinite elliptic systems and bifurcation

Алессандро Порталури, Nils Waterstraat|arXiv (Cornell University)|2014. 08. 06.

Advanced Mathematical Modeling in Engineering참고 문헌 46인용 수 23

한 줄 요약

이 논문은 스타형 도메인 위의 비퇴화된 부정적 타입 타원형 연립방정식에 대해, 반세미리만니안 모스 이론을 연립편미분방정식으로 일반화하여 모스-스멜 링크스 정리를 수립한다. 스펙트럴 플로우 기반의 지수 공식을 도입함으로써, 부정적 계량에서의 고전적 공액점 수를 대체함으로써 공액점이 집적될 수 있는 경우에도 분기 분석이 가능하게 한다.

ABSTRACT

We generalise the semi-Riemannian Morse index theorem to elliptic systems of partial differential equations on star-shaped domains. Moreover, we apply our theorem to bifurcation from a branch of trivial solutions of semilinear systems, where the bifurcation parameter is introduced by shrinking the domain to a point. This extends recent results of the authors for scalar equations.

연구 동기 및 목표

• 부정적 주요 기호를 가진 타원형 PDE 연립방정식으로 반세미리만니안 모스 지수 정리를 확장하기.
• 고전적 모스 지수 정리가 실패하는 부정적 설정에서 비격리된 공액점 문제를 해결하기.
• 스펙트럴 플로우와 마스로프 이론을 사용하여 타원형 연립방정식의 모스 지수에 대한 위상수학적 지수 공식을 제공하기.
• 영해로부터의 분기 분석을 위해 도메인 수축을 통해 적용한 지수 정리를 연구하기.
• 이전의 스칼라 방정식 결과를 연립방정식으로 일반화하여, 특히 공액점이 집적되는 경우에 대해 연구하기.

제안 방법

• 스펙트럴 플로우와 심플렉틱 힐버트 공간 기법을 사용하여 스마일의 모스 지수 정리를 부정적 타원형 연립방정식으로 일반화한다.
• 경계 데이터와 관련된 심플렉틱 힐버트 공간 내 라그랑주 부분공간의 곡선에 마스로프 지수를 적용한다.
• 교차 형식과 정규 교차 순간을 사용하여 이차형식의 부호를 통해 마스로프 지수를 계산한다.
• 프레드홀름 쌍 이론과 스펙트럴 플로우에 의존하여 연속적 변형에 대해 안정적인 지수 불변량을 정의한다.
• 영해로부터의 분기 모델링을 위해 도메인 수축을 통한 연산자 경로를 구성한다.
• 연립방정식의 모스 지수와 관련 경계값 문제의 마스로프 지수 사이의 대응관계를 수립한다.

실험 결과

연구 질문

• RQ1 공액점이 집적될 수 있는 경우에 고전적 모스 지수 정리를 부정적 타원형 연립방정식으로 확장할 수 있는가?
• RQ2 부정적 주요 기호를 가진 연립방정식의 경우 모스 지수를 어떻게 의미 있게 정의하고 계산할 수 있는가?
• RQ3 부정적 설정에서 공액점 수의 대체가 되는 위상수학적 불변량은 무엇인가?
• RQ4 도메인 변형 하에서 타원형 연립방정식의 스펙트럴 성질과 마스로프 지수 사이의 관계는 어떻게 되는가?
• RQ5 지수 공식은 도메인이 점으로 수축할 때 반선형 타원형 연립방정식에서 분기를 탐지하는 데 적용될 수 있는가?

주요 결과

• 스타형 도메인 위의 비퇴화된 부정적 타원형 연립방정식의 모스 지수는 관련 연산자 경로의 스펙트럴 플로우와 같다.
• 논문은 고전적 모스-스멜 링크스 정리를 연립방정식으로 일반화하여, 유한한 공액점 중복 수의 합을 스펙트럴 플로우 불변량으로 대체한다.
• 공액점이 집적되더라도 경계 라그랑주 경로의 마스로프 지수는 모스 지수를 계산한다.
• 지수 공식은 연속적 변형에 대해 안정적이며, 도메인 수축 매개변수를 가진 분기 문제에 적용 가능하다.
• 이전의 스칼라 방정식 결과를 연립방정식으로 확장하여, 부정적 구조를 가진 연립방정식의 분기 분석을 위한 프레임워크를 제공한다.
• 스펙트럴 플로우와 마스로프 지수의 사용은 고전적 공액점 수 계산이 집적으로 인해 실패하는 경우에도 잘 정의된 모스 지수를 가능하게 한다.