[논문 리뷰] Fractional elliptic equations, Caccioppoli estimates and regularity

Luis Caffarelli, Pablo Raúl Stinga|arXiv (Cornell University)|2014. 09. 26.

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

한 줄 요약

이 논문은 경계가 유계인 리프시츠 도메인에서 분산형 타입의 타원형 연산자 $ L = -\operatorname{div}(A(x)\nabla_x) $ 의 분수 거듭제곱 $ L^s $, $ 0 < s < 1 $ 에 대해 내부 및 경계 샤페르 정규성 추정을 수립한다. Caccioppoli 추정, 반군 접근법, 그리고 확장 문제를 활용하여, 계수, 데이터, 도메인 경계의 스무스함에 따라 해의 히올더 및 지그문트 정규성을 증명하며, 기본 해와 적분-미분 표현에 대해 정밀한 추정을 제공한다.

ABSTRACT

Let $L=-\operatorname{div}_x(A(x) abla_x)$ be a uniformly elliptic operator in divergence form in a bounded domain $Ω$. We consider the fractional nonlocal equations $$\begin{cases} L^su=f,&amp;\hbox{in}~Ω,\\ u=0,&amp;\hbox{on}~\partialΩ, \end{cases}\quad \hbox{and}\quad \begin{cases} L^su=f,&amp;\hbox{in}~Ω,\\ \partial_Au=0,&amp;\hbox{on}~\partialΩ. \end{cases}$$ Here $L^s$, $0

연구 동기 및 목표

• 분산형 타입의 균일 타원형 연산자 $ L $ 에 대해 $ 0 < s < 1 $ 인 비국소적 비선형 방정식 $ L^s u = f $ 의 정규성 이론을 수립하는 것.
• 디리클레 및 뉴먼 경계 조건 하에서 해에 대한 내부 및 경계 히올더 정규성을 확립하는 것.
• 정규성 결과의 핵심 분석 도구로 정밀한 Caccioppoli 유형 추정을 도출하는 것.
• 기본 해와 $ L^s $ 의 커널을 특성화하여, $ n \neq 2s $ 일 때 $ G_s(x,z) \sim |x-z|^{-(n-2s)} $ 임을 보이는 것.
• 확장 문제와 반군 언어를 통해 라이트만–스타마치아–바이너버의 고전 이론을 비국소적 분수 연산자로 확장하는 것.

제안 방법

• 반군 언어를 활용하여 $ L^s u(x) = \frac{1}{\Gamma(-s)} \int_0^\infty \left( e^{-tL}u(x) - u(x) \right) \frac{dt}{t^{1+s}} $ 의 공식을 통해 분수 거듭제곱 $ L^s u $ 를 정의하는 것.
• 확장 문제를 적용하여 $ \Omega \times (0,\infty) $ 에서의 가중치 $ y^a $ 를 갖는 열화된 타원형 방정식의 딜레르트-노르망 맵으로서 $ L^s u $ 를 표현하는 것.
• 비국소적 상호작용을 반영하는 커널 $ K_s(x,z) $ 와 $ B_s(x) $ 를 포함한 $ \langle L^s u, \psi \rangle $ 의 적분-미분 공식 유도.
• 확장 문제에 대해 Caccioppoli 추정을 수립하여 컴actness 및 근사화 추론을 가능하게 하는 것.
• 대칭성을 활용하여 뉴먼 문제의 경우를 유한한 영역 $ \mathbb{R}^n $ 에서의 국소 문제로 줄이는 짝대칭 반사의 적용.
• 확장된 공간에서 조화 함수에 의한 근사화를 통해 정규성을 증명하고, 이후 확장 문제에서 원래 문제로의 부스팅 과정을 수행하는 것.

실험 결과

연구 질문

• RQ1 계수 행렬 $ A(x) $, 우변 $ f $, 도메인 경계 $ \partial\Omega $ 의 스무스함에 따라 $ L^s u = f $ 에 대한 샤페르 정규성 추정은 어떻게 달라지나?
• RQ2 분수 연산자 $ L^s $ 의 기본 해 $ G_s(x,z) $ 는 정확히 어떻게 행동하며, 고전적 $ |x-z|^{-(n-2s)} $ 특이성과 어떻게 비교되는가?
• RQ3 비국소적 연산자 $ L^s $ 는 커널 $ K_s(x,z) $ 를 포함한 적분-미분 공식으로 표현될 수 있으며, 그 커널의 성질은 무엇인가?
• RQ4 확장 문제를 통해 $ \Omega \times (0,\infty) $ 에서의 열화된 타원형 방정식을 다루는 $ L^s $ 의 확장 문제로 정규성 및 경계 행동 분석이 어떻게 가능해지는가?
• RQ5 디리클레 문제에 대한 정규성 결과가 뉴먼 문제로 얼마나 일반화될 수 있으며, 반사 원리가 이 경우에 어떻게 기여하는가?

주요 결과

• 만약 $ f \in C^{0,\alpha}(\overline{\Omega}) $ 이고 $ \alpha + 2s < 1 $ 라면, $ \Omega $ 에서 딜레르트 경계 조건을 갖는 $ L^s u = f $ 의 해 $ u $ 는 $ \|u\|_{C^{0,\alpha+2s}(\overline{\Omega})} \leq C\left( \|-u\|_{L^\infty(\Omega)} + \|f\|_{C^{0,\alpha}(\overline{\Omega})} \right) $ 를 만족한다.
• 만약 $ 1 < \alpha + 2s < 2 $ 라면, 해 $ u $ 는 $ C^{1,\alpha+2s-1}(\overline{\Omega}) $ 에 속하며, 이에 해당하는 노름 추정이 성립한다.
• 만약 $ f \in L^\infty(\Omega) $ 이면, $ 2s = 1 $ 일 때 해 $ u $ 는 자이그문트 공간 $ \Lambda_* $ 에 속하고, $ 0 < 2s < 1 $ 일 때는 $ C^{0,2s}(\overline{\Omega}) $ 에 속하며, 노름 추정은 $ \|u\|_{L^\infty} $ 와 $ \|f\|_{L^\infty} $ 에 의존한다.
• 기본 해 $ G_s(x,z) $ 는 $ n \neq 2s $ 일 때 $ G_s(x,z) \sim |x-z|^{-(n-2s)} $ 를 만족하고, $ n = 2s $ 일 때는 로그 추정을 갖는다. 이는 기대되는 척도와 일치함을 확인한다.
• 적분-미분 표현식은 $ \langle L^s u, \psi \rangle = \int_\Omega \int_\Omega (u(x)-u(z))(\psi(x)-\psi(z)) K_s(x,z) \, dx\,dz + \int_\Omega u(x)\psi(x) B_s(x) \, dx $ 로 주어지며, 명시적인 커널 추정이 가능하다.
• 뉴먼 문제의 경우, $ \int_\Omega f \, dx = 0 $ 를 만족하는 $ L_N^s u = f $ 의 해 $ u $ 는 유사한 정규성 추정을 만족하며, $ 0 < 2s < 1 $ 일 때 $ u \in C^{0,2s}(\overline{\Omega}) $ 이고, 반사 원리에 의해 문제는 전체 공간으로 환원된다.