Integration in Sean Carroll's "parallel propagator" derivation

by Rasalhague
Tags: carroll, derivation, integration, parallel propagator, sean
Rasalhague is offline
Nov4-10, 01:48 PM
P: 1,400
Reading Chapter 3 of Sean Carroll's General Relativity Lecture Notes, I've followed it up to and including eq. 3.38.

[tex]\frac{d}{d\lambda} P^\mu_{\;\;\; \rho}(\lambda,\lambda_0) = A^\mu_{\;\;\; \sigma} P^\sigma_{\;\;\; \rho}(\lambda,\lambda_0).[/tex]

Here, Carroll writes, "To solve this equation, first integrate both sides:

[tex]P^\mu_{\;\;\; \rho}(\lambda,\lambda_0) = \delta^\mu_\rho + \int_{\lambda_0}^\lambda A^\mu_{\;\;\; \sigma} (\eta) \; P^\sigma_{\;\;\; \rho}(\eta,\lambda_0) \; d \eta.[/tex]

"The Kronecker delta, it is easy to see, provides the correct normalization for [itex]\lambda = \lambda_0[/itex]."

I can see that this makes P the identity matrix in that case, but by what algebraic rule is it inserted. This is a definite integral, so shouldn't any constant of integration be cancelled out?

Also, I don't understand the iteration procedure that follows. Doesn't the concept of integration already encode such a procedure, taken to a limit? Should I read this as (coordinate-dependent?, coordinate independent?) abstract index notation for a matrix equation inside the integral sign, or is each component function integrated separately? Is there a name for this procedure or the subject area that includes it? Can anyone recommend a book or website that explains the mathematical background. Sorry these questions are a bit vague. I'm not really sure what to ask.

I wonder if it's related to what Bachman calls cells and chains. Maybe I should read the rest of that chapter first.
Phys.Org News Partner Science news on
Cougars' diverse diet helped them survive the Pleistocene mass extinction
Cyber risks can cause disruption on scale of 2008 crisis, study says
Mantis shrimp stronger than airplanes
arkajad is offline
Nov5-10, 03:46 AM
P: 1,412
Write it as


The solution of this differential equation with the initial data [tex]P(\lambda_0)=I[/tex] is

[tex]P(\lambda)=I+\int_{\lambda_0}^\lambda A(\lambda)P(\lambda)[/tex]

First, check that indeed the initial value data are satisfied and then that the differential equation is also satisfied.

Now, add the indices remembering that

[tex]\left(\frac{dP(\lambda)}{d\lambda}\right)^\mu_\rho[/tex] is the same as
[tex]\frac{dP^\mu_\rho(\lambda)}{d\lambda}[/tex] and similarly on the RHS - matrix entries of the integral are integrals of matrix entries owing to the linearity of the integral. That is how we define derivatives and integrals of vector-valued functions.
Rasalhague is offline
Nov5-10, 05:39 PM
P: 1,400
Thanks again, arkajad! I get it now. Holding lambda_zero constant,

[tex]P(\lambda) - P(\lambda_0) = \int_{\lambda_0}^{\lambda} A(\eta) P(\eta) \; \mathrm{d}\eta[/tex]


[tex]P(\lambda_0) = I[/itex]

given what the parallel propagator has be defined to do, so

[tex]P(\lambda) = I + \int_{\lambda_0}^{\lambda} A(\eta) P(\eta) \; \mathrm{d}\eta.[/tex]

Sean Carroll's eq. (3.39) is just this expressed with indices. And there's no ambiguity over the order of operations, because the derivatives and integrals are defined componentwise.

Register to reply

Related Discussions
typo in "Kapusta" or "Ashok Das"? Formula for thermal propagator Quantum Physics 0
Derivation of General from "maximum force principle", Review of this method General Physics 0
Sean Carroll General Astronomy 6
Sean Carroll Cosmology Primer General Astronomy 12
Sean Carroll on the debate Current Events 1