[논문 리뷰] Function spaces and extension results for nonlocal Dirichlet problems

Moritz Kaßmann, Bartłomiej Dyda|arXiv (Cornell University)|2016. 12. 06.

Advanced Mathematical Modeling in Engineering인용 수 4

한 줄 요약

이 논문은 적분미분 연산자를 포함하는 비국소 딜리클레 문제의 경계 자료를 기술하기 위해 비국소 경계값 공간으로 불리는 새로운 함수 공간을 도입한다. 비국소 딜리클레 문제에 대해 정의된 함수의 확장 및 경계값 정리들을 수립하며, 해공간 $ V^s(\bar{\Omega}|\mathbb{R}^d) $ 로의 유계 확장 연산자가 존재함을 증명하고, 분수 차수 $ s $ 에 대해 정확한 의존도를 보이며, $ s \to 1^- $ 의 극한에서 고전적 소볼레프 확장 결과를 일반화한다.

ABSTRACT

We study function spaces and extension results in relation with Dirichlet problems involving integrodifferential operators. For such problems, data are prescribed on the complement of a given domain in the Euclidean space. We introduce a function space that serves as a trace space for nonlocal Dirichlet problems and study related extension results.

연구 동기 및 목표

• 도메인 $ \Omega \subset \mathbb{R}^d $ 의 보 complement 에서 데이터가 주어지는 비국소 딜리클레 문제에 대해 체계적인 함수공간 이론의 부재를 해결한다.
• 비국소 문제의 경계값 공간으로 기능하는 새로운 함수공간을 정의하여, $ \Omega^c $ 에서 경계 자료 $ g $ 의 정(regularity)을 캡처한다.
• 경계값 공간에 속하는 함수 $ g $ 를 해공간 $ V^s(\Omega|\mathbb{R}^d) $ 에 속하는 해 $ u $ 로 매핑하는 확장 연산자를 정의하며, 비국소 방정식 $ (-\Delta)^s u = 0 $ 이 $ \Omega $ 에서 성립하도록 한다.
• 확장 연산자가 $ \frac{1}{s(1-s)} $ 에 의해 제어되는 유계 연산자로, $ s \to 0 $ 또는 $ s \to 1 $ 에서 급격한 특이성을 드러낸다.
• 고전적 소볼레프 공간의 경계값 및 확장 결과를 $ s \to 1^- $ 의 극한에서 복원함으로써, 고전 이론에 대한 비국소 해석을 제공한다.

제안 방법

• 해공간 $ V^s(\Omega|\mathbb{R}^d) $ 는 $ \mathbb{R}^d $ 에 국한된 $ L^2_{\text{loc}}(\mathbb{R}^d) $ 함수들 중에서 $ \mathbb{R}^d \times \mathbb{R}^d $ 에서의 차분을 포함하는 가가르도 유형의 반노름이 유한한 함수들의 집합으로 정의한다. 이 반노름은 $ |x-y|^{-d-2s} $ 로 가중된다.
• 경계값 공간은 $ V^s(\Omega|\mathbb{R}^d) $ 를 $ \Omega^c $ 에 제한한 것으로, 유도된 반노름을 지닌다. 확장 연산자는 파artition of unity 와 이중 큐브를 중심으로 한 반사 기법을 통해 정의된다.
• 도메인 $ \Omega $ 와 그 보 complement 의 윌슨 타입 분해를 사용하여 局소화된 확장 연산자를 구성하며, 국소적 정(regularity)을 유지하고 비국소 반노름을 제어한다.
• 핵심 추정식 $ |\operatorname{ext}(f)|_{\Omega^{\text{int}}_\delta, \Omega^{\text{ext}}_\varepsilon}^{s,p} \lesssim \frac{1}{s} |f|_{\Omega^{\text{ext}}_\delta, \Omega^{\text{ext}}_\varepsilon}^{s,p} $ 을 수립하여, 연산자 노름이 $ 1/s $ 에 의존함을 보여준다.
• 큐브와 그 반사 영역의 크기를 비교하여 가중 $ L^p $-공간에서의 유계성을 증명한다. $ x \in Q $, $ \tilde{x} \in \widetilde{Q} $ 에 대해 $ |x|+1 \asymp |\tilde{x}|+1 $ 이 성립하며, 상수는 오직 $ \Omega $ 에만 의존한다.
• 경계값 반노름 추정식 $ \|\operatorname{ext}(f)\|_{V^s(\Omega|\mathbb{R}^d)} \lesssim \frac{1}{s(1-s)} \|f\|_{\text{trace space}} $ 을 유도하여, $ s \to 1^- $ 에서도 연산자가 균일하게 유계임을 증명한다.

