1. Introduccin.

Aquellos tiempos o A comienzos de los a os 1970, cuando yo era estudiante de Ciencias Matemticas n a en la Universidad Complutense de Madrid, Enrique Outerelo reuni en un seminario o a un grupo de jvenes estudiantes, unos ya doctorandos y otros an no licenciados, o u para contarnos las noticias que ven de California, del m an tico IMPA del Brasil y de la URSS, a saber, la teor de los Sistemas Dinmicos y las obras de Steve a a Smale, Mauricio Peixoto, Jacob Palis, Dmitry V. Anosov, Yakov G. Sinai y toda una plyade de brillantes matemticos. Nosotros, a quienes l hab instilado el e a e a gusto de la topolog abstracta, que para m es an hoy d una ciencia hermosa y a u a distante, bamos a sentir un gran cambio en nuestras vidas matemticas que an no a u present amos. En breve tiempo, y con el trabajo inestimable de Joan Margalef, el seminario se consolid como grupo de estudio dirigido a la investigacin de los Sistemas Dinmicos o o a
ww w.

at

em

at ic

a1

.c o

innito-dimensionales, en que la evolucin se planteaba en el marco de espacios de o Banach abstractos. La situacin personal tambin fue cambiando: terminamos la o e carrera y nos era preciso pasar de la existencia feliz de quien estudia por puro placer a orientarse a un n concreto, pues como dec B. Brecht, la Ciencia tiene un solo a mandamiento para sus eles: contribuir a ella. No nos fue fcil y lo hicimos, cada a uno en su medida, pero eso lleg despus; a mediados de los aos 70 an no estaba o e n u claro que Espaa fuera algn d una democracia y que los jvenes estudiantes de n u a o entonces furamos algn d investigadores en el marco internacional, como Enrique e u a esperaba. Con el tiempo pasado uno tiene aoranza de aquellos aos de juventud n n en que ten amos poco dinero y mucho tiempo, y hac amos muchas matemticas. Rea cuerdo a Manolo Morales con quien estudiaba a ratos perdidos Anlisis Funcional y el a teorema del ndice de AtiyahSinger, una joya de aquella poca que hoy est de moda e a otra vez. Hac amos tambin mucha pol e tica, no siempre a gusto de nuestros profesores, que nos soportaban con una tolerancia que hoy ya no se estila; de lo revoltosos que ramos se acordarn E. Outerelo, J. Arregui, A. Dou, S. R y B. Rubio, y yo e a os aado a G. Ancoechea y M. de Guzmn, a quienes hemos perdido y a quienes tanto n a recuerdo; al nal todo sali muy bien, quien nos lo iba a decir. o Hacia 1975 empec a creer que la idea de Enrique de estudiar sistemas dinmicos e a abstractos era un tanto abstracta para mi gusto y mi pasado de ingeniero. En 1976 encontr la que al parecer era mi orientacin en el mundo de las ecuaciones en derivae o das parciales no lineales y en el Departamento de Ecuaciones Funcionales. Se cerraba una etapa y durante 3 aos estudi ecuaciones el n e pticas no lineales que me condujeron a una tesis doctoral y un futuro en el mundo de las ecuaciones. Bien ancado en la escuela francesa de J.L. Lions y H. Brezis, el pasado topolgico-dinmico parec o a a olvidado. A partir de los aos 80 y en colaboracin con especialistas americanos como n o Don Aronson, Luis Caarelli (en realidad argentino), europeos como Ph. Bnilan, L. e Boccardo y B. Peletier, Grisha Barenblatt que vino de Mosc, la profesora S. Kamin u de Tel Aviv y otros muchos, en particular mis alumnos, me dediqu a desarrollar e la teor de las ecuaciones el a pticas y parablicas no lineales cuyas dicultades estrio ban en su caracter singular o en la presencia de fronteras libres, esos hermosos entes geomtricos que se mueven un poco a su gusto; y a pensar en los modelos matemticos e a de los uidos en medios porosos, la difusin, la propagacin trmica y la combustin. o o e o Y sin embargo en el ao 2003 publiqu el libro A Stability Technique for Evolution n e Partial Dierential Equations. A Dynamical Systems Approach, en la editorial Birkhauser, obra conjunta con el matemtico ruso Victor Galaktionov, [GV03], y en l a e recogemos ms de un lustro de trabajo en un mtodo asinttico que ayuda a resolver a e o el comportamiento para grandes tiempos de las soluciones de ecuaciones en derivadas parciales en ciertos casos cr ticos en que los mtodos clsicos, como el de Lyapunov, e a no funcionan. El mtodo es en el fondo un teorema de estabilidad de omega-l e mites (al que bautizamos Teorema S) y su aplicacin ms o menos astuta. Es decir, la too a polog y los sistemas dinmicos de nuevo. Lo que prueba el eterno retorno al paisaje a a de la juventud con sus colinas y oteros.

