ツヴァンツィヒ射影演算子

統計力学で使用される数学的装置

ツヴァンツィヒ射影演算子は、統計力学において用いられる数学的手法である[1]この射影演算子は、位相空間関数 の線形空間に作用し、「遅い」位相空間関数の線形部分空間に射影する。これは、ロバート・ツヴァンツィヒによって、一般的なマスター方程式を導出するために導入された。この演算子は、主にこの文脈、あるいは類似の文脈において、いくつかの「遅い」集団変数の運動方程式を導出するために、形式的に用いられる。[ 2]

遅い変数とスカラー積

ツヴァンツィヒ射影演算子は、座標と運動量を持つ点粒子次元位相空間における関数に作用します。これらの関数の特別なサブセットは、「遅い変数」 の可算な集合です。これらの変数の候補としては、質量密度の長波長フーリエ成分や、波数ベクトルがで識別される運動量密度の長波長フーリエ成分などが挙げられます。ツヴァンツィヒ射影演算子はこれらの関数に依存していますが、与えられたハミルトニアンの遅い変数をどのように見つけるかは示していません 6 {\displaystyle 6N} Γ { q p } {\displaystyle \Gamma =\{\mathbf {q} _{i},\mathbf {p} _{i}\}} {\displaystyle N} q {\displaystyle \mathbf {q} _{i}} p {\displaystyle \mathbf {p} _{i}} Γ { n Γ } {\displaystyle A(\Gamma )=\{A_{n}(\Gamma )\}} ρ Γ {\displaystyle \rho _{k}(\Gamma )} π Γ {\displaystyle \mathbf {\pi } _{\mathbf {k} }(\Gamma )} {\displaystyle \mathbf {k} } n {\displaystyle n} H Γ {\displaystyle H(\Gamma )}

2つの任意の位相空間関数間のスカラー積[3]平衡相関によって定義される。 f 1 Γ {\displaystyle f_{1}(\Gamma )} f 2 Γ {\displaystyle f_{2}(\Gamma )}

f 1 f 2 d Γ ρ 0 Γ f 1 Γ f 2 Γ {\displaystyle \left(f_{1},f_{2}\right)=\int d\Gamma \rho _{0}\left(\Gamma \right)f_{1}\left(\Gamma \right)f_{2}\left(\Gamma \right),}

どこ

ρ 0 Γ δ H Γ E d Γ δ H Γ E {\displaystyle \rho _{0}\left(\Gamma \right)={\frac {\delta \left(H\left(\Gamma \right)-E\right)}{\int d\Gamma ^{\prime }\delta \left(H\left(\Gamma ^{\prime }\right)-E\right)}},}

ミクロカノニカル均衡分布を表す。定義により、「高速」変数は、このスカラー積の下でのすべての関数と直交する。この定義は、高速変数と低速変数の変動は無相関であると述べており、エルゴード仮説によれば、これは時間平均についても成り立つ。一般関数がいくつかの低速変数と相関している場合、 の無相関の高速部分が残るまで、低速変数の関数を減算することができる。低速変数と高速変数の積は高速変数である。 G Γ {\displaystyle G(A(\Gamma ))} Γ {\displaystyle A(\Gamma )} f Γ {\displaystyle f(\Gamma )} f Γ {\displaystyle f(\Gamma )}

射影演算子

定数の連続関数集合を考える。を通して のみに依存する任意の位相空間関数はの関数であり、すなわち Φ 1つの Γ δ Γ 1つの n δ n Γ 1つの n {\displaystyle \Phi _{a}(\Gamma )=\delta (A(\Gamma )-a)=\prod _{n}\delta (A_{n}(\Gamma )-a_{n})} 1つの 1つの n {\displaystyle a=a_{n}} G Γ {\displaystyle G(A(\Gamma ))} Γ {\displaystyle \Gamma} Γ {\displaystyle A(\Gamma )} Φ 1つの {\displaystyle \Phi _{a}}

G Γ d 1つの G 1つの δ Γ 1つの {\displaystyle G(A\left(\Gamma \right))=\int daG\left(a\right)\delta \left(A\left(\Gamma \right)-a\right).}

