Counterexamples to the Lorentzian Calderón problem

Aquí presento un resumen técnico detallado del artículo "Counterexamples to the Lorentzian Calderón Problem" (Contrajemplos al Problema de Calderón Lorentziano) de Lauri Oksanen y Miika Särkkänen.

1. Planteamiento del Problema

El Problema de Calderón Lorentziano es un problema de valor de frontera inverso para ecuaciones diferenciales parciales hiperbólicas en variedades lorentzianas. El objetivo es determinar la geometría subyacente (la métrica $g$) de un espaciotiempo $(M, g)$ a partir de mediciones realizadas en su frontera.

• Contexto: A diferencia del problema de Calderón elíptico (Riemanniano), el caso hiperbólico (Lorentziano) incorpora la estructura causal y la velocidad finita de propagación de las ondas.
• Datos: Se considera el mapa Dirichlet-a-Neumann (DN) hiperbólico ($\Lambda^{\text{Hyp}}_g$). Este mapa toma una condición de frontera temporal $\phi$ (datos de Dirichlet) y devuelve la derivada normal de la solución de la ecuación de onda $\square_g u = 0$ en la frontera.
• La Pregunta Central (Pregunta 1.1): Si dos métricas lorentzianas globales y globalmente hiperbólicas $g$ y $g'$ en una variedad $M$ producen el mismo mapa DN en un cilindro infinito con frontera temporal, ¿son isométricas mediante un difeomorfismo que fija la frontera?
• Estado Actual: Resultados previos han demostrado unicidad bajo condiciones geométricas muy estrictas. Este trabajo busca probar que, sin tales restricciones, la unicidad no se cumple.

2. Metodología y Estructura Teórica

Los autores construyen sus contraejemplos basándose en la velocidad finita de propagación de las ondas y la existencia de regiones del espaciotiempo que son inaccesibles desde la frontera.

Conceptos Clave:

1. Espaciotiempos Globalmente Hiperbólicos: Se asume que la variedad admite una función temporal de Cauchy $\tau$, lo que permite foliar el espaciotiempo en hipersuperficies espaciales de Cauchy. Esto garantiza que el problema de Cauchy para la ecuación de onda esté bien planteado.
2. Regiones Inaccesibles ($U$): La estrategia central es identificar un conjunto abierto no vacío $U \subset M$ tal que:
   $$J^-_g(U) \cap \partial M = \emptyset \quad \text{o} \quad J^+_g(U) \cap \partial M = \emptyset$$
   Donde $J^\pm$ denotan el futuro/pasado causal. Esto significa que ninguna señal causal puede viajar desde la frontera hasta $U$ (o viceversa).
3. Perturbación Local: Se construye una nueva métrica $g'$ que coincide con $g$ fuera de una región $U$ (donde no llegan las señales desde la frontera), pero que es geométricamente distinta dentro de $U$.

Proposiciones Fundamentales:

• Proposición 1.1: Si existe una región $U$ inaccesible, se puede construir una métrica $g'$ (globalmente hiperbólica) tal que el mapa de "fuente a solución" ($L_g$) es idéntico para ambas métricas, pero $g$ y $g'$ no son isométricas. La prueba utiliza una combinación convexa suave de la métrica original con una métrica de curvatura constante (tipo de Sitter) dentro de $U$, asegurando que la función temporal $\tau$ siga siendo una función de Cauchy para la nueva métrica.
• Proposición 1.2: Establece que si los mapas de fuente a solución coinciden ($L_g = L_{g'}$), entonces los mapas DN hiperbólicos también coinciden ($\Lambda^{\text{Hyp}}_g = \Lambda^{\text{Hyp}}_{g'}$). Esto conecta la invisibilidad de la perturbación en el interior con la imposibilidad de detectarla en la frontera.

3. Contribuciones Clave y Resultados

El artículo demuestra que la unicidad falla en el Problema de Calderón Lorentziano para cilindros infinitos con frontera temporal, proporcionando tres familias explícitas de contraejemplos:

A. Hipersuperficie Hiperbólica en Espacio de Minkowski

• Se considera el espacio de Minkowski $\mathbb{R}^{1+n}$.
• Se define un dominio $M$ acotado por una hipersuperficie hiperbólica temporal.
• Se identifica una región $U$ (un diamante causal) completamente contenida en el interior de $M$ tal que ninguna geodésica nula desde la frontera puede alcanzarla.
• Resultado: Se puede perturbar la métrica dentro de $U$ sin alterar el mapa DN.

B. Espaciotiempos de Agujeros Negros y Blancos (Schwarzschild)

• Se utiliza la extensión máxima de Kruskal del espaciotiempo de Schwarzschild.
• Se elige un cilindro $M$ que rodea la región de $r < r_0$ (donde $r_0 > r_S$, radio de Schwarzschild).
• Regiones Inaccesibles:
  • La región del agujero negro ($B$) es tal que $J^+(B) \cap \partial M = \emptyset$ (nada puede salir de ella hacia la frontera).
  • La región del agujero blanco ($W$) es tal que $J^-(W) \cap \partial M = \emptyset$ (nada puede entrar en ella desde la frontera).
• Resultado: Las perturbaciones en estas regiones son indetectables desde la frontera temporal.

C. Cosmología con "Gran Rebote" (Big Bounce)

• Se utiliza una métrica FLRW (Friedmann-Lemaître-Robertson-Walker) que describe un universo que se contrae hasta un radio mínimo y luego se expande.
• Se elige un cilindro espacial de radio $R$ suficientemente grande ($R > \pi/H$).
• Debido a la naturaleza de la expansión/contracción y la velocidad finita de la luz, existen regiones cónicas en el pasado y futuro ($U$ y $U'$) dentro del cilindro que no pueden ser alcanzadas por señales provenientes de la frontera temporal.
• Resultado: La geometría en estas regiones cónicas puede modificarse sin afectar las mediciones de frontera.

4. Significado e Implicaciones

1. Fracaso de la Unicidad General: El trabajo demuestra que, a diferencia de ciertos casos elípticos o bajo condiciones geométricas muy específicas (como la convexidad geodésica o simetrías fuertes), el mapa DN hiperbólico no es suficiente para recuperar la métrica de un espaciotiempo globalmente hiperbólico en un cilindro infinito.
2. Invisibilidad y "Cloaking": Los resultados tienen paralelos directos con el "cloaking" (ocultamiento) en óptica y acústica. Muestran que en relatividad general, existen regiones del espaciotiempo que son fundamentalmente invisibles para observadores situados en una frontera temporal dada, debido a la estructura causal.
3. Limitaciones de los Métodos Inversos: Sugiere que para obtener resultados de unicidad en problemas inversos lorentzianos, es necesario imponer restricciones geométricas adicionales más allá de la global hiperbolicidad, o restringir el dominio de observación de manera más estricta.
4. Rigidez vs. Flexibilidad: Mientras que en el problema de Calderón Riemanniano la rigidez es común bajo ciertas condiciones, este trabajo resalta la flexibilidad inherente a la estructura causal de las ecuaciones de onda en relatividad, permitiendo la construcción de métricas no isométricas con datos de frontera idénticos.

En resumen, Oksanen y Särkkänen establecen que la información contenida en el mapa Dirichlet-a-Neumann hiperbólico es insuficiente para determinar la geometría global del espaciotiempo si existen regiones causalmente desconectadas de la frontera, desafiando la noción de que la medición de ondas en la frontera siempre revela la estructura interna del universo.