The Tricomi equation in the hyperbolic half plane under additive space-time Gaussian White Noise perturbation

Resumen Técnico de "La ecuación de Tricomi en el semiplano hiperbólico bajo una perturbación de ruido blanco gaussiano espacio-temporal"

Planteamiento del Problema
Este artículo investiga el problema de Cauchy para la ecuación de Tricomi perturbada por un ruido blanco gaussiano espacio-temporal aditivo. La ecuación de Tricomi, una ecuación en derivadas parciales de segundo orden de tipo mixto elíptico-hiperbólico, viene dada por $\partial_{tt}u = t\partial_{xx}u$. Es hiperbólica para $t > 0$, elíptica para $t < 0$, y degenerada en $t = 0$. El problema estocástico específico abordado es:
$$\begin{cases} \partial_{tt}U(t, x) = t\partial_{xx}U(t, x) + W(t, x), & t > 0, x \in \mathbb{R}; \\ U(0, x) = 0, \quad \partial_t U(0, x) = 0, & x \in \mathbb{R}, \end{cases}$$
donde $\{W(t, x)\}$ representa el ruido blanco gaussiano espacio-temporal. El objetivo principal es establecer la existencia y unicidad de una solución cuadrado-integrable y analizar sus propiedades probabilísticas y analíticas, centrándose específicamente en el comportamiento en el semiplano hiperbólico ($t > 0$).

Metodología
Los autores adoptan un enfoque de transformada de Fourier en lugar de depender de la solución fundamental explícita del operador de Tricomi, la cual es conocida pero compleja. La metodología procede de la siguiente manera:

1. Transformada de Fourier: Se transforma la variable espacial, convirtiendo la EDP estocástica en una familia de ecuaciones diferenciales ordinarias (EDO) parametrizadas por la frecuencia $\xi$. La parte homogénea de la ecuación transformada, $\partial_{tt}\hat{v} = -t\xi^2 \hat{v}$, se reduce mediante el cambio de variable $\eta = |\xi|^{2/3}t$ a la ecuación de Airy $\partial_{\eta\eta}v = -\eta v$.
2. Representación mediante funciones de Airy: La solución de la EDO transformada se construye utilizando las funciones de Airy, $Ai$y$Bi$, que son linealmente independientes. Los autores derivan una representación integral para la solución involucrando un núcleo $C(t, s, \rho)$ definido por estas funciones de Airy.
3. Aproximación del Ruido: El ruido blanco espacio-temporal se aproxima mediante un proceso suave de rango finito utilizando una expansión en serie que involucra funciones de Laguerre (en el tiempo) y funciones de Hermite (en el espacio) multiplicadas por variables gaussianas estándar independientes.
4. Análisis Asintótico: El núcleo del análisis consiste en un estudio cuidadoso del comportamiento asintótico de las integrales que contienen las funciones de Airy, particularmente para argumentos grandes (eje real negativo) y cerca de cero. Este análisis es crucial para establecer la convergencia de la serie solución y la regularidad de las trayectorias de las muestras.

Resultados Clave

• Existencia y Unicidad (Teorema 1.1): El artículo demuestra que el problema de Cauchy admite una solución de campo aleatorio débil única. Esta solución es un campo aleatorio gaussiano representado como una serie convergente en $L^2(\Omega, \mathcal{F}, P)$ y casi seguramente. La solución viene dada explícitamente en términos de integrales de las funciones de Airy y los coeficientes del ruido. Los autores establecen que el segundo momento de la solución es finito.
• Estacionariedad y Correlación (Corolario 1.2): Para cualquier tiempo fijo $t > 0$, se demuestra que el proceso $x \mapsto U(t, x)$ es de segundo orden estacionario con media cero. La función de covarianza se deriva explícitamente. Crucialmente, los autores analizan el comportamiento de la función de correlación $r_t(h)$ para desfases espaciales pequeños $h$. Demuestran que $r_t(h) = 1 - \alpha_t |h| + o(|h|)$ cuando $|h| \to 0$. Este comportamiento lineal cerca del origen implica que el proceso admite una modificación continua.
• Regularidad Temporal (Corolario 1.3): Para cualquier punto espacial fijo $x$, el proceso $t \mapsto U(t, x)$ admite una modificación continua. Utilizando la naturaleza gaussiana de la solución y el teorema de continuidad de Kolmogorov, los autores establecen que las trayectorias temporales poseen una regularidad de Hölder de cualquier orden menor a $1/2$.

Significancia y Reivindicaciones
El artículo contribuye a la literatura sobre ecuaciones diferenciales parciales estocásticas (EDPEs) con operadores no estrictamente hiperbólicos, un campo menos explorado que el de las ecuaciones de onda estándar.

• Comparación con la Ecuación de Onda: Un hallazgo significativo es que las propiedades de la solución a esta ecuación de Tricomi estocástica (específicamente la existencia, unicidad y continuidad de la trayectoria) son equivalentes a las derivadas para el correspondiente operador de onda estocástico. Esto contrasta con hallazgos recientes en [11], donde la introducción de términos de orden inferior en operadores de tipo Tricomi condujo a la pérdida de soluciones de campo aleatorio bien definidas.
• Robustez: Los resultados sugieren que la degeneración del operador de Tricomi en $t=0$ no impide la existencia de una solución bien comportada bajo una perturbación de ruido blanco aditivo, siempre que el análisis se realice mediante el método Fourier-Airy.
• Contribución Técnica: El artículo proporciona una derivación rigurosa de la representación de la solución y estimaciones detalladas sobre el comportamiento asintótico de las integrales que involucran funciones de Airy, las cuales son necesarias para probar la continuidad de las trayectorias de las muestras tanto en el espacio como en el tiempo.

Los autores no proponen nuevas aplicaciones o direcciones experimentales futuras, sino que se centran estrictamente en la bien posedura matemática y las propiedades de regularidad de la ecuación de Tricomi estocástica.