Simple problem driving me nuts :-)

  • Context: Graduate 
  • Thread starter Thread starter Fredrik
  • Start date Start date
  • Tags Tags
    Nuts
Click For Summary

Discussion Overview

The discussion revolves around the algebraic properties of Lorentz transformations, specifically exploring the condition \(\Lambda^T\eta\Lambda=\eta\) and its implications for the components of the transformation matrix \(\Lambda\). Participants are examining the relationship between the velocity associated with a Lorentz transformation and its inverse, as well as the structure of \(\Lambda\) in various contexts, including pure boosts and the potential inclusion of spatial rotations.

Discussion Character

  • Technical explanation
  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • One participant expresses confusion about deriving the condition \(\Lambda_{0i}=-\Lambda_{i0}\) from the transformation properties of Lorentz transformations.
  • Another participant suggests that the initial assumption about the "obvious" condition may not hold, presenting a general form of \(\Lambda\) that includes a matrix \(R\) which is not orthogonal in general but approaches orthogonality as \(v\) approaches zero.
  • A later reply discusses the structure of \(\Lambda\) when considering boosts only, proposing a specific form for \(\Lambda\) and questioning the notation used for indices.
  • Further, a participant speculates about the general form of \(\Lambda\) when not limited to pure boosts, suggesting that it might involve an orthogonal matrix independent of \(v\) and raises the possibility of combining \(\Lambda\) with a rotation matrix \(Q\).

Areas of Agreement / Disagreement

Participants do not appear to reach a consensus on the validity of the initial condition or the general form of \(\Lambda\). Multiple competing views and interpretations of the transformation properties remain present throughout the discussion.

Contextual Notes

There are unresolved questions regarding the assumptions made about the nature of the matrix \(R\) and its dependence on \(v\), as well as the implications of using different index notations in the calculations.

Fredrik
Staff Emeritus
Science Advisor
Homework Helper
Insights Author
Gold Member
Messages
10,876
Reaction score
423
I'm embarrassed to ask, but I think this will save me some time...

I'm trying to use the condition [itex]\Lambda^T\eta\Lambda=\eta[/itex] to show that [itex]\Lambda_{0i}=-\Lambda_{i0}[/itex], where i=1,2,3. This is the algebraic version of the physically obvious condition that if the velocity associated with a homogeneous Lorentz transformation is [itex]\vec{v}[/itex], then the velocity associated with its inverse is [itex]-\vec{v}[/itex]. This should be easy, but I don't see it.

([itex]X_{0i}[/itex] is row 0, column i, of the matrix X. I'm putting all the indices downstairs because I feel that's less confusing when calculations include transposes of matrices).
 
Last edited:
Physics news on Phys.org
I gave it another shot, and it turned out that the "obvious" condition isn't true. If my math is correct this time, the general form of [itex]\Lambda[/itex] is

[tex]\Lambda=\gamma\begin{pmatrix}1 & v^T R \\ -v & -R\end{pmatrix}[/tex]

where v is a 3x1 matrix that we can think of as "their" velocity in "our" frame, and R is a 3x3 matrix that isn't orthogonal in general, but is orthogonal in the limit v [itex]\rightarrow[/itex] 0 (so its components must depend on v). The velocity that corresponds to [itex]\Lambda^{-1}[/itex] the same way that v corresponds to [itex]\Lambda[/itex] is -RTv. So it's only =-v when R=0, i.e. when we have a pure boost.
 
Fredrik said:
I gave it another shot, and it turned out that the "obvious" condition isn't true. If my math is correct this time, the general form of [itex]\Lambda[/itex] is

[tex]\Lambda=\gamma\begin{pmatrix}1 & v^T R \\ -v & -R\end{pmatrix}[/tex]