ww w.

M at

em

at

ic a1

.c om

En las pginas que siguen me gustar explicar brevemente nuestro teorema y a a esta conexin entre las ecuaciones en derivadas parciales y los sistemas dinmicos en o a homenaje a Enrique, que fue maestro de mi juventud y de quien aprend el amor a la topolog el valor de saber los temas a fondo y del trabajo continuo y bien hecho. a, No aprend la vida sosegada, pero todo tiene un l mite. 2. Ecuaciones diferenciales abstractas En el estudio abstracto de los procesos evolutivos regidos por ecuaciones diferenciales se describe el proceso mediante una variable u, dependiente de un parmetro real, el a tiempo, t, que toma valores en general en un espacio mtrico completo X. El proceso e est regido por la ecuacin abstracta a o ut = B(u, t), (2.1)

ut = A(x, t, u, u) + B(x, t, u, u).

ww

w.

donde B es un operador diferencial (o diferencial-integral, o seudodiferencial o casos ms generales). En las aplicaciones a las EDPs de nuestro libro B es el operador a Laplaciano, o diversas variantes no lineales o no homogneas del mismo y X es un e subespacio de un espacio innito-dimensional funcional, t picamente de un espacio u o a Lp (D) en algn dominio D RN para un p [1, ]. La ecuacin ms sencilla en este apartado es pues la ecuacin del calor, ut = u, y el resultado de base dice que o esta ecuacin planteada en D = RN genera un semigrupo de contracciones en todos o los espacios Lp (RN ), 1 p . De hecho, la ecuacin conserva ciertos conjuntos o convexos importantes como el subconjunto de funciones tales que 0 f (x) C. Ha sido un trabajo t pico de la escuela no lineal espaola de EDPs, a la que me n honra pertenecer y que est tan brillantemente representada en la UCM, considerar a ecuaciones ms generales, cuyo tipo genrico viene dado por la forma a e

at em

at

ic a1

.c om

(2.2)

con adecuadas hiptesis sobre las funciones A y B, como las enunciadas por J. Serrin o en 1964, [Ser64]. Pero la ambicin del esquema es mayor: el tipo de ecuaciones o abstractas incluye tambin las ecuaciones de ondas y de Schrdinger, las leyes de e o conservacin y las ecuaciones de los uidos, tal como explica R. Temam en su libro o [Te88]. Y tambin entran las ecuaciones geomtricas que describen la deformacin de e e o variedades en funcin de la curvatura local, como el ujo de curvatura media o el hoy o d famoso ujo de Ricci, [An04]. a 3. Sistemas con peque as perturbaciones asintticas n o Una rama importante de los estudios de sistemas dinmicos abstractos motivados a por las ecuaciones ordinarias y parciales de la F sica es el estudio del comportamiento

asinttico cuando el tiempo se hace muy grande. Es un viejo tema del siglo XIX en que o descoll la obra de A.M. Lyapunov [Lyap] en la mecnica clsica y de L. Boltzmann o a a [Cer88] en la mecnica de gases1 . La obra de F. Lasalle [LL76] fue fundamental en a el progreso de los mtodos matemticos en el siglo XX. Existe hoy d una enorme e a a literatura, que no es el momento de resear. Citaremos solo los libros de Henry [He81] n y Hale [Ha88]. El profesor Jack Hale ha tenido gran inuencia en los investigadores espaoles. Sirvan estas breves frases de introduccin a nuestra exposicin. Pasemos n o o pues al asunto de estas pginas. a En los estudios de que hablar nos interesaba describir el comportamiento asinttico e o de distintos procesos de evolucin que ofrecen dicultades cuando se les pretende trao tar por los mtodos estndar, los originados en la obra de A.M. Lyapunov. En todos e a los casos que abordamos, y tras una serie de transformaciones preliminares ms o a menos obvias, se llega a una formulacin general en forma de un sistema dinmico no o a autnomo o ut = A(u) + C(u, t), t > 0; u(0) = u0 , (3.1) en que A es un operador diferencial autnomo y C es una perturbacin cuya principal o o caracter stica es la de ser asintticamente pequea. Ello quiere decir que a lo largo o n de una solucin u(t) se tiene que C(u(t), t) 0 cuando t , pero no se pide que o sea una pequea perturbacin en tiempo acotado y tampoco es aparente que lo sea n o en la formulacin original. Estamos interesados en la palabra pequea se tome en un o n sentido laxo. En esta situacin queremos probar que todas las orbitas de la evolucin propuesta o o se aproximan para tiempos sucientements grandes a un cierto conjunto de l mites de las rbitas del sistema autnomo simplicado o o

