電位差一定のMD計算

基本的なアイデア

　拡張系による圧力制御、温度制御の方法に倣い、MD計算に仮想的なコンデンサを結合させることで電位差の制御を行う。

コンデンサ内の粒子の運動

　左図のようなコンデンサは、コンデンサ間に

構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle U^{Q-Q} = \frac{dQ^2}{2 \varepsilon_0 S} = \frac{Q^2}{2C_0}}

のポテンシャルが働く。またその中の粒子には

構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle U^{Q-MD} = \frac{Q}{\varepsilon_0 S} \sum_i q_i \left( z_i-\frac{Z_1+Z_2}{2} \right)}

のポテンシャルが働く（誘起双極子が存在する場合はその項も追加される。）。従ってこの系のハミルトニアンは、

構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle H(x,p,Q) = H(x,p)+\frac{Q}{\varepsilon_0 S} \sum_i q_i \left(z_i-\frac{Z_1+Z_2}{2} \right) + \frac{Q^2}{2C_0} = H(x,p) }

(1)

と表される。

NVTVアンサンブル

　上記ハミルトニアンは NVTQ アンサンブルとして系を扱っている。我々が考えたいのは NVTV アンサンブルであるため、これの熱力学関数と分配関数の導出を行う。

完全な熱力学関数

　N,V,T,V を指定した際の完全な熱力学関数は、

構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle dE = TdS-pdV+VdQ }

のルジャンドル変換を考えることで、

構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle G=E-TS-QV }

(2)

となる（エネルギー E は電場 E の字体が異なるので注意）。

分布関数

　微視的状態構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle i } 　の出現確率を　構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle f_i } 　とすると、NVTV アンサンブルでは、

構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \sum_i f_i = 1,\qquad \sum_i E_i f_i =E ,\qquad \sum_i Q_i f_i = Q }

が成り立つ。従って上記を拘束条件としてエントロピーを最大にすることを考えると、

構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle max \left[-k_B \sum_i f_i \ ln f_i +\tilde{\alpha} \left( \sum_i f_i -1 \right) + \tilde{\beta} \left( \sum_i E_i f_i - E \right)+\tilde{\gamma} \left( \sum_i Q_i f_i -Q \right) \right] -k_B (ln f_i + 1)+ \tilde{\alpha} +\tilde{\beta} E_i+\tilde{\gamma} Q_i = 0 }

構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle f_i=exp \left( -1 + \frac{\tilde{\alpha} }{k_B} + \frac{\tilde{\beta} }{k_B} E_i + \frac{\tilde{\gamma} }{k_B} Q_i \right) = \frac{1}{Z} exp [ - \beta ( E_i- \gamma Q_i ) ] }

が得られる。従って、

構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathcal{S} = -k_B \sum_i f_i \ ln f_i = -k_B \sum_i f_i [ - \beta ( E_i- \gamma Q_i ) -lnZ ] = \frac{E- \gamma Q} {T} + k_B lnZ }

構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle -k_B T lnZ = E - TS -\gamma Q }

(3)

となる。式 3 は式 2 に対応するので、

構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \gamma=V }

であることがわかる。以上より分配関数は、

構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle Z(N,V,T,V) = \sum_i exp [ -\beta (E_i - Q_i V)] }

(4)

となる。微視的なエネルギーは古典的には式1で表されるので式4の古典極限は、

構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle Z(N,V,T,V) = \sum_i exp[-\beta (E_i + Q_i V)] = \int dxdpdQ \ exp[-\beta {H(x,p,Q)-QV} ] }

(5)

となる。

仮想系のハミルトニアンと運動方程式

　式1 に仮想的なコンデンサの運動エネルギーとポテンシャルを加える形で式 5 を実現する仮想系のハミルトニアンを作成する。今仮想系のハミルトニアンを

構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle H' (x,p,s,p_s,Q,p_Q )=H^{Nose} (x,p',s,p_s ) + \frac{Q}{\varepsilon_0 S} \sum_i q_i \left(z_i-\frac{Z_1+Z_2}{2} \right) +\frac{Q^2}{2C_0}+\frac{p_Q^2}{2m_Q }+U_Q }

とする。この時分配関数は

