[논문 리뷰] On homogeneous Sobolev and Besov spaces on the whole and the half space

Anatole Gaudin|arXiv (Cornell University)|2022. 11. 14.

Advanced Harmonic Analysis Research참고 문헌 29인용 수 4

한 줄 요약

이 논문은 다항식에 대한 몫공간을 피하여 잘 정의된 곱법칙과 경계 연산자를 보장하기 위해, $ℝ^n$과 상부 반공간 $ℝ^n_+$ 위에서 동차 소볼레프 및 베소프 공간의 분포 기반 구축을 제안한다. $τ$-분포 공간 $τ′_h(\mathbb{R}^n)$ 위에서의 실 및 복소 보간 이론을 사용하여 경계 정리와 응용을 수립하고, 딜리클레 및 뉴먼 라플라스 연산자에 대해 날카운 추정치를 도출한다.

ABSTRACT

In this paper, we propose an elementary construction of homogeneous Sobolev spaces of fractional order on $\mathbb{R}^n$ and $\mathbb{R}^n_+$. This construction completes the construction of homogeneous Besov spaces on $\mathcal{S}'_h(\mathbb{R}^n)$ started by Bahouri, Chemin and Danchin on $\mathbb{R}^n$. We will also extend the treatment done by Danchin and Mucha on $\mathbb{R}^n_+$, and the construction of homogeneous Sobolev spaces of integer orders started by Danchin, Hieber, Mucha and Tolksdorf on $\mathbb{R}^n$ and $\mathbb{R}^n_+$. Properties of real and complex interpolation, duality, and density are discussed. Trace results are also reviewed. Our approach relies mostly on interpolation theory and yields simpler proofs of some already known results in the case of Besov spaces. The lack of completeness on the whole scale will lead to consideration of intersection spaces with decoupled estimates to circumvent this issue. As standard and simple applications, we treat the problems of Dirichlet and Neumann Laplacians in these homogeneous functions spaces.

연구 동기 및 목표

• $\mathbb{R}^n$과 $\mathbb{R}^n_+$ 위에서 다항식에 대한 몫공간을 피하여 동차 소볼레프 및 베소프 공간의 일致한 분포 기반 실현을 제공하는 것.
• 다항식에 대한 등급류 위에서의 분포의 등급류를 다룰 때 발생하는 곱법칙과 경계 연산자의 비유일성 문제를 해결하는 것.
• 보간 이론과 저주파수 프로젝션의 감쇠 조건을 이용하여 반공간 위에서 동차 공간에 대한 경계 정리를 수립하는 것.
• 반공간 $\mathbb{R}^n_+$ 위에서 딜리클레 및 뉴먼 라플라스 연산자에 이 틀을 적용하여 동차 함수 공간에서의 유계성과 정칙성 결과를 증명하는 것.
• 이전의 동차 공간 구성(예: Bahouri-Chemin-Danchin, Danchin-Mucha)을 $\mathcal{S}'_h$ 위에서의 보간을 통해 분수계수 및 비정수 차수로 확장하는 것.

제안 방법

• 저주파수 노름이 $\lambda \to \infty$일 때 균일하게 소멸하는 조건을 만족하는 $\mathcal{S}'_h(\mathbb{R}^n)$의 부분공간으로서 동차 함수 공간을 정의하여, 저주파수 프로젝션의 감쇠를 보장한다.
• 실 및 복소 보간 이론을 사용하여 동차 베소프 및 소볼레프 공간을 구성하고, $\mathcal{S}'_h$의 구조를 활용하여 분포적 성격을 유지하고 완비성 문제를 피한다.
• 포아송 커널과 푸리에 승수 기법을 사용하여 $\mathbb{R}^{n-1}$ 위의 데이터에서 $\mathbb{R}^n_+$ 위의 함수로 사영하는 확장 연산자 $T$를 통한 경계 연산자를 정의한다.
• 확대 변환을 적용하여 날카운 경계 추정치를 유도한다: $f \in \dot{B}^{s - 1/p}_{p,p}(\mathbb{R}^{n-1})$ 이면 $\|Tf\|_{\dot{H}^{s,p}(\mathbb{R}^n_+)} \lesssim \|f\|_{\dot{B}^{s - 1/p}_{p,p}(\mathbb{R}^{n-1})}$.
• 실 보간과 $L^p$ 기반 노름, 가중치 추정치를 사용하여, 베소프 공간의 비끝점 $q$-노름으로 결과를 확장한다.
• 포아송 반구군의 유계성을 증명하고, 주파수 국소화 및 척도 변환 기법을 통해 확장 연산자 $T$의 추정치를 도출한다.

실험 결과

연구 질문

• RQ1 $\mathbb{R}^n$과 $\mathbb{R}^n_+$ 위에서 다항식에 대한 몫공간을 고려하지 않고, 분포의 부분공간으로서 동차 소볼레프 및 베소프 공간을 어떻게 일致있게 정의할 수 있는가?
• RQ2 $\mathcal{S}'_h(\mathbb{R}^n)$ 공간은 다항식에 대한 분포의 등급류 위에서의 곱법칙과 경계 연산자의 잘 정의됨을 어떻게 보장하는가?
• RQ3 보간 이론을 사용하여 반공간 위에서 정수계수에서 분수계수로의 동차 공간 구성 확장을 어떻게 가능하게 할 수 있는가?
• RQ4 반공간 $\mathbb{R}^n_+$ 위에서 동차 베소프 및 소볼레프 공간의 함수에 대한 날카운 경계 추정치는 무엇이며, 그 정규성과 적분 가능성 매개변수에 어떻게 의존하는가?
• RQ5 이 틀을 딜리클레 및 뉴먼 라플라스 연산자에 적용하여 동차 함수 공간에서의 유계성과 정칙성을 어떻게 확립할 수 있는가?

주요 결과

• 저주파수 프로젝션의 균일한 소멸 조건으로 정의된 공간 $\mathcal{S}'_h(\mathbb{R}^n)$은 다항식 등급류의 모호함을 피하여 동차 함수 공간의 일致한 정의 도메인을 제공한다.
• $s \geq 0$, $p \in (1, \infty)$, $f \in \dot{B}^{s - 1/p}_{p,p}(\mathbb{R}^{n-1})$ 이면 확장 연산자 $T$는 $\|Tf\|_{\dot{H}^{s,p}(\mathbb{R}^n_+)} \lesssim \|f\|_{\dot{B}^{s - 1/p}_{p,p}(\mathbb{R}^{n-1})}$ 를 만족하여 날카운 경계 추정치를 확립한다.
• $s > 0$, $p \in (1, \infty)$, $q \in [1, \infty)$, $f \in \dot{B}^{s - 1/p}_{p,q}(\mathbb{R}^{n-1})$ 이면 실 보간과 확대 변환 기법을 통해 $\|Tf\|_{\dot{B}^{s}_{p,q}(\mathbb{R}^n_+)} \lesssim \|f\|_{\dot{B}^{s - 1/p}_{p,q}(\mathbb{R}^{n-1})}$ 가 성립한다.
• 이 구성은 잘 정의된 (퍼라-)곱법칙과 경계 연산자를 가능하게 하여, 다항식에 대한 분포의 등급류에서 발생하는 비유일성 문제를 해결한다.
• 이 틀은 이전의 동차 공간 결과를 분수계수로 확장하고, 반공간 위에서의 딜리클레 및 뉴먼 라플라스 연산자에 대한 통합적 접근을 제공한다.
• 교차 공간과 분리된 추정치의 사용은 동차 공간의 완비성 부족을 회피하여 비선형 PDE의 일致된 분석을 가능하게 한다.