실험 결과

연구 질문

• RQ1 적분미분 연산자를 포함하는 비국소 딜리클레 문제에 대해, $ \Omega^c $ 에서 정의된 적절한 경계값 공간은 무엇인가?
• RQ2 경계값 공간 $ \Omega^c $ 에서의 함수를 해공간 $ V^s(\Omega|\mathbb{R}^d) $ 로 매핑하는 유계 선형 확장 연산자를 어떻게 구성할 수 있는가?
• RQ3 확장 연산자 노름의 분수 차수 $ s \in (0,1) $ 에 대한 정확한 의존도는 무엇이며, $ s \to 1^- $ 에서의 행동은 어떻게 되는가?
• RQ4 비국소 확장 이론의 극한에서 고전적 소볼레프 공간의 확장 결과를 복원할 수 있는가?
• RQ5 가중 $ L^p $-공간(가중치 $ (1+|x|)^\beta $) 에서 확장 연산자가 유계인가? 이에 대한 조건은 무엇이며, 도메인에 따라 어떻게 달라지는가?

주요 결과

• 논문은 비국소 딜리클레 문제를 위한 새로운 경계값 공간을 도입하였으며, 이는 $ V^s(\Omega|\mathbb{R}^d) $ 를 $ \Omega^c $ 에 제한한 것으로, 경계 자료 $ g $ 의 정(regularity)을 기술한다.
• 확장 연산자 $ \operatorname{ext} $ 는 경계값 공간에 속하는 함수 $ f $ 를 $ u \in V^s(\Omega|\mathbb{R}^d) $ 로 매핑하며, $ u = g $ 가 $ \Omega^c $ 에서 성립하도록 한다. 이 연산자의 노름은 $ \frac{1}{s(1-s)} $ 로 제어되며, 이는 유계임을 의미한다.
• 명시적 추정식 $ |\operatorname{ext}(f)|_{\Omega^{\text{int}}_\delta, \Omega^{\text{ext}}_\varepsilon}^{s,p} \lesssim \frac{1}{s} |f|_{\Omega^{\text{ext}}_\delta, \Omega^{\text{ext}}_\varepsilon}^{s,p} $ 이 수립되었으며, 이는 $ s \to 0 $ 에서 연산자 노름이 발산하지만, $ s \in (0,1) $ 에서는 여전히 유한함을 보여준다.
• 확장 연산자는 가중치 $ (1+|x|)^\beta $ 를 가진 가중 $ L^p $-공간에서 유계이며, 유계성 상수는 도메인 $ \Omega $ 에만 의존하며, $ f $ 에는 의존하지 않는다. 이는 $ p < \infty $ 에 대해 성립한다.
• $ s \to 1^- $ 의 극한에서 고전적 소볼레프 공간의 확장 결과가 복원되며, 이는 비국소 이론이 고전적 경계값 및 확장 정리들을 일반화하고 확장함을 보여준다.
• $ L^\infty $-유계성 결과가 증명되었으며, $ \|\operatorname{ext}(f)\|_{L^\infty(\Omega)} \lesssim \|f\|_{L^\infty(\Omega^c)} $ 이다. 이는 확장의 점별 제어를 확인한다.