[논문 리뷰] On the fractional Lane-Emden equation

Louis Dupaigne, Juan Dávila외 1명|arXiv (Cornell University)|2014. 04. 14.

Nonlinear Partial Differential Equations참고 문헌 23인용 수 6

한 줄 요약

이 논문은 $\mathbb{R}^n$에서 분수계 Lane-Emden 방정식 $(-\Delta)^s u = |u|^{p-1}u$에 대해 유한 모르스 지수 해를 분류하면서 리우빌 유형 정리를 확립한다. $p < p_S(n)$ 또는 감마 함수를 포함하는 특정 스펙트럼 조건이 성립할 경우, 유일한 해는 자명한 해 $u \equiv 0$이다; $p = p_S(n)$일 경우 해는 유한 에너지를 가져야 하며, 추가로 안정적이라면 식별적으로 0이 되어야 한다. 본 결과는 확장 방법과 안정성 분석을 통해 국소적이지 않은 분수계 설정으로 고전 결과를 일반화한다.

ABSTRACT

We classify solutions of finite Morse index of the fractional Lane- Emden equation

연구 동기 및 목표

• 지역적 Lane-Emden 방정식에 대한 고전적 리우빌 유형 정리를 분수계 비국소적 설정인 $(-\Delta)^s$로 확장한다.
• 분수계 Lane-Emden 방정식 $(-\Delta)^s u = |u|^{p-1}u$의 $\mathbb{R}^n$에서 유한 모저스 지수 해를 분류한다.
• 특수 함수를 포함하는 안정성 조건을 이용해 비자명한 해가 존재하지 않는 정확한 임계 조건을 규명한다.
• 불안정 조건이 성립하지 않을 경우, 반지름형, 유계, 안정 해를 구성함으로써 기준의 최적성(최선성)을 보여준다.

제안 방법

• Caffarelli-Silvestre 확장을 사용하여 비국소 방정식을 $\mathbb{R}^{n+1}_+$에서의 국소적 열화된 타원 문제로 변환한다.
• 크기가 큰 구 외부에서 compactly 지지된 $\varphi$에 대해 안정성 조건 $p\int |u|^{p-1}\varphi^2 dx \leq \|\varphi\|_{\dot{H}^s}^2$를 적용한다.
• 에너지 함수 $E(\lambda)$의 단조성과 붕괴 분석을 통해 확장된 해의 소멸을 보인다.
• 특수 함수를 포함하는 하디 부등식과 최적 상수 $\Lambda_{n,s} = 2^{2s} \Gamma(n+2s/4)^2 / \Gamma(n-2s/4)^2$를 이용해 특이 해의 불안정성을 분석한다.
• 반지름 대칭성과 이동 평면 방법을 활용하여 확장 문제에서 최소 해의 단조성과 유계성을 증명한다.
• 확장 문제에 대해 최소 해의 가족 $u_\lambda$를 구성하고, 극한을 취하여 $\mathbb{R}^{n+1}_+$에서 유계, 반지름형, 안정 해 $v$를 얻는다.

실험 결과

연구 질문

• RQ1 분수계 Lane-Emden 방정식 $(-\Delta)^s u = |u|^{p-1}u$가 유한 모저스 지수 해 중에서 비자명한 해를 갖지 않도록 하기 위한 $p$와 $n$의 조건은 무엇인가?
• RQ2 조셉-룬드그렌 형식의 지수는 분수계로 어떻게 일반화되며, 감마 함수 조건은 안정성 결정에 어떤 역할을 하는가?
• RQ3 특이 해가 안정적일 경우 반지름형, 유계, 안정 해를 구성할 수 있는가? 이는 비존재 임계 조건의 최선성에 대해 무엇을 시사하는가?
• RQ4 고전적 리우빌 결과가 확장 방법을 통해 분수계 라플라스 연산자로 얼마나 널리 일반화될 수 있는가?

주요 결과

• 모든 $1 < p < p_S(n)$에 대해, 분수계 Lane-Emden 방정식의 유한 모저스 지수 해는 식별적으로 0이어야 한다.
• 만약 $p = p_S(n)$이라면, 유한 모저스 지수 해는 유한한 $\dot{H}^s$ 에너지를 가져야 하며, 추가로 안정적이라면 반드시 0이 되어야 한다.
• 만약 조건 $$p \frac{\Gamma(\frac{n}{2}-\frac{s}{p-1})\Gamma(s+\frac{s}{p-1})}{\Gamma(\frac{s}{p-1})\Gamma(\frac{n-2s}{2}-\frac{s}{p-1})} > \frac{\Gamma(\frac{n+2s}{4})^2}{\Gamma(\frac{n-2s}{4})^2}$$ 가 성립한다면, 유일한 해는 자명한 해이다.
• 이 조건이 실패할 경우, 반지름형, 유계, 미분 가능하고 안정된 해 $u > 0$가 존재하며, $u(r) \to 0$ as $r \to \infty$를 만족한다. 이는 기준의 최선성을 보여준다.
• 특이 해 $u_s(x) = A|x|^{-2s/(p-1)}$는 위의 감마 함수 부등식이 성립할 때에만 불안정하다.
• 확장 문제에서 스케일링된 최소 해의 극한은 분수계 방정식에 대해 유계, 반지름형, 안정 해 $v$를 생성하며, 안정 영역에서의 존재성을 확인한다.