[논문 리뷰] Hitchhiker's guide to the fractional Sobolev spaces

Eleonora Di Nezza, Giampiero Palatucci외 1명|arXiv (Cornell University)|2011. 04. 21.

Advanced Harmonic Analysis Research참고 문헌 54인용 수 22

한 줄 요약

이 논문은 보간법과 베소프 공간 기법을 피하고, 가가르도 반노름을 사용하여 분수 스토퍼프 공간 $W^{s,p}$에 대한 자가 포함적이고 초등적인 소개를 제공한다. 임베딩 정리, 경계 이론, 컴팩트성 결과를 수립하며, 비리프시츠 도메인 설정에서 일부 컴팩트 임베딩이 성립하지 않는 것을 보여주는 반례를 제시한다.

ABSTRACT

This paper deals with the fractional Sobolev spaces W^[s,p]. We analyze the relations among some of their possible definitions and their role in the trace theory. We prove continuous and compact embeddings, investigating the problem of the extension domains and other regularity results. Most of the results we present here are probably well known to the experts, but we believe that our proofs are original and we do not make use of any interpolation techniques nor pass through the theory of Besov spaces. We also present some counterexamples in non-Lipschitz domains.

연구 동기 및 목표

• 최소한의 배경 지식을 가진 학부생 및 연구자들에게 분수 스토퍼프 공간 $W^{s,p}$에 대한 엄밀하면서도 접근 가능한 소개를 제공하기 위해.
• 보간법이나 베소프 공간 이론에 의존하지 않고도 임베딩, 컴팩트성, 경계 이론 등의 핵심 분석적 성질을 수립하기 위해.
• 구체적인 반례를 통해 컴팩트 임베딩을 위한 도메인 정규성(예: 리프시츠 조건)의 필요성을 보여주기 위해.
• 가가르도 반노름의 역할과 분수 라플라스 연산자 및 비국소 에너지와의 관계를 명확히 하기 위해.

제안 방법

• 가가르도 반노름 $[u]_{W^{s,p}}^p = \iint_{\bbR^n \times \bbR^n} \frac{|u(x)-u(y)|^p}{|x-y|^{n+sp}}\,dx\,dy$ 를 이용해 $W^{s,p}(\bbR^n)$ 를 정의한다.
• 직접적인 추정과 도메인의 기하적 분해를 사용하여 르베그 공간으로의 연속적 및 컴팩트 임베딩을 증명한다.
• 확장 문제를 분석한다: 적절한 조건 하에서 $W^{s,p}(\Omega)$ 에 속하는 함수를 $W^{s,p}(\bbR^n)$ 으로 확장할 수 있는가를 고려한다.
• 분수 라플라스 연산자의 정의에 등장하는 상수 $C(n,s)$ 의 渐近적 분석을 통해 $s \to 0$ 또는 $s \to 1$ 일 때의 행동을 연구한다.
• 비리프시츠 도메인에서의 컴팩트 임베딩 실패와 $W^{s,p}$ 에서의 유계성 실패를 보여주는 명시적 반례를 구성한다.
• 도메인을 이진 링태(dyadic annuli)로 분해하고 스케일링 추론을 사용하여 비국소 에너지 적분을 추정한다.

실험 결과

연구 질문

• RQ1 가가르도 반노름을 통해 정의된 분수 스토퍼프 공간 $W^{s,p}$ 의 기본 성질은 무엇이며, 고전적 스토퍼프 공간과의 관계는 어떻게 되는가?
• RQ2 $W^{s,p}(\Omega)$ 에 속하는 함수가 $\bbR^n$ 으로 확장될 수 있는 조건은 무엇이며, 도메인 기하학은 어떤 역할을 하는가?
• RQ3 왜 리프시츠 조건이 $W^{s,p}(\Omega)$ 가 $L^q(\Omega)$ 로 컴팩트 임베딩되기 위해 필수적인가? 비리프시츠 도메인에서는 무엇이 실패하는가?
• RQ4 가가르도 반노름의 비국소 성질이 비정규 도메인에서의 정규성과 적분 가능성에 어떤 영향을 미치는가?
• RQ5 분수 라플라스 연산자에서 상수 $C(n,s)$ 의 점근적 행동은 무엇이며, 이는 연산자의 정의에 어떤 영향을 미치는가?

주요 결과

• 가가르도 반노름은 보간법이나 베소프 공간이 필요 없이 $W^{s,p}$ 를 자연스럽고 초등적으로 정의하는 데 유용하다.
• 적절한 도메인 정규성 하에서 르베그 공간으로의 연속적 및 컴팩트 임베딩이 성립하며, 기하적 분해를 통해 날카운 추정이 유도된다.
• 도메인 기하학이 영향을 미치지만, 약간의 조건 하에서 $W^{s,p}(\Omega)$ 에 속하는 함수는 $\bbR^n$ 으로 확장 가능하다.
• 비리프시츠 도메인에서는 반지름 $a_n = C^{-n}$ 인 서로소 공에 정의된 수열 $\{f_n\}$ 이 $H^s(\Omega)$ 에서는 유계이지만 $L^2(\Omega)$ 에서는 수렴하는 부분수열을 가지지 않아 컴팩트성 실패가 나타난다.
• 비리프시츠 도메인에서 유계 함수에 대해서도 비국소 에너지 적분 $\iint_{\Omega \times \Omega} \frac{|u(x)-u(y)|^p}{|x-y|^{n+sp}}\,dx\,dy$ 가 발산할 수 있으며, 이는 $W^{s,p}$ 반노름이 무한대가 되는 함수 $u$ 를 구성함으로써 보여진다.
• 분수 라플라스 연산자의 상수 $C(n,s)$ 가 $s \to 1^-$ 일 때의 점근적 행동을 분석하여, 분수 라플라스 연산자가 고전 라플라스 연산자로 점근 수렴하는 데서 그 역할을 밝혀낸다.