[논문 리뷰] Blow-up of solutions of critical elliptic equations in three dimensions

Rupert L. Frank, Tobias König외 1명|arXiv (Cornell University)|2021. 02. 21.

Nonlinear Partial Differential Equations참고 문헌 27인용 수 2

한 줄 요약

이 논문은 임계 잠재력 $a$를 가진 3차원에서 임계 타원 방정식의 양해에 대해 정확한 폭발 속도와 농축 지점 위치를 확립하며, Brézis와 Peletier의 추측을 확인한다. 비퇴화 조건 하에서, $-\Delta u + a u = 3u^{5-\varepsilon}$ 및 $-\Delta u + (a + \varepsilon V)u = 3u^5$의 해가 정규 부분의 그린 함수가 0이 되는 점에서 정확히 농축되며, 폭발 속도는 $\varepsilon^{-1/2}$이고 농축은 $\varphi_a(x) = H_a(x,x)$의 영점에서 발생한다. 이는 $-\Delta + a$의 정규 부분 그린 함수의 대각선이다.

ABSTRACT

We describe the asymptotic behavior of positive solutions $u_\epsilon$ of the equation $-\Delta u + au = 3\,u^{5-\epsilon}$ in $\Omega\subset\mathbb{R}^3$ with a homogeneous Dirichlet boundary condition. The function $a$ is assumed to be critical in the sense of Hebey and Vaugon and the functions $u_\epsilon$ are assumed to be an optimizing sequence for the Sobolev inequality. Under a natural nondegeneracy assumption we derive the exact rate of the blow-up and the location of the concentration point, thereby proving a conjecture of Br\'ezis and Peletier (1989). Similar results are also obtained for solutions of the equation $-\Delta u + (a+\epsilon V) u = 3\,u^5$ in $\Omega$.

연구 동기 및 목표

• 1989년 Brézis와 Peletier의 제3의 추측을 해결한다: 비영인 임계 잠재력 $a$를 가진 3차원에서 임계 타원 방정식의 해의 폭발 행동에 대해.
• 임계 잠재력 $a$가 존재하는 상황에서 소볼레프 부등식의 최소화 수열의 정확한 점근적 행동—특히 폭발 속도와 농축 지점—을 확립한다.
• 비선형 항이 $-\Delta u + (a + \varepsilon V)u = 3u^5$로 변화된 경우에도 동일한 비퇴화 조건 하에서 유사한 폭발 결과를 증명한다.
• 농축 집합을 $\varphi_a(x) = H_a(x,x)$의 영점, 즉 $-\Delta + a$에 대응하는 그린 함수의 정규 부분의 대각선으로 특성화한다.
• 비퇴화 조건 하에서 정확한 폭발 속도 $\varepsilon^{-1/2}$와 임계점에서의 농축 위치를 증명하며, 점근 전개와 타원형 정규성 이론을 사용한다.

제안 방법

• 해가 소볼레프 부등식의 최소화 수열로 가정될 때, $\varepsilon \to 0$일 때의 해 행동을 분석하기 위해 그린 함수와 그 정규 부분 $H_a(x,y)$의 점근 전개를 사용한다. 특히 대각선 $x=y$ 근처에서의 행동을 중점적으로 다룬다.
• 일치하는 점근 전개 방법과 해 $u_{\varepsilon}$에 대한 정밀한 점별 추정을 적용한다. 이는 최소화 수열로 가정된다.
• 폭발 프로파일의 모델로 야빈-탈레니 펄스 해인 $U_{x,\lambda}(y) = \lambda^{1/2}/(1 + \lambda^2|y-x|^2)^{1/2}$의 명시적 형태를 활용한다.
• 임계성 조건인 $S(a) = \inf_{z \in H^1_0(\Omega)} \frac{\int_\Omega (|\nabla z|^2 + a z^2)}{\left(\int_\Omega z^6\right)^{1/3}}$의 최소값이 소볼레프 상수 $S$와 일치함을 이용한다.
• 타원형 정규성 이론을 활용해 $\varphi_a(x) = H_a(x,x)$의 $C^2$-연속성을 증명하며, 이는 농축 집합을 특성화하는 데 필수적이다.
• 펄스 해를 중심으로 한 편미분 분석을 수행하며, $u_\varepsilon^5$, $u_\varepsilon^4 B_\lambda u_\varepsilon$ 등의 적분에서의 주요 항을 $\lambda^{-1/2}$의 거듭제곱 전개를 정밀하게 계산한다.

