PDE Explosiones

Bol. Soc. Esp. Mat. Apl.
no 32(2005), 75111
Blow-up. El problema matem atico de explosi on para ecuaciones y sistemas de reacci on-difusi on
s2 y J.L. Va zquez2 A. de Pablo1 , R. Ferreira1 , F. Quiro Departamento de Matem aticas, Universidad Carlos III de Madrid 2 Departamento de Matem aticas, Universidad Aut onoma de Madrid arturop@math.uc3m.es, raul.ferreira@uc3m.es, fernando.quiros@uam.es, juanluis.vazquez@uam.es
Resumen El presente art culo ofrece una panor amica de los fen omenos de explosi on o blow-up para ecuaciones de reacci on-difusi on. Tras presentar el tema, enunciamos los principales problemas que la teor a propone: para qu e ecuaciones y datos existe el blow-up; cu ando, d onde y c omo sucede; qu e puede pasar despu es, tanto si hay cat astrofe permanente como si no; c omo se calcula num ericamente y cu ales son las diferencias m as notables entre ecuaciones y sistemas. Describimos despu es algunas de estas sub areas, guiados por los temas en que han participado los autores y sus colaboradores. Palabras clave: explosi on, reacci on-difusi on, continuaci on, sistemas. Clasicaci on por materias AMS: 35K57, 35B33, 35K45, 65M12
1
Introducci on
Muchos procesos de las ciencias aplicadas se pueden modelar matem aticamente por medio de ecuaciones de evoluci on en que intervienen operadores diferenciales o, mejor a un, por sistemas de tales ecuaciones. Estas ecuaciones, llamadas gen ericamente ecuaciones de estado, describen con mayor o menor precisi on los fen omenos f sicos a estudio. Si se les a naden oportunos datos complementarios, habitualmente en la forma de condiciones iniciales y de contorno, entonces lo normal y deseable es que se obtenga un problema bien planteado, que poseer a una soluci on bien denida en un adecuado contexto funcional. Nuestro prop osito es examinar situaciones en que tal planteamiento falla al cabo de un rato de evoluci on.
Financiado en parte por los Proyectos MCYT BMF2002-04572-C02-01 y 02.
75
76
A. de Pablo et al.
Las teor as matem aticas cl asicas hacen intervenir operadores lineales en las ecuaciones de estado. El desarrollo del An alisis Matem atico para este tipo de ecuaciones diferenciales, tanto ordinarias como en derivadas parciales, ha sido espectacular en los dos u ltimos siglos y ha permitido un correcto planteamiento de numerosos problemas de la F sica Matem atica con total rigor. Es sin embargo un hecho constatado que un gran n umero de los modelos m as importantes de la ciencia implican ecuaciones diferenciales no lineales. Ello es particularmente claro en el caso de la teor a de ecuaciones diferenciales ordinarias y sistemas din amicos, que ha sido no lineal en su planteamiento desde los tiempos de Newton. En el caso de las ecuaciones en derivadas parciales esto no fue siempre as , quiz a por un problema de dicultad: comprender las ecuaciones lineales (del calor, del potencial, de ondas) ha representado ya una tarea enorme. Pero la realidad actual es incontestable: por poner dos ejemplos paradigm aticos, los modelos de la relatividad general y los modelos generales de la teor a de los uidos, reactivos o no, implican ecuaciones diferenciales en derivadas parciales no lineales. Aunque la artiller a de las teor as lineales puede ser parcialmente utilizada (por ejemplo en los desarrollos perturbativos), los sistemas no lineales exhiben una serie de propiedades que son ajenas a las teor as lineales y que hacen que estos sean m as dif ciles de analizar matem aticamente. Por otra parte, algunas de las propiedades originadas por el car acter no lineal de las ecuaciones est an directamente relacionadas con caracter sticas esenciales del fen omeno o fen omenos del mundo real que pretendemos describir; entonces la aproximaci on lineal pasa a ser s olo un primer paso del proceso que prepara en todo caso un an alisis no lineal m as realista. Dos de esos aspectos t picamente no lineales que han provocado no pocas cuestiones matem aticas son la descripci on de los fen omenos que presentan fronteras libres y/o cambios de fase y la aparici on de singularidades explosivas que estudiamos en este art culo. Ambos temas han sido objeto de estudio por nuestro equipo y colaboradores y deseamos trasmitir parte de nuestra experiencia de estos a nos en el u ltimo campo, la aparici on de singularidades explosivas. M as en concreto, examinaremos la posibilidad de que las soluciones de ciertos problemas evolutivos presenten singularidades tras un cierto tiempo de evoluci on cuando los datos se toman en clases funcionales para las que se demuestra existencia, unicidad, dependencia continua y regularidad para peque nos intervalos de tiempo (que dependen de los datos). Se dice que un tal problema est a bien planteado localmente en el tiempo pero no est a bien planteado globalmente. No es cuesti on de regularidad inicial, los datos pueden ser perfectamente lisos y sin embargo aparecer las singularidades. La forma m as simple de singularidad espont anea en un problema no lineal es la originada cuando alguna de las variables que describen el sistema diverge a innito tras un cierto tiempo de existencia cl asica, es decir cuando t se acerca a un tiempo T > 0. Esto es lo que llamamos explosi on o blow-up. Pero n otese que en no pocos problemas quienes explotan son las derivadas y no la funci on. Se nalemos que los problemas lineales no est an exentos de singularidades, pero estas est an contenidas en los coecientes o datos del problema
Blow-up en ecuaciones de reacci on-difusi on
77
(singularidades jas o propagadas), mientras que en los sistemas no lineales pueden surgir un poco a su aire, debidas a los mecanismos no lineales del problema; su localizaci on en el espacio y tiempo es objeto de un an alisis matem atico como el que aqu describiremos (singularidades m oviles). El estudio de los procesos no lineales ha sido uno de los temas estrella en las Matem aticas del siglo XX y ha motivado la introducci on de numerosos y novedosos m etodos en las a reas del An alisis Matem atico, las Ecuaciones Diferenciales, la Computaci on Cient ca y otras disciplinas, siendo uno de los campos de investigaci on m as activos de las Matem aticas en los u ltimos decenios.
Un ejemplo elemental de explosi on
Quiz a el ejemplo m as simple de explosi on en tiempo nito, el m as citado como ejemplo motivador, ocurre cuando nos planteamos la ecuaci on diferencial ordinaria (EDO) del crecimiento cuadr atico: suponemos que la variable real u = u(t) obedece a la ecuaci on ut = u2 , t > 0. (1)
Cuando el dato inicial u(0) = a es positivo, existe una soluci on u nica en el intervalo temporal 0 < t < T , donde T = 1/a, que es incluso expl cita: u(t) = 1 . T t (2)
Por lo tanto, la evoluci on est a expresada por una funci on lisa del tiempo si t < T . Cuando t T vemos que u(t) , es decir, la soluci on explota. A partir de este ejemplo se generaliza el concepto de explosi on como el fen omeno en que las soluciones dejan de existir globalmente en el tiempo porque una o varias de las variables de estado que describen el proceso crecen innitamente en un intervalo nito de tiempo. Una primera extensi on consiste en considerar las EDOs de la forma ut = up con p > 1 o, m as en general, de la forma ut = f (u), (3) con f una funci on positiva y continua que cumple la condici on de Osgood [93]
1
ds < . f (s)
(4)
Dejamos al lector que integre la ecuaci on separando variables y compruebe que esta condici on es necesaria y suciente para que exista blow-up en tiempo nito. Obtenemos la expresi on T = F () F (a) < , donde F es una primitiva de 1/f , y la explosi on sucede para todo dato inicial u(0) = a > 0. Con ello hemos enunciado el primer teorema no trivial y representativo en la teor a de la explosi on. Podemos pensar en sistemas ut = f (t, u) con variable vectorial u Rn . En ese caso podemos tener explosi on debida al mismo mecanismo si f es
78
A. de Pablo et al.
superlineal con respecto a u para u grande, y tambi en explosi on debida al car acter singular de f con respecto a t en ciertos tiempos. Nos interesa aqu el primer caso. Hablando en general, el estudio de las EDOs proporciona claves, intuiciones y u tiles b asicos para la teor a de explosi on de ecuaciones en derivadas parciales (EDPs) que abordaremos aqu y, tambi en, para comprender la aparici on de singularidades.
Explosi on para EDPs
El estudio de la explosi on es considerablemente m as dif cil (e interesante para el matem atico) cuando se trabaja con ecuaciones en derivadas parciales, y de hecho tal estudio se ha convertido en un a rea muy activa con su arte y artesan a. T picamente, en un problema de EDPs evolutivas se tiene una estructura espacio-temporal, u = u(x, t), con x un dominio de Rn , mientras el tiempo transcurre en el intervalo 0 t < T . En estos casos m as complejos no ser a en general posible tener f ormulas expl citas para describir el proceso de explosi on, pero tendremos estimaciones que har an de sustitutos de forma suciente pues nos proporcionar an informaci on cualitativa y cuantitativa sobre los temas relevantes: para qu e ecuaciones y datos hay explosiones, cu ando, d onde, c omo y con qu e rapidez suceden, am en de qu e pasa en el tiempo de explosi on y despu es y c omo se calcula todo esto. En las secciones que siguen examinaremos los principales problemas que se plantean en el marco de las ecuaciones de reacci on-difusi on, que es el a rea de actividad donde m as esfuerzo se ha hecho para comprender la problem atica del blow-up. Esta a rea del mundo de la explosi on ha sido motivada por la din amica de los procesos reactivos de la combusti on, cf. [6, 14, 121]. El tema es de gran importancia en la ingenier a, pero es preciso decir que, como se nalan las referencias anteriores, es un campo cient co enorme y hay una gran distancia entre el an alisis matem atico de los modelos b asicos y las aplicaciones reales; nosotros nos ocuparemos aqu s olo del primer aspecto. Los problemas de explosi on est an hoy d a de actualidad en el mundo matem atico. Quiz a los dos problemas de explosi on m as a la moda son los originados en la famosa Lista del Instituto Clay, que se puede consultar en http://www.claymath.org. Se trata de problemas abiertos, de ah su encanto. Uno de ellos se reere a los modelos matem aticos que describen la evoluci on de uidos est andar (uidos Newtonianos incompresibles) que son descritos por los sistemas de ecuaciones de Navier-Stokes (caso viscoso) y de Euler (caso no viscoso); por razones que no tenemos claras el premio es s olo para la resoluci on del primer modelo. El problema de Navier-Stokes y su relaci on con el blowup est an descritos por ejemplo en [114]. Una lectura muy recomendable sobre aparici on de singularidades en estos y otros problemas muy relacionados es el art culo de M. Fontelos publicado en este Bolet n, [43]. El otro problema mencionado se reere a la resoluci on de la Conjetura de Poincar e y m as en general a la geometrizaci on de 3-supercies seg un el programa de Thurston, mediante las ecuaciones del calor no lineales que conducen al ujo de Ricci.
79
Los trabajos de R. Hamilton sobre este ujo culminados por G. Perelman en 2002 pueden haber resuelto la Conjetura de Poincar e. Ver los surveys [1] en los Notices de la AMS y [91] en la Gaceta de la RSME. El blow-up ha sido estudiado en a nos recientes para muy variadas ecuaciones y sistemas adem as de los citados. Se han descubierto diversos fen omenos que han sido m as o menos analizados matem aticamente y el campo est a en plena evoluci on, por lo que es muy atractivo para quienes inician su investigaci on o desean nuevos rumbos. El panorama resultante ofrece gran variedad y al tiempo importantes rasgos matem aticos comunes.
Las ecuaciones de reacci on-difusi on
Este tipo de ecuaciones se ha desarrollado en el pasado siglo para formar un a rea de investigaci on con inter es para la Matem atica, la F sica y la Biolog a. En las teor as de propagaci on t ermica y combusti on es usual utilizar como ecuaciones de estado ecuaciones parab olicas de la forma ut = A(u, u, x, t) + B (u, u, x, t), (5)
con las condiciones de elipticidad est andar sobre el operador A y condiciones de regularidad y crecimiento sobre A y B ; ver por ejemplo el texto de Smoller [108] y las referencias a la combusti on citadas en la secci on anterior. Para jar ideas, pensaremos que (5) es un modelo de propagaci on del calor no lineal en un medio reactivo y que u 0 es la temperatura. Los modelos de reacci on-difusi on han jugado un papel predominante en el estudio del blow-up, cuyo concepto matem atico pasamos a formular en su forma m as simple. (i) Comenzamos, como hemos mencionado antes, con un problema bien planteado para tiempos peque nos: suponemos suciente regularidad en A y B para tener existencia y unicidad para, por ejemplo, el problema de Cauchy, o un cierto problema de valores iniciales y de contorno, asociado a la ecuaci on (5), en un intervalo de tiempo 0 < t < t0 . (ii) Disponemos as mismo de una teor a de prolongabilidad de soluciones que permite asegurar que la soluci on se puede prolongar en el tiempo mientras se mantenga acotada. Para las soluciones cl asicas de ecuaciones parab olicas esta teor a se suele basar en estimaciones de Schauder. Para soluciones d ebiles de problemas en forma de divergencia en espacios de Sobolev, o incluso para problemas completamente no lineales, hay que hacer uso de las estimaciones correspondientes. La explosi on, o blow-up, ocurre entonces si la soluci on se hace innita en alg un punto (o varios), cuando t se aproxima a cierto tiempo nito T , llamado tiempo de explosi on, de manera que u est a bien denida para 0 < t < T , mientras que l m sup u(, t) = . (6) La teor a matem atica de explosi on comenz o activamente en los a nos 60 con los trabajos de Kaplan [75], Fujita [47], [48], Friedman [44] y otros; no existe
tT
80
A. de Pablo et al.
todav a una teor a completa pero s se han realizado estudios detallados de una serie de problemas de complejidad creciente, y se cuenta en la actualidad con una vasta literatura en este tema. Los dos modelos escalares cl asicos son ut = u + eu , y u t = u + u p , p > 1. (8) >0 (7)
El primero de ellos es el modelo de reacci on exponencial, importante en teor a de la combusti on [120] bajo el nombre de modelo de combustible s olido o ecuaci on de Frank-Kamenetsky, as como en geometr a diferencial [76] y en otras aplicaciones. La explosi on depende del par ametro > 0, el dato inicial y el dominio. El inter es del segundo modelo radica en que es el ejemplo m as simple en el que aparece la llamada propiedad de Fujita, que describiremos despu es: para ciertos valores del exponente p se puede tener que explotan todas las soluciones. Otros modelos construidos a partir de operadores el pticos m as generales se han hecho cada vez m as populares en los u ltimos tiempos por la aparici on de nuevos fen omenos asociados con la explosi on, am en de por sus aplicaciones, por ejemplo en Mec anica de Fluidos. En particular mencionamos el operador de medios porosos u t = u m + u p , m > 0, (9)
y el operador p-Laplaciano (aqu -Laplaciano) ut = (|u| u) + up , > 1. (10)
Todos estos modelos toman la forma ut = A(u) + f (u), donde A es un operador el ptico de segundo orden, posiblemente no lineal y degenerado y que representa la difusi on, y f (u) es una funci on superlineal de u que representa la reacci on. A la hora de mencionar alg un texto que recoja los resultados conocidos sobre estos y otros modelos de explosi on, podemos empezar con los libros de Bebernes y Eberly [6] y de Samarskii et al. [107]. Sin embargo, este es un campo muy activo en el que constantemente se producen nuevos avances. Para encontrar referencias m as actualizadas se deben consultar los surveys de Levine et al. [83, 22], Bandle y Bruner [4], Galaktionov y V azquez [62] y Fila [37].
Las preguntas b asicas
En esta secci on describiremos las principales cuestiones que surgen en el estudio de las ecuaciones de reacci on-difusi on. Una lista de tales cuestiones deber a incluir las preguntas: hay explosi on?, cu ando?, d onde?, c omo? Proponemos aqu una lista extendida de siete temas a tratar.
81
1. Existencia de explosi on (a) Hay explosi on para alg un dato? (b) Para qu e datos explotan las soluciones? 2. Cu ando se produce la explosi on? 3. C omo se produce la explosi on? (a) Cu al es la velocidad de explosi on? (b) Cu al es la forma de la soluci on cerca de la explosi on? 4. D onde se produce la explosi on? 5. Se puede continuar la soluci on despu es de la explosi on? 6. En caso de sistemas, hay simultaneidad? (a) Explotan todas las componentes, o s olo alguna? (b) Es el conjunto de explosi on el mismo para todas las componentes? 7. C alculo num erico de la explosi on Esta relaci on se puede modicar y adaptar a otros problemas de aparici on de singularidades. Naturalmente, el u ltimo tema ha aparecido s olo muy recientemente y es tambi en un campo muy activo. Pasemos a describir brevemente lo que quiere decir cada cuesti on. Nos centraremos siempre a lo largo de este art culo en soluciones no negativas, u 0. Las respuestas pueden variar notablemente en el caso de soluciones con cambios de signo, ver por ejemplo [90, 41]. (1) La formulaci on del problema de explosi on depende de la elecci on de una clase adecuada de soluciones, es decir, una vez que se ha elegido un marco funcional en el que viven las soluciones de nuestro problema, la explosi on se puede interpretar como la imposibilidad de permanecer en dicho marco. De hecho, existen casos donde la explosi on ocurre en un espacio funcional pero no en otro: as , la explosi on en L no implica necesariamente la explosi on en norma L1 . Fijado el marco funcional, la existencia de explosi on depende en general de la forma de la ecuaci on (en t erminos de sus coecientes o m as generalmente de sus condiciones estructurales), del dato inicial, del espacio ambiente y de las condiciones de contorno. En el caso en el que hay soluciones que explotan, tenemos dos posibilidades: todas las soluciones explotan o s olo lo hacen las soluciones pertenecientes a una determinada clase, que habr a que identicar. El ejemplo cl asico es el problema de Cauchy en Rn para la ecuaci on semilineal del calor (8), donde toda soluci on
82
A. de Pablo et al.
positiva explota si el exponente verica 1 1 + 2/n existen tanto soluciones globales como soluciones que explotan. El n umero pc = 1 + 2/n se denomina exponente de Fujita, [47]. (2) En cuanto a la pregunta de cu ando explota la soluci on, se puede considerar el fen omeno de explosi on en un sentido m as general incluyendo la explosi on en tiempo innito. Tenemos as tres posibilidades: (a) explosi on instant anea, (b) explosi on en tiempo nito (blow-up est andar), (c) explosi on en tiempo innito (grow-up). Centraremos nuestra atenci on en el blow-up est andar, aunque el inter es sobre el fen omeno de grow-up aumenta d a a d a, cf. [52]. La explosi on instant anea aparece menos en la literatura, sin embargo nos podemos encontrar con ella en un modelo tan sencillo como la ecuaci on (7), cf. [97, 113]. (3) Nos ocupamos ahora del comportamiento asint otico cerca del tiempo de explosi on. Hay dos aspectos importantes: (a) la velocidad a la cual tiene lugar la explosion, la tasa de explosi on. Esto es, estimar alguna norma de u(, t) cuando t T . Por ejemplo, para la ecuaci on (8) se tiene que u(, t)
(T t)1/(p1)
para t T ;
(b) la forma nal de la soluci on, llamada perl de explosi on. En general, habr a que contentarse con dar la forma de la soluci on cerca del punto o puntos de explosi on via un cambio de variables, [64]. Usualmente, dicha forma viene dada por una soluci on autosemejante del problema o de alg un problema relacionado. (4) Para saber d onde se produce la explosi on, denimos el siguiente conjunto: B (u) = {x : xk x, tk T , u(xk , tk ) }. Dependiendo del conjunto de explosi on diremos que tenemos: (a) explosi on puntual, si la soluci on explota en un n umero nito de puntos (o m as en general en un conjunto de medida n-dimensional cero); (b) explosi on regional, si la soluci on explota en un subconjunto propio de medida positiva; (c) explosi on global, si la soluci on explota para todo punto de : B (u) = . Los dos primeros casos reciben en [107] el nombre de localizaci on efectiva. (5) Una cuesti on que ha suscitado gran inter es en los u ltimos a nos es: qu e ocurre despu es de la explosi on?, [5, 62]. Lo primero ser a denir un concepto (11)
83
razonable de soluci on despu es de la explosi on. Esto se hace t picamente mediante aproximaci on por problemas cuyas soluciones no explotan. Pasando al l mite recuperamos la soluci on para t < T , mientras que para t > T obtenemos una de las tres posibilidades: (a) la soluci on es innita en todo punto: explosi on completa; (b) la soluci on es acotada en una regi on pero innita en la complementaria: explosi on incompleta; (c) la soluci on es acotada en todo punto para t > T , explosi on transitoria (o evitable). (6) Hablemos ahora de sistemas a los que se aplican las ideas anteriores. Si la soluci on de un sistema explota, a priori no hay ninguna raz on por la que todas las componentes deban ir a innito en el tiempo de explosi on, [100]. Pudiera suceder que algunas componentes permanezcan acotadas. Para que esto sea posible el acoplamiento entre las distintas componentes tiene que ser d ebil, de manera que las componentes que explotan no arrastren a las otras hacia el blow-up. Por otra parte, en ocasiones el acoplamiento no es lo sucientemente d ebil como para permitir la explosi on no simult anea, pero s para permitir que los conjuntos de explosi on de las distintas componentes sean distintos. Dado un sistema concreto, c omo de d ebil tiene que ser el acoplamiento para que se pueda dar una u otra de las situaciones que acabamos de describir? (7) La u ltima cuesti on se reere a la implementaci on de m etodos num ericos que detecten el fen omeno de explosi on y que reproduzcan las propiedades anteriores. Las dicultades del an alisis se deben, fundamentalmente, a que los teoremas de convergencia usuales no incluyen casos singulares como los que aparecen en los problemas de explosi on, por lo que se hace necesario recurrir a otras t ecnicas, como principios de comparaci on discretos, estimaciones funcionales, desarrollos asint oticos cuidadosos de las soluciones num ericas, etc., que generan un campo de actividad u til y en cierta medida aut onomo. Una buena referencia en este tema es el trabajo de Groisman y Rossi publicado en este Bolet n, [67].
Problemas modelo: algunas t ecnicas
En esta secci on describiremos con m as detalle algunas de las cuestiones planteadas en la secci on anterior y comentaremos algunas de las principales t ecnicas usadas para responderlas. Para ello nos serviremos de la ecuaci on modelo (8) y de su generalizaci on (9). Para jar ideas, dada la gran variedad de problemas que se tratan en la literatura, nos centraremos en el correspondiente problema de Cauchy asociado: ut = um + up , x Rn , t > 0, u(x, 0) = u0 (x), x Rn , (12)
84
A. de Pablo et al.
con m, p > 0 y n 1. La ventaja que tiene utilizar este modelo como presentaci on en lugar de ce nirnos al caso semilineal m = 1 es que las respuestas a las preguntas b asicas ofrecen una m as amplia casu stica en el caso m > 0 general. No obstante, para evitar fen omenos de extinci on producidos por la difusi on muy r apida consideraremos m > mc = (n 2)+ /n. En cuanto al dato inicial, supondremos que es regular, no negativo y de soporte compacto. 6.1 Exponentes cr ticos de explosi on
El fen omeno de explosi on en problemas de reacci ondifusi on fue estudiado por primera vez por Kaplan en 1963 para la ecuaci on semilineal del calor (8) en su trabajo [75]. El argumento de Kaplan, que posteriormente ha sido adaptado a numerosas situaciones, consiste en multiplicar la ecuaci on por una funci on adecuada e integrar, obteniendo una inecuaci on diferencial que nos garantice la explosi on. Se pasa as de una EDP a una EDO a la que se aplica la condici on de Osgood (4) o similar. Figura 1: S. Kaplan En su versi on original, el problema se considera en un dominio acotado y la funci on elegida es la primera autofunci on del operador normalizada. En Rn se toma (x) = 2 , deniendo J (t) = (k )n/2 ek|x| , que verica + 2kn 0. As llegamos a J (t) 2knJ (t) + J p (t). Entonces, para cada p > 1, si J (0) es sucientemente grande, mayor que la primera ra z de la ecuaci on F (z ) 2knz + z p = 0, es decir, si u0 es sucientemente grande, se deduce inmediatamente que J (t) debe explotar en tiempo nito y por tanto u explota en tiempo nito. M as a un, si miramos con cuidado la condici on sobre el tama no que debe tener u 0 , obtenemos 2 1 n ek|x| u0 (x) dx Ck = , p 1 2 n R
Rn
u(x, t)(x) dx, integrando por partes y aplicando la desigualdad de Jensen,
donde C es independiente de p y de n. Vemos que esta condici on se cumple para todo dato inicial no trivial con alguna k > 0 si y s olo si > 0. Este es el segundo resultado fundamental en la teor a, demostrado por Fujita en 1966: todas las soluciones explotan si 1 < p < pc 1 + 2/n, [47]. En el caso p = pc se tiene tambi en el mismo resultado, que fue demostrado en la d ecada siguiente, [68, 78]; una prueba m as elegante de ambos resultados se encuentra en [119].
85
Si se intenta aplicar esta idea al problema (12), obtenemos la misma conclusi on pero s olo para m ax{m, 1} 1. En este caso, necesitamos otra herramienta para llevar el extremo inferior del intervalo hasta p = 1. Esta herramienta es cl asica en las ecuaciones parab olicas y consiste en la comparaci on con sub y supersoluciones m as o menos expl citas. Esta t ecnica podr a entonces ser aplicada a aquellos problemas para los que se pueda establecer un principio de comparaci on, y la dicultad residir a en la construcci on de las funciones especiales, que servir an como barreras. Aprovechando la homogeneidad de la ecuaci on en (12), es natural buscar sub y supersoluciones en forma autosemejante. Con subsoluciones de la forma u(x, t) = (t0 t) (x(t0 t) ), se puede demostrar explosi on en tiempo T supersoluciones de la forma u(x, t) = t (xt ) < (13)
t0 , mientras que con (14)
se obtendr an soluciones globales, que incluso decaen a cero. Los exponentes de semejanza se obtienen de la propia ecuaci on: = 1/(p 1), = (p m)/2. Existen subsoluciones del primer tipo para todo p > 1; y existen supersoluciones del segundo tipo s olo si p > pc . De este modo, queda determinado en qu e condiciones hay explosi on en tiempo nito. La mejor referencia para buscar estas funciones autosemejantes es [107]. El n umero pc , el exponente de Fujita (recordamos que todas las soluciones explotan si 1 < p pc ), se puede entender de diversas maneras. En [22] se propone un m etodo simple de obtenci on del exponente cr tico, y despu es se aplica a numerosos problemas, ver tambi en [57]. Consiste en igualar las tasas de decrecimiento del t ermino de difusi on con la tasa de explosi on del t ermino de reacci on: en cada rango de exponentes se impondr a un t ermino u otro. Si p > 1, la soluci on explota si llega a alcanzar masa suciente, cosa que ocurre con todas las soluciones si 1 pc , la difusi on impide que Figura 2: H. Fujita los datos peque nos crezcan lo suciente, y de hecho tienden a cero. En el problema (12) el decrecimiento producido por la difusi on viene dado por la soluci on de Barenblatt B (x, t; M ) = taD C (M ) aD (m 1) 2 2aD /n |x| t 2mn
1/(m1) +
(15)
con aD = n/(2 + n(m 1)) > 0 (recordemos m > mc ); la tasa de explosi on se obtiene resolviendo ut = up , que da aR = 1/(p 1). As pues el exponente de Fujita, para el que aD = aR , marca el equilibrio entre los dos t erminos.
86
A. de Pablo et al.
Como ejemplo mencionamos que en la ecuaci on -Laplaciana (10) se tiene aD = n/( + 2 + n) y por tanto pc = + 1 + ( + 2)/n, ver [49]. Otra t ecnica empleada en ocasiones para caracterizar las soluciones que explotan es el m etodo de concavidad, introducido por Levine en [81] y [84]. Si consideramos la siguiente energ a Eu (t) = 1 2
Rn
|um (x, t)|2 dx
m p+m
Rn
up+m (x, t) dx,
se tiene f acilmente que Eu (t) es decreciente cuando u es una soluci on de (12). En [81] se demuestra que una condici on suciente de explosi on en tiempo nito para el caso p > m es que la energ a sea negativa en alg un momento, y de hecho en ese caso tender a a . Para ello, se dene una funci on auxiliar en una bola sucientemente grande
t
H (t) =
0 |x|R
um+1 (x, s) dx ds + c1 (T t) + c2 (t + c3 )2
(donde las ci dependen de u0 ) y se prueba que si por ejemplo Eu (0) < 0 entonces existe > 0 tal que H es no negativa, decreciente y c oncava. De aqu se obtiene que existe un t0 > 0 en que H se anula, de modo que H (t0 ) = , lo que a su vez implica que u explota en un tiempo T t0 . Por otro lado, se puede comprobar que la soluci on de Barenblatt (15), convenientemente rescalada, tiene energ a negativa si m pc nos da un criterio de explosi on en t erminos de la energ a del dato inicial. En dominios acotados la anterior es una condici on necesaria y suciente de explosi on en tiempo nito. 6.2 Tasas
Para el c alculo de las tasas de explosi on presentamos aqu dos t ecnicas, basadas una en cambios de escala y la otra en comparaci on de intersecciones. Para simplicar consideraremos soluciones radialmente decrecientes. El m etodo de cambios de escala se debe a Giga y Kohn [64] para el caso m = 1. Describiremos aqu c omo funciona para m general, aunque necesitaremos que la soluci on sea creciente en tiempo, lo que se cumple si el dato inicial verica p u m as generales restringen el rango 0 + u0 0. Resultados con datos iniciales m de par ametros para los que es v alida la tasa. A partir de una soluci on u que explota en el tiempo T , denimos la funci on rescalada 1 x R, t (s1/(p1) , 0), (x, t) = u((mp)/2 x, 1/(1p) t + s), donde 0 < s < T est a jado y = u(0, s) = m axxR u(x, s). Observemos que es de nuevo una soluci on de la ecuaci on (9). La estrategia consiste en demostrar que se verica 0 < C1 (0, 0) C2 , (16) t
87
que traducido seg un el valor de implica up (0, t)ut (0, t) C . Finalmente, integrando entre t y T se tiene u(0, t) C (T t)1/(p1) . (17)
La demostraci on de la estimaci on superior en (16) se sigue de la teor a de regularidad de Di Benedetto [8]. Para la estimaci on inferior se procede por paso al l mite a demostrar que, si l mj t j (0, 0) = 0, entonces (x, t) = on estacionaria no trivial de la misma ecuaci on l mj j (x, t) es una soluci de medios porosos, es decir m + p = 0 en Rn . Esto contradice el resultado de [63] donde se demuestra que este problema no tiene soluci on si p < ps = m(n 2)+ /(n + 2), y se tiene la estimaci on inferior deseada en ese rango de exponentes. En caso de que ut no sea positiva, una restricci on del tipo p < ps es necesaria en vista del resultado de [70], que muestra un ejemplo de explosi on llamada superr apida, tambi en llamada de tipo II, en el caso supercr tico para n > 10 cuando p > p , un exponente mayor que ps . Ver tambi en [87] y [88]. La segunda t ecnica que expondremos aqu , llamada de comparaci on de intersecciones, aunque v alida s olo en dimensi on uno en espacio, ha sido ampliamente utilizada en problemas de difusi on, ver [107]. Se basa en el hecho de que, por un lado, el n umero de cambios de signo (cortes) entre dos soluciones no puede aumentar con el tiempo y, por otro, en que el principio de comparaci on impide que dos soluciones que exploten en el mismo tiempo est en ordenadas. En nuestro ejemplo queremos comparar nuestra soluci on con una soluci on autosemejante U (x, t) = (T t) G(x(T t) ) con = 1 pm , = , p1 2 (18)
donde el perl G es soluci on de la ecuaci on (Gm ) ( ) G ( ) G( ) + Gp ( ) = 0, R. (19)
Utilizando un m etodo de disparo a partir de = 0 siempre podemos encontrar un perl de subsoluci on de manera que U (, 0) corta exactamente dos veces a nuestro dato inicial y su soporte est a contenido en el soporte de u0 . La teor a de intersecciones, junto con el principio de comparaci on, nos dice ahora que el n umero de cortes es siempre dos, lo que implica que u(, t)
U (0, t) = C (T t) .
Por otro lado, repitiendo el mismo argumento con la soluci on plana W (x, t) = c (T t) , c = ,
obtenemos la estimaci on inferior, de lo que conclu mos (17).
88
A. de Pablo et al.
6.3
Comportamiento asint otico
Una vez que se conoce la tasa de explosi on, para estudiar el comportamiento asint otico (cuando t T ) debemos normalizar la soluci on de acuerdo a esta tasa, para obtener as una funci on acotada y cuyo m aximo est e tambi en acotado inferiormente por una constante positiva. Por otro lado, ya hemos comentado las ventajas que puede ofrecer la homogeneidad de la ecuaci on. As pues, para nuestro problema (12) denimos la funci on g (, ) = (T t) u(x, t), con = (T t) x, = log(1 t/T ), (20)
donde y son como antes. Este cambio de variables fue introducido para el caso m = 1 en [64], ver tambi en [116, 69]. El cambio de la variable temporal permite traducir el estudio del comportamiento para t cercano a T de la soluci on en el estudio para de la funci on g que verica la ecuaci on g = (g m ) g + g p g. Mediante t ecnicas basadas en funcionales de Lyapunov se demuestra que g se estabiliza hacia una soluci on estacionaria (los perles autosemejantes introducidos antes). Estos funcionales no son siempre f aciles de construir, ver [51, 122]. En los casos en que la soluci on estacionaria es u nica, se obtiene que

