[논문 리뷰] Fractional discrete Laplacian versus discretized fractional Laplacian

Óscar Ciaurri, Luz Roncal외 3명|arXiv (Cornell University)|2015. 07. 17.

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

한 줄 요약

이 논문은 반응 이론을 이용하여 격자 $\mathbb{Z}_h = h\mathbb{Z}$ 위에서 분수 차분 라플라시안 연산자 $(-\Delta_h)^s$를 정의하고, 연속적인 분수 라플라시안 $(-\Delta)^s$에 대한 엄밀한 근사값을 제공한다. 허더링 연속 함수에 대해 $\ell^\infty$ 오차 추정치를 $h^{\beta - 2s}$의 순서로 도출하였으며, 더 높은 정규성 조건 하에서 수렴 속도가 향상됨을 보이고, 날카운 감쇠 성질을 갖는 명시적 점별 커널 표현을 유도한다.

ABSTRACT

We define and study some properties of the fractional powers of the discrete Laplacian $$(-Δ_h)^s,\quad\hbox{on}~\mathbb{Z}_h = h\mathbb{Z},$$ for $h>0$ and $0

연구 동기 및 목표

• 반응 이론을 이용하여 격자 $\mathbb{Z}_h$ 위에서 분수 차분 라플라시안 $(-\Delta_h)^s$를 정의하고 연구한다.
• 분수 차분 라플라시안을 $h \to 0$일 때 연속 분수 라플라시안의 이산화된 형태와 비교한다.
• 함수에 대한 최소한의 정규성 조건 하에서 근사의 $\ell^\infty$ 정량적 오차 추정치를 확립한다.
• 점별 공식을 갖는 커널 표현을 유도하고, 허더링 연속성 추정치를 증명한다.
• 음의 거듭제곱, 즉 분수 차분 적분 $(-\Delta_h)^{-s}$로 분석을 확장하고, 고차원에서의 점근적 커널 추정치를 제공한다.

제안 방법

• 반응 이론 공식을 이용해 $(-\Delta_h)^s$를 정의한다: $(-\Delta_h)^s u_j = \frac{1}{\Gamma(-s)} \int_0^\infty \left( e^{t\Delta_h}u_j - u_j \right) \frac{dt}{t^{1+s}}$, 여기서 $e^{t\Delta_h}$는 반분산 열 방정식의 해이다.
• 초기 조건이 $u_j$인 반분산 열 방정식 $\partial_t w_j = \Delta_h w_j$의 해를 이용해 분수 거듭제곱을 표현한다.
• 수정된 비제 함수와 점근 전개를 이용해 $(-\Delta_h)^s$에 대한 명시적 점별 커널 표현을 도출한다.
• $(-\Delta_h)^s(r_h u)$와 $r_h(( -\Delta)^s u)$ 사이의 오차를 커널 차이와 함수 정규성에 대한 추정치를 통해 $\ell^\infty$ 범위에서 추정한다.
• 최강 경로 방법과 점근 분석을 적용하여, 일차 및 이차 차원에서 커널의 감쇠 속도를 도출한다.
• 감마 함수와 수정된 비제 함수 $I_k(t)$의 성질을 이용해 커널 행동을 제어하고, 균일한 추정치를 증명한다.

실험 결과

연구 질문

• RQ1 반응 이론을 통해 정의된 분수 차분 라플라시안 $(-\Delta_h)^s$가 $h \to 0$일 때 연속 분수 라플라시안 $(-\Delta)^s$의 이산화된 형태와 어떻게 비교되는가?
• RQ2 함수에 대한 최소한의 정규성 조건 하에서 $\ell^\infty$ 노름에서 이산 근사의 수렴 속도는 무엇인가?
• RQ3 분수 차분 라플라시안 $(-\Delta_h)^s$에 대해 명시적 점별 공식과 커널 표현을 도출할 수 있는가?
• RQ4 분수 차분 라플라시안의 허더링 연속성 성질은 무엇인가?
• RQ5 특히 $\mathbb{Z}_h^2$에서 커널과 그 감쇠 성질은 어떻게 행동하는가?

주요 결과

• $u \in C^{0,\beta}(\mathbb{R})$ 이고 $2s < \beta$ 이면, $(-\Delta_h)^s(r_h u)$와 $r_h(( -\Delta)^s u)$ 사이의 $\ell^\infty$ 오차는 $C[u]_{C^{0,\beta}} h^{\beta - 2s}$로 유계이다.
• $u \in C^{1,\beta}(\mathbb{R})$ 이고 $2s < \beta$ 이면, 첫 번째 순서 차분 $D_+(-\Delta_h)^s(r_h u)$의 오차는 $C[u]_{C^{1,\beta}} h^{\beta - 2s}$로 유계이다.
• $2s > \beta$ 이면 오차 추정치가 $C[u]_{C^{1,\beta}} h^{\beta - 2s + 1}$로 향상되며, 더 높은 정규성 조건에서 향상된 수렴을 반영한다.
• $u \in C^{k,\beta}(\mathbb{R})$ 이고 $k + \beta - 2s$ 가 정수값이 아니며 $2s < k + \beta$ 이면, $l$-번째 차분 연산자 $D_+^l$에 대한 $\ell^\infty$ 오차는 $C[u]_{C^{k,\beta}} h^{\beta - 2s + k - l}$로 유계이며, 여기서 $l = \lfloor k + \beta - 2s \rfloor$이다.
• 분수 차분 라플라시안 $(-\Delta_h)^s u_j$에 대한 명시적 점별 공식을 커널 $K_s(j)$와의 컨볼루션 형태로 도출하였으며, $|j|$ 가 크면 $|K_s(j)| \lesssim |j|^{-1-2s}$ 임을 보였다.
• 두 차원에서 커널에 대한 점근 추정치를 도출하였으며, 이는 일차원의 행동과 일치하고 고차원으로 확장 가능하다.