このサイトは学部では早稲田で物理を, 修士では東大で数学を専攻し, 今も非アカデミックの立場で数学や物理と向き合っている一市民の奮闘の記録です. 運営者情報および運営理念についてはこちらをご覧ください.
理系のための総合語学・リベラルアーツの視点から数学・物理・プログラミング・語学 (特に英語) の情報を発信しています. コンテンツアーカイブに見やすくまとめているのでぜひご覧ください.
作用素論オタなのでちょっと反応した.
ただ、コンパクトで自己共役とか仮定したとこでしかスペクトル扱ってないあたりね(まあ有限よりましだけど)。最近あんまり触れてないから忘れてること多いし コンパクト自己共役作用素の実例とか1個しか知らないしね、実用的にも全くものにならない知識だ
— Tominaga (@masayotominaga) 2014, 10月 2
@masayotominaga コンパクトリーマン多様体上のラプラシアンのスペクトルは離散的で無限まで伸びるので、 $\lambda$ を実数でレゾルベント集合に制限すれば、レゾルベント $(\triangle – \lambda )^{-1]$ はコンパクトになります
— 相転移P(市民) (@phasetr) 2014, 10月 3
@masayotominaga 他にも作用素 $H$ が下に有界でスペクトルが離散的で無限まで伸びていれば、 $H$ からfunctional calculusで定義した $e^{-tH}$ もコンパクトです。これも指数定理だとか熱核の展開あたりで幾何の話と絡み、確率論ミックスで色々やる話もあります
— 相転移P(市民) (@phasetr) 2014, 10月 3
@phasetr 最後のお話面白そうです(正直多様体のことはろくにというより全く知りませんが、確率論ミックスというのはいいですね)
— Tominaga (@masayotominaga) 2014, 10月 3
最後の確率論の部分について少し補足しよう.
幾何はよくしらないので私がよく知っている量子力学関係のスペクトル解析で説明する.
\(e^{-tH}\) でまず \(H\) を Laplacian \(- \triangle\) としよう.
Gaussian を \(P_t\) と書こう.
\begin{align} P_t(x, y) = \left( \frac{m}{2 \pi t} \right)^{d/2} e^{-m |x-y|^2}{2t}. \end{align} こうすると次のようになる.
\begin{align} (e^{t \triangle} \psi) (x) = \int_{\mathbb{R}^d} P_t(x, y) \psi (y) dy. \end{align} \(P_t\) は Gaussian なので確率論が使えそうだと思うわけだ. これが実は Brown 運動 \(B_t\) で書ける.
\begin{align} (e^{t \triangle} \psi) (x) = \mathrm{E}_x [\psi(B_t)]. \end{align} 量子力学の設定だと Hamiltonian は \(V\) を適当な関数として \(H = – \triangle + V\) だ.
結果から書くと内積が次のように書ける.
\begin{align} \langle \phi, e^{- t H} \psi \rangle = \int_{\mathbb{R}^d} dx \overline{\phi(x)} \mathrm{E}_x \left[ \psi(B_t) e^{- \int_0^t V(B_s) ds} \right]. \end{align} ここで作用素をもう少し一般化すると,
確率論でも対応して確率積分を使うことになる.
さらに一般に楕円型作用素にしても確率論でも対応した処理ができる (場合がある).
それが実際に指数定理にまで持ち上がるというのが驚異的だが,
詳しいところまでは把握できていない.
また, \(H\) が下に有界な場合は \(e^{-tH}\) は熱半群をなす.
ここから半群理論の制御下に入る.
連続時間の確率過程とも思えるし, この辺でまたいろいろ出てくる.
そして最後にこれ.
とみながさんにめっちゃスペクトル理論を仕込もうの会
— 相転移P(市民) (@phasetr) 2014, 10月 4
また関西行きたいしセミナーしたいのだが,
誰に何話そう.
この記事へのコメントはありません。