Euler versus Navier-Stokes: ¿Cuál es la diferencia?

Las ecuaciones de Euler describen un fluido con fricción interna cero. Ninguna viscosidad en absoluto. Las ecuaciones de Navier-Stokes describen el mismo fluido con la viscosidad incluida.

Matemáticamente, toda la diferencia es un término: $\nu \Delta u$, el término de difusión viscosa. Elimínelo y Navier-Stokes se convierte en Euler. Manténgalo y la ecuación obtendrá un mecanismo de suavizado que cambia tanto la física como el análisis de maneras que no esperaría de un solo término adicional.

Ese término explica por qué el humo se disipa, por qué se forman capas límite a lo largo de las superficies y por qué el Problema del Milenio de Navier-Stokes tiene un carácter completamente diferente de la correspondiente pregunta de Euler.

Las ecuaciones incompresibles de Euler en $\mathbb{R}^3$ son

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

Las ecuaciones incompresibles de Navier-Stokes son

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

con $\nu > 0$ la viscosidad cinemática. Formalmente, establecer $\nu = 0$ en Navier-Stokes recupera a Euler. Pero esta sustitución formal oculta el hecho de que el límite $\nu \to 0$ es singular: el término viscoso $\nu \Delta u$ lleva la derivada espacial de orden más alto en el sistema, y ​​eliminarlo cambia el tipo de EDP y los espacios funcionales en los que viven las soluciones.

Ambas ecuaciones en su forma estándar incompresible, escritas para que la comparación sea obvia:

Euler:

$$\partial_t u + (u \cdot \nabla)u = -\nabla p$$

Navier-Stokes:

$$\partial_t u + (u \cdot \nabla)u = -\nabla p + \nu \Delta u$$

Mismo lado izquierdo: la tasa de cambio de velocidad más el término de autotransporte no lineal $(u \cdot \nabla)u$. Ambos imponen la incompresibilidad a través de $\nabla \cdot u = 0$. La única diferencia estructural es el término viscoso $\nu \Delta u$ en el lado derecho de Navier-Stokes.

El parámetro $\nu$ es la viscosidad cinemática, una constante física del fluido. La miel tiene un gran $\nu$. El aire tiene uno pequeño. Las ecuaciones de Euler corresponden a $\nu = 0$: una idealización perfectamente sin fricción que puede aproximarse a algunos flujos con números de Reynolds altos que se alejan de los límites, pero que no existe en ningún fluido real.

Ambos sistemas comparten la forma bilineal $(u \cdot \nabla)u$ y la presión determinada implícitamente por la restricción libre de divergencia. Tomando la divergencia de la ecuación del momento y usando $\nabla \cdot u = 0$ se obtiene la ecuación de Poisson de presión

$$-\Delta p = \nabla \cdot ((u \cdot \nabla)u) = \partial_i \partial_j (u_i u_j),$$

que es idéntica para ambos sistemas. La presión es una funcional no local de $u$ en cualquier caso.

El término viscoso $\nu \Delta u$ es un operador elíptico lineal de segundo orden que actúa sobre cada componente de velocidad. Es regularización parabólica: su presencia convierte a Navier-Stokes en un sistema parabólico semilineal, mientras que Euler incompresible es una ecuación de transporte no lineal de primer orden con acoplamiento de presión no local. Esta diferencia en el tipo de EDP impulsa casi todas las diferencias posteriores en la teoría de la regularidad.

La viscosidad es la fricción entre capas vecinas de fluido. ¿Capa rápida junto a una lenta? La viscosidad transfiere impulso entre ellos, suavizando la diferencia de velocidad. Concepto sencillo. Las consecuencias son enormes y separan a Navier-Stokes de Euler de tres maneras.

• Disipación. La energía cinética se convierte en calor. Revuelva el café y luego deténgase. Eventualmente se detiene porque la viscosidad elimina el movimiento en forma de energía térmica. Euler no puede predecir esto en absoluto, ya que no hay ningún mecanismo en las ecuaciones para drenar la energía cinética en calor.
• Capas límite. Los fluidos reales se adhieren a las superficies (la condición de no deslizamiento), creando capas delgadas de rápido cambio de velocidad cerca de las paredes. Estos generan resistencia en las alas de los aviones, pérdidas por fricción en las tuberías y aparición de turbulencias a altas velocidades. En cambio, los flujos de Euler satisfacen una condición de deslizamiento, por lo que omiten por completo el arrastre de la pared viscosa.
• Suavizado a pequeña escala. La viscosidad elimina los gradientes de velocidad más pronunciados. ¿Sin él? Nada impide que el flujo desarrolle una estructura infinitamente fina, cada vez más nítida para siempre. Esta suavización es exactamente lo que hace que la cuestión de regularidad para Navier-Stokes sea una bestia diferente de Euler.