l m g (, ) = G( )
(21)
uniformemente sobre compactos. Obs ervese que la soluci on estacionaria a la que se converge es universal, no depende del dato con el que empezamos. En los casos en los que no hay unicidad, o no se conoce, tendremos que conformarnos con dar el resultado de estabilidad en t erminos del llamado conjunto -l mite (g0 ) = { G C (R) : G 0, j tal que l m g (, j ) = G uniformemente sobre compactos de R }.
j
Se tiene que (g0 ) est a contenido en el conjunto de soluciones de (19). En nuestro caso la unicidad de perl autosemejante se conoce s olo si 1 m es un problema abierto de gran dicultad. 6.4 Conjuntos de explosi on
La descripci on del conjunto de explosi on para las soluciones del problema (12) es en general un problema dif cil de tratar incluso en el caso m = 1, sobre
89
todo en varias variables, [115]. Sin embargo, para casos particulares se tienen resultados sencillos. Por ejemplo, siguiendo con m = 1, si el dato inicial es radial con un u nico m aximo en el origen, entonces el conjunto de explosi on se reduce a este punto, B (u) = {x = 0}. De hecho se tiene una estimaci on del tipo u(x, t) c|x|2/(p1) , [46]. M as en general, si u0 tiene un n umero nito de m aximos, el conjunto de explosi on consiste en un n umero no mayor de puntos, cf. [18]. Consideremos ahora el caso m = 1 y j emonos de nuevo en un dato inicial radialmente decreciente. Aqu se tienen las tres posibilidades: 1<p<m p=m p>m B (u) = Rn , B (u) = {|x| R0 }, B (u) = {x = 0}, explosi on global, explosi on regional, explosi on puntual.
El caso de explosi on puntual se demuestra mediante una estimaci on similar al caso de la difusi on lineal, ver [51]. En el caso en que 1 < p < m la convergencia al perl autosimilar nos da la explosi on global. Sin embargo, si p = m esta convergencia no es suciente y necesitamos estimar la velocidad a la cual se converge a cero fuera del soporte del perl autosimilar, ver [19]. Si m > 1, es bien conocido que el problema (12) tiene velocidad nita de propagaci on, [92]. Esto quiere decir, por ejemplo en dimensi on n = 1, que si u0 tiene soporte acotado, por ejemplo por la derecha, entonces la soluci on u(, t) tambi en tiene soporte acotado por la derecha, y aparece una interfase (derecha), s(t) = sup{x R : u(x, t) > 0}. Pues bien, si p m esta interfase est a acotada uniformemente para todo 0 < t < T , lo que se denomina localizaci on, pero si 0 < p < m, la interfase explota con la soluci on, y de hecho se tiene s(t) (T t) , que se demuestra utilizando la teor a de intersecciones mencionada antes, v ease [107].
Continuaci on despu es de la explosi on
La continuaci on tras el tiempo de explosi on de las soluciones que experimentan una explosi on en un determinado tiempo es un tema de gran inter es aplicado. Se trata de saber si existe una forma natural de realizar tal extensi on y, si la respuesta es positiva, qu e aspecto y propiedades tiene. 7.1 Concepto de continuaci on. Soluciones propias
El primer paso en este estudio es el examen de las opciones de continuaci on que sean m as razonables f sicamente cuando la mera continuaci on cl asica ha fallado. Baras y Cohen [5] atacaron esta cuesti on en 1987 para las ecuaciones del calor semilineales de la forma ut = u + f (u) La propuesta de continuaci on es la de sustituir el t ermino reactivo f (u) por un t ermino regularizado fk (u), en que fk es una funci on lisa con crecimiento
90
A. de Pablo et al.
a lo m as lineal para u 1; se pide adem as convergencia mon otona fk f. Ello implica que existe la soluci on uk del problema de Cauchy aproximado y est a denida globalmente en el tiempo; como el principio del m aximo se aplica, la sucesi on {uk } es mon otona creciente en k , y podemos pasar al l mite por monoton a, u(x, t) = l m uk (x, t). (22) La funci on u extiende la soluci on cl asica u m as all a del tiempo de explosi on, sea con valores nitos o innitos. Si se obtiene que u(x, t) = para todo x , t > T, (23)
k
entonces se dice que la explosi on es completa, en otras palabras, la continuaci on es trivial, y ya no hay nada m as que hacer. Esta fue la situaci on encontrada en [5] para f (u) = up con p en el rango de par ametros subcr tico de Sobolev: 1 ps qued o abierto en ese momento. Brezis plante o el problema de encontrar ecuaciones de reacci on-difusi on para las que existiera continuaci on no trivial, es decir explosi on incompleta. Este problema fue estudiado por Galaktionov y V azquez en tres art culos [59], [60] y [61]. Los resultados muestran que la continuaci on es un fen omeno simple de caracterizar para ecuaciones de reacci on-difusi on en dimensi on uno y mucho m as complejo en varias dimensiones de espacio. Desde entonces se han realizado grandes progresos en esta direcci on. Este m etodo de aproximaci on desde abajo, que permite tambi en tratar datos iniciales no acotados aproxim andolos de modo creciente por datos acotados, produce al nal un objeto que puede ser nito or innito; tales objetos se llaman soluciones l mite. En [60] se prueba la unicidad del l mite as construido. Se trata de una continuaci on en el sentido de que coincide con la soluci on habitual (cl asica o d ebil) antes de la explosi on; en casos de no unicidad del problema original, coincide con la llamada soluci on minimal. Le hemos dado el nombre de soluci on propia para distinguirla del resultado obtenido mediante otras posibles aproximaciones, no desde abajo. Se trata de una especie de soluci on de viscosidad pero ese aspecto no ha sido estudiado en detalle. 7.2 Caracterizaci on de la explosi on completa en 1D
En lo que sigue la continuaci on se discutir a en t erminos de soluciones propias, y prescindiremos de la tilde, u = u. Resumimos los resultados de [59]. Se consideran las soluciones no negativas de las ecuaciones de la forma ut = (u)xx + f (u), (24)
bajo hip otesis generales sobre las funciones constitutivas (no negativas) y f y el dato inicial (que de acuerdo con la costumbre establecida suponemos que tiene forma de campana).
91
Obtenemos una caracterizaci on de la posibilidad de continuaci on no trivial en t erminos de las propiedades asint oticas de las funciones y f . Se trata de hecho de tres condiciones integrales. Recordamos para empezar que una condici on necesaria (que no suciente), es la condici on de Osgood (B1)
ds < . f (s)
Una condici on suciente de explosi on debe involucrar tambi en a la funci on . El problema de explosi on completa depende de dos integrales m as. Una es (B2) 1 u u2 l m
u
f (s) (s) ds < ,
que mide la potencia conjunta de la difusi on y la reacci on. La tercera condici on (B3) (s) ds < , s
afecta s olo a la capacidad difusiva para u grande. Esta condici on es equivalente a la propiedad de velocidad nita de propagaci on para grandes valores de u. Los resultados que se obtienen en [59] son:
Si se cumplen estas tres condiciones integrales (B1)(B3), se tiene continuaci on global, esto es la zona quemada, donde u se hace innita tras la explosi on, es un conjunto acotado (explosi on incompleta) o bien el conjunto vac o (explosi on transitoria).
Si (B2) falla tenemos explosi on completa, es decir u para todo t > T .
Veamos estos resultados para nuestro problema modelo (12). Se tiene (B1) si p > 1, (B2) si m + p 2 y (B3) si m < 1. As , (B1)(B3) se cumplen si m 2 p < 1, un r egimen de la llamada difusion r apida. En particular (B3) excluye la difusi on lineal habitual, raz on probable de que este llamativo fen omeno de continuaci on no trivial pasara desapercibido. Para la evoluci on de la zona quemada en casos concretos en que aparecen interfases explosivas ver [61]. Las pruebas est an basadas en el m etodo de las ondas viajeras, que sustituye en este an alisis al m etodo m as usual de los estados estacionarios, ver [107]. Se procede primero a una clasicaci on completa de las posibles ondas viajeras y luego se usan para mostrar continuaci on o explosi on completa. El u ltimo caso se prueba mediante la t ecnica de barrido. Es interesante se nalar que exactamente las mismas t ecnicas permiten tratar el problema de extinci on en tiempo nito para ecuaciones de la forma ut = (u)xx f (u), (25)
planteado por Levine [82], lo que fue hecho tambi en en [59]. En este problema u toca el nivel cero en tiempo nito y quien explota es ut y no u, lo que se denomina quenching.
92
A. de Pablo et al.
7.3
Explosi on transitoria en varias dimensiones
En constraste con los resultados que acabamos de describir, la situaci on en varias dimensiones es mucho m as compleja. Se han encontrado nuevas formas de explosi on descritas por un tipo de soluciones a las que se ha dado el nombre de soluciones peaking: explotan s olo en un punto y en un instante de tiempo, despu es del cual tienen una continuaci on cl asica. Representan una forma transitoria de explosi on. Consideramos el problema (12) con n 3 (y m > (n 2)/n). Mientras que para 1 ps . M as precisamente, existen soluciones propias de peaking en el intervalo de par ametros p (p s , pp ), donde pp = para n 10, mientras en dimensiones n 11, y denotando N = n 10 > 0, se tiene pp = 1 + 3m + [(m 1)2 N 2 + 2(m 1)(5m 4)N + 9m2 ]1/2 . N (1)
Este nuevo (e impresionante) exponente fue introducido por primera vez en [80] para m = 1, donde toma la forma un poco m as simple pp = 1 + 6/N . La soluci on peaking se construye de forma autosemejante, tanto para t < T como para t > T . Esto quiere decir que u(x, t) = (T t) 1 (|x|(T t) ), (t T ) 2 (|x|(t T ) ), t < T, (2) t > T,
con = 1/(p 1) y = (p m)/2(p 1) como antes. Los perles 1 y 2 satisfacen la condici on de conexi on
s
l m 1 (s)s2/(pm) = l m 2 (s)s2/(pm) > 0,

