- #1

Kevin_Axion

- 912

- 2

In a Feynman Path integral, [tex]Z(\phi) = \int \cal D \phi[/tex] [tex] e^{\frac{iS(x)}{\hbar}}[/tex], what does the object [tex]e^{\frac{iS(x)}{\hbar}}[/tex] mean?

Last edited:

You are using an out of date browser. It may not display this or other websites correctly.

You should upgrade or use an alternative browser.

You should upgrade or use an alternative browser.

- Thread starter Kevin_Axion
- Start date

- #1

Kevin_Axion

- 912

- 2

Last edited:

- #2

fzero

Science Advisor

Homework Helper

Gold Member

- 3,119

- 290

- #3

Kevin_Axion

- 912

- 2

- #4

fzero

Science Advisor

Homework Helper

Gold Member

- 3,119

- 290

It's tough to give a layman's explanation without drawing lots of pictures, but I can point you to some references. There's a small book by Feynman called "QED: The strange theory of light and matter" which is aimed at a popular audience but still does a great job of keeping the facts intact. There's also a higher-brow discussion at http://www.quantumfieldtheory.info/Path_Integrals_in_Quantum_Theories.htm which is aimed at someone that understands QM but I think the graphic explanation in section 6 there might be ok to follow, since it's based on Feynman's explanation from that book.

Last edited by a moderator:

- #5

Kevin_Axion

- 912

- 2

I bought QED but haven't started it yet, I'm going to finish Cosmos first, thanks for the insight.

- #6

Kevin_Axion

- 912

- 2

- #7

fzero

Science Advisor

Homework Helper

Gold Member

- 3,119

- 290

It's a good question, but I'm not sure that my answer will really seem sufficient without more background about what the action means in classical mechanics, not to mention the framework of the path integral itself.

- #8

Kevin_Axion

- 912

- 2

- #9

A. Neumaier

Science Advisor

- 8,243

- 4,114

The factor is there to make the exponent dimensionless, since S and hbar both have the dimension of action, and the exponential of a dimensional quantity doesn't make sense.

The path integral itself is an infinite-dimensional generalization of integrals over the real line such as those occurring in the definition of a Gaussian distribution, except that the fact that the exponent is purely imaginary makes the integral somewhat difficult to define.

The integral of e^{ix^2} over R is neither Riemann integrable nor Lebesgue integrable,

and Henstock integrability, which fits here, is not common knowledge. In infinite dimensions, the difficulties are much worse...

Therefore one often (e..g., in lattice simulations of QFT) uses so-called Euclidean path integrals, where i is replaced by -1 to make it mathematically tractable. This can be justified to some extent by analytic continuation.

- #10

RedX

- 970

- 3

The integral of e^{ix^2} over R is neither Riemann integrable nor Lebesgue integrable,

and Henstock integrability, which fits here, is not common knowledge. In infinite dimensions, the difficulties are much worse...

Therefore one often (e..g., in lattice simulations of QFT) uses so-called Euclidean path integrals, where i is replaced by -1 to make it mathematically tractable. This can be justified to some extent by analytic continuation.

When you replace i by -1, paths with high action no longer vary wildly in phase and hence cancel, but instead become suppressed.

This to me is radically different. In the former case, there is a collective canceling of high action paths. In the latter case, there is individual suppression of each individual high action path.

Is this the right interpretation of the difference between working in Minkowski space and Euclidean space?

For example, take a two slit experiment. Why do you only have to sum over those two slits, and not consider paths that go through the wall? In the Minkowski interpretation, you do add all the paths that go through the wall, but since the action is high there due to a high potential, they all cancel. In the Euclidean intepretation, each path that goes through the wall is suprresed by the high potential energy (in Euclidean space the Lagrangian pretty much turns into the Hamiltonian, so [tex]e^{-S_E}=e^{-\int L_E d\tau}=e^{-\int H d\tau} [/tex]).

- #11

A. Neumaier

Science Advisor

- 8,243

- 4,114

When you replace i by -1, paths with high action no longer vary wildly in phase and hence cancel, but instead become suppressed.