La identidad energética de Navier-Stokes en $\mathbb{R}^3$ (o un dominio periódico) se lee

$$\frac{d}{dt}\frac{1}{2}\|u\|_{L^2}^2 = -\nu \|\nabla u\|_{L^2}^2,$$

por lo que la energía cinética se disipa monótonamente. Para Euler ($\nu = 0$), la norma $L^2$ de $u$ se conserva formalmente.

En el nivel de límite, Navier-Stokes usa condiciones de no deslizamiento ($u|_{\partial \Omega} = 0$), mientras que Euler solo requiere impermeabilidad ($u \cdot n = 0$). Como $\nu \to 0$, la falta de coincidencia entre estas condiciones genera la capa límite de Prandtl. Es un fenómeno de perturbación singular, y la gente ha estado luchando con él desde el artículo de Prandtl de 1904.

Físicamente, la viscosidad actúa como un filtro de alta frecuencia: amortigua los modos de Fourier a una velocidad $\nu |k|^2$, suprimiendo preferentemente las escalas pequeñas. Esta amortiguación espectral es el mecanismo detrás de la escala de disipación de Kolmogorov $\eta \sim (\nu^3 / \varepsilon)^{1/4}$ en turbulencia. Consulte Número de Reynolds y turbulencia para obtener una imagen completa a escala.

¿Formalmente? Sí. Establece $\nu = 0$ y obtienes Euler. Pero ese es un lugar terrible para dejar de pensar en ello.

El límite $\nu \to 0$ es singular. La viscosidad lleva las derivadas de orden más alto en la ecuación, por lo que eliminarla no supone un pequeño ajuste. Cambia completamente el tipo de EDP con el que estás lidiando. Las capas límite no se adelgazan con gracia. Pueden explotar y generar turbulencias. Las soluciones que eran perfectamente suaves bajo Navier-Stokes pueden desarrollar un comportamiento tremendamente diferente bajo Euler.

Sí, las dos ecuaciones comparten su ADN matemático. Pero el límite de viscosidad cero es uno de los problemas abiertos más profundos en toda la dinámica de fluidos, no un cálculo con servilleta.

El límite invisible $\nu \to 0$ es una perturbación singular: $\nu \Delta u$ lleva las derivadas espaciales más altas del sistema, por lo que establecer $\nu = 0$ elimina el orden de la EDP. En dominios con límites, el límite está ligado a la validez de la expansión de la capa límite de Prandtl, que puede fallar espectacularmente (Grenier 2000, Gérard-Varet & Dormy 2010).

En $\mathbb{R}^3$ o $\mathbb{T}^3$ (sin límites), las cosas se vuelven más limpias. Si la solución de Euler $u^E$ se mantiene suave en $[0,T]$, entonces las soluciones de Navier-Stokes $u^\nu$ convergen a $u^E$ en $L^2$ como $\nu \to 0$ (Kato 1972). Más limpias, pero no limpias: si las soluciones de Euler se mantienen suaves globalmente es una cuestión abierta en 3D, y ese es todo el problema.

El límite también choca frontalmente con la teoría de la turbulencia. La imagen de Kolmogorov requiere $\nu > 0$ para definir una escala de disipación. Sin embargo, la disipación anómala, la persistencia de la disipación de energía como $\nu \to 0$, ha sido una conjetura abierta durante décadas. La conjetura de Onsager (ahora un teorema: Isett 2018, perfeccionado por Buckmaster, De Lellis, Székelyhidi y Vicol en 2019) caracteriza exactamente cuándo las soluciones de Euler pueden disipar energía sin ninguna viscosidad.

Siempre que la viscosidad sea insignificante en comparación con las otras fuerzas en juego. Esto sucede con más frecuencia de lo que piensas:

• Aerodinámica de alta velocidad lejos de las superficies. Lejos de ser un ala, el flujo de aire es casi invisible. Los ingenieros utilizan habitualmente solucionadores de Euler para el flujo masivo y parchean las correcciones de la capa límite cerca de la pared.
• Flujos astrofísicos. Nubes de gas interestelar, interiores estelares, discos de acreción alrededor de agujeros negros. A esas escalas, la viscosidad molecular es completamente irrelevante (aunque la viscosidad efectiva turbulenta puede no serlo).
• Dinámica del gas compresible. Ondas de choque. Detonaciones. Vuelo supersónico. La física que domina es la presión y la inercia, no la fricción.
• Teoría pura. Vale la pena estudiar a Euler por derecho propio, no sólo como un trampolín hacia Navier-Stokes. Se conecta con la geometría de Riemann, la dinámica de los vórtices y preguntas profundas sobre la estructura de la turbulencia misma.

