Why Does Applying a Second Derivative to an Antisymmetric Tensor Yield Zero?

electricspit
Messages
66
Reaction score
4
Hello,

I have two problems.

I'm going through the Classical Theory of Fields by Landau/Lifshitz and in Section 32 they're deriving the energy-momentum tensor for a general field. We started with a generalized action (in 4 dimensions) and ended up with the definition of a tensor:

<br /> T^{k}_i =q_{,i} \frac{\partial \Lambda}{\partial q_{,k}}-\delta^{k}_i \Lambda<br />

Where q_{,i} \equiv \frac{\partial q}{\partial x^i} and \Lambda is the Lagrangian density of the field. This led to the conclusion that:

<br /> \frac{\partial T^{k}_i}{\partial x^k}=0<br />

Which is the first thing I'm confused about.

Second, using previous results about four divergences:

<br /> \frac{\partial A^k}{\partial x^k} = 0<br />

If this is true, then it is equivalent to saying \int A^k dS_k is conserved. This led to:

<br /> P^i = const. \int T^{ik}dS_k<br />

The constant was determined to be \frac{1}{c} but that is unimportant to my question for now. They say the defintion of T^{ik} is not unique since we can add a 2nd rank tensor to this and still retrieve the same result:

<br /> T^{ik}+\frac{\partial \psi^{ik\ell}}{\partial x^{\ell}}<br />

Where \psi^{ik\ell}=-\psi^{i\ell k}. This apparently still yields:

<br /> \frac{\partial T^{ik}}{\partial x^k}=0<br />

(for now let's ignore the switching between mixed/contravariant). In other words, the symmetric operator \frac{\partial^2}{\partial x^k \partial x^{\ell}} applied to the antisymmetric (in k and \ell):

<br /> \frac{\partial^2 \psi^{ik\ell}}{\partial x^k \partial x^{\ell}} = 0<br />

This is my second question. Why is this zero? Can anyone show me the math behind this? I'm having trouble sorting it out.

Thank you!
 
Physics news on Phys.org
First: T^k_i is the kth component of the conserved current related with translations in the ith direction (I assume your Lagrangian density is not explicitly dependent on the coordinates) which means the divergence equal to zero follows directly from Noether's theorem.

Second: This is just like any contraction of symmetric vs anti-symmetric indices. Swapping the order of the indices and then renaming them gives back minus the original expression so it must be zero.
 
  • Like
Likes 1 person
Okay so the second question definitely makes a lot of sense now and actually was quite simple.

The first question, I don't think I have strong enough understanding of Lagrangian mechanics or tensors to understand. From what I know, Noether's theorem states that if a system has certain symmetries, there will be conserved quantities associated with them. What does it mean in this specific context? You were right in assuming the Lagrangian density is not explicitly dependent on the coordinates. What do you mean by conserved current?

Thank you again.
 
Noether's theorem states that if a transformation of the fields and the variables is a symmetry of the Lagrangian, then there is a corresponding conserved current J^\mu for which \partial_\mu J^\mu =0. If you make the transformation x → x+a and your lagrangian density is not explicitly coordinate dependent, the transformation is a symmetry. The expression you have for T is the corresponding conserved current and therefore has zero divergence. If I do not misremember the wikipedia page on Noether's theorem is quite informative.

Often in classical mechanics you will see Noether's theorem as giving a conserved charge Q, i.e., dQ/dt = 0. This however assumes that the parameter is time only. When you go to field theory you, the fields also depend on the spatial coordinates and you get the generalization \partial_\mu J^\mu =0.
 
Thank you for the information!
 
Thread 'Can this experiment break Lorentz symmetry?'
1. The Big Idea: According to Einstein’s relativity, all motion is relative. You can’t tell if you’re moving at a constant velocity without looking outside. But what if there is a universal “rest frame” (like the old idea of the “ether”)? This experiment tries to find out by looking for tiny, directional differences in how objects move inside a sealed box. 2. How It Works: The Two-Stage Process Imagine a perfectly isolated spacecraft (our lab) moving through space at some unknown speed V...
Insights auto threads is broken atm, so I'm manually creating these for new Insight articles. The Relativator was sold by (as printed) Atomic Laboratories, Inc. 3086 Claremont Ave, Berkeley 5, California , which seems to be a division of Cenco Instruments (Central Scientific Company)... Source: https://www.physicsforums.com/insights/relativator-circular-slide-rule-simulated-with-desmos/ by @robphy
In Philippe G. Ciarlet's book 'An introduction to differential geometry', He gives the integrability conditions of the differential equations like this: $$ \partial_{i} F_{lj}=L^p_{ij} F_{lp},\,\,\,F_{ij}(x_0)=F^0_{ij}. $$ The integrability conditions for the existence of a global solution ##F_{lj}## is: $$ R^i_{jkl}\equiv\partial_k L^i_{jl}-\partial_l L^i_{jk}+L^h_{jl} L^i_{hk}-L^h_{jk} L^i_{hl}=0 $$ Then from the equation: $$\nabla_b e_a= \Gamma^c_{ab} e_c$$ Using cartesian basis ## e_I...
Back
Top