Prueba teórica de la constante de velocidad de la luz ccc en el vacío en todos los marcos de referencia

¿Existe alguna prueba teórica de la velocidad constante de la luz en todos los marcos de referencia? Sé que está probado experimentalmente, pero es solo curiosidad.

Por supuesto que hay una prueba teórica. De hecho, hay una prueba teórica de una línea en cualquier teoría que tome la constancia de la velocidad de la luz como un axioma. Hay otras teorías en las que hay pruebas, pero ninguna tan corta, y otras en las que no hay ninguna prueba. Para que esta pregunta tenga sentido, debe especificar de qué teoría está hablando.
@WillO, tal vez no entienda bien tu comentario, pero en una teoría que toma como axioma la constancia de la velocidad de la luz , no hay prueba teórica de dicha constancia, ni en una línea ni en otra, para hablar porque, si la hubiera, la constancia de la velocidad de la luz no sería un axioma en la teoría.
Para ser quisquilloso, ¿no debería decir verificado experimentalmente en lugar de probado ?
@AlfredCentauri: una prueba, según la definición estándar, es una lista finita de declaraciones, cada una de las cuales es un axioma o sigue reglas de inferencia específicas de declaraciones anteriores en la lista. Una lista de longitud uno es una prueba si y solo si el elemento de esa lista es un axioma.
@WillO, veo su punto en el contexto de un sistema formal, pero debo confesar que encuentro la noción de que 'declarar' un axioma prueba que el axioma es absurdo, si no vacío.
@AlfredCentauri: ¿Le parece igualmente absurdo (en el mismo contexto formal) que cada prueba comience con un axioma?
@WillO, en absoluto; ¿por qué?
@AlfredCentauri: Reconociendo que nos estamos desviando del tema aquí, probablemente sea mejor no insistir en esto, pero: si A es un axioma, y ​​si B sigue desde A , entonces estás (si te entiendo) dispuesto a considerar ( A , B ) una prueba no absurda de B , pero no dispuesto a considerar ( A ) una prueba no absurda de A . Pero ambas pruebas se basan exactamente en la misma base, por lo que tengo problemas para ver por qué una sería más absurda que la otra.
@WillO, la diferencia clave para mí es "B se sigue de A", es decir, el axioma A y alguna regla de inferencia conducen a B y, por lo tanto, B se prueba (B es un teorema) en el sistema.
@AlfredCentauri: Pero eso no es una diferencia, porque es igualmente cierto que "A se sigue de A" --- el axioma A, junto con la regla de inferencia que dice que cualquier declaración puede derivarse de sí misma, conduce al teorema A Así que no creo que tu comentario pueda ser una descripción precisa de cualquier diferencia que estés percibiendo.
@WillO, "cualquier declaración puede derivarse de sí misma". Lo dejaré así.

Respuestas (4)

Como dice WillO, uno tiene que enunciar su teoría precisamente a través de una definición de sus axiomas (y reglas de inferencia permitidas).

Pero algo que puede encontrar intelectualmente satisfactorio es lo siguiente. A partir de principios de simetría muy básicos: homogeneidad e isotropía del espacio-tiempo, así como continuidad de transformaciones entre marcos y dependencia continua de la velocidad relativa y, finalmente, causalidad, consulte los artículos de Pal y Levy-Leblond que cito en mi respuesta de recomendación de recursos de relatividad especial aquí . Uno puede probar a partir de estas suposiciones que debe existir una velocidad invariante del marco C (podría ser infinito , es decir , la relatividad galileana está incluida en los posibles resultados) y también se deriva la forma de las transformaciones de Lorentz.

Luego se encuentra experimentalmente que C es finita porque se encuentra experimentalmente que la velocidad de la luz se comporta de esta manera invariante de marco.

"Se puede demostrar a partir de estas suposiciones que debe existir una velocidad c invariable en el marco", donde c es la velocidad de la luz.
¿Qué pasa con el hecho de que C es constante en electrodinámica ( C = 1 m 0 ϵ 0 ) con el giro particular de que no puedes cambiar eso, incluso cuando el marco de referencia cambia sin "destruir" la teoría. La electrodinámica de Maxwell exige la constancia de la velocidad de la luz.
@jim Sí, vea los artículos de Pal y Levy-Leblond que cito en la respuesta que enlazo aquí.
@ J.Manuel Bueno, esa es otra motivación y la que usó Einstein.

