Progresos en el problema de Navier-Stokes

Desde la década de 1930, los matemáticos han atacado el problema desde muchos ángulos, desde estimaciones de energía y geometría hasta probabilidad y análisis asistido por computadora. La cuestión de la existencia y suavidad en 3D sigue completamente abierta.

Pero esto es lo que la gente pasa por alto: hemos aprendido muchísimo de noventa años de ataques fallidos, y el panorama colectivo es mucho más rico de lo que sugiere una simple etiqueta de "sin resolver". Se eliminan estrategias enteras. Subcasos cerrados. Lo sabemos, con avances sustanciales: algunos subcasos se resuelven, se comprenden varios criterios condicionales y las principales barreras son mucho más claras. Lo que sigue es un mapa de ese progreso.

El problema de regularidad de Navier-Stokes exige una existencia global y soluciones suaves para el sistema 3D incompresible con datos suaves y que decaen rápidamente. Se ha resistido a su resolución desde su formulación moderna. Las principales líneas de ataque incluyen la teoría de la solución débil de Leray-Hopf, la regularidad parcial mediante la teoría de la medida geométrica, la regularidad condicional mediante criterios de continuación, los métodos probabilísticos y estocásticos y la integración convexa para la no unicidad.

Ningún enfoque ha resuelto el problema por completo. Sin embargo, juntos han aclarado las barreras críticas: el escalamiento supercrítico, la brecha entre las soluciones de clase energética y las suaves, y la inquietante posibilidad de que la unicidad misma pueda fallar en las clases de soluciones débiles.

Cinco resultados que remodelaron el campo:

• 1934, Leray: demostró que existen soluciones débiles globales en el tiempo para cualquier dato inicial razonable. Algo persiste para siempre. ¿Pero se mantiene suave? Ésa es la pregunta que Leray no pudo responder, y después de noventa años, nadie más puede hacerlo.
• 1982, Caffarelli, Kohn, Nirenberg: El conjunto de singularidades posibles es extremadamente pequeño: en la geometría parabólica natural de estas ecuaciones, tiene un tamaño unidimensional cero. Extremadamente pequeño. Si se produce una explosión, será más difícil de imaginar.
• 1984, Beale, Kato, Majda: Gran resultado. Una solución suave solo puede descomponerse si la vorticidad explota, lo que le dio a todo el campo un objetivo preciso: controlar la norma de vorticidad relevante con suficiente fuerza, y una solución suave no puede descomponerse en ese momento.
• 2016, Tao: Explosión construida para un Navier-Stokes promediado que comparte la misma energía y propiedades de escala que el objeto real, lo que significa que una prueba de la ecuación real tiene que utilizar una estructura más fina que las estimaciones de energía y escalar solo. Una barrera. No es una solución.
• 2022, Albritton, Brué, Colombo: Las soluciones débiles de Leray-Hopf no son únicas cuando se permite una fuerza externa. Malas noticias: la clase de solución más débil no es tan mansa como esperábamos, y esto obliga a repensar lo que significa "solución" en este nivel.

• 1934, Leray: Existencia global de soluciones débiles en \(L^2\) para datos libres de divergencia \(u_0 \in L^2(\mathbb{R}^3)\), que satisfacen la desigualdad energética (J Math Pures Appl).
• 1982, Caffarelli–Kohn–Nirenberg (CKN): Regularidad parcial; \(\mathcal{P}^1(\mathrm{sing}\, u)=0\), lo que significa que la medida parabólica unidimensional de Hausdorff del conjunto singular desaparece. Sigue siendo el resultado general más sólido que tenemos (Comm Pure Appl Math).
• 1984, Beale–Kato–Majda (BKM): El criterio de continuación que reformó el campo: una solución suave en \([0,T)\) se extiende más allá de \(T\) si y sólo si \(\int_0^T \|\omega(\cdot,t)\|_{L^\infty}\,dt \infty\), reduciendo la regularidad al control de la vorticidad. Originalmente para Euler; adaptado a Navier-Stokes (Comm Math Phys).
• 2016, Tao: blow-up en tiempo finito para una ecuación de Navier-Stokes promediada que obedece a la misma energía y propiedades de escala que el sistema verdadero, lo que significa que cualquier prueba de regularidad debe explotar una estructura más fina (J Amer Math Soc).
• 2022, Albritton–Brué–Colombo: No unicidad de las soluciones de Leray-Hopf para Navier-Stokes 3D forzado, construidas a través de soluciones autosemejantes inestables (Ann of Math).

Esta página es un mapa, no el territorio. Para más detalles:

Para un tratamiento detallado de direcciones de investigación específicas:

• Subproblemas: casos resueltos y parcialmente resueltos, incluida la regularidad global 2D (Ladyzhenskaya 1959), ejesimétrico sin remolino, resultados de espacio crítico (\(L^3\), \(\dot{H}^{1/2}\), \(BMO^{-1}\)), y criterios de regularidad condicional más allá de BKM.
• Enfoques: las principales estrategias de prueba bajo investigación activa, incluidos métodos de energía y enstrofia, descomposición de perfiles, teoría de soluciones suaves, Navier-Stokes estocástico, programas de integración convexa y límites asistidos por computación.

Última revisión: marzo de 2026. Esta página es un directorio vivo. A medida que aparezcan nuevos resultados y se publiquen artículos más profundos, se actualizará.

Última revisión: marzo de 2026. Esta página sirve como centro de navegación. Para correcciones o sugerencias, consulte el repositorio del sitio.