El problema de Navier-Stokes: panorama de la pregunta 3D abierta

No, no está resuelto.

Esta página es el panorama general del problema. Para el estado actual en 2026 y el contexto de afirmaciones fallidas, consulta ¿está resuelto el problema de Navier-Stokes?. Para la formulación oficial de Clay, consulta existencia y suavidad de Navier-Stokes.

El problema de Navier-Stokes plantea una pregunta engañosamente simple: si haces que un fluido 3D comience a fluir suavemente, ¿se permanece suave para siempre? ¿O puede el movimiento volverse tan salvaje que las ecuaciones se descompongan y la suavidad se descomponga en un tiempo finito?

Nadie lo sabe.

Este es el problema de existencia y suavidad de Navier-Stokes, una de las cuestiones abiertas más profundas de todas las matemáticas, y ha resistido todos los intentos de demostrarlo desde que las ecuaciones tomaron forma en el siglo XIX. La gente ha reclamado soluciones. Ninguno sobrevivió. Para conocer el estado completo, consulte ¿Está resuelto?

El problema está abierto.

El problema de existencia y suavidad de Navier-Stokes pregunta si, para cada dato inicial suficientemente suave y libre de divergencia $u_0 \in C^\infty(\mathbb{R}^3)$ (con decaimiento adecuado) y $f \equiv 0$, el sistema incompresible de Navier-Stokes admite una solución $u \in C^\infty(\mathbb{R}^3 \times [0,\infty))$; alternativamente, si existen datos suaves $u_0$ (y posiblemente un forzamiento suave $f$) para los cuales se forman singularidades de tiempo finito.

Ambas direcciones están abiertas. Ninguna prueba establece una regularidad global; ninguna construcción produce una explosión en un tiempo finito a partir de datos suaves. El problema ha estado abierto desde el trabajo fundacional de Navier (1822) y Stokes (1845), y sigue siendo uno de los problemas abiertos centrales en el análisis y la física matemática.

Para conocer el estado actual, incluidas las afirmaciones publicadas y su destino, consulte ¿Está resuelto?

Que siga sin resolverse no significa que nadie lo haya tocado. Casi un siglo de trabajo matemático profundo ha cartografiado el terreno y ha mostrado exactamente dónde está la dificultad y por qué no cede con las herramientas que tenemos:

• Las soluciones débiles existen globalmente (Leray, 1934). Relaja la noción de "solución" para permitir un comportamiento más áspero y promediado, y las soluciones existen para todo tiempo. ¿Suaves? Nadie puede demostrarlo. Más sobre enfoques →
• 2D está resuelto. En dos dimensiones las soluciones suaves existen globalmente, pero tres dimensiones es una bestia totalmente distinta. Por qué 3D es más difícil →
• Las singularidades, si existen, son raras (CKN, 1982). Caffarelli, Kohn y Nirenberg demostraron que el conjunto de singularidades posibles tiene medida de Hausdorff parabólica unidimensional nula. Subproblemas y resultados parciales →
• Las soluciones suaves existen por un rato. Empieza con datos suaves y obtienes una solución suave única en algún intervalo de tiempo, pero lo desconocido es si ese intervalo siempre puede prolongarse hasta el infinito.
• La formulación precisa la fijó Charles Fefferman para el Clay Mathematics Institute. Lea el enunciado del Problema del Milenio →

Los siguientes resultados constituyen el progreso parcial principal:

• Leray (1934): Para $u_0 \in L^2(\mathbb{R}^3)$, existen soluciones débiles globales (hoy llamadas soluciones de Leray-Hopf) que satisfacen la desigualdad de energía. La unicidad y la regularidad de estas soluciones siguen abiertas. Enfoques →
• Regularidad global 2D: Ladyzhenskaya (1959) estableció existencia global y unicidad de soluciones suaves en $\mathbb{R}^2$. La clave es que la enstrofía está controlada en 2D. Por qué 3D es diferente →
• CKN (1982): Caffarelli, Kohn y Nirenberg demostraron que la medida de Hausdorff parabólica unidimensional del conjunto singular de cualquier solución débil adecuada es nula. Subproblemas →
• Existencia local: Para datos suficientemente regulares, existen soluciones suaves locales únicas; en espacios críticos como $\dot{H}^{1/2}$, se tiene buen planteamiento local en el marco de soluciones leves. La pregunta abierta es si estas soluciones pueden continuarse para todo tiempo.
• Formulación de Clay (2000): El enunciado de Fefferman especifica los espacios funcionales exactos, las condiciones de decaimiento y lo que cuenta como prueba o refutación válida. El problema del milenio →

