[논문 리뷰] A Liouville Theorem for the Fractional Laplacian

Ran Zhuo, Wenxiong Chen외 2명|arXiv (Cornell University)|2014. 01. 29.

Nonlinear Partial Differential Equations참고 문헌 12인용 수 38

한 줄 요약

이 논문은 비국소 연산자인 분수 라플라스 연산자에 대해 리우빌 정리를 확장하여, $×^n$ ($n \geq 2$) 내에서 비음수인 $\alpha$-조화 함수는 반드시 상수여야 한다고 증명한다. 이는 고전적인 리우빌 정리를 비국소 연산자로 확장한 것으로, 반선형 편미분방정식과 그 적분형 사이의 등가성을 증명함으로써, 강한 정규성 조건을 요구하지 않고도 해에 대한 더 강력한 정성적 결과를 도출할 수 있게 한다.

ABSTRACT

We extend the classical Liouville Theorem from Laplacian to the fractional Laplacian, that is, we prove Every $α$-harmonic function bounded either above or below in all of $R^n$ must be constant.

연구 동기 및 목표

• 조화 함수에 대한 고전적인 리우빌 정리를 비국소 연산자인 분수 라플라스 연산자로 확장하기 위해.
• 모든 $\alpha$-조화 함수 중에서 $×^n$ ($n \geq 2$) 내에서 위 또는 아래로 유계인 함수는 반드시 상수여야 한다는 것을 증명하기 위해.
• 반선형 편미분방정식 $(-Δ)^{\alpha/2}u = u^p$ 와 그 적분형 $u(x) = \int_{\u00d7^n} \frac{c_n}{|x-y|^{n-\alpha}} u^p(y) dy$ 사이의 등가성을 수립하기 위해.
• 이 등가성 결과를 바탕으로, 이전 연구들보다 더 약한 적분가능성 조건 하에서도 분수 레인-에임턴 방정식의 해에 대한 더 강력한 정성적 성질을 도출하기 위해.

제안 방법

• 외부 영역 $B_k$ 에서의 포아송 커널을 이용해 $u$ 를 잘라내고 확장한 $u_k(x)$ 를 정의하여, $u_k$ 가 $B_k$ 외부에서 $\alpha$-조화 함수임을 보장하고, $k \to \infty$ 일 때 $u$ 를 근사하도록 한다.
• 분수 라플라스 연산자의 약한 형태를 사용하고, 평균이 0인 미분 가능하고 컴actsupport를 가진 함수 $\psi$ 를 시험 함수로 선택하여 적분 표현에서 상쇄 효과를 유도한다.
• 최대원리 적용을 위해 $w_R = u - v_R$ 를 정의하고, $B_R$ 내에서의 그린 함수 해인 $v_R$ 를 고려하여 $w_R \geq 0$ 이고, 따라서 $u \geq v_R$ 임을 보인다.
• $R \to \infty$ 의 극한을 취하여 $u(x) \geq \int_{\u00d7^n} \frac{c_n}{|x-y|^{n-\alpha}} u^p(y) dy$ 를 유도하고, 모순에 기반한 방법으로 등호가 성립함을 보인다.
• 리우빌 정리를 활용하여 $u$ 와 적분 연산자 간의 차이가 상수임을 결론 내리고, 발산을 피하기 위해 이 상수가 0이어야 함을 보인다.
• 등가성 결과를 [CLO] 및 [CLO1] 에서 알려진 적분방정식의 해 분류 결과와 결합하여 원래 PDE에 대한 정밀한 정성적 성질을 도출한다.

실험 결과

연구 질문

• RQ1 조화 함수에 대한 고전적인 리우빌 정리는 비국소 연산자인 분수 라플라스 연산자로도 확장 가능한가?
• RQ2 비국소 연산자임에도 불구하고, $\u00d7^n$ ($n \geq 2$) 내에서 비음수인 $\alpha$-조화 함수는 항상 상수인가?
• RQ3 $\u00d7^n$ 에서 반선형 분수 PDE $(-\Delta)^{\alpha/2}u = u^p$ 와 그 적분형 사이에 등가성이 존재하는가?
• RQ4 이전에 요구된 것보다 더 약한 조건 하에서도, 적분방정식의 해 분류 결과를 PDE 설정으로 이 trasfer할 수 있는가?

주요 결과

• 모든 비음수인 $\alpha$-조화 함수는 $\u00d7^n$ ($n \geq 2$) 내에서 상수여야 하며, 이는 비국소 리우빌 정리의 증명이다.
• 비국소 PDE $(-\Delta)^{\alpha/2}u = u^p$ 는 $\u00d7^n$ 내에서 비음수 강해가 $L_\alpha$ 에 속할 경우, 적분방정식 $u(x) = \int_{\u00d7^n} \frac{c_n}{|x-y|^{n-\alpha}} u^p(y) dy$ 와 등가이다.
• 임계 경우 $p = \frac{n+\alpha}{n-\alpha}$ 에서는 모든 비음수 해는 $u(x) = c\left(\frac{t}{t^2 + |x - x_0|^2}\right)^{(n-\alpha)/2}$ 의 형태를 가져야 하며, 이때 $t > 0$, $x_0 \in \u00d7^n$ 이다.
• 임계 이하의 경우 $1 < p < \frac{n+\alpha}{n-\alpha}$ 에서는 유일한 비음수 해는 $u \equiv 0$ 이다.
• 이 결과들은 이전 연구에서 요구한 $H^{\alpha/2}$ 정규성 조건보다 더 약한 조건인 $u \in L_\alpha$ 를 가정함으로써 성립한다.
• 유계성이나 추가 정규성 조건이 필요 없도록 증명 과정이 구성되어 있어, 이전 방법보다 더 넓은 해의 범주에 적용 가능하다.