s
(3)
lo que les permite ser partes de una misma soluci on global. Estas soluciones peaking presentan la forma m as d ebil de explosi on. De n hecho, es f acil comprobar a posteriori que u C ([0, ) : Lr ( R )) para todo loc 1 < r < n(p m)/2, un n umero que para p > ps es mayor que 2mn/(n 2). Tambi en son soluciones d ebiles de la ecuaci on en el sentido est andar de la integraci on por partes. Como precedente a los resultados anteriores mencionamos el trabajo de Lacey y Tzanetis [79] para la ecuaci on exponencial (7), aunque all la conexi on entre ambos desarrollos es formal. N otese tambi en que los patrones de explosi on incompleta son estructuralmente inestables. La construcci on de soluciones peaking bajo condiciones que no permitan la autosemejanza no es f acil. Hay resultados recientes debidos a Fila y Matano [39]. La existencia de una soluci on con peaking sucesivo en varios tiempos (y siendo acotada para el resto de tiempos) es un problema bastante dif cil que ha resuelto recientemente Mizoguchi [89].
93
7.4
Formaci on de avalanchas
Intentemos comprender mejor c omo se produce la explosi on completa como el l mite de un proceso de formaci on de avalanchas. Consideramos el problema (12) con m = 1 y p > 1. Como ya se ha dicho, la soluci on l mite explota completamente: despu es de explotar en t = T , la continuaci on es id enticamente innita para todo t > T . Por consiguiente, en t = T tiene lugar una fuerte discontinuidad de la soluci on propia en forma de un salto desde el perl nito que se forma en t = T hasta los valores innitos que se toman en t = T + . Esto es lo que se conoce como la avalancha, que fue estudiada por J. Rossi y dos de los autores en [105].
5000 u (x,t)
n
3000
1000
0 0.06 0.04 t 0.02 0 20 0 10 x 10 20
Figura 3: Comienzo de la explosi on Para visualizarla miramos lo que sucede con las aproximaciones uk en las que est a basada la construcci on de la soluci on propia. De hecho, las aproximaciones tienen gran inter es en s mismas, pues describen la situaci on combustiva mejor que el problema original en el sentido siguiente: en los sistemas de ecuaciones termo-difusivos, los fen omenos de crecimiento de la temperatura se deben a reacciones exot ermicas que suceden en un rango de temperaturas, pasado el cual el termino reactivo pierde fuerza por falta de combustible; bajo ciertos supuestos que estudia la literatura el sistema de ecuaciones se reduce a una ecuaci on con t ermino reactivo del tipo fk (u) con fk una funci on acotada. Veamos el comportamiento de las aproximaciones uk : para t > T , las soluciones de los problemas aproximados se acercan a una determinada forma asint otica cerca del lugar y el instante en que tiene lugar la explosi on de u. Realizamos una renormalizaci on adecuada que ampl a el tiempo y el espacio cerca del primer punto de blow-up con una tasa que depende del par ametro de aproximaci on k . Las soluciones renormalizadas vk tienden a una estructura, la
94
A. de Pablo et al.
capa interna, que es la soluci on de un problema l mite que se puede escribir de forma sencilla en t erminos de una EDO. La acumulaci on interna produce en la regi on externa una onda viajera cuya velocidad podemos calcular y es del orden de k (p1)/2 , lo que conrma cuantitativamente el hecho de que en el l mite la soluci on propia se propaga instant aneamente en tiempo t = T para cubrir todo el espacio. El c alculo de la velocidad de la onda viajera en los problemas aproximados es importante en las aplicaciones, pues representa la velocidad de propagaci on de las llamas reales.
x 10 8 un(x,t) 4
0 3 20 t 1.5 0 0 10 x
Figura 4: Avalancha t ermica con onda viajera En las guras 3 y 4 mostramos dos estadios del fen omeno de avalancha t ermica. En la primera gr aca se aprecia c omo, al acercarse al tiempo de explosi on, se forma una singularidad explosiva que est a connada en el origen. En la segunda, en la que s olo representamos el semieje positivo de las x para apreciar mejor el crecimiento de la soluci on en el m aximo, se ve la propagaci on del fen omeno explosivo por medio de una onda viajera. En una tercera etapa del modelo aproximado (truncado) la onda expansiva, que va a gran velocidad, llega a los bordes del dominio, si los hay, donde las condiciones de contorno dictan la absorci on o reexi on, y la consiguiente evoluci on tras el per odo anterior, que podr amos llamar per odo de ignici on. Detalles anal ticos y num ericos de todos estos procesos se pueden consultar en [105]. La avalancha est a relacionada con la aparici on de ondas viajeras que transportan informaci on de la explosi on desde el n ucleo. Hay muchos aspectos de esta conexi on que todav a no se comprenden bien. Los autores se han inspirado en el trabajo de Bebernes et al. [7]. Por otra parte, la formaci on y propiedades de las ondas viajeras es un tema principal en la teor a matem atica de la combusti on, como por ejemplo el estudio de ondas de deagraci on planas en [14]. Hay muchas
95
variantes interesantes de estos problemas. En [104] se analiza la formaci on de avalanchas cuando la reacci on tiene lugar en la frontera y no en el interior.
Condiciones de frontera no lineales
La explosi on no siempre se produce por una reacci on en el interior del dominio, sino que tambi en puede aparecer por el efecto de las condiciones de contorno, ver [38]. Por ejemplo, consideremos el siguiente problema en la semirrecta: x > 0, t (0, T ), ut = (um )xx , (um )x (0, t) = uq (0, t), t (0, T ), (4) u(x, 0) = u0 (x), x > 0, con u0 0. Muchas de las t ecnicas antes mencionadas para la ecuaci on de reacci ondifusi on (9) se pueden aplicar a este problema. En [56, 31] se prueba que existen soluciones que explotan en tiempo nito si y s olo si q > (m +1)/2. Por otro lado, al tratarse de un dominio no acotado, nos encontramos de nuevo con el fen omeno de Fujita: toda soluci on explota en tiempo nito si (m + 1)/2 < q qc m + 1, mientras que si q > qc existen soluciones que decaen a cero. El comportamiento cerca del tiempo de explosi on viene dado por una soluci on autosemejante. La tasa de explosi on es = 1/(2q m 1). La explosi on es puntual si q > m, regional si q = m y global si q < m, ver [42, 31].
Tambi en podr amos considerar el problema (4) en un intervalo [0, L], imponiendo condiciones de contorno para x = 0 y x = L. Por ejemplo, en [42] se considera que la frontera x = L est a aislada, (um )x (L, t) = 0; en [36] m se impone una absorci on, (u )x (L, t) = ur (L, t). En este u ltimo caso cabe destacar dos propiedades interesantes: (i) la tasa de explosi on no es continua con respecto a los par ametros del problema; (ii) existe un fen omeno del tipo Fujita, a pesar de tratarse de un dominio acotado. En el caso en que el dominio es un semiespacio = Rn olo se conocen + , s resultados para difusi on lineal (m = 1), donde se prueba que el exponente de existencia global es p0 = 1 y el exponente de Fujita es pc = 1 + 1/n, ver [21]. Por otro lado, es interesante comparar los efectos de este ujo sobre la frontera con la reacci on en el interior que hemos visto en las secciones anteriores. En [94] se estudia el problema x > 0, t (0, T ), ut = (um )xx + up , (um )x (0, t) = uq (0, t), t (0, T ), (5) u(x, 0) = u0 (x), x > 0. Aqu , los exponentes cr ticos se convierten en curvas cr ticas en el plano pq . La regi on de existencia global es Ag = {0 1, q m + 1} {p m + 2, 2q > m + 1}; nalmente, en la regi on Age = {p > m + 2, q > m + 1}
96
A. de Pablo et al.
coexisten los dos comportamientos. Conviene remarcar que si 1 < p m + 2 la reacci on sola es capaz de producir la explosi on de todas las soluciones, y que lo mismo ocurre con el ujo frontera si (m + 1)/2 < q m + 1. En las dos regiones restantes de Ae es necesario el efecto combinado de los dos t erminos para producir la explosi on: uno hace crecer la soluci on hasta un nivel en el que el otro t ermino lo hace explotar. En cuanto al comportamiento asint otico, se produce un efecto de simplicaci on a un problema u otro, (12) o (4), dependiendo de los par ametros (y este fen omeno se produce a todos los niveles: tasas, conjuntos de explosi on y perles asint oticos), salvo en la recta cr tica m + p = 2q , donde los dos t erminos inuyen en la evoluci on y la soluci on se comporta como una soluci on autosemejante del problema completo.
9
9.1
Sistemas
Condiciones de explosi on. Curva de Fujita
Para jar ideas consideramos el sistema modelo u t = u + v p , u(x, 0) = u0 (x) 0, v t = v + u q , v (x, 0) = v0 (x) 0, (x, t) Rn (0, T ), x Rn , (6)
que fue estudiado por Escobedo y Herrero en [24]. Aqu nos encontramos de nuevo con curvas cr ticas. Por ejemplo, el problema tiene soluciones que explotan si y s olo si pq > 1. Por otra parte, cuando pq > 1 y := n m ax{p, q } + 1 , pq 1 2
todas las soluciones no triviales explotan en tiempo nito, mientras que si < n/2 hay tanto soluciones que explotan en tiempo nito como soluciones globales. Por consiguiente, la curva = n/2 es la curva de Fujita para este problema. Por lo dem as, este sistema no presenta grandes novedades en relaci on con el correspondiente problema escalar. Si se consideran datos iniciales acampanados, ambas componentes explotan en un u nico punto, el origen. Por otra parte, el problema admite soluciones autosemejantes, homog eneas en espacio, que dan la tasa de explosi on de cualquier otra soluci on, [2], y el comportamiento cerca del punto de explosi on en los casos subcr ticos. Existen resultados similares para el mismo problema en dominios acotados, ver [54, 55, 16, 25, 45], as como para sistemas de ecuaciones del calor acopladas a trav es de su frontera mediante ujos no lineales, tanto en la semirrecta como en dominios acotados; v ease [20, 21, 118, 117, 102]. En el caso de difusiones no lineales, determinar las curvas de Fujita es un problema dif cil que s olo ha sido resuelto en casos particulares, ver [107, 99].
97
9.2
Explosi on no simult anea
Es evidente que, si una de las componentes de (6) permanece acotada, la otra tambi en lo est a. Por consiguiente, ambas componentes explotan cuando nos acercamos al tiempo de explosi on. Esto no sucede para todos los sistemas. Consideremos por ejemplo el nuevo sistema ut = u + up11 v p12 , u(x, 0) = u0 (x) 0, vt = v + up21 v p22 , v (x, 0) = v0 (x) 0, (x, t) Rn (0, T ), x Rn , (7)
con los pij 0. Este sistema tiene soluciones que explotan en tiempo nito si y s olo si los exponentes pij verican alguna de las condiciones p11 > 1, p22 > 1 o (p11 1)(p22 1) p12 p21 < 0, (8)
v ease [26]. En ese mismo art culo se da la condici on de Fujita para el problema. La novedad es que, si p11 > p21 + 1, entonces hay datos iniciales para los cuales una de las componentes del sistema permanece acotada mientras que la otra explota, fen omeno que se conoce como explosi on no simult anea, v ease [100]. Dado que p21 0, para tener explosi on no simult anea necesitamos en particular que p11 > 1, de manera que u pueda explotar por s misma, sin la ayuda de v . La condici on p11 > p21 + 1 nos dice que p21 (que mide la inuencia de u en la ecuaci on de v ) es peque na comparada con p11 (que mide la capacidad de u para explotar por s misma); por consiguiente, cuando u explota, no tiene por qu e arrastrar a v consigo. Las cosas se ponen a un m as interesantes si consideramos difusiones no lineales, ut = (um1 )xx + up11 v p12 , (x, t) R (0, T ), (9) vt = (v m2 )xx + up21 v p22 , con pij 0, mi > 0. Las soluciones de este problema explotan si y s olo si los exponentes pij satisfacen alguna de las condiciones (8). La posibilidad de tener explosi on no simult anea para este problema se menciona por primera vez en [107], aunque los autores se restringen a las soluciones planas. El sistema de EDOs asociado posee soluciones tales que u explota mientras que v permanece acotada si y s olo si p11 > p21 +1. Sin embargo, en este caso la difusi on no desempe na ning un papel. Surge una pregunta natural: hay, fuera de este rango, soluciones no planas tales que u explota mientras que v permanece acotada? Como hemos visto antes, en el caso de difusi on lineal la respuesta es que no. En [12] se demuestra que la condici on p11 > p21 + 1 sigue siendo la correcta cuando la componente que explota, u, est a en el caso de difusi on lenta, m 1 > 1. La principal novedad se da cuando el exponente en la difusi on de la componente que explota es menor que uno, 0 < m1 < 1. En este caso, si p11 > m ax{1, p21 + (m1 + 1)/2} y p12 = 0, existen datos iniciales tales que u explota mientras que v permanece acotada. Hay por tanto explosi on no simult anea en un rango de par ametros para el cual este fen omeno no es posible en el caso de las soluciones planas. Se conjetura que este resultado es cierto sin la
98
A. de Pablo et al.
hip otesis extra p12 = 0. De hecho se tiene el rec proco: si 0 < m1 < 1 y u explota mientras que v permanece acotada, entonces p11 > m ax{1, p21 + (m1 + 1)/2}. El an alisis de la posibilidad de explosi on no simult anea se ha llevado a cabo tambi en para problemas en que la reacci on se produce sobre la frontera, tanto para el caso de un dominio acotado [13], como en la semirecta [101]. Asimismo, se han considerado otros t erminos de reacci on en el interior [110, 106], as como fen omenos de no simultaneidad para problemas con singularidades de tipo quenching, ver [95, 33]. En los casos en los que la explosi on es no simult anea, en general es posible determinar la tasa de explosi on y el conjunto de explosi on, que coincidir an con los del problema escalar que se obtiene al sustituir v por una constante en la ecuaci on para la u. Sin embargo, cuando la explosi on es simult anea, la situaci on se vuelve m as dif cil, y las tasas y conjuntos s olo se conocen para algunos rangos de par ametros. 9.3 Conjuntos de explosi on distintos
donde m, r > 1, p, q > 0, estudiado en [102]. La curva de existencia global para r +1 +1 . Por encima de la curva de existencia global este problema es pq = m2 2 el sistema admite soluciones autosemejantes de la forma U (x, t) = (T t)1 f x (T t)1 , V (x, t) = (T t)2 g x (T t)2 ,
Como ya se mencion o, las dos componentes del sistema (6) tienen el mismo conjunto de explosi on, el origen. Se pueden conseguir conjuntos de explosi on distintos en el caso de difusi on no lineal? El problema est a abierto. Sin embargo, se conoce la respuesta para el problema similar con reacci on sobre la frontera, vt = (v r )xx , x > 0, 0 < t < T, ut = (um )xx , m p (u )x (0, t) = v (0, t), (v r )x (0, t) = uq (0, t), 0 < t < T, (10) u(x, 0) = u0 (x), v (x, 0) = v0 (x), x > 0,
donde los exponentes se obtienen de la homogeneidad del problema. Se prueba tambi en que la tasa de explosi on de cualquier soluci on que explote es la de semejanza. Estas tasas, combinadas con los resultados conocidos para el problema con condici on de Dirichlet u(0, t) = (T t) , ver [65], dan inmediatamente los conjuntos de explosi on para el problema, que quedan determinados por los signos de 1 y 2 . En particular, si 1 > 0, u explota puntualmente, teni endose explosi on regional cuando 1 = 0 y explosi on global para 1 < 0. El signo de 2 determina de forma an aloga el conjunto de explosi on de v . N otese que los conjuntos de explosi on para u y v son distintos si los signos de 1 y 2 tambi en los son. Recordemos que en el caso de difusi on lineal las dos componentes del sistema tienen el mismo conjunto de explosi on, el origen. As pues, surge una pregunta: esta diferencia en los conjuntos de explosi on est a provocada por la difusi on no
99
lineal (y distinta) de las dos ecuaciones? En [103] se demuestra que no es este el caso. Si se tienen dos ecuaciones del calor en la semirecta, acopladas sobre la frontera mediante condiciones no lineales de la forma ux (0, t) = f (v (0, t)), vx (0, t) = g (u(0, t)), t (0, T ),
con datos iniciales dados, es posible escoger las funciones f y g de forma que los conjuntos de explosi on de u y v sean, respectivamente, cualquier par de intervalos [0, a], [0, b]. Tambi en es posible jar el tiempo de explosi on T > 0.
10
Num erico
Daremos a continuaci on un breve repaso a algunos de los m etodos num ericos m as conocidos para problemas de explosi on. El objetivo de dichos m etodos es intentar reproducir las propiedades cualitativas de la soluci on del problema que estamos aproximando. Por tanto, un estudio detallado de dichas propiedades en la aproximaci on num erica es necesario para poder predecir si un proceso de evoluci on desarrolla singularidades en los casos en que un estudio anal tico es impracticable. En [4, 67], existe una larga lista de referencias sobre m etodos num ericos para problemas con explosi on. Un primer intento consiste en utilizar los llamados m etodos de l neas. La idea de estos m etodos es discretizar s olo la variable espacial, sustituyendo el estudio de una EDP por el de un sistema de EDOs. Ilustremos esto con un ejemplo, considerando el problema (x, t) (L, L) (0, T ), ut = (um )xx + up , u(L, t) = u(L, t) = 1, t (0, T ), u(x, 0) = u0 (x), x (L, L), con un buen dato inicial: regular, par y decreciente para x (0, L). Para discretizar la variable espacial utilizaremos elementos nitos con mass lumping sobre una malla ja, obteniendo el sistema de EDOs M U (t) = AU m (t) + M U p (t),
(11)
donde A es la matriz de rigidez y M es la matriz de masa (en la que se ha utilizado mass lumping). Las operaciones entre vectores se entienden componente a componente. En [28] se demuestra que la soluci on num erica reproduce aceptablemente las propiedades de la soluci on. Tenemos convergencia de segundo orden del m etodo en L ([L, L] (0, T ]), convergencia de los tiempos de explosi on y que tanto la soluci on num erica como la soluci on exacta explotan con la misma tasa. En cuanto a los conjuntos de explosi on tenemos que el m etodo reproduce bien la explosi on global, mientras que en el caso de explosi on puntual en el problema num erico aparece un fen omeno de propagaci on del blow-up a los K = K (m, p) nodos adyacentes a x0 = 0 (ver gura 5); ahora bien, al no depender K de h obtenemos que B (U ) B (u) + (, ) para todo h < h .
100
A. de Pablo et al.
28 26 24 22 20 18 16 14 12 10 8 6 6 8 10 12 14 16 18 20 22 24 26 28
! "# %$ !& ' (!

