[論文レビュー] Spherically averaged endpoint Strichartz estimates for the two-dimensional Schrödinger equation

Terence Tao|ArXiv.org|Nov 29, 1998

Advanced Mathematical Physics Problems参考文献 6被引用数 30

ひとこと要約

本稿は、2次元シュレーディンガー方程式に対する球面平均をとった終点ストリッカーツ推移を確立する。標準的な終点推移は2次元では成立しないが、解を角方向で$L^2$で平均した場合には成立することを示している。主な結果は、同次および遅延半終点推移が球面平均の下で有効であり、径対称データは元の終点推移を満たすということである。

ABSTRACT

The endpoint Strichartz estimates for the Schrödinger equation are known to be false in two dimensions. However, if one averages the solution in $L^2$ in the angular variable, we show that the homogeneous endpoint and the retarded half-endpoint estimates hold, but the full retarded endpoint fails. In particular, the original versions of these estimates hold for radial data.

研究の動機と目的

• 2次元シュレーディンガー方程式の古典的設定における終点ストリッカーツ推移の失敗を解消すること。
• 角方向平均または径対称性の下で、終点推移が回復可能かどうかを調査すること。
• 2次元において遅延非同次推移が成立するための鋭い条件を特定すること。
• 全終点推移の失敗と、球面平均または径対称性による部分的回復の違いを明確にすること。

提案手法

• 変数分離を用いて、径方向と角方向の成分に分離し、ベッセル関数$J_n$を含む振動積分の推移に問題を還元する。
• シュレーディンガー発展作用素の明示的基本解と極座標を用いて、解をベッセル関数で表現する。
• 文献[9]で分析されたタイプの振動積分に対する最大関数推移を適用し、$x=n$付近での$J_n(x)$の取り扱いに注意を払う。
• 双対性を用いて、同次推移(1)から双対推移(2)を導出する。
• ChristとKiselev[2]の一般的議論を用い、時間制限$s<t$を介して、同次推移を遅延非同次系に拡張する。
• 次元解析とヒルベルト変換を用いた反例を構築し、径対称データに対しても全終点推移が失敗することを示す。

実験結果

リサーチクエスチョン

• RQ1 2次元シュレーディンガー方程式に対して、角方向平均の下で終点ストリッカーツ推移$(q,r,n) = (2,\infty,2)$が回復可能か？
• RQ2 データが球面平均または径対称である場合、遅延非同次ストリッカーツ推移が全終点で成立するか？
• RQ3 同次および半終点推移が成立しているにもかかわらず、全遅延終点推移が径対称データに対しても失敗するのはなぜか？
• RQ4 径対称性が、一般の場合に失敗する終点推移を回復する役割を果たすのはどのような理由か？

主な発見

• 同次終点推移は$L^\infty_r L^2_\theta$ノルムで成立する：$\|e^{it\Delta}f\|_{L^2_t L^\infty_r L^2_\theta} \lesssim \|f\|_{L^2_x}$。
• 双対推移$\|\int e^{-is\Delta}F(s)\,ds\|_{L^2_x} \lesssim \|F\|_{L^{q'}_t L^{r'}_x}$は、解の$L^\infty_r L^2_\theta$ノルムと同じ条件下で成立する。
• 遅延非同次推移はすべての許容可能な$({\tilde{q}},{\tilde{r}})$で成立するが、二重終点$({\tilde{q}},{\tilde{r}}) = (2,\infty)$では失敗する。
• 径対称データでは、元の終点推移$(q,r,n) = (2,\infty,2)$が成立する。これは$L^\infty_r L^2_\theta$ノルムが$L^\infty$に簡略化されるためである。
• 全遅延終点推移は、ヒルベルト変換を用いた反例により、径対称$F$に対しても失敗することが示された。
• 失敗は頑健である：$L^\infty$をBMOや$H^1$に置き換えても、周波数局在化や滑らかさ条件があっても、依然として成立する。