[논문 리뷰] A degree theory approach for the shooting method

Congming Li|arXiv (Cornell University)|2013. 01. 26.

Nonlinear Partial Differential Equations참고 문헌 11인용 수 15

한 줄 요약

이 논문은 타깃 맵을 사용하여 타원계의 射撃법에 대한 새로운 차수 이론 접근법을 제안한다. 이는 전역 양의 해의 존재성을 확립한다. 특히, 위상수학적 차수 이론을 활용하여 타깃 맵이 전사임을 보임으로써, $\frac{1}{p+1} + \frac{1}{q+1} \leq \frac{n-2k}{n}$ 일 때 비판적 및 초비판적 경우에서 레인-에이문 추측을 해결한다.

ABSTRACT

The classical shooting-method is about finding a suitable initial shooting positions to shoot to the desired target. The new approach formulated here, with the introduction and the analysis of the `target map' as its core, naturally connects the classical shooting-method to the simple and beautiful topological degree theory. We apply the new approach, to a motivating example, to derive the existence of global positive solutions of the Hardy-Littlewood-Sobolev (also known as Lane-Emden) type system: [{{aligned} &(- riangle)^ku(x) = v^p(x), \,\, u(x)>0 \quad ext{in}\quad\mathbb{R}^n, & (- riangle)^k v(x) =u^q(x), \,\, v(x)>0 \quad ext{in}\quad\mathbb{R}^n, p, q>0, {aligned}.] in the critical and supercritical cases $\frac{1}{p+1}+\frac{1}{q+1}\leq\frac{n-2k}{n}$. Here we derive the existence with the computation of the topological degree of a suitably defined target map. This and some other results presented in this article completely solved several long-standing open problems about the existence or non-existence of positive entire solutions.

연구 동기 및 목표

• 타원계에 대한 고전적 射撃법과 차수 이론을 연결하는 위상수학적 프레임워크를 수립한다.
• 하디-리틀우드-소볼레프 및 레인-에이문 계열에 대한 전역 양의 해의 존재성 및 비존재성 문제를 오랫동안 미해결로 남아 있던 문제를 해결한다.
• 비판적 및 초비판적 영역에서 반지름에 대해 양의 해가 존재함을 보이며, 구 위에서의 해의 비존재성에 기반한다.
• 타깃 맵의 전사성은 차수 이론을 통해 도출되며, 이는 전역 해의 존재를 보장한다.

제안 방법

• 초기 조건에서 반지름 해의 점점 가까워지는 행동으로 가는 타깃 맵을 정의한다. 도메인은 초기 값이며, 레인지(범위)는 가능한 목표이다.
• ODE 이론과 비선형성 $F$의 비퇴화 조건을 사용하여 타깃 맵의 연속성을 증명한다.
• 위상수학적 차수 이론(참고 문헌 [14] 및 [17])을 적용하여 타깃 맵의 차수를 계산하고, 이가 0이 아니라는 것을 보이며, 전사성을 암시한다.
• 타깃 맵의 전사성을 이용하여 시스템의 전역 양의 해의 존재를 유도한다.
• 보조 변수 $w_i$ 를 사용하여 시스템 $(-\triangle)^k u = v^p$, $(-\triangle)^k v = u^q$ 를 일阶 미분방정식계로 환원한다.
• 구 $B_R$ 위에서의 반지름 해의 비존재성을 활용하여, 정리 1을 통해 전역 해의 존재를 유추한다.

실험 결과

연구 질문

• RQ1 타원계에 대한 射撃법이 차수 이론을 통해 위상수학적으로 재구성될 수 있는가? 이는 전역 해의 존재를 보장하는가?
• RQ2 하디-리틀우드-소볼레프 형 시스템 $(-\triangle)^k u = v^p$, $(-\triangle)^k v = u^q$ 가 전역 양의 해를 가질 조건은 무엇인가?
• RQ3 비판적 및 초비판적 경우 $\frac{1}{p+1} + \frac{1}{q+1} \leq \frac{n-2k}{n}$ 에서 레인-에이문 추측은 완전히 해결되었는가?
• RQ4 구 $B_R$ 위에서의 해의 비존재성은 차수 이론적 射撃 접근법을 통해 전역 해의 존재성을 유추할 수 있는가?

주요 결과

• 비판적 및 초비판적 경우에, $\frac{1}{p+1} + \frac{1}{q+1} \leq \frac{n-2k}{n}$ 이고 $2k < n$ 일 때, 시스템 $(-\triangle)^k u = v^p$, $(-\triangle)^k v = u^q$ 는 전역 양의 반지름 해를 가진다.
• 사용된 射撃법과 관련된 타깃 맵은 연속적이며, 0이 아닌 위상수학적 차수를 가지며, 이는 전사성을 암시한다.
• 타깃 맵의 전사성은 차수 이론을 통해 얻어지며, 이는 $F$ 에 대한 약한 조건 하에서 전역 해의 존재를 이끌어낸다.
• 스칼라 경우 $(-\triangle)^k u = u^p$ 에서는 유한 에너지 해가 존재할 조건은 $p = \frac{n+2k}{n-2k}$ 일 때 뿐이며, 비비판적 경우에는 해가 존재하지 않는다.
• 모든 경우를 제외한 비판적 경우에서, 에너지 $\int_{\mathbb{R}^n} u^{q+1}$ 는 무한대이며, 이는 비판적 및 초비판적 영역에서 무한 에너지 해가 존재함을 시사한다.
• 비퇴화 조건은 $\beta \in \partial \mathbb{R}_+^L$, $\beta \neq 0$ 일 때 $F(\beta) \neq 0$ 임을 보장하며, 이는 타깃 맵의 연속성과 전사성에 필수적이다.