一般的な位相空間関数は次のように分解される。 f Γ {\displaystyle f(\Gamma )}

f Γ F Γ + R Γ {\displaystyle f\left(\Gamma \right)=F\left(A\left(\Gamma \right)\right)+R\left(\Gamma \right),}

ここでは の高速部分です。 の低速部分の式を得るには、低速関数 とのスカラー積をとります R Γ {\displaystyle R(\Gamma )} f Γ {\displaystyle f(\Gamma )} F Γ {\displaystyle F(\Gamma )} f {\displaystyle f} δ Γ 1つの {\displaystyle \delta (A(\Gamma )-a)}

d Γ ρ 0 Γ f Γ δ Γ 1つの d Γ ρ 0 Γ F Γ δ Γ 1つの F 1つの d Γ ρ 0 Γ δ Γ 1つの {\displaystyle \int d\Gamma \rho _{0}\left(\Gamma \right)f\left(\Gamma \right)\delta \left(A\left(\Gamma \right)-a\right)=\int d\Gamma \rho _{0}\left(\Gamma \right)F\left(A\left(\Gamma \right)\right)\delta \left(A\left(\Gamma \right)-a\right)=F\left(a\right)\int d\Gamma \rho _{0}\left(\Gamma \right)\delta \left(A\left(\Gamma \right)-a\right).}

これは の式を与え、したがってを通して のみに依存する任意の関数をその「遅い」部分に投影する演算子 の式を与えます F Γ {\displaystyle F(\Gamma )} P {\displaystyle P} f Γ {\displaystyle f(\Gamma )} Γ {\displaystyle \Gamma} Γ {\displaystyle A(\Gamma )}

P f Γ F Γ d Γ ρ 0 Γ f Γ δ Γ Γ d Γ ρ 0 Γ δ Γ Γ {\displaystyle P\cdot f\left(\Gamma \right)=F\left(A\left(\Gamma \right)\right)={\frac {\int d\Gamma ^{\prime }\rho _{0}\left(\Gamma ^{\prime }\right)f\left(\Gamma ^{\prime }\right)\delta \left(A\left(\Gamma ^{\prime }\right)-A\left(\Gamma \right)\right)}{\int d\Gamma ^{\prime }\rho _{0}\left(\Gamma ^{\prime }\right)\delta \left(A\left(\Gamma ^{\prime }\right)-A\left(\Gamma \right)\right)}}.}

この表現は、ツワンジグ[1]によって与えられた表現と一致するが、ツワンジグが遅い変数を包含する点が異なる。ツワンジグ射影演算子はおよび を満たす。 の速い部分はである。遅い変数の関数、特に遅い変数の積は遅い変数である。したがって、遅い変数の空間は代数である。一般に、この代数はポアソン括弧の下で閉じておらず、ハミルトニアンを含むポアソン括弧も例外ではない。 H Γ {\displaystyle H(\Gamma )} P G Γ G Γ {\displaystyle PG(A(\Gamma ))=G(A(\Gamma ))} P 2 P {\displaystyle P^{2}=P} f Γ {\displaystyle f(\Gamma )} 1 P f Γ {\displaystyle (1-P)f(\Gamma )}

リウヴィルとマスターの方程式との関連

上記の定義の最終的な正当性は、遅い変数の時間依存確率分布のマスター方程式(または遅い変数自体の ランジュバン方程式)を導出できることです。 P {\displaystyle P} p 1つの t {\displaystyle p(a,t)}

典型的な手順を概説するために、 位相空間における時間依存確率分布を とおく。位相空間密度(および)はリウヴィル方程式の解である。 ρ Γ t ρ 0 Γ σ Γ t {\displaystyle \rho (\Gamma ,t)=\rho _{0}(\Gamma )\sigma (\Gamma ,t)} σ Γ t {\displaystyle \sigma (\Gamma ,t)} ρ Γ t {\displaystyle \rho (\Gamma ,t)}

