Enunciado Clay de Navier-Stokes: criterios oficiales explicados

La regularidad global de Navier–Stokes 3D sin fuerza externa sigue abierta: la construcción forzada anunciada no la resuelve. En la discusión técnica siguiente, las preguntas pendientes de regularidad y unicidad se refieren al sistema sin fuerza externa, salvo indicación expresa de otro marco.

Estado de las fuentes revisado el 2026-09-12 (JST). El 8 de septiembre, OpenAI anunció una explosión en tiempo finito para Navier–Stokes incompresible 3D con fuerza externa suave, afirmando resolver las alternativas C y D de Clay, con un manuscrito y una formalización en Lean. El 11 de septiembre, Clay declaró que el problema «aparentemente se ha resuelto»; la evaluación y la atribución del mérito se harán deliberadamente sin prisas. Esto no es la concesión del premio ni una verificación de la prueba por nuestra parte.

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

Clay pide demostrar una de cuatro alternativas, no las cuatro: (A) existencia global suave sin fuerza externa en R³; (B) existencia global suave sin fuerza externa en el toro periódico T³; (C) ruptura en R³, permitiendo fuerzas suaves admisibles; (D) ruptura periódica, permitiendo fuerzas suaves admisibles. A/B abarcan todos los datos iniciales admisibles; C/D requieren un contraejemplo admisible. La ruptura forzada no refuta A/B.

Véase también: ¿está resuelto el problema de Navier-Stokes? (estado de 2026-09-12 (JST))

La regularidad global de Navier–Stokes 3D sin fuerza externa sigue abierta: la construcción forzada anunciada no la resuelve. En la discusión técnica siguiente, las preguntas pendientes de regularidad y unicidad se refieren al sistema sin fuerza externa, salvo indicación expresa de otro marco.

Estado de las fuentes revisado el 2026-09-12 (JST). El 8 de septiembre, OpenAI anunció una explosión en tiempo finito para Navier–Stokes incompresible 3D con fuerza externa suave, afirmando resolver las alternativas C y D de Clay, con un manuscrito y una formalización en Lean. El 11 de septiembre, Clay declaró que el problema «aparentemente se ha resuelto»; la evaluación y la atribución del mérito se harán deliberadamente sin prisas. Esto no es la concesión del premio ni una verificación de la prueba por nuestra parte.

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

Clay pide demostrar una de cuatro alternativas, no las cuatro: (A) existencia global suave sin fuerza externa en R³; (B) existencia global suave sin fuerza externa en el toro periódico T³; (C) ruptura en R³, permitiendo fuerzas suaves admisibles; (D) ruptura periódica, permitiendo fuerzas suaves admisibles. A/B abarcan todos los datos iniciales admisibles; C/D requieren un contraejemplo admisible. La ruptura forzada no refuta A/B.

El problema de Clay no pregunta si las simulaciones de fluidos funcionan, si los ingenieros pueden resolver ejemplos de flujo en tuberías, ni si existen soluciones débiles. Esas son preguntas distintas. La pregunta del premio trata de la suavidad global o la ruptura en tiempo finito para las ecuaciones tridimensionales incompresibles.

Para ganar el premio, una prueba tiene que caer en una de dos categorías:

1. Suavidad global: mostrar que todo flujo inicial suave admisible permanece suave para todo tiempo futuro.
2. Ruptura: dar una configuración suave admisible en la que no pueda existir una solución globalmente suave.

Clay pide demostrar una de cuatro alternativas, no las cuatro: (A) existencia global suave sin fuerza externa en R³; (B) existencia global suave sin fuerza externa en el toro periódico T³; (C) ruptura en R³, permitiendo fuerzas suaves admisibles; (D) ruptura periódica, permitiendo fuerzas suaves admisibles. A/B abarcan todos los datos iniciales admisibles; C/D requieren un contraejemplo admisible. La ruptura forzada no refuta A/B.

El sistema central es la ecuación de Navier-Stokes 3D incompresible

$$\partial_t u + (u \cdot \nabla)u = -\nabla p + \nu \Delta u + f, \qquad \nabla \cdot u = 0.$$

