El problema de Navier-Stokes

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.

Véase también: ¿está resuelto el problema de Navier-Stokes? · existencia y suavidad de Navier-Stokes · ¿Está resuelto?

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.

Véase también: ¿Está resuelto?

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 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.

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 (2026-09-12 (JST)).

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 (2026-09-12 (JST)).

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

• ¿Está resuelto? 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.
• 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? 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.
• 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.

Véase también: 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.

Véase también: Estudio de progreso →