¿Está resuelto el problema de Navier-Stokes? Estado 2026

No. A partir de 2026, el problema de existencia y suavidad de Navier-Stokes sigue sin resolver. Nadie ha demostrado que siempre existan soluciones suaves en tres dimensiones, y nadie ha demostrado que puedan fallar. El Premio del Milenio de Clay (1 millón de dólares) permanece allí sin ser reclamado, esperando que alguien resuelva un problema relacionado con ecuaciones formuladas en el siglo XIX y todavía abierto hoy.

Esta es la página de estado para preguntas como “¿está resuelto Navier-Stokes?” o “¿se resolvió el problema de Clay de Navier-Stokes?”. Para el enunciado exacto de Clay, consulta existencia y suavidad de Navier-Stokes.

Las ecuaciones en sí no están en duda. Los ingenieros y científicos utilizan Navier-Stokes todos los días para diseñar aviones, predecir el clima y modelar el flujo sanguíneo. Las simulaciones funcionan. Pero esto es lo que está sin resolver: una cuestión puramente matemática sobre si las ecuaciones siempre producen soluciones que se comportan bien, o si eventualmente podrían predecir algo imposible, como la velocidad infinita concentrándose en un solo punto en el espacio.

A partir de 2026, el Premio del Milenio de Clay por la existencia y suavidad de Navier-Stokes permanece abierto. No se ha establecido ni la regularidad global ni la explosión de tiempo finito para las ecuaciones 3D incompresibles de Navier-Stokes.

Precisamente: dados datos iniciales suaves y libres de divergencia $u_0 \in C^\infty(\mathbb{R}^3)$ con un decaimiento adecuado (o en $\mathbb{T}^3$), se desconoce si existe una solución suave única $(u, p)$ para todo $t \geq 0$ con $u \in C^\infty(\mathbb{R}^3 \times [0, \infty))$. No se ha construido ningún contraejemplo.

No está todo a oscuras. Durante más de un siglo, los matemáticos han ido arrancándole trozos al problema y han construido una imagen sorprendentemente detallada de lo que se sabe y de lo que no:

• Existen soluciones débiles (Leray, 1934). Si debilitas la noción de solución, existen soluciones globales. Pero sigue abierto si permanecen suaves y únicas.
• 2D está resuelto (Ladyzhenskaya, 1969). ¿Dos dimensiones? Hecho. Las soluciones suaves existen para todo tiempo, y la dificultad es total y obstinadamente específica del 3D.
• Las singularidades son raras (Caffarelli-Kohn-Nirenberg, 1982). Incluso si existen singularidades en 3D, quedan confinadas a un conjunto con medida de Hausdorff parabólica unidimensional nula, un conjunto extremadamente pequeño en la geometría natural de la ecuación.
• Existen soluciones de corto tiempo. ¿Suaves? Sí, al menos brevemente. La pregunta es: ¿siempre pueden continuarse para todo tiempo?

Así que la brecha es estrecha pero profunda. Sabemos que las soluciones empiezan suaves y sabemos que las soluciones débiles persisten globalmente, pero nadie puede demostrar que la suavidad sobreviva para siempre en tres dimensiones.

Resultados clave establecidos:

• Leray (1934): Existencia global de soluciones débiles (distributivas) que satisfacen la desigualdad de energía $\|u(t)\|_{L^2}^2 + 2\nu \int_0^t \|\nabla u(s)\|_{L^2}^2 \, ds \leq \|u_0\|_{L^2}^2$. ¿Unicidad? Abierto.
• Ladyzhenskaya (1969): Para el problema incompresible 2D, los datos suaves y libres de divergencia producen una solución suave global única.
• Caffarelli-Kohn-Nirenberg (1982): Regularidad parcial para soluciones débiles adecuadas: el conjunto singular tiene medida de Hausdorff parabólica unidimensional nula, $\mathcal{P}^1(S) = 0$.
• Buen planteamiento local: Para $u_0 \in H^s(\mathbb{R}^3)$ con $s > 3/2$, existe una solución suave única en $[0, T^*)$; esto también vale en el espacio crítico de escala $\dot{H}^{1/2}(\mathbb{R}^3)$ (Fujita-Kato, 1964), extendiéndose a espacios críticos estrictamente mayores, incluido $BMO^{-1}$ (Koch-Tataru, 2001). ¿Es $T^* = \infty$?