La formulación de Clay separa los casos de espacio completo y periódico. En la dirección de existencia en el espacio completo, la velocidad inicial es suave, libre de divergencia y de decaimiento rápido; el objetivo es una solución globalmente suave con energía finita para todo tiempo. En la dirección de ruptura, la tarea es construir datos admisibles, bajo una de las alternativas oficiales, para los cuales la solución globalmente suave requerida no existe.

Clay pide demostrar una de cuatro alternativas, no las cuatro: (A) existencia global suave sin fuerza externa en R³; (B) existencia global suave sin fuerza externa en el toro periódico T³; (C) ruptura en R³, permitiendo fuerzas suaves admisibles; (D) ruptura periódica, permitiendo fuerzas suaves admisibles. A/B abarcan todos los datos iniciales admisibles; C/D requieren un contraejemplo admisible. La ruptura forzada no refuta A/B.

Clay pide demostrar una de cuatro alternativas, no las cuatro: (A) existencia global suave sin fuerza externa en R³; (B) existencia global suave sin fuerza externa en el toro periódico T³; (C) ruptura en R³, permitiendo fuerzas suaves admisibles; (D) ruptura periódica, permitiendo fuerzas suaves admisibles. A/B abarcan todos los datos iniciales admisibles; C/D requieren un contraejemplo admisible. La ruptura forzada no refuta A/B.

Siguiendo la formulación de Fefferman sobre $\mathbb{R}^3$ con $f \equiv 0$:

Hipótesis: Sea $u_0 \in C^\infty(\mathbb{R}^3)$ libre de divergencia. Supongamos que para cada $\alpha$ y $K$ existen constantes $C_{\alpha,K}$ tales que

$$|\partial^\alpha u_0(x)| \leq \frac{C_{\alpha,K}}{(1 + |x|)^K} \quad \text{en } \mathbb{R}^3.$$

Conclusión (para probar): Existe $p \in C^\infty(\mathbb{R}^3 \times [0,\infty))$ y $u \in C^\infty(\mathbb{R}^3 \times [0,\infty))$ que satisface las ecuaciones de Navier-Stokes, $u(x,0) = u_0(x)$, y el límite de energía

$$\int_{\mathbb{R}^3} |u(x,t)|^2 \, dx < C \quad \text{para todo } t \geq 0.$$

Hay tres cosas que colocan a Navier-Stokes en esa lista corta:

• Importancia práctica. Estas ecuaciones abarcan la mayor parte de la dinámica de fluidos: diseño de aeronaves, modelos climáticos, flujo sanguíneo, corrientes oceánicas. Incluso sin una prueba completa, los ingenieros utilizan estas ecuaciones con éxito en muchos regímenes; el problema abierto es si las ecuaciones 3D siempre pueden justificarse matemáticamente.
• Profundidad matemática. Se basa en análisis, geometría, topología y física simultáneamente.
• Importancia duradera. Clay eligió Navier–Stokes como uno de sus siete Problemas del Milenio en 2000 por su dificultad matemática fundamental y por el papel central de las ecuaciones en dinámica de fluidos. El anuncio de septiembre de 2026 cambia el estado, no esas razones de su importancia. Véase también: explora por qué

La dificultad del problema radica en la naturaleza supercrítica de las ecuaciones 3D. La estimación de energía natural

$$\frac{1}{2}\|u(t)\|_{L^2}^2 + \nu \int_0^t \|\nabla u(s)\|_{L^2}^2 \, ds \leq \frac{1}{2}\|u_0\|_{L^2}^2$$

coloca $u$ en $L^\infty_t L^2_x \cap L^2_t \dot{H}^1_x$, que está por debajo de la escala crítica. Las ecuaciones de Navier-Stokes son invariantes bajo

$$u(x,t) \mapsto \lambda u(\lambda x, \lambda^2 t), \quad p(x,t) \mapsto \lambda^2 p(\lambda x, \lambda^2 t)$$

y el espacio crítico es $L^3(\mathbb{R}^3)$ (o $\dot{H}^{1/2}$). La clase energética $L^2$ es supercrítica. Se encuentra por debajo del umbral de escalamiento crítico y no controla por sí solo la cascada no lineal a pequeña escala, lo que deja una brecha que todas las técnicas existentes luchan por salvar.

