Register to reply

Path ordered integral over simplices?

by ianhoolihan
Tags: integral, ordered, path, simplices
Share this thread:
ianhoolihan
#1
May11-12, 12:17 AM
P: 145
Hi all,

I am trying to follow the derivation by Carroll of the parallel propagator in these notes, beginning page 66 or so.

My question is with the integral in equation 3.40.

1) why is it that this is an integral over a simplice, and not an n-cube (which the limits of integration seem to suggest)?

2) why is it that [itex]\eta_n \geq \eta_{n-1}\geq \ldots \geq \eta_1[/itex] so that path ordering must take place? (See between equations 3.40 and 3.41 for discussion.)

Cheers,

Ianhoolihan
Phys.Org News Partner Science news on Phys.org
Mysterious source of ozone-depleting chemical baffles NASA
Water leads to chemical that gunks up biofuels production
How lizards regenerate their tails: Researchers discover genetic 'recipe'
chiro
#2
May11-12, 01:37 AM
P: 4,573
Hey ianhoolihan.

I can't answer your question specifically, but one thing that you may want to think about is the actual final map that your products of your individual A maps would do to your integral for each simplex.

My guess is that the orientation would be screwed up completely for one and this would affect the integral in a bad way and not give the right result.

Just out of curiosity, what does your linear map A represent?
ianhoolihan
#3
May11-12, 03:31 AM
P: 145
Quote Quote by chiro View Post
I can't answer your question specifically, but one thing that you may want to think about is the actual final map that your products of your individual A maps would do to your integral for each simplex.

My guess is that the orientation would be screwed up completely for one and this would affect the integral in a bad way and not give the right result.

Just out of curiosity, what does your linear map A represent?
Hmmm, the A maps are (I'm guessing here) an infinitesimal "parallel propagation" in the direction tangent to the curve [itex]\gamma[/itex]. As for the product of the maps, I'm not sure.

I wonder if the reason for [itex]\eta_n \geq \eta_{n-1}\geq \ldots \geq \eta_1[/itex] is to do with the iteration process...actually, I think that might be it. For those not looking at the pdf, the solution for the parallel propagator is

[tex]{P^\mu}_\rho (\lambda,\lambda_0) = {\delta^\mu}_\rho + \int^\lambda_{\lambda_0} {A^\mu}_\sigma(\eta) {P^\sigma}_\rho(\eta,\lambda_0) d\eta[/tex]

So solving by iteration,

[tex]{P^\mu}_\rho (\lambda,\lambda_0) = {\delta^\mu}_\rho +\int^\lambda_{\lambda_0} {A^\mu}_\rho(\eta)d \eta+ \int^\lambda_{\lambda_0} \int^\eta_{\lambda_0} {A^\mu}_\sigma(\eta){A^\sigma}_\rho(\eta')d\eta d\eta' + \ldots[/tex]

The point being that, in the first equation it is [itex]{P^\sigma}_\rho(\eta,\lambda_0)[/itex], so the next substitution must only range from [itex]\eta[/itex] to [itex]\lambda_0[/itex], if you understand the abuse of language.

Yup, I think that works.

Now, for the simplices...oh, maybe it follows from [itex]\eta_n \geq \eta_{n-1}\geq \ldots \geq \eta_1[/itex] quite obviously. For example, in the second term, the integral is over both [itex]\eta,\eta'[/itex] such that [itex]\eta' \leq \eta [/itex]. Hence, simplices.

Thank you.

chiro
#4
May11-12, 03:45 AM
P: 4,573
Path ordered integral over simplices?

I don't think I did much to warrant a thank-you, but I'm glad you got it in the end.


Register to reply

Related Discussions
Does path integral and loop integral in a Feynman diagram violate special relativity? General Physics 0
Non-differentiable path in path integral? Quantum Physics 9
Path integral applied to circular path Calculus & Beyond Homework 5
Time ordered product vs. commutator in path integral Quantum Physics 2
Path-ordered product in parallel transport Calculus & Beyond Homework 2