[논문 리뷰] Large solutions to elliptic equations involving fractional Laplacian

Huyuan chen, Patricio Felmer외 1명|arXiv (Cornell University)|2013. 11. 23.

Nonlinear Partial Differential Equations참고 문헌 28인용 수 11

한 줄 요약

이 논문은 경계 근처에서 $f$의 성장 조건이 정확히 규정된 바에 따라, 외부 데이터가 0이고 소스 항 $f$가 존재하는 분수형 타원형 방정식에 대해 분수라플라시안 $(-Δ)^\alpha$를 포함하는 큰 해의 존재성과 유일성을 확립한다. 주요 기여는 $p$, $\alpha$, 그리고 $f$의 발산 속도에 따라 해의 존재성, 비존재성, 다중성을 완전히 분류한 것으로, 고전적 켈러-오스어머 이론을 비국소 연산자로 확장한다.

ABSTRACT

In this article, we study the boudary blow-up solutions for semilinear fractional equations with power absorption. Our main purpose is to obtain the existence, nonuniqueness and behavior asymptotic near the boundary.

연구 동기 및 목표

• 분수라플라시안 $(-\Delta)^\alpha$를 포함하는 비국소 설정으로 고전적 켈러-오스어머 이론을 큰 해의 경계 발산 해에 대해 확장한다.
• 외부 데이터 $g \equiv 0$이고 소스 항 $f$가 비영일 때, $f$의 경계 근처에서의 발산 속도가 해의 존재성에 미치는 영향을 조사한다.
• 비선형성 지수 $p$, 분수 차수 $\alpha$, 그리고 $f$의 적분 조건 간의 상호작용에 따라 큰 해의 존재성, 비존재성, 다중성을 분류한다.
• 특히 거리 함수 $d(x) = \text{dist}(x, \partial\Omega)$를 통해 경계 근처에서 해의 점근적 행동을 기술한다. 이는 $p$와 $\alpha$의 다양한 범위에 따라 달라진다.
• 큰 해의 존재 조건으로서 $f$에 대한 날카운 조건을 수립한다. 특히 $f_+ d^{2\alpha p/(p-1)} \to \text{const}$ 및 $f_- d^{2\alpha p/(p-1)} \to 0$ 이며, $g \equiv 0$일 때 $f$가 발산을 이끄는 역할을 하는지를 분석한다.

제안 방법

• 경계 근처에서의 발산 속도와 관련된 매개수 $\tau$를 가진 함수 $U_{\mu,t}(x) = t \cdot d(x)^\tau \cdot \phi_\mu(x)$의 가족을 이용해 하부 및 상부 해를 구성한다. 여기서 $\phi_\mu$는 캐프팅 함수이다.
• 분수라플라시안의 점별 표현식 $(-\Delta)^\alpha u(x) = -\frac{1}{2} \int_{\mathbb{R}^N} \frac{\delta(u,x,y)}{|y|^{N+2\alpha}} dy$를 사용하여 테스트 함수에 대한 연산자 값을 추정한다.
• 경계 근처($A_\delta$)와 그 외부 영역에서 $(-\Delta)^\alpha U_{\mu,t} + U_{\mu,t}^p - f$의 행동을 제어하기 위해, $(-\Delta)^\alpha$의 점근적 전개 및 정규성 추정을 적용한다.
• 하부 및 상부 해 방법을 통한 비교 원리를 적용하여, $x \to \partial\Omega$일 때 $u \to \infty$를 만족하는 해의 존재성을 증명한다.
• 매개수 $\tau$를 통해 후보 해의 동차성 조절을 통해 $p$, $\alpha$, $f$의 발산 속도에 따라 정의된 다양한 매개수 영역에서 해의 행동을 분석한다.
• 특히 (H1), (H2), (H3)의 가정을 통해 $f$에 대한 날카운 조건을 수립한다. 특히 $f_+$에 대해 $d(x)^{2\alpha p/(p-1)}$의 감쇠 속도와 $f_-$에 대해 $d(x)^{2\alpha}$의 감쇠 속도를 고려하여 해의 존재성 또는 비존재성을 보장한다.