This to me is radically different. In the former case, there is a collective canceling of high action paths. In the latter case, there is individual suppression of each individual high action path.

Is this the right interpretation of the difference between working in Minkowski space and Euclidean space?

Yes. This means that the latter is well-behaved and can be studied by much more powerful techniques than the former, where one mainly relies on purely formal manipulations that are known to be sometimes wrong in much simpler situations.

if you replace the i by a variable j then you can interpolate between the regimes. For j=-1 one has the Euclidean integral and as one shifts more and more of the real part to the imaginary part one tends to the Minkowski integral. In the limit j-> i one gets the latter.

This is called analytic continuation, and in all cases where it can be proved to be valid, things are fine. The precise conditions are determined by the Osterwalder-Schrader theorem.

- #12

RedX

- 970

- 3

Yes. This means that the latter is well-behaved and can be studied by much more powerful techniques than the former, where one mainly relies on purely formal manipulations that are known to be sometimes wrong in much simpler situations.

It seems to me that [tex]e^{\int -\frac{\mathcal H}{\hbar}d\tau}[/tex] is much easier to understand than [tex]e^{\int i\frac{\mathcal L}{\hbar}dt}=e^{iS} [/tex] when you take the limit [tex] \hbar[/tex] goes to zero (i.e., when the action is really big compared to [tex]\hbar [/tex] ), yet most popular books insist on the latter and talk about phase cancellations at large actions (Minkowski) instead of supression because of too much energy on the path (Euclidean).

if you replace the i by a variable j then you can interpolate between the regimes. For j=-1 one has the Euclidean integral and as one shifts more and more of the real part to the imaginary part one tends to the Minkowski integral. In the limit j-> i one gets the latter.

This is called analytic continuation, and in all cases where it can be proved to be valid, things are fine. The precise conditions are determined by the Osterwalder-Schrader theorem.

Actually if you take the Hamiltonian H in the path integral and replace it by [tex]H(1-i\epsilon)[/tex] for infinitismally small positive [tex]\epsilon [/tex], then you get the [tex]i\epsilon [/tex] prescription which can take the place of a Wick rotation. Is this the same thing as your variable complex variable j?

- #13

A. Neumaier

Science Advisor

- 8,243

- 4,114

It seems to me that [tex]e^{\int -\frac{\mathcal H}{\hbar}d\tau}[/tex] is much easier to understand than [tex]e^{\int i\frac{\mathcal L}{\hbar}dt}=e^{iS} [/tex] when you take the limit [tex] \hbar[/tex] goes to zero (i.e., when the action is really big compared to [tex]\hbar [/tex] ), yet most popular books insist on the latter and talk about phase cancellations at large actions (Minkowski) instead of supression because of too much energy on the path (Euclidean).

This is actually done in lattice QFT.

But of course it alters the whole theory - the symmetry group is then SO(4) in place of the Lorentz group SO(1,3)! Thus all results must be reinterpreted at the end via analytic continuation (hoping that it is valid). That's why one _must_ start with the Minkowski version.

Actually if you take the Hamiltonian H in the path integral and replace it by [tex]H(1-i\epsilon)[/tex] for infinitismally small positive [tex]\epsilon [/tex], then you get the [tex]i\epsilon [/tex] prescription which can take the place of a Wick rotation. Is this the same thing as your variable complex variable j?

j=1-i eps (roughly - but it must be applied to the action, not to H). For tiny eps (and the prescription requires the limit eps-->0), this makes the integral only marginally better behaved than j=1. Only continuation to real j removes all oscillations.

Share:

- Last Post

- Replies
- 1

- Views
- 293

- Replies
- 57

- Views
- 1K

- Last Post

- Replies
- 5

- Views
- 411

- Last Post

- Replies
- 3

- Views
- 501

- Replies
- 33

- Views
- 2K

- Replies
- 89

- Views
- 2K

- Replies
- 1

- Views
- 309

- Last Post

- Replies
- 6

- Views
- 431

- Replies
- 1

- Views
- 640

- Last Post

- Replies
- 8

- Views
- 1K