La ecuaci on de Navier-Stokes.

Un reto fsico-matem atico para el siglo XXI

Juan Luis V azquez
Departamento de Matematicas. Univ. Aut onoma de Madrid
Monografas de la Real Academia de Ciencias de Zaragoza. 26: 3156, (2004).
Resumen
Examinamos en estas notas el reto matematico de las ecuaciones de Navier-
Stokes en el marco de Los Problemas Clay y concedemos importancia al hecho de
que un problema de ndole intelectual pura tenga relaci on con una problem atica que
afecta a la Fsica, a la Ingeniera y a la vida diaria de la Sociedad. En el terreno de
las matematicas puras, que es aquel en que se juega el reto, intentamos explicar cu al
es la dicultad que ha eludido a algunas de las mejores mentes del mundo cientco
por siglo y medio. En concreto, planteamos el problema bajo el punto de vista de
los problemas de explosi on o blow-up.
1 Retos matematicos. Los Problemas del Milenio
Las matem aticas tienen m ultiples facetas, desde la construcci on de sosticadas teoras
intelectuales a la modelizaci on del mundo real, de Pit agoras a Newton, de Gauss a Ein-
stein, etc. Hay en las mejores matem aticas una tensi on permanente entre el arte y la
utilidad, entre las capacidades de crear y descubrir en el reino matem atico y las de ex-
plicar y controlar el mundo que nos rodea
1
. Pero las matem aticas son una cultura con
muchas aspectos y matices y uno de los ingredientes que m as fascina a los profesionales
es el reto de los problemas abiertos: el largo discurrir, a veces arduo, a veces tranquilo,
de la construcci on de una teora matem atica se va encrespando en dicultad seg un se
avanza y en casos frecuentes (y al parecer de los matem aticos, afortunados) cristaliza en
una dicultad muy especca, una dura roca, que pide a gritos el concurso a una mente
excelente o la combinaci on de varias de tales mentes, para que ataquen al monstruo, lo
pongan a nuestros pies y nos permitan as seguir avanzando.
1
Una detallada discusi on de esta dualidad puede encontrarse en [32].
31
El a no 1900 fue un a no extraordinario para esa parte de la Humanidad (mnima, pero
entra nable para nosotros) que se apasiona por los grandes problemas abiertos matem aticos.
En efecto, en ese a no el gran matem atico alem an David Hilbert plante o en el Congreso
Internacional de Pars sus famosos 23 problemas que tuvieron en el mundo matem atico
del siglo XX tanta o m as resonancia que las tesis de Lutero en el mundo norteuropeo
2
.
Al cumplirse un siglo de este notable hecho, diversas iniciativas pretenden dar la replica
al gran hombre, cf. por ejemplo los libro de Arnold-Atiyah-Lax-Mazur [2], la lista de Smale
en ese volumen, o el libro de Engquist-Schmid [10]. El miercoles 24 de mayo de 2000 se
anunci o en el Coll`ege de France de Pars el Conjunto de los 7 problemas matem aticos
que constituyen los Millennium Prize Problems, patrocinados por el Clay Mathematics
Institute. Recordando a Hilbert, pretenda reejar 7 de los m as importantes problemas
abiertos de la ciencia matem atica al comienzo del nuevo siglo
3
. Estos problemas recorren
las diversas areas las matem aticas puras y aplicadas y son
1. P versus NP (Teora de la computaci on)
2. Conjetura de Hodge (Geometra algebraica)
3. Conjetura de Poincare (Geometra y topologa)
4. Hipotesis de Riemann (Teora de n umeros y An alisis)
5. Existencia de Yang-Mills y salto de masa (Fsica te orica)
6. Existencia y regularidad para las ecuaciones de Navier-Stokes (Mec anica de Fluidos
y EDPs)
7. Conjetura de Birch y Swinnerton-Dyer (Geometra aritmetica algebraica).
Por el cuidado en la selecci on de problemas, por la seriedad con que procede la Fundaci on
y en vista de la reacci on habida en los cuatro a nos pasados, esta lista parece destinada
a ser famosa e inuyente. De acuerdo con los tiempos de optimismo y expansi on que
corren para las matem aticas, la lista incluye problemas abiertos importantes en temas
variados tanto de la matem atica pura como de la aplicada. La computaci on te orica, ese
hijo aventajado que le ha surgido a las matem aticas en siglo xx gura con su problema.
Nosotros nos centraremos en el problema 6, que une fsica de medios continuos, ecua-
ciones en derivadas parciales, an alisis funcional y un n umero prometedor de aplicaciones
a c alculos de la vida diaria. Su resoluci on hara justicia a la visi on de la matem atica
como herramienta b asica de la ciencia y la ingeniera y hara un gran favor a la popu-
laridad del matem atico te orico en el mundo real; pues si seguimos la m axima de que
2
Para una referencia a estos problemas ver por ejemplo [15].
3
La resolucion de cada problema valdra al autor un premio de 1 mill on de d olares.
Toda la informaci on sobre el premio y los problemas se puede obtener en la direcci on
http://www.claymath.org/prize problems.
32
las Matem aticas son el lenguaje en que se piensa la Ciencia, sera prudente que la comu-
nidad matem atica diera una cierta prioridad a tener el tal lenguaje listo y reluciente en
los campos en que las ciencias llaman a nuestra puerta.
La ecuaci on de Navier-Stokes en el portal del Clay
Mathematics Institute
Waves follow our boat as we meander across the lake, and turbulent air
currents follow our ight in a modern jet. Mathematicians and physicists
believe that an explanation for and the prediction of both the breeze and
the turbulence can be found through an understanding of solutions to the
Navier-Stokes equations. Although these equations were written down
in the 19th Century, our understanding of them remains minimal. The
challenge is to make substantial progress toward a mathematical theory
which will unlock the secrets hidden in the Navier-Stokes equations.
http://www.claymath.org/millennium/Navier-Stokes Equations/
2 Que es un uido. Realidad e idealizaci on
Un uido es un medio continuo, es decir un agregado que se mueve (se deforma)
en forma continua al transcurrir el tiempo, t, y forma un todo continuo en el espacio
x = (x
1
, x
2
, x
3
). Pensamos en tal medio como compuesto de partculas puntuales. No hay
en ello ninguna objecci on de tipo matem atico; en los ultimos siglos las matem aticas se han
inclinado frecuentemente por el estudio de magnitudes continuas frente a las discretas, y
en tal hip otesis se basan la geometra diferencial, las ecuaciones diferenciales y una gran
parte de los procesos estoc asticos. Aunque no el c alculo numerico, evidentemente.
Ahora bien, la mec anica es una ciencia fsica que pretende describir el comportamiento
de los cuerpos (s olidos, lquidos, gases o plasmas) y apoya por tanto su formulaci on
matem atica en la experiencia y la teora. A este respecto, el concepto de medio continuo
es una abstracci on que, estrictamente hablando, est a en contra de una teora incontestable
y ampliamente vericada, la teora at omica, que describe la realidad a escala inferior al
nan ometro (10
9
m; por ejemplo, el radio del atomo m as peque no, el de hidr ogeno, mide
alrededor de medio angstr om, 0, 5 10
10
m). Un matem atico a la usanza cl asica tiene
tendencia a resolver tal situaci on rechazando de plano al candidato que tropieza con una
tal contradicci on. Pues bien, la teora de los uidos no acepta tal rechazo. Se trata por
el contrario de construir una teora matem atica que sirva de modelo a una parcela de
33
la Realidad; un modelo renuncia a la categ orica exactitud y ha de ser juzgado por una
parte desde el punto de vista matem atico, en que se tiene en cuenta la belleza, extensi on
y profundidad de las matem aticas originadas; y por otra parte desde el punto de vista
fsico, por su ecacia en reejar y en permitirnos intuir y conocer la realidad subyacente,
explicar su funcionamiento observado y predecir su evoluci on futura. Hoy da, en el
perodo dorado de la ciencia computacional, a nadiramos como esencial la capacidad de
calcular y controlar ecazmente en base a este modelo.
La aproximaci on del medio continuo resulta ser tan efectiva que se olvida con frecuen-
cia de que se trata de un modelo. Es con todo importante tener en cuenta las hip otesis de
partida. As, la consideraci on del uido como un medio continuo se basa en que este con-
siste en un agregado de partculas en movimiento ca otico y que la distancia caracterstica
de este movimiento, que recibe el nombre tecnico de recorrido libre medio entre coli-
siones, , es mucho menor que las longitudes experimentales, que tomamos tpicamente
como mayores de 10
5
cm, de forma que s olo percibimos un cierto promedio de los procesos
individuales entre partculas. Ahora bien, en ocasiones (piensese en los gases enrarecidos
de la materia interestelar) el recorrido libre medio puede ser mucho mayor, la hip otesis
del continuo cesa de ser v alida y no quedar a m as remedio que recurrir a teoras m as
detalladas que tengan en cuenta los movimientos moleculares (como la teora cinetica de
gases). Precisamente, una de las lneas m as activas de la investigaci on matem atica actual
es la obtenci on de las leyes del medio continuo como lmite de las teoras cineticas.
Una vez establecido que trabajamos en escalas muy superiores al recorrido libre medio
de las partculas podemos olvidar el no detalle de su movimiento individual y ver en torno
a cada punto del espacio x y para cada instante t un volumen elemental representativo, V ,
de tama no mesoscopico
4
, es decir mucho mayor que y mucho menor que las longitudes
macrosc opicas en las que deseamos trabajar. Este volumen elemental, que se denomina
tambien partcula uida, es considerado como un medio continuo y homogeneo; en el
se dene una velocidad media del movimiento de ese elemento, que ser a para nosotros la
velocidad puntual en este punto e instante, u(x, t). Para decirlo en forma m as matem atica,
admitimos que existe un valor lmite de los promedios cuando V se hace muy peque no
en la escala intermedia, es decir es muy peque no pero a un muy por encima de la escala
at omica. Del mismo modo, se habla de las dem as magnitudes macrosc opicas, como la
densidad, que es la masa por unidad de volumen en el sentido de lmite antedicho, y
la presion, que es la fuerza normal por unidad de area ejercida por el uido sobre una
supercie ideal inmersa en el o rode andolo. Esta magnitud tiene una evidente explicaci on
fsica, por ejemplo en un gas encerrado en un recipiente, como el efecto neto de las
colisiones de las partculas individuales reales sobre la supercie de las paredes. A estas
4
del griego, mesos, medio, skopein, mirar; intermedio entre macroscopico y microscopico.
34
tres magnitudes b asicas se unir an otras en el curso del estudio, como temperatura, energa
interna, entropa, viscosidad,... seg un el modelo sea m as o menos complejo. La existencia
de estos valores medios para las magnitudes fundamentales en cada partcula uida es lo
que constituye la hip otesis de continuidad del medio.
3 Ecuaciones fundamentales de los uidos
Una vez identicado el tema de estudio, con sus aproximaciones admitidas y las va-
riables que describen el sistema, el modelizador ha de proceder a escribir las leyes que
relacionan a esas variables y nos permitir an predecir el funcionamiento del sistema. Si-
guiendo a Newton [26], estas leyes son diferenciales. Al involucrar el espacio y el tiempo
son ecuaciones en derivadas parciales, EDPs. Siendo las variables que describen el sistema
varias, se tratar a de un sistema de ecuaciones. Finalmente veremos que, para poner
la guinda al pastel, las ecuaciones son no lineales. Llegaremos pues a un Sistema de
Ecuaciones en Derivadas Parciales de Evoluci on No Lineales, que son uno de los temas
en donde est a la frontera del saber matem atico en nuestros das, tres siglos despues de
Newton.
Las leyes fundamentales son las siguientes: ley de conservaci on de la masa y ley de
conservaci on de la cantidad de movimiento. Las introducimos a continuaci on. El lector
que, en su prisa por conseguir el premio, se interese s olo por Navier-Stokes puede proceder
a la seccion 5.
3.1 Ley de Conservaci on de la Masa
Esta ley enuncia matem aticamente el principio seg un el cual estamos describiendo un
fenomeno de transporte de partculas que no se crean ni se destruyen. Los c alculos
que siguen son muy sencillos! La variable fundamental es la densidad (x, t). En la
formulaci on m as geometrica, llamada lagrangiana, la ley dice
d
dt
( J) = 0, (3.1)
donde J es el jacobiano de la deformaci on que sucede entre el momento t = 0 y el momento
t en la situaci on de las partculas y d/dt indica la derivada a lo largo de las trayectorias
que tiene como f ormula
d
dt
=

t
+u =

t
+
3

1
u
i

x
i
(3.2)
en funcion de las derivadas parciales usuales; u = (u
1
, u
2
, u
3
) es la velocidad, que va a ser
en un momento la variable fundamental. As pues, si J es la medida de la expansi on de
35
volumen a lo largo de una trayectoria, como la masa se conserva, (3.1) simplemente dice
que densidad volumen = constante.
En un artculo fundamental titulado Principes generaux du mouvement des uides
y publicado en 1755, Leonhard Euler tradujo esta ley de conservaci on de masa mediante
el calculo de la derivada en t de J:
dJ
dt
= J.(div u). (3.3)
Creanlo o consulten la demostraci on en [33]. Con este lema se deduce que
d
dt
(J) =
d
dt
J + J( u) = 0. (3.4)
Escribimos u = div u. Como J ,= 0 por razones fsicas evidentes, se tiene la version
en derivada total respecto al tiempo:
d
dt
+ u = 0. (3.5)
A un podemos transformar la derivada total en parcial usando (3.2), llegando as a la
formula: /t +u + ( u) = 0, que nalmente da

t
+ (u) = 0 (3.6)
Esta es la forma llamada euleriana de la ley de conservaci on de masa. N otese que es no
lineal, pues contiene un termino producto.
3.2 Ley de conservaci on de la cantidad de movimiento
La LCCM describe la din amica del medio uido. Comienza como un captulo de la
mecanica newtoniana armando que la variaci on de la cantidad de movimiento se debe a
la acci on de fuerzas,

du
dt
= f
e
(x, t) +f
c
(x, t). (3.7)
No hay gran novedad en el termino f
e
que es la fuerza debida a campos externos, como el
gravitatorio. La particularidad de los uidos reside en la fuerza de contacto f
c
. Identicar
sus componentes llev o siglo y medio y en la tarea participaron Johann y Daniel Bernoulli
y L. Euler que describieron la componente de presi on como
f
p
= p.
Digno de menci on es Augustin Cauchy que a nadi o el an alisis del concepto de tensor de
esfuerzos como forma general del efecto de contacto, en 1822. En los decenios que siguen
varios prominentes cientcos identicaron el efecto que debe a nadirse al gradiente de
36
presion para obtener el conjunto de fuerzas de contacto. Entre ellos la posteridad ha
seleccionado los nombres de Claude-Louis Navier que propuso en 1822 la f ormula del
efecto viscoso [25], y sir George Gabriel Stokes, que culmin o en 1845 la modelizaci on
con una deducci on racional y matem aticamente elegante, al uso actual [29]. Seg un estos
autores, en los uidos usuales, llamados newtonianos, el esfuerzo de contacto toma la
forma de una fuerza viscosa, de la forma
f
v
(x, t) = ( u) + u.
Este es un hito hist orico de la modelizaci on matem atica de los problemas de la Fsica.
Aparecen nuevas variables o par ametros cuyo signicado fsico ha de ser examinado:
la presi on p(x, t) es una variable reconocida como relevante desde la Antig uedad. Los
par ametros de y describen la viscosidad y podemos suponerlos en primera aproxi-
maci on constantes medibles que dependen del uido. Poniendo todo junto, llegamos a la
ley

u
dt
+u u

= p + ( u) + u +f
e
(x, t) (3.8)
N otese que el termino no lineal u u proviene del paso de derivadas totales en tiempo
a derivadas parciales (derivada de la funci on de funcion). Se llama termino convectivo o
de transporte y en la coordenada i vale
(u u)
i
=
3

j=1
u
j
u
i
dx
j
. (3.9)
Puede parecer una simple complicaci on tecnica pero no es s olo eso: su nolinealidad, aunque
sea solo cuadr atica, es la raz on de que las soluciones de la ecuaci on puedan en principio
desarrollar singularidades y los matem aticos no han logrado decidir si este fen omeno
ocurre o no tras incesantes esfuerzos te oricos y computacionales durante todo el pasado
siglo. Explicar tal hecho ser a el punto culminante de estas notas en la secci on 8.
El sistema formado por las dos leyes anteriores, (3.6) y (3.8), contiene cuatro ecua-
ciones, la LCM escalar y la LCCM vectorial, e implica a cinco variables, la densidad , las
tres componentes de la velocidad u y la presion p. Es pues indeterminado y necesita una
o varias nuevas leyes que son las que hacen intervenir el balance de energa e involucran
nuevas variables como la temperatura. La temperatura es fundamental en la descripci on
ajustada de muchos ujos reales, como los atmosfericos o marinos, como todo el mundo
sabe. Concluimos pues que la descripci on de los uidos reales implica modelos de una
notable envergadura matem atica, a un hoy da difciles de abordar, incluso a nivel com-
putacional. Fen omenos climatol ogicos de gran interes, como El Ni no, escapan a un casi
completamente a la capacidad de explicaci on de los modelos matem aticos y m as a un a la
prediccion. Referimos a los textos cl asicos de Batchelor [3] o Landau-Lipshitz [19] para
37
una introducci on a los sistemas completos de los uidos reales. Quien se interese por un
punto de vista m as matem atico puede consultar el libro de Chorin y Marsden [7] o el
curso del autor [33]
5
.
4 Las ecuaciones de Euler. Fluidos perfectos
De las dicultades del modelo matem atico completo de los uidos eran conscientes
los precursores, los Bernoulli y Euler, en el siglo XVIII, y propusieron hallar condiciones
razonables que simplicaran el problema y lo redujeran a un problema susceptible de ser
analizado matem aticamente. La reducci on tom o dos vas: la primera, considerar uidos
que no se comprimen, llamados uidos incompresibles; la segunda considerar uidos que
no sufren efectos viscosos, llamados uidos perfectos.
4.1 Incompresibilidad
Examinemos la primera de estas simplicaciones. La condici on de uido incompresible
nos dice que el factor de expansi on J debe ser constante igual a 1 por lo que la LCM en
su primera versi on lagrangiana (3.1) dice que d/dt = 0, mientras que el lema de Euler
dice que div u = 0. En total, la hip otesis de incompresibilidad nos lleva a mejorar la ley
de conservaci on de masa en forma de dos condiciones
d
dt
= 0, u = 0. (4.10)
Podemos simplicar a un un poco m as la situaci on a nadiendo la hip otesis de homogeneidad
de la densidad. Basta con pedir homogeneidad espacial = (t) para obtener de d/dt = 0
que /dt = 0, o sea que debe ser constante tanto en espacio como en tiempo. Ello
es muy conveniente pues hace desaparecer como variable del sistema, que pasa a tener
tantas ecuaciones como inc ognitas. Tan radical simplicaci on es con todo aceptable en
los estudios hdr aulicos, en oceanografa y muchas veces en las cuestiones atmosfericas.
4.2 Ecuaciones de Euler. Fluidos ideales
Tratemos ahora de simplicar las fuerzas de contacto. Euler supuso que podamos partir
del estudio de uidos que son sensibles a la presi on, pero no a los llamados esfuerzos
cortantes, es decir, a lo que llamaramos arrastre de capas contiguas. En ese caso ponemos
simplemente f
c
= f
p
= p y la ecuacion din amica nos queda

u
dt
+u u

+p = f
e
(x, t). (4.11)
5
Note el lector curioso que, como se describe la ultima referencia, existen tambien diversos uidos no
newtonianos con viscosidades dadas por leyes mas complejas, que son de gran aplicaci on en la industria
moderna.
38
Si a esta ecuaci on vectorial unimos la incompresibilidad tenemos
u = 0. (4.12)

Estas son las cuatro ecuaciones que gobiernan la evoluci on de las inc ognitas u y p. Nos
queda a un ligarlas con la evoluci on de que viene regida por la ley d/dt = 0. Pero es
comodo y usual suponer homogeneidad con lo que es una constante. Un uido perfecto,
incompresible y homogeneo se llama uido ideal. El sistema de Euler de los uidos ideales
consiste en las leyes (4.11) y (4.12). Se suele poner = 1 para simplicar.
El sistema de Euler - SE en lo que sigue - es un sistema de ecuaciones en derivadas
parciales de primer orden no lineal. El metodo m as natural para los sistemas de tipo
hiperb olico es el metodo de caractersticas, y ello se adapta bien a la ecuaci on din amica
salvo por la no linealidad. Es bien conocido que incluso las ecuaciones diferenciales ordi-
narias pueden generar discontinuidades en tiempo nito. En todo caso, como sucede en
todas las EDPs, la resoluci on del SE exige de condiciones iniciales y de contorno adecuadas
para que de pueda identicar una soluci on unica.
Tosio Kato prob o en 1967 el siguiente teorema de existencia y unicidad de soluci on
global cl asica en dimensi on dos de espacio; global quiere decir que existe para todo t > 0,
clasica que todas las derivadas que aparecen en las ecuaciones son funciones continuas y
las ecuaciones se satisfacen en todo punto, [17].
Teorema 1 Sea un dominio acotado del plano con frontera compuesta de m + 1
curvas cerradas simples regulares
0
,
1
, ,
m
, de las que
0
rodea a todas las dem as
y estas no se contienen unas a otras. Denotemos por Q
T
el cilindro espacio-temporal
[0, T], T > 0. Sea f (x, t) un campo de fuerzas de la clase de H older C
1+,0
x,t
(Q
T
),
para un 0 < < 1, y sea u
0
(x) un dato de velocidad inicial en la clase C
1+
(), que es
ademas solenoidal, u
0
= 0.
Entonces existen un par de funciones, u(x, t), p(x, t), que satisfacen el sistema SE en
el sentido cl asico, siendo continuas en Q
T
, clausura de Q
T
, tanto ellas como todas sus
derivadas que aparecen en las ecuaciones. Adem as, u satisface la condici on de contorno
u n = 0 en , (4.13)
as como la condicion inicial
u(x, 0) = u
0
(x) para x . (4.14)
Por ultimo, u es unica y p es unica salvo adici on de una funcion arbitraria del tiempo.
Nos interesa saber si un resultado similar es cierto en tres dimensiones de espacio. Se
sabe que el resultado es cierto si admitimos que el intervalo de denici on de la soluci on
39
en el tiempo sea peque no (de tama no dependiendo de los datos). Es lo que se llama
problema local en el tiempo. Se plantea entonces el resultado de existencia y unicidad de
una soluci on cl asica denida para todo t > 0, es decir, una solucion global. Queda as
formulado el Problema Abierto de las Ecuaciones de Euler.
Aunque este problema no forma parte de la Lista de Clay, es considerado por la
comunidad matem atica de tanto interes como el de las ecuaciones de Navier-Stokes que
discutiremos a continuaci on. En este momento no se tiene una hip otesis mayoritariamente
compartida sobre una u otra de las opciones del problema abierto.
5 Las ecuaciones de Navier-Stokes. Fluidos viscosos
La extremada simplicaci on inherente a los uidos perfectos, que no admiten el arrastre
lateral (contradiciendo a Newton y a la realidad!), fue notada desde sus comienzos por
los precursores y puesta muy de relieve por DAlembert. Aunque seg un esa teora, un
barco otara en el agua, sin embargo los aviones no volaran, grave defecto que retras o
el comienzo de la ciencia aeron autica! Remediar esta situaci on con un modelo de ni-
vel superior nos ha llevado de la mano de Cauchy, Navier y Stokes a considerar en la
seccion 3 uidos m as realistas que incluyen efectos de viscosidad. Cuando se impone la
incompresibilidad y se supone = 1, el sistema de Navier-Stokes SNS, toma la forma
u
dt
+u u = p + u +f
e
(x, t)
u = 0.
(5.15)
Siguiendo la costumbre, usamos la notaci on = / para el par ametro que caracteriza
la propiedad de viscosidad de cada uido real. El operador u u viene dado en
coordenadas por la expresi on (3.9) con suma de j = 1 a n (n = 3 en el problema fsico).
Este es el sistema de EDPs al que queramos llegar y que gura en el anuncio del Instituto
Clay. Necesitamos datos adicionales, iniciales y /o de contorno, dependiendo del dominio
donde se plantee el problema y del tipo de datos que tengan interes para las aplicaciones.
En el ultimo siglo y medio, estas ecuaciones han pasado el test de la aplicaci on siendo
utilizadas por fsicos e ingenieros con notable exito en muy diversos campos, entre ellos la
hidr aulica, la meteorologa y la aeron autica, y su rango de validez est a bien establecido.
Pertenecen ya, junto a las ecuaciones de Newton, Schr odinger y Maxwell, a las ecuaciones
b asicas de la Fsica.
40
Claude-Louis Navier (1785-1836) y George Gabriel Stokes (1819-1903)
5.1 Problemas matem aticos
No hay ninguna objecci on matem atica a que el problema de construcci on de soluciones
y de su unicidad y regularidad se plantee dentro de un espacio R
n
de un n umero de
dimensiones n 1, siendo el caso n = 3 el interesante para la ciencia aplicada y el n = 1
trivial.
Contexto del Problema de Cauchy
6
. El dominio espacial es todo R
3
, o en general,
todo R
n
, n = 1, 2, .... Se plantean pues las ecuaciones (5.15) para x R
n
, t > 0. Se
a naden datos iniciales
u(x, 0) = u
0
(x), x R
n
. (5.16)
Se supone que u
0
es un campo vectorial de clase C

y de divergencia nula en R
n
. El
campo f , tambien regular, representa la acci on de las fuerzas externas como la gravedad,
pero no es esencial para el tema que nos ocupa en este momento. Dado que el problema
se plantea en el espacio innito, razones de coherencia con la sica y de comodidad
matem atica sugieren someter a los datos y a la soluci on a condiciones de decrecimiento
r apido del tipo
[

x
u
0i
(x)[ C
,K
(1 +[x[)
K
, K (5.17)
[

m
t
f
i
(x)[ C
,m,K
(1 +[x[ + t)
K
, m, K (5.18)
6
Seguimos aqu en lo esencial la exposicion de Charles Feerman en la presentacion del problema para
el Clay Institute, [11].
41
Declaramos admisibles las soluciones cl asicas u, p C

(R
n
(0, T)) tales que

u
2
(x, t) dx < t,
lo que signica que la energa cinetica es acotada, una condici on muy razonable desde el
punto de vista de la mec anica y tambien de las EDPs.
El problema de decisi on se formula como sigue: decidir cu al de los dos enunciados
responde a la realidad.
(PSNS-1) Problema de existencia y regularidad. Tomamos constante po-
sitiva y f = 0 y suponemos que u
0
satisface las condiciones de regularidad, divergencia
nula y decaimiento r apido en el innito enumeradas. Demostrar que existen funciones u
y p C

(R
n
(0, )), u de energa nita, que resuelven el sistema SNS en el sentido
clasico y u toma el dato inicial u
0
.
(PSNS-2) Problema de colapso de la soluci on. Tomamos > 0. Encontrar un
dato inicial u
0
y una funci on f con las condiciones enumeradas, tales que no existe una
soluci on cl asica (u, p) del sistema SNS con condici` on inicial (5.16).
A este problema alternativo se une el problema de unicidad:
(PSNS-3) Problema de unicidad. Dada una teora de existencia de soluciones
fsicamente aceptable (como las soluciones debiles de Leray de la pr oxima secci on o las
soluciones obtenidas computacionalmente), demostrar que la soluci on es unica durante
todo el tiempo de existencia.
Contexto de Cauchy-Dirichlet. El dominio espacial es un abierto conexo de R
3
,
o en general, de R
n
, n = 1, 2, .... En general se toma acotado y de borde regular. Se
imponen condiciones de no deslizamiento en el borde, u = 0 en = . Problemas
similares a los anteriores se plantean.
Contexto con condiciones peri odicas. En un intento de enfocar la atenci on de
los investigadores sobre las dicultades esenciales el siguiente problema m as articial se
admite como marco del desafo: se toma como dominio un cubo =
i
(0, ll
i
) y se supone
que u
0
y f son funciones suaves en el cierre de que se extienden por periodicidad a todo
R
n
. Se pide entonces que las funciones extendidas sean C