실험 결과

연구 질문

• RQ1 소스 항 $f$와 매개수 $p$, $\alpha$에 대해 어떤 조건이 성립할 때, 영역 $\Omega$ 내에서 $(-\Delta)^\alpha u + |u|^{p-1}u = f$를 만족하고, $u = 0$ 이다. $\Omega^c$에서, $x \to \partial\Omega$일 때 $u \to \infty$인 큰 해가 존재하는가?
• RQ2 분수라플라시안의 비국소성은 고전적 국소 경우($\alpha = 1$)와 비교해 큰 해의 존재성 및 유일성의 구조에 어떤 영향을 미치는가?
• RQ3 경계 근처에서 해의 정확한 발산 속도는 무엇이며, 이는 $p$, $\alpha$, 그리고 $f$의 행동에 어떻게 의존하는가?
• RQ4 외부 데이터 $g \equiv 0$일 때 큰 해가 존재할 수 있는가? 만약 가능하면, $f$에 대한 어떤 조건이 필요한가?
• RQ5 크리티컬 지수 $p_c(\alpha)$는 무엇인가? 이는 $p < p_c$일 때는 큰 해가 존재하지 않으며, $p > p_c$일 때는 존재하는 것으로 간주되며, 이 크리티컬 지수 $p_c(\alpha)$는 $\alpha$에 따라 어떻게 달라지는가?

주요 결과

• 만일 $1 + 2\alpha < p < 1 - \frac{2\alpha}{\tau_0(\alpha)}$ 이고 $\tau_0(\alpha) \in (-1, 0)$ 이면, (H1) 및 (H2) 조건 하에 방정식 $(-\Delta)^\alpha u + |u|^{p-1}u = f$ 에 대해 적어도 하나의 큰 해가 존재한다.
• 만일 $x \to \partial\Omega$일 때 $f_+ d^{2\alpha p/(p-1)} \to \text{const}$ 이고 $f_- d^{2\alpha p/(p-1)} \to 0$ 이면, 해는 $\liminf_{x \to \partial\Omega} u(x) d(x)^{-\beta} > 0$ 과 $\limsup_{x \to \partial\Omega} u(x) d(x)^{2\alpha/(p-1)} < \infty$ 를 만족한다. 여기서 $\beta \in (-\frac{2\alpha}{p-1}, 0)$ 이다.
• 만일 $p = 1 - \frac{2\alpha}{\tau_0(\alpha)}$ 이면, 동일한 감쇠 조건을 만족하는 $f$에 대해 큰 해가 존재하며, 이 경우 해는 $\tau_0(\alpha)$에 의해 결정되는 특정한 발산 속도를 보인다.
• 만일 $p \geq 1 - \frac{2\alpha}{\tau_0(\alpha)}$ 이고 $f$가 약한 소스를 가지며, $|f(x)| \lesssim d(x)^\gamma$ 이고 $\gamma \in [-2\alpha - \frac{2\alpha}{p-1}, -2\alpha)$ 이면, 적절한 $\gamma$ 및 $\tau$ 조건 하에 큰 해가 존재한다.
• 강한 소스 $|f(x)| \lesssim d(x)^\gamma$ 이고 $\gamma < -2\alpha$ 이면, $\gamma/p > -2\alpha/(p-1)$ 이면 큰 해가 존재하며, 이 경우 해의 구조는 $\gamma/p$ 와 $-2\alpha/(p-1)$ 의 상대적 크기에 따라 달라진다.
• 만일 $f$가 경계 근처에서 너무 빠르게 증가하면, 즉 $\limsup_{x \to \partial\Omega} |f(x)| d(x)^{2\alpha} = \infty$ 이면 조건 (H2*) 하에 큰 해가 존재하지 않으며, 이는 소스가 너무 특이하면 발산을 이끌 수 없다는 것을 시사한다.