Pero para cualquier cosa donde la fricción, el arrastre o el comportamiento de los límites sean importantes (flujo de tuberías, aerodinámica de los vehículos cerca de las superficies, circulación sanguínea, clima a escala humana), se necesita Navier-Stokes. Punto final.

Las ecuaciones de Euler gobiernan el comportamiento del orden principal en un número de Reynolds $\mathrm{Re} = UL/\nu \gg 1$ alto. En estos números de Reynolds, los efectos viscosos se limitan a capas límite delgadas y capas de corte internas, mientras que Euler aproxima bien el flujo masivo que sale de las paredes.

Las ecuaciones compresibles de Euler, un sistema hiperbólico con velocidad de propagación finita, son el modelo estándar para la dinámica de gases, incluida la formación de choques y los problemas de Riemann. Estas difieren de las ecuaciones de Euler incompresibles discutidas anteriormente: Euler compresible es genuinamente hiperbólica, mientras que Euler incompresible tiene un acoplamiento de presión no local y una velocidad de propagación infinita.

En el análisis matemático, Euler sirve como un objeto límite para el problema de la viscosidad evanescente y como un rico sistema EDP con su propia teoría de regularidad, cantidades conservadas (helicidad, Casimir a través del marco de Euler-Arnold en el grupo de difeomorfismo) y conexiones con mecánica geométrica.

Aquí es donde la brecha más importa, y es donde las cosas se ponen realmente interesantes.

El Problema del Milenio de Navier-Stokes plantea una pregunta que suena casi demasiado simple: si se comienza con un flujo suave y de buen comportamiento en tres dimensiones, ¿la solución se mantiene suave para siempre o puede explotar? Nadie en la Tierra sabe la respuesta.

La misma pregunta para Euler también está abierta en 3D. Pero los dos problemas se sienten completamente diferentes:

• Navier-Stokes tiene la viscosidad de su lado. Siempre suavizando, siempre disipando energía, siempre amortiguando los gradientes más pronunciados. La verdadera pregunta es si ese suavizado es lo suficientemente fuerte como para dominar el término no lineal antes de que cree una singularidad.
• Euler no tiene nada. Suavizado cero. Disipación cero. El término no lineal puede amplificar los gradientes de velocidad sin ninguna fuerza opuesta, y si esto realmente produce una singularidad de tiempo finito a partir de datos iniciales 3D suaves es una de las mayores preguntas abiertas en la teoría de EDP.

En 2D, ambas ecuaciones están globalmente bien planteadas para datos iniciales suaves. Establecido. Hecho. El misterio vive enteramente en tres dimensiones, para ambas ecuaciones, pero por razones fundamentalmente diferentes.

El panorama de la regularidad:

2D: Se conoce la existencia global y la unicidad de soluciones suaves para ambos sistemas. Para Euler 2D con datos suaves, Wolibner (1933) demostró existencia global en espacios de Hölder; Yudovich (1963) estableció unicidad para datos de vorticidad acotada. Para Navier-Stokes 2D, la regularidad global se sigue de la desigualdad de Ladyzhenskaya y del principio máximo para la vorticidad.

Navier-Stokes 3D: Leray (1934) demostró existencia global de soluciones débiles en $L^2$, pero la unicidad y la regularidad siguen abiertas. El teorema de Caffarelli, Kohn y Nirenberg (1982) muestra que el conjunto singular tiene medida de Hausdorff parabólica unidimensional nula, de modo que cualquier explosión, si ocurre, es extremadamente escasa. El término viscoso proporciona la estimación a priori clave $\int_0^T \|\nabla u\|_{L^2}^2 \, dt \leq C(u_0)$, pero este control al nivel de energía queda por debajo del escalamiento crítico 3D y no basta para cerrar un argumento de arranque. Consulte Por qué Navier-Stokes es difícil para la brecha de supercriticidad.

Euler 3D: No existe teoría global para datos suaves. La buen planteamiento local en espacios de Sobolev $H^s$, $s > 5/2$, es clásica (Kato 1972, Kato y Ponce 1988). El criterio de Beale, Kato y Majda (1984) reduce la detección de explosión a $\int_0^T \|\omega\|_{L^\infty} \, dt$: la solución permanece suave en $[0,T]$ si y solo si esa integral es finita. La explosión exige que la vorticidad crezca lo bastante rápido como para dejar de ser integrable en el tiempo. Elgindi (2021, Annals of Mathematics) demostró formación de singularidades en tiempo finito para datos $C^{1,\alpha}$. Un avance genuino, pero por debajo del umbral suave ($C^\infty$). Sigue abierto si las soluciones suaves de Euler explotan en 3D.

Turbulencia. Aquí es donde la comparación entre Euler y Navier-Stokes se vuelve físicamente vívida, casi tangible.

