Simple problem driving me nuts :-)

  • Context: Graduate 
  • Thread starter Thread starter Fredrik
  • Start date Start date
  • Tags Tags
    Nuts
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
4 replies · 3K views
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?