Efficiently Lowering Tensor Indices: Simplified Equations

  • Context: Graduate 
  • Thread starter Thread starter pleasehelpmeno
  • Start date Start date
  • Tags Tags
    Indices Tensor
Click For Summary

Discussion Overview

The discussion revolves around the manipulation of tensor indices, specifically the process of lowering indices using the metric tensor. Participants explore various equations and relationships involving tensors, with a focus on ensuring consistency in index notation and the application of the Einstein summation convention.

Discussion Character

  • Technical explanation
  • Mathematical reasoning
  • Debate/contested

Main Points Raised

  • One participant proposes that \( g_{\mu\nu}g_{\mu\nu}T^{\mu\nu} = T g_{\mu\nu} = T_{\mu\nu} \) and questions if \( g_{\mu\nu}g_{\mu\nu}u^{\mu} = g_{\mu\nu} u_{\nu} = u_{\mu} \) is correct.
  • Another participant disagrees and suggests a different notation: \( gapgqbTpq = Tab \) and \( gapvp = va \).
  • A participant expresses confusion about transitioning from \( T^{ab} \) to \( T_{ab} \), emphasizing the need for the same indices.
  • One participant clarifies that \( g_{\gamma \mu }g_{\delta \nu }T^{\mu \nu } = T_{\gamma \delta } \) and points out an error in having two lower indices on one side and one upper index on the other.
  • Another participant attempts to understand the lowering of indices and questions how \( u^{\mu}u^{\nu} \) becomes \( u_{\mu}u_{\nu} \), raising concerns about the number of indices involved.
  • A participant confirms that \( g_{\gamma \mu }g_{\delta \nu }T^{\mu \nu } = g_{\gamma \mu }g_{\delta \nu }u^{\mu }u^{\nu } \) leads to \( T_{\gamma \delta } = u_{\gamma }u_{\delta } \) and discusses the relabeling of indices.
  • One participant asks about the relationship \( T_{ab} g^{ab} = T^{a}_{b} \) and how to achieve it, noting the metric tensor's two indices.
  • Another participant explains that \( T_{ab} g^{ab} = T_{a}^{a} \) results in the trace \( T \), mentioning the arbitrary nature of index raising and relabeling.

Areas of Agreement / Disagreement

Participants express differing views on the correct notation and methods for lowering indices, indicating that multiple competing perspectives remain without a clear consensus on the correct approach.

Contextual Notes

Some participants' statements contain assumptions about the application of the Einstein summation convention and the handling of indices that may not be universally accepted or clarified.

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.
 
thanks
 
  • #10
pleasehelpmeno said:
thanks
Yep anytime and to answer your final question you could just use [itex]T_{ab}g^{bc} = T_{a}^{c}[/itex]
 

Similar threads

  • · Replies 9 ·
Replies
9
Views
906
  • · Replies 59 ·
2
Replies
59
Views
4K
  • · Replies 16 ·
Replies
16
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 1 ·
Replies
1
Views
965
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 8 ·
Replies
8
Views
1K