The sine Gordon equation in light-cone coordinates on the half lines revisited: a Riemann--Hilbert approach

Resumen Técnico: Revisitación de la ecuación de sine-Gordon en coordenadas de luz sobre semirrectas

Planteamiento del problema
Este trabajo investiga los problemas de Valor Inicial-Valor de Frontera (IBV, por sus siglas en inglés) para la ecuación de sine-Gordon (sG) en coordenadas de luz, $u_{xt} = \sin u$, planteados en dos dominios de semirrecta distintos: el "problema de la derecha" ($x \ge 0, t \ge 0$) y el "problema de la izquierda" ($x \le 0, t \ge 0$). El estudio asume condiciones de decaimiento adecuadas cuando $|x| \to \infty$ y utiliza espacios funcionales específicos, incluyendo $H^{2,2}$ para los datos iniciales y $\tilde{H}^{1,2}$ para la regularidad de la solución. El objetivo principal es determinar la buena definición (well-posedness) de estos problemas, identificando el conjunto mínimo de datos de frontera e iniciales requeridos para determinar unívocamente la solución en cada dominio.

Metodología
El análisis emplea el marco del problema de Riemann–Hilbert (RH), basándose en el Método de la Transformada Unificada (UTM) introducido por Fokas. La metodología procede a través de las siguientes etapas:

1. Par de Lax y autofunciones: La ecuación de sG se trata como la condición de compatibilidad de un par de Lax. El autor construye soluciones de Jost (autofunciones) $\Phi_j$ y $\Phi_{0j}$ asociadas al par de Lax cerca de los parámetros espectrales $k = \infty$ y $k = 0$. Estas autofunciones se definen mediante ecuaciones integrales de tipo Volterra con contornos de integración adaptados a la geometría específica de la semirrecta (por ejemplo, integrando desde $+\infty$ para el problema de la derecha y desde $-\infty$ para el problema de la izquierda).
2. Funciones espectrales: Se establecen mapeos espectrales directos para relacionar los datos iniciales $u(x,0)$ y los datos de frontera $u(0,t)$ con las funciones espectrales ($a(k), b(k), A(k), B(k)$ y sus contrapartes tildadas). Estas funciones satisfacen relaciones de determinante y propiedades de simetría derivadas de la naturaleza de traza nula de los coeficientes de Lax.
3. Relaciones globales y compatibilidad: El artículo deriva "Relaciones Globales" (relaciones asintóticas entre funciones espectrales) que reflejan la compatibilidad entre los datos iniciales y de frontera. Para el problema de la derecha, se muestra que estas relaciones se satisfacen automáticamente por las propiedades de las funciones espectrales. Para el problema de la izquierda, estas imponen restricciones específicas.
4. Mapeos espectrales inversos: Los mapeos inversos se formulan como problemas de RH. Las matrices de salto para estos problemas se construyen a partir de las funciones espectrales. El documento distingue entre problemas de RH "maestros" (parametrizados tanto por $x$ como por $t$) y problemas de RH auxiliares (parametrizados solo por $x$ o por $t$).
5. Reconstrucción y regularidad: Las soluciones de la ecuación de sG se recuperan a partir de la solución del problema de RH maestro mediante el análisis del comportamiento asintótico de la solución de RH cuando $k \to \infty$ y $k \to 0$. La diferenciabilidad de la solución de RH con respecto a $x$ y $t$ se establece rigurosamente utilizando la teoría de RH de $L^2$ y ecuaciones integrales singulares, asegurando que la función reconstruida satisfaga la ecuación de sG y las clases de regularidad requeridas.

Contribuciones clave y resultados

• Condiciones de buena definición distintas: El hallazgo central es una diferencia significativa en los requisitos de buena definición para los dos problemas de semirrecta:

  • Problema de la derecha ($x \ge 0$): La solución está determinada unívocamente únicamente por los datos iniciales ($u(x,0)$ para $x \ge 0$). El valor de frontera $u(0,t)$ no es una entrada independiente, sino que está determinado implícitamente por la evolución del perfil inicial. El problema de RH maestro para este caso depende exclusivamente de las funciones espectrales asociadas a los datos iniciales.
  • Problema de la izquierda ($x \le 0$): La solución no está determinada unívocamente solo por los datos iniciales. Además de $u(x,0)$ para $x \le 0$, el valor de frontera $u(0,t)$ debe prescribirse como una entrada independiente para obtener un problema bien definido. El problema de RH maestro para este caso requiere funciones espectrales derivadas tanto de los datos iniciales como de los de frontera.

• Teoremas de existencia y unicidad:

  • Para el problema de la derecha, el artículo demuestra que para datos iniciales $u_0 \in H^{2,2}((0, \infty)) + 2\pi k$, existe una solución única $u(x,t) \in C^1([0,T], \tilde{H}^{1,2}((0, \infty)))$ construida vía el problema de RH.
  • Para el problema de la izquierda, dados los datos iniciales $u_0 \in H^{2,2}((-\infty, 0)) + 2\pi k$ y los datos de frontera $v_0 \in H^1(0,T)$ que satisfacen la condición de compatibilidad $u_0(0) = v_0(0)$, existe una solución única $u(x,t) \in C^1([0,T], \tilde{H}^{1,2}((-\infty, 0)))$.

• Comportamiento asintótico: El artículo analiza el comportamiento de las soluciones reconstruidas cuando $x \to +\infty$ y $x \to -\infty$. Al extender los datos iniciales a toda la recta o al utilizar propiedades de decaimiento específicas de los coeficientes de reflexión, se demuestra que las soluciones satisfacen las condiciones de decaimiento requeridas en los respectivos semiplanos.

Significancia
El artículo aborda cuestiones abiertas sobre la buena definición de la ecuación de sine-Gordon en semirrectas, particularmente en lo que respecta a la necesidad de datos de frontera. Mientras que la literatura previa (por ejemplo, Fokas, Leon, Sakhnovich) ha tratado los problemas IBV para sG, este trabajo clarifica una asimetría fundamental entre las dos configuraciones de semirrecta. Demuestra que el "problema de la derecha" se comporta más como un problema de Cauchy en una semirrecta donde la frontera está determinada por la dinámica interna, mientras que el "problema de la izquierda" requiere un control de frontera explícito. Esta distinción se deriva rigurosamente a través del análisis espectral del par de Lax asociado y la construcción de factorizaciones de Riemann–Hilbert específicas. Los resultados proporcionan una caracterización completa de los datos requeridos para la buena definición en ambos entornos de coordenadas de luz.