La estimación de energía mostrada aquí corresponde a fuerza nula. Con fuerza externa, el lado derecho también incluye el término de trabajo $\int_0^t\!\int f(x,s)\cdot u(x,s)\,dx\,ds$.

Los hitos esenciales:

• 1822: Navier deriva las ecuaciones a partir de consideraciones moleculares.
• 1845: Stokes da la derivación moderna desde la mecánica del continuo.
• 1934: Leray demuestra que las soluciones "débiles" siempre existen. Un resultado enorme, pero esas soluciones podrían no ser suaves.
• 1982: Caffarelli, Kohn y Nirenberg demuestran que las singularidades (más sobre regularidad parcial), si existen, son extremadamente pequeñas: en la geometría parabólica natural de estas ecuaciones, el conjunto singular tiene medida de Hausdorff parabólica unidimensional nula.
• 1984: Beale, Kato y Majda demuestran (originalmente para Euler, con análogos para Navier-Stokes) que la explosión solo puede ocurrir si la vorticidad se vuelve infinita.
• 2000: Clay lo declara Problema del Milenio.
• Septiembre de 2026: OpenAI anuncia explosión 3D con fuerza suave (Clay C/D); Clay reconoce una aparente resolución. Evaluación y premio son procesos distintos.

Véase también: enfoques en espacios críticos

Resultados fundamentales, de forma selectiva:

• Leray (1934): Existen soluciones débiles globales $u \in L^\infty_t L^2_x \cap L^2_t \dot{H}^1_x$, demostradas por compacidad. Introdujo el proyector de Leray y el concepto de soluciones turbulentas. El pistoletazo de salida de todo lo que siguió.
• Hopf (1951): Extendió la construcción de Leray a dominios acotados.
• Ladyzhenskaya, Prodi, Serrin (década de 1960): Criterios de regularidad. Si $u \in L^p_t L^q_x$ con $2/p + 3/q \leq 1$ y $q > 3$, entonces la solución es suave. Escauriaza, Seregin y Šverák resolvieron el caso extremo $L^\infty_t L^3_x$ en 2003.
• Caffarelli, Kohn, Nirenberg (1982): $\mathcal{P}^1(\Sigma) = 0$. El conjunto singular tiene medida de Hausdorff parabólica unidimensional nula.
• Beale, Kato, Majda (1984): Probado originalmente para Euler incompresible: hay explosión si y solo si $\int_0^{T^*} \|\omega(\cdot,t)\|_{L^\infty} \, dt = \infty$. Criterios análogos valen para Navier-Stokes.
• Koch, Tataru (2001): Buen planteamiento local para datos pequeños en $\mathrm{BMO}^{-1}$. Este es el espacio crítico más grande en el que se conoce buen planteamiento.
• Seregin (2012): En un tiempo de explosión $T^*$, la norma $L^3$ debe divergir: $\|u(t)\|_{L^3} \to \infty$ cuando $t \to T^*$. Es estrictamente más fuerte que ESS (2003), que solo mostró fallo de acotación uniforme.

Septiembre de 2026: OpenAI anuncia explosión 3D con fuerza suave (Clay C/D); Clay reconoce una aparente resolución. Evaluación y premio son procesos distintos.

Este artículo es parte de El problema.

Si vino aquí preguntándose si alguien ya lo resolvió, comience con ¿Está resuelto el problema de Navier-Stokes?.

Luego explore por qué es tan difícil, o vea cómo los matemáticos lo han dividido en subproblemas. Por razones estructurales, el problema 2D es manejable mientras que el 3D permanece abierto, consulte Por qué 2D es más fácil que 3D.

Este artículo es parte de El problema.

¿Quieres una respuesta breve sobre si se ha resuelto? Consulte ¿Se ha resuelto el problema de Navier-Stokes? Esa página también aclara la brecha entre una existencia débil y una regularidad global suave.

Los obstáculos matemáticos se exponen en Por qué es difícil. Para una descomposición en partes manejables (soluciones débiles, regularidad parcial, clasificación del blow-up), consulte Subproblemas. Y para saber por qué el caso 2D se resuelve mientras que el 3D no, consulte Por qué 2D es más fácil que 3D.