[논문 리뷰] Sharp criteria of Liouville type for some nonlinear systems

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

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

한 줄 요약

이 논문은 비선형 히어드-리틀우드-소볼레프(HLS) 유형, 레인-에이멘 방정식, 월프 유형 적분 방정식, 그리고 γ-라플라스 방정식에 대한 양의 해가 존재하지 않는 데 필요한 정확한 조건을 설정한다. 새로운 반복 체계, 새로운 射撃 방법, 적분/미분 형태의 포호자에브 항등식을 이용하여 존재성 및 비존재성에 대한 필요 및 충분 조건을 도출하였으며, 2k차 시스템의 임계 지수는 $\frac{n+2k}{n-2k}$이며, 연립 시스템의 경우 $\frac{1}{p+1} + \frac{1}{q+1} \leq \frac{n-2k}{n}$로 결정된다.

ABSTRACT

In this paper, we establish the sharp criteria for the nonexistence of positive solutions to the Hardy-Littlewood-Sobolev (HLS) type system of nonlinear equations and the corresponding nonlinear differential systems of Lane-Emden type equations. These nonexistence results, known as Liouville type theorems, are fundamental in PDE theory and applications. A special iteration scheme, a new shooting method and some Pohozaev type identities in integral form as well as in differential form are created. Combining these new techniques with some observations and some critical asymptotic analysis, we establish the sharp criteria of Liouville type for our systems of nonlinear equations. Similar results are also derived for the system of Wolff type integral equations and the system of $γ$-Laplace equations. A dichotomy description in terms of existence and nonexistence for solutions with finite energy is also obtained.

연구 동기 및 목표

• 비선형 HLS 유형 및 레인-에이멘 유형 방정식의 시스템에 대해 양의 해가 존재하지 않는 데 필요한 정확한 필요 및 충분 조건을 설정하는 것.
• $k=1$ 이고 $n \geq 5$ 인 경우 레인-에이멘 시스템에 대한 존재/비존재 문제에 오랫동안 미해결이었던 문제를 해결하고 기존 결과를 확장하는 것.
• 비국소적이고 고차수 비선형 시스템을 다루기 위해 특별히 설계된 새로운 분석 도구—구체적으로는 새로운 반복 체계와 새로운 射撃 방법—을 개발하는 것.
• 동일한 프레임워크를 사용하여 월프 유형 적분 방정식과 $\gamma$-라플라스 시스템의 해의 분류를 확장하는 것.
• 유한 에너지 해를 기반으로 한 이원성 기술을 제공하여 존재성과 비존재성을 임계 지수에 의해 구분하는 것.

제안 방법

• 분수라플라스 연산자와 고차수 연산자를 포함하는 비선형 시스템의 해의 점근적 행동을 분석하기 위해 새로운 반복 체계를 도입하는 것.
• 임계 성장 특성을 갖는 시스템에 특화된 새로운 射撃 방법을 개발하여 해의 감쇠 및 폭발 프로파일을 제어하는 것.
• 계산의 대칭성과 에너지 제약 조건을 활용하기 위해 포호자에브 유형 항등식의 적분형과 미분형을 모두 도출하는 것.
• 비판적 점근적 분석을 적용하여 무한대에서의 해 행동과 적분 가능성 및 감쇠 속도 사이의 연결 고리를 설정하는 것.
• 적분 형태의 이동 평면 방법을 사용하여 적분 가능성 조건 하에 해의 원형 대칭성과 단조성 확립하는 것.
• 이러한 기법들을 별도의 영역에서의 경계값 분석과 결합하여 에너지 유형 항등식을 통한 모순 기반 비존재 증명을 도출하는 것.

실험 결과

연구 질문

• RQ1 다음과 같은 $2k$차 시스템인 $(-\Delta)^k u = v^q$, $(-\Delta)^k v = u^p$ 가 $\mathbb{R}^n$ 에서 양의 해가 존재하지 않기 위한 지수 $p$, $q$, $k$ 에 대한 필요 및 충분 조건은 무엇인가요?
• RQ2 임계 지수 $\frac{n+2k}{n-2k}$ 와 $\frac{1}{p+1} + \frac{1}{q+1} = \frac{n-2k}{n}$ 가 이러한 시스템에서 존재성과 비존재성의 임계값을 어떻게 결정하는가?
• RQ3 기존의 레인-에이멘 방정식에서의 날카로운 비존재 결과를 HLS 및 월프 적분 유형의 더 일반적인 시스템으로 확장할 수 있는가?
• RQ4 적분형과 미분형의 새로운 포호자에브 유형 항등식이 비국소적이고 고차수 시스템에 대한 리우빌 유형 정리 증명에서 수행하는 역할은 무엇인가요?
• RQ5 유한 에너지 해는 어떻게 행동하며, 이러한 클래스에서 존재성과 비존재성 사이의 이원성은 어떻게 나타나나요?

주요 결과

• $\mathbb{R}^n$ 에서의 $2k$차 시스템 $(-\Delta)^k u = v^q$, $(-\Delta)^k v = u^p$ 에 대해, 양의 해 쌍이 존재하는 것은 $\frac{1}{p+1} + \frac{1}{q+1} \leq \frac{n-2k}{n}$ 인 경우에 국한되며, 이때 $k \in [1, \frac{n}{2})$ 는 정수이다.
• 단일 방정식 $(-\Delta)^k u = u^p$ 에서 임계 지수 $\frac{n+2k}{n-2k}$ 는 날카로운 것으로 밝혀졌으며, 이 경우 해가 존재하는 것은 $p \geq \frac{n+2k}{n-2k}$ 인 경우에 국한된다.
• $k=1$ 이고 $n \leq 4$ 인 경우, 시스템이 양의 해를 갖는 것은 $\frac{1}{p+1} + \frac{1}{q+1} \leq \frac{n-2}{n}$ 인 경우에 국한되며, 이는 저차원에서의 레인-에이멘 추측을 확인한다.
• 저자들은 별도의 별다른 영역에서의 나비에 경계값 문제에 대해, 에너지 항등식에서 유도된 모순을 통해 $\frac{1}{p+1} + \frac{1}{q+1} \leq \frac{n-2k}{n}$ 인 경우 양의 원형 해가 존재하지 않음을 증명한다.
• 이원성이 확립되었으며, 유한 에너지 해가 존재하는 것은 $\frac{1}{p+1} + \frac{1}{q+1} \leq \frac{n-2k}{n}$ 조건이 성립할 때에만 가능하며, 이는 완전한 분류를 제공한다.
• 결과는 월프 유형 적분 방정식과 $\gamma$-라플라스 시스템으로까지 확장되었으며, 존재성과 비존재성에 대해 동일한 임계 지수 조건이 적용됨을 보였다.