실험 결과

연구 질문

• RQ1 유계 영역 $\Omega \subset \mathbb{R}^3$에서 $-\Delta u + a u = 3u^{5-\varepsilon}$의 양해 $u_\varepsilon$가 소볼레프 부등식의 최소화 수열로 가정될 때, $\varepsilon \to 0$일 때의 정확한 폭발 속도는 무엇인가? 또한 농축 지점은 어디에 발생하는가? 이는 정규 부분 그린 함수의 영점인가?
• RQ2 정규 부분 그린 함수 $H_a(x,x)$의 영점에서 농축이 정확히 발생하는가?
• RQ3 방정정 $-\Delta u + (a + \varepsilon V)u = 3u^5$에서 임계 잠재력 $a$에 더해 $\varepsilon V$의 편미분 항이 존재할 경우, $a$만 존재하는 경우와 비교해 폭발 행동에 어떤 영향을 미치는가?
• RQ4 Brézis와 Peletier의 3차원에서 임계 $a$에 대해 폭발 프로파일과 농축 위치에 대한 추측을 엄밀하게 확인할 수 있는가?
• RQ5 함수 $\varphi_a$의 영점 집합에서 비퇴화 조건(특히 $\nabla \varphi_a(x_0) \neq 0$ 및 $\text{Hess}\, \varphi_a(x_0)$가 비퇴화)이 폭발 프로파일의 유일성과 정확성 보장에 어떤 역할을 하는가?

주요 결과

• 방정정 $-\Delta u + a u = 3u^{5-\varepsilon}$의 해 $u_\varepsilon$의 폭발 속도는 정확히 $\varepsilon^{-1/2}$이며, 농축 지점은 $\varphi_a(x_0) = 0$을 만족하는 점 $x_0 \in \Omega$에 위치한다.
• 해는 정확히 함수 $\varphi_a(x) = H_a(x,x)$의 영점 집합 $N_a = \{x \in \Omega : \varphi_a(x) = 0\}$에 농축된다. 이는 $-\Delta + a$의 정규 부분 그린 함수의 대각선이다.
• 편미분된 방정정 $-\Delta u + (a + \varepsilon V)u = 3u^5$에 대해서도 폭발 속도는 $\varepsilon^{-1/2}$ 유지되며, 농축은 동일한 영점 집합 $N_a$에서 발생한다. 이는 $a$가 임계이고 비퇴화 조건이 만족될 경우에 한한다.
• $\varphi_a(x)$는 $\Omega$에서 $C^2$-연속이며, 그 영점 집합 $N_a$는 정규 부분 그린 함수가 0이 되는 정확한 점들로 이루어져 있다.
• 농축 지점 근처에서 해 $u_\varepsilon$의 주요 점근 전개는 $\lambda \sim \varepsilon^{-1/2}$를 갖는 야빈-탈레니 펄스 $U_{x_0,\lambda}$에 의해 지배되며, 농축 프로파일은 $x_0$에서 $\varphi_a$의 헤시안에 의해 결정된다.
• 비퇴화 조건—특히 영점 $x_0$에서 $\nabla \varphi_a(x_0) \neq 0$ 이며 $\text{Hess}\, \varphi_a(x_0)$가 비퇴화—은 폭발이 고립되어 있고 속도가 정확함을 보장한다.