構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle Z \ \propto \int \cdots \int dxdpdsdp_s dQdp_Q \delta [H' (x,p,s,p_s,Q,p_Q )-E' ] \ \propto \int \cdots \int dxdpdQ exp[-\beta \{H(x,p,Q)+U_Q \} ] }

となる。従ってこれが式5 に一致するには、

構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle U_Q=-QV }

であればよい。つまり、

構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle H' (x,p,s,p_s,Q,p_Q ) = H^{Nose} (x,p',s,p_s ) + \frac{p_Q^2}{2m_Q} + U(x,Q) }

構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle U(x,Q) = \frac{Q}{\varepsilon_0 S} \sum_i q_i \left(z_i - \frac{Z_1+Z_2}{2} \right) + \frac{Q^2}{2C_0} - QV }

(6)

である。

　Q の時間発展は正準方程式により、

構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \frac{dQ}{dt} = \frac{p_Q}{m_Q} }

構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \frac{dp_Q}{dt} = - \frac{1}{\varepsilon_0 S} \sum_iq_i \left(z_i-\frac{Z_1+Z_2}{2} \right) - \frac{Q}{C_0 } +V }

(7)

となる。今瞬間の誘電分極を

構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle P_z (t) = \frac{1}{V} \sum_i q_i \left(z_i (t)-\frac{Z_1+Z_2}{2} \right) }

(8)

瞬間の比誘電率を、

構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \varepsilon(t) = \frac{\varepsilon_0 E_z (t)}{\varepsilon_0 E_z (t) - P_z (t) } = \frac{-\varepsilon_0 Q(t)/\varepsilon_0 S}{-\varepsilon_0 Q(t)/\varepsilon_0 S - P_z (t)} = \frac{Q(t)}{Q(t)+P_z (t)S} }

と置くと、式7 は、

構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \frac{dp_Q}{dt} = -\frac{P_z (t)d}{\varepsilon_0} -\frac{Q(t)}{C_0} + V =-\frac{P_z (t)S+Q(t)}{C_0} +V = - \frac{Q(t)}{C_0 \varepsilon(t)} + V = V-\frac{Q}{C(t)} }

(9)

と表される。ここで、

構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle C(t) = C_0 \varepsilon(t) }

とした。式9 は式6 で表される運動が、熱平衡における電位差とコンデンサに蓄えられる電荷の関係式

構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle Q=CV }

の周りで振動することを意味している。

一般化

本節では上記手法を任意の形状の電場構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle E(z)} が係る系に拡張する。

電場のエネルギー

真空中に構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle E(z)} が存在するとき、そのエネルギーは

構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle U^\mathrm{E} = \frac{\varepsilon_0 S}{2}\int E(z)\cdot E(z)dz}

で表される。

周期系への適用

　上記手法を液液界面等の周期系に適用する場合、図のようにセル中の対称な形で荷電平板を設置する必要すればよい。

すると、各粒子には構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle Z_2} 　に実対称な形で静電ポテンシャルが働き周期境界で静電ポテンシャルが連続となる。しかしながら、このままだとその境界面では電場が不連続になることから、各平板の電荷分布がデルタ関数ではなく、

構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \rho_i (z) = \frac{Q_i}{S} \frac{1}{\sqrt{2\pi \sigma^2 } } exp \left[- \frac{(z-Z_i )^2}{2\sigma^2 } \right] }

のように広がりを持つと考え電場の連続性を確保する。各平板が作る電場、および静電ポテンシャルは、

構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \begin{align} E_i (z,Q_i ) &= \frac{1}{\varepsilon_0} \int dz \rho_i (z) = \frac{Q_i}{2 \varepsilon_0 S} erf\left(\frac{z-Z_i}{\sqrt{2\sigma^2 }}\right) \equiv \frac{Q_i}{S} T^{(1) } (z-Z_i ) \\ \phi_i (z,Q_i ) &= -\int dz E_i (z) = -\frac{Q_i}{\varepsilon_0 S} \left\{ \frac{1}{\sqrt{2\pi} } \sigma exp \left[-\frac{(z-Z_i )^2}{2\sigma^2 } \right] + \frac{1}{2} (z-Z_i ) erf \left( \frac{z-Z_i}{\sqrt{2\sigma^2 }} \right) \right\} = - \frac{Q_i}{S} T^{(0)} (z-Z_i ) \end{align}}

