D'Alembert operator is commute covariant derivative?

dhalilsim
Messages
3
Reaction score
0
For example:

D_α D_β D^β F_ab= D_β D^β D_α F_ab <br /> <br /> is true or not? Are there any books sources?
 
Physics news on Phys.org
So you are asking whether ##\nabla_\mu\Box F_{ab} = \Box \nabla_\mu F_{ab}##?
Here I wrote ##\Box = g^{\mu\nu}\nabla_\mu\nabla_\nu## following modern notation.

Have you tried finding the commutator? What is ##[ \nabla_\mu, \nabla_\nu]## equal too?

The (free) lecture notes by Carroll might have what you are looking for. At the least they introduce all you need to calculate the commutator. (I know the book that built on those does have the identities you need)
 
  • Like
Likes dhalilsim and bcrowell
JorisL said:
So you are asking whether ##\nabla_\mu\Box F_{ab} = \Box \nabla_\mu F_{ab}##?
Here I wrote ##\Box = g^{\mu\nu}\nabla_\mu\nabla_\nu## following modern notation.

Have you tried finding the commutator? What is ##[ \nabla_\mu, \nabla_\nu]## equal too?

The (free) lecture notes by Carroll might have what you are looking for. At the least they introduce all you need to calculate the commutator. (I know the book that built on those does have the identities you need)
Very thanks to your reply.
Yes my question is whether or not
##∇_μ∇_ν∇^νF_{ab}=∇_ν∇^ν∇_μF_{ab}## where ##F_{ab}## is electromagnetic field tensor.
Can I simply think,
so d'Alembert operator ##∇_ν∇^ν## is invariant,
then Can I immediately write ##[∇_μ,\Box]=0##??
 
The easiest way to do this is the following ##[\nabla_\mu, \Box] = [\nabla_\mu,g^{\alpha\beta}\nabla_\alpha\nabla_\beta] = \ldots##
Now I'll try to guide you through this by asking you some other questions.

##\nabla_\mu g^{\alpha\beta}## is equal to ... (does metric compatibility ring a bell?)
If you use this you can write the first equation as ##g^{\alpha\beta}[\nabla_\mu,\nabla_\alpha\nabla_\beta]##.

Now we need to know how we can write a commutator of the form ##[A,BC]## in terms of ##[A,B]## and ##[A,C]##.
The easiest way to do this is expanding the total commutator and looking for the other commutators. It's a standard property that can be found in a lot of places.

Finally look up what ##[\nabla_\mu,\nabla_\nu]## is equal to. This can be found in every text on GR, here is a free link http://preposterousuniverse.com/grnotes/grnotes-three.pdf
 
Last edited by a moderator:
OK, so this has bugged me for a while about the equivalence principle and the black hole information paradox. If black holes "evaporate" via Hawking radiation, then they cannot exist forever. So, from my external perspective, watching the person fall in, they slow down, freeze, and redshift to "nothing," but never cross the event horizon. Does the equivalence principle say my perspective is valid? If it does, is it possible that that person really never crossed the event horizon? The...
ASSUMPTIONS 1. Two identical clocks A and B in the same inertial frame are stationary relative to each other a fixed distance L apart. Time passes at the same rate for both. 2. Both clocks are able to send/receive light signals and to write/read the send/receive times into signals. 3. The speed of light is anisotropic. METHOD 1. At time t[A1] and time t[B1], clock A sends a light signal to clock B. The clock B time is unknown to A. 2. Clock B receives the signal from A at time t[B2] and...
From $$0 = \delta(g^{\alpha\mu}g_{\mu\nu}) = g^{\alpha\mu} \delta g_{\mu\nu} + g_{\mu\nu} \delta g^{\alpha\mu}$$ we have $$g^{\alpha\mu} \delta g_{\mu\nu} = -g_{\mu\nu} \delta g^{\alpha\mu} \,\, . $$ Multiply both sides by ##g_{\alpha\beta}## to get $$\delta g_{\beta\nu} = -g_{\alpha\beta} g_{\mu\nu} \delta g^{\alpha\mu} \qquad(*)$$ (This is Dirac's eq. (26.9) in "GTR".) On the other hand, the variation ##\delta g^{\alpha\mu} = \bar{g}^{\alpha\mu} - g^{\alpha\mu}## should be a tensor...
Back
Top