The MoriâÂÂZwanzig formalism, named after the physicists and Robert Zwanzig, is a method of statistical physics. It allows the splitting of the dynamics of a system into a relevant and an irrelevant part using projection operators, which helps to find closed equations of motion for the relevant part. It is used e.g. in fluid mechanics or condensed matter physics.
Macroscopic systems with a large number of microscopic degrees of freedom are often well described by a small number of relevant variables, for example the magnetization in a system of spins. The MoriâÂÂZwanzig formalism allows the finding of macroscopic equations that only depend on the relevant variables based on microscopic equations of motion of a system, which are usually determined by the Hamiltonian. The irrelevant part appears in the equations as noise. The formalism does not determine what the relevant variables are, these can typically be obtained from the properties of the system.
The observables describing the system form a Hilbert space. The projection operator then projects the dynamics onto the subspace spanned by the relevant variables. The irrelevant part of the dynamics then depends on the observables that are orthogonal to the relevant variables. A correlation function is used as a scalar product, which is why the formalism can also be used for analyzing the dynamics of correlation functions.
A not explicitly time-dependent observable obeys the Heisenberg equation of motion
where the Liouville operator is defined using the commutator in the quantum case and using the Poisson bracket in the classical case. We assume here that the Hamiltonian does not have explicit time-dependence. The derivation can also be generalized towards time-dependent Hamiltonians. This equation is formally solved by
The projection operator acting on an observable is defined as
where is the relevant variable (which can also be a vector of various observables), and is some scalar product of operators. The Mori product, a generalization of the usual correlation function, is typically used for this scalar product. For observables , it is defined as
where is the inverse temperature, Tr is the trace (corresponding to an integral over phase space in the classical case) and is the Hamiltonian. is the relevant probability operator (or density operator for quantum systems). It is chosen in such a way that it can be written as a function of the relevant variables only, but is a good approximation for the actual density, in particular such that it gives the correct mean values.
Now, we apply the operator identity
to
Using the projection operator introduced above and the definitions
(frequency matrix),
(random force) and
(memory function), the result can be written as
This is an equation of motion for the observable , which depends on its value at the current time , the value at previous times (memory term) and the random force (noise, depends on the part of the dynamics that is orthogonal to ).
The equation derived above is typically difficult to solve due to the convolution term. Since we are typically interested in slow macroscopic variables changing timescales much larger than the microscopic noise, this has the effect of integrating over an infinite time limit while disregarding the lag in the convolution. We see this by expanding the equation to second order in , to obtain
where
For larger deviations from thermodynamic equilibrium, the more general form of the MoriâÂÂZwanzig formalism is used, from which the previous results can be obtained through a linearization. In this case, the Hamiltonian has explicit time-dependence. In this case, the transport equation for a variable
where is the mean value and is the fluctuation, be written as (use index notation with summation over repeated indices)
where
and
We have used the time-ordered exponential
and the time-dependent projection operator
These equations can also be re-written using a generalization of the Mori product. Further generalizations can be used to apply the formalism to time-dependent Hamiltonians, general relativity, and arbitrary dynamical systems