Hirano: ページの作成:「　一般化座標を４章のようにユーザー定義して与えた際に、その座標を拘束した計算が一般的に可能である。 == ネームリ…」

2026-05-26T03:12:04Z

ページの作成:「　一般化座標を４章のようにユーザー定義して与えた際に、その座標を拘束した計算が一般的に可能である。 == ネームリ…」

新規ページ

　一般化座標を[[４章]]のようにユーザー定義して与えた際に、その座標を拘束した計算が一般的に可能である。

== ネームリスト ==
　拘束計算に関するネームリストは、&constraint2, &addconstr である。その他にユーザー定義座標を与えるためのネームリスト &addCOM や &spcoord などが必要であるが、これは[[４-１]] 節を参照のこと。
　ネームリストの仕様は、&constraint2 ([[３-１２]] ) および &addconstr （[[３-１３]] ）を参照すること。

　FreeFlex で拘束計算を行うにはネームリストファイルに、

=== input.nml =================================================================================
.
.
.
&addCOM
condition = "OW HW"
/

&spcoord
condition = "Z 877 878"
/
!!! Na+ の重心が 877。878 は水全体の重心。

&addconstr
condition = "SPCOORD 1 20.0d-10 1.0d-10"
/
================================================================================================

のように &addCOM, &spcoord, &addconstr を足してやればよい。上の[[２-５節のチュートリアル]](sample/tutorial/05) を参照。この例では、重心877番と重心878番のz方向の距離を20 Åに固定されたトラジェクトリを得ることができる。

[[ファイル:Z-condition-fixed_system1.jpg|center]]

== 計算原理 ==
　SHAKE-RATTLE法の考え方に従い、 k 番目の拘束だけを考えこれを満足させることを考える。この時、時間発展として
{{NumBlk|::|
<math>\begin{align}
\mathbf{v}_i' (t+\frac{1}{2} \Delta t)&=\mathbf{v}_i (t)+\frac{\Delta t}{2m_i} \mathbf{F}_i (t)\\
\mathbf{x}_i' (t+\Delta t)&=\mathbf{x}_i (t)+\Delta t \mathbf{v}_i' (t+\frac{1}{2} \Delta t)\\
(*) \quad
\mathbf{x}_i (t+\Delta t)&=\mathbf{x}_i' (t+\Delta t)+\frac{\gamma_k^x (t)}{m_i} \frac{\partial g_k (\{ \mathbf{x}_i (t)\}) } {\partial \mathbf{x}_i }\\
(*) \quad
\mathbf{v}_i (t+\frac{1}{2} \Delta t)&=\mathbf{v}_i' (t+\frac{1}{2} \Delta t)+\frac{\gamma _k^x (t)}{m_i \Delta t} \frac{\partial g_k (\{\mathbf{x}_i (t)\})}{\partial \mathbf{x}_i } \\
\mathbf{v}_i' (t+\Delta t)&=\mathbf{v}_i (t+\frac{1}{2} \Delta t)+\frac{ \Delta t}{2m_i} \mathbf{F}_i (t+\Delta t) \\
(*) \quad
\mathbf{v}_i (t+\Delta t)&=\mathbf{v}_i' (t+\Delta t)+\frac{\gamma_k^v (t+\Delta t)}{m_i} \frac{\partial g_k (\{\mathbf{x}_i (t+\Delta t)\})}{\partial \mathbf{x}_i }
\end{align}</math>|{{EquationRef|1}}}}

