Matemáticamente, nada te impide crear tal modelo. Sin embargo, (probablemente) no es físico. Este es el por qué:
Lo que distingue a las líneas espaciales de las direcciones temporales en el espacio-tiempo es el signo de la “distancia al cuadrado” entre los eventos. Los eventos separados por espacios tienen una distancia positiva al cuadrado entre ellos, mientras que los eventos separados por tiempo tienen una distancia negativa al cuadrado entre ellos [1]. Más formalmente, hay un tensor llamado métrica que mide las longitudes de los vectores. Un vector que apunta en una dirección espacial tiene una norma positiva, es decir,
[matemáticas]
| v | ^ 2 = g (v, v)> 0, \ qquad v \ text {- spacelike}
[/matemáticas]
y para vectores temporales,
[matemáticas]
| v | ^ 2 = g (v, v) <0, \ qquad v \ text {- tiempo real}
[/matemáticas]
El tensor métrico [math] g [/ math] es el objeto que mide las longitudes de los vectores. Los componentes de este tensor se ven así:
[matemáticas] g_ {ab} = [/ matemáticas]
-1 0 0 0
0 +1 0 0
0 0 +1 0
0 0 0 +1
- Cómo entender el concepto de la cuarta dimensión.
- ¿Los fotones se ven realmente afectados por la masa o simplemente viajan en el espacio-tiempo deformado?
- ¿Qué es la 4ta dimensión? ¿Se puede visualizar?
- ¿Podemos establecer un agujero de gusano para que se abra en un lugar específico en el espacio-tiempo?
- ¿Cuál es el significado de la afirmación de que la velocidad máxima c es una propiedad geométrica fundamental del universo?
en relatividad especial, y en general siempre puedes elegir un sistema de coordenadas [2] para hacer la diagonal métrica y tener [math] \ pm 1 [/ math] en la diagonal.
Entonces, si tuviera una teoría con dimensiones adicionales, la métrica ya no sería [matemática] 4 \ veces 4 [/ matemática], sería [matemática] 5 \ veces 5 [/ matemática] o mayor. Y si algunas de esas dimensiones adicionales fueran temporales, tendría múltiples entradas diagonales negativas.
Ahora, la métrica no mide simplemente longitudes. Hace muchas otras cosas, pero una de ellas es permitirle construir diferentes tipos de ecuaciones diferenciales parciales. Las ecuaciones diferenciales parciales (PDE) le indican cómo se mueven los campos (como los campos eléctricos y magnéticos, pero también el espacio-tiempo mismo y todas las “partículas” en la física de partículas). Por razones técnicas [3], los PDE que surgen en física (en teoría de campo) son típicamente de 1er o 2do orden. El operador PDE “natural” de segundo orden que surge se forma con la métrica, específicamente el operador d’Alembertian, que es [math] \ square \ equiv g ^ {- 1} (\ nabla, \ nabla) [/ math], donde [math] g ^ {- 1} [/ math] es el inverso de la métrica y [math] \ nabla [/ math] es una “derivada covariante” que es un tipo especial de derivada que funciona en geometría curva. En relatividad especial, con la métrica anterior, encontrará
[matemáticas]
\ square = – \ frac {\ partial ^ 2} {\ partial t ^ 2} + \ frac {\ partial ^ 2} {\ partial x ^ 2} + \ frac {\ partial ^ 2} {\ partial y ^ 2 } + \ frac {\ partial ^ 2} {\ partial z ^ 2},
[/matemáticas]
que es una “ecuación de onda”. En general, encontrará que en este operador diferencial aparece la misma cantidad de términos positivos y negativos que en la métrica. Entonces, si agrega otra dirección de tiempo, el operador diferencial se vería algo así como
[matemáticas]
\ square ^ {(5?)} = – \ frac {\ partial ^ 2} {\ partial t_1 ^ 2} – \ frac {\ partial ^ 2} {\ partial t_2 ^ 2} + \ frac {\ partial ^ 2 } {\ partial x ^ 2} + \ frac {\ partial ^ 2} {\ partial y ^ 2} + \ frac {\ partial ^ 2} {\ partial z ^ 2}.
[/matemáticas]
Ahora, el número de términos positivos y negativos que aparecen arriba le informan sobre la naturaleza de la ecuación diferencial. La ecuación de onda se llama “hiperbólica”. Si todos los signos fueran iguales, lo llamaríamos el operador laplaciano, y es un operador “elíptico”. Un operador diferencial con dimensiones de tiempo extra a veces se llamaría “ultrahiperbólico”.
Estos diferentes tipos de operadores tienen diferentes características [4]. Los hiperbólicos son aquellos donde la información parece propagarse o fluir. Específicamente, hay algo llamado un “problema de Cauchy” que coloquialmente pregunta:
Si me da el valor de un campo y una cierta cantidad de derivados de ese campo en un “corte”, ¿puedo encontrar el valor del campo en todo momento futuro?
Esta es una pregunta sobre la previsibilidad y la repetibilidad. Si un sistema se inicia en algún estado, evolucionará de cierta manera. ¿Es la naturaleza repetible y predecible?
La respuesta a esta pregunta es sí para las ecuaciones diferenciales hiperbólicas [5]. Las ecuaciones hiperbólicas son ecuaciones de tipo “evolución”: le dicen cómo cambia el estado de algunos sistemas de vez en cuando.
En contraste, las ecuaciones elípticas no lo son. Las soluciones a las ecuaciones elípticas no evolucionan de un segmento a otro. Resolver una ecuación elíptica requiere encontrar simultáneamente una solución global que funcione en todos los puntos. No es suficiente tener solo información en un segmento.
La naturaleza parece ser repetible / predecible, y así se describe bien mediante ecuaciones de tipo evolución [6].
Entonces, ¿qué pasa con las ecuaciones de tipo “ultrahiperbólico”? Esos no parecen ser predictivos. Es por eso que agregar una dimensión de tiempo adicional probablemente no sea físico.
Hay un buen artículo en http://space.mit.edu/home/tegmar… por Max Tegmark que analiza la dimensionalidad del espacio-tiempo y sugiere que solo 3 + 1 (espacio + tiempo) conduciría a un universo que podría soportar vida.
Hay una nota final para hacer. Si la dimensión extra es “compacta” y muy, muy pequeña, probablemente no importa si es temporal o espacial.
[1] Esta es la convención de gravedad, que es opuesta a la convención de física de partículas.
[2] En la vecindad de cualquier punto, ya que la métrica es un campo tensorial .
[3] Las teorías derivadas más altas sufren de algo llamado la inestabilidad de Ostrogradski.
[4] “Característica” es en realidad el término técnico. Las características son direcciones en las que fluye la información; para las ecuaciones hiperbólicas, las direcciones características son reales , mientras que para las ecuaciones elípticas las características son imaginarias .
[5] Esto es respondido por el teorema de Cauchy-Kovalevskaya.
[6] Existe un argumento antrópico de que la previsibilidad / repetibilidad es necesaria para que la vida evolucione.