Figura 5: Tasas de explosi on para m = 1,5, p = 2 (K = 2). Se observa que u2 no explota.
Finalmente, en el caso de explosi on regional continua, la soluci on num erica explota en todos los nodos, y lo hace con la misma tasa, es decir, en cada nodo se verica 1 uk (t) wk (h, t)(Th t) p1 . Sin embargo, se puede recuperar la explosi on regional ya que wk (h, t) es uniformemente acotada y verica l mh0 wk (h, t) = 0 para todos los nodos que no est an en B (u), ver gura 6. Otros m etodos de discretizaci on en espacio son los llamados moving mesh methods, los cuales adaptan la malla espacial aprovechando la invariancia bajo cambios de escala de la soluci on, ver [72, 15]. El inconveniente de estos m etodos es que no se conocen demostraciones de su convergencia y de su comportamiento asint otico. Otra opci on es discretizar tambi en la variable temporal. Obtenemos de este modo los m etodos totalmente discretos. En [66] se propone una discretizaci on temporal para el sistema (11) con difusi on lineal. En primer lugar, se analiza un m etodo de Euler expl cito (esto da lugar a tener que adaptar la malla temporal) y a continuaci on un m etodo impl cito (que permite eliminar las restricciones en el paso temporal). En ambos casos se prueban resultados an alogos a los anteriormente expuestos. Cuando se intenta aplicar estas t ecnicas a problemas con ujo en la frontera, nos encontramos con que los m etodos de l neas con malla espacial ja en algunos casos no reproducen correctamente la tasa de explosi on, ver [29]. Este inconveniente se resuelve en [27], donde se utiliza un m etodo de renamiento consistente en mover los puntos de la malla bajo un determinado criterio. En [11]
101
x 10
10
) 3 021
Figura 6: Evoluci on de la soluci on con p = m = 2
se aplica un m etodo totalmente discreto. En todos estos trabajos se demuestra la convergencia de los m etodos propuestos y se da una respuesta detallada a las preguntas b asicas. Finalmente observamos que no siempre es posible escribir el m etodo de l neas como un sistema de EDOs del tipo (11). Por ejemplo, en [30] se estudia el problema de Dirichlet para la ecuaci on -Laplaciana (10). Si se aplican elementos nitos con mass-lumping, se obtiene el sistema M U = D+ |D U | D U + M U p , donde D+ y D son las matrices de rigidez. En este caso se obtiene tambi en que la soluci on num erica aproxima aceptablemente a la soluci on continua.
11
Otros problemas
Terminamos esta exposici on sobre problemas de explosi on mostrando otros problemas relacionados de alguna manera con los anteriores en los que tambi en se desarrollan singularidades en tiempo nito. No pretende ser una lista exhaustiva, pues una tarea as resultar a imposible debido a la gran cantidad de trabajos que se han producido en los u ltimos 30 a nos dedicados a entender las propiedades de blow-up en ecuaciones tan dispares como las ecuaciones no lineales de ondas, Navier-Stokes o Hamilton-Jacobi, leyes de conservaci on, ecuaciones de Schr odinger o de Prandtl, por citar s olo algunas. S olo dentro de las ecuaciones parab olicas no lineales nos encontramos con un amplio panorama donde centrar nuestra atenci on.
102
A. de Pablo et al.
Por ejemplo, los resultados que hemos descrito para la ecuaci on (9) tienen su equivalente en la ecuaci on (10), e incluso para la ecuaci on doblemente no lineal ut = (|u| um ) + up . La dicultad en las demostraciones se encuentra ahora en que la degeneraci on del operador se produce tambi en donde el gradiente de la soluci on se anula, v ease [49, 50]. Se puede considerar otro tipo de reacciones: reacci on localizada ut = um + up (x0 , t) o una reacci on no local u t = u m +
Rn
K (y )uq (y, t) dy
p/q
ur ,
donde K L1 , p > 0, q > 1, m > 1, r 1, ver [57, 109]. Por ejemplo, para este u ltimo problema el exponente de Fujita es pc = m + r + (m 1)/q + 2/n. Si el t ermino de reacci on es no aut onomo, ut = um + a(x, t)up , los exponentes de existencia global y de Fujita var an dependiendo del comportamiento de a(x, t) para |x| grande, [98]. El caso a(x, t) = a(x) de soporte compacto se puede considerar (en dimensi on n = 1) como un problema intermedio entre los problemas (12) y (4), [35]. Otro tipo de problema, o m as bien, otro enfoque de los problemas de explosi on puede consistir en buscar reacciones que produzcan alg un fen omeno particular. Por ejemplo, en el caso de la ecuaci on semilineal del calor, ut = u + f (u) determinar f para que la soluci on tenga blow-up regional, a pesar de la velocidad innita de propagaci on. En [53, 58] se demuestra que ese es el caso si f (u) = u ln2 u. En [17], se generaliza este fen omeno para la ecuaci on de orden superior ut = () u + f (u), > 1,
con f (u) = u| ln |u||2 . En el caso en que f (u) = |u|p , el exponente de Fujita para este problema es pc = 1 + 2/n, ver [23]. En la misma l nea del punto anterior, en [40] se eval ua la inuencia de datos de contorno fr os sobre la aparici on de explosiones, obteni endose el siguiente resultado bien sorprendente: existen funciones mon otonas crecientes f > 0 tales que las soluciones de la ecuaci on semilineal del calor anterior tienen explosi on en tiempo nito para todo dato inicial positivo y acotado si planteamos el problema en todo el espacio, pero por el contrario son todas ellas acotadas globalmente si el problema se plantea en un dominio acotado con datos de Dirichlet cero en el borde.
103
En su art culo [85] aparecido en esta revista, L opez-G omez considera las soluciones de ecuaciones el pticas superlineales del tipo A(u) := u + u a(x)up = 0 en un dominio , con p > 1, a > 0, y con valores u = en el borde del dominio, (llamadas soluciones grandes en la literatura) y las extiende por u = fuera de . Demuestra la utilidad de estas funciones extendidas, que llama metasoluciones, al obtenerlas como l mite para t del problema parab olico correspondiente, ut = Au, planteado en todo el espacio (o en un dominio mayor) tras extender la funci on a por cero fuera de . Se trata pues de fen omenos de blow-up incompleto en tiempo innito (grow-up incompleto). En [86] se estudia la continuaci on no trivial tras la explosi on para problemas con coeciente de reacci on con cambio de signo. Se demuestra que, bajo condiciones oportunas, no existe explosi on completa en las zonas absorbentes. Merece la pena mencionar tambi en algunas ecuaciones completamente no lineales. As , para la ecuaci on con el operador dual del operador de medios porosos, ut = |uxx |m1 uxx + up , se caracteriza en [57] el exponente de Fujita en t erminos del exponente de decaimiento producido por la difusi on, (recordemos el argumento introducido en 6.1), pc = 1 + 1/, donde es obtenido en [9]. El u ltimo ejemplo parab olico que comentamos es el que aparece cuando sustituimos el operador Laplaciano o de medios porosos por un operador no en forma de divergencia: u t = u s u + u p . Claramente, si s < 1 podemos convertir esta ecuaci on en (9) mediante el cambio de variable v = u1s . No ocurre lo mismo si s > 1, donde el cambio propuesto da lugar a un problema con difusi on y absorci on singulares, y al fen omeno de quenching. Este caso ha sido estudiado tambi en por numerosos autores, ver por ejemplo [96]. Destacamos aqu [10], donde se considera en una dimensi on el caso s 2, p = s + 1, obteni endose explosi on superr apida. El mismo resultado se obtiene para el problema x > 0, t (0, T ), ut = us uxx , ux (0, t) = uq (0, t), t (0, T ), u(x, 0) = u0 (x), x > 0,
con s 2, q = 1, ver [32]. Finalmente, si s = 1 las ecuaciones anteriores est an escritas genuinamente en forma de no divergencia, ver [112, 34]. Hemos mencionado muy de pasada los problemas de quenching donde u va a cero y quien explota es ut . Otros ejemplos de explosi on de las derivadas (y no de la funci on) se dan en procesos difusivos con t erminos no lineales de primer orden, como ut = uxx + |ux |p . Si la ecuaci on est a planteada para 0 < x < 1 con datos de contorno u(0, t) = 0, u(1, t) = 1, se demuestra que ux puede explotar en x = 0, cf. [3, 111].
104
A. de Pablo et al.
Dentro del marco de los sistemas de tipo parab olico, quiz a uno de los m as populares es el de la quimiotaxis. Se trata del siguiente: ut = u (uv ), vt = v v + u,
propuesto por Keller y Segel [77], ver los estudios de explosi on de [73] y [71]. Fuera de las ecuaciones parab olicas, quiz a el primer intento de extender el resultado de Fujita a otro tipo de problemas fue el trabajo de F. John [74], en el que considera la ecuaci on de ondas semilineal utt = u + |u|p en dimensi on n = 3 y demuestra que el exponente de Fujita viene dado por pc = 1 + 2. El exponente de existencia global es p = 1. Para otras referencias sobre resultados y problemas abiertos en otras dimensiones se puede consultar [83]. --Esperamos que estas reexiones y resultados sirvan al lector para hacerse una primera idea de la variedad de los problemas matem aticos ligados a la existencia de explosiones y de su inter es, dicultad y consecuencias. Es de se nalar que, siendo el tema tan amplio y estando el texto enfocado hacia nuestros propios intereses, la panor amica es necesariamente parcial y ganar a con el complemento de otras visiones.
Referencias
[1] M. Anderson. Geometrization of 3 - manifolds via the Ricci Flow, Notices Amer. Math. Soc. 51 (2004), 184193. zquez. Liouville theorems [2] D. Andreucci, M. A. Herrero y J. J. L. Vela and blow-up behaviour in a semilinear reaction diusion systems. Ann. Inst. H. Poincar e Anal. Non Lin eaire 14 (1997), 153. [3] J. Arrieta, A. Rodr guez-Bernal, Ph. Souplet. Boundedness of global solutions for nonlinear parabolic equations involving gradient blow-up phenomena, Ann. Sc. Norm. Super. Pisa Cl. Sci. 3 (2004), 115. [4] C. Bandle y H. Bruner. Blow-up in diusion equations: A survey, J. Comput. Appl. Math. 97 (1998), 322. [5] P. Baras y L. Cohen. Complete blow-up after Tmax for the solution of a semilinear heat equation, J. Funct. Anal. 71 (1987), 142174. [6] J. Bebernes y D. Eberly. Mathematical Problems from Combustion Theory, Appl. Math. Sci. 83, Springer-Verlag, New York, 1989. [7] J. Bebernes, C.M. Li y Y. Li. Travelling fronts in cylinders and their stability, Rocky Mountain J. Math. 27 (1997), 123150. [8] E. diBenedetto. Continuity of weak solutions to a general porous medium equation, Indiana Univ. Math. J. 32 (1983), 83118.
105
zquez. A very singular solution for the dual [9] F. Bernis, J. Hulshof y J.L. Va porous medium equation and the asymptotic behaviour of general solutions. J. Reine Angew. Math. 435 (1993), 131. [10] M. Bertsch y P. Bisegna. Blow-up of solutions of a nonlinear parabolic equation in damage mechanics. European J. Appl. Math. 8 (1997), 89123. ndle, P. Groisman y J.D. Rossi. Fully discrete adaptive methods for [11] C. Bra a blow-up problem, Math. Models Methods Appl. Sci. 14 (2004), 14251450. ndle, F. Quiro s y J.D. Rossi. Non-simultaneous blow-up for a [12] C. Bra quasilinear parabolic system with reaction at the boundary, aparecer a en Comm. Pure and Appl. Anal. ndle, F. Quiro s y J.D. Rossi. The role of nonlinear diusion in [13] C. Bra non-simultaneous blow-up, aparecer a en J. Math. Anal. Appl. [14] J.D. Buckmaster y G.S.S. Ludford. Lectures on Mathematical Combustion, CBMS-NSF Regional Conf. Series Appl. Math. 43 SIAM, Philadelphia, 1983. [15] C.J. Budd, W. Huang y R.D. Russell. Moving mesh methods for problems with blow-up, SIAM J. Sci. Comput. 17 (1996), 305327. [16] G. Caristi y E. Mitidieri. Blow-up estimates of positive solutions of a parabolic system, J. Dierential Equations 113 (1994), 265271. [17] M. Chaves y V.A. Galaktionov. Regional blow-up for a higher-order semilinear parabolic equation, European J. Appl. Math. 12 (2001), 601623. [18] X.Y. Chen, H. Matano. Convergence, asymptotic periodicity, and nite-point blow-up in one-dimensional semilinear heat equations, J. Dierential Equations 78 (1989), 160190. zar, M. del Pino y M. Elgueta. On the blow-up set for ut = [19] C. Corta um + um , m > 1, Indiana Univ. Math. J. 47 (1998), 541561. [20] K. Deng. Global existence and blow-up for a system of heat equations with non-linear boundary conditions, Math. Methods Appl. Sci. 18 (1995), 307 315. [21] K. Deng, M. Fila y H.A. Levine. On critical exponents for a system of heat equations coupled in the boundary conditions. Acta Math. Univ. Comenian. 63 (1994), 169192. [22] K. Deng y H.A. Levine. The role of critical exponents in blow-up theorems: the sequel, J. Math. Anal. Appl. 243 (2000), 85126. [23] Y.V. Egorov, V.A. Galaktionov, V.A. Kondratiev y S.I. Pohozaev. On the necessary conditions of global existence to a quasilinear inequality in the half-space, C. R. Acad. Sci. Paris S er. I Math. 330 (2000), 9398. [24] M. Escobedo y M. A. Herrero. Boundedness and blow up for a semilinear reaction-diusion system, J. Dierential Equations 89 (1991), 176202. [25] M. Escobedo y M. A. Herrero. A semilinear parabolic system in a bounded domain, Ann. Mat. Pura Appl. (4) 165 (1993), 315336. [26] M. Escobedo y H. A. Levine. Critical blow-up and global existence numbers for a weakly coupled system of reaction-diusion equations, Arch. Rational Mech. Anal. 129 (1995), 47100.
106
A. de Pablo et al.
[27] R. Ferreira, P. Groisman y J.D. Rossi. Numerical blow-up for a nonlinear problem with a nonlinear boundary condition, Math. Models Methods Appl. Sci. 12 (2002), 461483. [28] R. Ferreira, P. Groisman y J.D. Rossi. Adaptive numerical schemes for a parabolic problem with blow-up, IMA J. Numer. Anal. 23 (2003), 439463. [29] R. Ferreira, P. Groisman y J.D. Rossi. Numerical blow-up for the porous medium equation with a source, Numer. Methods Partial Dierential Equations 20 (2004), 552575. rez-LLanos. Numerical blow-up for [30] R. Ferreira, A. de Pablo y M. Pe the p-laplacian equation with a source, aparecer a en Comput. Methods Appl. Math. s y J.D. Rossi. The blow-up prole for [31] R. Ferreira, A. de Pablo, F. Quiro a fast diusion equation with a nonlinear boundary condition, Rocky Mountain J. Math. 33 (2003), 123146. s y J.D. Rossi. Superfast quenching, [32] R. Ferreira, A. de Pablo, F. Quiro J. Dierential Equations 199 (2004), 189209. s y J.D. Rossi. Non-simultaneous [33] R. Ferreira, A. de Pablo, F. Quiro quenching in a system of heat equations coupled at the boundary, aparecer a en Z. Angew. Math. Phys. [34] R. Ferreira, A. de Pablo y J.D. Rossi. Blow-up and localization properties for a degenerate diusion problem not in divergence form, aparecer a en Indiana Univ. Math. J. zquez. Blow-up for the porous medium [35] R. Ferreira, A. de Pablo y J.L. Va equation with a localized reaction. En elaboraci on. s y J.D. Rossi. The balance between nonlinear [36] R. Ferreira, F. Quiro inwards and outwards boundary ux for a nonlinear heat equation. J. Dierential Equations 184 (2002), 259282. [37] M. Fila. Blow-up of solutions of supercritical parabolic equations, preprint. [38] M. Fila y J. Filo. Blow-up on the boundary: a survey, Singularities and dierential equations (Warsaw, 1993), 6778, Banach Center Publ., 33, Polish Acad. Sci., Warsaw, 1996. [39] M. Fila y H. Matano. Blow-up in Nonlinear heat equations from the dynamical systems point of view, Handbook of dynamical systems, Vol. 2, North-Holland, Amsterdam 2002, pp. 723758. zquez, Dirichlet boundary conditions can [40] M. Fila, H. Ninomiya, J.L. Va prevent blow-up in reaction-diusion equations and systems, aparecer a en Discrete Contin. Dyn. Syst. zquez. Fast blow-up mechanisms [41] S. Filippas, M.A. Herrero y J.J.L. Vela for sign-changing solutions of a semilinear parabolic equation with critical nonlinearity R. Soc. Lond. Proc. Ser. A Math. Phys. Eng. Sci. 456 (2000), 29572982. [42] J. Filo. Diusivity versus absorption through the boundary, J. Dierential Equations 99 (1992), 281305. [43] M. Fontelos. Formaci on de singularidades y problemas de frontera libre en mec anica de uidos, Bol. Soc. Esp. Mat. Apl. 30 (2004), 143166.
107
[44] A. Friedman. Remarks on nonlinear parabolic equations. In: Applications of Nonlinear Partial Dierential Equations in Mathematical Physics, Amer. Math. Soc., Providence, RI, 1965, pp. 323. [45] A. Friedman y Y. Giga. A single point blow-up for solutions of semilinear parabolic systems, J. Fac. Sci. Univ. Tokyo Sect. IA Math. 34 (1987), 6579. [46] A. Friedman y B. McLeod. Blow-up of positive solutions of semilinear heat equations. Indiana Univ. Math. J. 34 (1985), 425447. [47] H. Fujita. On the blowing-up of solutions of the Cauchy problem for u t = u + u1+ , J. Fac. Sci. Univ. Tokyo Sec. IA Math. 16 (1966), 105113. [48] H. Fujita. On the nonlinear equations u + eu = 0 and vt = v + ev , Bull. Amer. Math. Soc. 75 (1969), 132135. [49] V.A. Galaktionov. On conditions for there to be no global solutions of a class of quasilinear parabolic equations, USSR Comp. Math. & Math. Phys. 2 (1982), 7290. [50] V.A. Galaktionov. Blow-up for quasilinear heat equations with critical Fujitas exponents, Proc. Roy. Soc. Edinburgh 124 (1994), 517525. [51] V.A. Galaktionov. On asymptotic self-similar behaviour for a quasilinear heat equation: single point blow-up, SIAM J. Math. Anal. 26 (1995), 675693. [52] V.A. Galaktionov y J.R. King. Composite structure of global unbounded solutions of nonlinear heat equations with critical Sobolev exponents, J. Dierential Equations 189 (2003), 199233. [53] V.A. Galaktionov, S.P. Kurdyumov, A.P. Mikhailov y A.A. Samarski . Unbounded solutions of semilinear parabolic equations, Keldysh Ins. Appl. Math. Acad. Sci. USSR, Preprint No. 161 (1979). [54] V.A. Galaktionov, S.P. Kurdyumov y A.A. Samarski . A parabolic system of quasilinear equations. I. Dierentsialnye Uravneniya 19 (1983), 21232140. [55] V.A. Galaktionov, S.P. Kurdyumov y A.A. Samarski . A parabolic system of quasilinear equations. II. Dierentsialnye Uravneniya 21 (1985), 15441559, 1651. [56] V.A. Galaktionov y H.A. Levine. On critical Fujita exponents for heat equations with nonlinear ux conditions on the boundary, Israel J. Math. 94 (1996), 125146. [57] V.A. Galaktionov y H.A. Levine. A general approach to critical Fujita exponents in nonlinear parabolic problems, Nonlinear Anal. 34 (1998), 1005 1027. zquez. Regional blow-up in a semilinear heat [58] V.A. Galaktionov y J.L. Va equation with convergence to a Hamilton-Jacobi equation. SIAM J. Math. Analysis, 24 (1993), 12541276. zquez. Necessary and sucient conditions [59] V.A. Galaktionov y J.L. Va for complete blow-up and extinction for one-dimensional quasilinear heat equations, Arch. Rational Mech. Anal. 129 (1995), 225244. zquez. Continuaci [60] V.A. Galaktionov y J.L. Va on of blowup solutions of nonlinear heat equations in several space dimensions, Comm. Pure Appl. Math. 50 (1997), 167.
108
A. de Pablo et al.
zquez. Incomplete blow-up and singular [61] V.A. Galaktionov y J.L. Va interfaces for quasilinear heat equations, Comm. Partial Dier. Equat. 22 (1997), 14051452. zquez. The problem of blow-up in nonlinear [62] V.A. Galaktionov y J.L. Va parabolic equations, Discrete Contin. Dynam. Systems A 8 (2002), 399433. [63] B. Gidas y J. Spruck. Global and local behavior of positive solutions of nonlinear elliptic equations. Comm. Pure Appl. Math. 34 (1981), 525598. [64] Y. Giga y R. V. Kohn. Characterizing blowup using similarity variables. Indiana Univ. Math. J. 36 (1987), 140. [65] B.H. Gilding y M. A. Herrero. Localization and blow-up of thermal waves in nonlinear heat conduction with peaking, Math. Ann. 282 (1988), 223242. [66] P. Groisman. Adapting the time-step to recover the asymptotic behavior in a blow-up problem, preprint. [67] P. Groisman y J.D. Rossi. Aproximando soluciones que explotan. Bol. Soc. Esp. Mat. Apl. 26 (2003), 3556. [68] K. Hayakawa. On nonexistence of global solutions of some semilinear parabolic dierential equations, Proc. Japan Acad. 49 (1973), 503505. zquez. Blow-up behaviour of one-dimensional [69] M.A. Herrero y J.J.L. Vela semilinear parabolic equations, Ann. Inst. H. Poincar e Anal. Non Lin eaire 10 (1993), 131189. zquez. Explosion de solutions d [70] M.A. Herrero y J.J.L. Vela equations paraboliques semilin eaires supercritiques. C. R. Acad. Sci. Paris S er. I Math. 319 (1994), 141145. zquez. A blow-up mechanism for a chemotaxis [71] M.A. Herrero y J.J.L. Vela model. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 24 (1997), 633683. [72] W. Huang, Y. Ren y R.D. Russell. Moving mesh partial dierential equations (MMPDES) based on the equidistribution principle, SIAM J. Numer. Anal. 31 (1994), 709730. ger y S. Luckhaus. On explosions of solutions to a system of partial [73] W. Ja dierential equations modelling chemotaxis. Trans. Amer. Math. Soc. 329 (1992), 819824. [74] F. John. Blow-up of solutions of nonlinear wave equations in three space dimensions, Manuscripta Math. 28 (1979), 235268. [75] S. Kaplan. On the growth of solutions of quasilinear parabolic equations, Comm. Pure Appl. Math. 16 (1963), 305330. [76] J.L. Kazdan y F.W. Warner. Curvature functions for compact 2-manifolds, Annals of Math. 99 (1974), 1447. [77] E.F. Keller y L.A. Segel. Initiation of slime mold aggregation viewed as an instability. J. Theor. Biol. 26 (1970), 399415. [78] K. Kobayashi, T. Sirao y H. Tanaka. On the growing up problem for semilinear heat equations. J. Math. Soc. Japan 29 (1977), 407424. [79] A.A. Lacey y D. Tzanetis. Global, unbounded solutions to a parabolic equation, J. Dierential Equations 101 (1993), 80102.
109
[80] L.A. Lepin. Self-similar solutions of a semilinear heat equation, Mathematical Modelling 2 (1990), 6374 (in Russian). [81] H.A. Levine. Some nonexistence and instability theorems for solutions of formally parabolic equations of the form P ut = Au + F (u), Arch. Rational Mech. Anal. 51 (1973), 371386. [82] H.A. Levine. Quenching, nonquenching, and beyond quenching for solution of some parabolic equations, Ann. Mat. Pura Appl. (4) 155 (1989), 243260. [83] H.A. Levine. The role of critical exponents in blow-up theorems, SIAM Reviews 32 (1990), 262288. [84] H.A. Levine y P. Sacks. Some existence and nonexistence theorems for solutions of degenerate parabolic equations, J. Dierential Equations 52 (1984), 135161. pez-Go mez. Metasolutions, Bol. Soc. Esp. Mat. Apl. 24 (2003), 6394. [85] J. Lo pez-Go mez y P. Quittner. Complete and energy blow-up in indenite [86] J. Lo superlinear parabolic problems, aparecer a en Discrete Contin. Dynam. Systems. [87] H. Matano y F. Merle. On nonexistence of type II blowup for a supercritical nonlinear heat equation, Comm. Pure Appl. Math. 57 (2004), 14941541. [88] N. Mizoguchi. Type-II blowup for a semilinear heat equation, Adv. Dierential Equations 9 (2004), 12791316. [89] N. Mizoguchi. Multiple blow-up of solutions for a semilinear heat equation, Math. Annalen, 331 (2005) 461473. [90] N. Mizoguchi y E. Yanagida. Critical exponents for the blow-up of solutions with sign changes in a semilinear parabolic equation, Math. Ann. 307 (1997), 663675. oz. Cien a [91] V. Mun nos de la conjetura de Poincar e, Gaceta Real Soc. Mat. Esp. 7 (2004), 629653. [92] O.A. Oleinik, A.S. Kalashnikov y Y.L. Chou. The Cauchy problem and boundaryvalue problems for equations of unsteady ltration type. Izv. Akad. Nauk SSSR Ser. Mat. 22 (1958), 667704. [93] W.F. Osgood. Beweis der Existenz einer L osung der Dierentialgleichung dy/dx = f (x, y ) ohne Hinzunahme der Cauchy-Lipschitzschen Bedingung, Monats. Math. Phys. (Vienna) 9 (1898), 331345. s y J.D. Rossi. Asymptotic simplication for a [94] A. de Pablo, F. Quiro reaction-diusion problem with a nonlinear boundary condition, IMA J. Appl. Math. 67 (2002), 6998. s y J.D. Rossi. Nonsimultaneous quenching, Appl. [95] A. de Pablo, F. Quiro Math. Lett. 15 (2002), 265269. [96] R. Dal Passo y S. Luckhaus. A degenerate diusion problem not in divergence form, J. Dierential Equations 69 (1987), 114. zquez. On the stability or instability of the singular [97] I. Peral y J.L. Va solution of the semilinear heat equation with exponential reaction term, Arch. Rational Mech. Anal. 129 (1995), 201224. [98] Y.W. Qi.The critical exponents of parabolic equations and blow-up in R n . Proc. Roy. Soc. Edinburgh Sect. A 128 (1998), 123136.
110
A. de Pablo et al.
[99] Y.W. Qi y H.A. Levine.The critical exponent of degenerate parabolic systems, Z. Angew. Math. Phys. 44 (1993), 249265. s y J.D. Rossi. Non-simultaneous blow-up in a semilinear parabolic [100] F. Quiro system, Z. Angew. Math. Phys. 52 (2001), 342346. s y J.D. Rossi. Non-simultaneous blow-up in a nonlinear parabolic [101] F. Quiro system, Adv. Nonlinear Stud. 3 (2003), 397418. s y J.D. Rossi. Blow-up sets and Fujita type curves for a degenerate [102] F. Quiro parabolic system with nonlinear boundary conditions, Indiana Univ. Math. J. 50 (2001), 629654. s y J.D. Rossi. Blow-up sets for linear diusion equations in one [103] F. Quiro dimension, Z. Angew. Math. Phys. 55 (2004), 357362. s, J.D. Rossi y J.L. Va zquez. Complete blow-up and thermal [104] F. Quiro avalanche for heat equations with nonlinear boundary conditions, Comm. Partial Dierential Equations 27 (2002), 395424. s, J.D. Rossi y J.L. Va zquez. Thermal avalanche for blow-up [105] F. Quiro solutions of semilinear heat equations, Comm. Pure Appl. Math. 57 (2004), 5998. [106] J.D. Rossi y P. Souplet. Coexistence of simultaneous and non-simultaneous blow-up in a semilinear parabolic system, aparecer a Dierential Integral Equations 18 (2005), 405418. [107] A.A. Samarskii, V.A. Galaktionov, S.P. Kurdyumov y A.P. Mikhailov. Blow-up in problems for quasilinear parabolic equations, Nauka, Moscow, 1987 (in Russian). English transl.: Walter de Gruyter, Berlin, 1995. [108] J. Smoller. Shock-Waves and Reaction-Diusion Equations, SpringerVerlag, New York, 1983. [109] P. Souplet. Blow-up in nonlocal reaction-diusion equations, SIAM J. Math. Anal. 29 (1998), 13011334. [110] P. Souplet y S. Tayachi. Slim Optimal condition for non-simultaneous blowup in a reaction-diusion system, J. Math. Soc. Japan 56 (2004), 571584. zquez. Stabilization towards a singular steady state [111] Ph. Souplet y J.L. Va with gradient blow-up for a diusion-convection problem, aparecer a en Discrete Contin. Dynam. Systems. [112] M. Ughi. A degenerate parabolic equation modelling the spread of an epidemic, Ann. Mat. Pura Appl. 143 (1986), 385400. zquez. Domain of existence and blowup for the exponential reaction[113] J.L. Va diusion equation, Indiana Univ. Math. J. 48 (1999), 677709. zquez. La ecuaci [114] J.L. Va on de Navier-Stokes. Un reto f sico-matem atico para el siglo XXI, Real Acad. Ciencias Zaragoza 26 (2004), 3156. zquez. Estimates on the (n 1)-dimensional Hausdor measure [115] J.J.L. Vela of the blow-up set for a semilinear heat equation, Indiana Univ. Math. J. 42 (1993), 445476. zquez. Classication of singularities for blowing up solutions in [116] J.J.L. Vela higher dimensions, Trans. Amer. Math. Soc. 338 (1993), 441464.
111
[117] M. Wang. Fast-slow diusion systems with nonlinear boundary conditions, Nonlinear Anal. 46 (2001), 893908. [118] M. Wang y S. Wang. Quasilinear reaction-diusion systems with nonlinear boundary conditions, J. Math. Anal. Appl. 231 (1999), 2133. [119] F.B. Weissler. Existence and non-existence of global solutions for a semilinear heat equation, Israel J. Math. 38 (1981), 2940. [120] Ya.B. Zeldovich, G.I. Barenblatt, V.B. Librovich y G.M. Makhviladze. The Mathematical Theory of Combustion and Explosions, Consultants Bureau, New York, 1985. [121] Ya.B. Zeldovich y D.A. Frank-Kamenetskii. The theory of thermal propagation of ames, Zh. Fiz. Khim. 12 (1938), 100-105 (in Russian). English transl. in Collected Works of Ya. B. Zeldovich, Vol. 1, Princeton Univ. Press, 1992. [122] T.I. Zelenyak. Stabilization of solution of boundary value problems for a second-order parabolic equation with one space variable. Dier. Uravn. Vol. 4 (1986), 3445 (in Russian). English transl.: Dierential Equations 4 (1986), 1722.

