[논문 리뷰] Sharp estimates for semi-stable radial solutions of semilinear elliptic equations

Salvador Villegas|ArXiv.org|2009. 06. 08.

Nonlinear Partial Differential Equations참고 문헌 9인용 수 4

한 줄 요약

이 논문은 단위 구에서 반경에 따라 정렬된 반선형 타원형 방정식의 반안정 해에 대해 날카운 점별 추정을 수립하며, 특히 딜리클레 경계 조건을 갖는 방정식 $-\Delta u = \lambda f(u)$의 극한 해에 대해 다룬다. $N \geq 10$일 때, 극한 해와 그 첫 세 개의 반경 방향 도함수는 원점 근처에서 최적의 점근적 행동을 보이며, 이전 추정에서 존재하던 $\sqrt{\left|\log|x|\right|}$ 인자들을 제거한다. 또한 이러한 추정의 날카움을 보여주기 위해 유계가 아닌 $H^1$ 해의 큰 가족을 구성한다.

ABSTRACT

This paper is devoted to the study of semi-stable radial solutions $u\in H^1(B_1)$ of $-Δu=g(u) {in} B_1\setminus \{0\}$, where $g\in C^1(R)$ is a general nonlinearity and $B_1$ is the unit ball of $R^N$. We establish sharp pointwise estimates for such solutions. As an application of these results, we obtain optimal pointwise estimates for the extremal solution and its derivatives (up to order three) of the semilinear elliptic equation $-Δu=λf(u)$, posed in $B_1$, with Dirichlet data $u|_{\partial B_1}=0$, and a continuous, positive, nondecreasing and convex function $f$ on $[0,\infty)$ such that $f(s)/s o\infty$ as $s o\infty$.

연구 동기 및 목표

• 단위 구에서 $B_1 \setminus \{0\}$ 내에서 $g \in C^1(\mathbb{R})$ 인 $-\Delta u = g(u)$의 반안정 반경 해에 대해 날카운 점별 추정을 수립하는 것.
• 비선형 함수 $f$가 비감소적이고 볼록적이며 $s \to \infty$일 때 $f(s)/s \to \infty$인 경우, 단위 구 내 방정식 $-\Delta u = \lambda f(u)$의 극한 해 $u^*$에 대한 기존 추정을 향상시키는 것.
• 이전 추정에서 $N \geq 10$일 때 $\sqrt{\left|\log|x|\right|}$ 인자를 제거할 수 있는지에 대한 열린 문제를 해결하는 것.
• 반안정적이며 반경에 따라 감소하는, 유계가 아닌 $H^1(B_1)$ 해의 큰 가족을 구성하여 유도된 추정의 날카움을 보여주는 것.

제안 방법

• 반선형 타원형 방정식의 반경 방정식을 분석함으로써 반경 해에 대한 점별 추정을 유도한다.
• 문제를 $\varphi(r)$와 그 도함수의 행동을 분석하는 데로 단순화하기 위해 $u_r = -r^{-N/2 + \sqrt{N-1} + 1} \varphi(r)$ 형태의 변환을 사용한다.
• 비교 논증과 점근적 분석을 적용하여 $r = 0$ 근처에서 $u^*$와 그 도함수의 성장을 제어하며, 특히 $N \geq 10$일 경우에 중점을 둔다.
• 기본 함수 $h$를 $C^2$ 함수로, $h(0) = 0$, $h' \geq 0$, $h'' \leq 0$ 를 만족하도록 설정하여, 주어진 점들에서 $u_{rrr}$의 행동을 갖는 해를 구성하는 편미분 프레임워크를 활용한다.
• 해의 추정이 날카로운지 입증하기 위해, $|u_{rrr}(r_n)| \geq M_n$ 이 되는 수열 $\{r_n\}$과 $\{M_n\}$을 구성함으로써, 모든 해에 대해 적분 가능한 상한 함수 $\psi(r)$ 가 존재하지 않음을 보여준다.
• 모든 컴acts된 지지집합을 갖는 $v$에 대해 $\int_{B_1} (|\nabla v|^2 - g'(u)v^2)\,dx \geq 0$ 를 만족하는 반안정 조건을 사용하여 해들이 반안정적임을 보장한다.

실험 결과

연구 질문

• RQ1 이전 추정에서 $N \geq 10$일 때 극한 해에 대해 $\sqrt{\left|\log|x|\right|}$ 인자를 제거할 수 있는가?
• RQ2 $N \geq 10$일 때 반경 방향의 극한 해 $u^*$와 그 첫 세 도함수의 최적 점별 감쇠율은 무엇인가?
• RQ3 해와 그 도함수의 점근적 행동이 날카로운지 확인할 수 있으며, 이는 유계가 아닌 $H^1$ 해의 명시적 구성으로 입증될 수 있는가?
• RQ4 $N \geq 10$일 때, $g, g' \geq 0$ 인 모든 반안정적이며 반경에 따라 감소하는 $H^1$ 해에 대해 $|u_{rrr}(r)| \leq C\psi(r)$ 를 만족하는 보편적인 상한 함수 $\psi(r)$ 가 존재할 수 있는가?
• RQ5 $N \geq 10$일 때 원점 근처에서 극한 해의 세 번째 반경 도함수의 정확한 폭발 비율은 무엇인가?

주요 결과

• 모든 $r \in [0,1]$ 에 대해 $N < 10$일 때 극한 해는 $u^*(r) \leq C(1 - r)$ 를 만족하며, 이는 경계에서 해가 유계이면서 허들러 연속임을 나타낸다.
• 모든 $r \in (0,1]$ 에 대해 $N = 10$일 때 극한 해는 $u^*(r) \leq C|\log r|$ 를 만족하며, 이는 최적의 로그 성장임을 확인한다.
• 모든 $r \in (0,1]$ 에 대해 $N > 10$일 때 극한 해는 $u^*(r) \leq C(r^{-N/2 + \sqrt{N-1} + 2} - 1)$ 를 만족하며, 지수 $-N/2 + \sqrt{N-1} + 2$ 를 갖는 거듭제곱형 폭발을 보여준다.
• $N \geq 10$일 때 첫 세 반경 도함수는 $|\partial_r^k u^*(r)| \leq C r^{-N/2 + \sqrt{N-1} + 2 - k}$ 를 만족하며, $C = C_N \min_{t \in [1/2,1]} |u_r^*(t)|$ 이다. 이는 최적의 감쇠율을 증명한다.
• $N \geq 10$일 때, 모든 이러한 해에 대해 $|u_{rrr}(r)| \leq C\psi(r)$ 를 만족하는 보편적인 $\psi(r)$ 가 존재하지 않으며, 이는 유도된 추정의 날카움을 입증한다.
• $N \geq 10$일 때 반안정적이며 반경에 따라 감소하고 유계가 아닌 $H^1(B_1)$ 해의 큰 가족이 존재하며, 반경 프로파일의 편미분을 통해 구성되며, 이는 추정의 최적성과 일치함을 보여준다.