El problema de Navier-Stokes

El problema de Navier–Stokes pregunta si las ecuaciones del movimiento de los fluidos se comportan siempre bien en tres dimensiones: partiendo de un flujo suave con energía finita, ¿se mantiene suave la solución para todo tiempo, o puede la velocidad volverse infinita al cabo de un tiempo finito? La versión del Premio del Milenio de Clay acepta tanto una prueba de suavidad global sin fuerza externa como un ejemplo de ruptura, en el que también puede elegirse una fuerza suave de decaimiento rápido.

El estado, en breve: en septiembre de 2026 OpenAI anunció una prueba de la alternativa de ruptura con una fuerza de ese tipo, y Clay dijo que el problema «aparentemente se ha resuelto», con una evaluación deliberadamente sin prisas. Sigue sin saberse si los flujos sin fuerza externa se mantienen siempre suaves. La explicación fechada del estado cubre lo que se afirmó y cómo se está evaluando.

Esta página es el mapa: cuál es la pregunta, qué se ha demostrado, por qué se resiste a la prueba y qué leer a continuación.

Fuentes primarias: Clay (2026-09-11) · OpenAI (2026-09-08) · Lean / GitHub · Enunciado oficial de Clay.

El problema de existencia y suavidad de Navier-Stokes pregunta si, para todo dato inicial suficientemente suave y con divergencia nula $u_0 \in C^\infty(\mathbb{R}^3)$ con decaimiento adecuado y $f \equiv 0$, el sistema de Navier-Stokes incompresible admite una solución $u \in C^\infty(\mathbb{R}^3 \times [0,\infty))$ con energía acotada (y la pregunta periódica análoga en $\mathbb{T}^3$). La formulación de Clay acepta también un ejemplo de ruptura en el que se permite una fuerza suave admisible.

El estado, en breve: el manuscrito de septiembre de 2026 reivindica las alternativas de ruptura forzada, C en $\mathbb{R}^3$ (Teorema 1.1) y D en $\mathbb{T}^3$ (Corolario 10.6); Clay dijo que el problema «aparentemente se ha resuelto», con una evaluación deliberadamente sin prisas. Esa afirmación no decide el caso $f\equiv0$. Detalles: estado fechado y fuentes.

Fuentes primarias: Clay (2026-09-11) · OpenAI (2026-09-08) · Lean / GitHub · Enunciado oficial de Clay.

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:

• Existen soluciones débiles globales (Leray, 1934). Si se relaja la noción de «solución» para admitir un comportamiento irregular, promediado, existen soluciones para todo tiempo. Nadie ha demostrado si se mantienen suaves sin fuerza externa. Más sobre los 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. Para $f\equiv0$, la unicidad y la regularidad de estas soluciones siguen abiertas; con una fuerza elegida adecuadamente, se ha demostrado la no unicidad. Enfoques →
• Regularidad global en 2D: en dos dimensiones, la existencia global y la unicidad de soluciones suaves se conocen desde hace mucho; el enunciado de Clay cita la monografía de Ladyzhenskaya de 1969. La clave es que en 2D la enstrofía está controlada. Por qué el caso 3D es distinto →
• 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 →

Esta es la dificultad central. El propio movimiento de un fluido puede llevar la actividad a escalas cada vez más pequeñas más deprisa de lo que las estimaciones actuales pueden controlar. Para flujos tridimensionales sin fuerza externa, las estimaciones conocidas no son lo bastante fuertes para descartarlo, y nadie ha demostrado que ocurra. (La construcción de 2026 afirma que puede ocurrir cuando se aplica una fuerza suave).

No es cuestión de ingenio. No es cuestión de potencia de cálculo. Las estimaciones conocidas se quedan cortas, y esa tensión entre concentración y disipación es la razón por la que resolver la pregunta sin fuerza exige ideas 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.

Este es el obstáculo analítico esencial; para $f\equiv0$ ninguna técnica existente cierra la brecha. Para un tratamiento detallado, consulta Por qué es difícil.

En 2000, el Clay Mathematics Institute incluyó esta cuestión de regularidad entre los siete Problemas del Premio del Milenio, con un premio de 1.000.000 de dólares para una resolución reconocida conforme a sus reglas. El enunciado oficial acepta una cualquiera de cuatro alternativas: suavidad global sin fuerza externa, o ruptura permitiendo una fuerza suave admisible, cada una en todo el espacio o en una caja periódica. Esta introducción 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 en qué punto están las cosas ahora mismo, consulta el estado actual (fuentes revisadas el 2026-09-29).

El Clay Mathematics Institute incluyó esta cuestión de regularidad en su lista de Problemas del Premio del Milenio de 2000. La formulación, redactada por C. Fefferman, se plantea en $\mathbb{R}^3$ y $\mathbb{T}^3$ y acepta o bien una prueba de existencia suave global con $f\equiv0$ (A, B), o bien una construcción de ruptura en la que puede elegirse una fuerza suave admisible (C, D).

Lee el enunciado oficial del problema, explicado, o consulta el estado actual (fuentes revisadas el 2026-09-29).

Esta página es un mapa. Elige la pregunta que te trajo aquí:

• ¿Está resuelto? El anuncio de septiembre de 2026, la respuesta de Clay y lo que sigue abierto.
• ¿Qué pide exactamente Clay? El enunciado oficial, sus cuatro alternativas y sus condiciones.
• ¿Por qué es difícil? Supercriticidad, turbulencia y la brecha de escalamiento.
• ¿Por qué es más fácil el caso 2D? El estiramiento de vórtices y lo que rompe en tres dimensiones.
• ¿Qué es una solución débil? Soluciones débiles, fuertes y suaves, y qué significa la unicidad para cada una.
• ¿Qué se ha demostrado? De Leray a la afirmación de 2026.

Para tratamientos detallados:

• ¿Está resuelto? El teorema anunciado, su correspondencia con C/D, el estado de la evaluación y las preguntas pendientes.
• El problema del Milenio La formulación de Fefferman, los espacios de funciones, las condiciones (4)–(11) y qué constituye una resolución válida.
• Por qué es difícil El escalamiento supercrítico, el papel de la no linealidad y la brecha entre el control a nivel de energía y la regularidad.
• Por qué el caso 2D es más fácil que el 3D Transporte de vorticidad, control de la enstrofía y estiramiento de vórtices.
• Soluciones débiles, fuertes y suaves Soluciones distribucionales frente a soluciones de Leray–Hopf, y unicidad débil-fuerte.
• Progresos Los hitos y el capítulo de 2026 en contexto.

Los matemáticos no se han limitado a contemplar el problema. Han desarrollado herramientas potentes, resultados parciales y campos del análisis completamente nuevos intentando resolverlo. La afirmación de 2026 añade una nueva construcción que estudiar, mientras que la pregunta sin fuerza externa, la unicidad de las soluciones débiles y los mecanismos por los que se concentran los flujos siguen siendo investigación activa.

Véase también: Ver el progreso hasta el momento →

El problema de Navier-Stokes ha impulsado grandes avances en análisis armónico, análisis funcional y teoría geométrica de la medida a lo largo del último siglo. Los resultados de regularidad parcial, los criterios condicionales de explosión (Beale-Kato-Majda, Escauriaza-Seregin-Šverák) y el análisis de problemas modelo siguen afinando nuestra comprensión de dónde está la frontera entre la regularidad y una posible singularidad. La construcción forzada anunciada (C/D) se sitúa ahora junto a estos resultados; el caso $f\equiv0$ sigue abierto.

Véase también: Estudio de progreso →