A sharp stability criterion for Euler equations via sparseness

Enunciado del Problema
El artículo aborda problemas abiertos fundamentales relativos a las soluciones débiles de las ecuaciones de Euler incompresibles, específicamente concernientes a la conservación de la energía cinética y la unicidad de las soluciones. Una cuestión central en el análisis de las soluciones aproximadas $\{u_\varepsilon\}$ es el fenómeno de "concentración-cancelación", donde la energía puede concentrarse en conjuntos incluso si las vorticidades están uniformemente acotadas en ciertos espacios funcionales. Trabajos anteriores de DiPerna–Majda, Lopes Filho–Nussenzveig Lopes y Tadmor establecieron que la estabilidad en $H^{-1}$ (precompacidad de las vorticidades en $H^{-1}_{loc}$) es una condición suficiente para garantizar la convergencia fuerte en $L^2$ y la ausencia de concentración.

Sin embargo, los criterios existentes para la estabilidad en $H^{-1}$, particularmente aquellos que involucran espacios de Morrey ($M_{p,\alpha}$) y espacios de Riesz-Morrey-Tadmor (RMT) ($R_{p,2}\log^\alpha$), dejan "brechas" en el espacio de parámetros. Por ejemplo, en dos dimensiones, se sabe que $M_{1,1/2}$ no se incrusta compactamente en $H^{-1}$, pero el estado de $M_{1,\alpha}$ para $\alpha \in (1/2, 1]$ permanece como un "problema de brecha" abierto. De manera similar, el refinamiento de Tadmor utilizando espacios RMT requiere pesos logarítmicos para lograr compacidad, y no está claro si estas condiciones logarítmicas son óptimas o si pueden mejorarse. Los autores señalan que los espacios RMT estándar $R_{2n/(n+2), 2}$ no se incrustan en $H^{-1}$, lo que hace necesaria la introducción de pesos logarítmicos para recuperar la compacidad.

Metodología
Los autores introducen un nuevo marco basado en la esparcidad para reformular la estabilidad en $H^{-1}$. El cambio metodológico central implica reemplazar las familias estándar de cubos disjuntos (empaquetamientos) utilizadas en las definiciones de los espacios funcionales clásicos con familias dispersas de cubos.

1. Espacios Riesz-Morrey-Tadmor (RMT) Dispersos: Los autores definen versiones dispersas de los espacios RMT, denotadas $SR_{p,q}\log^\alpha$, modificando el supremo en la definición de la norma para que se ejecute sobre familias dispersas de cubos en lugar de empaquetamientos disjuntos. Establecen que estos espacios dispersos admiten caracterizaciones mediante operadores maximales, una propiedad que generalmente no comparten sus contrapartes clásicas.
2. Identificación con Espacios de Sobolev Negativos: Un resultado pivotal (Teorema 3) demuestra que, para parámetros específicos ($p = 2n/(n+2), q=2$), el espacio disperso $SR_{2n/(n+2), 2}$ es equivalente al espacio de Sobolev negativo $H^{-1}$. Esto contrasta marcadamente con el espacio clásico $R_{2n/(n+2), 2}$, que falla en incrustarse en $H^{-1}$.
3. Índices Dispersos: Los autores definen "índices dispersos" $s_N(X)$ para un espacio funcional $X$. Estos índices miden el grado de compacidad de la incrustación de $X$ en $H^{-1}$. Específicamente, se demuestra que $\lim_{N\to\infty} s_N(X) = 0$ es equivalente a la incrustación compacta $X_c \hookrightarrow H^{-1}_{loc}$.
4. Estabilidad Dispersa y Extrapolación: Utilizando estos índices, los autores definen estabilidad $\Psi$-dispersa, donde las vorticidades de las soluciones aproximadas están uniformemente acotadas en un espacio disperso $S_\Psi$ determinado por una función de decaimiento $\Psi$. Emplean técnicas de extrapolación (específicamente el método $\Sigma$ de Jawerth–Milman) para construir nuevos espacios funcionales, $V_\Psi$ y $T_\Psi$, cuyos índices dispersos exhiben tasas de decaimiento prescritas. Estos espacios se caracterizan como espacios de extrapolación relativos a pares clásicos de Besov y Sobolev.

Contribuciones y Resultados Clave

• Equivalencia de Conceptos de Estabilidad: El artículo demuestra que la estabilidad en $H^{-1}$ es equivalente a la estabilidad dispersa (Teorema 2). Esto proporciona una caracterización unificada de la ausencia de concentración en términos del decaimiento de los índices dispersos.
• Afianzamiento de Resultados Clásicos:
  • Regularidad de Morrey: Los autores construyen espacios $V_\Psi$ que contienen estrictamente a los espacios de Morrey límite $M_{n/2, \alpha}$ (para $\alpha > 1$) mientras mantienen la estabilidad en $H^{-1}$. Esto mejora los resultados de DiPerna–Majda al permitir una clase más amplia de vorticidades (Teorema 11).
  • Regularidad de Tadmor: De manera similar, se introducen nuevos espacios $T_\Psi$ que contienen estrictamente a los espacios RMT límite $R_{2n/(n+2), 2}\log^\alpha$ (para $\alpha > 1/2$), mejorando los resultados de Tadmor (Teorema 14).
  • El artículo construye explícitamente ejemplos que muestran que estas nuevas incrustaciones son estrictas, lo que significa que los nuevos espacios contienen funciones no presentes en los espacios límite clásicos.
• Conservación de Energía: Los autores aplican el marco de estabilidad dispersa al problema de la conservación de energía para soluciones físicamente realizables de las ecuaciones de Euler 2D en el toro. Demuestran que si las vorticidades de una realización física están uniformemente acotadas en un espacio $X$ con índices dispersos que decaen a cero (satisfaciendo una condición de admisibilidad), entonces la solución límite conserva energía (Teorema 6 y Corolario 2). Esto extiende resultados previos en $L^p$ a las nuevas escalas dispersas.
• Comparación de Escalas: El artículo analiza la relación entre los recién introducidos $V_\Psi$ (basados en normas $L^\infty$ de bloques dyádicos) y $T_\Psi$ (basados en normas $L^2$). Demuestra que, en general, ningún espacio contiene al otro, destacando la naturaleza distinta de estos refinamientos.

Significado
El artículo afirma proporcionar un "enfoque simplificado" a resultados de existencia previamente conocidos al mismo tiempo que los afina. Mediante la introducción de estructuras dispersas, los autores superan las limitaciones de los espacios RMT clásicos que requerían pesos logarítmicos para lograr compacidad en $H^{-1}$. La introducción de índices dispersos ofrece una herramienta cuantitativa para medir el "grado de compacidad" hacia $H^{-1}$, permitiendo la construcción de espacios funcionales con tasas de decaimiento prescritas.

Los autores enfatizan que sus métodos conectan la teoría de las ecuaciones de Euler con la teoría de espacios de extrapolación y la dominación dispersa en el análisis armónico. Si bien el artículo no afirma resolver definitivamente el "problema de brecha" para los espacios de Morrey $M_{1,\alpha}$ con $\alpha \in (1/2, 1]$, proporciona una escala refinada ($V_\Psi$) que mejora los casos límite conocidos y ofrece una nueva perspectiva sobre la regularidad requerida para la no concentración y la conservación de energía. El trabajo sugiere que el "defecto" en los espacios clásicos respecto a la estabilidad en $H^{-1}$ es un artefacto de la geometría de los cubos de prueba, el cual puede rectificarse adoptando familias dispersas.