SINGULARIDADES A TIEMPO FINITO PARA LOS FLUIDOS EN TRES DIMENSIONES Historia de una conjetura

Comunicacin efectuada por la Dra. Denisse Sciamarella en la Academia Nacional de Ciencias de Buenos Aires en la sesin privada extraordinaria del 2 de noviembre de 2007

Ya se gana mucho cuando se logra reducir una multitud de investigaciones a la frmula de un solo problema1. I. Kant, Crtica de la Razn Pura

Resumen Este artculo se propone revisar brevemente la historia de un problema que nace con la formulacin de las ecuaciones diferenciales a derivadas parciales para los fluidos incompresibles en el siglo XVIII, y que no ha abandonado el terreno de la conjetura, pese a las numerosas tentativas de solucin que se han realizado en el ltimo siglo. Se ignora pues si las soluciones de las ecuaciones de Euler (en el caso invscido) o de Navier-Stokes, partiendo de condiciones iniciales regulares en tres dimensiones, se mantienen regulares para todo tiempo, o bien si la vorticidad diverge a un tiempo finito. Esta cuestin vuelve inciertas todas las teoras de turbulencia en tres dimensiones. Anotaremos aqu algunos comentarios sobre la historia del problema, particularmente para el caso de las ecuaciones sin viscosidad, y describiremos una serie de propiedades de estas ecuaciones que permiten conjeturar qu caractersticas debera tener una solucin singular de las ecuaciones de Euler que respetase las restricciones matemticas y fsicas de conservacin de la energa y de la circulacin. Abstract This article revisits briefly the history of a problem that is born in the eighteenth century with the formulation of the partial differential equations for incompressible fluids. In spite of the numerous attempts to solve the problem, the existence of singular solutions in three dimensions either for the Euler equations (in the inviscid case) or for the Navier-Stokes equations, remains conjectural. This question leaves in a quite uncertain state all theories of three-dimensional turbulence. We shall comment on some particular issues of the problem for the inviscid case, and we shall describe a series of properties fashioning an eventual singular solution of the 3D Euler equations in a scenario which respects the mathematical and physical restrictions dictated by conservation of energy and circulation.

1. Introduccin La existencia de soluciones singulares con energa inicial finita para las ecuaciones de los fluidos perfectos e incompresibles en tres di1 Man gewinnt dadurch schon sehr viel, wenn man eine Menge von Untersuchungen unter die Formel einer einzigen Aufgabe bringen kann.

395

mensiones es un problema abierto. Sin embargo, ya a fines de los aos 20, el problema de existencia y regularidad de las ecuaciones de Euler era de gran actualidad2. Jean Leray fue el primero en realizar un estudio profundo y sistemtico de la cuestin, tanto para el caso de Euler como para el de Navier-Stokes. En sus trabajos de 1933 y 1934 introdujo conceptos que seran esenciales para el desarrollo posterior de esta historia, como las soluciones autosemejantes y las soluciones dbiles (que Leray llamaba turbulentas). En particular, Jean Leray3 seal la posibilidad de un colapso a tiempo finito t* de las ecuaciones, que fuese de tipo autosemejante, con todas las escalas espaciales decreciendo como (t*-t)1/2 y la velocidad en la vecindad del punto singular creciendo como (t*-t)-1/2. Esta propiedad de autosemejanza permite una reescritura de las ecuaciones tal que si stas tienen una solucin regular no nula, dicha solucin corresponde a una solucin singular de las ecuaciones originales. La busca de soluciones de tipo autosemejante de las ecuaciones para los fluidos es una suerte de categora especfica dentro del concierto de los intentos por construir soluciones singulares. En trminos generales, podran distinguirse tres lneas de investigacin que corresponden a su vez a tres perspectivas distintas del problema. Una primera perspectiva, estrictamente matemtica4, se
2 L. Lichtenstein, ber einige Existenztze der Hydrodynamik homogener, unzusammendrckbarer, reibungsloser Flssigkeiten und die Helmholtzschen Wirbelstze, Math. Z 23, 89154; 309316 (1925). 3 J. Leray, Sur le mouvement dun liquide visqueux emplissant lespace, C. R. Acad. Sci. Paris 196 (1933) 527. 4 L. Caffarelli recuerda que el problema de la regularidad de las ecuaciones para los fluidos es un problema de autoconsistencia (y no de la capacidad de las ecuaciones para describir la realidad, que se sabe limitada a escalas no muy pequeas, en la medida en que es una ecuacin de la mecnica de medios continuos). Por otra parte, Caffarelli atribuye el origen del eventual problema de autoconsistencia a que las ecuaciones para los fluidos tienen la particularidad de combinar, en una misma expresin, cantidades que son naturalmente dinmicas (como la aceleracin), con cantidades que son naturalmente estticas (como el tensor de tensiones viscosas). A la hora de escribir las ecuaciones puede optarse, o bien por una escritura en coordenadas eulerianas (que privilegian la perspectiva esttica del punto espacial fijo), o bien por una escritura en coordenadas lagrangianas (que privilegian el seguimiento dinmico de la partcula de fluido). La impenetrabilidad de la materia no es transparente en coordenadas eulerianas. La aceleracin es una cantidad naturalmente dinmica en el sentido de que admite una escritura sencilla en coordenadas lagrangianas. No obstante, las ecuaciones para los fluidos se escriben usualmente en coordenadas eulerianas, que hacen intervenir la aceleracin de un modo no lineal, pero que admiten una escritura sencilla para la accin de la viscosidad (contenida ad hoc en el laplaciano de la velocidad, que representa macroscpicamente la disipacin de energa cintica a nivel molecular). De acuerdo con esta visin del problema, la posibilidad de resolucin dependera del planteo de una ley de escala euleriana.

