1
$\begingroup$

This is intuitively very simple problem but I am unable to complete it with Mathematical rigor. Here is the deal:

A coordinate system $(u,v,w,p)$ in which the metric tensor has the following non-zero components, $g_{uv}= g_{ww}=g_{pp}=1$. Find the coordinate transformation between $(u,v,w,p)$ to the regular coordinates $(t,x,y,z)$.

So in the first part of the same question you are supposed to prove that coordinate space $(u,v,w,p)$ is flat which is easy enough to see because the metric components are constant, all Riemann tensor components are zero. Hence the space is Minkowski. Which, intuitively, implies that the transformation between the coordinates will be linear because standard $(t,x,y,z)$ form a Minkowski space. But I am unable to prove it Mathematically.

Here is what I did. The question had a hint to calculate $e_u.e_u$ and $e_v.e_v$ (e represents the basis in either coordinate system and subscript implies which coordinates they belong to. I am removing the vector heads or the circumflex). From the metric tensor in this coordinate they are going to be zero.

So, I did write the conversion between the basis of the two systems, $$ e_{\alpha '} = \Lambda^\alpha_{\alpha '} = \frac{\partial x^\alpha}{\partial x^{\alpha '}}e_\alpha $$ Here the primed indices represent the $(u,v,w,p)$ coordinates and unprimed represents $(t,x,y,z)$. This gives the following dot product, $$ e_{\alpha '}.e_{\beta '}= \Lambda^\alpha_{\alpha '}\Lambda^\beta_{\beta '}e_\alpha.e_\beta = \frac{\partial x^\alpha}{\partial x^{\alpha '}}\frac{\partial x^\beta}{\partial x^{\beta '}}e_\alpha.e_\beta $$ And I can use the orthonormality of the $(t,x,y,z)$ coordinates to simplify $e_\alpha.e_\beta$ but even then using the metric all, $$ e_{\alpha '}.e_{\beta '} = \frac{\partial x^\alpha}{\partial x^{\alpha '}}\frac{\partial x^\beta}{\partial x^{\beta '}}e_\alpha.e_\beta $$ gives me is a bunch of (actually 16) partial differential equations but I do not know where to go from there.

How do I prove that the partial differential equations have a solution, $x^\alpha = A^\alpha_{\alpha '}x^{\alpha '}$ where $A^\alpha_{\alpha '}$ are constants? Surely it can be seem that it is ONE of the solution of the system of PDEs but is that the only solution(?). I arrived at the answer intuitively but want to be able to SEE it mathematically being a solution. Also, how do I end up calculating the values of $A^\alpha_{\alpha '}$?

$\endgroup$

1 Answer 1

1
$\begingroup$

It is not required to prove that the solution is unique. It is possible that the solution is not unique as a rotation or boost would still be another solution for the same criteria. So it is just required, as far as the scope of the problem is concerned, that $x^{\alpha '} = A^{\alpha '}_\alpha x^\alpha$ is A solution not THE solution.

Secondly, the trick used is to not change the coordinates which are orthonormal, which are $w$ and $p$. So just let them $y=w$ and $z=p$. That reduces the number of unknowns and the number of equations.

$\endgroup$
1
  • $\begingroup$ Thanks for updating with your own solution. You can accept it too so the question doesn't remain on an open queue. $\endgroup$ Jul 22, 2018 at 12:27

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .