The Nonlocal-to-Local Limit for the Inviscid Leray-α Equations

Resumen Técnico: El Límite No Local-a-Local para las Ecuaciones de Leray-$\alpha$ Inviscidas

Planteamiento del Problema
Este artículo investiga las ecuaciones de Leray-$\alpha$ de tipo inviscidas, una regularización no local de las ecuaciones de Euler incomprimibles. El sistema se define en un dominio $\Omega \subseteq \mathbb{R}^d$ ($d=2,3$) con un parámetro de escala de longitud $\alpha > 0$. Las ecuaciones relacionan la velocidad filtrada $u_\alpha$ con la velocidad física $v_\alpha$ mediante la relación del operador de Helmholtz $v_\alpha = u_\alpha - \alpha^2 \Delta u_\alpha$ (o más generalmente $u_\alpha = K_\alpha * v_\alpha$), mientras que la ecuación de cantidad de movimiento es $\partial_t v_\alpha + (u_\alpha \cdot \nabla)v_\alpha + \nabla p_\alpha = 0$.

El objetivo principal es establecer la convergencia de las soluciones de las ecuaciones de Ler-$\alpha$ hacia las soluciones de las ecuaciones de Euler cuando el parámetro de regularización $\alpha \to 0$. Los autores abordan dos regímenes distintos:

1. Soluciones Fuertes: Convergencia en espacios de Sobolev de alta regularidad ($H^s$ con $s > d/2 + 1$) en todo el espacio $\mathbb{R}^d$.
2. Soluciones Débiles: Convergencia en $L^2$ en dominios acotados, asumiendo datos iniciales en $L^2$ y una propiedad de escalamiento local específica relacionada con la teoría de la turbulencia, sin asumir una regularidad superior.

Metodología

Parte 1: Soluciones Fuertes y Kernels Generales
Los autores adaptan las técnicas del trabajo de Masmoudi sobre el límite de Navier-Stokes inviscidamente y del trabajo de Linshiz y Titi sobre el modelo Euler-$\alpha$. Una distinción metodológica clave es que la prueba para el modelo Leray-$\alpha$ se lleva a cabo sin utilizar la estructura de la vorticidad del sistema, a diferencia de las pruebas de Euler-$\alpha$ que dependen fuertemente de la ecuación de la vorticidad.

La estrategia de la prueba implica una descomposición en tres partes para estimar la diferencia entre la solución de Leray-$\alpha$ $v_\alpha$ y la solución de Euler $v$:

1. Regularización de los Datos Iniciales: Los datos iniciales $v_0$ y $v_\alpha^0$ se suavizan mediante un corte en el espacio de Fourier (parámetro $\delta$) para crear $v_0^\delta$ y $v_\alpha^{0,\delta}$.
2. Desigualdad Triangular: El error $\|v_\alpha - v\|$ se divide en tres términos:
   • $\|v_\alpha - v_\alpha^\delta\|$: La diferencia entre la solución de Leray-$\alpha$ con los datos originales y la solución de Leray-$\alpha$ con los datos suavizados.
   • $\|v_\alpha^\delta - v^\delta\|$: La diferencia entre la solución de Leray-$\alpha$ suavizada y la solución de Euler suavizada.
   • $\|v^\delta - v\|$: La diferencia entre la solución de Euler suavizada y la solución de Euler original.
3. Generalización del Kernel: Los autores mantienen un kernel general $K_\alpha$ durante toda la derivación, especificando únicamente las propiedades requeridas para la convergencia (acotación en $H^l$ y convergencia a la identidad). El kernel de Helmholtz específico solo se aplica en el paso final para derivar tasas de convergencia explícitas.

Parte 2: Soluciones Débiles y Escalamiento Local
Para el régimen de soluciones débiles, los autores asumen datos iniciales en $L^2$ e imponen una propiedad de escalamiento local (Ecuación 12) lejos de la frontera. Esta condición acota la función de estructura de segundo orden:
$$\sup_{\alpha>0} \int_0^T \int_K |v_\alpha(x+y, t) - v_\alpha(x, t)|^2 dx dt \leq E_K |y|^{2\gamma}$$
para $|y| \geq \eta(\alpha)$. Esta suposición está motivada por la teoría de la turbulencia de Kolmogorov de 1941 y el rango inercial, pero crucialmente, no implica una regularidad clásica.

La prueba de convergencia sigue el enfoque de [19] y [20] para el límite de viscosidad evanescente. Utiliza una técnica de mollificación con una función de prueba $j(z)$ para descomponer el término no lineal $(u_\alpha \otimes v_\alpha)$. La prueba demuestra que la diferencia entre los términos no lineales de las ecuaciones de Leray-$\alpha$ y de Euler se anula mediante la división del error en tres componentes (A, B, C) que involucran campos suavizados y utilizando la convergencia débil de $v_\alpha$ a $v_\infty$ y la convergencia fuerte de los campos suavizados.

Contribuciones Clave y Resultados

1. Convergencia de Soluciones Fuertes (Teorema 1):

   • Los autores prueban que para datos iniciales en $H^s(\mathbb{R}^d)$ ($s > d/2 + 1$), las soluciones fuertes de las ecuaciones de Leray-$\alpha$ convergen a la solución fuerte de las ecuaciones de Euler en $L^\infty(0, T; H^s)$ cuando $\alpha \to 0$.
   • Tasas Explícitas: Derivan tasas de convergencia para normas inferiores $H^{s'}$ ($0 \leq s' \leq s-1$). La tasa depende del error de los datos iniciales y de un término proporcional a $\alpha^\iota t$, donde $\iota$ depende de la brecha entre $s$ y $s'$.
   • Kernels Generales (Corolario 1): Los resultados se extienden a una amplia clase de kernels de regularización $K_\alpha$, siempre que satisfagan propiedades específicas de acotación y aproximación.

2. Convergencia de Soluciones Débiles (Teorema 2):

   • En un dominio acotado, si una secuencia de soluciones débiles satisface la propiedad de escalamiento local (12) y converge débilmente en $L^2$, el límite es una solución débil de las ecuaciones de Euler.
   • La solución límite $v_\infty$ hereda la propiedad de escalamiento.
   • Este resultado acomoda soluciones débiles "salvajes" que pueden exhibir una disipación de energía anómala (consistente con la Ley Cero de Kolmogorov), distinguiéndolas de las soluciones fuertes que conservan la energía.

3. Distinción Metodológica:

   • El artículo señala explícicamente que la prueba para Leray-$\alpha$ no depende de la formulación de la vorticidad, lo cual es una desviación significativa de la literatura sobre los modelos de Euler-$\alpha$. Esto permite la investigación de la convergencia para una clase más general de kernels.

Significado y Reivindicaciones

Los autores posicionan este trabajo como una respuesta a preguntas fundamentales sobre el modelo de Leray-$\alpha$ inviscidamente, el cual ha recibido comparativamente poca atención en la literatura en comparación con el modelo Euler-$\alpha$ o los modelos de Leray-$\alpha$ viscosos.

• Límite No Local-a-Local: El artículo establece el vínculo matemático riguroso entre la regularización no local de Leray-$\alpha$ y las ecuaciones de Euler locales, confirmando la validez del modelo como un esquema de regularización.
• Comparación con Otros Límites: Los autores señalan que las tasas de convergencia respecto al orden de $\alpha$ son comparables a las encontradas en el límite de Navier-Stokes sin viscosidad (Masmoudi [40]) y el límite de Euler-$\alpha$ (Linshiz y Titi [34]).
• Conexión con la Turbulencia: Al utilizar la propiedad de escalamiento local en el análisis de soluciones débiles, el artículo conecta la convergencia matemática con las teorías físicas de la turbulencia (funciones de estructura de Kolmogorov), permitiendo la convergencia de soluciones que pueden no ser suaves.
• Condiciones de Frontera: El trabajo clarifica el manejo de las condiciones de frontera, señalando que la suposición de escalamiento se aplica lejos de la frontera para evitar complicaciones con las capas límite, una dificultad conocida en los límites sin viscosidad.

El artículo concluye que las ecuaciones de Leray-$\alpha$ de tipo inviscidamente proporcionan una regularización no local robusta de las ecuaciones de Euler, con propiedades de convergencia que se mantienen tanto para regímenes suaves como turbulentos (débiles) bajo las suposiciones apropiadas.