[논문 리뷰] On higher order extensions for the fractional Laplacian

Ray Yang|arXiv (Cornell University)|2013. 02. 18.

Advanced Mathematical Modeling in Engineering참고 문헌 5인용 수 66

한 줄 요약

이 논문은 상반평면에서 고차수 타원형 방정식의 해를 통해 임의의 양의 비정수 차수의 분수라플라스 연산자에 대해 Caffarelli-Silvestre 확장 방법을 일반화한다. 경계 함수의 $H^s$ 노름과 확장된 함수의 가중 딜레르트 에너지 사이의 에너지 등가성을 확립하여, 비정수 차수의 분수조화 함수에 대한 강한 유일연속성의 새로운 증명을 가능하게 한다.

ABSTRACT

The technique of Caffarelli and Silvestre, characterizing the fractional Laplacian as the Dirichlet-to-Neumann map for a function U satisfying an elliptic equation in the upper half space with one extra spatial dimension, is shown to hold for general positive, non-integer orders of the fractional Laplace operator, by showing an equivalence between the H^s norm on the boundary and a suitable higher-order seminorm of U.

연구 동기 및 목표

• 정수형이 아닌 양의 차수 $\gamma$ 에 대해 Caffarelli-Silvestre 방법을 $\gamma < 1$ 이외의 경우로 확장한다.
• 함수 $\mathbb{R}^n$ 상에서의 $H^\gamma$ 반노름과 $\mathbb{R}^{n+1}_+$ 내에서의 고차수 확장 함수의 가중 딜레르트 에너지 사이의 에너지 등가성을 확립한다.
• 확장 기법과 Almgren 주파수 공식의 변형을 이용하여 비정수 차수의 분수조화 함수에 대한 강한 유일연속성의 새로운 증명을 제시한다.
• 확장의 산란이론적 해석을 고차수 방정식과 비정수 $\gamma$로 일반화한다.
• 확장된 함수 $U$의 고차수 노이만 도함수로써 순서 $\gamma$의 분수라플라스 연산자를 특성화한다.

제안 방법

• 고차수 타원형 방정식 $\Delta^m U = 0$ 를 만족하는 확장 $U$ 를 구성한다. 여기서 $m = \lfloor \gamma \rfloor + 1$, $\mathbb{R}^{n+1}_+$ 내에서 정의되며, 경계 조건은 $U|_{y=0} = f$, $\partial_y^k U|_{y=0} = 0$ ($k = 1, \dots, m-1$)이다.
• 변수 $x$ 에서의 푸리에 분석을 통해 PDE 를 $y$ 에 대한 상미분방정식으로 감소시키며, 프로파일 $\hat{U}(\xi, y) = \hat{f}(\xi) \phi(|\xi|y)$ 를 구한다. 여기서 $\phi$ 는 이차형식을 최소화하는 함수이다.
• 에너지 등가성 증명: $\int_{\mathbb{R}^{n+1}_+} |\Delta^m U|^2 \, dxdy \sim \int_{\mathbb{R}^n} |\xi|^{2\gamma} |\hat{f}(\xi)|^2 \, d\xi$, 이는 $H^\gamma$ 노름의 등가성을 증명한다.
• 확장된 함수 $U$ 에 대해 Almgren 주파수 공식의 변형을 적용하며, 측도 $y^b \, dxdy$ ($b = 1 - 2\gamma$) 를 갖는 상반평면 내의 가중 $L^2$ 노름을 사용한다.
• 주파수 함수 $N(r) = r D(r)/H(r)$ 의 단조성 공식 유도. 여기서 $D(r)$ 는 가중 딜레르트 타입 에너지이고, $H(r)$ 는 가중 경계 $L^2$ 노름이다.
• 주파수 함수 $N(r)$ 의 로그 도함수의 유계성, 즉 $\log N(r)' \geq -C$ 를 이용하여 강한 유일연속성을 증명: 만약 $f$ 가 어떤 점에서 무한차수로 0이면, $f \equiv 0$ 이다.

실험 결과

연구 질문

• RQ1 Caffarelli-Silvestre 확장 방법은 임의의 양의 비정수 차수 $\gamma$ 의 분수라플라스 연산자로 일반화될 수 있는가?
• RQ2 상반평면 내에서 고차수 타원형 PDE 가 존재하는가? 이때 노이만 데이터가 $\gamma > 1$ 인 경우 $(-\Delta)^\gamma f$ 를 복원하는가?
• RQ3 비정수 $\gamma$ 에 대해 $H^\gamma$ 노름과 가중 딜레르트 에너지 사이의 에너지 등가성이 확립될 수 있는가?
• RQ4 Almgren 주파수 공식 기법은 고차수 확장을 통해 강한 유일연속성을 증명하는 데 확장될 수 있는가?
• RQ5 방정식 $\Delta U + \frac{a}{y} U_y = 0$ 에서 $a = 1 - 2\gamma$ 는 고차수 확장 프레임워크 내에서 어떤 역할을 하는가?

주요 결과

• 1 < \gamma < 2 인 경우, 분수라플라스 연산자 $(-\Delta)^\gamma f$ 는 고차수 노이만 도함수로 표현된다: $(-\Delta)^\gamma f(x) = C_{n,\gamma} \frac{\partial}{\partial y} \Delta U(x,0)$, 여기서 $U$ 는 $\mathbb{R}^{n+1}_+$ 내에서 $\Delta^2 U = 0$ 을 만족하며, $U(x,0) = f(x)$, $U_y(x,0) = 0$ 이다.
• 에너지 항등식 $\int_{\mathbb{R}^{n+1}_+} |\Delta U|^2 \, dxdy = C_{n,\gamma} \int_{\mathbb{R}^n} |\xi|^{3} |\hat{f}(\xi)|^2 \, d\xi$ 는 $\gamma = \frac{3}{2}$ 에 대해 성립하며, 이는 $H^{3/2}$ 반노름과 가중 딜레르트 에너지 사이의 등가성을 증명한다.
• 확장 방법은 모든 양의 비정수 $\gamma$ 에 대해 일반화 가능하며, $U$ 는 $\mathbb{R}^{n+1}_+$ 내에서 $\Delta^m U = 0$ 을 만족하며, $m = \lfloor \gamma \rfloor + 1$, $y=0$ 에서 정규미분이 $m-1$ 차수까지 0이 되도록 한다.
• 주파수 함수 $N(r) = r D(r)/H(r)$ 는 로그 도함수가 유계임을 보이며, $\log N(r)' \geq -C$ 를 만족한다. 이는 단조성과 강한 유일연속성으로 이어진다.
• 결과적으로, $f \in H^\gamma(\mathbb{R}^n)$ 이며 도메인 내에서 $(-\Delta)^\gamma f = 0$ 이고 어떤 점에서 무한차수로 0이라면, 그 도메인 내에서 $f \equiv 0$ 이다.
• 산란 방정식 $\Delta U + \frac{a}{y} U_y = 0$ 에서 $a = 1 - 2\gamma$ 는 조건 $\gamma \geq n/2$ 에 관계없이 확장된 함수 $U$ 에 대해 성립하며, 모든 비정수 $\gamma$ 에 대해 유효성이 유지된다.