t σ Γ t L σ Γ t {\displaystyle i{\frac {\partial }{\partial t}}\sigma (\Gamma ,t)=L\sigma (\Gamma ,t).}

重要なステップは、 と書き リウヴィル方程式を低速部分空間と高速部分空間に投影することである。[1] ρ 1 = P σ {\displaystyle \rho _{1}=P\sigma } ρ 2 = ( 1 P ) σ {\displaystyle \rho _{2}=(1-P)\sigma }

i t ρ 1 = P L ρ 1 + P L ρ 2 , {\displaystyle i{\frac {\partial }{\partial t}}\rho _{1}=PL\rho _{1}+PL\rho _{2},}
i t ρ 2 = ( 1 P ) L ρ 2 + ( 1 P ) L ρ 1 . {\displaystyle i{\frac {\partial }{\partial t}}\rho _{2}=\left(1-P\right)L\rho _{2}+\left(1-P\right)L\rho _{1}.}

2番目の方程式を について解き、 を1番目の方程式に代入すると、 についての閉方程式が得られます中島–ツヴァンツィッヒ方程式 を参照)。後者の方程式は最終的に についての方程式を与えます。 ここで は遅い変数の平衡分布を表します。 ρ 2 {\displaystyle \rho _{2}} ρ 2 ( Γ , t ) {\displaystyle \rho _{2}(\Gamma ,t)} ρ 1 {\displaystyle \rho _{1}} p ( A ( Γ ) , t ) = p 0 ( A ( Γ ) ) ρ 1 ( Γ , t ) , {\displaystyle p(A(\Gamma ),t)=p_{0}(A(\Gamma ))\rho _{1}(\Gamma ,t),} p 0 ( a ) {\displaystyle p_{0}(a)}

非線形ランジュバン方程式

ランジュバン方程式の標準微分における出発点は恒等式 であり、ここで は高速部分空間に射影される。発展演算子 を持つ離散的な微小時間ステップを考える。ここではリウヴィル演算子である。目標はと を用いて表現することである。その動機は、 が低速変数の汎関数であり、各時間ステップで高速変数となる式を生成することである。このように分離された高速変数は、例えばガウス白色ノイズなどのモデルデータによって表現できると期待される。分解は、最後の項を除いてを左から乗算することで達成される。反復により、以下の式が得られる。 1 = P + Q {\displaystyle 1=P+Q} Q {\displaystyle Q} τ {\displaystyle \tau } U 1 + i τ L {\displaystyle U\cong 1+i\tau L} L {\displaystyle L} U n {\displaystyle U^{n}} U k P {\displaystyle U^{k}P} Q ( U Q ) m {\displaystyle Q(UQ)^{m}} U k P {\displaystyle U^{k}P} Q ( U Q ) m {\displaystyle Q(UQ)^{m}} 1 = P + Q {\displaystyle 1=P+Q} U {\displaystyle U} U = P U + Q U {\displaystyle U=PU+QU}

1 = P + Q , U = U P + P U Q + Q U Q , . . . = . . . U n = U n P + m = 1 n U n m P ( U Q ) m + Q ( U Q ) n . {\displaystyle {\begin{aligned}1&=P+Q,\\U&=UP+PUQ+QUQ,\\...&=...\\U^{n}&=U^{n}P+\sum _{m=1}^{n}U^{n-m}P\left(UQ\right)^{m}+Q\left(UQ\right)^{n}.\end{aligned}}}

最後の行は帰納法によっても証明できる。極限を仮定して実行すると、川崎作用素の恒等式が直接得られる[2]。 U = 1 + i t L / n {\displaystyle U=1+itL/n} n {\displaystyle n\rightarrow \infty }

e i t L = e i t L P + i 0 t d s e i ( t s ) L P L Q e i s L Q + Q e i t L Q . {\displaystyle e^{itL}=e^{itL}P+i\int _{0}^{t}dse^{i\left(t-s\right)L}PLQe^{isLQ}+Qe^{itLQ}.}

