How Is the Gaussian Integral Related to Averages?

[MadMax]

OK so we have:

\int f(z) e^{a g(z)} dz^3

integerated over all space.

Now there is a identity for this integral as an average, or something like that, right? What is it? Or perhaps you have suggestions where I could read up on that kind of thing?

(I'm not looking for the integral in terms of a determinant by the way, or am I? :/ ).

Any help would be much appreciated. Thanks.

 

[MadMax]

Maybe if I say expectation value rather than average?

 

[cepheid]

How is that a Gaussian integral? What is with the z cubed? And it is not clear at all what kind of identity you are asking for. Are you saying that by definition, this integral is the expectation value of something, and you are asking us what that something is?Also, how could an integral be a determinant?

 

[MadMax]

Well the g(z) has a term of order z^2 as the highest order. The z cubed is just d^3z (I wrote it the wrong way round. It just means its a volume integral... where z = z_i + z_j + z_k ...

Yeah that is what I'm asking. I'm pretty sure there is a standard identity for such a 3D gaussian integral as an average or an expectation value, (I'm thinking statistical physics here.. ? )I had it once, but lost the paper I wrote it on, and can't remember where it came from.

Basically though I just want to be able to integrate this without having to exapnd in terms of z_i, z_j, z_k

 

[Dick]

The integral as stated is much to general to say anything about. If g(z) is quadratic, you had better spell that out. You'll also need to say something about f(z).

 

[MadMax]

Yeah I can't edit the post.

g(z) is definitely quadratic.

f(z) is a mononomial in z of order >= 0.

 

[Dick]

Complete the square for g(z). Ie write g(z)=-w^2+A where w is a linear function of z. Write f(z) using the same variable. Now you just have to integrate things like w^n*exp(-w^2). To do these think about the function f(A)=integral(exp(-A*x^2)) which you can do, and differentiate wrt A. The odd powers are easy.

 

[MadMax]

Thanks dick!

 

[MadMax]

Hmm, still struggling to be honest.

Can we work through an example please?

\int^{\infty}_{-\infty}d^3 \mathbf{z}e^{-az^2+b\mathbf{z}\cdot \mathbf{x} -c}

I tried breaking it up into 3 integrals in terms of polar coords, but that resulted in a singular integral... However if we look at the integral as I've written it there, we can see that it isn't singular... I'm sure there's a way to tackle this without breaking it up into polars. But how?

 

[nrqed]

Hmm, still struggling to be honest.

Can we work through an example please?

\int^{\infty}_{-\infty}d^3 \mathbf{z}e^{-az^2+b\mathbf{z}\cdot \mathbf{x} -c}

I tried breaking it up into 3 integrals in terms of polar coords, but that resulted in a singular integral... However if we look at the integral as I've written it there, we can see that it isn't singular... I'm sure there's a way to tackle this without breaking it up into polars. But how?

I am not sure if this is what you are looking for. But it's fairly easy to rpove the following formula

\int dq_1 dq_2 \ldots dq_N ~ e^{-1/2 \sum_{nm} q_n M_{nm} q_m + \sum_n J_n q_n} = \frac{(2 \pi)^{N/2}}\sqrt{det M}} e^{1/2 \sum_{nm} J_n M_{nm}^{-1} J_m}

In your case, you would have an integral over dz_1 dz_2 dz_3 and the matrix M is diagonal.

Is that what you are looking for?

 

[nrqed]

I am not sure if this is what you are looking for. But it's fairly easy to rpove the following formula

\int dq_1 dq_2 \ldots dq_N ~ e^{-1/2 \sum_{nm} q_n M_{nm} q_m + \sum_n J_n q_n} = \frac{(2 \pi)^{N/2}}\sqrt{det M}} e^{1/2 \sum_{nm} J_n M_{nm}^{-1} J_m}

In your case, you would have an integral over dz_1 dz_2 dz_3 and the matrix M is diagonal.

Is that what you are looking for?

I gave a very general formula but your case is much simpler. To see how to do it, consider breaking the integral as a product of three integrals over z_1, z_2 and z_3. Let's just look at the integral over z_1, ok? It is

\int dz_1 e^{-az_1^2 + b z_1 x_1 }
(the constant piece e^{-c} can trivially be factored out of the intgeral of course so I won't worry about it).

Now complete the square by writing
-az_1^2 + b z_1 x_1 = -a(z_1 - \frac{b x_1}{2a})^2 + \frac{x_1^2 b^2}{4 a}

Then you shift your variable of integration following z_1 \rightarrow z_1 + \frac{b x_1}{2a} And you then end up with a trivial integral to do.

Hope this helps.

Patrick

 

[MadMax]

Yes thank you very much nrqed. that does help a lot. :)

 

[nrqed]

Yes thank you very much nrqed. that does help a lot. :)

You are very welcome.
Going back to your original question, now you could easily do the integral of an arbitrary power of z times your exponential. For example, if you have z_1^3 z_3 as part of the integrand, you may use that
z_1^3 z_3 \times e^{\ldots} = \frac{1}{b^4} \partial_{x_1}^3 \partial_{x_3} e^{\ldots}

(I put dots in the exponential because I di dnot feel like rewriting the whole thing!)

Now, you pull out the partial derivatives from the integral, integrate as before, and then apply the derivatives on the final (integrated) result.

By the way, this whole trick is fundamental in quantum field theory where it is used to calculate Feynman diagrams (in the path integral approach).

Best luck!