Aquí está la dificultad central. El propio movimiento de un fluido puede impulsar la actividad a escalas cada vez más pequeñas más rápido de lo que pueden controlar las estimaciones actuales. En tres dimensiones, las matemáticas no nos dan suficiente control para descartar esto. Tampoco nos permite demostrar que esto suceda.

No se trata de inteligencia. No se trata de potencia informática. Las herramientas matemáticas conocidas son fundamentalmente insuficientes, y esa tensión entre concentración y disipación es exactamente la razón por la que resolver el problema requeriría matemáticas genuinamente nuevas.

La supercriticidad, la brecha de escala, por qué la turbulencia 3D es fundamentalmente diferente: para conocer la historia completa, consulte Por qué el problema de Navier-Stokes es tan difícil.

Las ecuaciones 3D de Navier-Stokes son supercríticas con respecto a la estimación de energía natural: la norma $L^2$ está controlada, pero la regularidad de escala crítica se encuentra en $\dot{H}^{1/2}$, que no se propaga solo por la desigualdad energética. El término no lineal $(u \cdot \nabla)u$ puede, en principio, transferir energía a escalas arbitrariamente finas más rápido de lo que el laplaciano la disipa.

Ésta es la obstrucción analítica esencial, y ninguna técnica existente cierra la brecha. Para obtener un tratamiento detallado, consulte Por qué es difícil.

En 2000, el Clay Mathematics Institute nombró la existencia y suavidad de Navier-Stokes como uno de los siete Problemas del Premio del Milenio y ofreció 1.000.000 de dólares por una prueba o refutación correcta. Veintiséis años después, el premio no ha sido reclamado.

Lea sobre el Problema del Milenio →

El Clay Mathematics Institute incluyó la existencia y suavidad de Navier-Stokes en su lista de Problemas del Premio del Milenio del año 2000, con un premio de 1.000.000 de dólares estadounidenses. El planteamiento del problema, escrito por C. Fefferman, especifica dos subproblemas (en $\mathbb{R}^3$ y en $\mathbb{T}^3$) y acepta una prueba de existencia global suave o una construcción de explosión en tiempo finito. Hasta 2026, no se ha aceptado ninguna solución.

La formulación precisa del Milenio →

Esta página es un mapa. El territorio es profundo. Elija un hilo:

• ¿Está resuelto? No. Aquí está el estado actual, las principales afirmaciones publicadas y las razones técnicas por las que fallaron bajo el escrutinio de expertos.
• El problema del Milenio Demandas. Precisos.
• Por qué es difícil Supercriticidad, turbulencia y la brecha de escala que impide que todos los enfoques conocidos se acerquen a una prueba.

Para tratamientos detallados de los temas presentados anteriormente:

• ¿Está resuelto? Estado del problema, afirmaciones publicadas y retractadas, estándares de verificación.
• El problema del Milenio Fefferman formulación, espacios funcionales y qué constituye una prueba o contraejemplo válido.
• Por qué es difícil El escalamiento supercrítico, el papel de la no linealidad y la brecha entre el control y la regularidad del nivel de energía.

Los matemáticos no se han limitado a mirar el problema. Han desarrollado herramientas poderosas, resultados parciales y campos de análisis completamente nuevos tratando de descifrarlo. El trabajo continúa.

Ver el progreso hasta el momento →

El problema de Navier-Stokes ha impulsado importantes avances en el análisis armónico, el análisis funcional y la teoría de las medidas geométricas durante el último siglo. Los resultados de regularidad parcial, los criterios condicionales de continuación (Beale-Kato-Majda, Escauriaza-Seregin-Šverák) y los análisis de problemas de modelos continúan agudizando nuestra comprensión de dónde se encuentra el límite entre la regularidad y la singularidad potencial.

Estudio de progreso →