ストリッカーツ評価

ストリッカーツ評価 (ストリッカーツひょうか、英：Strichartz estimate) とは、分散型および双曲型偏微分方程式の解の時空間ノルムを評価する不等式である。

分散型・双曲型偏微分方程式の現代的な数学解析においてもっとも基本的かつ必要不可欠な道具であり、あらゆる場面で用いられる。

歴史

シュレーディンガー方程式に対するストリッカーツ評価は、Robert_Strichartzが最初に与えた。オリジナルの論文では、d次元空間内のフーリエ変換を(d-1)次元(超)曲面上へ制限することで評価を得ている。その後、Ginibre--Velo, Yajima, Cazenave--Weisslerらによって改良された。最後のピースである、所謂「端点評価」を証明したのはKeel--Taoである。端点評価は空間2次元において破綻するが、Taoはノルムを補正することで同様の評価が与えられることを示した。

自由シュレーディンガー方程式の場合

許容指数対

実数の組$(p,q)\in [2,\mathrm{\infty }{]}^2$が許容指数対であるとは、次が成り立つことである： $\frac{2}{p}+\frac{d}{q}=\frac{d}{2}.$ ただし、$(d,p,q)=(2,2,\mathrm{\infty })$は除外する。

自由シュレーディンガー方程式に対するストリッカーツ評価

次の自由シュレーディンガー方程式を考える：

$i{\partial }_{t}u+\mathrm{\Delta }u=0,u(t,x):{ℝ}_{t,x}^{1+d}\to ℂ.$

ここで$\mathrm{\Delta }$はラプラシアンである。初期値が$u(0)=u_0$であれば、解は

$u(t,x)=e^{it\mathrm{\Delta }}{u}_0={ℱ}^{-1}(e^{-it|\xi {|}^2}\widehat{u_0}(\xi ))$

と書ける。このとき、ある定数$C_0>0$があって、任意の許容指数対$(p,q),(p_1,q_1)$に対して、次の不等式が成立する：

$\Vert e^{it\mathrm{\Delta }}{u}_0{\Vert }_{L^p({ℝ}_t;L^q({ℝ}_x^d))}\le C_0\Vert u_0{\Vert }_{L^2({ℝ}^d)},$$\Vert \underset{ℝ}{\int }{e}^{i(t-\tau )\mathrm{\Delta }}u(\tau )d\tau {\Vert }_{L^p({ℝ}_t;L^q({ℝ}_x^d))}\le C_0\Vert u{\Vert }_{L^{{p_1}^{\prime }}({ℝ}_t;L^{{q_1}^{\prime }}({ℝ}_x^d))},$ $\Vert \underset{0}{\overset{t}{\int }}{e}^{i(t-\tau )\mathrm{\Delta }}u(\tau )d\tau {\Vert }_{L^p({ℝ}_t;L^q({ℝ}_x^d))}\le C_0\Vert u{\Vert }_{L^{{p_1}^{\prime }}({ℝ}_t;L^{{q_1}^{\prime }}({ℝ}_x^d))}.$

ここで、$1/p+1/p^{\prime }=1$である。

空間2次元の端点評価

空間2次元の場合の端点指数$(d,p,q)=(2,2,\mathrm{\infty })$は除かれていた。しかし、次のように右辺のノルム(=抑えるノルム)を弱めることで、同様の評価が成り立つ：

$\Vert e^{it\mathrm{\Delta }}{u}_0{\Vert }_{L^2({ℝ}_t;X)}\le C_1\Vert u_0{\Vert }_{L^2({ℝ}^2)},$

$\Vert \underset{ℝ}{\int }{e}^{-i\tau \mathrm{\Delta }}u(\tau )d\tau {\Vert }_{L^2({ℝ}^2)}\le C_1\Vert u{\Vert }_{L^2({ℝ}_t;X^{\prime })},$

$\Vert \underset{0}{\overset{t}{\int }}{e}^{i(t-\tau )\mathrm{\Delta }}u(\tau )d\tau {\Vert }_{L^2({ℝ}_t;X)}\le C_1\Vert u{\Vert }_{L^{{p_1}^{\prime }}({ℝ}_t;L^{{q_1}^{\prime }}({ℝ}_x^d))}.$

ここで、$\Vert f{\Vert }_X:=\Vert f(r\theta ){\Vert }_{L_r^{\mathrm{\infty }}{L}_{\theta }^2},\Vert f{\Vert }_{X^{\prime }}:=\Vert f(r\theta ){\Vert }_{L_r^1{L}_{\theta }^2}$である。また、$(p_1,q_1)$は許容指数対である。特に、$u_0$が球対称関数のとき、$X=L^{\mathrm{\infty }}({ℝ}^d)$であることに注意せよ。

一般化

直交ストリッカーツ評価

三角不等式と通常のストリッカーツ評価から、直ちに次のことが分かる。許容指数対$(p,q)$と正規化されたL²関数の列$(u_n{)}_{n=1}^{\mathrm{\infty }}$に対して、

$\Vert \sum _{n=1}^{\mathrm{\infty }}{a}_n|e^{it\mathrm{\Delta }}{u}_n{|}^2{\Vert }_{L^{p/2}({ℝ}_t;L^{q/2}({ℝ}_x^d))}\le C_0\Vert a{\Vert }_{{\ell }^1}.$

が成り立つ。しかし実は、$(u_n{)}_{n=1}^{\mathrm{\infty }}$が正規直交系である場合、不等式は次のように改良されることが知られている：$1\le q/2<(d+1)/(d-1)$かつ$\alpha =2q/(q+1)$とするとき、

$\Vert \sum _{n=1}^{\mathrm{\infty }}{a}_n|e^{it\mathrm{\Delta }}{u}_n{|}^2{\Vert }_{L^{p/2}({ℝ}_t;L^{q/2}({ℝ}_x^d))}\le C_{d,p}\Vert a{\Vert }_{{\ell }^{\alpha }}$

が成り立つ。右辺のノルムが${\ell }^1$から${\ell }^{\alpha },\alpha >1$になっているところがポイントである。a<bのとき${\ell }^a\subset {\ell }^b$であることに注意せよ。

ポテンシャルがついたシュレーディンガー方程式の場合

加筆してくださる方を募集しています。

時間に依存しないポテンシャルの場合

加筆してくださる方を募集しています。

時間に依存するポテンシャルの場合

加筆してくださる方を募集しています。

変数係数のシュレーディンガー方程式の場合

加筆してくださる方を募集しています。

波動方程式の場合

加筆してくださる方を募集しています。

日本語の関連文献

• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite journal