Liouville Theorems for Stationary Navier-Stokes Equations via the Radial Velocity Component

Resumen Técnico: Teoremas de Liouville para las Ecuaciones de Navier-Stokes Estacionarias a través de la Componente Radial de la Velocidad

Enunciado del Problema
El artículo aborda el problema de Liouville para las ecuaciones de Navier-Stokes estacionarias en $\mathbb{R}^3$:
$$\begin{cases} -\Delta u + (u \cdot \nabla)u + \nabla \pi = 0, \\ \nabla \cdot u = 0, \end{cases}$$
donde $u$ es el campo de velocidad y $\pi$ es la presión. La pregunta central, conocida como la Conjetura 1.1 (propuesta por Galdi y Seregin), indaga si cualquier solución $u \in \dot{H}^1(\mathbb{R}^3)$ que decae a cero en el infinito debe ser idénticamente cero. Mientras que el caso bidimensional está resuelto (Gilbarg-Weinberger) y el caso cuatridimensional está zanjado (Galdi), el caso tridimensional sigue siendo un problema abierto significativo.

Los resultados existentes suelen depender de condiciones de integrabilidad isotrópicas globales (por ejemplo, $u \in L^{9/2}(\mathbb{R}^3)$) o condiciones anisotrópicas que involucran normas mixtas de componentes cartesianas. El autor señala que, aunque $u \in \dot{H}^1(\mathbb{R}^3)$ implica $u \in L^6(\mathbb{R}^3)$ mediante el teorema de inmersión de Sobolev, este decaimiento es insuficiente por sí solo para probar la trivialidad.

Metodología
El artículo emplea una técnica de función de corte combinada con estimaciones de energía e desigualdades de Hölder en espacios de Lebesgue estándar y de exponente variable.

1. Función de corte e identidad de energía: Las demostraciones utilizan una función de corte radial $\psi_R$ para localizar la identidad de energía. Al probar las ecuaciones con $\psi_R u$ e integrar por partes, el autor deriva una desigualdad que acota la energía de Dirichlet local $\int_{B(R/2)} |\nabla u|^2$ mediante términos de frontera que involucran la presión y la velocidad en el anillo $C(R) = \{x : R/2 < |x| < R\}$.
2. Descomposición radial: Un cambio metodológico clave es la descomposición del término no lineal y del término de presión basándose en la componente radial de la velocidad, $u_\rho$. El autor explota el hecho de que el gradiente de la función de corte radial, $\nabla \psi_R$, es puramente radial. Esto permite reescribir los términos integrales que involucran $\nabla \psi_R \cdot u$ como $\partial_\rho \psi_R u_\rho$, aislando la componente radial de la velocidad.
3. Espacios de exponente variable: Para el segundo resultado principal, el autor utiliza el marco de los espacios de Lebesgue con exponentes variables, $L^{p(\cdot)}(\mathbb{R}^3)$. Esto permite un tratamiento unificado de condiciones de integrabilidad que varían espacialmente, específicamente transitando desde una condición más fuerte cerca del origen hasta una condición crítica en el infinito.
4. Control de la presión: La presión $\pi$ se controla mediante la representación de la transformada de Riesz $\pi = \sum R_i R_j (u_i u_j)$, aprovechando la acotación de las transformadas de Riesz en los espacios $L^r$ para relacionar $\|\pi\|_{L^3}$ con $\|u\|_{L^6}^2$.

Contribuciones y Resultados Clave

Teorema 1.1 (Condición de Integrabilidad Radial):
El autor demuestra que si $u \in \dot{H}^1(\mathbb{R}^3)$ es una solución y su componente radial $u_\rho$ satisface $u_\rho \in L^p(\mathbb{R}^3)$ para $3/2 < p \le 3$, entonces $u \equiv 0$.

• Significado: Este resultado mejora las condiciones isotrópicas anteriores (como $L^{9/2}$) y las condiciones anisotrópicas cartesianas. Demuestra que la trivialidad puede deducirse imponiendo restricciones de integrabilidad únicamente sobre la componente radial de la velocidad, sin ninguna restricción sobre las componentes tangenciales.
• Mecanismo: La demostración se basa en una distribución específica de la no linealidad cúbica en la estimación de energía. Al aplicar la desigualdad de Hölder con exponentes $p_1=6$ (para la velocidad completa $u$, justificada por la inmersión de Sobolev) y $p_2=p$ (para la componente radial $u_\rho$), el autor equilibra los términos para permitir que $p$ sea tan bajo como $3/2$.

Teorema 1.2 (Condición de Exponente Variable):
El autor establece un resultado de unicidad más refinado donde la condición de integrabilidad sobre la componente radial se permite variar. Específicamente, si $u_\rho \in L^{3+\eta(\cdot)}(\mathbb{R}^3)$, donde el exponente $\eta(x)$ se define de tal manera que es igual a 3 para $|x| < R_0$ (implicando $u_\rho \in L^6$ localmente) y decae como $3R_0/|x|$ para $|x| \ge R_0$ (acercándose al exponente crítico 3 en el infinito), entonces $u \equiv 0$.

• Significado: Este teorema muestra que la condición crítica $L^3$ para la componente radial solo necesita satisfacerse asintóticamente. Una integrabilidad más fuerte (hasta $L^6$) es requerida solo en un conjunto compacto fijo, mientras que la condición se relaja hasta el umbral crítico en el infinito. Esto resalta la "rigidez" del sistema impulsada por propiedades localizadas y radiales en lugar de condiciones globales uniformes.

Teorema 3.1 (Resultado General de Exponente Variable):
Este es el motor técnico detrás del Teorema 1.2. Demuestra que para cualquier exponente variable continuo y radialmente decreciente $p(x)$ que sea igual a 6 cerca del origen y se aproxime a 3 en el infinito con una tasa de decaimiento específica ($|p(x)-3| \le C/|x|$), la condición $u_\rho \in L^{p(\cdot)}(\mathbb{R}^3)$ implica $u \equiv 0$.

Significado y Afirmaciones
El artículo afirma ofrecer una "perspectiva diferente" sobre el problema de Liouville al desplazar el enfoque desde condiciones isotrópicas o anisotrópicas cartesianas hacia la anisotropía radial.

• Suposiciones más débiles: Los resultados imponen condiciones estrictamente más débiles que los resultados isotrópicos conocidos (por ejemplo, $L^{9/2}$) y distintas de los resultados anisotrópicos existentes que dependen de normas mixtas de componentes cartesianas.
• Localización: El análisis revela que la rigidez del sistema de Navier-Stokes estacionario puede ser impulsada por propiedades de integrabilidad localizadas. El Teorema 1.2 demuestra específicamente que el umbral crítico de integrabilidad puede aproximarse asintóticamente, permitiendo una transición desde un comportamiento local fuerte hasta un comportamiento crítico en el infinito.
• Novedad metodológica: El uso de espacios de Lebesgue de exponente variable proporciona un marco flexible para capturar estos comportamientos de integrabilidad que varían espacialmente, superando las limitaciones de los espacios de exponente fijo en este contexto.

El autor declara explícitamente que estos resultados no resuelven la Conjetura 1.1 completa (que no requiere suposiciones adicionales de integrabilidad más allá de $\dot{H}^1$ y el decaimiento), sino que proporcionan nuevas condiciones suficientes que son estructuralmente distintas y menos restrictivas sobre las componentes del campo de velocidad que las conocidas previamente.