[論文レビュー] Riesz transforms outside a convex obstacle

Rowan Killip, Monica Vişan+1 more|arXiv (Cornell University)|May 25, 2012

Advanced Mathematical Physics Problems参考文献 35被引用数 4

ひとこと要約

本稿は、$d \geq 3$ の次元における滑らかな凸障害物の外部領域におけるディリクレラプラシアンに対して、リーマン変換の鋭い $L^p$ 有界性および同次ソボレフノルムの同値性を確立する。熱核推定、スペクトル理論、および反例を用いて、リーマン変換が $1 < p < d$ では $L^p$ で有界であり、$p > d$ では有界でないことが示され、端点 $p = d$ については未解決のまま残っている。これらの結果により、古典的なユークリッド調和解析の道具が外部領域設定へと移行可能となり、エネルギー臨界な非線形シュレーディンガー方程式への応用が可能となる。

ABSTRACT

The goal of this paper is to develop some basic harmonic analysis tools for the Dirichlet Laplacian in the exterior domain associated to a smooth convex obstacle in dimensions $d\geq 3$. Specifically, we will discuss analogues of the Mikhlin Multiplier Theorem, Littlewood-Paley Theory, and Hardy inequalities, culminating in a proof that homogeneous Sobolev norms defined with respect to the Dirichlet and whole-space Laplacians are equivalent for the sharp ranges of integrability exponent $p$ and regularity $s$. Counterexamples are included to show that these results are indeed sharp. In particular, we precisely settle the question of boundedness of Riesz transforms on $L^p$, including the endpoint. The utility of such results in the study of nonlinear PDE is that they allow us to deduce important results, such as the fractional product and chain rules for the Dirichlet Laplacian, directly from the classical Euclidean setting. As an application, we discuss the local well-posedness and stability problems for energy-critical NLS. All the results of this paper play an essential role in the authors' proof of large-data global well-posedness and scattering for the energy-critical NLS in three dimensional exterior domains; see arXiv:1208:4904.

研究の動機と目的

• 滑らかな凸障害物の外部領域におけるディリクレラプラシアンに対して、ミフリン乗数定理、リトルウッド＝パイル理論、ハーディー不等式といった調和解析の道具を構築すること。
• 外部領域におけるディリクレラプラシアンのリーマン変換の鋭い $L^p$ 有界性（端点を含む）を確立すること。
• 同次ソボレフノルム $\|(-\Delta_\Omega)^{s/2}f\|_{L^p}$ と $\|(-\Delta_{\mathbb{R}^d})^{s/2}f\|_{L^p}$ が、$f \in C_c^\infty(\Omega)$ に対して同値となる $p$ および $s$ の範囲を特定し、その範囲が鋭いかどうかを示すこと。
• リーマン変換の $L^p$ 有界性結果の鋭さを示す反例を提供すること。
• 古典的なユークリッド調和解析の結果（例えば、ミフリン乗数定理やリトルウッド＝パイル理論など）を外部領域設定へと移行可能にすることにより、エネルギー臨界な非線形PDE（例：エネルギー臨界NLS）の解析を容易にすること。

提案手法

• ディリクレラプラシアン $-\Delta_\Omega$ のスペクトル理論および関数計算を用いて、$\|(-\Delta_\Omega)^{s/2}f\|_{L^p}$ を用いて同次ソボレフノルムを定義する。
• 熱核推定と因数分解 $\sqrt{t}\nabla e^{t\Delta_\Omega} = [\nabla(-\Delta_{\mathbb{R}^d})^{-1/2}][(-\Delta_{\mathbb{R}^d})^{1/2}(-\Delta_\Omega)^{-1/2}][(-t\Delta_\Omega)^{1/2}e^{t\Delta_\Omega}]$ を用いて、外部領域とユークリッド空間における熱流を関連付ける。
• 明示的なテスト関数 $u(t,x) = (1 - \|x\|^{2-d})g(t,x)$（$g$ はガウス型熱解）を用いた背理法により、$p > d$ のとき $L^p$ 有界性が成立しないことを示す。
• コンパクトな台を持つ $\psi \in C_c^\infty(\mathbb{R}^d)$ で $\int \psi = 0$、$\int x\psi = 0$ を満たすものを利用して、$\|(-\Delta_{\mathbb{R}^d})^{s/2}f_R\|_{L^p} \gtrsim 1$ である一方で $\|(-\Delta_\Omega)^{s/2}f_R\|_{L^p} \to 0$ となるような列 $f_R$ を構成し、ソボレフノルムの同値性の鋭さを証明する。
• ハーディー不等式とトレース定理を用いて、$H^1_D(\Omega)$ 内の熱方程式の解の境界での消滅および正則性を保証する。
• スペクトル定理を用いて、$(-\Delta_\Omega)^{s/2}$ を $L^2(\Omega)$ 上の自己共役作用素として定義し、その定義域を $H^1_D(\Omega)$ とする。

