
#1
May1112, 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 ncube (which the limits of integration seem to suggest)? 2) why is it that [itex]\eta_n \geq \eta_{n1}\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 



#2
May1112, 01:37 AM

P: 4,570

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? 



#3
May1112, 03:31 AM

P: 145

I wonder if the reason for [itex]\eta_n \geq \eta_{n1}\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_{n1}\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. 



#4
May1112, 03:45 AM

P: 4,570

Path ordered integral over simplices?
I don't think I did much to warrant a thankyou, 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  
Nondifferentiable 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  
pathordered product in parallel transport  Calculus & Beyond Homework  2 