. Se buscan soluciones cl asicas

y peri odicas. Los problemas (PSNS-1) y (PSNS-2) se formulan mutatis mutandis.
5.2 Resultados parciales
Se trata pues de un Problema de Decisi on. Lo mismo que en el caso de las Ecuaciones
de Euler, el problema ha sido decidido en dimensi on n = 2, y la respuesta es: la opci on
(PSNS-1) es cierta, ver Ladyzhenskaya [18].
42
El problema completo en n = 3 ha resistido todo los intentos hasta ahora. Centr andose
en el problema de Cauchy que es el m as interesante, varios casos parciales est an decididos:
(i) Si sustituimos T = por un tiempo peque no entonces (PSNS-1) es cierto. Ello
fue ya demostrado por Jean Leray en sus artculos fundamentales de 1933-34.
(ii) Si u
0
es peque no en un sentido a precisar, o si es fuertemente oscilante, (PSNS-1)
es cierto.
(iii) Si (PSNS-2) fuese cierto y una soluci on no pudiese ser continuada m as all a de un
tiempo T > 0, entonces la velocidad se debe hacer innita cuando t T.
Este fenomeno se llama tecnicamente blow-up en ingles o explosi on en castellano y de
el hablaremos en detalle en la Secci on 7, pues es nuestra estrella invitada matem atica.
6 Soluciones debiles del sistema SNS. La obra de Leray
Jean Leray hizo en los a nos 1933-34 una contribuci on fundamental al problema SNS.
Tras obtener existencia de soluci on cl asica para datos regulares durante un peque no in-
tervalo de tiempo (0, T), se encontr o con el problema de que no le era posible controlar a
priori el crecimiento de la velocidad y sus derivadas al avanzar el tiempo, lo cual arruinaba
la esperanza de construir una soluci on global. Enfrentado a esta dicultad, opt o por el
procedimiento ya seguido por Hilbert en el tratamiento del problema de Dirichlet para el
operador laplaciano y plante o el problema en el marco de las llamadas soluciones debiles
en los espacios de energa que hoy llamamos de S obolev, ver [20, Le3].
6.1 Solucion debil
La idea es simple: si u es una soluci on cl asica de SNS denida en Q = R
n
(0, T) y
= (
i
(x, t)) es un campo solenoidad, de clase C
2
y con soporte compacto, multiplicando
la ecuaci on de Navier-Stokes por e integrando por partes se tiene