396

basa en la demostracin de teoremas que podramos clasificar a su vez en teoremas de existencia y regularidad en formulaciones alternativas (soluciones dbiles, regularidad parcial5), teoremas condicionantes de la singularidad (que establecen desigualdades que deben verificarse necesariamente para una solucin de tipo singular6) y teoremas de no existencia (que eliminan entre los candidatos posibles a solucin singular algn tipo de solucin en particular7). El resultado de mayor repercusin en esta lnea de trabajo para las ecuaciones de Euler es un teorema condicionante de la singularidad conocido como teorema BKM. Fue obtenido por J. T. Beale, T. Kato y A. Majda en 19848. Este teorema demuestra que para una vorticidad inicial perteneciente a un espacio de Sobolev Hm (R3) con m>3/2, la existencia de una singularidad a tiempo finito t* tiene por condicin necesaria y suficiente que: (1) Para las ecuaciones de Navier-Stokes, el resultado ms citado es otro teorema condicionante conocido como teorema CKN9. L. Caffarelli, R. Kohn y L. Nirenberg demuestran en 1982 que el conjunto de puntos en los que una solucin podra ser singular (incluyendo a sus puntos inmediatamente vecinos) tiene necesariamente medida de Hausdorff unidimensional nula (es decir, que dicho conjunto de puntos no puede llenar una curva en el espacio-tiempo). La demostracin de este teorema depende enteramente de la accin regularizadora de la viscosidad. Esta condicin es altamente restrictiva: no descarta que haya singularidades en el escenario viscoso pero limita fuertemente su estructura espacio-temporal. De aqu que se considere la resolucin del problema sin viscosidad como un paso previo a la resolucin del problema viscoso10.
5 V. Scheffer, Partial regularity of solutions to the NavierStokes equations, Pacific J. Math. 66 (1976), pp. 535552. 6 J. T. Beale, T. Kato, A. Majda, Remarks on the breakdown of smooth solutions of the 3D Euler equations, Commun. Math. Phys. 94 (1984) 6166. 7 D. Chae, Comm. Math. Phys. 273 (1) 1-281 (2007). 8 J. T. Beale, T. Kato, A. Majda, Remarks on the breakdown of smooth solutions for the 3-D Euler equations. Commun. Math. Phys. 94 (1984), 61-66. 9 L. Caffarelli, R. Kohn, L. Nirenberg, Partial regularity of suitable weak solutions of the Navier-Stokes equations. Comm. Pure Appl. Math. 35 (1982), 771-831. 10 P. Constantin sostiene que el problema de colapso en Euler tiene mucha mayor relevancia en trminos fsicos de la que tiene el problema en Navier-Stokes, que es no obstante el ms conocido por ser uno de los Clay Millennium Problems.

