## Posts Tagged ‘**differential equation**’

## A quick introduction to the Martin-Siggia-Rose formalism

**The Martin-Siggia-Rose (MSR) formalism is a method to write stochastic differential equations (SDEs) as a field theory formulated using path integrals.** These are familiar from many branches of physics, and are simple to treat perturbatively (or, in some cases, even to solve exactly).

We start from an SDE of the form:

,

where is a deterministic function and is Gaussian noise with an arbitrary correlation function :

.

MSR recognized that observables, averaged over solutions of this SDE, can be written as a path integral with a certain action:

,

where

.

A useful **special case** is an automonous (time-independent) SDE with **multiplicative noise**:

,

where is Gaussian white noise. The resulting action for the path integral is local in time:

.

I will now show a few concrete examples, and then explain how this mapping is derived.

## Example: Ornstein-Uhlenbeck process

The Ornstein-Uhlenbeck process is one of the few stochastic processes treatable analytically. Its SDE is:

,

where (else the process blows up) and is white noise:

.

In this section, I will show that the **generating functional** for this Ornstein-Uhlenbeck process is given by:

.

To show this, we apply the MSR formula to express the generating functional as a path integral:

.

This path integral can be solved exactly. The key observation is that the exponent is linear in , and hence one can integrate over this field. Using , this gives (up to a normalization factor ) a -functional:

.

The factor remains since it is the only term in the action independent of .

The -functional fixes in terms of :

.

From this we get

The normalization factor is seen to be by imposing that for we must have .

Plugging this in gives the generating functional, as claimed above:

.

One simple consequence is the **exponential decay of the connected correlation function**:

.

But of course, the full generating functional tells us much more – in some sense, it is the exact solution of the SDE!

*Note added 01/12/2012: Of course, the generating functional can be written down immediately once one knows the two-point correlation function and the fact that the Ornstein-Uhlenbeck process is Gaussian. However, the latter fact is not immediately obvious (and was not used in our derivation), in fact one can see our MSR calculation as one way to prove Gaussianity for the OU process.*

## Derivation of the Martin-Siggia-Rose formula

Now that we’ve seen what the MSR path integral formulation is useful for, let us see how it can be derived. The average over an observable can be written as a path integral with the SDE enforced through a -functional:

.

Now, we rewrite the -functional using the formula . Since the -functional is a product of a -function at all points in space, effectively we are introducing an auxiliary field :

.

Now, the only thing that depends on the noise is the factor . Since is Gaussian, the average of this factor can be simply expressed as

Altogether we obtain

which is just the MSR formula claimed above.

Amazingly, I did not yet find a clear derivation of this path integral representation on Wikipedia or anywhere else on the web… So I hope this will be useful for someone starting to work with the formalism!

If there is interest, I may write another blog post in the future with more examples and explanations e.g. on the physical role of the auxiliary field .