Q
u,

t
) +

i
u
i
u
j

i
x
j
+ u, ) +f , ) dxdt = 0. (6.19)
Denotamos por u, v) el producto escalar en R
n
para m as claridad. N otese que el termino
de presion desaperece,

p( ) dxdt = 0, dado que hemos elegido las funciones test
de divergencia nula. Podemos ahora testear la condici on de divergencia nula de forma
similar multiplicando la ecuci on u = 0 por una funci on test de clase C
2
y con soporte
compacto para dar

Q
u,
x
) dxdt = 0. (6.20)
Denici on. Toda funci on u = (u
i
) localmente integrable en espacio y tiempo y tal que
(6.19), (6.20) se satisfacen para todo campo vectorial test y escalar con las propiedades
43
enumeradas, se llama una soluci on debil del sistema SNS
7
.
Por lo tanto una soluci on cl asica es debil, pero una soluci on debil solo satisface una
serie de tests y podra ser un objeto m as general.
6.2 Programa debil
A partir de a nos 50 del pasado siglo, y gracias en parte a la obra previa de Leray y a causa
del trabajo sobre el SNS, los matem aticos han abrazado con entusiamo la mentalidad de
las soluciones debiles y han contagiado este entusiasmo al mundo de la computaci on a
traves de los elementos nitos. Una idea fundamental en las EDPs del siglo xx ha sido
pues la de construir soluciones debiles de una serie de problemas; se demuesta luego la
unicidad de tales objetos matem aticos; en un tercer paso se trata de probar (mediante
tecnicas a veces muy sosticadas) que tales soluciones debiles son en realidad soluciones
en el sentido clasico. El programa no siempre cumple este objetivo, pues en algunos casos
las soluciones debiles pueden no ser regulares (contiene conjuntos de singularidad) o no ser
unicas (como sucede en las leyes de conservaci on de la din amica de gases estudiadas por
Riemann); en ese caso es preciso a nadir condiciones de seleccion (condiciones de entropa
en el caso citado).
6.3 Singularidades y turbulencia
Turbulencias en un uido
Leray fue capaz de construir solu-
ciones debiles del sistema SNS de en-
erga cinetica nita,