この方程式を遅い変数の時間微分に適用することで、一般的なランジュバン方程式が得られる A {\displaystyle A} d A ( Γ , t ) / d t = e i t L ( d A ( Γ , t ) / d t ) t = 0 {\displaystyle dA(\Gamma ,t)/dt=e^{itL}(dA(\Gamma ,t)/dt)_{t=0}}

d A d t ( Γ , t ) = V + K + R , V = e i t L P A ˙ ( Γ , 0 ) , K = i 0 t d s e i ( t s ) L P L Q e i s L Q A ˙ ( Γ , 0 ) = i 0 t d s e i ( t s ) L P L R ( s ) , R = Q e i t L Q A ˙ ( Γ , 0 ) . {\displaystyle {\begin{aligned}{\frac {dA}{dt}}\left(\Gamma ,t\right)&=V+K+R,\\V&=e^{itL}P{\dot {A}}\left(\Gamma ,0\right),\\K&=i\int _{0}^{t}dse^{i\left(t-s\right)L}PLQe^{isLQ}{\dot {A}}\left(\Gamma ,0\right)=i\int _{0}^{t}dse^{i\left(t-s\right)L}PLR\left(s\right),\\R&=Qe^{itLQ}{\dot {A}}\left(\Gamma ,0\right).\end{aligned}}}

ここで、変動力は(高速変数のみに依存する)である。モード結合と減衰項は、およびの関数であり、かなり簡略化することができる。[1] [2] [4] R {\displaystyle R} V {\displaystyle V} K {\displaystyle K} A ( t ) {\displaystyle A(t)} A ( t s ) {\displaystyle A(t-s)}

離散関数の集合、森射影演算子との関係

関数の連続集合における遅い部分を展開する代わりに、関数の可算集合を使うこともできる。これらの関数が完全な直交関数集合を構成する場合、射影演算子は単に次のように書ける。 f ( Γ ) {\displaystyle f(\Gamma )} Φ a ( Γ ) = δ ( A ( Γ ) a ) {\displaystyle \Phi _{a}(\Gamma )=\delta (A(\Gamma )-a)} Φ n ( A ( Γ ) ) {\displaystyle \Phi _{n}(A(\Gamma ))}

P f ( Γ ) = n ( f , Φ n ) Φ n ( A ( Γ ) ) . {\displaystyle P\cdot f\left(\Gamma \right)=\sum _{n}\left(f,\Phi _{n}\right)\Phi _{n}\left(A\left(\Gamma \right)\right).}

の特別な選択は、遅い変数の正規直交化された線形結合です。これは森射影演算子につながります。[3]しかし、線形関数の集合は完全ではなく、直交変数は、の非線形性が作用する 場合、高速でもランダムでもありません。 Φ n ( A ( Γ ) ) {\displaystyle \Phi _{n}(A(\Gamma ))} A ( Γ ) {\displaystyle A(\Gamma )} A {\displaystyle A}

参照

参考文献

  1. ^ abcd Zwanzig, Robert (1961). 「不可逆熱力学における記憶効果」. Phys. Rev. 124 ( 4): 983– 992. Bibcode :1961PhRv..124..983Z. doi :10.1103/physrev.124.983.
  2. ^ abc Kawasaki, K. (1973). 「一般化線形および非線形ランジュバン方程式の簡単な導出」. J. Phys. A: Math. Nucl. Gen. 6 ( 9): 1289– 1295. Bibcode :1973JPhA....6.1289K. doi :10.1088/0305-4470/6/9/004.
  3. ^ ab Mori, H. (1965). 「輸送、集団運動、そしてブラウン運動」. Prog. Theor. Phys . 33 (3): 423– 455. Bibcode :1965PThPh..33..423M. doi : 10.1143/ptp.33.423 .
  4. ^ Gunton, JD (1979). 「動的再正規化群法と関連したモード結合理論」.動的臨界現象と関連トピック. 物理学講義ノート. 第104巻. pp.  1– 24. Bibcode :1979LNP...104....1G. doi :10.1007/3-540-09523-3_1. ISBN 978-3-540-09523-1
Retrieved from "https://en.wikipedia.org/w/index.php?title=Zwanzig_projection_operator&oldid=1333493681"