PDE Explosiones

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

PDE Explosiones

Uploaded by

Copyright:

Available Formats

Bol. Soc. Esp. Mat. Apl.

Financiado en parte por los Proyectos MCYT BMF2002-04572-C02-01 y 02.

Blow-up en ecuaciones de reacci on-difusi on

Un ejemplo elemental de explosi on

Explosi on para EDPs

Blow-up en ecuaciones de reacci on-difusi on

Las ecuaciones de reacci on-difusi on

y el operador p-Laplaciano (aqu -Laplaciano) ut = (|u| u) + up , > 1. (10)

Las preguntas b asicas

Blow-up en ecuaciones de reacci on-difusi on

Blow-up en ecuaciones de reacci on-difusi on

Problemas modelo: algunas t ecnicas

u(x, t)(x) dx, integrando por partes y aplicando la desigualdad de Jensen,

Blow-up en ecuaciones de reacci on-difusi on

t0 , mientras que con (14)

|um (x, t)|2 dx

up+m (x, t) dx,

Blow-up en ecuaciones de reacci on-difusi on

donde el perl G es soluci on de la ecuaci on (Gm ) ( ) G ( ) G( ) + Gp ( ) = 0, R. (19)

obtenemos la estimaci on inferior, de lo que conclu mos (17).