397

La segunda lnea de investigacin surge con el perfeccionamiento de los mtodos numricos de simulacin que han permitido estudiar la evolucin de soluciones a partir de condiciones iniciales elegidas convenientemente y que ha sido ampliamente desarrollada en los aos ochenta y noventa, con resultados conspicuos pero no decisivos, dada la inestabilidad numrica propia de las ecuaciones. El teorema BKM facilit la tarea numrica en el caso invscido, en tanto que limit el nmero de cantidades a monitorear durante las simulaciones: el seguimiento de las derivadas primeras del campo de velocidades basta para detectar la aparicin de una singularidad en las simulaciones. J. D. Gibbon presenta una lista actualizada11 de los resultados numricos (a favor y en contra de la existencia de singularidades a tiempo finito) compilada originalmente por R. Grauer. Algunos de los autores que han trabajado en esta lnea son M. E. Brachet, A. Pumir, E. D. Siggia, R. M. Kerr, R. Pelz, R. Grauer, A. J. Chorin. Entre las condiciones iniciales estudiadas pueden mencionarse el vrtice de Taylor-Green, el par de vrtices antiparalelos, los flujos perfectos axisimtricos con circulacin no nula o los filamentos de vorticidad en una configuracin geomtrica con simetra cbica. La investigacin numrica del colapso ha sido enriquecida por la extensin del problema al plano complejo, buscando singularidades reales precedidas por singularidades complejas12. Sin embargo, es difcil establecer cun cerca de un colapso efectivo han llegado las simulaciones numricas. Sealaremos por ltimo una tercera va, menos transitada que las anteriores, que ha privilegiado la fsica del problema, analizando las restricciones impuestas por los principios de conservacin mediante la escritura de leyes de escala13, examinando mecanismos de inestabilidad14, 15 o haciendo intervenir ideas provenientes de las teoras de turbulencia16 desarrolladas, entre otros, por Kolmogorov y Onsager
J. D. Gibbon, Junio 2007 (http://www.ma.ic.ac.uk/~jdg/jdg250.pdf) U. Frisch, T. Matsumoto, J. Bec, Singularities of the Euler equation? Not out of the blue, J. Stat. Phys. 113 (761-781) (2004). 13 Y. Pomeau, Singularit dans lvolution dun fluide parfait, C. R. Acad. Sci. Paris Ser. II 321 (1995) 407. 14 Y. Pomeau, Remarques sur linstabilit dun vortex axial, C. R. Acad. Sci. Paris Ser. II 318 (1994) 865. 15 Es preciso distinguir entre inestabilidad en el marco de un problema consistente y colapso o crecimiento catastrfico en el marco de un problema que no es autoconsistente. La polisemia del trmino inestabilidad es frecuente en fsica clsica. Una solucin singular puede concebirse como una solucin catastrficamente inestable. 16 K. R. Sreenivasan, C. Meneveau, Singularities of the equations of fluid motion, Phys. Rev. A, 38 (6287-6295) (1988).
11 12

398

a partir de los aos 40. Las leyes de autosemejanza propuestas por Leray pueden clasificarse dentro de esta tercera rama, al igual que el escenario conjetural que presentaremos en el ltimo pargrafo. 2. Fenomenologa de las singularidades En un artculo reciente7, U. Frisch expone una serie de argumentos heursticos a favor de la existencia de singularidades a tiempo finito. El ms intuitivo de ellos es quizs el examen de la ecuacin para la vorticidad en fluidos perfectos: (2) La vorticidad es transportada por el fluido pero su magnitud aumenta o disminuye por accin del miembro derecho de la ecuacin (2), que controla la amplificacin no lineal de la vorticidad. Este trmino tiene dimensiones de vorticidad al cuadrado y por lo tanto es escalarmente compatible con una vorticidad cuya magnitud W diverge como: (3) En realidad, el operador vorticidad es vectorial y tiene tres autovalores asociados a tres autovectores ortogonales. La amplificacin de la vorticidad es posible slo si est alineada con el autovector correspondiente a un autovalor positivo. En consecuencia, el colapso est condicionado por propiedades no triviales de las ecuaciones, de modo que contar las potencias puede ser engaoso17. Por otra parte, las soluciones eulerianas presentan en muchos casos un comportamiento mucho menos singular del que predice este anlisis dimensional, a causa de un fenmeno conocido como remocin de la no linealidad y que consiste en la predominancia de un rgimen (rpido) en una sola direccin espacial que reduce la dimensionalidad efectiva del sistema. La reduccin de la dimensionalidad del problema es fatal para la subsistencia de una singularidad porque anula la accin del trmino que introduce el estiramiento de la vorticidad. Algunos autores sostienen que el mayor obstculo para demostrar
17 Dombre & Pumir, Turbulence: a tentative dictionary, editado por P. Tabeling et al., 1995.

399

regularidad de las ecuaciones para los fluidos a tres dimensiones es la rudimentaria comprensin que tenemos de la matemtica de la remocin de la no linealidad. Dicho esto, buscar una singularidad a tiempo finito equivale, por as decirlo, a comprender las condiciones de posibilidad para la accin de la amplificacin no lineal de la vorticidad. Este modo de concebir el problema es constitutivo de la tercera va de exploracin segn la clasificacin que introdujimos. En cuanto a la geometra de la hipottica singularidad, la mayor parte de los autores asume tcitamente que el eventual colapso sucede en una regin localizada en el espacio-tiempo, pese a que no es sencillo encontrar argumentos slidos a favor de esta hiptesis en la bibliografa. 3. Retrospectiva de los resultados numricos Segn R. Kerr18, el primer candidato que se examin para determinar si las ecuaciones de Euler o de Navier-Stokes en tres dimensiones (3D) admiten soluciones singulares es el vrtice de Taylor-Green, es decir, se utiliza una geometra peridica en el campo inicial de velocidades:

(4)

En 1983, Brachet et al. encuentran en este escenario y a partir de un mtodo pseudo-espectral de resolucin de las ecuaciones para el caso de Euler, una singularidad compleja que podra conducir a una singularidad real19. No obstante, en 1991, los mismos autores descartan esta posibilidad mediante un control sistemtico de la acumulacin de la vorticidad. E. D. Siggia es el primero en advertir que cuando dos tubos de vorticidad antiparalela se acercan, el estiramiento de la vorticidad se amplifica. Sin embargo, en esta geometra, la remocin de la no lineaR. M. Kerr, Fluid Dynamics Research 36 (2005) 249-260. M. E. Brachet, M. Meneguzzi, A. Vincent, H. Politano, P. L. Sulem, Phys. Fluids 4, 2845-2854 (1992).
18 19

400

lidad es crtica: los tubos de vorticidad se aplanan rpidamente. En 1993, Kerr estudia perturbaciones del par de vrtices en geometra peridica. La evolucin numrica de la vorticidad con mtodos pseudo-espectrales parece conducir a una singularidad potencial de las ecuaciones de Euler 3D a partir de una condicin inicial particular que fuerza el flujo a conservar su tridimensionalidad en la regin singular20. Contemporneamente comienza a estudiarse un tercer candidato: los flujos axisimtricos con circulacin no nula. En esta geometra se encontr una amplificacin espectacular de la vorticidad (de 400 veces su valor inicial) lejos del eje de simetra, que se asoci a una singularidad potencial21, hoy descartada. La estructura de las ecuaciones en el caso axisimtrico es comparable, lejos del eje de simetra, a las ecuaciones de Boussinesq 2D para un flujo estratificado, que no admiten singularidad alguna. La analoga se quiebra cerca del eje de simetra, de modo que la posibilidad de un colapso axial en escenario axisimtrico no ha quedado invalidada, tal como se ver ms adelante. Aos ms tarde, R. Pelz propuso el estudio de filamentos de vorticidad en una configuracin geomtrica con simetra cbica, anunciando una supuesta singularidad a tiempo finito22 caracterizada por una expansin cnica de los filamentos de vorticidad y acompaada por una evolucin del mximo de la vorticidad acorde con las leyes de escala que determinan la relacin (3). El intento de Pelz no es el primero ni el nico caso en el que se ha verificado esta ley de escala (al menos en un rango acotado, anterior a la singularidad conjetural). Tambin A. Pumir y E. D. Siggia la registraron en sus simulaciones numricas. En la siguiente seccin, mostraremos que esta ley de escala puede asociarse a una propiedad de autosemejanza de las Fig. 1. Mximo de la vorticidad ecuaciones de Euler y de Naviermultiplicado por (t*-t) , tomado del Stokes, que discuti por primera 16 artculo de R. Pelz vez Jean Leray en 1933.
20 21 22

R. M. Kerr. Phys. Fluids A 5, 1725-1746 (1993). R. Grauer, T. C. Sideris, Phys. Rev. Lett. 67:25 (1991). R. Pelz, Phys. Rev. E 55, 1617 - 1626 (1997).

401

4. El legado de Jean Leray En su trabajo de 1933, Jean Leray considera la propiedad de autosemejanza para las soluciones de las ecuaciones de Navier-Stokes 3D. Tambin para las ecuaciones de Euler puede derivarse una ley de autosemejanza, a partir de la conservacin de la circulacin (ntese que la circulacin, invariante en el caso invscido, tiene las mismas unidades que la viscosidad, invariante en el caso viscoso). De acuerdo con esta propiedad, toda cantidad sigue la siguiente ley de escala: (5) con y ajustables segn el caso (por ejemplo, si la cantidad es la velocidad, =1/2 y =-1/2). No obstante, la conservacin de la energa impide un colapso autosemejante en un punto, segn lo demuestra Yves Pomeau en un artculo de 199523. El programa de Jean Leray es interesante en la medida en que permite transformar las ecuaciones originales en un nuevo problema numrico que no necesita resolucin infinita para extraer conclusiones acerca de la singularidad. Sin embargo, en 1996 se demostr que las ecuaciones de Navier-Stokes no tienen soluciones autosemejantes no triviales24. Recientemente, se prob adems la no existencia de singularidades autosemejantes para las ecuaciones de Euler25. Estos resultados descartan la posibilidad de singularidades autosemejantes stricto sensu, pero no descartan la posibilidad de aplicar el programa de Leray con una ley de autosemejanza parcial, como la que propone Yves Pomeau en 199626. En este trabajo Pomeau propone aplicar las leyes de autosemejanza, conservando separadamente una dependencia en el tiempo no afectada por la ley de autosemejanza. Con esta consigna, la velocidad se escribe : (6)
23 24 25 26

Y. Pomeau, C. R. Acad. Sci. Paris Ser. II 321, 407 (1995). Neas, Ruczicka & Sverk , Acta Math. 176, 283 (1996). Chae, Comm. Math. Phys. 273 (1) 1-281 (2007) (Euler 3D). Y. Pomeau, J. Plasma Phys. 56 (1996) 3.

402

Ahora bien, para obtener un sistema de ecuaciones en el que una solucin singular del sistema original no lo sea en el sistema transformado, es posible aplicar una transformacin independiente tal que la singularidad eventual suceda para tiempo infinito en el sistema transformado: (7) La propiedad de autosemejanza queda as restringida a una autosemejanza puramente espacial. Ntese que el sistema de ecuaciones es autnomo en el tiempo y que una solucin regular del sistema en representa una solucin singular del sistema para Euler 3D. La dependencia logartmica de la transformacin temporal, que podra parecer arbitraria, ha sido observada en simulaciones numricas. 5. Construccin de un escenario conjetural Para construir un escenario conjetural favorable a la irrupcin de una singularidad a tiempo finito es preciso considerar las restricciones geomtricas que provienen de la conservacin de la energa en la zona singular27: (8) Hemos llamado D al nmero de coordenadas espaciales afectadas por la propiedad de autosemejanza. Segn (8), la energa en la regin singular permanecer acotada si =0. Este caso no es una opcin de inters puesto que si la circulacin se anula, aparece una infinidad de cantidades conservadas que impiden la realizacin del criterio BKM: (9)
27 Las soluciones singulares con energa infinita carecen de inters. De hecho existen soluciones singulares con energa infinita en el caso de Euler 2D, para el cual se ha demostrado existencia y regularidad global de las soluciones inicialmente regulares.

403

Por otra parte si 0, D=2 es la nica alternativa que permite conservar automticamente la energa. Tomar D=2 significa realizar una nueva restriccin a la ley de autosemejanza, que se aplicara nicamente a dos coordenadas espaciales para el problema tridimensional. En este caso, puede concebirse un escenario singular con axisimetra, tal que la coordenada axial no est afectada por la transformacin autosemejante. Una transformacin de estas caractersticas sera compatible con una singularidad que no ocurre en un punto del espacio sino en una lnea (es decir, sobre el eje de simetra). La transformacin global que resulta entonces de aplicar estas restricciones es la siguiente: (10) A diferencia de (6), la aplicacin de este conjunto de transformaciones no da lugar a un sistema autnomo en el tiempo . Sin embargo, la prdida de autonoma se ve compensada por una propiedad de invariancia de las nuevas ecuaciones frente a una transformacin discreta tal que: (11) Esta propiedad expresa que una solucin del sistema transformado es tal que al cabo de un perodo de tiempo , se recupera la misma geometra con la coordenada axial dividida por un factor f. Este factor debera ser impar si se piensa en una geometra con rollos de circulacin alternada, de modo que se conserve la circulacin en el interior de cada celda. Esta propiedad puede verse como un solitn en el espacio de los nmeros de onda. Por otra parte, la vorticidad transformada obedece a la ley de escala que establece el teorema BKM. Un ejemplo de estructura autosemejante de estas caractersticas aparece en los bordes de las hojas de algunas plantas como solucin de la ecuacin de elasticidad28. Argumentos puramente geomtricos muestran que estas estructuras obedecen una ley de cascada hacia las escalas ms pequeas impuesta por el crecimiento no lineal de la cantidad de tejido.
28

B. Audoly. PRL 91 (8) 2003.

404

En el caso de las ecuaciones de Euler, esta estructura puede entenderse como una suerte de cascada dinmica y determinista de tipo Kolmogoroff-Onsager, tal que los vrtices a gran escala se vuelven vrtices a escalas pequeas en un sentido bien definido (ver fi gura 2)29. Ntese que puede conjeturarse adems que la solucin real se curva en un anillo, puesto que es previsible que una solucin de estas caractersticas no sea sensible a una curvatura finita. En el marco de este escenario conjetural, sugerimos que la solucin que debe buscarse es una solucin axisimtrica que dependa de las variables espaciales con una longitud tpica que se vuelva cada vez ms pequea a medida que el tiempo t se aproxima a la singularidad t*. Dicha contraccin en longitud, sin Fig. 2. Estructura embargo, no operar de manera continua y en de la solucin con f=3 consecuencia, el proceso de estiramiento de la vorticidad que permitira alcanzar la singularidad, sera discreto en el tiempo. Las perspectivas del programa que corresponde a este escenario conjetural dependen de la posibilidad efectiva de encontrar este tipo de soluciones mediante mtodos numricos, eventualmente auxiliados por alguna consideracin analtica previa. Puede argumentarse que la estructura de la solucin que resulta natural en este escenario es compleja en el espacio-tiempo, pero esto no sera en absoluto sorprendente puesto que las ecuaciones de Euler son complejas en s mismas, como lo seala el propio Euler en su trabajo de 175730. En definitiva, la estructura de la solucin conjeturada es tal que la energa acumulada en las grandes escalas se transfiere a las pequeas escalas en promedio, manteniendo la misma distribucin global en el espacio de los nmeros de onda. Tales ideas no difieren esencialmente de lo que se supone que sucede en los fluidos turbulentos reales. Hemos visto, pues, que la cuestin de las singularidades a tiempo finito es un problema abierto que exige el concurso de ideas provenientes de la matemtica y de la fsica para socorrer las dificultades
29 30

Y. Pomeau, D. Sciamarella. Physica D Vol 205/1-4 pp 215-221 (2005). Mmoires de lacadmie des sciences de Berlin 11, 1757, pp. 274-315.

405

propias de las simulaciones numricas en los escenarios de colapso. En la estructura analtica de las ecuaciones para los fluidos en tres dimensiones se cifra, quizs, el ltimo de los grandes problemas de la fsica clsica.
sciamarella@limsi.fr

406