ww

w.

at

em

ut = A(u).

at

ic

a1

.c om

(3.2)

Para hacer ms preciso este objetivo, denimos el conjunto -l a mite de la rbita o dada, (u), y seleccionamos un cierto subconjunto del conjunto -limite global de la ecuacin autnoma (3.2). Con estas notaciones queremos probar que o o (u) . El enunciado concreto y preciso exige establecer claramente una serie de hiptesis que o ocuparn la seccin 5. Tras ese esfuerzo podremos realizar la prueba del resultado de a o estabilidad en la seccin 6 siguiendo argumentos mtricos y toplogicos totalmente o e o clsicos. a A continuacin repasaremos algunas de las nociones bsicas de sistemas dino a a micos que jarn los principales conceptos y la notacin. Sealemos que aunque a o n los problemas prcticos provienen del mundo de las EDPs que se reformulan como a

ecuaciones diferenciales abstractas, y es cmodo hablar de soluciones pensando en o las aplicaciones, el resultado de estabilidad es puramente mtrico-topolgico y trata e o del comportamiento para grandes tiempos de ciertas clases de curvas denidas en un espacio mtrico cumpliendo adems ciertas propiedades. Ninguna hiptesis de e a o diferenciabilidad es esencial en el enunciado o prueba. 4. Algunos conceptos de sistemas dinmicos a Trabajamos en general pensando en soluciones de ecuaciones diferenciales que pueden ser visualizadas como curvas continuas, u C(I : X), con valores en un espacio mtrico completo (y separable por conveniencia), X. T e picamente X ser o bien un a espacio Lp , de Sbolev, u otro espacio funcional. Denotamos por d(, ) la mtrica de o e X. I puede ser la recta real o, mejor, un intervalo semiinnito de la forma I = [t0 , ) (una semirrecta progresivo, es decir, hacia el futuro); t0 = t0 (u) puede depender de la curva considerada. Las curvas solucin de un proceso de evolucin suelen ser llamadas o o trayectorias del proceso u rbitas, aunque este ultimo nombre es mejor reservarlo para o el conjunto imagen de la curva, cf. [Ha88]. Para una curva u con dominio R denimos la rbita completa como el conjunto o (u) = {u(s) : s R} X,

o Si t = 0 podemos olvidar la mencin t, + (u) = + (u, 0). Usualmente, la solucin o de un proceso de evolucin est un o a vocamente determinada por sus datos iniciales y podemos entonces usar la notacin conveniente + (u, t) = + (u0 , t), donde u(t0 ) = o e a u0 X, pero la unicidad en trminos de los datos iniciales no ser un requisito para el resultado de estabilidad. El conjunto -l mite de una curva u : I X se dene en la forma usual como (u) = {f X : una sucesin {tj } tal que u(tj ) f }. o Es un subconjunto de X que puede tambin ser descrito como e (u) =
tt0

ww

w.

M at em

y la trayectoria completa como la curva completa, identicada con el conjunto (u) = {(s, u(s)) : s R} R X. Nos interesan las rbitas progresivas denidas en una o semirrecta, de la forma (4.1) + (u, t) = {u(s) : s t}.

at ic a1

.c om

(4.2)

clos( + (u, t)),

donde clos(E) denota el cierre (clausura) de un conjunto E en X. En casos de unicidad en trminos de los datos iniciales podemos escribir (u) = (u0 ). El siguiente e resultado es clsico en la literatura asinttica, cf. [Ha88], [Te88]. a o

Lema 4.1 (u) es un conjuto cerrado de X. Si + (u, t) es relativemente compacta, entonces (u) es no vac conexo y compacto. o, Generalizando la denicin previa, para toda familia de curvas progresivas E con o valores en X, espacio mtrico separable, introducimos su conjunto -l e mite como (E) =
tt0

clos(
uE

+ (u, t)).

Alternativamente, podemos describirlo como o (E) = {f X : una sucesin {tj } y una sucesin o de soluciones{uj } E tal que uj (tj ) f }. Debe observarse que el -l mite de un conjunto es usualmente ms grande que la a unin de los -l o mites de sus elementos, {(u) : u E} = (E). En el estudio de las ecuaciones diferenciales aparecen de forma natural familias de soluciones de problemas de valores iniciales de la forma

(i) S(0)u0 = u0

para todo u0 X,