であることから、系に働く電場は、

構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle E(z,Q) = E_1 (z,Q) + E_2 (z,-2Q) + E_3 (z,Q) }

静電ポテンシャルは、

構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \phi(z,Q)=\phi_1 (z,Q)+\phi_2 (z,-2Q)+\phi_3 (z,Q) }

となる。以上よりコンデンサ間に働くポテンシャルは、

構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle U^{Q-Q} = \sum_i \sum_{j\ne i} Q_i \phi_j (z,Q_j ) }

系の中の粒子に働くポテンシャルは、

構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle U^{Q-MD}=\sum_i q_i \phi(z_i,Q) -\sum_i \mu_{z,i} E(z_i,Q) }

により計算される。また、一般化座標としての Q に働くポテンシャルはコンデンサが２つ分と考え、

構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle U_Q=-2QV }

とする。従って拡張系のハミルトニアンは

構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle H' (x,p,s,p_s,Q,p_Q )=H^{Nose} (x,p',s,p_s )+\frac{p_Q^2}{2m_Q} + U(x,Q) }

構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle U(x,Q)=\sum_i q_i \phi(z_i,Q)-\sum_i \mu_{z,i} E(z_i,Q) +\frac{1}{2} \sum_i \sum_{j \ne i} Q_i \phi_j (Z_i,Q_j ) -2QV }

となる。

時間発展

　上記拡張系ハミルトニアンに基づく運動方程式はフーバー形式構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle (\zeta \equiv \dot{s}/s)} 　で表すと、

構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \begin{align} \frac{dx}{dt} &= \frac{p}{m} \\ \frac{dp}{dt} &= F(x) + qE(z,Q) - \mu_z \frac{\partial E(z,Q)}{\partial x} - \zeta p \\ \frac{d\zeta} {dt} &= \frac{p_\zeta}{m_\zeta} \\ \frac{dp_\zeta}{dt} &= gk_B [T(p)-T_0 ] \\ \frac{dQ}{dt} &= \frac{p_Q}{m_Q} \\ \frac{dp_Q}{dt} &= F_Q (x,Q) \\ &=\sum_i q_i \frac{ T^{(0)} (z_i-Z_1 ) - 2T^{(0)} (z_i-Z_2 ) + T^{(0)} (z_i-Z_3 )}{S} \\ &+\sum_i \mu_{z,i} \frac{T^{(1)} (z-Z_1 ) - 2T^{(1)} (z-Z_2 ) + T^{(1)} (z_i-Z_3 )}{S} - \sum_i \sum_{j \ne i} \frac{dQ_i}{dQ} \phi_j (Z_i,Q_j ) + 2V \end{align}}

で与えられる。最後の式において

構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \begin{align} \sum_i q_i & \frac{T^{(0)} (z_i-Z_1 ) - 2T^{(0)} (z_i-Z_2 ) + T^{(0)} (z_i-Z_3 )}{S} \\ &+ \sum_i \mu_{z,i} \frac{ T^{(1)} (z-Z_1 ) - 2T^{(1)} (z-Z_2 )+ T^{(1)} (z_i-Z_3 )}{S} = -\frac{2P_z (x)d}{\varepsilon_0 } \end{align}}

に相当する。以上より（疑似的な）リウビル演算子は

構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle i \mathcal{L} = \frac{p}{m} \frac{\partial}{\partial x} \ + \ \left[F(x) + qE(z,Q) + \mu_z \frac{ \partial E(z,Q)}{\partial x} - \zeta p \right] \frac{\partial}{\partial p} \ + \ \frac{p_\zeta}{m_\zeta} \frac{\partial}{\partial \zeta} \ + \ gk_B [T(p)-T_0 ] \frac{\partial}{ \partial p_\zeta} \ + \ \frac{p_Q}{m_Q} \frac{\partial}{ \partial Q} \ + \ F_Q (x,Q) \frac{\partial}{\partial p_Q} }

となる。これを非可換性と計算の利便性によりいくつかの項に分離し