where v is a 3x1 matrix that we can think of as "their" velocity in "our" frame, and R is a 3x3 matrix that isn't orthogonal in general, but is orthogonal in the limit v [itex]\rightarrow[/itex] 0 (so its components must depend on v). The velocity that corresponds to [itex]\Lambda^{-1}[/itex] the same way that v corresponds to [itex]\Lambda[/itex] is -RTv. So it's only =-v when R=0, i.e. when we have a pure boost.
If we ignore the possibility of a spatial rotation and consider boosts only, a boost in an arbitrary direction ought to be

[tex]{\Lambda^a}_b=\begin{pmatrix}\gamma & -\gamma \textbf{v}^T \\ -\gamma \textbf{v} & \textbf{I} + (\gamma - 1)\frac{\textbf{v} \textbf{v}^T}{\textbf{v}^T \textbf{v}}\end{pmatrix}[/tex]

(assuming c = 1 or equivalently x0 = ct).

However, when you say you are "putting all the indices downstairs" I'm not sure whether you mean you are ignoring the index position or whether you really are calculating [tex]\Lambda_{ab}[/tex] which differs from both [tex]\Lambda^{ab}[/tex] and [tex]{\Lambda^a}_b[/tex].
 
DrGreg said:
If we ignore the possibility of a spatial rotation and consider boosts only, a boost in an arbitrary direction ought to be

[tex]{\Lambda^a}_b=\begin{pmatrix}\gamma & -\gamma \textbf{v}^T \\ -\gamma \textbf{v} & \textbf{I} + (\gamma - 1)\frac{\textbf{v} \textbf{v}^T}{\textbf{v}^T \textbf{v}}\end{pmatrix}[/tex]

(assuming c = 1 or equivalently x0 = ct).

However, when you say you are "putting all the indices downstairs" I'm not sure whether you mean you are ignoring the index position or whether you really are calculating [tex]\Lambda_{ab}[/tex] which differs from both [tex]\Lambda^{ab}[/tex] and [tex]{\Lambda^a}_b[/tex].
Thank you. That makes my R equal to

[tex]-\frac{1}{\gamma}(I+(\gamma-1)\frac{vv^T}{v^Tv})[/tex]

I should get [itex]-\gamma v^T[/itex] when I calculate [itex]\gamma v^T R[/itex], and it turns out I do:

[tex]\gamma v^T R=-v^T(I+(\gamma-1)\frac{vv^T}{v^Tv})=-v^T-(\gamma-1)v^T=-\gamma v^T[/tex]

And, yes, when I wrote [itex]\Lambda_{i0}[/itex] in the OP I was referring to components of the tensor which in the abstract index notation would appear as [itex]\Lambda^a{}_b[/itex]. I find that notation slightly easier to use in the type of calculations I had to do to get this result.

Hm, do you know if the general form of [itex]\Lambda[/itex] (i.e. not a pure boost) is the same except that the identity matrix in your expression is replaced with an orthogonal matrix that's independent of v? Maybe it's more complicated than that.
 
Last edited:
Fredrik said:
Hm, do you know if the general form of [itex]\Lambda[/itex] (i.e. not a pure boost) is the same except that the identity matrix in your expression is replaced with an orthogonal matrix that's independent of v? Maybe it's more complicated than that.
I'm no expert in this, but my geometrical intuition says it ought to be either [tex]Q \Lambda[/tex] or [tex]\Lambda Q[/tex], where [tex]\Lambda[/tex] is as above and Q is a space-only rotation, i.e. in the form

[tex]Q = \begin{pmatrix}1 & \textbf{0}^T \\ \textbf{0} & \textbf{Q}_0 \end{pmatrix}[/tex]

where Q0 is a 3 x 3 orthogonal matrix ([tex]\textbf{Q}_0^T \textbf{Q}_0 = \textbf{I}[/tex]).


Perhaps someone with more experience in this area could confirm that?
 

Similar threads

  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 6 ·
Replies
6
Views
5K
  • · Replies 0 ·
Replies
0
Views
1K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 1 ·
Replies
1
Views
4K
Replies
4
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 13 ·
Replies
13
Views
3K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K