(ii) S(t + s)u0 = S(t)S(s)u0

Es t pico en esos casos escribir la solucin unica u = u(t) con valor inicial u0 como o u(t) = S(t)u0 para t > 0. Veamos dos deniciones de gran inters. Se dice que un e conjunto E X es (progresivamente) invariante bajo S si para todo t > 0 se tiene que S(t)E E. Se dice que un conjunto F atrae a un conjunto E si d(S(t)E, F ) 0 cuando t . He aqu un resultado t pico en este marco, cf. [Ha88]. Lema 4.2 (i) Si E X es no vaci y su orbita + (E) es relativemente compacta, o entonces (E) is es no vac compacto y atrae a E. o, (ii) Si E X is conexo, entonces (E) is conexo. (iii) Para todo conjunto E X para el que (E) es compacto y (E) atrae a E, el conjunto (E) es invariante. 5. Las tres hiptesis o Pasamos ahora a preparar el camino para el Teorema S, introduciendo en esta seccin o las hiptesis en que reposa el resultado, y comentando su signicado y papel. Usualo mente los resultados sobre la convergencia asinttica de ecuaciones de evolucin son o o

ww w.

at

em

para todo u0 X y t, s > 0.

at

ic a1

donde A no depende del tiempo. Es corriente que el problema genere un semigrupo continuo, es decir, un mapa continuo S : X [0, ) X, tal que, escribiendo S(t)x = S(x, t), las aplicaciones S(t) satisfacen

.c

om

ut = A(u),

t > 0;

u(0) = u0 ,

obtenidos bajo hiptesis adecuadas sobre el carcter de la evolucin. T o a o picamente, tales hiptesis se reeren a la ecuacin original considerada. o o Nuestro resultado asinttico puede ser formulado en trminos topolgicos sin refeo e o rencia a las EDPes. Trata de las propiedades asintticas de dos familias de curvas L o y L denidas en intervalos positivo-innitos de la recta real (pensamos en el tiempo) con valores en un espacio mtrico completo y separable. Imponemos tres hiptesis e o bsicas que se resumen en forma breve como compacidad, convergencia y estabilidad a reducida. Un rasgo importante del mtodo que presentamos estriba en el hecho de e que sita la hiptesis principal en la ecuacin l u o o mite, que se supone bien conocida: se trata de la hiptesis de estabilidad uniforme en el sentido de Lyapunov del conjunto o respecto al ujo generado por la ecuacin autnoma. En algunas aplicaciones esto o o es pedir demasiado, pero existe una modicacin que funciona en bastantes de estas o situaciones: basta con requerir estabilidad de un cierto omega-l mite reducido. Damos a continuacin el enunciado detallado de las tres hiptesis. o o (H1) Compacidad. Consideramos una clase L de funciones u C([t0 , ) : X) e denidas para t t0 (u) con valores en un espacio mtrico completo y separable X. Suponemos que las rbitas {u(t) : t t0 } son relativamente compactas en X. o Adems, consideramos las trayectorias tras una traslacin en el tiempo a o

(H2) Convergencia. L es una pequea perturbacin asinttica de otra familia n o o de curvas L en el sentido aiguiente: dada una curva u L, si para una sucesin o o {tj } la sucesin {u(tj + t)} converge en L ([0, ) : X) cuando j a una loc funcin v(t), entonces v pertenece a L . o Es tiempo de hacer algunos comentarios y explicaciones. Como hemos dicho, en las aplicaciones uno trata en muchos casos con una familia L de soluciones de un proceso de evolucin descrito por una ecuacin o sistema diferencial autnomo de la o o o forma ut = B(u, t), t > 0 . (5.1) Se trata entonces de comparar esto para tiempos grandes con la ecuacin autnoma o o vt = A(v), t > 0, (5.2)

ms precisamente, con una familia particular de soluciones L de la ultima ecuacin. a o

ww

w.

Se sigue de (H1) que la rbita positiva + (u, t) es relativamente compacta en X. o Por lo tanto, el omega-l mite (u) es no vac y compacto. o

at

y suponemos que el conjunto de curvas {u (t)} indizadas por > 0 es relativamente compacto en L ([t0 , ) : X). loc

em at

u (t) = u(t + ),

ic

a1

t, > 0,

.c om