u
2
(x, t) dx ni-
to para todo t, pero la regularidad de
tales objetos se resisti o en dimension
n = 3. Tampoco fue posible probar
en dimension n = 3 la unicidad de
tales soluciones, que es otro proble-
ma fundamental abierto. La presen-
cia de singularidades fue conjetura-
da por Leray y le sirvi o como posible
explicaci on del fenomeno fsico de la
turbulencia. Seg un esta hip otesis,
incluso para datos regulares las solu-
ciones en tres dimensiones pueden de-
sarrollar en un tiempo nito singula-
7
Esta formulaci on es la usual hoy da, actualizada respecto a la original de Leray.
44
ridades en la forma de puntos donde la vorticidad

= rot (u) se hace innita.
La teora de soluciones debiles ha sido luego elaborada por matem aticos como E.
Hopf, O. A. Ladyzhenskaya, J. Serrin, J. L. Lions, G. Prodi, T. Kato, R. Temam y otros
muchos
8
.
7 Que es un problema de explosi on o blow-up
Analicemos un momento el problema que se nos presenta con las posibles singulari-
dades en un marco m as general, lo cual permitir a obtener una visi on m as amplia de la
interrelaci on de los problemas de Euler y Navier-Stokes con otros problemas.
7.1 El mundo no lineal y sus peculiaridades
Numerosos procesos de las ciencias aplicadas se modelan por medio de sistemas de ecua-
ciones de evolucion que involucran operadores diferenciales como los arriba vistos. El
tratamiento matem atico tiene como objeto obtener problemas bien propuesto, para lo
cual se a naden datos iniciales y de contorno, se suministra un adecuado marco funcional
y eventualmente se imponen condiciones de compatibilidad. Problema bien propuesto
quiere decir para el matem atico que existe una soluci on en el marco descrito, es unica y
depende continuamente de los datos (estabilidad).
Las teoras matem aticas cl asicas involucran operadores lineales para los que existe
hoy da una enorme teora matem atica desarrollada en el marco del An alisis Funcional.
Por suerte existen importantes teoras fsicas que se modelan en forma lineal en su rango
de aplicaci on usual, como son la teora electromagnetica y la teora de propagaci on del
calor. Sin embargo, muchos otros modelos importantes son no lineales, y entre ellos se
cuentan la teora de la relatividad y la de los uidos. Se ha comprobado que tales teoras
tienden a una dicutad matem atica mayor y que exhiben un n umero de propiedades que
no se dan en los modelos lineales. Adem as, se ha visto que estos nuevos fen omenos o
propiedades reejan aspectos esenciales de la realidad que se pretenda describir, por lo
que volver la vista al mundo lineal, m as sereno y regular, no resuelve nada, salvo como
primera aproximaci on.
Una de las m as notables propiedades que distinguen el mundo no lineal es precisamente
la que nos ocupaba al nal de la secci on precedente, a saber, la posibilidad de que datos
8
Franceses, italianos, alemanes, ingleses, irlandeses como Stokes, norteamericanos, japoneses y rusos;
pueblos ilustres a traves de sus cientcos. Es triste observar como hasta hace nada las matematicas
espa nolas no aparecan en la ciencia mundial. El autor confa que en una futura Lista de los Fluidos del
Siglo XXI la situaci on cambie sustancialmente.
45
perfectamente regulares den lugar a una evoluci on que (i) est a bien propuesta en el sentido
matem atico para tiempos peque nos, (ii) en un determinado tiempo la soluci on cl asica deja
de existir pues se genera una singularidad. N otese que pueden existir singularidades en
problemas lineales, pero estas deben ser ya patentes en la regularidad de los datos o
coecientes adecuadamente examinados. En cambio, en los problemas no lineales, las
singularidades surgen del mecanismo interno a la ecuaci on, incluso a partir de datos y
coecientes extremadamente regulares.
La forma m as simple en que se observan singularidades espont aneas en un problema
de evoluci on es aquel en que la variable o variables tienden a innito cuando el tiempo se
acerca a un valor nito T > 0. Esto es lo que se llama fen omeno de blow-up o explosi on.
7.2 Blow-up para ecuaciones diferenciales ordinarias
El contexto m as elemental en que se observa el blow-up es la teora de ecuaciones diferen-
ciales ordinarias (EDOs). Y el ejemplo m as simple, y a la vez enormemente representativo
lo suministra la ecuacion del crecimiento cuadr atico: se considera una variable real escalar
Y = Y (t) que obedece a la ley
Y
t
= Y
2
, t > 0; Y (0) = a. (7.21)
Si el dato inicial es a > 0, se sigue immediatamente que existe una unica soluci on denida
en un intervalo temporal 0 < t < T con T = 1/a, y dada por la f ormula
Y (t) =
1
T t
. (7.22)
Vemos pues que la evoluci on est a descrita por una funci on regular para t < T. Cuando
t T

