[논문 리뷰] The Poisson equation from non-local to local

Umberto Biccari, Víctor Hernández-Santamaría|arXiv (Cornell University)|2018. 01. 29.

Nonlinear Partial Differential Equations참고 문헌 22인용 수 15

한 줄 요약

이 논문은 파라미터 $ s \to 1^{-} $ 일 때 분수 포아송 방정식의 해가 극한에서 고전적 포아송 방정식의 해로 수렴함을 확립한다. 우측항에 대한 약한 수렴 가정과 $ H^s_0 $-노름 제어를 통해 $ H^{1-\delta}_0 $-공간에서 해의 강한 수렴을 증명하며, 이는 분수 라플라스 연산자 $ (-\Delta)^s $ 가 약한 해의 의미에서 고전적 라플라스 연산자 $ -\Delta $ 로 수렴함을 확인한다.

ABSTRACT

We analyze the limit behavior as $s o 1^-$ of the solution to the fractional Poisson equation $(-Δ)^s u_s=f_s$, $x\inΩ$ with homogeneous Dirichlet boundary conditions $u_s\equiv 0$, $x\inΩ^c$. We show that $\lim_{s o 1^-} u_s =u$, with $-Δu =f$, $x\inΩ$ and $u=0$, $x\in\partialΩ$. Our results are complemented by a discussion on the rate of convergence and on extensions to the parabolic setting.

연구 동기 및 목표

• 분수 포아송 방정식의 해가 분수 차수 $ s \to 1^{-} $ 일 때의 극한 행동을 엄밀히 분석하는 것.
• 비국소 문제의 약한 해의 극한이 고전적 국소 포아송 방정식의 약한 해로 수렴함을 확립하는 것.
• 이 수렴이 성립하는 조건, 특히 데이터 $ f_s $ 에 대한 조건을 제공하여 $ H^{-1} $ 에서의 유일한 유계성과 약한 수렴을 보장하는 것.
• 이 수렴 결과를 시간에 의존하는 비국소 문제와 국소 문제에 대해 확장하여, 시간에 따라 변화하는 문제에서 유사한 수렴을 보이는 것.

제안 방법

• 영역 $ \Omega^c $ 에서 동일한 딜리클레 조건을 갖는 분수 문제 $ (-\Delta)^s u_s = f_s $ 에 대해 $ H^s_0(\Omega) $ 에서의 약한 해 정의를 사용한다.
• 정규화 상수 $ C_{N,s} $ 를 갖는 특이 커널 $ |x-y|^{-N-2s} $ 를 통한 분수 라플라스 연산자의 적분 표현을 적용한다.
• 기존에 알려진 연산자 $ (-\Delta)^s \to -\Delta $ 의 수렴에 기반하여, $ s \to 1^{-} $ 일 때 $ H^s_0 $-노름의 수렴 결과와 컴팩턴스 추론을 활용한다.
• $ \|f_s\|_{H^{-s}} \leq C $ 의 균일 유계성과 $ s \to 1^{-} $ 일 때 $ f_s \rightharpoonup f $ 가 $ H^{-1} $ 에서 약하게 수렴함을 확립한다.
• 에너지 추정과 약한 수렴 기법을 사용하여, 모든 $ 0 < \delta \leq 1 $ 에 대해 $ u_s \to u $ 가 $ H^{1-\delta}_0(\Omega) $ 에서 강하게 수렴함을 보인다.
• 시간에 의존하는 문제 $ \partial_t \phi_s - (-\Delta)^s \phi_s = g_s $ 를 분석하여, 파arabolic 케이스로의 방법을 확장하며, $ (\phi_s, \partial_t \phi_s) $ 가 $ L^2(0,T; H^{1-\delta}_0) \times L^2(0,T; H^{-1}) $ 에서 수렴함을 증명한다.

실험 결과

연구 질문

• RQ1 분수 포아송 방정식 $ (-\Delta)^s u_s = f_s $ 의 해 $ u_s $ 가 영역 $ \Omega $ 에서 $ s \to 1^{-} $ 일 때 고전적 포아송 방정식 $ -\Delta u = f $ 의 해 $ u $ 로 수렴하는가?
• RQ2 해 $ u_s $ 가 강한 위상에서 $ u $ 로 수렴하기 위한 데이터 $ f_s $ 에 대한 조건은 무엇인가?
• RQ3 분수 라플라스 연산자가 공간과 시간에 모두 작용하는 경우, 이 수렴 결과를 파라보릭 설정으로 확장할 수 있는가?
• RQ4 해 $ u_s $ 의 수렴 속도는 무엇이며, 이는 데이터와 도메인의 정(regularity)에 어떻게 의존하는가?
• RQ5 $ H^s_0 $-노름과 분수 연산자 $ (-\Delta)^s $ 는 $ s \to 1^{-} $ 일 때 어떻게 행동하는가?

주요 결과

• $ s \to 1^{-} $ 일 때, $ f_s $ 의 균일 유계성과 약한 수렴 조건 하에 분수 포아송 문제의 해 $ u_s $ 는 모든 $ 0 < \delta \leq 1 $ 에 대해 $ H^{1-\delta}_0(\Omega) $ 에서 강하게 수렴한다.
• 극한 함수 $ u $ 는 $ H^1_0(\Omega) $ 에 속하며, 약한 의미에서 고전적 포아송 방정식 $ -\Delta u = f $ 를 만족한다.
• 이 수렴은 다음 조건 하에서 성립한다: $ \|f_s\|_{H^{-s}} \leq C $ 는 $ s $ 에 대해 균일하며, $ s \to 1^{-} $ 일 때 $ f_s \rightharpoonup f $ 가 $ H^{-1}(\Omega) $ 에서 약하게 수렴한다.
• 해는 $ H^{1-\delta}_0 $-노름에서 강하게 수렴하므로, 데이터에 대한 최소한의 가정에도 불구하고 극한에서 정(regularity)이 향상됨을 나타낸다.
• 결과는 파라보릭 설정으로까지 확장된다: 시간에 의존하는 분수 문제의 해 $ \phi_s $ 는 $ L^2(0,T; H^{1-\delta}_0) \times L^2(0,T; H^{-1}) $ 에서 고전적 파라보릭 문제의 해로 강하게 수렴한다.
• 증명은 매끄러운 함수에 대해 점별 극한 $ (-\Delta)^s u \to -\Delta u $ 가 성립하고, 소볼레프 공간에서 컴팩턴스 추론에 기반한다.