大学数学/大学院入試/書評/統計検定
前回の記事では，初期値$u_0=u(0,x)$に対する自由Schrödinger方程式
の解$u=e^{it\Delta}u_0$について成り立つ[$L^pL^q$評価]を示しました．
この記事では，Schrödinger(シュレディンガー)方程式を考える際に重要な不等式である[Strichartz(ストリッカーツ)評価]を説明します．
[$L^pL^q$評価]は端点の場合を示し，間の組$(p,q)$に対しては補間定理を用いることで示すことができるのでした．
なお，Schrödinger方程式の[Strichartz評価]は，歴史的にはより古い波動方程式に関する[Strichartz-Brenner評価]に対応します．
一連の記事はこちら
【自由シュレディンガー方程式の基本解とユニタリ群】
【シュレディンガー方程式の基本解の[$L^pL^q$評価]の導出】
【シュレディンガー方程式のストリッカーツ評価の導出】←今の記事
例えば，初期条件$x(0)=x_0$を満たす常微分方程式
は適切な定義域において解をただ１つもちます．
このことは[Picard(ピカール)-Lindelöf(リンデレフ)の定理]により示されます．
この[Picard–Lindelöfの定理]は常微分方程式の解を帰納的に近似していく方法により証明されますが，この近似の方法を[Picardの逐次近似法]といいます．
この記事では
の２つを説明します．
ベクトル解析において，３つの微分作用素
は基本的で，多くの場面で現れます．
とくに積に関する微分(例えば$\operatorname{div}{f\m{v}}$, $\operatorname{grad}(fg)$など)はよく現れ，これは公式として当たり前に使えるようになっておきたいところです．
この記事では，これら３つの基本の微分作用素の
をまとめます．
線形代数学でベクトルを学び，微分積分学で偏微分を学びます．
数学や物理ではベクトルに関する偏微微分を考えることがよくあり，ベクトルの偏微分を扱う分野としてベクトル解析があります．
その中でよく扱う偏微分として
があります．
この記事では，これらの定義とイメージを説明し，ナブラ$\nabla$による表し方を説明します．
また，これら３つの微分作用素の合成の関係式も紹介します．
なお，[和の微分公式]，[積の微分公式]，[内積・外積の微分公式]については以下の記事を参照してください．
【ベクトル解析の基本の微分公式のまとめ｜gradとdivとrot】
ベクトル解析では$\operatorname{grad}$, $\operatorname{div}$, $\operatorname{rot}$の計算ができることは大切です．この記事では，これらの微分公式をまとめています．
$|x|\to\infty$のときに任意の多項式より速く減衰する関数を急減少関数 (rapidly decreasing function)といいます．
また，急減少関数全部の集合をSchwartz(シュワルツ)空間といい，Fourier(フーリエ)変換と密接な関係をもつなど重要な関数空間の１つです．
例えば，有界区間$I$上で１回連続微分可能な関数の空間$C^1(I)$は
をノルムとして完備となります．
このように，適当な性質をもつ可算個のセミノルムの族を備えた完備な空間をFréchet空間といい，実はSchwartz空間もFréchet空間です．
この記事では，Schwartz空間を定義し，完備性を証明します．
一様可積分性をもつ確率変数列は，積分と極限の順序交換に関する[Vitaliの収束定理]が成り立ちます．
[Vitaliの収束定理]は一様可積分な確率変数列が０に概収束していれば期待値も０に収束することが言えるため，[Lebesgueの収束定理]とは違って優関数をとってこなくても適用できる点が大きなメリットです．
この[Vitaliの収束定理]については前回の記事で説明したので参照してください．
したがって，[Vitaliの収束定理]を適用するには，確率変数列が一様可積分であることを判定する必要があリマス．
今回の記事では一様可積分性が成り立つための
を説明します．
一連の記事はこちら
【確率変数の4つの収束｜概収束，平均収束，確率収束，法則収束】
【一様可積分とヴィタリの収束定理｜ルベーグの収束定理の一般化】
【一様可積分性の判定条件｜十分条件と必要十分条件】←この記事
前回の記事で，確率変数列の基本の収束については
のでした．しかし，一様可積分性のもとで確率変数列の収束を考えると
ということが示されます．
とくに前者は[Vitali(ヴィタリ)の収束定理]と呼ばれ，[Lebesgue(ルベーグ)の収束定理]の一般化となっています．
この記事で[Vitali(ヴィタリ)の収束定理]の証明をし，一様可積分性のもとで１次収束平均と確率収束が同値であることは次の記事で証明する．
一連の記事はこちら
【確率変数の４つの収束｜概収束，平均収束，確率収束，法則収束】
【一様可積分とヴィタリの収束定理｜ルベーグの収束定理の一般化】←今の記事
【一様可積分性の判定条件｜十分条件と必要十分条件】
確率変数列$\{X_n\}_{n\in\N}$の収束として，
の4種類が基本的である．
これらの間には，たとえば確率収束する確率変数は法則収束するように，これらの収束の間に強弱の関係がある．
この記事では，これらの収束の定義を述べたあと，これらの収束の条件の強さを比較する．
一連の記事はこちら
【確率変数の4つの収束｜概収束，平均収束，確率収束，法則収束】←この記事
【一様可積分とヴィタリの収束定理｜ルベーグの収束定理の一般化】
【一様可積分性の判定条件｜十分条件と必要十分条件】
ノルムが備わっている線形空間をノルム空間，内積が備わっている線形空間を内積空間といいます．
ノルム空間，内積空間は元の大きさを測ることができる線形空間ということができ，解析学では頻繁に用いられます．
また，完備なノルム空間をBanach(バナッハ)空間，完備な内積空間をHilbert(ヒルベルト)空間といいます．
Banach空間/Hilbert空間はもとより線型空間なので線型空間としての部分空間を考えることができ，部分空間に元の空間と同じノルム/内積を与えたものはノルム空間/内積空間となります．
しかし，このノルム/内積を備えた部分空間が完備性をもつとは限りません．
つまり
というわけですね．
本稿では，Banach空間/Hilbert空間の部分ノルム空間/部分内積空間で完備でないものの例を考えます．
この記事では，Schrödinger(シュレディンガー)方程式の基本解に関して基本的な評価式である[$L^pL^q$評価]を説明します．
Schrödinger方程式の基本解とは，大雑把には初期値$u_0=u(0,x)$に対する自由Schrödinger方程式
の解$u$のことで，$u,u_0\in\mathcal{S}(\R^d)$のとき解は$u=e^{it\Delta}u_0$と表すことができます．
Schrödinger方程式の[$L^pL^q$評価]は$\|e^{it\Delta}u_0\|_{L^{p}(\R^{d})}$を$\|u_0\|_{L^{q}(\R^{d})}$で上から評価する不等式です．
Schrödinger方程式に関する重要な評価式である[Strichartz(ストリッカーツ)評価]のベースとなります．
一連の記事はこちら
【自由シュレディンガー方程式の基本解とユニタリ群】
【シュレディンガー方程式の基本解の[$L^pL^q$評価]の導出】←今の記事
【シュレディンガー方程式のストリッカーツ評価の導出】