Physics Forums

## Functional integral theorem

I've been watching Sidney Coleman's QFT lectures (http://www.physics.harvard.edu/about/Phys253.html). I've gotten up to his discussion of functional integration, and I have some questions.

He starts out by discussing a finite-dimensional integral of a Gaussian function: $\int{\frac{d^n x}{(2\pi)^{n/2}}e^{-\frac{1}{2}xAx}} = (det A)^{-1/2}$, where $x$ is an n-dimensional vector, and $A$ an n-dimensional symmetric matrix. So far, that makes sense--if you diagonalize $A$, it just turns into the product of $n$ Gaussian integrals. He then goes on to discuss the integral of a polynomial times a Gaussian, $\int{\frac{d^n x}{(2\pi)^{n/2}}P(x)e^{-\frac{1}{2}xAx}}$, where $P(x)$ is a polynomial. Seemingly out of nowhere, he gives the result of this integral as $P(-\frac{\partial}{\partial b})(det A)^{-1/2}$. I have absolutely no idea where this comes from.

Google is turning up bits and pieces of information on this, but nothing I can make a complete picture out of. The best I've been able to work out is that it's in some way related to differentiating under the integration sign, but I can't quite put the pieces together. This is clearly going to become important in the subsequent sections, where we're going to go on to develop the path integral formulation of QFT, so I'd really like to figure this out. Can anybody shed any light on how this works?

PhysOrg.com  physics news on PhysOrg.com  >> Promising doped zirconia>> New X-ray method shows how frog embryos could help thwart disease>> Bringing life into focus

Recognitions:        Science  Advisor  Check out  http://en.wikipedia.org/wiki/Gaussian_integral  especially the section titled "Integrals of similar form".  Zee's QFT textbook also covers it a bit, iirc.

Recognitions:      Homework  Help     Science  Advisor  Near as I can tell, there are some missing pieces to the formula you wrote.  Perhaps these were not copied correctly in the notes?  The general expressions is $$f(A,b) = \int \frac{d^n x}{(2\pi)^{n/2}} \exp{\left(-\frac{x A x}{2} + b x\right)} = \left(\det{A}\right)^{-1/2} \exp{\left(\frac{b A^{-1} b}{2}\right)}.$$ The final equality follows by completing the square under the integral and then shifting the integration variable.  Now assuming that you can exchange integration and differentiation you can write  $$\int \frac{d^n x}{(2\pi)^{n/2}} x^k \exp{\left(-\frac{x A x}{2}\right)} = \int \frac{d^n x}{(2\pi)^{n/2}} \left[\frac{\partial^k}{\partial b^k} \exp{\left(-\frac{x A x}{2}+bx\right)}\right]_{b=0} = \left[\frac{\partial^k}{\partial b^k} f(A,b) \right]_{b=0}.$$ The expression for general P then follows from the Taylor expansion of P.  There is some indexology that I have left schematic, but let me know if you have trouble working it out.  Also, note that if P has an infinite Taylor expansion then the exchange of summation and integration may not be valid i.e. one could use P(d/db) inside the integral but not outside it.

## Functional integral theorem

Ahh, that's where the $b$ comes from. Yeah, he added a linear term earlier on in the lecture when discussing the integral of a generalized Gaussian, but by the time we got to this point, he'd absorbed everything into a general quadratic form $e^{-Q(x)}$, so I didn't realize that was the $b$ we were talking about. I didn't include it in my initial description because I didn't realize it was relevant, but now I see what's going on.

Quote by Physics Monkey 					 				 				Also, note that if P has an infinite Taylor expansion then the exchange of summation and integration may not be valid i.e. one could use P(d/db) inside the integral but not outside it.
$P(x)$ is given as being a finite-order polynomial, so I can say with reasonable certainty that its Taylor expansion terminates.

Thank you very much--this makes perfect sense now.

Thread Tools

|                                                  |                            |         |
|--------------------------------------------------|----------------------------|---------|
| Similar Threads for: Functional integral theorem |                            |         |
| Thread                                           | Forum                      | Replies |
|                                                  | Quantum Physics            | 0       |
|                                                  | Calculus                   | 3       |
|                                                  | Quantum Physics            | 2       |
|                                                  | Calculus & Beyond Homework | 0       |
|                                                  | Advanced Physics Homework  | 0       |
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 12, "mathjax_display_tex": 2, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9432618021965027, "perplexity_flag": "head"}