構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \begin{align} i\mathcal{L} &= i\mathcal{L}_1 + i\mathcal{L}_2 + i\mathcal{L}_3 + i\mathcal{L}_4 + i\mathcal{L}_5 + i\mathcal{L}_6 \\ i\mathcal{L}_1 &= - \zeta p \frac{ \partial}{\partial p} \\ i\mathcal{L}_2 &= \left[ F(x) + qE(z,Q) + \sum_i \mu_z \frac{ \partial E(z,Q)}{\partial x} \right] \frac{\partial}{\partial p} \\ i\mathcal{L}_3 &= F_Q (x,Q) \frac{\partial}{\partial p_Q } \\ i\mathcal{L}_4 &= \frac{p}{m} \frac{\partial}{\partial x} + \frac{p_Q}{m_Q} \frac{\partial}{\partial Q} \\ i\mathcal{L}_5 &= gk_B [T(p)-T_0 ] \frac{\partial}{\partial p_\zeta } \\ i\mathcal{L}_6 &= \frac{p_\zeta}{m_\zeta} \frac{\partial}{\partial \zeta} \\ \end{align}}

とする。するとトロッタ分解により時間発展は

構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \begin{align} exp(i\mathcal{L} \Delta t) = exp \left( i\mathcal{L}_1 \frac{ \Delta t}{2} \right) exp& \left(i\mathcal{L}_2 \frac{ \Delta t}{2} \right) exp \left(i\mathcal{L}_3 \frac{ \Delta t}{2} \right) exp(i\mathcal{L}_4 \Delta t) exp \left(i\mathcal{L}_3 \frac{ \Delta t}{2} \right) \\ \\ &exp \left( i\mathcal{L}_5 \frac{ \Delta t}{2} \right) exp(i\mathcal{L}_6 \Delta t) exp \left( i\mathcal{L}_5 \frac{ \Delta t}{2} \right) exp \left( i\mathcal{L}_2 \frac{ \Delta t}{2} \right) exp \left( i\mathcal{L}_1 \frac{ \Delta t}{2} \right) \end{align}}

のように表される（構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathcal{L}_3} 　及び ${\mathcal {L}}_{4}$ 　と構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathcal{L}_5,\mathcal{L}_6} 　が可換なことを利用している。）。構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathcal{L}_1,\mathcal{L}_2,\mathcal{L}_5,\mathcal{L}_6} 　の部分は力に外部電場の項が加わったことを除き、通常のNVTの計算と同様となる。残りの部分については、

構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \begin{align} p_Q &\gets p_Q + \frac{ \Delta t}{2} F_Q (x,Q) \\ x &\gets x + \frac{p}{m} \Delta t \\ Q &\gets Q + \frac{p_Q}{m_Q} \Delta t \\ & --- \\ p_Q &\gets p_Q +\frac{ \Delta t}{2} F_Q (x,Q) \\ \end{align}}

のように時間発展させればよい。なお、構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle Q } 　の時間発展後、構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle p_Q} 　の時間発展の前に

相互作用テンソル構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle T^{(0)} (z_i-Z_j ), T^{(1)} (z_i-Z_j ), T^{(2)} (z_i-Z_j ) } 　を計算する。
コンデンサが作る静電ポテンシャル構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \phi (z_i,Q) } 　、及び、電場構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle E(z_i,Q) } 　を計算する。
構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \phi(z_i,Q),E(z_i,Q),dEdz(z_i,Q)} 　を外場としてクーロン相互作用を計算（誘起双極子計算を含む）。
得られた誘起双極子を用いて構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle F_Q (x,Q) } 　を計算する。

の処理を行う必要がある。また、構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle p_Q } 　の時間発展後、構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle U(x,Q),\frac{p_Q^2}{2m_Q} } 　等の出力変数の計算も必要になる。

実装

　本計算をFreeFlexに実装する場合、move_struct内に実装するべきである。しかしこの場合問題点として、

coulomb_struct 内にある電荷や誘起双極子が move_struct 内で必要になる。
コンデンサによる外部電場が move_struct 内で計算されるため、計算した電場を coulomb_struct に渡す必要がある。

という2点を解決しなければならない。後者については外部電場を指定するサブルーチンとして set_external_electric_field サブルーチンが coulomb_struct 内に用意されているのでFreeFlex.Fでこれを毎ステップ呼び出せばよい。一方前者についても set_electric_information サブルーチンを用意し、FreeFlex.F 上で呼び出せばとりあえずは解決できる。 ^[1]