La hiptesis (H2) es nuestra forma de armar que (5.1) es una perturbacin o o asintticamente pequea de (5.2), es decir, que B(u, t) tiende a A(u) cuando t . o n Se trata de una forma en principio muy general, en la jerga usual, una forma muy dbil. En este contexto, (5.2) se llama la ecuacin l e o mite y(5.1) es la ecuacin pero turbada. Las curvas v de L obtenidas en tal paso al l mite se llamarn soluciones a l mite. Una cuestin de notacin: para mantener la necesaria distincin entre las dos o o o ecuaciones, usaremos la notacin estndar en sistemas dinmicos para las soluciones o a a de la ecuacin perturbada (5.1), y notaciones con estrella para la ecuacin l o o mite + (5.2). Escribiremos pues (v, t), (v) y (E) para una solucin v L y para un o conjunto E L , de soluciones respectivamente. La hiptesis (H1) implica que + (u, t) est contenido en un conjunto relativemente o a compacto de X. Se sigue de (H2) que toda v(t) solucin l o mite de u tiene una orbita progresica relativemente compacta en X. Proposicin 5.1 Dada u L, toda solucin l o o mite suya v L puede ser denida para todol t R, es decir, tiene una orbita completa. Adems, para todo v0 (u) a existe una solucin l o mite de u con dato inicial v(0) = v0 , y la orbita completa (v) est contenida en (u). Por lo tanto, (v) es no vac y compacto. a o Estas armaciones no tienen por que ser ciertas para toda la clase L . T picamente L y L son clases de soluciones dbiles u otro tipo de soluciones generalizadas sobre e las que conocemos muy limitadas informaciones sobre su regularidad. Se acuerdo con esta generalidad, el paso el l mite de (H2) slo impone the el l o mite v(t) de la sucesin {u(tj + t)}j L sea una solucin en la clase L , una condicin que puede ser o o o obtenida si esta clase est convenientemente denida con una informacin basada en a o un nmero m u nimo de estimaciones a priori sobre las u y sus derivadas. La unicidad de soluciones no es requerida. Recalquemos para terminar un punto importante de la hiptesis (H2): no se requiere ninguna estimacin cuantitativa de la tasa con la que o o la perturbacin decae con el tiempo. o Pasamos ahora a examinar la ultima hiptesis, que es a la vez la ms dif de o a cil vericar en general. Como dijimos, no deseamos imponer ninguna propiedad de estabilidad sobre la ecuacin original (5.1), sino solamente sobre la ecuacin l o o mite. Empezaremos identicando el conjunto donde estn contenidos los omega-l a mites de las soluciones de la ecuacin (5.1). Ms precisamente, hallaremos un conjunto X o a que contenga todos los omega l mites iteratedos, lo que quiere decir que { (v) : v L , v(0) (u), u L}. (5.3)

Sea adems Y0 = {(u) : u L}. Nuestra ultima hiptesis es una manera de pedir a o que sea estable Lyapunov en una forma dbil. e

ww w.

M at

em

at

ic a

1.c

om

 (H3) Estabilidad uniforme reducida para la ecuacion (5.2). Suponemos que existe un conjunto cerrado X vericando (5.3) y que es uniformemente Y0 -estable en el sentido de Lyapunov. Esto quiere decir que para todo > 0, existe = () > 0 tal que si v es cualquier curva de L y se verica que v(0) Y0 y que d(v(0), ) , entonces d(v(t), ) para todo t > 0. (5.4)

Imponemos pues la estabilidad del conjunto con respecto a perturbaciones en Y0 , de ah el nombre de estabilidad reducida. No es preciso que el conjunto sea todo l invariante bajo la evolucin denida por (5.2), pero esta propiedad reforzar e o a la condicin de estabilidad al eliminar la condicin v(0) Y0 . o o 6. El Teorema S: estabilidad de conjuntos omega-l mites Tras estos preparativos podemos ya probar el resultado principal de estabilidad estructural asinttica anunciado. o Teorema 6.1 Bajo las hiptesis (H1), (H2) y (H3), el -l o mite de toda curva solucin o u L est contenido en el conjunto . En otras palabras, toda rbita de (5.1) es a o atra por cuando t . da Hablando en trminos generales, el conjunto omega-l e mite de la clase de soluciones L de la ecuacin autnoma es estable bajo perturbaciones arbitrarias de la ecuacin o o o que sean asintticamente pequeas en el sentido denido ms arriba. o n a Demostracin. Dividimos la prueba del teorema en una serie de lemas. Para empezar, o para cada solucin dada u L y cada > 0, denimos los conjuntos bueno y malo o G = {t > 0 : d(u(t), ) } , B = {t > 0 : d(u(t), ) > } . (6.1) (6.2)

