Why is the Angle Between Timelike Vectors Given by g(X,Y)?

  • Context: Graduate 
  • Thread starter Thread starter Oxymoron
  • Start date Start date
  • Tags Tags
    Vectors
Click For Summary

Discussion Overview

The discussion revolves around the mathematical formulation of the angle between timelike vectors in Minkowski space, specifically why it is expressed using the hyperbolic cosine function (cosh) rather than the cosine function. Participants explore the implications of the Minkowski metric and its geometric interpretations.

Discussion Character

  • Technical explanation
  • Conceptual clarification
  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • Some participants assert that the angle between two timelike vectors is given by g(X,Y) = ||X|| ||Y|| cosh(θ) due to the nature of Minkowski geometry, where the relevant equation is t² - x² = 1, indicating a hyperbolic rather than circular relationship.
  • Others discuss the concept of rapidity and its relation to the intercepted arc length of the unit hyperbola, suggesting that this is a fundamental aspect of the Minkowski metric.
  • A participant questions whether cosh can be expressed solely in terms of tanh, linking this to the relative speed of a timelike particle or observer.
  • Some contributions explore the implications of the Minkowski metric having negative signs, suggesting that this affects how angles are determined in this geometry.
  • One participant attempts to derive expressions for cosh(θ) and tanh(θ) using hyperbolic trigonometric identities, leading to a discussion about the relationship between these functions and the velocity of particles.
  • Another participant raises concerns about the dimensional consistency of certain equations and the interpretation of tanh(θ) as the slope of a worldline in spacetime diagrams.
  • There are discussions about the correct interpretation of the signs in the expressions for velocities and the geometric implications of these relationships.

Areas of Agreement / Disagreement

Participants express varying views on the relationships between hyperbolic functions and the geometry of Minkowski space. There is no consensus on the best way to express these relationships or the implications of certain mathematical identities.

Contextual Notes

Some participants note potential limitations in their derivations, such as assumptions made about the relationships between variables and the need for dimensional consistency in equations.

Who May Find This Useful

This discussion may be of interest to those studying special relativity, hyperbolic geometry, or mathematical physics, particularly in understanding the geometric interpretation of spacetime and the behavior of timelike vectors.

Oxymoron
Messages
868
Reaction score
0
Why is the angle between two timelike vectors given by

[tex]g(X,Y) = \|X\|\|Y\|\cosh\theta[/tex]

instead of

[tex]g(X,Y) = \|X\|\|Y\|\cos\theta[/tex]?
 
Physics news on Phys.org
That's the Minkowski metric for you.
The Minkowski-angle (the rapidity) between unit future-timelike vectors is based on the intercepted arc length of the unit hyperbola.

Can you write cosh in terms of tanh alone?
 
Oxymoron said:
Why is the angle between two timelike vectors given by

[tex]g(X,Y) = \|X\|\|Y\|\cosh\theta[/tex]

instead of

[tex]g(X,Y) = \|X\|\|Y\|\cos\theta[/tex]?

Because in Minkowski geometry the equation satisfied by a generic unit vector (t,x) is [tex]t^2 - x^2 = 1[/tex], not [tex]t^2 + x^2 = 1[/tex]. The first equation is that of a unit hyperbola and it is parametrized by the hyperbolic functions not the circular ones.
 
Posted by Robphy:

Can you write cosh in terms of tanh alone?

I will try and do this today and get back to you. Am I correct in assuming that by using some hyperbolic trig identities I can get tanh and is this the relative speed of a timelike, future pointing particle (or an inertial observer)?

Posted by selfAdjoint:

Because in Minkowski geometry the equation satisfied by a generic unit vector (t,x) is...

Is this due to the metric having minus signs instead of plus? Like [itex]s^2 = t^2-x^2-y^2-z^2[/itex]? since dot product is given by

[tex]u\cdot v = g_{ij}u^iv^i[/tex]

so the 'angle' will be determined on what the metric looks like. In our case it has negatives in it.
 
Oxymoron said:
I will try and do this today and get back to you. Am I correct in assuming that by using some hyperbolic trig identities I can get tanh and is this the relative speed of a timelike, future pointing particle (or an inertial observer)?
Yes, but I want you to interpret cosh(theta) with that understanding. If that was too easy, you should work on expressing exp(theta) in terms of tanh(theta), then interpreting.