実験結果

リサーチクエスチョン

• RQ1 滑らかな凸障害物の外部領域における $d \geq 3$ のディリクレラプラシアンに対して、リーマン変換が $L^p(\Omega)$ 上で有界となる $p \in (1, \infty)$ はどれか？
• RQ2 同次ソボレフノルム $\|(-\Delta_\Omega)^{s/2}f\|_{L^p}$ と $\|(-\Delta_{\mathbb{R}^d})^{s/2}f\|_{L^p}$ は、$f \in C_c^\infty(\Omega)$ に対して同値であるか？ その同値性が成立する $p$ および $s$ の範囲は何か？
• RQ3 すべての $t > 0$ に対して、一様推定 $\|\sqrt{t}\nabla e^{t\Delta_\Omega}f\|_{L^p} \lesssim \|f\|_{L^p}$ が成り立つための $p$ の鋭い範囲は何か？
• RQ4 リーマン変換の $L^p$ 有界性が $p > d$ のとき失敗することを示す反例を構成できるか？
• RQ5 ミフリン乗数定理やリトルウッド＝パイル理論といった古典的調和解析の道具は、外部領域におけるディリクレラプラシアンへどの程度まで拡張可能か？

主な発見

• 滑らかな凸障害物の外部領域における $d \geq 3$ のディリクレラプラシアンに対して、リーマン変換は $1 < p < d$ では $L^p$ で有界であり、$p > d$ では有界でない。端点 $p = d$ については未解決のまま残っている。
• 同次ソボレフノルム $\|(-\Delta_\Omega)^{s/2}f\|_{L^p}$ と $\|(-\Delta_{\mathbb{R}^d})^{s/2}f\|_{L^p}$ は、$f \in C_c^\infty(\Omega)$ に対して、$1 < p < d$ および $s \in (0, d/p)$ の範囲で同値であり、この範囲は鋭い。
• 一様推定 $\|\sqrt{t}\nabla e^{t\Delta_\Omega}f\|_{L^p} \lesssim \|f\|_{L^p}$ がすべての $t > 0$ で成り立つのは、$p < d$ のときに限られ、$p > d$ では失敗する。これは、摂動されたガウス型熱解を用いた背理法によって示された。
• 反例により、リーマン変換の $L^p$ 有界性が $p > d$ のとき失敗することを示し、$\|(-\Delta_{\mathbb{R}^d})^{s/2}f_R\|_{L^p} \gtrsim 1$ である一方で $\|(-\Delta_\Omega)^{s/2}f_R\|_{L^p} \to 0$（$R \to \infty$ のとき）となるような列 $f_R$ を用いて、ソボレフノルムの同値性の鋭さが確認された。
• これらの結果により、古典的なユークリッド調和解析の道具（例えば、分数階の積の法則や合成関数の法則）がディリクレラプラシアンへ直接移行可能となり、外部領域におけるエネルギー臨界非線形シュレーディンガー方程式の局所的well-posednessおよび安定性に関する新しい証明が可能となった。
• 本稿は、$s < 3/2$ の範囲で、スペクトル理論による $\dot{H}_D^{s,p}(\Omega)$ の定義と、$\dot{H}^{s,p}(\mathbb{R}^d)$ の制限による定義が同値であることを確立した。$s=1$ の場合を用いて、この結果は $s \leq 1$ へと拡張可能である。