Es claro que G B = (0, ) , G B = y B2 B1 si 0 < 1 < 2 . Los conjuntos malos B son abiertos, los conjuntos buenos G cerrados. Por supuesto, estos conjuntos dependen de u, que tomamos aqu como jo. Se tiene Lema 6.2 Para todo > 0 existe una sucesin {Tj } contenida en el conjunto o G . Demostracin. Sea {tj } una sucesin arbitraria. Por (H1) la sucesin de o o o funciones {u(tj + s)}, es relativemente compacta; por (H2) podemos suponer (tras

ww w.

at em

at

ic a1

.c om

pasar a una subsucesin si es necesario) que u(tj + s) tiende a v(s) cuando j , y o v es una funcin de L (es decir, una solucin de (5.2)). La convergencia es uniforme o o en subintervalos compactos de [0, ). Se tiene que v(t) Y0 para todo t 0. Dado que contiene el omega-l mite de todas estas soluciones de L , se sigue de (H3) que v(s) converge a cuando s , luego existe s0 > 0 tal que para s s0 , d(v(s), ) /2 . La convergencia de u(tj + s) a v(s) implica que existe j0 tal que d(u(tj + s), v(s)) /2 para cada 0 s s0 if j j0 . Estas dos desigualdades implican que d(u(tj + s0 ), ) d(u(tj + s0 ), v(s0 )) + d(v(s0 ), ) , Nos jamos ahora en el conjunto B . Dado que B es un conjunto abierto, si no es vac puede ser expresado como unin nita o numerable de intervalos abiertos o o mutuamente disjuntos, a saber, (6.4) (6.3)

con 0 < a < b . El lema 6.2 prohibe la posibilidad de que exista en la lista un n n intervalo ilimitado hasta +. Podemos decir an ms. u a o Lema 6.3 La sucesin de longitudes {ln = b a } es una sucesin acotada, ln o n n c = c(, u). Demostracin. Se basa en revisar el argumento usado en la prueba del Lema 6.2. o a Podemos siempre suponer que los intervalos (a , b ) estn ordenados, b < a . n n n n+1 Suponiendo que existe una sucesin ln , tomamos tn = (a + b )/2 y o n n aplicamos el argumento previo para obtener un s0 tal que tnj + s0 G para una subsucesin {tnj }, nj . Puesto que por denicin de In , se tiene que tn + t G o o para todo t (0, ln /2), si ln llegamos a una contradiccin. Por lo tanto, {ln } o debe ser acotado. Finalmente probamos que B ha de ser vac o acotado. o Lema 6.4 Existe una constante C = C(, u) tal que (C, ) G . (6.6)

ww w.

at em at ic

B =

In ,

In = (a , b ), n n

a1

.c om

(6.5)

 Demostracin. Si (6.6) fuera falso, existir una subsucesin tal que Inj B y o a o anj . Tras renombrar los intervalos si es necesario, podemos suponer que nj = j y que a > a . Sea j+1 j 1 = min , , (6.7) 4 2 2 donde es la funcin que aparace en la denicin de estabilidad uniforme de , (H3). o o Dado que < , tenemos B B y para todo intervalo Ij existe un intervalo igual o mayor Ij = (aj , bj ) contenido en B . Algunos de estos intervalos Ij pueden aparecer varias veces, pero dado que b a c(, u), (6.8) j j nos quedarn innitos intervalos Ij distintos y a . De la denicin de B se a o j deduce que si tj = aj entonces

d(u(tj ), ) = .

(6.9)

at

para todo 0 < t < . Por otro lado, la convergencia de u(tj + t) hacia v(t) implica que dado c = c(, u), existe j1 > 0 tal que para 0 t c(, u) yj j1 . Entonces, d(u(tj + t), ) d(u(tj + t), v(t)) + d(v(t), ) , y nalmente se llega a [a , b ] [a , a + c(, u)] G j j j j para todo j j1 . Pero esto contradice la denicin de los intervalos (a , b ). o Fin de la Prueba del Teorema 6.1. Por el Lema 6.4, para toda solucin u L de (5.1) o y todo > 0 existe t1 = t1 (, u) > 0 tal que para t t1 , d(u(t), ) . Es entonces claro que el conjunto -limite de la rbita {u(t)} est contenido en . o a

ww

w.

d(u(tj + t), v(t)) /2

em

que junto con (6.9) da d(v(0), ) 2. Por la hiptesis de estabilidad (H3) tenemos o entonces que d(v(t), ) /2 (6.11)

at

ic a

Vemos adems que la sucesin de funciones {u(tj + t)} (o al menos una subsucesin, a o o que denotamos an {j} para no complicar la notacin) converge uniformente en subu o intervalos compactos de [0, ) a una solucin v(t) L . Por lo tanto, para j j0 o tenemos (6.10) d(v(0), u(tj )) ,

1.c

om