Aquí está la brecha: sabemos que existen soluciones débiles globalmente y sabemos que existen soluciones fuertes localmente con plena unicidad. Lo que sigue completamente abierto es si la solución fuerte puede siempre prolongarse para todo tiempo.

Cada uno o dos años aparece una preimpresión que pretende resolver el problema de Navier-Stokes. El ciclo es predecible: entusiasmo, escrutinio de expertos y luego alguien encuentra la brecha. Ninguna ha sido aceptada por la comunidad de expertos como una resolución correcta.

Parte de la confusión proviene de mezclar lo que realmente significa "resuelto":

• "Podemos simular fluidos en computadoras". Claro. Pero la simulación numérica no es una prueba matemática; Las simulaciones cortan el espacio y el tiempo en pedazos finitos, y la pregunta es qué sucede en las ecuaciones continuas antes de cortarlas.
• "Los ingenieros utilizan estas ecuaciones con éxito". Lo hacen. Pero el éxito práctico no nos dice si las ecuaciones son internamente consistentes en todos los escenarios posibles que un matemático pueda imaginar.
• "El problema 2D está resuelto". Correcto. Pero el problema 3D es fundamentalmente diferente porque el mecanismo que hace que el 2D funcione (sin estiramiento del vórtice, lo que mantiene la vorticidad limitada) simplemente no se aplica en tres dimensiones.

Las pruebas reclamadas aparecen regularmente. Fallan por razones predecibles:

• Estimaciones a priori incorrectas: asumir el control de una norma crítica o supercrítica que en realidad no se ha establecido.
• Combinación de soluciones débiles y fuertes: demostrar propiedades de las soluciones de Leray-Hopf que requerirían la misma regularidad que se afirma.
• Errores de análisis dimensional: argumentos que se cierran en 2D (donde da la enstrofia y el control $H^1$ y las incrustaciones subcríticas de Sobolev son suficientes), pero fallan completamente en 3D, donde esas mismas incrustaciones ya no controlan la no linealidad.
• Bootstraps circulares: la hipótesis asume implícitamente lo que se está demostrando.

¿Por qué falla todo? El problema 3D es supercrítico con respecto a la norma energética natural, por lo que las técnicas estándar como las estimaciones de energía y los argumentos tipo Gronwall simplemente no proporcionan suficiente control. Ése es el muro contra el que choca toda prueba reivindicada.

Para reclamar el premio Clay, necesitarías hacer una de dos cosas:

1. Demostrar regularidad global: demostrar que, para cualquier condición inicial suave, la solución permanece suave para siempre. Sin velocidades infinitas. Sin averías. Las ecuaciones siempre se comportan.
2. Construir un blow-up: encuentre condiciones iniciales suaves donde la solución matemática clásica se descomponga en un tiempo finito, o satisfaga una de las formulaciones oficiales de ruptura de Clay.

Cualquiera de los resultados sería enorme. La regularidad global resolvería el problema de Clay y establecería que el modelo incompresible está matemáticamente buen planteamiento para todos los datos suaves. ¿Una explosión? Eso nos obligaría a repensar lo que sucede en escalas extremas y podría apuntar hacia una física completamente nueva que aún no hemos imaginado.

Según la formulación de Clay de Fefferman, una resolución válida requiere uno de:

1. (A) Existencia y suavidad: Por cada $u_0 \in C^\infty(\mathbb{R}^3)$ con $\nabla \cdot u_0 = 0$ y $|\partial_x^\alpha u_0(x)| \leq C_{\alpha K} (1 + |x|)^{-K}$ para todo $\alpha, K$, demuestra la existencia de $(u, p) \in C^\infty(\mathbb{R}^3 \times [0,\infty))$ que satisfacen las ecuaciones, con $\int_{\mathbb{R}^3} |u(x,t)|^2 \, dx < C$ para todo $t \geq 0$.
2. (B) Ruptura: Encontrar $u_0 \in C^\infty(\mathbb{R}^3)$ (libre de divergencia, con decaimiento adecuado) y $f \in C^\infty(\mathbb{R}^3 \times [0,\infty))$ tal que no $(u,p) \in C^\infty(\mathbb{R}^3 \times [0,\infty))$ satisface las ecuaciones.

También se aceptan formulaciones análogas en $\mathbb{T}^3$. La declaración completa de Fefferman incluye casos separados con y sin forzamiento externo ($f = 0$ y $f \neq 0$); lo anterior destila las alternativas esenciales.

• 1822: Navier deriva las ecuaciones a partir de consideraciones moleculares.
• 1845: Stokes les da su forma moderna.
• 1934: Leray demuestra que existen soluciones débiles a nivel mundial. Enorme.
• 1969: Ladyzhenskaya resuelve 2D.
• 1982: Caffarelli, Kohn y Nirenberg prueban la regularidad parcial, estableciendo que cualquier singularidad debe ser extraordinariamente rara, confinada a un conjunto de medida unidimensional cero.
• 1984: Beale, Kato y Majda demuestran para las ecuaciones tridimensionales de Euler que La ruptura de una solución suave fuerza la divergencia de la integral de tiempo de vorticidad. Los criterios de continuación relacionados también se aplican a Navier-Stokes.
• 2000: Clay lo denomina Problema del Milenio. Un millón de dólares.
• 2014: Tao construye un blow-up para una versión promediada de las ecuaciones (preimpresión; publicada en 2016), lo que demuestra que no hay ninguna obstrucción puramente estructural para la formación de singularidades.
• 2026: Abierto.

• 1822: Navier. Estrés molecular.
• 1845: Stokes. Continuo.
• 1934: Leray. El resultado fundacional: soluciones débiles globales en $L^2$, el proyector de Leray y la desigualdad de energía que daría forma a todo un siglo de análisis matemático de fluidos y definiría cada enfoque posterior.
• 1951: Hopf extiende a dominios acotados.
• 1962: Serrin establece regularidad condicional: suavidad si $u \in L^p_t L^q_x$ con $2/p + 3/q \leq 1$ y $q > 3$; el caso extremo $L^\infty_t L^3_x$ fue resuelto por Escauriaza-Seregin-Šverák en 2003.
• 1969: Ladyzhenskaya. 2D resuelto.
• 1982: CKN. $\mathcal{P}^1(S) = 0$.
• 1984: Beale-Kato-Majda (para Euler 3D). Si $T^* < \infty$, entonces $\int_0^{T^*} \|\omega(s)\|_{L^\infty} \, ds = \infty$. Criterios de continuación análogos valen para Navier-Stokes.
• 2000: Clay.
• 2014: Tao. Explosión para el Navier-Stokes promediado (JAMS 2016), mostrando que cualquier prueba de regularidad para las ecuaciones verdaderas debe explotar rasgos más finos de la no linealidad de Navier-Stokes que los preservados por el modelo promediado.
• 2026: Abierto.

Parte de El problema.

Profundice: ¿por qué el problema es tan difícil?, en qué subproblemas están trabajando los matemáticos y en qué enfoques ¿han probado?

La declaración formal de Clay se encuentra en la página Problema del Milenio, y si desea comprender a qué versión de las ecuaciones se dirige realmente este problema, consulte Navier-Stokes incompresible versus comprimible.

Parte de El Problema.

Detalles: Formulación de arcilla. Obstáculos: Por qué es difícil.

Para obtener una imagen completa de los resultados parciales, las subpreguntas abiertas y todas las estrategias que se han intentado durante el último siglo de trabajo en este problema, consulte Subproblemas y Enfoques. Qué formulación estudia el problema de Clay: Incompresible vs. Compresible.