Oxymoron said:
Is this due to the metric having minus signs instead of plus? Like [itex]s^2 = t^2-x^2-y^2-z^2[/itex]? since dot product is given by

[tex]u\cdot v = g_{ij}u^iv^i[/tex]

so the 'angle' will be determined on what the metric looks like. In our case it has negatives in it.
Yes. In fact, one can draw a picture of the Minkowski metric. It is a hyperbola (generally, hyperboloid)... traced out by the tips of the Minkowski-unit vectors.
 
Posted by robphy;

Yes, but I want you to interpret cosh(theta) with that understanding. If that was too easy, you should work on expressing exp(theta) in terms of tanh(theta), then interpreting.

Im not sure if I have the right answer, I may be complicating it too much.

Consider an observer moving in a straight line in the x-plane. Such motion can be described by a Lorentz transformation which leaves y and z unchanged. As a result the 4x4 Lorentz matrix will look like this

[tex] [L^{\mu'}{}_{\nu}] = \left(\begin{array}{cccc}<br /> L^1{}_1 & 0 & 0 & L^1{}_4 \\<br /> 0 & 1 & 0 & 0 \\<br /> 0 & 0 & 1 & 0 \\<br /> L^4{}_1 & 0 & 0 & L^4{}_4<br /> \end{array}\right)[/tex]

The spacetime metric in SR can be written as

[tex]\Delta s^2 = g_{\mu\nu}\Delta x^{\mu}\Delta x^{\nu}[/tex]

I will assume that the observer (free particle) has a rectilinear path with respect to inertial frames. Transformations preserving the spacetime metric are of the form

[tex]x'^{\mu'} = L^{\mu'}{}_{nu}x^{\nu} + a^{\mu'}[/tex]

where the coefficients [itex]L^{\mu'}{}_{\nu}[/itex] satisfy

[tex]g_{\rho\sigma} = g_{\mu'\nu'}L^{\mu'}{}_{\rho}L^{\nu'}{}_{\sigma}\quad\quad[1][/tex]

which is a Poincare transformation.

Now substituting our Lorentz 4x4 matrix into [1] we have

[tex]L^1{}_1L^1{}_1 - L^4{}_1L^4{}_1 = g_{11} = 1\quad [2][/tex]
[tex]L^1{}_1L^1{}_4 - L^4{}_1L^4{}_4 = g_{14} = g_{41} = 0 \quad [3][/tex]
[tex]L^1{}_4L^1{}_4 - L^4{}_4L^4{}_4 = g_{44} = -1 \quad [4][/tex]

From [4] we have

[tex](L^4{}_4)^2 = 1+(L^1{}_4)^2 \geq 1[/tex]

and assuming [itex]L^4{}_4 \geq 1[/itex] we can set

[tex]L^4{}_4 = \cosh\theta[/tex]

then it simply follows that

[tex]L^1{}_4 = \pm\sqrt{\cosh^2\theta -1} = \sinh\theta[/tex]

Similarly for [2] we have

[tex]L^1{}_1 = \cosh\phi[/tex]
[tex]L^4{}_1 = \sinh\phi[/tex]

and using [3] we have

[tex] 0 = \sinh\theta\cosh\phi - \cosh\theta\sinh\phi = \sinh(\theta-\phi)[/tex]

which implies that [itex]\theta = \phi[/itex].


Now this is where I am stuck. I am trying to express [itex]\cosh\theta[/itex] on its own. I know that

[tex]\cosh\theta = \gamma[/itex]<br /> <br /> because I was told, but I still want to show it. <br /> <br /> I thought by writing everything that I have written above shows me that I should think about [itex]\tanh\theta[/itex] and then use some hyperbolic trig identities, which I will try now...[/tex]
 
Last edited:
Ok, after looking through many appendices I found an identity which may work. Here it goes.

A free particle will move with velocity [itex]v = x/t[/itex] along the x-axis, we know this. So

[tex]v = \frac{x}{t} = -c\frac{\sinh\theta}{\cosh\theta}[/tex]

Where did the -c come from? Not sure yet but it seems to work atm. Basically I let

[tex]\tanh\theta = -\frac{v}{c} = \frac{\sinh\theta}{\cosh\theta}[/tex]

Anyway, then I used the identity

[tex]\cosh^2\theta - \sinh^2\theta = 1[/tex]

and wrote it as

[tex]\cosh\theta\sqrt{1 - \left(\frac{\sinh^2\theta}{\cosh^2\theta}\right)}=1[/tex]

rearranging...

[tex]\cosh\theta = \frac{1}{\sqrt{1-\left(\frac{\sinh\theta}{\cosh\theta}\right)^2}}[/tex]

which equals

[tex]\cosh\theta = \frac{1}{\sqrt{1-\tanh^2\theta}}[/tex]

but we already know that

[tex]\tanh\theta = -\frac{v}{c}[/tex]

so

[tex]\tanh^2\theta= \left(\frac{v}{c}\right)^2[/tex]

Therefore

[tex]\cosh\theta = \frac{1}{\sqrt{1-\frac{v^2}{c^2}}} = \gamma[/tex]
 
If all this is correct, and I think it is, then my assumption that

[tex]\tanh\theta = -\frac{v}{c} \quad [5][/tex]

certainly works. Unfortunately I have no justification for setting [5] in the first place. I only obtained it from working backwards.

The problem then is that tanh has profound meaning. In fact [itex]\tanh\theta[/itex] must be the relative speed of the free particle! I won't let this rest. Hopefully someone can help. Is there something which will justify setting [5]?
 
I think I worked it out.

As a particle travels along its worldline in the x-plane, we can look at it at some instant and draw a unit tangent vector at that point. The tangent vector, the t-axis and the x-axis make a triangle, with theta being the angle between the tangent vector and the t axis.

Now, label the tangent vector v. Then from

[tex]x=v(-ct)[/tex]

we have

[tex]\frac{x}{t} = -cv[/tex]

But we know that

[tex]\frac{x}{t} = v =\frac{x/v}{t/v}[/tex]

And we also know from our little triangle on the worldline of the particle that

[tex]\sinh\theta = \frac{x}{v}[/tex]
[tex]\cosh\theta = \frac{t}{v}[/tex]

so we have

[tex]\frac{x}{-ct} = v = \frac{\sinh\theta}{\cosh\theta}[/tex]

which, of course, yields

[tex]\frac{x}{t} = v = -c\frac{\sinh\theta}{\cosh\theta}[/tex]

After rearranging we have finally

[tex]-\frac{v}{c} = \tanh\theta[/tex]

How does this look?
 
Last edited:
  • #10
It's basically correct, but seems inconsistent at times (e.g., [tex]\frac{x}{t} = -cv[/tex] ). This relation I pasted should read:
[tex]\frac{x}{t} = v[/tex] or [tex]\frac{x}{ct} = \frac{v}{c}[/tex]... for dimensional consistency.

[tex]\tanh\theta=v/c [5][/tex] describes the SLOPE of the worldline on a spacetime diagram (which is like a position-vs-time graph in which slopes are velocities). Since [tex]\tanh[/tex] is dimensionless, the right-hand side must be as well.


Note that
[tex]\frac{x}{t} = v =\frac{x/v}{t/v}[/tex]
does not algebraically imply
[tex]\sinh\theta = \frac{x}{v}[/tex] and [tex]\cosh\theta = \frac{t}{v}[/tex] (the units won't work out).
Here's an analogy from Euclidean geometry to show that this method fails algebraically: Does [tex]\frac{\sin\theta}{\cos\theta}=\frac{4}{5}[/tex] imply that [tex]\sin\theta=4[/tex] and [tex]\cos\theta=5[/tex]? All you know is that, e.g., [tex]5\sin\theta=4\cos\theta[/tex].
 
  • #11
So how does [itex]\tanh\theta = -v/c[/itex]?
 
  • #12
To describe a particle moving in the forward direction, it's [tex]\tanh\theta = v/c[/tex] (no minus sign).

How does such a relation come about in the first place?

One can appeal to the form of the "transformation of velocities" formula, which looks like the identity for the hyperbolic tangent of a sum or difference.

Geometrically, if one draws two rays: x=0 and x=vt (t>0), one cuts an Minkowski arc length of theta on the unit hyperbola. This Minkowski arc-length divided by this radius is the Minkowski-angle [called the rapidity]. Consider the displacement vector along x=vt from the origin to the unit hyperbola. Its spatial component is [tex]\sinh\theta[/tex] and its temporal compoent is [tex]\cosh\theta[/tex] (the time-dilation [tex]\gamma[/tex] factor). The constant velocity is ratio of these two components.
 
  • #13
Excellent! Thanks robphy. So going back to where I let

[tex]\tanh\theta = -\frac{v}{c}[/tex]

I now actually have reason for this...because the constant velocity is the ratio of the spatial and temporal components. Which means I could just have written it without the negative sign as you said. I suppose it all comes down to looking at Minkowski space diagrams and seeing how all the angles and vectors interact.
 
  • #14
Oxymoron said:
Excellent! Thanks robphy. So going back to where I let

[tex]\tanh\theta = -\frac{v}{c}[/tex]

I now actually have reason for this...because the constant velocity is the ratio of the spatial and temporal components. Which means I could just have written it without the negative sign as you said.

That would describe a particle traveling backward [to the left]... just like it would be on an ordinary position vs time graph from introductory physics.


Oxymoron said:
I suppose it all comes down to looking at Minkowski space diagrams and seeing how all the angles and vectors interact.

Yes... and finding a physical interpretation. That's the beauty of modelling SR with Minkowski spacetime. The model is faithful... every physical situation can be modeled geometrically. And any geometrical result probably has a physical [though not necessarily interesting] interpretation.
 
  • #15
I want to use [itex]\tanh\theta[/itex] and rapidity now.

Suppose we have three objects moving parallel with different velocities relative to one another. In particular, A moves with velocity v relative to B and B moves with velocity u relative to C.

u is the velocity of B relative to C. But what is the velocity of A relative to C?

Classically it should be u+v. But what if A,B and C are light beams?

Instead of simply adding the velocities what we need to do is move from the inertial frame of B to the inertial frame of A. In SR this is not as easy as it is for classical physics. Instead there are rules. And these rules are the Lorentz transformations.

So let's move from B to A. We can carry along with us knowledge of the velocity of B relative to C (which is u). But u will change. How much it changes depends on the frame A. Obviously if A is B then u doesn't change. But if A differs from B by any velocity v we need to change u. The way u changes is via

[tex]u' = \frac{u-v}{1-\frac{uv}{c^2}}[/tex]

Now this is where rapidity comes into play. Robphy mentioned it and now it has intrigued me. If we define relative velocity as

[tex]v = \tanh\theta[/tex]

then the rapidity [itex]r[/itex] is defined as

[tex]r = \theta[/tex]

From the identity

[tex]\tanh(\theta+\phi) = \frac{\tanh\theta + \tanh\phi}{1+\tanh\theta\tanh\phi}[/tex]

can we conclude how this addition rule is consistent with the Lorentz transformation of combined velocities?
 
Last edited:
  • #16
A Lorentz transformation takes the points of geometric figures and slides them along hyperbolas. These "rotations" are parametrized by the rapidity.

Rapidity (and arc-length) is additive.

Write the [invariant] relative-rapidity [tex]\theta_{BA}=\theta_{BO}-\theta_{AO}[/tex], and define the [invariant] relative-velocity [tex]v_{BA}=c\tanh\theta_{BA}[/tex].

By using the identity for hyperbolic tangents, you can write the transformation of velocities formula, relatiing [tex]v_{BA}[/tex] in terms of [tex]v_{BO}[/tex] and [tex]v_{AO}[/tex].
 
  • #17
Rapidity is additive! So it is by no means like velocity (which is definitely not additive)?

I read that physicists tend to use rapidity over velocity. Is this because it is additive?
 
  • #18
Oxymoron said:
Rapidity is additive! So it is by no means like velocity (which is definitely not additive)?

I read that physicists tend to use rapidity over velocity. Is this because it is additive?

Unfortunately many physicists (and others) do not use rapidity. Many may make a passing acknowledgment of such a quantity... but they don't use it. [It was de-emphasized in the latest edition of Spacetime Physics because users of the text didn't use it.] But, yes, those who do use it because it is additive, easier to work with, and because it is the natural variable to use to describe the separation between concurrent worldlines.
 

Similar threads

  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 6 ·
Replies
6
Views
3K