(lmite por la izquierda), vemos que la soluci on explota, Y (t) . No solo eso,
tambien sabemos cual es la tasa de crecimiento cerca de la explosi on, Y (t) = O((T t)
1
).
Este sera para nosotros el ejemplo elemental de explosi on.
Arrancando de este ejemplo afortunado (por simple y representativo), los matem aticos
han extendido el concepto de explosi on y han realizado estudios de cu ando, c omo y d onde
sucede en toda una serie de diferentes problemas y contextos de la matem atica y la ciencia
aplicada. En general se trata de que una o m as de las variables de un sistema se hagan
innitas al acercarse a un tiempo nito T, el tiempo de explosi on, que impide que la
soluci on pueda ser continuada globalmente en el tiempo, al menos en el sentido original.
En algunos casos la explosi on sucede en una derivada de una variable del sistema. Una tal
explosi on de derivada se admite como explosi on del sistema si impide la demostraci on
de existencia de solucion m as all a de T.
Una primera extensi on del ejemplo elemental de explosi on la proporcionan las EDOs
de la forma Y
t
= Y
p
con p > 1 (caso superlineal), que el lector no tendr a dicultad en
46
integrar. Pero no explota si 0 < p < 1, caso en el que problema es la falta de unicidad.
Nosotros nos encontraremos m as adelante con el caso p = 3 en el estudio del SNS. Mas
generalemte, podemos considerar la ODE
Y
t
= f(Y ), (7.23)
con f positivo y continuo; la condici on de Osgood