↑ （本質的には）電荷や誘起双極子のような一般的なパラメータが coulomb_struct という深い位置の構造体に記憶されていることに問題があると思われる。そのため、これらを coulomb_struct から coord_struct に移すことも考えた。しかしながらこの場合、FEP 計算で電荷を変化させる際に、複製した coulomb_struct を使用している状況も変更しなくてはならない。勿論、coord_struct を複製する形に変更することも考えられるが、この場合は時間発展後の座標のコピーを毎ステップ行わなくてはいけなくなる。この変更の煩雑さを避けるため、上記のように set_electric_infomation を使用する形で実装することにした。

　以上のことから、move_struct 内に次に示す電位差一定のMD計算の構造体 move_NVTV_struct を用意する。

type move_NVTV_struct

   REAL8 :: Q    !!! 一般化座標としてのコンデンサの電荷
   REAL8 :: vQ    !!! 一般化座標の速度
   REAL8 :: mQ    !!! 一般化座標の質量
   REAL8 :: FQ    !!! 一般化座標にかかる力

   REAL8 :: V    !!! 電位差
   REAL8 :: U    !!! コンデンサが関わるポテンシャル。 テキストの U(x,Q) のこと。
   REAL8 :: K    !!! 一般化座標の運動エネルギー。

   REAL8 :: q(1:nsite)    !!! 各サイトの電荷
   REAL8 :: mu(1:nsite)    !!! 各サイトの誘起双極子のz方向成分
   REAL8 :: phi(1:nsite)
   !!! コンデンサが各サイトに作る静電ポテンシャル。テキストの ϕ(z_i,Q) のこと。
   REAL8 :: E(1:nsite)
   !!! コンデンサが各サイトに作る電場。 テキストの E(z_i,Q) のこと。
   REAL8 :: dEdz(1:nsite)
   !!! コンデンサが各サイトに作る電場の座標微分。 テキストの ∂E(z_i,Q)⁄(∂z_i ) のこと
   REAL8 :: T0(1:nsite), T1(1:nsite), T2(1:nsite)
   !!! 相互作用テンソル。

   REAL8 :: phiQ(1:3)
   !!! 各コンデンサ位置の静電ポテンシャル。 テキストの ∑_(j≠i)▒〖ϕ_j (Z_i,Q_j ) 〗 のこと。

   REAL8 :: sigma    !!! 各コンデンサの電荷の広がり
   integer :: iCOM    !!! コンデンサを置く位置の重心番号。テキストの Z_2 に対応。
   REAL8 :: S    !!! コンデンサの面積

contains

   subroutine init(…)
   !!! 初期設定
   endsubroutne

   subroutine set_electric_info(q,mu)
   !!! 電荷と誘起双極子の値を受け取るサブルーチン
     REAL8 :: q(1:nsite)
     REAL8 :: mu(1:3,1:nsite)
   endsubroutine

   subroutine vQ_update1(coord,dt)
   !!! vQ の時間発展を行うサブルーチン
     type(coord_struct) :: coord
     REAL8 :: dt
   endsubroutine

   subroutine Q_update(coord,dt)
   !!! Q の時間発展を行うサブルーチン。
   !!! 同時に相互作用テンソル、phi、E、dEdz、phiQの計算も行う。
     type(coord_struct) :: coord
     REAL8 :: dt
   endsubroutine

   subroutine vQ_update2(coord,dt)
   !!! vQ の時間発展を行うサブルーチン。
   !!! 同時に FQ、及び出力変数の計算も行う。
     type(coord_struct) :: coord
     REAL8 :: dt
   endsubroutine

endtype

</source>

[1] （本質的には）電荷や誘起双極子のような一般的なパラメータが coulomb_struct という深い位置の構造体に記憶されていることに問題があると思われる。そのため、これらを coulomb_struct から coord_struct に移すことも考えた。しかしながらこの場合、FEP 計算で電荷を変化させる際に、複製した coulomb_struct を使用している状況も変更しなくてはならない。勿論、coord_struct を複製する形に変更することも考えられるが、この場合は時間発展後の座標のコピーを毎ステップ行わなくてはいけなくなる。この変更の煩雑さを避けるため、上記のように set_electric_infomation を使用する形で実装することにした。

[1]