¿Cómo se calcula UT1?

Recientemente leí acerca de los estándares de tiempo y ahora entiendo que UTC es una segunda versión corregida de la hora atómica internacional, por lo que se mantiene dentro de los 0,9 segundos desde UT1. Y luego UT1 se define como el tiempo solar medio a 0° de longitud. Sin embargo, no se realiza mediante mediciones de la posición aparente del sol, sino a través de un tiempo sideral o ángulo de rotación de la tierra.

La búsqueda exhaustiva en Google no me ha ayudado a comprender cómo se usa este ángulo de rotación terrestre observado para calcular UT1. Esta respuesta Phys.SE sugiere que la ecuación es bastante compleja. Me gustaría entender por qué debe ser complejo, considerando que el "sol medio" al que se refiere el tiempo solar medio se define para seguir un movimiento uniforme (con respecto a las estrellas) a lo largo del ecuador celeste. Por lo tanto, ¿no debería ser la diferencia entre el tiempo sideral y el tiempo solar medio simplemente una función lineal de la época del año?

Respuestas (1)

Como se explica en: esta conferencia

El ángulo de rotación de la Tierra = 2π(0.7790572732640 + 1.00273781191135448(Julian UT1date - 2451545.0)) radianes.

Entonces, uno observa el ángulo de rotación de la Tierra y calcula la fecha juliana UT1 como una fecha decimal a partir de esa fórmula. Luego, restando la parte del "día" de la fecha, obtienes una fracción de un día que podrías convertir en horas, minutos y segundos.

Gracias, esa parece ser la respuesta. Así que es una función lineal como sospechaba.
Esa puede ser la mayoría de las fórmulas que existen, pero eche un vistazo rápido a esta función de la biblioteca SOFA C iausofa.org/2012_0301_C/sofa/era00.c Solo para su información porque algo no parece estar bien aquí.
Tome el primer término y multiplíquelo por 360 y obtendrá un número familiar que es un ángulo de compensación utilizado en muchas de las fórmulas GMST. Esta es solo una forma conveniente de mantenerlo basado en el tiempo.