[논문 리뷰] Parameterized splitting theorems and bifurcations for potential operators

Guangcun Lu|arXiv (Cornell University)|2017. 12. 10.

Stability and Controllability of Differential Equations참고 문헌 54인용 수 4

한 줄 요약

이 논문은 미분 가능도 요구 조건을 축소한 잠재 연산자에 대해 매개변수화된 분할 정리들을 개발하여, 준선형 타원형 시스템에 대한 새로운 분기 정리들을 가능하게 한다. $C^{1,1}$ 또는 $C^1$ 함수성에 대해 모스 이론 도구들을 일반화함으로써, $C^2$ 미분 가능성 조건을 필요로 하지 않는 그래디언트 사상과 타원형 방정식에 대한 분기 기준을 수립한다. 이는 라빈비츠와 패델–라빈비츠 정리와 같은 고전적 결과들을 더 약한 정규성 설정으로 확장한다.

ABSTRACT

We show that parameterized versions of splitting theorems in Morse theory can be effectively used to generalize some famous bifurcation theorems for potential operators. In particular, such generalizations based on the author's recent splitting theorems [38, 39, 42, 43] and that of [8] are given though potential operators in [42, 43] have weaker differentiability, even discontinuous. As applications, we obtain many bifurcation results for quasi-linear elliptic Euler equations and systems of higher order.

연구 동기 및 목표

• 고전적 분기 정리들(예: 라빈비츠, 패델–라빈비츠)을 $C^2$보다 낮은 미분 가능도를 갖는 잠재 연산자로 일반화하기.
• 매개변수화된 분할 정리들을 사용하여 그래디언트 사상의 분기 조건이 되는 필요 및 충분 조건을 설정하기.
• 성장 제약 조건이 있는지 여부에 관계없이 준선형 타원형 시스템에 이러한 결과를 적용하기.
• 유한차원 축소를 통해 더 작은 공간에서 비-$C^2$ 함수성에 대해 모스 이론 도구들을 확장하기.
• 등변 설정에서의 분기와 도메인 변형을 통해 유도된 분기 문제를 매개변수화된 분할 기법을 통해 분석하기.

제안 방법

• 힐버트 공간에서의 $C^{1,1}$ 및 $C^1$ 함수성에 대해 최근 저자의 분할 정리의 매개변수화된 형태를 활용한다.
• 비미분 가능 잠재 연산자를 다루기 위해 매개변수화된 보빌레프–버르만 분할 보조정리를 적용한다.
• 완전한 $C^2$ 가정을 피하기 위해 $C^1$ 또는 $C^{1,1}$ 함수성에 적합한 리아파노프–슈미트 유형의 축소 기법을 사용한다.
• 원점에서 헤시안 행렬 $B(0)$의 스펙트럼 분해를 통해 커널, 양의 정부호, 음의 정부호 부분에 대응하는 부분공간 $X_0$, $X_+$, $X_-$ 를 정의한다.
• $B(0)|_X$의 스펙트럼에서 $0$ 이 고립점임과 동시에 $B(0)$ 이 $X/X_0$ 위에서 초월성 연산자로 작용하도록 조건을 도입한다.
• 분할 정리를 적용하여 국소적으로 함수성을 이차형식과 잔여항의 직합으로 분해함으로써, 임계군 계산이 가능하도록 한다.

실험 결과

연구 질문

• RQ1 매개변수화된 분할 정리들을 활용하여 $C^2$ 함수성이 아닌 잠재 연산자에 대한 분기 정리들을 $C^2$를 초월해 확장할 수 있는가?
• RQ2 함수성이 오직 $C^{1,1}$ 또는 $C^1$ 인 경우 그래디언트 사상의 분기 조건은 무엇인가?
• RQ3 비-$C^2$ 함수성에 대해 분기 문제에서 임계군을 계산하기 위해 모스 이론을 어떻게 적응시킬 수 있는가?
• RQ4 더 약한 미분 가능성 및 성장 조건 하에서 준선형 타원형 시스템에 대해 어떤 분기 결과가 도출되는가?
• RQ5 매개변수화된 분할 정리들을 이용하여 등변 문제에서의 분기와 도메인 변형에서의 분기를 연구할 수 있는가?

주요 결과

• 논문은 매개변수화된 설정으로 분할 정리를 일반화함으로써 $C^{1,1}$ 및 $C^1$ 잠재 연산자에 대한 새로운 분기 기준을 수립한다.
• 만약 $B(0)$ 가 가역적이며 $0$ 이 $ ext{spec}(B(0)|_X)$ 에서 고립점이라면, 더 약한 미분 가능성 조건 하에서도 분할 정리가 성립함을 증명한다.
• 준선형 타원형 시스템에 대해 비록 성장 제약 조건이 있거나 없거나에 관계없이 분기 결과를 도출한다.
• 비자명한 임계 궤도에 대한 패델–라빈비츠 유형 정리들을 통해 등변 설정에서의 분기 분석이 가능해진다.
• 도메인 매개변수에 대한 함수성의 의존도를 분석함으로써 도메인 변형에서의 분기 분석이 가능해진다.
• $ ext{dim }H^+ < ty$ 또는 $ ext{dim }H^- < ty$ 이면, 부분공간 $X_+$ 와 $X_-$ 는 각각 $H^+$ 와 $H^-$ 와 일치하며, 이는 스펙트럼 분해와의 호환성을 보장한다.