[논문 리뷰] What Is the Fractional Laplacian?

Anna Lischke, Guofei Pang외 9명|arXiv (Cornell University)|2018. 01. 29.

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

한 줄 요약

본 논문은 유한 영역에서의 분수 라플라시안(Riesz, 스펙트럴, 방향성, horizon 기반 비국소) 정의를 비교하고, 그 경계 거동을 분석하며, 비영 경계 조건에 대한 새로운 수치 방법과 통찰을 제시한다.

ABSTRACT

The fractional Laplacian in R^d has multiple equivalent characterizations. Moreover, in bounded domains, boundary conditions must be incorporated in these characterizations in mathematically distinct ways, and there is currently no consensus in the literature as to which definition of the fractional Laplacian in bounded domains is most appropriate for a given application. The Riesz (or integral) definition, for example, admits a nonlocal boundary condition, where the value of a function u(x) must be prescribed on the entire exterior of the domain in order to compute its fractional Laplacian. In contrast, the spectral definition requires only the standard local boundary condition. These differences, among others, lead us to ask the question: "What is the fractional Laplacian?" We compare several commonly used definitions of the fractional Laplacian (the Riesz, spectral, directional, and horizon-based nonlocal definitions), and we use a joint theoretical and computational approach to examining their different characteristics by studying solutions of related fractional Poisson equations formulated on bounded domains. In this work, we provide new numerical methods as well as a self-contained discussion of state-of-the-art methods for discretizing the fractional Laplacian, and we present new results on the differences in features, regularity, and boundary behaviors of solutions to equations posed with these different definitions. We present stochastic interpretations and demonstrate the equivalence between some recent formulations. Through our efforts, we aim to further engage the research community in open problems and assist practitioners in identifying the most appropriate definition and computational approach to use for their mathematical models in addressing anomalous transport in diverse applications.

연구 동기 및 목표

• 경계 영역에서의 분수 라플라시안의 일반적인 정의(Riesz, 스펙트럴, 방향성, 비국소/수평선 기반 포함)를 조사하고 비교한다.
• 물리적 의미와 적용 가능성을 이해하기 위해 경계 조건과 확률적 해석을 분석한다.
• 정의들 전반에서 0 경계 조건과 비제로 경계 조건에 대해 수치 방법을 개발하고 평가한다.
• 특정 이상확산 응용에 대해 각 정의가 언제 더 적합한지 식별한다.

제안 방법

• R^d 및 유한 도메인에서 정의의 이론적 비교를 수행하고, 경계 조건의 함의 및 확률적 과정 해석을 포함한다.
• 비제로 경계 조건에 대한 새로운 방법의 제시: Riesz Laplacian에 대한 radial basis function collocation과 spectral Laplacian에 대한 nonharmonic lifting.
• 정의에 걸친 벤치마크 문제(Poisson 방정식)를 사용한 수치 실험으로 정확도와 경계 거동을 평가한다.
• 확률적 해 해석을 설명하고 Riesz 문제를 풀기 위해 확률적 해 솔루션 방법(walk-on-spheres)을 사용한다.
• 비균질 스펙트럴 정의 간의 등가성과 관련 표현(예: 역 라플라시안)에 대한 논의.
• 정의 간 경계 규칙성과 해의 거동 평가.

실험 결과

연구 질문

• RQ1 0 경계 조건과 비제로 경계 조건 하에서 경계 영역이 있는 유한 영역에서 서로 다른 정의(Riesz, 스펙트럴, 방향성, horizon 기반 비국소)가 어떻게 다른가?
• RQ2 각 정의를 사용할 때 해의 경계 거동 및 규칙성 특성은 어떻게 나타나는가?
• RQ3 경계가 0이 아닌 조건을 포함한 유한 영역에서 각 정의를 가장 잘 근사하는 수치 방법은 무엇인가?
• RQ4 이 연산자들의 확률적 해석은 경계 조건과 물리적 의미를 어떻게 설명하는가?

주요 결과

• Riesz 및 스펙트럴 분수 라플라시안은 유한 영역에서 서로 다른 경계 거동을 보이며, 특정 α 및 도메인 크기에 대해 경계층과 내부에서 단조롭지 않은 응답을 보인다.
• Riesz 정의에 따른 해는 α가 감소할수록 경계층이 더 뾰족해지는 경향이 있으며, 0 경계 조건에서의 더 매끄러운 스펙트럴 해와 다르다.
• Riesz 해는 일반적으로 0 경계 조건에서 스펙트럴 해보다 더 높게 위치하며, 역 연산자의 양수 보존 속성의 결과이다.
• 비제로 경계 조건에 대한 새로운 수치 접근법이 개발되었으며: Riesz에 대한 radial basis function collocation과 스펙트럴 정의에 대한 nonharmonic lifting.
• 일부 비균질 스펙트럴 정의의 등가성이 확립되어 역 라플라시안 표현을 통한 일관된 형식화와 해법이 가능해졌다.
• 확률적 해석(정지된/하위Brownian 모션)이 왜 정의마다 서로 다른 외부/경계 데이터가 필요한지 명확히 한다.