[논문 리뷰] Entire radial and nonradial solutions for systems with critical growth

Francesca Gladiali, Massimo Grossi외 1명|arXiv (Cornell University)|2016. 12. 12.

Nonlinear Partial Differential Equations참고 문헌 10인용 수 4

한 줄 요약

이 논문은 전역 분기 이론과 대칭성 깨짐 논증을 이용하여 $[\mathbb{R}^N$ ($N \geq 3$)에서 임계 성장 조건을 만족하는 비선형 타원형 시스템의 계열에 대해 원형 및 비원형 전체 해의 존재성을 확립한다. 주요 기여는 비협력적 시스템에 대해 선형화된 연산자의 스펙트럼 분석과 불변 부분공간 분해를 통해 비원형 해의 존재성을 증명한 것이다. 특히 임계 초구면 상의 시스템에 대해 성립한다.

ABSTRACT

In this paper we establish existence of radial and nonradial solutions to the system $$ \begin{array}{ll} -Δu_1 = F_1(u_1,u_2) & ext{in }\mathbb{R}^N, ewline -Δu_2 = F_2(u_1,u_2) & ext{in }\mathbb{R}^N, ewline u_1\geq 0,\ u_2\geq 0 & ext{in }\mathbb{R}^N, ewline u_1,u_2\in D^{1,2}(\mathbb{R}^N), \end{array} $$ where $F_1,F_2$ are nonlinearities with critical behavior.

연구 동기 및 목표

• 임계 성장 조건을 만족하는 비선형 타원형 시스템의 전체 원형 및 비원형 해의 존재성을 $[\mathbb{R}^N$에서 확립하기.
• 임계 시스템에서 컴actness와 변분적 구조의 부재를 해결하기 위해 분기 이론과 스펙트럼 분석을 적용하기.
• 최대 원리가 적용되지 않는 비협력적 시스템에서 대칭성 깨짐을 조사하여 비원형 해를 도출하기.
• 이전의 원형 해 결과를 비원형 해로 확장하기 위해 불변 부분공간 기법과 구면 조화다항식을 활용하기.
• 자명한 해 주위의 선형화된 연산자의 구조를 분석하고, 비자명한 해가 나타나는 조건을 규명하기.

제안 방법

• 자명한 해 가족 $U_{\delta,y}$를 매개변수 $\delta > 0$ 및 $y \in \mathbb{R}^N$로 파arameter화하여 전역 분기 이론을 사용해 해를 구성하기.
• 자명한 해에서 선형화된 시스템의 스펙트럼 분석을 적용하여 고유값이 0을 가로지르는 분기점 탐지하기.
• 구면 조화다항식을 이용해 해 공간을 분해하고, 회전 및 반사 대칭성을 활용해 불변 부분공간을 규명하기.
• 특정 대칭성과 각 변수에서의 주기성 조건을 갖는 함수들로 제한하기 위해 불변 부분공간 $X_{\mathcal{S}_m}$ 및 $\mathcal{Z}_m$ 정의하기.
• 구면 조화다항식을 Gegenbauer 다항식 전개를 통해 이용해 해의 각도 의존성을 특성화하기.
• 선형화된 연산자의 핵이 불변 부분공간 $\mathcal{Z}_m$에서 일차원임을 증명하여 분기 정리의 적용 가능성을 확보하기.

실험 결과

연구 질문

• RQ1 비협력적 시스템이 $\mathbb{R}^N$에서 임계 성장을 가지며, 어떤 조건에서 비원형 전체 해를 가질 수 있는가?
• RQ2 비선형성의 구조, 특히 임계 초구면 상에서의 성질이 해의 존재성과 대칭성에 어떻게 영향을 미치는가?
• RQ3 임계 성장을 가지는 비변분적 시스템에 대해 분기 이론을 적용하여 비자명한 해를 구성할 수 있는가?
• RQ4 원형 해가 존재할 때 비원형 해를 생성하는 데에 대칭성 깨짐 메커니즘이 어떤 역할을 하는가?
• RQ5 대칭 부분공간에서 선형화된 연산자의 핵의 차원은 얼마이며, 이는 분기 행동에 어떻게 영향을 미치는가?

주요 결과

• 결합 행렬 $A$의 고유값이 특정 값에 도달할 때, 분기 이론을 통해 비자명한 원형 해가 존재함을 보였다.
• 비협력적 시스템에서 $1 - \alpha < 0$인 경우 비원형 해가 존재하며, 이는 구성 요소 간의 상호작용이 상호퇴적임을 시사한다.
• $m \geq 2$일 때, 불변 부분공간 $\mathcal{Z}_m$에서 선형화된 연산자의 핵은 일차원이며, $\gamma(m) = 1$임을 증명하여 분기 가능성을 확보하였다.
• 비원형 해는 자명한 해 가족 $U_{\delta,y}$의 변화로 구성되며, 각도 의존성은 $\operatorname{Im}((x_1 + i x_2)^m)$로 주어진다.
• $(0, W_{m,m}(r) Y_m)$는 $\mathcal{Z}_m$에 속함을 확인하여, 특정 대칭성을 갖는 비원형 해의 존재를 확인하였다.
• 분석 결과 선형화된 연산자는 $X_{\mathcal{S}_m}$에서 비자명한 해를 가지지 않음을 확인하여, 분기가 오직 $\mathcal{Z}_m$-불변 영역에서만 발생함을 보장하였다.