En un flujo turbulento, la energía ingresa a grandes escalas (el tamaño de la tubería, el ala, la tormenta) y cae en cascada formando remolinos cada vez más pequeños. Esta es la cascada de energía y es uno de los fenómenos más sorprendentes de toda la física. En el fondo de la cascada, la viscosidad finalmente convierte la energía cinética en calor. Fin de la línea.

Euler captura la dinámica del rango inercial: transferencia de energía a través de escalas impulsada por la no linealidad. Pero no tiene un límite viscoso. La cascada no tiene fondo. No hay ningún mecanismo para convertir la energía cinética en calor a ninguna escala definida. Si la energía todavía puede disiparse en el límite no viscoso, lo que se llama disipación anómala, sigue siendo una cuestión profundamente abierta.

Es por eso que el modelado de turbulencias casi siempre utiliza Navier-Stokes. El número de Reynolds $\mathrm{Re} = UL/\nu$ indica qué tan ancha es la cascada: alto $\mathrm{Re}$ significa muchas décadas de escalas que separan la entrada de energía de la quema viscosa. La verdadera turbulencia vive en la tensión entre la cascada invisible que vierte energía hacia abajo y el corte viscoso que la destruye en las escalas más pequeñas.

La teoría de Kolmogorov de 1941 predice un espectro de energía $E(k) \sim \varepsilon^{2/3} k^{-5/3}$ en el rango inercial, la región donde no dominan ni el forzamiento a gran escala ni la disipación viscosa. La escala de disipación $\eta = (\nu^3/\varepsilon)^{1/4}$ establece el fondo de este rango. Por debajo de $\eta$, gana la viscosidad.

Las ecuaciones de Euler son el modelo formal $\nu = 0$. Pero interpretar las soluciones de Navier-Stokes como convergentes con las soluciones de Euler en el régimen turbulento es genuinamente sutil, y la cuestión de si la disipación de energía persiste en este límite (disipación anómala) es el contenido de la conjetura de Onsager. El lado rígido, que no muestra disipación para $u \in C^{0,\alpha}$ con $\alpha > 1/3$, fue probado por Constantin, E y Titi en 1994. El lado flexible, que construye soluciones disipativas de Euler por debajo de $C^{1/3}$, fue completado por Isett en 2018, basándose en el programa de integración convexa de De Lellis y Székelyhidi.

Para Navier-Stokes, la imagen en cascada está conectada directamente al balance de energía: $\varepsilon = \nu \langle |\nabla u|^2 \rangle$. La pregunta abierta es cruda. ¿Las soluciones de Navier-Stokes siguen siendo suaves durante el tiempo suficiente para que la teoría estadística de Kolmogorov esté matemáticamente justificada? El problema de existencia y suavidad es, en parte, preguntar exactamente esto: si la disipación viscosa es lo suficientemente fuerte como para controlar la cascada en todas las escalas, para siempre.

La diferencia entre Euler y Navier-Stokes es un término: $\nu \Delta u$. Ese término lo cambia todo.

Euler no es un Navier-Stokes simplificado. Es un sistema fundamentalmente diferente que comparte la mayor parte de su estructura. Y la elección importa en la práctica: elegir el modelo equivocado (Euler donde la viscosidad importa, Navier-Stokes donde no) puede arruinar una simulación por completo. Para ver las ecuaciones completas, consulte ¿Qué son las ecuaciones de Navier-Stokes?. Para conocer los obstáculos, consulte Por qué es difícil. Para conocer el premio, consulte El problema del milenio. Para flujo incompresible versus flujo compresible, consulte Navier-Stokes incompresible versus compresible.

El término viscoso $\nu \Delta u$ convierte un sistema no lineal de primer orden (Euler) en uno parabólico semilineal (Navier-Stokes). Lo que obtienes: disipación de energía, estimaciones a priori de orden superior y la estructura analítica de semigrupos subyacente a la teoría de Navier-Stokes construida por Leray en 1934 y ampliada por Fujita y Kato en 1964.

Sin embargo, esta regularización no es suficiente en 3D para cerrar el argumento de la regularidad global. Ni siquiera cerca. El Problema del Milenio de Clay pregunta precisamente si el suavizado parabólico en Navier-Stokes puede controlar la transferencia de energía no lineal en todas las escalas, para siempre. Para Euler, la pregunta paralela es igualmente cruda: ¿la ausencia total de suavizamiento garantiza una explosión en tiempo finito a partir de datos suaves? Nadie lo sabe.

Ambos problemas se encuentran en el centro de la teoría matemática de los fluidos, y compararlos revela exactamente qué es lo que la viscosidad te ayuda y qué no. La cuestión de la regularidad 3D, para cualquiera de los sistemas, sigue siendo uno de los problemas abiertos más difíciles de todo el análisis.