Skip to main content
Chemistry LibreTexts

14.6: Mori-Zwanzig Theory- A more general derivation of the GLE

  • Page ID
    5310
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

    ( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\id}{\mathrm{id}}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\kernel}{\mathrm{null}\,}\)

    \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\)

    \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\)

    \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    \( \newcommand{\vectorA}[1]{\vec{#1}}      % arrow\)

    \( \newcommand{\vectorAt}[1]{\vec{\text{#1}}}      % arrow\)

    \( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vectorC}[1]{\textbf{#1}} \)

    \( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

    \( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

    \( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

    \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)

    A derivation of the GLE valid for a general bath can be worked out. The details of the derivation are given in the book by Berne and Pecora called Dynamic Light Scattering. The system coordinate \( {q} \) and its conjugate momentum \( {p} \) are introduced as a column vector:

    \[ {\textbf A} = \left(\matrix{q \cr p}\right) \nonumber \]

    and, in addition, one introduces statistical projection operators \(P\) and \(Q \) that project onto subspaces in phase space parallel and orthogonal to \(A\). These operators take the form

    \[P = {\langle ...{\textbf A}^{\rm T}\rangle \langle {\textbf A}{\textbf A}^{\rm T}\rangle ^{-1} } \nonumber \]

    \[Q = I-P \nonumber \]

    These operators are Hermitian and satisfy the property of idempotency:

    \[ {P^2} = P \nonumber \]

    \[ {Q^2} = Q \nonumber \]

    Also, note that

    \[P {\textbf A} ={\textbf A} \nonumber \]

    \[Q {\textbf A} = {0} \nonumber \]

    The time evolution of \({\textbf A}\) is given by application of the classical propagator:

    \[ {\textbf A}(t) = e^{iLt}{\textbf A}(0) \nonumber \]

    Note that the evolution of \({\textbf A} \) is unitary, i.e., it preserves the norm of \({\textbf A} \):

    \[ \vert{\textbf A}(t)\vert^2 = \vert{\textbf A}(0)\vert^2 \nonumber \]

    Differentiating both sides of the time evolution equation for \({\textbf A} \) gives:

    \[ {dA \over dt} = e^{iLt} iL{\bf A}(0) \nonumber \]

    Then, an identity operator is inserted in the above expression in the form \(I = P + Q \):

    \[ {dA \over dt} = e^{iLt}(P+Q)iL{\textbf A}(0) = e^{iLt}PiL{\textbf A}(0) + e^{iLt}QiL{\textbf A}(0) \nonumber \]

    The first term in this expression defines a frequency matrix acting on \({\textbf A}\):

    \( {e^{iLt}PiL{\textbf A}(0)}\) \(=\)

    \( {e^{iLt}\langle iL{\textbf A}{\textbf A}^{\rm T}\rangle\langle {\textbf A}{\textbf A}^{\rm T}\rangle^{-1}{\textbf A} }\)

     
           
      \(=\)

    \( {\langle iL{\textbf A}{\textbf A}^{\rm T}\rangle\langle {\textbf A}{\textbf A}^{\rm T}\rangle^{-1}e^{iLt}{\textbf A} } \)

     
           
      \(=\)

    \( {\langle iL{\textbf A}{\textbf A}^{\rm T}\rangle\langle {\textbf A}{\textbf A}^{\rm T}\rangle^{-1}{\textbf A}(t) }\)

     
           
      \(\textstyle \equiv\)

    \(i{\bf \Omega}{\textbf A}(t) \)

     

    where

    \[ {\bf\Omega} = \langle L{\bf A}{\bf A}^{\rm T}\rangle\langle {\bf A}{\bf A}^{\rm T}\rangle^{-1} \nonumber \]

    In order to evaluate the second term, another identity operator is inserted directly into the propagator:

    \[ e^{iLt} = e^{i(P+Q)Lt} \nonumber \]

    Consider the difference between the two propagators:

    \[ e^{iLt} - e^{iQLt} \nonumber \]

    If this difference is Laplace transformed, it becomes

    \[ (s-iL)^{-1} - (s-iQL)^{-1} \nonumber \]

    which can be simplified via the general operator identity:

    \[ {\rm A}^{-1} - {\rm B}^{-1} = {\rm A}^{-1}({\rm B}-{\rm A}){\rm B}^{-1} \nonumber \]

    Letting

    \[A = (s - iL ) \nonumber \]

    \[B = (s - iQL ) \nonumber \]

    we have

    \( { (s-iL)^{-1}-(s-iQL)^{-1} } \) \(=\) \( {(s-iL)^{-1}(s-iQL - s + iL)(s-iQL)^{-1} } \)  
      \(=\) \( {(s-iL)^{-1}iPL(s-iQL)^{-1} } \)  

    or

    \[ (s-iL)^{-1} = (s-iQL)^{-1} + (s-iL)^{-1}(s-iQL - s + iL)(s-iQL)^{-1} \nonumber \]

    Now, inverse Laplace transforming both sides gives

    \[ e^{iLt} = e^{iQLt} + \int_0^t\;d\tau\;e^{iL(t-\tau)}iPLe^{iQL\tau} \nonumber \]

    Thus, multiplying fromthe right by \(QiL{\textbf A} \) gives

    \[ e^{iLt}QiL{\bf A}= e^{iQLt}QiL{\bf A}+\int_0^t\;d\tau\;e^{iL(t-\tau)}iPLe^{iQL\tau}QiL{\bf A} \nonumber \]

    Define a vector

    \[ {\bf F}(t) = e^{iQLt}QiL{\bf A}(0) \nonumber \]

    so that

    \[ e^{iLt}QiL{\bf A}= {\bf F}(t) +\int_0^t\;d\tau\;\langle iL {\bf F} (\tau) {\bf A }^T \rangle \langle {\bf A}{\bf A}^{\rm T}\rangle^{-1} {\bf A}(t-\tau) \nonumber \]

    Because \({\textbf F} (t) \) is completely orthogonal to \({\textbf A} (t) \), it is straightforward to show that

    \[ Q{\bf F}(t) = {\bf F}(t) \nonumber \]

    Then,

    \( {\langle iL{\bf F}(\tau){\bf A}^{\rm T}\rangle\langle{\bf A}{\bf A}^{\rm T}\rangle^{-1}{\bf A} } \)

    \(=\) \( {\langle iLQ{\bf F}(\tau){\bf A}^{\rm T}\rangle\langle{\bf A}{\bf A}^{\rm T}\rangle^{-1}{\bf A} }\)  
           
      \(=\) \( {-\langle Q{\bf F}(\tau)(iL{\bf A})^{\rm T}\rangle\langle{\bf A}{\bf A}^{\rm T}\rangle^{-1}{\bf A} } \)  
           
      \(=\) \( {-\langle Q^2{\bf F}(\tau)(iL{\bf A})^{\rm T}\rangle\langle{\bf A}{\bf A}^{\rm T}\rangle^{-1}{\bf A} }\)  
           
      \(=\)

    \( {-\langle Q{\bf F}(\tau)(QiL{\bf A})^{\rm T}\rangle\langle{\bf A}{\bf A}^{\rm T}\rangle^{-1}{\bf A} } \)

     
           
      \(=\)

    \( {-\langle {\bf F}(\tau){\bf F}^{\rm T}(0)\rangle\langle{\bf A}{\bf A}^{\rm T}\rangle^{-1}{\bf A} } \)

     

    Thus,

    \[ e^{iLt}QiL{\bf A}= {\bf F}(t) - \int_0^t\;d\tau\;\langle {\bf F} (\tau){\bf F}^T (0) \rangle \langle {\bf A}{\bf A}^{\rm T}\rangle^{-1}{\bf A}(t-\tau) \nonumber \]

    Finally, we define a memory kernel matrix:

    \[ {\bf K}(t) = \langle {\bf F}(\tau){\bf F}^{\rm T}(0)\rangle\langle{\bf A}{\bf A}^{\rm T}\rangle^{-1} \nonumber \]

    Then, combining all results, we find, for \({d {bf A} \over dt } \):

    \[ {d{\bf A}\over dt} = i{\bf\Omega}(t){\bf A}-\int_0^t\;d\tau\;{\bf K}(\tau){\bf A}(t-\tau) + {\bf F}(t) \nonumber \]

    which equivalent to a generalized Langevin equation for a particle subject to a harmonic potential, but coupled to a general bath. For most systems, the quantities appearing in this form of the generalized Langevin equation are

    \( i{\bf\Omega} \) \(=\) \({\bf K} (t) \)  
           
    \({\bf F} (t) \) \(=\) \({\bf K} (t) \)  
           
    \(\left(\matrix{0 \cr R(t)}\right) \) \(=\) \(\phi (q) = {m \omega ^2 q^2 \over 2} \)  

    It is easy to derive these expressions for the case of the harmonic bath Hamiltonian when

    \[ \langle R(0)R(t)\rangle = \langle R(0)e^{iLt}R(0)\rangle = kT\zeta(t) \nonumber \]

    For the case of a harmonic bath Hamiltonian, we had shown that the friction kernel was related to the random force by the fluctuation dissipation theorem:

    \[ exp (iQLt ) \nonumber \]

    For a general bath, the relation is not as simple, owing to the fact that \({\textbf F} (t) \) is evolved using a modified propagator \(\langle R(0)e^{iQLt}R(0)\rangle = kT\zeta(t)\). Thus, the more general form of the fluctuation dissipation theorem is

    \[ \langle R(0)e^{iQLt}R(0)\rangle \approx \langle R(0)e^{iL_{\rm cons}t}R(0)\rangle \nonumber \]

    so that the dynamics of \(R (t) \) is prescribed by the propagator \(\langle R(0)e^{iQLt}R(0)\rangle = kT\zeta(t)\). This more general relation illustrates the difficulty of defining a friction kernel for a general bath. However, for the special case of a stiff harmonic diatomic molecule interacting with a bath for which all the modes are soft compared to the frequency of the diatomic, a very useful approximation results. One can show that

    \[ iL_{cons} \nonumber \]

    where \(C_{vv} (t) = {\langle \dot {q} (0) \dot {q} (t) \rangle \over \langle \dot {q} ^2 \rangle } \) is the Liouville operator for a system in which the diatomic is held rigidly fixed at some particular bond length (i.e., a constrained dynamics). Since the friction kernel is not sensitive to the details of the internal potential of the diatomic, this approximation can also be used for diatomics with stiff, anharmonic potentials. This approximation is referred to as the rigid bond approximation (see Berne, et al, J. Chem. Phys. 93, 5084 (1990)).


    This page titled 14.6: Mori-Zwanzig Theory- A more general derivation of the GLE is shared under a CC BY-NC-SA 4.0 license and was authored, remixed, and/or curated by Mark Tuckerman.