1
ds/f(s) < (7.24)
es necesaria y suciente para que la soluci on que arranca con dato inicial positivo Y (0) = a
explote en tiempo nito. Siguiendo el camino de generalizaci on, podemos considerar
sistemas Y
t
= f(t, Y ) con variable vectorial u R
n
. Entonces, tenemos blow-up por las
mismas razones si f es superlineal con respecto a Y para [Y [ grande.
Resumiendo, el estudio de las ODEs proporciona ejemplos y tecnicas basicos para la
teora matem atica de los fen omenos explosivos. Cuando se extienden a otros ambitos,
no siempre se encontrar an f ormulas explcitas como las anteriores, pero el matem atico
halla al menos utiles sucientes para resolver los problemas de decisi on e incluso para
estimar cu ando, d onde y c omo explota la soluci on. Tal tarea se ha cumplido con exito en
los ultimos decenios en un n umero importante de ecuaciones y sistemas de ecuaciones en
derivadas parciales de la Fsica Matem atica. Desgraciadamente, no es a un el caso en los
problemas de Euler y Navier-Stokes.
8 Blow-up o no blow-up, esa es la cuesti on
Un buen artculo de matem aticas ha de tener alg un c alculo de verdad. Veamos
ahora cuales son los c alculos b asicos de la teora debil para el SNS y porque las cosas se
tuercen en dimension tres y no en dos. Una teora debil suele basarse en tres ingredientes:
un buen marco funcional, un procedimiento de aproximaci on por problemas resolubles
y estimaciones a priori sobre el comportamiento de las eventuales soluciones y de sus
aproximantes que permitan pasar al lmite en el proceso.
8.1 Marco funcional
El marco se establece primero para la variaci on espacial a tiempo jo. Las velocidades han
de ser campos vectoriales u(t) L
2
(R
n
) con gradientes u(t) L
2
(R
n
)
n
y divergencia
nula (en el sentido debil (6.20))
9
. Tales funciones vectoriales forman el espacio V . Si no
pedimos que los gradientes sean funciones sino solo quiz a distribuciones tenemos el espacio
9
Siguiendo la tradici on en problemas de evoluci on escribimos a veces u(t) para abreviar u(x, t).
47
H. N otese que V es un subespacio cerrado del espacio de Sobolev cl asico (H
1
(R
n
))
n
,
mientras H (L
2
(R
n
))
n
. Ambos espacios V y H son espacios de Hilbert. Introducimos
las notaciones
(u, v) =

u, v) dx, ((u, v)) =

i

u
x
i
,
v
x
i

dx, (8.25)
para elementos de V (y de H en su caso). Usamos adem as las notaciones
[u[
2
= (u, u), |u|
2
= ((u, u)). (8.26)
Podemos ya formular las soluciones debiles dentro de estos espacios. As, multiplicando
formalmente la ENS por una funci on vectorial v V e integrando queda la identidad
variacional, b asica en lo que sigue:

du(t)
dt
, v

+ ((u(t), v)) + b(u(t), u(t), v) = (f (t), v) (8.27)

Aqu el termino de transporte u(t)u(t) de la ecuacion de NS da de s tras integraci on por
partes b(u(t), u(t), v), un termino no lineal que hemos de vigilar. Hay varios resultados
tecnicos que estiman su inuencia. He aqu el lema b asico:
Lema 2 La formula
b(u, v, w) =

u
i
v
j
x
i
w
j
dx (8.28)
dene una forma trilineal acotada en V V V .
8.2 Problemas aproximados. Problema de Stokes.
Son diversos y forman la parte tecnica de la disciplina. Referimos al lector a los libros de
Temam [30, 31] o de Constantin-Foias [9]. El punto de apoyo m as importante consiste en
hacer un an alis completo del problema reducido en que se suprime el termino no lineal y
la ecuaci on queda en la forma
u
t
+p = u +f
e
(x, t), u = 0. (8.29)
Este problema se llama Problema de Stokes. He aqu el resultado que se obtiene utilizando
los metodos del An alisis Funcional (a nal de cuentas, el teorema de Lax-Milgram).
Teorema 3 Para todo dato inicial u
0
H y toda funci on f L
2
(0, T : L
2
(R
n
)
n
) existe
una unica u L
2
(0, T : V ) que es soluci on debil del sistema de Stokes y tal que u es
continua en t [0, T) con valores en V

(el espacio dual de V ) y se toma el dato inicial

u
0
.
48
Una vez obtenido u no es difcil obtener p salvo constantes espaciales. El estudio
estacionario previo a la resoluci on del problema pasa por denir el laplaciano como un
operador A autoadjunto, no acotado y no negativo con dominio
D(A) = u H : u H.
8.3 Estimaciones no lineales
Las dicultades est an pues en la parte lineal de la formulaci on variacional descrita en
(8.27). Veamos las estimaciones a nivel formal.
Poniendo v = u(t) en la formulaci on debil tenemos
1
2
d
dt
[u(t)[
2
+ |u(t)|
2
= (f (t), u(t)) |f |
V
|u(t)|, (8.30)
pues se demuestra facilmente que b(u(t), u(t), u(t)) = 0. Integrando (8.30) se obtiene la
ley de conservaci on de la energa, que para f = 0 toma en la forma usual
1
2
[u(t)[
2
+

T
0
|u(t)|
2
dt =
1
2
[u(0)[
2
, (8.31)
donde el termino integral describe la energa disipada por el sistema. El termino no lineal
u u no tiene pues inuencia a este nivel y obtenemos un control a priori para las
soluciones
[u(t)[ C
1
,

T
0
|u(t)|
2
dt C
2
, (8.32)
con constantes dependientes de las normas de u
0
y f pero no de T. Leray utiliz o estas
estimaciones para construir su teora debil.
Trabajando de nuevo formalmente, suponemos que u(t) D(A) y multiplicamos por
u(t). Tras integrar por partes obtenemos esta vez

du(t)
dt
, Au(t)

+ ((u(t), Au(t))) + b(u(t), u(t), Au(t)) = (f (t), Au(t)). (8.33)

Tras algunas manipulaciones la relaci on puede ser escrita como
1
2
d
dt
|u(t)|
2
+ [Au(t)[
2
+ b(u(t), u(t), Au(t))
1

[f [
2
+

4
[Au(t)[
2
. (8.34)
El termino no lineal no desaparece ahora!
Final feliz para n = 2. Seguimos en dimensi on dos estim ando el termino no lineal
mediante las inmersiones de Sobolev en la forma:
Lema 4 Si n = 2 y u V , v D(A), w H, entonces
[b(u, v, w)[ C[u[
1/2
|u|
1/2
|v|
1/2
[Av[
1/2
[w[
49
Usando este lema, llegamos a
d
dt
|u(t)|
2
+
3
2
[Au(t)[
2

[f [
2
+ C[u(t)[
1/2
|u(t)|[Au(t)[
3/2
(8.35)
Usando la desigualdad de Young acotamos el ultimo termino por
2

[Au(t)[
2
+ C

[u[
2
|u|
4
.
Llegamos pues a
d
dt
|u(t)|
2
+ [Au(t)[
2

[f [
2
+ C

[u(t)[
2
|u(t)|
4
. (8.36)
Este es el momento importante: la estimaci on obtenida, junto con las ya obtenidas (8.32),
permite probar mediante una tecnica llamada desigualdad de Gronwall que
|u(t)| C
3
,

T
0
[Au(t)[
2
dt C
4
, (8.37)
con constantes dependientes de las normas de u
0
y f , pero no de T. La primera de ellas
es una estimaci on de la norma L
2
de los gradientes de velocidad (en particular de la
vorticidad) que es uniforme en el tiempo. La segunda controla derivadas segundas en L
2
del espacio-tiempo.
Estas estimaciones son sucientes para actuar en los problemas aproximados, que
usualmente son aproximaciones nito-dimensionales del tipo llamado Galerkin, pasar al
lmite y demostrar la existencia de soluci on global regular para datos regulares.
Es muy interesante ver un segundo como se aplica el truco Gronwall. Llamemos
Y (t) = 1 +|u(t)|
2
. Entonces la estimaci on (8.36) implica que
Y

(t) C(t)Y (t) (8.38)

una inecuaci on diferencial ordinaria (IDO) de tipo cuadr atico, muy parecida a nuestro
ejemplo elemental de explosi on u

= u
2
, salvo por el signo de desigualdad, que va en la
direccion adecuada y no causa problemas, y por el coeciente
C(t) = C

[u(t)[
2
|u(t)|
2
,
del cual sabemos que es integrable en el tiempo debido a (8.32). Gronwall nos dice que
en esas circunstancias Y (t) esta acotado superiormente independientemente del tiempo.
Final no feliz para n = 3. En dimension tres estimamos el termino no lineal mediante
las inmersiones de Sobolev de forma menos efectiva:
Lema 5 Si n = 3 y u V , v D(A), w H, entonces
[b(u, v, w)[ C|u||v|
1/2
[Av[
1/2
[w[
50
Manipulaciones como las anteriores conducen a una IDO de la forma
Y

(t) Y
3
(t) (8.39)
que no excluye la explosi on en tiempo nito. Omitimos los detalles pues nos parece que
ya hemos abusado de la atenci on del lector, pero cf. [31].
9 En caso de haber explosi on
Enfrentados a la posibilidad de explosi on en tiempo nito, los investigadores han
querido saber pormenores sobre tal fen omeno si llegara a producirse. Hay dos tipos de
resultados relacionados con este tema
9.1 Geometra del conjunto singular
Se supone que f es regular (o nula) y u
0
regular y se dene el conjunto singular E de la
soluci on debil u como el conjunto de puntos (x, t) tales que u no es acotada en ning un
entorno de (x, t). En caso u fuese acotada en un entorno no es difcil probar que u es C

en ese entorno.
En 1976 V. Scheer introdujo ideas de teora geometrica de la medida para estimar el
conjunto E. Esta estimaci on fue mejorada por L. A. Caarelli, R. Kohn y L. Nirenberg
en 1982. Denen medidas de Hausdor parab olicas T
r
en el espacio-tiempo y concluyen
que para toda soluci on con unas condiciones de crecimiento razonables
T
5/3
(E) = 0. (9.40)
Existe una prueba simplicada por Lin [21] de este resultado, que muchos consideran
el mas importante tras los trabajos de Leray. Dado que la medida parab olica cuenta
el tiempo como espacio al cuadrado (9.40) impide singularidades que se propaguen a lo
largo de lneas de la forma x = (t). Concluimos: un conjunto singular, de existir, es un
conjunto ralo y raro.
9.2 Formas y tasas de divergencia
Otra posibilidad de dar luz al problema es la de investigar que pasara en caso de explosi on
con diversas cantidades relevantes, como la vorticidad, y cu ales podran ser las tasas
y perles de explosion. En el primer aspecto los trabajos m as notables se reeren al
problema gemelo de Euler; podemos citar el famoso artculo de Beale-Kato-Majda en
1984 [4], que dice que el supremo espacial de la vorticidad ha de diverger cuando se
integra en tiempo.
51
En cuanto a los perles, tras mucho especular con perles autosemejantes, hoy se
buscan perles mucho m as complejos.
10 Explosi on para Ecuaciones en Derivadas Parciales
10.1 Blow-up y combustion
El estudio del blow-up no se ha encontrado con tantas dicultades en otros tipos de EDPs
y ha adquirido notable madurez en algunas areas. Quiz a el area m as estudiada sean las
ecuaciones de Reacci on Difusi on, que en la forma m as simple se escriben
u
t
= u + f(u), (10.41)
donde f es como en la secci on 7. A nadimos al fen omeno evolutivo de la ODE la compli-
caci on de la estructura espacial (la dependencia de x). La motivaci on aplicada viene de
una disciplina relacionada con los uidos, la Teora de la Combusti on. Reero al lector
a los libros de Bebernes and Eberly [5] y Samarskii et al. [27], o al reciente artculo
survey de V. Galaktionov y el autor [12], donde se organiza el examen el campo desde el
punto de vista de la llamada Lista de Preguntas: en que problemas se da el blow-up,
cuando ocurre, d onde, c omo, a que velocidad diverge la soluci on, es posible continuar la
soluci on y el problema de describir las avalanchas termicas. A lo que se a nade el problema
computacional con sus problemas de estabilidad anexos.
10.2 Blow-up y el Problema Clay n umero 3
Nuestro ultimo tema se reere a un desarrollo reciente y m as bien espectacular. El
Problema 3 de la lista Clay llama a resolver la conjetura de Poincare sobre la estructura
de las 3-variedades. Una forma de ataque en el intento de clasicaci on ha sido el hacer
evolucionar supercies riemannianas mediante un motor relacionado con su curvatura.
R. Hamilton [13, 14] propuso utilizar el ujo de Ricci, lo que le condujo a un problema
de singularidades en tiempo nito, es decir a un problema de blow-up. La aparici on no es
casual: estas ecuaciones se parecen algo a los casos aqu mencionados de Navier-Stokes y
Reacci on-Difusion en el sentido de que todas ellas son versiones no lineales de la ecuaci on
del calor u
t
= u.
Las noticias recibidas a lo largo de 2004 apuntan a que David Perelman, matem atico
ruso, ha resuelto la conjetura de Poincare (o esta muy cerca de hacerlo) [1]. Lo que
conrma el extraordinaria importancia de los problemas de blow-up en las matem aticas
actuales
10
.
10
Nota de lectura: el an alisis de singularidad hecho por Perelman se basa en la autosemejanza.
52
11 Comentarios nales
Terminamos estas notas con algunas cuestiones que suscita este reto matem atico.
- Se resolver a el problema de Navier-Stokes en los pr oximos a nos?
Hay opiniones para todos los gustos. Charles Feerman termina as su report para
el Clay Institute: Los metodos est andar de las EDPs parecen inadecuados para resolver
el problema. Probablemente necesitamos nuevas y profundas ideas. Pues ya lo saben,
busquen nuevas ideas.
- Tendr a consecuencias practicas la soluci on del reto?
Las opiniones son tambien de lo m as diverso a este respecto: muchos investigadores
limitan su respuesta al campo de la matem atica pura y para ellos los grandes retos
matem aticos son la sal de la profesi on, al acicate para elaborar nuevas y profundas teoras,
como ha sucedido con el Teorema de Fermat, cuya utilidad inmediata no puede ser menor
para la vida diaria (pero nos puede dar una sorpresa).
Este no es el caso de las ecuaciones de los uidos, que intervienen en aspectos cru-
ciales de la vida moderna, de los que destacamos: la meteorologa, el estudio del clima, la
aeron autica, la oceanografa, la hidr aulica, el estudio del ujo sanguneo, la explotaci on
de los recursos de gas y petr oleo y el control de la contaminaci on. En todos estos cam-
pos el esfuerzo computacional que se est a haciendo es enorme y continuo. Y es preciso
se nalar que no solo se trata evidentemente de los modelos incompresibles sino que incluye
los modelos compresibles, los uidos no newtonianos y los uidos en medios porosos que
estudia el autor de las presentes notas. Los protagonistas del esfuerzo pr actico son con-
scientes de la falta de una adecuada comprensi on te orica de los sutiles mecanismos que
subyacen a los complicados fen omenos observados.
Cambiar a pues nuestra comprensi on te orica del SNS este panorama? Lo dejo a la
consideraci on del amable lector.
Este texto tiene su origen en una conferencia impartida en la Academia de Ciencias
de Zaragoza el 15 de enero de 2004.
53
Referencias
[1] M. Anderson. Geometrization of 3 - manifolds via the Ricci Flow, Notices Amer. Math.
Soc, 51, 2 (2004), pp. 184193 (Breve e intensa presentacion del problema de Poincare y la
obra de D. Perelman).
[2] V. Arnold, M. Atiyah, P. Lax, B. Mazur, Mathematics: Frontiers and Perspectives,
AMS Publications, 2000.
[3] G.K. Batchelor, An Introduction to Fluid Dynamics, Cambridge Univ. Press, 1967.
[4] J. T. Beale, T. Kato, A. Majda, Remarks on the breakdown of smooth solutions for
the 3-D Euler equations. Comm. Math. Phys. 94 (1984), no. 1, 6166.
[5] J. Bebernes, D. Eberly. Mathematical Problems from Combustion Theory, Appl.
Math. Sci. 83, Springer-Verlag, New York, 1989.
[6] L. A. Caffarelli, R. Kohn, L. Nirenberg, Partial regularity of suitable weak solutions
of the Navier-Stokes equations, Comm. Pure Applied Maths., 35 (1982), pp. 771-831.
[7] A.J. Chorin, J.E. Marsden, A Mathematical Introduction to Fluid Mechanics,
Springer-Verlag, 1980.
[8] P. Constantin, Some open problems and research directions in the mathematical study
of uid dynamics, in [10], pages 353360.
[9] P. Constantin, C. Foias, Navier Stokes equations, Chicago Lectures in Mathematics,
Univ. of Chicago press, Chicago, 1988.
[10] B. Engquist (Editor), W. Schmid (Editor), Mathematics Unlimited - 2001 and Beyond,
Springer Verlag, Berlin, 2001.
[11] C. Fefferman. Clay Mathematics Institute, Millenium Problems. Ocial problem de-
scription, http://www.claymath.org/millennium/Navier-Stokes

Equations/.
[12] V. A. Galaktionov, J. L. V azquez. The problem of blow-up in nonlinear parabolic
equations, Discrete Contin. Dynam. Systems A 8, 2 (2002), 399433. (A Special Issue:
Current Developments in PDE, Guest Editors: Carlos Conca, Manuel del Pino, Patricio
Felmer, and Ra ul Man asevich) (Proceedings of the Summer Course in Temuco, Chile, jan.
1999).
[13] R. Hamilton. Three manifolds of positive Ricci curvature, J. Dierential Geom. 17 (1982),
255306.
[14] R. Hamilton. The formation of singularities in the Ricci ow, Surveys in Dierential
Geometry, vol. 2, International Press, 1955, pp. 7136.
54
[15] Mathematical Developments arising from Hilbert Problems, Proceedings of Symposia in
Pure Mathematics, XXVIII, Amer. Math. Soc, Providence, 1976.
[16] A. Jackson, Mathematical challenges of the XXI century, Notices Amer. Math. Soc., vol.
47, no 10 (2000), pp. 1271-1273.
[17] T. Kato, On classical solutions of the two-dimensional non-stationary Euler equation,
Archive Rat. Mech. Anal. 25 (1967), pp. 188200.
[18] O.A. Ladyzhenskaya, The mathematical theory of Viscous Incompressible ow, Gor-
don and Breach, 1969.
[19] L.D. Landau, E.M. Lifshitz, Mecanica de Fluidos, Reverte, Barcelona, 1991.
[20] J. Leray, (L1)

Etude de diverses equations non lineaires et de quelques probl`emes que
pose lhydrodynamique, Jour. Math. Pures Appl. 12 (1933), pp. 182.
(L2) Essai sur les mouvements plans dun liquide visqueux que limitent des parois, Jour.
Math. Pures Appl. 13 (1934), pp. 331418.
(L3) Essai sur le mouvement dun liquide emplissant lespace, Acta Math. 63 (1934), pp.
193248.
(L4) Oeuvres scientiques, Tome II,

Equations aux derivees partielles reelles et mecanique
des uides. Reedicion SMF, 1998.
[21] F. H. Lin, A new proof of the Caarelli-Kohn-Nirenberg theorem, Comm. Pure Appl.
math. 51, (1998), 241-257.
[22] J. L. Lions, Quelques methodes de resolution des probl`emes aux limites non lineaires,
Dunod, Paris, 1969.
[23] P.L. Lions, Mathematical models in uid mechanics, 2 vol umenes, Oxford Univ. Press,
Oxford, 1996/1998.
[24] A. Majda, A. Bertozzi, Vorticity and incompressible ows, Cambridge Univ. Press,
2002.
[25] C.L.M.H. Navier, Memoire sur les lois du mouvement des uides, Mem. Acad. Sci. Inst.
France 6 (1822), 380440.
[26] I. Newton, Philosophiae Naturalis Principia Mathematica, Pepys, London, 1687. En
castellano: Principios matem aticos de la Filosofa Natural, Alianza Ed., Madrid, 1987.
[27] A. A. Samarskii; V. A. Galaktionov; S. P. Kurdyumov; A. P. Mikhailov. Blow-
up in problems for quasilinear parabolic equations, Nauka, Moscow, 1987 (in Russian).
English transl.: Walter de Gruyter, Berlin, 1995.
[28] V. Scheffer, Turbulence and Hausdor dimension, in Turbulence and the Navier-Stokes
Equations, Lecture Notes in Math. 565, Springer Verlag, 1976, pp. 94112.
55
[29] G.G. Stokes, On the theories of internal friction of uids in motion, Trans. Cambridge
Philos. Soc. 8 (1845).
[30] R. Temam, Navier-Stokes equations, North-Holland, New York, 1979.
[31] R. Temam, Navier-Stokes equations and Nonlinear functional analysis, SIAM, Philadel-
phia, 1983.
[32] J. L. V azquez The importance of Mathematics in the development of Science and
Technology, Boletn Soc. Esp. Mat. Aplicada, no 19, 2001, pg. 69112. Versi on es-
pa nola retocada: Matematicas, Ciencia y Tecnologa: una relaci on profunda y duradera,
http://www.uam.es/personal_pdi/ciencias/jvazquez/
[33] J. L. V azquez, Fundamentos matematicos de la Mecanica de Fluidos, Notas Curso Doct.
UAM, 2003. http://www.uam.es/personal_pdi/ciencias/jvazquez/coursejlv.html
Direcci

on:
Juan Luis V azquez, Dpto. de Matem aticas,
Univ. Aut onoma de Madrid, 28049 Madrid, Espa na
Tel. 34-91-3974935, FAX 34-91-3974889
Correo electr onico: juanluis.vazquez@uam.es
htpp://www.uam.es/juanluis.vazquez
56