【SPONSORED LINK】

関数解析一覧

バナッハ空間とヒルベルト空間の完備でない部分空間の例

完備なノルム空間をBanach(バナッハ)空間といい,完備な内積空間をHilbert(ヒルベルト)空間という.

Banach空間(Hilbert空間)はもとより線型空間なので,線型空間としての部分空間を考えることができる.この部分空間に元の空間と同じノルム(内積)を与えたものはノルム空間(内積空間)となるが,完備性を持つとは限らない.

すなわち,Banach空間の部分空間が同じノルムでBanach空間になるとは限らないし,Hilbert空間の部分空間が同じ内積でHilbert空間になるとは限らない.

本稿では,Hilbert空間の部分ノルム空間で完備でないものの例を考える.その際,以下の事実に注意する.

一般に,Banach空間,Hilbert空間の部分空間が同じノルムで完備であるためには,部分空間が閉であることが必要十分である.したがって,Banach空間,Hilbert空間の閉でない部分ノルム空間は完備でない.

続きを読む


弱Lp有界性とマルチンキーヴィッツの実補間定理

関数空間の補間定理として,[Marcinkiewicz(マルチンキーヴィッツ)の実補間定理]があります.

定義はのちに述べますが,作用素のL^p有界性には

  • (普通の)L^p有界性
  • L^p有界性

があります.名前からも分かるように,作用素TL^p有界であれば弱L^p有界となります.

[Marcinkiewiczの実補間定理]は,ある種の三角不等式を満たす作用素Tが

  • L^1有界性
  • L^q有界性 (1<q)

をもつとき,任意のp\in(1,q)に対して作用素TがL^p有界性をもつことを保証する定理です.つまり,両端L^1L^qで弱有界であれば,その間でL^p有界となるわけですね.

この「両端は弱でよい」というのが[Marcinkiewiczの実補間定理]の優れた点で,加えて[Marcinkiewiczの実補間定理]は線形でない作用素に適用できる点も優れています.

なお,「マルチンキェーヴィツ」がMarcinkiewiczの正確な発音に近いようです.

続きを読む


双対性議論(duality argument)について

p\in[1,\infty)に対して,p'=\bra{1-\frac{1}{p}}^{-1}p'\in(1,\infty]を定める(すなわち,pp'はHölder共役).

このとき,L^{p}の共役空間(双対空間)(L^{p})^{*}L^{p'}と同型であることはよく知られているが,この事実を示すことは簡単ではない.

しかし,この双対的な議論をするとき,(L^{p})^{*}\cong L^{p'}まで用いる必要はなく,任意のv\in L^{p'}(\Omega)に対して,

    \begin{align*} \|v\|_{L^{p'}(\Omega)} =\sup_{\|u\|_{L^{p}(\Omega)}=1}\abs{\int_{\Omega}u(x)v(x)\,dx} \end{align*}

が成り立つことを用いれば十分なことも多い.

この記事では,この等式に関する証明を行う.

なお,\Omega\subset\R^Nに対して,I_{\Omega}\Omega\subset\R^N上の定義関数とする.

続きを読む


Riesz-Thorinの複素補間定理とその証明

作用素の中でも,有界作用素は様々な良い性質をもつ.

作用素の有界性を保証する定理の一つとして,[Riesz(リース)-Thorin(ソリン,トーリン)の複素補間定理]がある.

[Riesz-Thorinの複素補間定理]は以下のように述べられる.

作用素TL^{p_0}からL^{q_0}への有界作用素,かつL^{p_1}からL^{q_1}への有界作用素でもあるとき,TL^{p_{\theta}}からL^{q_{\theta}}への有界作用素となる.

ここに,p_{\theta}, q_{\theta}は次の通りである.

    \begin{align*} p_{\theta}:=\bra{\frac{1-\theta}{p_0}+\frac{\theta}{p_1}}^{-1},\quad q_{\theta}:=\bra{\frac{1-\theta}{q_0}+\frac{\theta}{q_1}}^{-1} \end{align*}

なお,座標平面上の点(p_{\theta},q_{\theta})は2点(p_0,q_0), (p_1,q_1)を結ぶ線分の内分点である.

すなわち,ある2点(p,q)=(p_0,q_0),(p_1,q_1)で作用素TL^pからL^qへの有界作用素であれば,その2点を結ぶ線分上の任意の点(p',q')においても,TL^{p'}からL^{q'}への有界作用素となる.

このように,ある2つの状況で成り立っており,それらの間でも成り立つことを保証する定理を補間定理という.

[Riesz-Thorinの複素補間定理]の証明には,[Hadamard-Phragmén-Lindelöfの三線定理]を用いる.

続きを読む


ストーンの定理|強連続ユニタリ群になるための必要十分条件

Hilbert空間上の有界線形作用素の族\{T_t\}_{t\in\R}が強連続ユニタリ群になるための必要十分条件を与える[Stoneの定理]について説明します.

類似の定理としては[Hille-Yosidaの定理]があり,こちらはBanach空間上の線形作用素Aが半群\{T_t\}_{t\in\R}の生成作用素となる必要十分条件を述べる定理です.

[Hille-Yosidaの定理]から[Stoneの定理]を証明することができるので[Hille-Yosidaの定理]があれば十分ですが,歴史的には[Stoneの定理]の方が先に証明されています.

また,[Stoneの定理]はHilbert空間の有界線形作用素の場合に限るためシンプルで分かりやすいので,[Hille-Yosidaの定理]の特別な場合として[Stoneの定理]を学んでおくのもよいでしょう.

続きを読む


記事一覧は

こちら

Twitterを

フォロー

大学院入試

解答例

大学受験

解説ブログ