[論文レビュー] On homogeneous Sobolev and Besov spaces on the whole and the half space

Anatole Gaudin|arXiv (Cornell University)|Nov 14, 2022

Advanced Harmonic Analysis Research参考文献 29被引用数 4

ひとこと要約

本稿では、多項式による商空間を避けることで、積分法則やトレース作用素が一意に定義されるように、$\mathbb{R}^n$ および上半空間 $\mathbb{R}^n_+$ 上における同次ソボレフ空間およびベソフ空間の、分布に基づく新しい構成を提示する。$\mathcal{S}'_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_+$ 上のディリクレおよびノイマンラプラシアンにこの枠組みを応用し、同次関数空間における有界性および正則性に関する結果を証明すること。
• バウリ・チエン・ダンキンやダンキン・ムチャららの既存の同次空間の構成を、$\mathcal{S}'_h$ 上での補間を用いて、分数階および非整数階に拡張すること。

提案手法

• $\mathcal{S}'_h(\mathbb{R}^n)$ の部分空間として同次関数空間を定義する。ここで $\mathcal{S}'_h(\mathbb{R}^n)$ は、$\lambda \to \infty$ のとき低周波数ノルムが一様に消えるテンパード分布の空間であり、低周波数射影の減衰を保証する。
• 実および複素補間理論を用いて、同次ベソフ空間およびソボレフ空間を構成する。$\mathcal{S}'_h$ の構造を活かして、分布的性質を保ち、完備性の問題を回避する。
• 拡張作用素 $T$ を用いてトレース作用素を確立する。$T$ は $\mathbb{R}^{n-1}$ 上のデータを $\mathbb{R}^n_+$ 上の関数に写像する。ポisson核およびフーリエ乗算子技法を用いる。
• スケーリングと拡大変換を用いて鋭いトレース推定を得る：$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 同次ベソフ空間およびソボレフ空間上の関数に対する鋭いトレース推定は何か？また、正則性および可積分性のパrameterにどのように依存するか？
• 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の一貫性ある解析を可能にする。