(6.12)

(6.13)

7. Aplicacin a algunas ecuaciones de la f o sica De acuerdo con comentarios hechos ms arriba, sealamos un hecho que ha jugado a n un papel importante en las aplicaciones recogidas en [GV03], alguna de las cuales comentaremos ahora: ninguna de las tres hiptesis requiere que las ecuaciones (5.2) o y (5.1) sean satisfechas en ningn sentido fuerte ni se necesita saber otros detalles u concretos de la evolucin. En realidad, el resultado que hemos probado es de tipo o mtrico y estamos hablando de familias de curvas, cuya relacin mutua (H2) depende e o del hecho de que son suelen ser soluciones de ecuaciones emparentadas, aunque sea en un sentido bastante laxo. As aunque es sabido usualmente que la ecuacin l , o mite (5.2) genera un semigrupo en un espacio mtrico, tal propiedad no tiene ninguna e relevancia para el resultado general que hemos obtenido. Dado que una de las principales motivaciones ha sido el estudio de la teor de as difusin no lineal y explosin (blow-up), comentaremos tres ejemplos en este rea. o o a 1. Consideremos el caso las ecuaciones de difusin parbolicas no lineales tratadas o a en los cap tulos 2 y 4 de [GV03]. Es bien sabido que las soluciones de la ecuacin o del calor ut = u planteada en todo el espacio Rn con datos iniciales integrables u0 L1 (Rn ) decaen cuando t como O(t ) con un exponente = N/2 y toman la forma de una campana de Gauss para t . Este resultado se extiende a otras ecuaciones no lineales como la Ecuacin de los o Medios Porosos (EMP) ut = (um ) con m > 1, (7.1) pero ahora el exponente es igual a = N/[2 + N (m 1)]. Observamos que el decaimiento es ms lento que en la difusin estndar de la Ecuacin del Calor pues a o a o decrece a cero cuando m va a innito. El trabajo sobre la ecuacin EMP ha sido uno o de los favoritos del autor en estos muchos aos. n Demos un paso ms; queremos describir con precisin lo que sucede para largos a o tiempos. Para ello es conveniente recurrir al truco del zoom. Se trata de cambiar la escala de la variable u a una nueva variable que es igual a u multiplicada por un factor n t que compensa lo que u decae, de forma que tiene tamao de orden O(1) para t grande. Ahora bien, si queremos adems que sea solucin de una ecuacin razonable a o o hemos de reescalar el espacio de la forma x = t/N . Por ultimo, es util pasarse a una escala de tiempo logar tmica = ln t. Todo esto son trucos muy conocidos de los expertos en sistemas dinmicos y se basa en el llamado Anlisis Dimensional, a a explotando la propiedad de invarianza de la ecuacin ante el grupo de homotecias. o Lleva nalmente a la siguiente ecuacin EMP reescalada para (, ) = t u(x, t): o = A() m + + . (7.2) N (para m = 1 es la Ecuacin del Calor reescalada). Se trata de una ecuacin autnoma o o o y sus soluciones tienden a un equilibrio no trivial que es el famoso ncleo de Gauss u

ww

w.

M at

em at ic

a1

.c om

