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 (julio de 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 datos suaves admisibles pueden conducir a la formación de singularidades en 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ó esta cuestión de regularidad uno de los siete Problemas del Premio del Milenio y ofreció 1.000.000 de dólares por una prueba o refutación correcta. Este panorama explica por qué esa pregunta del premio importa en su contexto.

Para la formulación exacta, lee el enunciado oficial del problema, explicado. Para saber cómo está la situación ahora mismo, consulta el estado actual (julio de 2026).

El Clay Mathematics Institute incluyó esta cuestión de regularidad en su lista de Problemas del Premio del Milenio de 2000. La formulación, escrita por C. Fefferman, se plantea en $\mathbb{R}^3$ y $\mathbb{T}^3$ y acepta bien una prueba de existencia global suave, bien una construcción de ruptura en tiempo finito bajo las alternativas aceptadas.

Lee el enunciado oficial del problema, explicado, o consulta el estado actual (julio de 2026).

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 →