Sea la siguiente función:

U = U(r(t), v(t)) = (α/r) · sqrt(1 – (v/c)^2)

donde α y c son constantes positivas, y v = dr/dt.
Me gustaría saber si es posible demostrar que para el valor

t’ = t – r(t)/c

se cumple que

U(r(t’), v(t’)) = U(r(t), v(t)) – v(t)·[∂U(r(t), v(t)) / ∂v]