Nice. Some people in the comments were asking about the actual Taylor expansion for kinetic energy. So here it is (assuming v<<c=1):
S=∫τ2τ1mdτ=∫t2t1m√1−v2dt≈∫t2t1m(1−v22+…)dt
(Since the derivative of √x is 12√x, we have √1+x≈(1+x/2) for small x.)
So, up to an additive constant, we have L=−mv22.
Also, if we want to account for non-gravitational potential energy as well, we can note that in special relativistic units, E=m in free space, and E=m+V in a potential. (E being the energy of the particle measured in that particle’s frame.) So, assuming V<<m:
L=Eτ=(m+V)√1−v2≈(m+V)(1−v22)≈m+V−mv22
Note that you can use actual LaTeX in your comments by pressing CMD/CTRL+4 in the editor and typing LaTeX in there (or using the toolbar option for inserting math).
Nice. Some people in the comments were asking about the actual Taylor expansion for kinetic energy. So here it is (assuming v<<c=1): S=∫τ2τ1mdτ=∫t2t1m√1−v2dt≈∫t2t1m(1−v22+…)dt (Since the derivative of √x is 12√x, we have √1+x≈(1+x/2) for small x.) So, up to an additive constant, we have L=−mv22. Also, if we want to account for non-gravitational potential energy as well, we can note that in special relativistic units, E=m in free space, and E=m+V in a potential. (E being the energy of the particle measured in that particle’s frame.) So, assuming V<<m: L=Eτ=(m+V)√1−v2≈(m+V)(1−v22)≈m+V−mv22
Note that you can use actual LaTeX in your comments by pressing CMD/CTRL+4 in the editor and typing LaTeX in there (or using the toolbar option for inserting math).
Ah thanks, I’ve got it now. My browser seems to not like CMD-4, but putting dollar signs in markdown worked.