を使用する。<math> \gamma_k^x, \gamma_k^v</math> は、時間発展後の座標が拘束条件を満たすという条件
{{NumBlk|::|
<math>(*) \quad
g_k \left( \{\mathbf{x}_i (t)\}, \{ \mathbf{x}_i' (t+\Delta t)\},\gamma_k^x \right)=0
</math>|{{EquationRef|2}}}}

{{NumBlk|::|
<math>(*) \quad
\frac{dg_k}{dt} \left(\{\mathbf{x}_i (t+\Delta t)\},\{\mathbf{v}_i' (t+\Delta t)\},\gamma_k^v \right)=0
</math>|{{EquationRef|3}}}}

を解くことにより求める。拘束が複数存在する場合には上記の手順を繰り返すことにより全ての拘束条件を満たす構造を求める。収束判定は
<math>(g_k )^2<(tolerance)^2,\left( \frac{dg_k}{dt} \right)^2<\left( \frac{tolerance}{\Delta t} \right)^2 </math>

により行っている。拘束の種類によらず同じ tolerance を用いる為 <math>g_k</math> は無次元に取る必要がある。

　実際の計算では、拘束条件によって値が変化する (*) の部分は constraint2_core_struct の拡張構造体が担い、その他の拘束条件の種類によらず形が変わらない部分は constraint2_struct が担う。

=== SHAKE法による補正前 <math>|g_k |</math> が大きい場合 ===
　初期構造が固定したい状態と離れている場合、拘束計算が収束しない可能性がある。これに対処するため、SHAKE計算のループの前に<math>(g_k )^2> (threshold)^2</math> かどうかの判定を行い、<math>|g_k |</math>が threshold よりも大きい場合、拡張構造体内のchange_condition(g) サブルーチンによって拘束条件を一時的に変更する。具体的な例として、<math>g = q(\{ x_i \} ) - q_0</math> の場合を考えると、<math>q_0</math> を <math>q_0' = q - sign(g) * d </math> (d は適当な定数）に変更することになる。なお、変更時には警告メッセージを出力する。 SHAKE 計算終了後、拘束条件を元に戻すサブルーチン restore_condition() を実行し変更を元に戻す。

== プログラムの構造と拘束条件の追加 ==
　MD計算の際にどのような設定を行うかは[[５-４章]]及び[[チュートリアル２-５]] を参照すること。ここではソースコードの構造について述べる。

　拘束関連のプログラムの構造は以下のようになっている。

[[ファイル:5-3_program_struct.jpg|center|600px]]

　拘束計算のコアとなる処理はconstraint2_core/ 以下のファイルで行っている。このディレクトリ下にはconstraint_core.F に定義されているconstraint_core_struct の拡張構造体が置かれている。この拡張構造体は、少なくとも
<source lang="fortran">
subroutine init(condition)
!!!
!!! 拘束条件を指定した文字列 condition から、
!!! 必要なパラメータを取り出すサブルーチン
!!!
character(len=*), intent(in) :: condition
!!!
!!! 拘束条件を指定した文字列
!!!
endsubroutine
</source>

<source lang="fortran">
subroutine SHAKE (coord,dt)
!!!
!!! 距離に関する拘束の式（テキスト式(2)）を解き、
!!! coord に新しい座標を返すサブルーチン
!!!
type(coord_struct), intent(inout) :: coord
!!!
!!! input: 拘束考慮前の座標
!!! output: 拘束考慮後の座標
!!!
!!! REAL8, intent(in) :: dt
!!! 時間刻み
!!!
endsubroutine
</source>

<source lang="fortran">
subroutine RATTLE(coord)
!!!
!!! 速度に関する拘束の式(3)を解き、
!!! coord に新しい速度を返すサブルーチン
!!!
type(coord_struct), intent(inout) :: coord
!!!
!!! input: 拘束考慮前の座標
!!! output: 拘束考慮後の座標
!!!
endsubroutine
</source>

<source lang="fortran">
REAL8 function g(coord)
!!!
!!! 拘束条件を規定する式 g を返す関数
!!! ( g = 0 のとき拘束条件が満たされる）
!!!
!!! type(coord_struct), intent(inout) :: coord
!!!
</source>

<source lang="fortran">
REAL8 function dgdt (coord)
!!!
!!! dg/dt を返す関数
!!! ( dg/dt = 0 のとき拘束条件が満たされる）
!!!
!!! type(coord_struct), intent(inout) :: coord
!!!
</source>

<source lang="fortran">
subroutine change_condition(g,coord,oldcoord)
!!!
!!! 系の構造が拘束条件と大きく離れている場合の処理
!!!
!!! REAL8,intent(in) :: g !!! 拘束条件の式の値
!!! type(coord_struct),intent(inout) :: coord,oldcoord
!!! 時間発展前後の座標
!!!
</source>

<source lang="fortran">
subroutine restore_condition()
!!!
!!! change_condition で変更した値を元に戻すサブルーチン
</source>
の7つのプロシージャを定義する必要がある。その他追加のパラメータや変数が必要な場合は読み込み用のサブルーチンを適宜作成する。なお、これらのプロシージャの実行によって座標や速度が更新される場合、その実行後に重心やユーザー定義座標を用いる場合には、それらの更新も別途行って同期する必要があることに注意すること。

　実際の追加には拡張構造体の作成のほか、constraint2_condition.F 中で分岐処理を追加する必要がある。select case 文に新しい case として、
<source lang="fortran">
case("SAMPLE")
allocate(sample)
self%core => sample
</source>
のようなものを追加するだけなのでソースを参考にしてほしい。

== 拘束条件の指定と実際の計算式 ==
　MD計算で拘束条件を追加するには、FreeFlexに読み込ませるネームリストファイルに

&addconstr
condition = “keyword options”
/

の形で新しい条件を指定すればよい。また、&constraint2 ネームリストにより拘束計算全体に関わる設定も変更できる。詳しくは tutorial.docx を見ること。

=== DISTANCE ===
　拘束条件を指定する文字列として
condition = “DISTANCE i j r0 runit maxmove”
とした場合、サイト-サイト間距離の拘束を行う。i, j はサイトの番号、r0 は拘束距離（m）を意味する。また、runit, maxmoveは計算に用いるパラメータで下記の説明の通りである。これらのパラメータは指定しなくても良く、その場合デフォルトの値として r<sup>unit</sup>=1 Å,maxmove=0.01 Å が使用される。
拘束条件にDISTANCE を指定した際の具体的な拘束条件の式は

<math>g=\frac{(\mathbf{x}_i-\mathbf{x}_j )^2-r_0^2}{(r^{unit})^2} =0</math>

である。

　上記拘束条件のもとラグランジュ未定乗数を求めると、

<math>\begin{align}
\gamma_k^x &= \frac{ (r^{unit} )^2 \left[ \left\{\mathbf{x}_i' (t+\Delta t)-\mathbf{x}_j' (t+\Delta t) \right\}^2-r_0^2 \right] }
{ 2 \left( \frac{1}{m_i}+\frac{1}{m_j} \right) \left\{\mathbf{x}_i (t)-\mathbf{x}_j (t) \right\} \cdot \left\{ \mathbf{x}_i' (t+\Delta t)-\mathbf{x}_j' (t+\Delta t) \right\} } \\

\gamma_k^v &= \frac{ (r^{unit} )^2 \left\{ \mathbf{v}_i' (t+\Delta t)-\mathbf{v}_j' (t+\Delta t) \right\} \cdot \left\{ \mathbf{x}_i (t+\Delta t)-\mathbf{x}_j (t+\Delta t) \right\} }
{ \left( \frac{1}{m_i} +\frac{1}{m_j} \right) \left\{\mathbf{x}_i (t+\Delta t)-\mathbf{x}_j (t+\Delta t) \right\}^2 } \\

\end{align}</math>

となる。

　系の構造が拘束条件から大きく外れている場合、<math>r_0</math> の代わりに

<math>r_0'=\sqrt{\left[ \mathbf{x}_i (t)-\mathbf{x}_j (t) \right]^2} -sign (g_k )*maxmove </math>

を用いる。

=== SPCOORD ===
拘束条件を指定する文字列として
condition = “SPCOORD n <s>nq</s> q0(1:nq) qunit maxmove”
とした場合、ユーザー定義座標の拘束を行う。 nはユーザー定義座標（ネームリストの上から1,2,…となる）の番号、<s>nq は指定したユーザー定義座標の次元数</s> (※ nq は spcoord_core_struct の関数(get_nq)で設定されるので、ネームリストの指定は不要。)、 q0(1:nq) は拘束値、qunit, maxmove は計算に用いるパラメータである。具体的な拘束条件の式としては、

<math>g=\frac{q \left( \{\mathbf{x}_i \} \right)-q_0} {q^{unit}} =0 </math>

を用いる。ここでユーザー定義座標を q で表記している。この時、

<math> \mathbf{x}_i (t+\Delta t)=\mathbf{x}_i' (t+\Delta t)+\frac{\gamma_k^q} {m_i} \frac{1}{q^{unit} } \frac{\partial q(t)}{\partial \mathbf{x}_i }</math>

であるから、

<math>\begin{align}
&\frac{1} {q^{unit} } \left[ q \left( \left\{ \mathbf{x}_i' (t+\Delta t)+\frac{\gamma_k^q}{m_i} \frac{1}{q^{unit} } \frac{ \partial q(t)}{\partial \mathbf{x}_i } \right\} \right)-q_0 \right] \\

\approx &\frac{1}{q^{unit} } \left[q' (t+\Delta t)+\sum_i \frac{ \gamma_k^q}{m_i} \frac{1}{q^{unit} } \frac{\partial q(t)}{\partial \mathbf{x}_i } \cdot \frac{\partial q(t+\Delta t)}{\partial \mathbf{x}_i}-q_0 \right]=0

\end{align} </math>

<math>
\gamma_k^q=-q^{unit} \left[q(t+\Delta t)-q_0 \right] / \sum_i \frac{1}{m_i} \frac{\partial q(t)} {\partial \mathbf{x}_i }\cdot \frac{\partial q(t+\Delta t)}{\partial \mathbf{x}_i}
</math>

となる。同様にして速度については、

<math>
\frac{dg_k}{dt}=\frac{1}{q^{unit} } \sum_i\frac{\partial q}{\partial \mathbf{x}_i}\cdot \mathbf{v}_i=0
</math>

が拘束条件となる。従って速度の時間発展が、

<math>
\mathbf{v}_i (t+\Delta t)=\mathbf{v}_i' (t+\Delta t)+\frac{\gamma_k^v}{m_i} \frac{1}{q^{unit} } \frac{\partial q(t+\Delta t)}
{\partial \mathbf{x}_i}
</math>

と表されることから、

<math>
\frac{1}{q^{unit} } \sum_i \frac{\partial q(t+\Delta t)} {\partial \mathbf{x}_i} \left[ \mathbf{v}_i' (t+\Delta t)+\frac{\gamma_k^v}{m_i} \frac{1}{q^{unit} } \frac{\partial q(t+\Delta t)}
{\partial \mathbf{x}_i} \right] =0
</math>

<math>
\gamma_k^v=- \xi^{unit} \sum_i \frac{\partial q(t+\Delta t)} {\partial \mathbf{x}_i } \cdot \mathbf{v}_i' (t+\Delta t)
/ \sum_i \frac{1}{m_i} \left[ \frac{\partial q(t+\Delta t)} {\partial \mathbf{x}_i} \right]^2
</math>

が得られる。

　系の構造が拘束条件から大きく外れている場合、q_0 の代わりに

<math>q_0'=q(t)-sign (g_k )*maxmove </math>

を用いる。
===<math> \frac{ \partial q}{\partial \mathbf{x}_i}</math> が不連続になる場合の処理 ===
　water finger 座標等、時間発展やSHAKE法のループ中に注目する粒子の入れ替わりが起こる場合、<math> \frac{ \partial q}{\partial \mathbf{x}_i}</math> が不連続になる。 <math> \frac{ \partial q(t)}{\partial \mathbf{x}_i}, \frac{ \partial q(t+\Delta t)}{\partial \mathbf{x}_i}</math> の値として入れ替わり前後の値を用いてしまうと通常のSHAKE法のループが収束する保証はない。そこでSHAKE計算においては粒子の入れ替わりを無視し、時刻 t+Δt における注目粒子を用いた場合の <math> \frac{ \partial q(t)}{\partial \mathbf{x}_i}</math> に対応する値を使用することにする。この処理は、spcoord_core_struct 内に注目粒子を交換せずに <math> \frac{ \partial q(t)}{\partial \mathbf{x}_i}</math> を更新するサブルーチン update_q_constr(coord) を用意することで、

*constraint2_struct 内のサブルーチン save_oldcoordにおいて時刻 t における座標を oldcoord として保存。
*constraint2_core_struct 内のサブルーチン SHAKE(coord,oldcoord,dt) において、
**coord%spcoord(n)%update_q_constr(coord) を実行。
**coord%spcoord(n)%get_dqdx(dqdx) により<math> \frac{ \partial q(t+\Delta t)}{\partial \mathbf{x}_i}</math> を取得。
**coord%spcoord(n)%update_q_constr(oldcoord) を実行。
**coord%spcoord(n)%get_dqdx(old_dqdx) により <math> \frac{ \partial q(t)}{\partial \mathbf{x}_i}</math> を取得。
のような処理により実装が可能となる。

=== FREEZE ===
*古い仕様

　条件を
condition = “FREEZE i”
とした場合、i 番目の重心グループの位置を固定する。プログラム内では、位置・速度の補正時に

<math>\begin{align}
\mathbf{x}_i (t+\Delta t)&=\mathbf{x}_i (t) \\
\mathbf{v}_i (t+\Delta t)&=0
\end{align}</math>

としているだけである。

*新しい仕様

<math>A</math> 番目の重心グループの位置を空間固定系に対して固定する。
ただし単純に重心を空間固定系に対して拘束しようとすると1体の拘束力をかけることとなり、
内力場でなくなるため重心が移動する問題がある。
ここではこれを解決する方法として、<math>A</math> の重心と系全体の重心間に拘束をかけることを考える。

<math>A</math> 番目のグループの質量の和を <math>M_A</math>、系に含まれる全粒子の質量の和を <math>M</math> とする。

<math>\begin{align}
M_A = \sum_{i\in A}m_i \\
M = \sum_i m_i
\end{align}</math>

系の相互作用が内力のみから成る場合、系の重心は空間固定系に対して移動しない。
従って <math>A</math> の重心を空間固定系に対して固定したい場合、
系の重心に対する相対位置 <math>\Delta R</math> を固定すればこれは達成される。
このとき拘束条件 <math>g</math> およびその微分 <math>\partial g/\partial r_i</math> は、次の式で書ける。

<math>\begin{align}
g &= \frac{\sum_{i\in A}m_ir_i}{M_A} - \frac{\sum_j m_jr_j}{M} - \Delta R \\
&= \sum_{i\in A}m_ir_i\Bigl(\frac{1}{M_A} - \frac{1}{M}\Bigr) - \sum_{j\in\bar{A}}m_jr_j \frac{1}{M} - \Delta R = 0
\end{align} </math>

<math>\begin{align}
\frac{\partial g}{\partial r_i} =
\begin{cases}
m_i\Bigl(\frac{1}{M_A} - \frac{1}{M}\Bigr) & i\in A \\
-\frac{m_i}{M} & i\in \bar{A} \\
\end{cases}
\end{align} </math>

拘束をかける前の座標および速度を <math>r_i^0</math>、<math>v_i^0</math> とし、
拘束力による変位を座標および速度に対してそれぞれ <math>\delta r_i</math>、<math>\delta v_i</math> とする。
ここで <math>r_i^0</math> および <math>v_i^0</math> は通常の力 <math>-\partial U/\partial r_i</math> による変位を含むため、
必ずしも拘束条件は満たされていない。

<math>\begin{align}
r_i &= r_i^0 + \delta r_i \\
v_i &= v_i^0 + \delta v_i
\end{align}</math>

しかし通常の力が内力のみから構成されるとき、系の重心は初期配置での重心 <math>R_0</math> に常に固定される。

<math>\begin{align}
\frac{\sum_i m_ir_i^0}{M} = R_0
\end{align}</math>

拘束力による変位は未定乗数 <math>\lambda</math> を用いて次式で書ける。

<math>\begin{align}
\delta r_i = \lambda\frac{\partial g}{\partial r_i}\frac{(\Delta t)^2}{2m_i} =
\begin{cases}
\lambda\Bigl(\frac{1}{M_A} - \frac{1}{M}\Bigr)\frac{(\Delta t)^2}{2} &\equiv \delta r_A & i\in A \\
-\frac{\lambda}{M}\frac{(\Delta t)^2}{2} &=\delta r_A\frac{M_A}{M_A-M} & i\in \bar{A} \\
\end{cases}
\end{align} </math>

このとき <math>\lambda</math> は拘束条件 <math>g</math> を満たすように決まるため、
<math>\lambda</math> を求めるために解くべき方程式は次式となる。

<math>\begin{align}
g &= \frac{\sum_{i\in A}m_i(r_i^0+\delta r_i)}{M_A} - \frac{\sum_j m_j(r_j^0+\delta r_j)}{M} - \Delta R \\
&= \frac{\sum_{i\in A}m_ir_i^0}{M_A}+\delta r_A^0 -R_0 - \Delta R = 0
\end{align} </math>

従って、グループ <math>A</math> に属する粒子の拘束力による変位は

<math>\begin{align}
\delta r_A
&= \Delta R - \frac{\sum_{i\in A}m_ir_i^0}{M_A} + R_0 \\
&= R_A - \frac{\sum_{i\in A}m_ir_i^0}{M_A}
\end{align}</math>

となる。また、グループ <math>A</math> に属さない粒子の変位はこれに <math>M_A/(M_A-M)</math> をかけたものとなる。
ここまで議論した変位は ''MoveA'' における <math>t \rightarrow t + \Delta t</math>の時間発展である。
これに対応する速度の変化は <math>t \rightarrow t + \Delta t/2</math> の時間発展であるから、

<math>\begin{align}
\delta v_i = \frac{\delta r_i}{\Delta t}
\end{align}</math>

となる。
また、<math>g</math> の時間微分も拘束条件として課される。

<math>\begin{align}
\frac{dg}{dt} = \frac{\sum_{i\in A}m_iv_i}{M_A} - \frac{\sum_jm_jv_j}{M} = 0
\end{align}</math>

拘束力による速度変化は、<math>t + \Delta t/2 \rightarrow t + \Delta t</math> における時間発展であるから、

<math>\begin{align}
\delta v_i
= \lambda\frac{\partial g}{\partial r_i}\frac{\Delta t}{2m_i}
=
\begin{cases}
\lambda\Bigl(\frac{1}{M_A} - \frac{1}{M}\Bigr)\frac{\Delta t}{2} &\equiv \delta v_A & i\in A \\
-\frac{\lambda}{M}\frac{\Delta t}{2} &= \delta v_A\Bigl(\frac{M_A}{M_A-M}\Bigr) & i\in \bar{A}
\end{cases}
\end{align}</math>

となる。ただし重心の速度は0である。

<math>\begin{align}
\frac{\sum_i m_iv_i^0}{M} = 0
\end{align}</math>

従って拘束力を求めるために解くべき方程式は

<math>\begin{align}
\frac{dg}{dt}
&= \frac{1}{M_A}\sum_{i\in A}m_i(v_i^0+\delta v_i) - \frac{1}{M}\sum_j m_j(v_j^0+\delta v_j) \\
&= \frac{\sum_{i\in A}m_iv_i^0}{M_A} + \delta v_A = 0
\end{align}</math>

であり、速度変化はこれを解いて次式となる。

<math>\begin{align}
\delta v_A = -\frac{\sum_{i\in A}m_iv_i^0}{M_A}
\end{align}</math>

== 平均力と拘束力 ==
結構ムズイのであきらめた。

Giovanni Ciccotti, Raymond Kapral, and Eric Vanden-Eijnden, "Blue moon sampling, vectorial reaction coordinates, and unbiased constrained dynamics," ChemPhysChem 6 (2005) 1809-1814.

Michiel Sprik and Giovanni Ciccotti, "Free energy from constrained molecular dynamics," J. Chem. Phys. 109 (1998) 7737-7744.

　FreeFlex version 1.0以降では、通常のRATTLE法に加え、質量のないサイトに対する拘束や特異点のある拘束条件に対する拘束アルゴリズム（SF-RATTLE）をサポートするよう改良がなされた。
　また、これに伴い通常のRATTLE法に対しても若干の修正が加えられており、これらについて説明する。

== SF-RATTLE ==
FreeFlexでは一般化座標を用いて、自由な拘束条件を課すことができる。
ただし拘束条件の種類によってはRATTLE拘束に対して特異点となる場合があり、これを回避するために特別なアルゴリズム（SF-RATTLE）を
用いる必要がある。
例えば粒子1, 2, 3のなす角 <math>\theta</math> を <math>\theta_0</math> に固定するような拘束条件

<math>\begin{align}
g=\cos{\theta}-\cos{\theta_0}=0
\end{align}</math>

に対して、<math>\cos{\theta}=0, \pi</math> は g の微分が 0 になるために拘束力の向きが決まらず、特異点となっている。

== 質量のないサイトを含む拘束条件 ==
TIP4P、TIP5PやCRK水モデルをはじめとして、ダミーサイトを含む分子モデルがしばしば用いられる。
通常のRATTLE法をこれらの拘束条件に直接適用することはできないが（拘束力 <math>F_i^\mathrm{con}</math> による
変位 <math>\delta r_i = \frac{(\Delta t)^2}{2m_i}F_i^\mathrm{con}</math> が <math>m_i\rightarrow 0</math>で発散する）
、ダミーサイトに働く力を質量のあるサイトに分配することで通常のRATTLE法と同様に取り扱うことが可能となる。

ダミーサイトの座標は、質量を持つ粒子との拘束条件によって決められる。
従って、ダミーサイトには通常3つの（独立な）拘束条件がかかるべきであり、これ以上の拘束は冗長である。
現行のFreeFlexでは4つ以上の拘束条件を許容しないので拘束条件は冗長に置かないように注意する。

拘束計算 - 版の履歴

Hirano: ページの作成:「 一般化座標を４ 章のようにユーザー定義して与えた際に、その座標を拘束した計算が一般的に可能である。 == ネームリ…」

Hirano: ページの作成:「　一般化座標を４章のようにユーザー定義して与えた際に、その座標を拘束した計算が一般的に可能である。 == ネームリ…」