[논문 리뷰] Nonexistence of positive solutions for Henon equation

Jorge García-Melián|arXiv (Cornell University)|2017. 03. 13.

Nonlinear Partial Differential Equations참고 문헌 18인용 수 7

한 줄 요약

이 논문은 $N \geq 3$, $\alpha > -2$, 및 $1 < p < \frac{N+2\alpha+2}{N-2}$ 일 때 $\mathbb{R}^N$ 내에서 Hénon 방정식 $-\Delta u = |x|^\alpha u^p$ 의 양해가 존재하지 않음을 증명하며 오랫동안 남아있던 추측을 해결한다. 또한 $-2 < \alpha < 0$ 인 임계 케이스 $p = \frac{N+2\alpha+2}{N-2}$ 에서 모든 양해를 분류하여, 그 형태가 $u(x) = C \left( \frac{\mu}{\mu^2 + |x|^{2+\alpha}} \right)^{\frac{N-2}{2+\alpha}}$ 임을 보인다. 증명은 이동 평면 방법, 안정성 분석, 및 제1 고유값의 변분 특성에 기반한다.

ABSTRACT

We consider the semilinear elliptic equation $$ -Δu = |x|^αu^p \quad \hbox{in } \mathbb{R}^N, $$ where $N\ge 3$, $α&gt;-2$ and $p&gt;1$. We show that there are no positive solutions provided that the exponent $p$ additionally verifies $$ 1

연구 동기 및 목표

• Hénon 방정식의 하위임계 범위 $1 < p < \frac{N+2\alpha+2}{N-2}$ 에서의 양해가 존재하지 않음을 보여주는 추측 A를 완전한 일반성으로 해결하기 위해.
• 모든 양해를 $p = \frac{N+2\alpha+2}{N-2}$ 이고 $-2 < \alpha < 0$ 인 경우에 특성화하기 위해.
• 이전에 별개로 존재하던 $\alpha < 0$ 과 $\alpha > 0$ 의 결과들을 하나의 일반적 증명 틀로 통합하기 위해.
• 이전 결과들이 원형 대칭성이나 유계성 조건을 가정하지 않은 경우에도 양해가 존재하지 않음을 입증하기 위해.

제안 방법

• 켈빈 변환을 통해 쌍곡 기하에서의 이동 평면 방법을 적용하여 해의 대칭성과 단조성을 분석하기 위해.
• 선형화된 연산자 $-\Delta - p|x|^\alpha u^{p-1}$ 의 제1 고유값을 통한 안정성 조건을 사용하여 존재하지 않음을 도출하기 위해.
• 제1 고유값 $\lambda_1^\Omega(-p|x|^\alpha u^{p-1}) > 0$ 의 변분 특성을 이용하여 $u$ 의 안정성을 확립하기 위해.
• $|x|^\beta u(x)$ 의 행동 분석을 통해 $\beta = \frac{2+\alpha}{p-1}$ 이 되도록 하여 단조성과 유계성 성질을 도출하기 위해.
• 강한 최대원리와 폭발 분석을 사용하여 대칭 평면에서 도함수가 0 또는 음수인 해를 배제하기 위해.
• 문제를 원통좌표계로 변환하여 원형 대칭성을 분석하고 $t$-변수에서 이동 평면 방법을 적용하기 위해.

실험 결과

연구 질문

• RQ1 Hénon 방정식 $-\Delta u = |x|^\alpha u^p$ 는 $1 < p < \frac{N+2\alpha+2}{N-2}$ 이고 $\alpha > -2$ 일 때 $\mathbb{R}^N$ 내에서 어떤 양해도 가지는가?
• RQ2 임계 케이스 $p = \frac{N+2\alpha+2}{N-2}$ 이고 $-2 < \alpha < 0$ 일 때, Hénon 방정식의 모든 양해는 원형 대칭이며 $u(x) = C \left( \frac{\mu}{\mu^2 + |x|^{2+\alpha}} \right)^{\frac{N-2}{2+\alpha}}$ 의 형태인가?
• RQ3 양해가 존재하지 않는 결과는 원형 대칭성의 가정을 초월하거나 유계성 조건을 초월하여 확장될 수 있는가?
• RQ4 안정성 조건이 하위임계 영역에서의 양해를 배제하는 데 어떤 역할을 하는가?
• RQ5 $|x|^\beta u(x)$ 의 행동이 $\beta = \frac{2+\alpha}{p-1}$ 일 때 원점 및 무한대 근처의 해의 구조를 어떻게 설명하는가?

주요 결과

• Hénon 방정식 $-\Delta u = |x|^\alpha u^p$ 는 $N \geq 3$, $\alpha > -2$, 및 $1 < p < \frac{N+2\alpha+2}{N-2}$ 일 때 $\mathbb{R}^N$ 내에서 어떤 양해도 존재하지 않으며, 이는 추측 A 가 완전한 일반성에서 확인됨을 의미한다.
• $-2 < \alpha < 0$ 이고 $p = \frac{N+2\alpha+2}{N-2}$ 일 때, 모든 양해는 원형 대칭이며 다음과 같이 명시적으로 주어진다: $u(x) = \left( \frac{4}{(\alpha+2)^2} \right)^{-\frac{N-2}{4}} (N(N-2))^{\frac{N-2}{4}} \left( \frac{\mu}{\mu^2 + |x|^{2+\alpha}} \right)^{\frac{N-2}{2+\alpha}}$ ($\mu > 0$ 이다).
• 하위임계 조건 하에서 $u$ 는 $\mathbb{R}^N$ 내에서 안정적이며, 모든 유계 도메인 $\Omega$ 에 대해 $\lambda_1^\Omega(-p|x|^\alpha u^{p-1}) > 0$ 이다.
• $\beta = \frac{2+\alpha}{p-1}$ 일 때 함수 $|x|^\beta u(x)$ 는 $|x|$ 에 대해 비감소함을 의미하며, 이는 단조성 성질을 제공하고 이동 평면 방법에 기여한다.
• 변환된 원통좌표계에서 적용된 이동 평면 방법은 $u$ 가 임의의 평면 $\{x \cdot \nu = \lambda_0\}$ 에 대해 대칭이어야 함을 보여주며, 이는 $-2 < \alpha < 0$ 일 때 원형 대칭을 이끌어낸다.
• 임계 케이스에서 $-2 < \alpha < 0$ 이면 $\int_{\mathbb{R}^N} |x|^\alpha u(x)^{p+1} dx < \infty$ 이다. 이는 알려진 결과들과 결합하여 $u$ 의 명시적 형태를 암시한다.