[논문 리뷰] User's guide to the fractional Laplacian and the method of semigroups

Pablo Raúl Stinga|arXiv (Cornell University)|2018. 08. 15.

Nonlinear Partial Differential Equations인용 수 5

한 줄 요약

이 논문은 반응성의 반복적 방법을 활용하여 분수 라플라스 연산자에 대한 종합적인 사용자 가이드를 제시한다. 열핵 표현을 통해 점별 공식과 정규성 추정을 도출하며, 분수 라플라스 연산자 방정식에 대해 날카운 허더 및 슈아우더 추정을 수립한다. 또한 분수 거듭제곱이 고전적 라플라스 연산자와 항등 연산자로 수렴하는 것을 증명하고, 반복 기법을 통해 명시적인 상수를 제공한다.

ABSTRACT

The extit{method of semigroups} is a unifying, widely applicable, general technique to formulate and analyze fundamental aspects of fractional powers of operators $L$ and their regularity properties in related functional spaces. The approach was introduced by the author and José L.~Torrea in 2009 (arXiv:0910.2569v1). The aim of this chapter is to show how the method works in the particular case of the fractional Laplacian $L^s=(-Δ)^s$, $0

연구 동기 및 목표

• 0 < s < 1 인 분수 라플라스 연산자 \\((-\Delta)^s\\)에 대한 체계적인 소개를 반복 방법을 사용하여 제공한다.
• 푸리에 분석에 의존하지 않고 열핵 표현을 통해 \\((-\Delta)^s u(x)\\)에 대한 점별 공식을 수립한다.
• 데이터에 대한 최소한의 가정 하에 날카운 정규성 추정—허더 및 슈아우더—을 도출한다.
• 분수 거듭제곱이 \\(\lim_{s \to 1^-} (-\Delta)^s u = -\Delta u\\) 및 \\( \lim_{s \to 0^+} (-\Delta)^s u = u\\)로 수렴하는 것과 함께 명시적인 상수를 증명한다.
• 카파렐리-실베스트레 확장 문제와의 연결을 통해 내부 하르나크 부등식과 도함수 추정을 유도한다.

제안 방법

• 0 < s < 1 인 경우에 대해 열반환의 반복 공식 \\((-\Delta)^s u(x) = \frac{1}{\Gamma(-s)} \int_0^\infty \left( e^{t\Delta}u(x) - u(x) \right) \frac{dt}{t^{1+s}}\\)을 사용한다. 이는 열반환에서 유도된다.
• 고전적 열핵 \\p_t(x) = (4\pi t)^{-n/2} e^{-|x|^2/(4t)}\\를 사용하여 분수 거듭제곱을 점별적으로 표현한다.
• 열반환을 통해 허더 및 지그문트 공간을 특성화함으로써 슈아우더 추정의 증명을 가능하게 한다.
• 카파렐리-실베스트레 확장 기법을 적용하여, \\((-\Delta)^s u = f\\)의 해는 상반평면에서의 조화 확장의 딜리클레-노르망 맵으로 얻어진다.
• 역분수 라플라스 연산자를 정의하기 위해 표현 \\u(x) = (-\Delta)^{-s}f(x) = C_s \int_0^\infty \int_{\mathbb{R}^n} p_t(x-y) f(y) \, dy \, \frac{dt}{t^{1-s}}\\를 사용한다.
• 열반환과 그 도함수의 행동을 분석함으로써 도함수 추정과 하르나크 부등식을 증명하는 데에 이 방법을 적용한다.

실험 결과

연구 질문

• RQ1 푸리에 변환에 의존하지 않고 분수 라플라스 연산자를 어떻게 정의하고 점별적으로 계산할 수 있는가?
• RQ2 분수 라플라스 방정식 \\((-\Delta)^s u = f\\)의 해에 대해 최소한의 조건 하에서 날카운 정규성 추정(허더 및 슈아우더)은 무엇인가?
• RQ3 분수 거듭제곱 \\((-\Delta)^s u\\)가 각각 \\(s \to 1^-\\) 및 \\(s \to 0^+\\)일 때 고전적 라플라스 연산자와 항등 연산자로 수렴하는 방식은 어떻게 되는가?
• RQ4 카파렐리-실베스트레 확장 문제는 반복 방법을 사용하여 명시적으로 해결할 수 있으며, 그에 따라 어떤 정규성 추정이 도출되는가?
• RQ5 반복 방법을 사용하여 분수 조화 함수에 대한 내부 하르나크 부등식과 도함수 추정을 어떻게 도출할 수 있는가?

주요 결과

• 열핵을 통한 점별 공식 \\((-\Delta)^s u(x)\\)이 유도되었으며, 이는 분수 라플라스 연산자에 대해 푸리에 분석에 의존하지 않는 접근법을 제공한다.
• 수렴 결과에 대해 명시적인 상수를 도출하였다: \\( \lim_{s \to 1^-} (-\Delta)^s u(x) = -\Delta u(x)\\) 및 \\( \lim_{s \to 0^+} (-\Delta)^s u(x) = u(x)\\), 이는 \\(u\\)에 대한 최소한의 정규성 조건 하에서도 유효하다.
• 허더 및 지그문트 공간의 반복 특성화를 통해 \\((-\Delta)^{\pm s}: C^{\alpha} \to C^{\alpha \mp 2s}\\)의 슈아우더 추정이 간결하고 우아한 방식으로 증명되었다.
• 만약 \\(f \in C^{0,\alpha}(\mathbb{R}^n)\\)이면, \\((-\Delta)^s u = f\\)의 해 \\(u\\)는 \\( \|u\|_{C^{k,\alpha+2s-k}} \leq C(\|u\|_{L^\infty} + \|f\|_{C^{0,\alpha}})\\)를 만족하며, 이때 \\(C\\)는 \\(n\\), \\(s\\), \\(\alpha\\)에만 의존한다.
• 만약 \\(f \in L^\infty(\mathbb{R}^n)\\)이면, 해 \\(u\\)는 \\(2s < 1\\)이면 \\( \|u\|_{C^{0,2s}} \leq C(\|u\|_{L^\infty} + \|f\|_{L^\infty})\\), \\(2s > 1\\)이면 \\( \|u\|_{C^{1,2s-1}} \leq C(\|u\|_{L^\infty} + \|f\|_{L^\infty})\\)를 만족하며, 이때 \\(C\\)는 \\(n\\)과 \\(s\\)에만 의존한다.
• 이 방법을 통해 확장 문제와 반복 분석을 통해 분수 조화 함수에 대한 내부 하르나크 부등식과 도함수 추정을 도출할 수 있다.