Comportamiento asint otico

Blow-up en ecuaciones de reacci on-difusi on

Continuaci on despu es de la explosi on

Blow-up en ecuaciones de reacci on-difusi on

f (s) (s) ds < ,

Si (B2) falla tenemos explosi on completa, es decir u para todo t > T .

Explosi on transitoria en varias dimensiones

l m 1 (s)s2/(pm) = l m 2 (s)s2/(pm) > 0,

Blow-up en ecuaciones de reacci on-difusi on

0 0.06 0.04 t 0.02 0 20 0 10 x 10 20

Blow-up en ecuaciones de reacci on-difusi on

Condiciones de frontera no lineales

Blow-up en ecuaciones de reacci on-difusi on

Explosi on no simult anea

Blow-up en ecuaciones de reacci on-difusi on

 ! "#  %$  !& '  (!

Figura 5: Tasas de explosi on para m = 1,5, p = 2 (K = 2). Se observa que u2 no explota.

Blow-up en ecuaciones de reacci on-difusi on

Figura 6: Evoluci on de la soluci on con p = m = 2

Blow-up en ecuaciones de reacci on-difusi on

Blow-up en ecuaciones de reacci on-difusi on

Blow-up en ecuaciones de reacci on-difusi on

Blow-up en ecuaciones de reacci on-difusi on

Blow-up en ecuaciones de reacci on-difusi on

You might also like

! "# %$ !& ' (!