A change in kinetic energy is ##\int \vec F \cdot d\vec s##. A force to decelerate the moving body by mechanical contact is in the end an electric force on a moving charge. But the time-component of the 4-current (charge density) depends on the clock synchronization, therefore also the electric...
But I think it is correct: The reason is, that the term ##m ({dx \over d\tau}, {dy \over d\tau}, {dz \over d\tau})## does not contain the coordinate-time and the momentum is conserved.
Additional argument:
The relativistic 3-momentum ##\mathbf v = ({dx \over d\tau}, {dy \over d\tau}, {dz \over...
Conserved energy is the time-component of the 4-momentum ##p_\mu=m {dx_\mu \over d\tau}##.
##E = m {dt \over d\tau}##.
The conserved energy of a moving particle depends on the clock-synchronization scheme, but the conserved 3-momentum ##m ({dx \over d\tau}, {dy \over d\tau}, {dz \over d\tau}...
Please see A. Einstein: "The Meaning of Relativity"/Lecture 2, equations (39) and (42)
https://en.wikisource.org/wiki/The_Meaning_of_Relativity/Lecture_2
https://www.amazon.com/-/de/dp/B0F8RBNSRF?tag=pfamazon01-20
Einstein modified Newton's definition ##p_x=mv_x## to ##p_x=m {dx \over d\tau}##. This does not depend on the clock-synchronization scheme.
Newton's laws do hold in an inertial coordinate system based on anisotropic one-way-speeds, if the underlying definitions are modified to the relativistic...
I think you cannot integrate over 100 revolutions, because the used Born coordinates are only defined in the range ##-\pi < \phi < +\pi##.
Source:
https://en.wikipedia.org/wiki/Born_coordinates#Transforming_to_the_Born_chart
I think you are only calculating in the simple non-rotating frame and use the time-dilation factors of SR.
BTW.: From this I conclude: ##\omega_2 = { d\over dt} (\phi-\omega_1 t~) = -\omega_1##
This doesn't answer the question of the OP for a calculation in the rotating frame.
The Born...
Minkowski ("West Coast" convention, unprimed coordinates):
##ds^2=c^2(dt)^2 -(dx)^2-(dy)^2-(dz)^2##
##ds^2=c^2(dt)^2 -(d(r \cos(\theta)))^2-(d(r \sin(\theta)))^2-(dz)^2##
Using rotating, primed coordinates for the special case of ##r## and ##z## being constant:
##\require{color} ds^2=c^2dt'^2...