Efficiently Lowering Tensor Indices: Simplified Equations

  • Context: Graduate 
  • Thread starter Thread starter pleasehelpmeno
  • Start date Start date
  • Tags Tags
    Indices Tensor
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
9 replies · 2K views
pleasehelpmeno
Messages
154
Reaction score
0
Hi
have i got this corresct :
[itex]g_{\mu\nu}g_{\mu\nu}T^{\mu\nu} = T g_{\mu\nu} = T_{\mu\nu}[/itex]
and is:
[itex]g_{\mu\nu}g_{\mu\nu}u^{\mu} = g_{\mu\nu} u_{\nu} = u_{\mu}[/itex]
 
Physics news on Phys.org
No, it should be

gapgqbTpq = Tab


gapvp = va
 
how would i go about going from [itex]T^{ab}[/itex] to [itex]T_{ab}[/itex] i.e with the same indices that is mainly why i am confused it needs to be the same indices not different ones.
 
[itex]g_{\gamma \mu }g_{\delta \nu }T^{\mu \nu } = T_{\gamma \delta }[/itex] and then you are free to relabel the indices back to mu and nu. What you wrote is incorrect because you have 2 mu's on the bottom and a mu on the top which isn't how einstein summation works.
 
ok i think i understand so to lower:
[itex]T^{\mu\nu} = u^{\nu}u^{\mu}[/itex]

would one multiply by [itex]g_{\gamma \mu}g_{\delta \nu}[/itex] and relable T as instructed, but how would the u's become:
[itex]u_{\mu}u_{\nu}[/itex]

I get the relabelling thing but wouldn't they have three lower indices i.e:
[itex]u_{\mu \gamma \delta} u_{\nu \gamma \delta}[/itex]
 
[itex]g_{\gamma \mu }g_{\delta \nu }T^{\mu \nu } = g_{\gamma \mu }g_{\delta \nu }u^{\mu }u^{\nu }[/itex] so [itex]T_{\gamma \delta } = u_{\gamma }u_{\delta }[/itex] and since these are free indices I can relabel them accordingly that is [itex]\gamma \rightarrow \mu , \delta \rightarrow \nu[/itex] provided I do so on both sides; this gets the desired result.
 
thanks you have been really helpful one last question, is [itex]T_{ab} g^{ab}= T^{a}_{b}[/itex] if not how can we get there because the metric always has two indices?
 
pleasehelpmeno said:
thanks you have been really helpful one last question, is [itex]T_{ab} g^{ab}= T^{a}_{b}[/itex] if not how can we get there because the metric always has two indices?
[itex]T_{ab} g^{ab} = T_{a}^{a}[/itex] because the metric tensor will first raise the lower index b on [itex]T_{ab}[/itex] up to an a and now you just have [itex]T_{a}^{a} = T[/itex] where T is just the trace. Note that here it is arbitrary whether you choose to raise a or b because in the end you end up summing over the same index on the bottom and on the top and you can relabel that to w\e you want; that is [itex]T_{a}^{a} = T_{b}^{b}[/itex] because you end up summing over all components regardless.