cuando m = 1, y el menos conocido perl de Barenblatt o ZKB cuando m > 1. Ahora podemos interpretar lo que le pasa asintticamente a u cambiando para atrs las o a variables, es decir pasado otra vez de a u. Se obtiene el resultado de que u tiende a cero pero con un comportamiento de la forma u(x, t) tN/(2+N (m1)) B(xtN/(2+N (m1) ; M ), (7.3)

donde B es el perl ZKB descrito en detalle en la literatura. M es un parmetro ajusa table llamado masa de la solucin. Esto es lo que Barenblatt llama comportamiento o asinttico intermedio, pues es vlido y util para t grande, pero no cerca de innito o a donde es vlido pero los valores de u ya son prcticamente cero y nos dan lo mismo. a a Estos resultados vienen descritos en todo detalle en [V03] a donde remitimos al lector interesado. 1b. Supongamos ahora una situacin ms complicada donde la ecuac de partida o a on es un tanto ms compleja: a (7.4) ut = um u , con m, 1. Se trata ahora de un modelo de difusin no lineal en un medio abo sorbente, muy conocido en la literatura de la propagacin de calor. En principio el o trmino de absorcin no es asintticamente una pequea perturbacin. Se puede dee o o n o mostrar que la tasa de decaimiento de las soluciones (con datos buenos que decaen aprisa) es la misma que para la ecuacin anterior si es grande, ms precisamente si o a > = m + 2/N . En efecto, en ese caso podemos aplicar el mismo tipo de cambio de escala anterior y nos lleva a la ecuacin o

at em

n donde = ( ) es positivo precisamente si > . As llegamos a una pequea perturbacin as o ntotica de la EMP reescalada (7.2) y el problema cae dentro de la teor presentada en secciones anteriores. Ntese que existe en C un factor temporal a o exponencial pequeo; ste nos recuerda si hacemos las cuentas que la ecuacin que n e o tenemos, al ser ms complicada, ha perdido el carcter de invariancia ante las transa a formaciones de escala que ten la ecuacin original (7.1). Parece un contratiempo, a o pero, segn el Teorema S, este trmino est destinado a desaparcer en el -l u e a mite, as que puede hacer un poco lo que quiera a nuestros efectos. El resultado de pequeas perturbaciones no es cierto si < . Victor Galaktionov n y el autor demostraron que el Teorema S se puede an aplicar en el caso l u mite del exponente = , pero la teor es realmente no trivial y remitimos al lector al a cap tulo 4 del libro [GV03]. De hecho, el estudio de casos cr ticos es uno de los puntos fuertes del Teorema S. En trminos f e sicos esta dicultad es debida a la presencia de una resonancia. T pico de estos casos, el decaimiento incluye un factor logar tmico dif de descubrir cil

ww

w.

= A() + C(, ),

at ic

C(, ) = e .

a1

.c om

(7.5)

(se supone que es parte del mrito de nuestro art e culo) y el comportamiento asinttico o es del tipo u(x, t) (t log t) B(xt/N (log t) ; Mo ), (7.6) con = N/(2 + N (m 1)) y = (m 1)N/2(2 + N (m 1). B es el perl parablico o de Barenblatt antes mencionado y Mo una constante universal que no viene al caso. La ecuacin reescalada a la que se aplica el Teorema S es ahora o = A() + C(, ), C(, ) = 1 (m + ( ) ) , N (7.7)

donde A es el operador EMP como antes. Se trata de una pequea perturbacin del n o o n o sistema = A() pero la perturbacin no es tan pequea, el factor es slo 1/ , o sea que no es integrable. Con todo, es despreciable para el Teorema S. 2. Las transformaciones previas que permiten colocarnos en la situacin de aplicar o el mtodo de pequeas perturbactiones asintticas son en muchos casos un tanto e n o rebuscadas y eso las hace matemticamente ms interesantes. A veces la ecuacin a a o l mite no tiene mucho parecido con la original. De ello dan fe varios de los cap tulos de [GV03]. As en el cap , tulo 3 del libro se estudia el comportamiento asinttico de o la ecuacin de difusin superlineal o o

donde la pequea perturbacin asinttica es horriblemente complicada pero sin emn o o bargo el operador principal es A() = + y sus estados estacionarios son simplemente las soluciones de = 1. Ahora se ve el inters en el Teorema S de no e tener que entrar en detalles sobre cmo es la perturbacin. o o 3. En otros casos la ecuacin l o mite cambia incluso de tipo. Eso sucede por ejemplo en muchos problemas de explosin (blowup en ings). Consideremos por ejemplo la o e ecuacin con reaccin casi lineal o o ut = uxx + (1 + u) ln2 (1 + u) (7.9)

para x R, t > 0, que es de nuevo un caso cr tico de la teor de explosin. Ocurre a o que tras todos los cambios de variables y aplicacin del Teorema S, la ecuacin que o o

ww

w.

= A() +

2 4 ln + ( ln ) 4 ln 1 4 ln2 ln + 2 (ln )2 , + 2 2

at

Es una especie de EMP en el l mite m = . Tras algunos escarceos previos con cambios de variable se llega a la ecuacin transformada o

em at

ut = (e1/u ).

ic a1

.c om

(7.8)

controla el fenmeno de explosin es una ecuacin de primer orden del tipo Hamilton o o o Jacobi (ux )2 ut = + (1 + u) ln2 (1 + u), 1+u Este ejercicio de aplicacin del Teorema S fue realizado por Galaktionov y el autor o en 1991 y fue la motivacin para desarrollar la idea de omega-l o mite reducido. Una descripcin detallada ocupa el cap o tulo 9 de [GV03]. Recordemos que la Teor de a Explosin o Blowup es hoy d un area muy activa de investigacin en las EDPs o a o aplicadas, cf. [BE89, GV02]. Referimos al amable lector a [GV03] para otras aplicaciones a diversos problemas asintticos, entre ellos problemas de reaccindifusin, ecuaciones de Navier-Stokes y o o o ondas de detonacin. o ***
ww w.

at

em

at

ic

a1

.c om