Find Poincare Transform for Momentarily Co-Moving Reference Frame

  • Context: Graduate 
  • Thread starter Thread starter phatm
  • Start date Start date
  • Tags Tags
    Poincare Transform
Click For Summary

Discussion Overview

The discussion revolves around finding the Poincaré transformation for a Momentarily Co-Moving Reference Frame (MCRF) in the context of special relativity. Participants explore the mathematical formulation of transformations between inertial frames that are not aligned and do not share a common origin at time t=t'=0. The conversation includes technical details about Lorentz transformations, boosts, and the implications of arbitrary motion and rotations.

Discussion Character

  • Technical explanation, Mathematical reasoning, Debate/contested

Main Points Raised

  • Andrew expresses difficulty in finding the Poincaré transformation for an MCRF and seeks guidance on the transformations between two inertial frames, Sigma and Sigma['] moving at speed v.
  • Eugene provides a general Lorentz transformation and suggests that for a general boost with space-time translation, the transformation can be expressed using a pseudoorthogonal 4x4 matrix.
  • Andrew proposes a specific case involving an observer frame and an MCRF, questioning the correctness of his derived transformation matrix.
  • Eugene confirms Andrew's formula appears correct and directs him to resources for deriving rotation matrices.
  • Andrew inquires about the inverse transformation and presents a formula, which Eugene later disputes, stating it is incorrect and referring to a specific equation in a provided reference.
  • A participant questions the rationale behind subtracting the 4-vector (0,1,1,1) in the transformation, indicating a need for clarification.

Areas of Agreement / Disagreement

There is no consensus on the correct formulation of the inverse Poincaré transformation, as Eugene challenges Andrew's proposed formula. The discussion reflects differing understandings of the transformations involved.

Contextual Notes

Participants reference specific equations and resources for further clarification, indicating that the discussion is rooted in complex mathematical derivations that may not be fully resolved within the thread.

phatm
Messages
3
Reaction score
0
After a lot of searching I cannot for the life of me find the transformation for a Momentarily Co-moving Reference Frame. Essentially what I'm looking for is the transformations from inertial frame Sigma to inertial frame Sigma[']. Sigma['] is moving at speed v relative to Sigma not along any axis in Sigma. The origins of the inertial reference frames do not coincide at t=t'=0, so I cannot use the general Lorentz transforms. Does anyone have any idea where to find the elements of the Poincare transform. Any help is greatly appreciated.
Thanks in advance,
Andrew.
 
Physics news on Phys.org
phatm said:
After a lot of searching I cannot for the life of me find the transformation for a Momentarily Co-moving Reference Frame. Essentially what I'm looking for is the transformations from inertial frame Sigma to inertial frame Sigma[']. Sigma['] is moving at speed v relative to Sigma not along any axis in Sigma. The origins of the inertial reference frames do not coincide at t=t'=0, so I cannot use the general Lorentz transforms. Does anyone have any idea where to find the elements of the Poincare transform. Any help is greatly appreciated.
Thanks in advance,
Andrew.

You can find a general Lorentz transformation (boost velocity has an arbitrary direction) in https://www.physicsforums.com/showthread.php?t=179810. For a general boost coupled with space-time translation you should just subtract the components of the translation vector from the boost-transformed coordinates (t', x',y',z'). In the most general case (arbitrary boost + arbitrary rotation + translation by the 4-vector (t_0, x_0,y_0,z_0)) the coordinate transformation is given by

<br /> \left[ \begin{array}{c}<br /> t&#039; \\<br /> x&#039; \\<br /> y&#039; \\<br /> z&#039;<br /> \end{array} \right] = \Lambda \left[ \begin{array}{c}<br /> t \\<br /> x \\<br /> y \\<br /> z<br /> \end{array} \right] - \left[ \begin{array}{c}<br /> t_0 \\<br /> x_0 \\<br /> y_0 \\<br /> z_0<br /> \end{array} \right]<br />

where \Lambda is a pseudoorthogonal 4x4 matrix.

Eugene.
 
Last edited:
meopemuk said:
You can find a general Lorentz transformation (boost velocity has an arbitrary direction) in https://www.physicsforums.com/showthread.php?t=179810. For a general boost coupled with space-time translation you should just subtract the components of the translation vector from the boost-transformed coordinates (t', x',y',z'). In the most general case (arbitrary boost + arbitrary rotation + translation by the 4-vector (t_0, x_0,y_0,z_0)) the coordinate transformation is given by

<br /> \left[ \begin{array}{c}<br /> t&#039; \\<br /> x&#039; \\<br /> y&#039; \\<br /> z&#039;<br /> \end{array} \right] = \Lambda \left[ \begin{array}{c}<br /> t \\<br /> x \\<br /> y \\<br /> z<br /> \end{array} \right] - \left[ \begin{array}{c}<br /> t_0 \\<br /> x_0 \\<br /> y_0 \\<br /> z_0<br /> \end{array} \right]<br />

where \Lambda is a pseudoorthogonal 4x4 matrix.

Eugene.

Thanks for the reply Eugene. So say we had a observer frame \Sigma and a MCRF \Sigma&#039;. At time time t=t'=0 \Sigma&#039; is moving with velocity \vec{\beta} in some arbritary direction in \Sigma at say x_0=y_0=z_0=1 in \Sigma, with no rotation of \Sigma&#039; in relation to \Sigma. Then by what you stated, \Lambda is just the general Lorentz boost and the whole equation would be

\left[ \begin{array}{c}<br /> t&#039; \\<br /> x&#039; \\<br /> y&#039; \\<br /> z&#039;<br /> \end{array} \right] = \begin{pmatrix} \gamma &amp; -\gamma \beta_1 &amp; -\gamma \beta_2 &amp; -\gamma \beta_3 \\<br /> -\gamma \beta_1 &amp; 1 + \frac{(\gamma - 1)\beta_1^2}{\beta^2} &amp; \frac{(\gamma - 1)\beta_1\beta_2}{\beta^2} &amp; \frac{(\gamma - 1)\beta_1\beta_3}{\beta^2} \\<br /> -\gamma \beta_2 &amp; \frac{(\gamma - 1)\beta_1\beta_2}{\beta^2} &amp; 1+\frac{(\gamma - 1)\beta_2^2}{\beta^2} &amp; \frac{(\gamma - 1)\beta_2\beta_3}{\beta^2} \\<br /> -\gamma \beta_3 &amp; \frac{(\gamma - 1)\beta_1\beta_3}{\beta^2} &amp; \frac{(\gamma - 1)\beta_2\beta_3}{\beta^2} &amp; 1 + \frac{(\gamma - 1)\beta_3^2}{\beta^2}<br /> \end{pmatrix}\left[ \begin{array}{c}<br /> t \\<br /> x \\<br /> y \\<br /> z<br /> \end{array} \right] - \left[ \begin{array}{c}<br /> 0 \\<br /> 1 \\<br /> 1 \\<br /> 1\end{array} \right]
I'm not sure if I have that correct. Also, do you know what the \Lambda matrix would be for rotations. Any references to texts with some simple explicit examples would be really really appreciated. Thank you very much for the reply,
Andrew.
 
phatm said:
Then by what you stated, \Lambda is just the general Lorentz boost and the whole equation would be

\left[ \begin{array}{c}<br /> t&#039; \\<br /> x&#039; \\<br /> y&#039; \\<br /> z&#039;<br /> \end{array} \right] = \begin{pmatrix} \gamma &amp; -\gamma \beta_1 &amp; -\gamma \beta_2 &amp; -\gamma \beta_3 \\<br /> -\gamma \beta_1 &amp; 1 + \frac{(\gamma - 1)\beta_1^2}{\beta^2} &amp; \frac{(\gamma - 1)\beta_1\beta_2}{\beta^2} &amp; \frac{(\gamma - 1)\beta_1\beta_3}{\beta^2} \\<br /> -\gamma \beta_2 &amp; \frac{(\gamma - 1)\beta_1\beta_2}{\beta^2} &amp; 1+\frac{(\gamma - 1)\beta_2^2}{\beta^2} &amp; \frac{(\gamma - 1)\beta_2\beta_3}{\beta^2} \\<br /> -\gamma \beta_3 &amp; \frac{(\gamma - 1)\beta_1\beta_3}{\beta^2} &amp; \frac{(\gamma - 1)\beta_2\beta_3}{\beta^2} &amp; 1 + \frac{(\gamma - 1)\beta_3^2}{\beta^2}<br /> \end{pmatrix}\left[ \begin{array}{c}<br /> t \\<br /> x \\<br /> y \\<br /> z<br /> \end{array} \right] - \left[ \begin{array}{c}<br /> 0 \\<br /> 1 \\<br /> 1 \\<br /> 1\end{array} \right]
I'm not sure if I have that correct.

Your formula looks right.

phatm said:
Also, do you know what the \Lambda matrix would be for rotations.

You can derivations of arbitrary boost and rotation matrices in sections 1.3.2 and D.5 of http://www.arxiv.org/abs/physics/0504062

Eugene.
 
meopemuk said:
Your formula looks right.



You can derivations of arbitrary boost and rotation matrices in sections 1.3.2 and D.5 of http://www.arxiv.org/abs/physics/0504062

Eugene.
Thanks for the reply Eugene. The link you gave me was very useful. Just one final question. The inverse the above transform, would that be
\left[ \begin{array}{c}<br /> t \\<br /> x \\<br /> y \\<br /> z<br /> \end{array} \right] = \begin{pmatrix} \gamma &amp; \gamma \beta_1 &amp; \gamma \beta_2 &amp; \gamma \beta_3 \\<br /> \gamma \beta_1 &amp; 1 + \frac{(\gamma - 1)\beta_1^2}{\beta^2} &amp; \frac{(\gamma - 1)\beta_1\beta_2}{\beta^2} &amp; \frac{(\gamma - 1)\beta_1\beta_3}{\beta^2} \\<br /> \gamma \beta_2 &amp; \frac{(\gamma - 1)\beta_1\beta_2}{\beta^2} &amp; 1+\frac{(\gamma - 1)\beta_2^2}{\beta^2} &amp; \frac{(\gamma - 1)\beta_2\beta_3}{\beta^2} \\<br /> \gamma \beta_3 &amp; \frac{(\gamma - 1)\beta_1\beta_3}{\beta^2} &amp; \frac{(\gamma - 1)\beta_2\beta_3}{\beta^2} &amp; 1 + \frac{(\gamma - 1)\beta_3^2}{\beta^2}<br /> \end{pmatrix}\left[ \begin{array}{c}<br /> t&#039; \\<br /> x&#039; \\<br /> y&#039; \\<br /> z&#039;<br /> \end{array} \right] + \left[ \begin{array}{c}<br /> t&#039;_{0} \\<br /> x&#039;_{0} \\<br /> y&#039;_{0} \\<br /> z&#039;_{0} \end{array} \right]
?. I've been unable to find it so far. Thanks for the replies,
Andrew.
 
phatm said:
Thanks for the reply Eugene. The link you gave me was very useful. Just one final question. The inverse the above transform, would that be
\left[ \begin{array}{c}<br /> t \\<br /> x \\<br /> y \\<br /> z<br /> \end{array} \right] = \begin{pmatrix} \gamma &amp; \gamma \beta_1 &amp; \gamma \beta_2 &amp; \gamma \beta_3 \\<br /> \gamma \beta_1 &amp; 1 + \frac{(\gamma - 1)\beta_1^2}{\beta^2} &amp; \frac{(\gamma - 1)\beta_1\beta_2}{\beta^2} &amp; \frac{(\gamma - 1)\beta_1\beta_3}{\beta^2} \\<br /> \gamma \beta_2 &amp; \frac{(\gamma - 1)\beta_1\beta_2}{\beta^2} &amp; 1+\frac{(\gamma - 1)\beta_2^2}{\beta^2} &amp; \frac{(\gamma - 1)\beta_2\beta_3}{\beta^2} \\<br /> \gamma \beta_3 &amp; \frac{(\gamma - 1)\beta_1\beta_3}{\beta^2} &amp; \frac{(\gamma - 1)\beta_2\beta_3}{\beta^2} &amp; 1 + \frac{(\gamma - 1)\beta_3^2}{\beta^2}<br /> \end{pmatrix}\left[ \begin{array}{c}<br /> t&#039; \\<br /> x&#039; \\<br /> y&#039; \\<br /> z&#039;<br /> \end{array} \right] + \left[ \begin{array}{c}<br /> t&#039;_{0} \\<br /> x&#039;_{0} \\<br /> y&#039;_{0} \\<br /> z&#039;_{0} \end{array} \right]
?. I've been unable to find it so far. Thanks for the replies,
Andrew.

No, this is not correct formula for the inverse Poincare transformation. You can find the correct expression in eq. (I.11) of the reference I gave you. Note that the inverse boost matrix \Lambda^{-1} can be obtained from \Lambda simply by changing the sign of the boost velocity.

Eugene.
 
Why is the 0,1,1,1 4-vector subtracted? How can I convince myself that makes sense?
 
One other question on the shift of the origin by 0,-1,-1,-1. Why is the x0=1 not length-contracted as viewed in S'? If x0 is 1 in frame S, and S' is moving, shouldn't the x0 be length contracted somehow also? Just trying to understand is all.
 

Similar threads

  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 3 ·
Replies
3
Views
930
  • · Replies 101 ·
4
Replies
101
Views
7K
  • · Replies 30 ·
2
Replies
30
Views
3K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 34 ·
2
Replies
34
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 29 ·
Replies
29
Views
5K
  • · Replies 18 ·
Replies
18
Views
2K