Hay una "prueba" teórica de que C es constante, aunque podría considerarse "débil". Dejame explicar.

Es bien sabido por la física matemática que cualquier cantidad F = F ( X , t ) obedeciendo la ecuacion 2 F t 2 v 2 2 F = 0 representa una onda que se mueve con velocidad v . Ahora, si se usan las ecuaciones de Maxwells para el vacío, se puede demostrar que los campos eléctrico y magnético obedecen exactamente a una ecuación de ese tipo, es decir (utilicemos solo el campo eléctrico por simplicidad)

2 mi t 2 ( 1 m 0 ϵ 0 ) 2 mi = 0

Esto implica una onda de campo eléctrico que se mueve con velocidad. C = 1 m 0 ϵ 0 . Ese es el componente eléctrico de la luz.

Ahora, como ves, ambos m 0 y ϵ 0 son constantes que provienen de experimentos completamente independientes como los experimentos de Coulomb y Biot-Savart. Se agregaron como constantes de "transformación de fuerza". C aquí es constante y no hay forma de remediarlo. No admite ningún otro valor y procede de la teoría del electromagnetismo (electrodinámica).

Sería demasiado simplificador decir que la electrodinámica se resume solo en la ecuación de onda. Sin embargo, esta ola está en el centro de toda la teoría. El más mínimo cambio aquí afecta a toda la teoría. No obstante, cualquiera que acepte la transformación de Galileo podría, en principio, decir que la electrodinámica de Maxwell es incorrecta y necesita cambios. Por eso digo que es "débil".

A fines del siglo XIX quedó claro que las siguientes teorías muy bien establecidas: a) la mecánica de Newton; b) El principio de relatividad (de Galileo); y c) electrodinámica de Maxwell; no podía ser simultáneamente cierto. Se podría elegir 2 de ellos pero el resto pediría reformas.

uno podría hacer C la constancia como postulado, salvando la electrodinámica y reforzándola. Si también admites el principio de relatividad, ¡voilá! serías un genio (Einstein para ser preciso).

A partir de estos 2 postulados se puede obtener la transformación de Lorentz. Puede ver en esta publicación que mantiene la velocidad de la onda de luz constante e igual a C , como se esperaba.

En resumen: la electrodinámica es la teoría de "prueba" para C ser constante

PD: Einstein en realidad hizo esto dos veces en su teoría de la relatividad. También transformó el principio de correspondencia débil , considerando la evidencia de los experimentos de Eötvös de que la masa gravitacional debe ser la misma que la masa inercial en el principio de correspondencia (haciéndolo fuerte) al postularlo.

La prueba podría tener dos pasos basados ​​totalmente en la geometría.

Dada una métrica arbitraria para el espacio-tiempo curvo en relatividad general, siempre puede encontrar un marco inercial local. Es una aproximación de primer grado que te ayuda a pasar de la relatividad general a la relatividad especial en torno a un punto en el que todas las primeras derivadas parciales de la métrica desaparecen. La métrica ahora es igual a la métrica de Minkowski en este punto y alrededor.

Esta fue la redacción rigurosa de la idea básica de Einstein de que "la física del espacio-tiempo curvo debe reducirse en pequeñas regiones a la física de la mecánica inercial simple".

Ahora considere la métrica de Minkowski para el marco inercial que permanece invariante bajo las transformaciones de Lorentz.

Esta métrica exige que debe haber un multiplicador constante de la dimensión temporal con el signo opuesto de las dimensiones espaciales, es decir, la firma, en la geometría de las cuatro dimensiones, si desea tener una definición invariable para el intervalo entre puntos o eventos en el espacio-tiempo después de rotaciones, impulsos y traslaciones.

Esta constante de la geometría del espacio-tiempo, con la dimensión del espacio en el tiempo, en el marco de referencia inercial se identifica con la velocidad de la luz.

Esta constante debería estar allí teóricamente si desea tener una noción invariable de distancia o intervalo en el espacio-tiempo que experimenta las transformaciones de Lorentz.

Cuando Einstein propuso un experimento mental y luego asumiendo que la velocidad de la luz es constante independientemente de todo marco de referencia inercial. Esa teoría tuvo muchas consecuencias, como la contracción de la longitud, la dilatación del tiempo y la relación de equivalencia masa-energía. Por supuesto, no se puede probar una teoría, sino que sus consecuencias se pueden probar experimentalmente. Y como las consecuencias de STR se prueban experimentalmente, la suposición era correcta.