Single exponential $H^1$-upper bounds for the primitive equations

Resumen Técnico: Cotas Superiores H1-Exponenciales Simples para las Ecuaciones Primitivas

Planteamiento del Problema
El artículo investiga las ecuaciones primitivas tridimensionales que gobiernan los flujos geofísicos de gran escala (atmósfera y océano) dentro de un dominio de caja periódica horizontal $\Omega = G \times (-h, 0)$. El sistema incluye viscosidad completa y está sujeto a condiciones de contorno tanto de Neumann homogéneo como de Dirichlet en las fronteras superior e inferior, con condiciones periódicas en las fronteras laterales. El objetivo principal es establecer cotas a priori para soluciones fuertes $v$ en el espacio $L^\infty(0, \infty; H^1(\Omega)) \cap L^2(0, \infty; \dot{H}^2(\Omega))$.

Específicamente, este trabajo aborda la tasa de crecimiento de estas cotas con respecto a los datos iniciales $a$ y al tiempo $t$. La literatura existente, notablemente los resultados de existencia global por Cao y Titi [3], proporciona cotas que crecen doble exponencialmente con respecto a los datos iniciales y al tiempo. Trabajos posteriores [9, 10, 7] mejoraron la dependencia temporal o abordaron condiciones de contorno específicas, pero generalmente mantuvieron una dependencia, al menos, doble exponencial respecto a los datos iniciales o al tiempo, apoyándose frecuentemente en desigualdades de Sobolev logarítmicas o supuestos de pequeñez específicos.

Metodología
El autor emplea una serie de estimaciones de energía e desigualdades de interpolación para derivar las cotas, distinguiendo el enfoque según las condiciones de contorno:

1. Condiciones de Contorno de Neumann (Proposición 1):

   • La demostración utiliza estimaciones $L^q$ para la velocidad horizontal $v$ (específicamente $q=4, 8$) y estimaciones $L^r$ para la derivada vertical $v_z$ (específicamente $r=2, 4$).
   • El método se basa en las propiedades de cancelación del término de convección y en la desigualdad de Calderón–Zygmund para manejar el término de presión.
   • Una dificultad clave en este entorno es la ausencia de la desigualdad de Poincaré para $v$ (ya que la media de $v$ no es necesariamente cero). En consecuencia, la derivación inicial produce una cota dependiente del tiempo ($e^{C\sqrt{t}}$).

2. Condiciones de Contorno de Dirichlet (Teorema 1):

   • Para lograr una cota independiente del tiempo, el autor cambia la estrategia de estimación hacia estimaciones $L^6$ para $v$ y estimaciones $L^3$ para $v_z$.
   • Un desafío técnico crítico en el caso de Dirichlet es el acoplamiento entre el término de presión $\pi$ y los valores de contorno. El gradiente de presión $\nabla_H \pi$ se descompone en $\nabla_H \pi_1$ (dependiente de la no linealidad del cuerpo) y $\nabla_H \pi_2$ (dependiente de la traza de frontera de $v_z$).
   • La prueba resuelve la interdependencia entre la estimación $L^q$ para $v$ y la estimación $L^r$ para $v_z$ mediante la elección cuidadosa del par $(q, r) = (6, 3)$. Esto permite que los términos de frontera que surgen en una estimación sean controlados por los términos de disipación en la otra.

3. Refinamiento para el Caso de Neumann (Teorema 1):

   • Para eliminar la dependencia temporal encontrada en la Proposición 1, el autor introduce la variable de fluctuación $\tilde{v} = v - \bar{v}$ (donde $\bar{v}$ es el promedio vertical).
   • Dado que $\tilde{v}$ satisface una desigualdad de tipo Poincaré ($\|\tilde{v}\|_{L^q} \leq C \|v_z\|_{L^q}$), el análisis se centra en estimaciones $L^6$ para $\tilde{v}$ y estimaciones $L^3$ para $v_z$.
   • Este enfoque maneja eficazmente los "términos de orden inferior" que anteriormente causaban el crecimiento temporal, aprovechando el hecho de que la media de la derivada vertical es cero.

Resultados Clave
El artículo establece el siguiente teorema principal para ambas condiciones de contorno de Neumann y Dirichlet:

Para datos iniciales $a \in H^1(\Omega)$ con $a_z \in L^3(\Omega)$ (y que satisfacen condiciones de compatibilidad), la solución fuerte $v$ satisface:
$$\|v(t)\|_{H^1(\Omega)}^2 + \int_0^t \|\nabla^2 v(s)\|_{L^2(\Omega)}^2 \, ds \leq B(a) e^{C\|a\|_{L^2(\Omega)}^2}$$
para todo $t \in [0, T]$, donde $B(a)$ es una función polinómica de las normas de los datos iniciales, y $C$ es una constante que depende únicamente del dominio $\Omega$.

Crucialmente, el factor exponencial depende únicamente del cuadrado de la norma $L^2$ de los datos iniciales, $\|a\|_{L^2(\Omega)}^2$, y es independiente del tiempo $t$.

Significado y Reivindicaciones
El artículo reivindica dos contribuciones primarias:

1. Reducción del Crecimiento Exponencial: La cota superior derivada es exponencial simple con respecto a los datos iniciales ($e^{C\|a\|_{L^2}^2}$), lo que contrasta fuertemente con las cotas doble exponenciales ($e^{e^{C\|a\|^2}}$) encontradas en la literatura previa (por ejemplo, [3, 9, 10, 7]). Esto representa una mejora significativa en la comprensión cuantitativa de la estabilidad de las ecuaciones primitivas.
2. Estimaciones Uniformes en el Tiempo para el Caso de Neumann: El artículo proporciona lo que afirma ser la primera cota superior $H^1$ uniforme en el tiempo para el caso de la condición de contorno de Neumann. En este entorno, la desigualdad de Poincaré estándar no está disponible para el campo de velocidad $v$, lo que hace que la derivación de cotas independientes del tiempo sea no trivial y previamente no alcanzada en la literatura.

El autor señala que, si bien el caso de Dirichlet permite el decaimiento exponencial conforme $t \to \infty$ si se utiliza la desigualdad de Poincaré, este comportamiento de decaimiento específico no es el foco principal del presente trabajo. Los resultados se presentan como estimaciones a priori para soluciones fuertes, asumiendo su existencia, la cual está respaldada por resultados previos de existencia local.