[논문 리뷰] Further results on Liouville type theorems for some conformally invariant fully nonlinear equations

Aobing Li, Yanyan Li|ArXiv.org|2003. 01. 22.

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

한 줄 요약

이 논문은 $ℝ^n$ 위에서 순수 비선형 타입의 등각 불변 방정식에 대해 리우빌 정리를 확립하며, 양의 초조화 함수 해는 상수이거나 원형 포워링 해임을 증명한다. 증명은 이동 구의 방법, 정교화된 최대원리 논증 및 등각 불변성을 사용하며, 이전 결과를 지수 $p \leq \frac{n+2}{n-2}$ 전 범위로 확장한다. $p = \frac{n+2}{n-2}$일 경우 해의 정확한 분류를 수행하고, $p < \frac{n+2}{n-2}$일 경우 해가 존재하지 않음을 보인다.

ABSTRACT

We present some further results on Liouville type theorems for some conformally invariant fully nonlinear equations.

연구 동기 및 목표

• 모르비우스 변환에 대해 불변인 전연성 비선형 타입 방정식에 대해 날카로운 리우빌 정리 정립.
• $\mathbb{R}^n$ 상에서 $F(A^u) = u^{p - \frac{n+2}{n-2}}$의 모든 양의 $C^2$ 초조화 함수 해를 $p \leq \frac{n+2}{n-2}$ 범위에서 분류.
• 기존의 지다스-스프루크, 오바타 및 다른 연구자들의 결과를 통합하고 확장하며, $p = \frac{n+2}{n-2}$의 경우와 새로운 경우인 $p < \frac{n+2}{n-2}$를 포함.
• 비상수 해는 $p = \frac{n+2}{n-2}$일 때만 존재하며, 정확히 포워링 해임을 증명.
• 반드시 $p < \frac{n+2}{n-2}$일 경우 비상수 양의 초조화 함수 해가 존재하지 않음을 정교화된 최대원리 기법을 통해 보임.

제안 방법

• 해가 $\mathbb{R}^n$의 점들을 중심으로 한 구의 반사에 대해 행동하는 방식을 분석하기 위해 이동 구의 방법을 사용하며, 방정식의 등각 불변성을 활용.
• 해의 고립된 특이점 근처에서의 행동을 제어하기 위해 최대원리의 정교화된 형태(보조정리 1)를 적용.
• 해를 반사하고 원래 해와 비교하기 위해 변환 $u_{x,\lambda}(y) = \left(\frac{\lambda}{|y-x|}\right)^{n-2} u\left(x + \frac{\lambda^2(y-x)}{|y-x|^2}\right)$를 사용.
• $\alpha = \liminf_{|x|\to\infty} |x|^{n-2}u(x)$를 통해 $u$의 무한대에서의 점근적 행동을 분석하며, $\alpha = \infty$와 $0 < \alpha < \infty$의 경우를 구분.
• 강한 최대원리와 호프 보조정리를 $u - u_{x,\lambda}$의 차이에 적용하여, 이동 구 절차가 $u$가 상수이거나 원형일 경우를 제외하고는 멈출 수 없다는 것을 보임.
• 변환 $w^{(x)} = (u_{\phi^{(x)}})_{\psi}$를 사용해 문제를 원점에서 정규점이 있는 새로운 함수로 매핑함으로써, 국소적 추정치를 사용할 수 있도록 함.

실험 결과

연구 질문

• RQ1 지수 $p \leq \frac{n+2}{n-2}$에서 $\mathbb{R}^n$ 상에서 $F(A^u) = u^{p - \frac{n+2}{n-2}}$의 양의 초조화 함수 해가 존재하는가?
• RQ2 모든 이러한 해는 상수이거나 포워링 형태 $u(x) = \left(\frac{a}{1 + b^2|x - \bar{x}|^2}\right)^{\frac{n-2}{2}}$인가?
• RQ3 만약 $p < \frac{n+2}{n-2}$일 경우 어떻게 되는가? 등각 불변성이 없더라도 여전히 분류가 가능한가?
• RQ4 등각 불변이 아니지만 반사에 대해 유리한 부등식을 만족하는 방정식에 대해 이동 구의 방법을 어떻게 응용할 수 있는가?
• RQ5 $F$와 $U$에 어떤 조건이 성립할 경우 유일한 비상수 해가 $p = \frac{n+2}{n-2}$일 때만 존재하는가?

주요 결과

• $p = \frac{n+2}{n-2}$일 경우, 모든 양의 초조화 함수 해는 상수이거나 원형 포워링 해 $u(x) = \left(\frac{a}{1 + b^2|x - \bar{x}|^2}\right)^{\frac{n-2}{2}}$의 형태이며, $2b^2a^{-2}I \in U$이고 $F(2b^2a^{-2}I) = 1$를 만족할 때 성립한다.
• $p < \frac{n+2}{n-2}$일 경우, 비상수 양의 초조화 함수 해는 존재하지 않으며, 유일한 해는 상수이다.
• 만약 $\alpha = \infty$이면 이동 구의 방법을 무한히 계속할 수 있으며, 이는 $u$가 반드시 상수여야 한다는 결론을 이끌어낸다.
• $\alpha = \liminf_{|x|\to\infty} |x|^{n-2}u(x)$는 유한하며, 모든 $x \in \mathbb{R}^n$에서 $\bar{\lambda}(x)^{n-2}u(x)$와 같으며, 이는 해의 분류에 핵심적인 역할을 한다.
• $w^{(x)}(0) = \alpha$ for all $x$를 사용하여 해가 어떤 점 $\bar{x}$를 중심으로 원형 대칭이어야 한다는 것을 보이며, 이는 포워링 형태로 이어진다.
• 증명은 포워링 해의 경우 $F(A^u)$는 상수이지만, $p < \frac{n+2}{n-2}$일 경우 $u^{p - \frac{n+2}{n-2}}$는 상수가 아니므로, $u$가 상수일 때만 모순이 발생하지 않음을 근거로 한다.