Tesaure

universidad de granada
Facultad de Ciencias Departamento de Matemtica Aplicada a
las soluciones periodicas de una ecuacion de la cuerda vibrante con disipacion
tesis doctoral Aureliano Mat Robles Prez as e
Granada, Septiembre 2000
universidad de granada
Facultad de Ciencias Departamento de Matemtica Aplicada a
las soluciones periodicas de una ecuacion de la cuerda vibrante con disipacion
TESIS DOCTORAL
realizada por
Aureliano Mat Robles Perez as

para optar al grado de Doctor en Ciencias Matemticas a
Granada, Septiembre 2000
Tesis doctoral realizada, en el Departamento de Matemtica Aplicada de la Universidad de Granada, a bajo la direccin del Profesor Dr. Rafael Ortega R o os. Fue le da, el d 8 de Septiembre de 2000, ante el tria bunal formado por los Profesores Drs.: Jean Mawhin (U. Catlica de Lovaina), o James R. Ward, Jr. (U. de Alabama-Birmingham), Julin Lpez Gmez (U. Complutense de Madrid), a o o Jos C. Sabina de Lis (U. de La Laguna), e Juan Campos Rodr guez (U. de Granada). Obtuvo la calicacin de Sobresaliente Cum Laude por o unanimidad.
A Conchi.
One may be a mathematician of the rst rank without being able to compute. It is possible to be a great computer without having the slightest idea of mathematics. Novalis.
But sometimes, only sometimes, it is good to do some computations, only some. M. Selbor.
Prlogo: Algunas reexiones en voz alta o

En el origen de esta memoria hay dos hechos que yo considero desconcertantes. El primero quizs no sea calicado de esta forma por el co-protagonista. S lo fue a por m entonces. Ahora no reniego de ello. Pero no es este el instante y lugar para hablar ms. a La segunda circunstancia ha sido la culpable del rumbo tomado por esta memoria. En mi inocencia y por mi aritmtica visin de las Matemticas, intent buscar un e o a e principio del mximo para una ecuacin hiperblica. En este momento creo que a o o har un estudio ms convencional. Afortunadamente existen algunos principios a a del mximo para ecuaciones de ondas y yo tuve la suerte de dar con uno de ellos. a Y al decir suerte digo bien y no me arrepiento de ello. Sobre todo cuando este comienzo me ha proporcionado la posibilidad de desarrollar bastante trabajo. Que dicho trabajo sea mejor o peor es algo que t lector eres quien debe decidir. u Quisiera hacer a continuacin una serie de puntualizaciones sin las cuales estimo o que no ser muy adecuado que yo siguiera escribiendo (ni t leyendo) esta memoria. a u 1. He decidido escribir como si estuviera impartiendo una clase. Esto signica que alterno la primera con la segunda persona. T como lector no tienes que consiu derar este acto como una falta de respeto. Al contrario, pens que al dirigirme a ti de e esta forma captar mejor tu atencin y as si en algn momento el trabajo hecho no a o , u te resultaba muy interesante, al menos no te ser distante y pesado de leer. Por a otra parte, tambin me surgi la idea tras leer algn cap e o u tulo de [13]. En este libro el autor utiliza muchas veces este estilo directo que me llam bastante la atencin o o y, la verdad sea dicha, me hizo comprender mejor algunos conceptos matemticos. a 2. A la hora de referirme a la ecuacin de sine-Gordon he preferido utilizar la o denominacin inglesa antes que la castellana (lo cual hubiera sido, sin duda, mucho o ms castizo). Quizs me tachars de no preservar la pureza del idioma castellano, a a a pero puedes estar muy seguro de que no es as (de hecho, aparte de aceptar todas las cr ticas que me puedas hacer tras leer la memoria con respecto a la parte cient ca del trabajo, tambin aceptar todo lo referente a la parte literaria del mismo). La e e principal razn de mantener sine-Gordon es conservar la idea inicial de su nombre. o Como seguramente conocers, en el mundo de la f a sica hay una importante ecuacin o denominada ecuacin de Klein-Gordon y que viene dada por la expresin o o utt uxx + u = 0. Puedes observar que formalmente se parece bastante a la ecuacin de sine-Gordon o utt uxx + sin u = 0.
v
vi
PROLOGO: ALGUNAS REFLEXIONES EN VOZ ALTA
Adems, f a jate en que, si los pronuncias en sus respectivos idiomas, los vocablos sine y Klein riman. 3. Como penltima nota quiero hacer referencia al tono cient u co de la memoria. Evidentemente no soy yo la persona ms adecuada para juzgar este punto pero a creo que muchos posibles lectores considerarn que algunas cuentas estn de ms o a a a que algunas ideas demasiado simples ocupan un espacio un tanto amplio. Tambin e puede ocurrir lo contrario: algunas ideas quizs estn concentradas. Puede que dena e tro de unos aos yo tambin piense de igual forma pero, hoy por hoy, mi idea es que, n e si uno ha tenido que emplear un tiempo en comprender o justicar algo, es mejor que no haga que los dems gasten otra vez ese tiempo. Ahora bien, todo lo dicho a vale siempre que no haya una referencia adecuada. Espero que si llegas al nal no te contrar esta actitud m e a. 4. En conexin con el punto anterior, podrs observar que en el cap o a tulo 1 hay ms cuentas que en el cap a tulo 2. Esto es el reejo del proceso de aprendizaje que he tenido durante la elaboracin de los trabajos que han dado lugar a la memoo ria. Me reitero en que nunca negar mi esp e ritu un tanto calculista. Es cierto que siempre pens que las matemticas no eran otra cosa que un juego en el que ganaba e a quien supiera operar mejor. Posteriormente acept que no era as pero segu resise , a tindome a que no pudiera hacer matemticas slo con cuentas. Hoy d creo que lo e a o a acertado es estar de acuerdo con Novalis y aceptar la matizacin de Selbor, todo en o su justa medida es lo mejor. Espero que en esta tesis doctoral aprecies la evolucin. o Llega el momento de los agradecimientos. Es sta una tarea que nunca me ha sido e fcil. Por tanto creo que lo adecuado es que seale mi ms sincero agradecimiento a a n a todo aqul que se considere (de manera razonable) deudor de este trabajo. e
Indice
Prlogo: Algunas reexiones en voz alta o Introduccin o Cap tulo 1. Un principio del mximo para las soluciones peridicas de la a o ecuacin del telgrafo o e 1.1. Introduccin al cap o tulo 1 1.2. Algunos ejemplos 1.3. Concepto de solucin y regularidad o 1.4. Un principio del mximo en el toro a 1.5. Algunos resultados sobre operadores lineales positivos 1.6. Demostraciones 1.7. El mtodo de sub-super-soluciones e Cap tulo 2. El ndice de las soluciones peridicas de ciertas ecuaciones de o evolucin de segundo orden o 2.1. Introduccin al cap o tulo 2 2.2. Operadores de tipo -contractivo y teor de grado a 2.3. La ecuacin lineal o 2.4. La ecuacin no lineal o 2.5. Dos deniciones de ndice 2.6. El teorema de dualidad Cap tulo 3. La ecuacin de sine-Gordon forzada o 3.1. Introduccin al cap o tulo 3 3.2. Algunas consideraciones previas 3.3. Sub y super-soluciones 3.4. Multiplicidad e inestabilidad de las soluciones peridicas o 3.5. Otra forma de atacar el problema Ep logo: Y ahora qu? e Bibliograf a v 1 3 3 5 10 13 14 18 35 39 39 41 45 48 55 58 71 71 71 75 77 80 83 85
vii
Introduccin o
Cuando comenz el trabajo que ha dado lugar a esta memoria, mi director de o tesis ten en mente la idea de desarrollar un estudio de la ecuacin de sine-Gordon a o forzada y con rozamiento utt (t, x) uxx (t, x) + cut (t, x) + a sin u(t, x) = f (t, x), de forma que t lector pudieras reconocer extensiones a una ecuacin en derivadas u o parciales de varios resultados conocidos para la ecuacin del pndulo forzado o e x (t) + cx (t) + a sin x(t) = f (t). Ms concretamente, estos resultados se centrar en las soluciones doblemente pea an ridicas, esto es, soluciones que satisfacen o u(t, x) = u(t + 2, x) = u(t, x + 2), (t, x) R2 . El principal problema era que en ecuaciones en derivadas parciales no estaban desarrolladas todas las herramientas necesarias para tal estudio. As pues, ten que a disearlas. n La primera idea de mi director era utilizar el mtodo de la alternativa (Liapunove Schmidt) para deducir los resultados. En el cap tulo 3 har algunos comentarios e sobre esto. Sin embargo, cuando comenc a estudiar la ecuacin lineal asociada a la e o ecuacin de sine-Gordon, la denominada ecuacin del telgrafo, o o e utt (t, x) uxx (t, x) + cut (t, x) + u(t, x) = f (t, x), vi que hab un principio del mximo. Como habrs adivinado con tal principio a a a ten a mano el mtodo de sub-super-soluciones. Es este mtodo una de las armas a e e fundamentales para el estudio del pndulo. Puedes consultar [38] para ver como e acta. u El siguiente paso fue intentar generalizar los resultados de [45]. La herramienta en este caso era la extensin del Teorema de Dualidad que puedes ver en [26]. Esto o conllev la revisin de los conceptos relativos a la denicin de grado para una o o o determinada clase de operadores introducida en [43] y [44]. El trabajo para establecer la teor relativa a estos dos escalones previos alcanz a o un volumen mayor de lo esperado en un principio. Es por esto que, en esta memoria, ocupa una mayor extensin la parte dedicada a la construccin de los pilares que o o la parte dedicada a las consecuencias para la ecuacin de sine-Gordon. No te dejes o engaar por el t n tulo propuesto. Pudiera parecer que hay algn tipo de arrepentimiento por mi parte. En absoluto, u si uno quiere ser consecuente en un futuro con su trabajo, primero ha de estar asentado sobre una slida base. Si este asentamiento necesita de un tiempo y un o
1
INTRODUCCION
espacio, mejor es que lo pierdas al inicio que cuando no puedas evitar la catstrofe a agobiado por la situacin. Te pido disculpas pues este prrafo quizs deber haber o a a a estado en el prlogo. o De acuerdo con todo lo dicho, la estructura que te propongo en esta memoria es la siguiente. En el cap tulo 1 presento el principio del mximo para la ecuacin a o del telgrafo y, como principal consecuencia, desarrollo el mtodo de sub-supere e soluciones para esta ecuacin. En el cap o tulo 2 pruebo una extensin del Teorema o de Dualidad al caso innito-dimensional. Finalmente, en el cap tulo 3 aprovecho las herramientas de los dos primeros cap tulos para obtener los resultados deseados para una ecuacin algo ms general que la ecuacin de sine-Gordon. o a o Para nalizar este prlogo es conveniente que justique la eleccin del tema. No o o una justicacin de contenidos, que creo ya hecha en las l o neas anteriores, sino una justicacin de la eleccin hecha de la ecuacin a estudiar. Bien, la ecuacin de o o o o sine-Gordon tiene relacin con diversos fenmenos f o o sicos. Como una breve muestra de esto: a) La referencia ms antigua que he encontrado en relacin con la ecuacin a o o de sine-Gordon sin rozamiento y autnoma, en concreto como modelo del o fenmeno de uxin de Josephson en superconductores, ha sido [54]. En este o o trabajo an se identica a la ecuacin de sine-Gordon con un caso no lineal u o de la de Klein-Gordon. b) En [28] encontrars distintas situaciones cuyo modelo matemtico es la ecuaa a cin de sine-Gordon. o c) En [42] aparece un anlogo mecnico. Aqu ya se da una interpretacin del a a o caso con rozamiento y fuerza externa peridica. o d) En [29] puedes ver cmo se relacionan f o sicamente las ecuaciones de sineGordon y del pndulo. e e) Como ejemplo de trabajo ms reciente te doy [32]. a A partir de todo esto, puedo sealar al problema planteado como perteneciente n al tipo de problemas que deben interesar a los que, como yo, quieren hacer unas matemticas conectadas con la f a sica. Finalmente me atrevo a decir que, como consecuencia de las propiedades que he obtenido, sine-Gordon con disipacin est en la frontera entre los mundos hiperblico o a o y parablico. Por tanto se merece un estudio propio ... y yo espero haber contribuido o al mismo. Concluyo aqu esta introduccin global. Al comienzo de cada uno de los cap o tulos encontrars una introduccin local. Creo que de esta forma quedan ms claras las a o a propuestas y resultados de cada cap tulo.
Cap tulo 1 Un principio del mximo para las soluciones peridicas de la a o ecuacin del telgrafo o e
1.1. Introduccin al cap o tulo 1 Para comenzar, considera un operador lineal diferencial L = Lu actuando sobre funciones u:R que estn denidas sobre una variedad prejada . Estas funciones pertenecern a a a una cierta familia B F (, R). Adems, la denicin de B puede incluir condiciones a o de contorno u otros requerimientos que deben ser satisfechos por cualquier funcin o u B. Dir que L satisface el principio del mximo si la inecuacin diferencial e a o Lu 0, implica u 0 en . En el libro [51] tienes un detallado estudio de los principios del mximo para opea radores de segundo orden. Tambin puedes ver otros resultados en [50], [11], [27], e [49], [15], [4], [34], etc. A partir de este momento estudiar el principio del mximo para las soluciones e a peridicas de la ecuacin del telgrafo. El operador a considerar es o o e L u = utt uxx + cut + u con c > 0 y R. Las funciones u en la clase B estn denidas en todo el plano a u = u(t, x), (t, x) R2 (t, x) R2 . y son doblemente peridicas en el siguiente sentido, o u(t + 2, x) = u(t, x + 2) = u(t, x), El principal resultado del cap tulo dir que L satisface el principio del mximo a a si y slo si pertenece a un cierto intervalo de la forma o (0, ], donde = (c) es una cantidad positiva que depende de c. He sido incapaz de e o calcular expl citamente dicho nmero aunque s dar una estimacin. En una u primera aproximacin dir que o e c2 1 c2 < + . 4 4 4
3
uB
1. UN PRINCIPIO DEL MAXIMO PARA LAS SOLUCIONES PERIODICAS
La positividad del coeciente de friccin c es esencial como podrs comprobar en un o a ejemplo posterior para el caso c = 0. Te preguntars en este instante (en el caso de no haberlo hecho hace rato) cul a a es la importancia de los principios del mximo y su relacin con el tema de esta a o memoria. A la primera pregunta te pueden responder los trabajos [51] y [3]. En ellos vers algunas de las aplicaciones ms clsicas a las teor lineal y no lineal de a a a as ecuaciones diferenciales. En cuanto a la segunda pregunta, en este cap tulo presentar dos consecuencias del principio del mximo obtenido. Primero, y juntamente e a con la teor de operadores lineales positivos (que puedes consultar, por ejemplo, a en [24]), obtendr varios corolarios para la ecuacin del telgrafo con coecientes e o e variables. En particular, te mostrar que el principio del mximo sigue siendo vlido e a a para el operador L u = utt uxx + cut + (t, x)u si es una funcin doblemente peridica que satisface o o 0 < (t, x) < , (t, x) R2 .
Como una segunda aplicacin vers un mtodo de sub-super-soluciones para el o a e problema de contorno asociado a la ecuacin no lineal o utt uxx + cut = F (t, x, u), o donde F es una funcin que verica F (t, x, u) . u La existencia de soluciones peridicas de (1.1) ha sido considerada en bastantes o trabajos. Puedes consultar [52], [37], [16], [9], [57], [23] y las referencias que aparecen en ellos. En la mayor de estos trabajos los autores utilizan tcnicas locales a e o teor del grado. Sin embargo, comprobars que el mtodo de sub-super-soluciones a a e puede ser util para extender a la ecuacin del telgrafo algunos resultados que son o e bien conocidos para ecuaciones ordinarias y parablicas. Quizs sea oportuno en o a este momento que te seale que el problema peridico para la ecuacin del telgrafo n o o e e se parece a un problema de tipo parablico. En la seccin 1.4 aclarar esta idea. o o El resto del cap tulo est organizado en seis secciones. En la seccin 1.2 vers a o a algunos ejemplos sencillos pero, a mi juicio, bastante ilustrativos. En la seccin 1.3 o doy el concepto de solucin que has de considerar y algunos resultados preliminares o sobre la regularidad de soluciones. El principio del mximo se establece en la seccin a o 1.4. En estas dos secciones no doy ninguna demostracin. Puedes encontrarlas en o la seccin 1.6. Recordar varios resultados sobre operadores lineales positivos en la o e a o o seccin 1.5. Adems, en esta misma seccin incluyo una aplicacin para operadores o con coecientes variables. Por ultimo, en la seccin 1.7 desarrollo el mtodo de o e sub-super-soluciones. (1.1)
1.2. ALGUNOS EJEMPLOS
1.2. Algunos ejemplos Hablando de una manera informal, puedes considerar que el operador L verica un principio del mximo si satisface la siguiente condicin a o L u = f, f 0 u 0. Observa que puedes considerar que este principio es en realidad un principio de positividad para el operador inverso de L . Considero interesante que antes de continuar veas algunos ejemplos fciles que te a den una idea sobre qu se puede esperar. Ten en cuenta que, cuando no se indique e nada concreto, las funciones auxiliares que aparezcan sern tan regulares como sea a necesario. Es preferible que tengas clara la idea de cada ejemplo a que te pierdas en detalles sin importancia en este momento. Importante: no olvides que las soluciones que buscas son peridicas. o Ejemplo 1.1. No puedes obtener un principio del mximo para la ecuacin sin a o friccin (c = 0). En efecto, dado cualquier = 0, puedes encontrar una fuerza o positiva f tal que utt uxx + u = f (t, x) (1.2) tiene una solucin doblemente peridica que cambia de signo. o o Primero has de observar que si = 0 entonces ni siquiera tienes soluciones para f positiva. Para esto es suciente que integres en la ecuacin sobre la regin o o [0, 2] [0, 2] y llegars a un absurdo. a En el caso > 0 voy a construirte un ejemplo expl cito. Considero la funcin o u0 (t, x) = 1 cos t cos x. Esta funcin es no negativa (se anula en unos pocos puntos) y es solucin de la o o ecuacin o utt uxx + u = f0 (t, x) con f0 (t, x) = u0 (t, x) y, por tanto, no negativa. Ahora la idea es perturbar u0 de forma que la nueva funcin tenga cambios de signo mientras que el segundo trmino o e de la ecuacin contine siendo positivo. Sea o u u (t, x) = 1 cos t cos x cos nt cos x. Esta funcin cambia de signo si es positivo, o u (0, 0) = , u (t, /2) = 1, > 0, y es solucin de (1.2) para f dada por o f (t, x) = (1 cos t cos x) + (n2 1 ) cos nt cos x. En este instante t mismo puedes seleccionar los parmetros y n de forma que f u a sea (estrictamente) positiva si > 0. Como sugerencia te dir que en mis clculos e a tuve que considerar n impar. Cuando < 0 se repite el proceso considerando las funciones u0 (t, x) = 1 + cos t cos x, u (t, x) = 1 + cos t cos x + cos t cos nx.
Ejemplo 1.2. El objetivo de este segundo ejemplo es que tengas una primera estimacin de los valores de para los que se cumple el principio del mximo cuando o a c > 0. Para ello voy a considerar que L acta sobre funciones que slo dependen u o del espacio o del tiempo, u = u(x) o u = u(t). De esta forma tengo los operadores diferenciales ordinarios d2 u + u, (1.3) u = dx2 d2 u du L u = 2 + c + u. (1.4) dt dt A continuacin te doy dos proposiciones en las que caracterizo la existencia del o principio del mximo para cada uno de estos operadores. Empiezo con el siguiente a resultado para el operador . Proposicion 1.3. El operador > 0.
satisface el principio del mximo si y slo si a o
Para probar que > 0 es una condicin necesaria es suciente que consideres o f 0 y que integres en u = f sobre [0, 2]. Para ver que es condicin suciente tienes varias opciones. La primera es que o calcules expl citamente las soluciones para cada y veas cuando se cumple el principio. Esta manera te llevar bastante tiempo y papel pero puedes llenar un rato en a que no tengas otra cosa mejor que hacer (algo que dudo). La segunda opcin es que calcules la funcin de Green asociada y veas cuando o o dicha funcin es positiva. La misma nota que en el caso anterior. o Por ultimo, la tercera opcin es que recurras al principio del mximo para el o a problema de Dirichlet que aparece en [51]. Ms concretamente, has de tener presente a el Teorema 3 (pg. 6) y su corolario. Para hacerlo ms fcil, voy a darte una versin a a a o adaptada a mis propsitos. o Teorema 1.4. Considera una funcin v(x) C 2 ([a, b]) tal que satisface la desio gualdad diferencial d2 v(x) + h(x)v(x) 0 dx2 en (a, b), con h(x) 0 (continua), y tal que v(a) 0, v(b) 0. Entonces v(x) 0 en (a, b) salvo que v 0. Nota 1.1. Antes de continuar, he de decirte (confesarte) que la idea de la demostracin de esta ultima opcin se la tengo que agradecer a mi director de tesis. o o De nuevo, voy a suponer que f 0. Considera que u es negativa en algn u punto. Es claro que existir x0 donde u alcanza un m a nimo negativo, esto es, tal que 2 u(x0 ) < 0 y d u (x0 ) 0. Pero entonces dx2 d2 u (x0 ) + u(x0 ) = f (x0 ) 0. dx2 Por tanto u no puede tomar valores negativos. 0>
Queda por ver qu ocurre si u no es negativa pero s se anula en algn punto. e u Aqu es donde voy a utilizar el teorema anterior. Para ser ms literal en las hiptesis, a o considera la funcin v = u. Entonces v tambin se anula en un punto x0 . Por la o e periodicidad, v se anula en x0 + 4. Si tomas h(x) = , a = x0 y b = x0 + 4, el teorema te dice que v 0 o v < 0 en (x0 , x0 + 4). Lo primero no puede ser pues, en tal caso, f 0 en contra de lo supuesto. Lo segundo tampoco es posible pues, por la periodicidad, v(x0 + 2) = 0. Por tanto, tienes que v no puede anularse y u ha de ser siempre positiva. Nota 1.2. Como sin duda habrs observado, en este ejemplo te he probado que a se cumple un resultado ms fuerte que el principio del mximo. A este hecho lo a a llamar principio del mximo fuerte. Sin mucho rigor, e a
2
L u = f,
f 0,
0
f >0
u > 0.
Nota 1.3. Como puedes comprobar con clculos rutinarios, = 0 es precisaa d2 mente el primer valor propio del operador dx2 actuando sobre funciones peridicas. o A continuacin voy a probar un resultado para el operador L . o Proposicion 1.5. El operador L satisface el principio del mximo si y slo si a o 2 c 1 0< + . 4 4 Nota 1.4. El valor cr tico c4 + 1 no parece estar relacionado con los valores 4 propios y s que depende de las propiedades oscilatorias de las soluciones de L u = 0. En este caso no puedo aplicar las herramientas clsicas. As algunos autores te a , hablarn de principios de anti-mximo. Por ejemplo, puedes consultar [11] donde, a a adems, tienes una prueba de esta proposicin para c = 0. a o Antes de pasar a la demostracin, necesito alguna notacin y hechos previos. o o Dado R, sea u(t) la solucin del problema de valores iniciales o L u = 0, u( ) = 0, u ( ) = 1. Entonces deno el 0-conjugado de como = min{t > / u(t) = 0} en caso de existir tal m nimo. Si no existe entonces = +. o Por otra parte, sea u(t) la solucin del problema de valores iniciales L u = 0, Deno el 1-conjugado de como = min{t > / u(t) = 0}, en caso de existir tal m nimo. Si no existe entonces = +. Nota 1.5. Observa que < , . Nota 1.6. La distancia entre y es independiente de . Lo mismo para y . u( ) = 1, u ( ) = 0.
2
Nota 1.7. Si consideras el operador L u = u cu + u y denes el 0-conjugado para este operador, puedes comprobar que la distancia entre los ceros y sus 0-conjugados es la misma para L y L . Lema 1.6. Considera R jo y f C(R) 2-peridica tal que o
+
f 0,
f > 0,
> 0.
Entonces la solucin u del problema de valores iniciales o L u = f, satisface que u(t) > 0, t (, ]. Demostracin. Considera 1 , 2 soluciones de L u = 0 tales que o 1 ( ) = 2 ( ) = 1, Entonces u(t) =
t
u( ) = 0,
u ( ) = 0
1 ( ) = 2 ( ) = 0.
ec(s ) [2 (t)1 (s) 1 (t)2 (s)]f (s) ds.
Por la denicin de 1-conjugado, 1 (t) > 0, t [, ), y puedes tomar el cociente o de funciones 2 . Derivando 1 2 (t) 1 (t) = ec(t ) , 2 (t) 1 t [, ),
por lo que este cociente es positivo. A partir de esto 1 (t)2 (s) < 1 (s)2 (t), y tienes la conclusin del lema. o Lema 1.7. Considera que para algn t0 R se satisface la desigualdad u t < t0 + 2. 0 Entonces existe f C(R), 2-peridica, f 0, tal que la solucin 2-peridica de o o o L u = f (t) cambia de signo. Demostracin. Considera una funcin f : R R que sea continua, 2-peridica o o o y tal que 0, t [t0 , ] f (t) = > 0, t (, t0 + 2) donde (t0 , t0 + 2) tal que t0 + 2. Si u(t) es una solucin peridica de o o L u = f entonces tambin es solucin de e o L u = 0 en [t0 , ]. t, s (, ), t > s,
Por la teor de Sturm y la denicin de t tienes que u cambia de signo o es a o idnticamente nula. En el primer caso he acabado. e En el segundo caso, por el lema 1.6 u(t) > 0, t (, t0 + 2], en particular, u(t0 + 2) > 0. Pero u es 2-peridica y u(t0 ) = 0. De esta forma o llego a una contradiccin. o Lema 1.8. Considera que t t+2, t R. Entonces L satisface un principio del mximo. a Demostracin. Probar que si es un cero cualquiera de u solucin peridica de o e o o L u = u + cu + u = f (1.5) entonces u ( ) > 0. Pero esto es contradictorio por la periodicidad de u. En efecto, ten en cuenta que si u (t) es positiva en un cero t = entonces debe existir otro cero (, + 2) con u () 0. Sea solucin del problema o L u = u cu + u = 0, u( ) = 0, u ( ) = 1. Por la hiptesis, es positiva en (, + 2). Si multiplicas en (1.5) por e integras o en [, + 2] llegars a a
+2
( + 2)u ( ) =
f (s)(s) ds.
Con esto acabas la demostracin. o Nota 1.8. La idea para la demostracin de este ultimo lema la he tomado preso tada del lema 5.7 en [46]. Demostracin de la Proposicin 1.5. Considera la ecuacin (1.5). Como en el o o o caso del operador , la positividad de la puedes deducir integrando la ecuacin en o el intervalo [0, 2]. Ahora, a partir de los lemas 1.7 y 1.8, basta con que calcules la distancia entre un cero y su 0-conjugado en el problema de valores iniciales (recuerda el carcter a autnomo de la ecuacin) o o L u = 0, u(0) = 0, u (0) = 1, determinando despus cuando esta distancia es mayor que 2. Pero esto no es dif e cil ya que tienes un problema de coecientes constantes. En efecto, los resultados de estos clculos son a 2 a) 0 < < c4 . La solucin es o u(t) = ect/2 D1 t/2 (e eD1 t/2 ) D1
2 (con D1 = c2 4) que se anula slo en t = 0 y, por tanto, la distancia es o innito.
10
b) =
u(t) = tect/2 que se anula slo en t = 0 y, por tanto, la distancia es innito. o c)

c2 4
c2 4
. La solucin es o
< . La solucin es o u(t) = ect/2 sin D2 t D2
2 (con 4D2 = 4 c2 ). Tomando t = 0, tienes que t = D2 . As la distancia es , 2 . Por ultimo, este valor es menor que 2 si, y slo si, < c4 + 1 . o D2 4 Con esto acabo la demostracin. o
1.3. Concepto de solucin y regularidad o Para hacer un estudio riguroso del problema planteado lo primero que debo hacer es denirte el concepto de solucin con el que voy a trabajar. Para ello es necesario o que considere algunas identicaciones entre espacios que sern muy utiles. a Como trabajo con funciones doblemente peridicas, si conozco una funcin sobre o o un dominio fundamental ([0, 2) [0, 2) por ejemplo) entonces la conozco en todo el plano por periodicidad. Deno el toro 2-dimensional T2 = (R/2Z) (R/2Z). Un punto de T2 se nota como (t, x), donde (t, x) es un punto de R2 y t = t + 2Z, x = x + 2Z. Si tomo la proyeccin o : R2 T2 , (t, x) (x, y), las funciones doblemente peridicas sern identicadas con funciones denidas en el o a toro por medio de esta proyeccin. Grcamente, o a R2
c
2
u (doblemente peridica) o
u
E R B
T En particular, las notaciones Lp (T2 ), C(T2 ) (funciones continuas), D(T2 ) = C (T2 ) (funciones test), etc., se mantienen para los espacios de funciones doblemente peridicas con el grado de regularidad indicado. El espacio de las distribuciones o en T2 es D (T2 ) y el espacio de las medidas (esto es, el dual de C(T2 )) es M (T2 ). Dado c > 0, considera el operador diferencial Lu = utt uxx + cut , que acta sobre las funciones en el toro, u : T2 R. Deno el operador adjunto u formal como L u = utt uxx cut .
1.3. CONCEPTO DE SOLUCION Y REGULARIDAD
11
Dados R y f L1 (T2 ) considero el problema Lu + u = f (t, x) en D (T2 ). Dir que u es una solucin de (1.6) si es una funcin de L1 (T2 ) que satisface e o o (1.6)
u(L + ) =
2
f ,
2
D(T2 ).
Llamar valor propio de L a todo nmero complejo tal que la ecuacin hoe u o mognea e Lu + u = 0 en D (T2 ) tenga soluciones no triviales. El operador L no es autoadjunto y tiene un espectro complejo, esto es, hay valores propios que no son reales. En efecto, si usas anlisis a de Fourier, tal como puedes ver en [52], probars que dicho espectro es a C (L) = {nm = m2 + n2 icn / m N, n Z}. Sin embargo, slo estoy interesado en los valores propios reales. Por tanto, hablar o e del espectro real de L como el conjunto de sus valores propios reales. As considerar , e en lo que sigue el conjunto R (L) = {m = m2 / m N}. Nota 1.9. Observa que si c = 0 entonces L s es autoadjunto y slo tiene valores o propios reales. Esto lo puedes ver haciendo c 0 en C (L): los valores propios colapsan sobre el eje temporal. Adems, para = 0 el espacio propio es innitoa dimensional mientras que si = 0 entonces el espacio propio es nito dimensional. La siguiente proposicin es anloga a un resultado bien conocido para la ecuacin o a o de ondas sin friccin y que puedes consultar en [[10], pg. 142]. En esta proposicin o a o queda resumida la teor de regularidad para (1.6). a Proposicion 1.9. Considera R (L) y f L1 (T2 ). Entonces (1.6) tiene una unica solucin. Tal solucin es continua y satisface la estimacin o o o u
C(
T2 ) C1 f
L1 (
T2 )
(1.7)
donde C1 es una constante que slo depende de c y . o p 2 Adems, si f L (T ), 1 < p < +, entonces a 1 u C 0, (T2 ), = 1 p y u con Cp = Cp (c, ). Para acabar esta seccin, he de sealarte que en varias ocasiones tendr que o n e 1 2 e reemplazar f L (T ) por una medida. Tambin en este caso puedo obtener alguna regularidad. Sea el problema Lu + u = en D (T2 ), (1.9)
C 0, (
T2 ) Cp f
Lp (
T2 ) ,
(1.8)
12
donde M (T2 ) es una medida dada. Dir que u es una solucin de (1.9) si es una e o funcin de L1 (T2 ) tal que o
u(L + ) = < , >,
D(T2 ),
donde < , > denota el producto de dualidad entre M (T2 ) y C(T2 ). Proposicion 1.10. Considera R (L) y M (T2 ). Entonces (1.9) tiene una unica solucin u que pertenece a L (T2 ) y satisface o u
L (
T2 ) C1
M(
T2 ) ,
siendo C1 la constante que aparece en la proposicin 1.9. o Nota 1.10. Es conveniente que observes que la solucin u dada por esta propoo 2 sicin no est en C(T ). Para que te convenzas de este hecho, presento el siguiente o a ejemplo. Pero antes algo de notacin que ser util tanto ahora como en la seccin o a o 1.6. Considera la familia de rectas C dada por x t = 2N, N Z. e e Al complementario de C, esto es, R2 C, lo denotar por D. Por ultimo, marcar con Dij a la componente conexa de D con centro en el punto (i, j). Observa que i + j ha de ser impar necesariamente. Por ejemplo, la idea grca de D10 y D01 es a
T q 2 d d
d d D q 01 d d d d D10 d d d t d dq E q q d 2 d d d q d
Con respecto a este dibujo, tengo que sealar que D01 D10 es tambin un n e dominio fundamental y, adems, ser muy util a la hora de denir la funcin de a a o Green y considerar las zonas de continuidad. Sea la ecuacin o c2 (1.10) L c2 u = Lu + u = 0 , 4 4 donde 0 es la medida dada por < 0 , > = (0, 0),
1.4. UN PRINCIPIO DEL MAXIMO EN EL TORO
13
con cualquier funcin continua en T2 . La solucin de esta ecuacin es la funcin o o o o G(t, x) que, entendida como funcin peridica en R2 , viene dada por o o G(t, x) =
1 1+ec ect/2 , 2 (1ec )2 ec ect/2 , (1ec )2
si (t, x) D10 si (t, x) D01
y extendiendo por periodicidad en el resto de R2 . Es claro que G(t, x) est acotada a y, sin embargo, no es continua. Que G(t, x) es efectivamente la solucin de (1.10) o es un hecho que puedes comprobar con un clculo rutinario. De todas formas, en la a seccin 1.6 vers una prueba expl o a cita de que G(t, x) es la funcin de Green para el o operador L c2 y, por tanto, solucin de la ecuacin (1.10). o o
4
1.4. Un principio del mximo en el toro a Comienzo esta seccin formulando de manera precisa el principio del mximo o a para la ecuacin del telgrafo. o e Considera el operador diferencial L L u = utt uxx + cut + u. a Dir que L satisface el principio del mximo si R (L) y para cada f L1 (T2 ) e satisfaciendo f 0 c.t. R2 entonces u(t, x) 0, (t, x) R2 . siendo u la unica solucin de (1.6). o Dir que el principio del mximo es fuerte si e a f 0 c.t. R2 , implica u(t, x) > 0, (t, x) R2 . En el siguiente teorema, que puedo considerar como el central de este cap tulo, a caracterizo para qu valores de el operador L satisface el principio del mximo. e Teorema 1.11. Existe una funcin o : (0, +) (0, +), (0, (c)]. Adems, el principio del mximo siempre es fuerte y la funcin satisface a a o c2 1 c2 < (c) + , 4 4 4 (c) 0 cuando c 0, 2 2 c j (c) 02 cuando c 4 8 (1.11) (1.12) +, (1.13) c (c) tal que L satisface el principio del mximo si y slo si a o
T2
f >0
14
donde j0 es el primer cero positivo de la funcin de Bessel J0 . o Nota 1.11. La estimacin superior de (1.11) es consecuencia de los ejemplos de o la seccin 1.2. o Nota 1.12. La constante (c) del teorema depender de las propiedades oscilaa torias de la funcin de Green asociada a (1.6). Construir esta funcin en la seccin o e o o 1.6 y la funcin de Bessel J0 jugar un importante papel en dicha construccin. o a o Concluyo esta seccin con una variante del principio del mximo para el caso de o a medidas. Dada M (T2 ), dir que es no negativa si e < , > 0, C+ (T2 ), donde C+ (T2 ) es la clase de funciones no negativas en C(T2 ). Corolario 1.12. Considera (0, ], donde est dada por el teorema 1.11, a y M (T2 ) una medida no negativa. Entonces la solucin de (1.9) satisface o u 0 c.t. T2 . Nota 1.13. Como ya indiqu en la introduccin de este cap e o tulo, puedes pensar que la ecuacin del telgrafo en el toro tiene un cierto carcter parablico. Para o e a o armar esto me baso en los resultados dados por la proposicin 1.9 y el teorema o 1.11. La proposicin me dice que gano bastante regularidad y el teorema me o indica que hay un principio del mximo. Ambos hechos son falsos, en general, para a ecuaciones hiperblicas y ciertos para parablicas. o o 1.5. Algunos resultados sobre operadores lineales positivos En esta seccin voy a recordarte algunos resultados sobre la teor de operadores o a lineales positivos que necesitar en el momento de probar el principio del mximo e a para la ecuacin del telgrafo. Puedes consultar ms detalles sobre esta teor en o e a a [24] y [3] entre otros trabajos. Por otra parte, vers una aplicacin en que se combina esta teor con el prina o a cipio del mximo para extender este ultimo a una cierta ecuacin del telgrafo con a o e coecientes variables. Considera un espacio de Banach X y un cono C en X con las siguientes caracter sticas: i) C es convexo de vrtice cero, es decir, e x + y C, ii) C es cerrado; iii) int(C) = ; iv) C (C) = {0}. x, y X, , 0, x, y C;
Entonces (X, C) es un espacio de Banach ordenado con el orden xy x y C.
1.5. OPERADORES LINEALES POSITIVOS
15
Dado un operador lineal A sobre X dir que e a) A es positivo si A(C) C; b) A es fuertemente positivo si A(C {0}) int(C). Por otra parte, si x X dir que e a) x > 0 si x C {0}; b) x > 0 si x int(C). > Cuando A es compacto y fuertemente positivo entonces puedes aplicar la teor a de Krein-Rutman y tienes el siguiente resultado. Teorema 1.13. Considera un operador A : X X lineal, compacto y fuertemente positivo. Entonces el radio espectral de A, 0 = (A), satisface las siguientes propiedades: i) es un valor propio real, positivo y simple de A; ii) puedes tomar como vector propio asociado un vector x tal que x > 0; > iii) es el unico valor propio que admite un vector propio x X tal que x > 0. Puedes comprobar que este resultado es justamente un caso particular del Teorema 3.2 de [3]. Tambin puedes ver el Teorema VI.13 de [6]. e Por otra parte, aqu tienes una condicin suciente para que ciertas ecuacio o nes lineales tengan solucin positiva. El ambiente es el mismo del teorema recin o e enunciado. Proposicion 1.14. Considera el sistema = A + f, f > 0. Entonces, si > 0 = (A), existe una unica solucin > 0. o > Demostracin. Es claro que el sistema propuesto es equivalente a o = esto es, (I 1 1 A) = f. 1 1 A + f,
1 Observa que, por ser A un endomorsmo con radio espectral 0 , I A ser inversible a si 0 < ||. Adems, puedes expresar como a +
=
n=0
1 n+1
An f.
Con esta frmula tienes que > 0 si > 0 y f > 0. As acabo la demostracin. o > o
16
1.5.1. La ecuacin lineal con coecientes variables. Considera una conso tante ja que satisfaga (0, (c)], (1.14) donde (c) es la constante introducida en el teorema 1.11. Considera el problema de valores propios L u = m(t, x)u en D (T2 ), (1.15) donde m es una funcin en L1 (T2 ) y es el parmetro. o a Un valor propio de (1.15) es un nmero R (o C, si admites valores propios u complejos) tal que (1.15) tiene soluciones no triviales (funciones propias) pertenecientes a C(T2 ). Voy a aprovechar el marco abstracto que he expuesto en esta seccin. Considera o 2 X como el espacio de Banach C(T ) y A como T : X X un operador lineal tal que (1.15) es equivalente a u = T u, u X. Para denir T , considero la resolvente asociada a L dada por R : L1 (T2 ) C(T2 ), donde u es la solucin de o Lu + u = f Entonces T : X X, T u = R (mu). Si m Lp (T2 ) para algn p que satisfaga 1 < p < + entonces la proposicin 1.9 u o implica que 1 ImT C 0, (T2 ), = 1 , p 0, 2 esto es, T : X C (T ) es continuo. Si tienes en cuenta que C 0, (T2 ) se sumerge en C(T2 ) de forma compacta, concluyes que T es compacto. Ahora puedes aplicar la teor espectral de esta clase de operadores. En particular, si (1.15) tiene valores a propios, entonces estn ordenados en una sucesin {n } con a o |0 | |1 | |n | . . . . Esto es claro si tienes en cuenta que los valores propios de L son los inversos de los valores propios de T . Por otra parte, el espacio X es un espacio de Banach ordenado con cono C = C+ (T2 ) = {u X / u 0 en R2 }. Este cono tiene interior no vac a saber o, int(C) = {u X / u(t, x) > 0, (t, x) R2 }. (1.16) o Por ultimo, observa que cuando m satisface la condicin adicional m(t, x) > 0 c.t. (t, x) R2 , en D (T2 ). f u
1.5. OPERADORES LINEALES POSITIVOS
17
el operador T es fuertemente positivo, esto es, T (C {0}) int(C). Esto es una consecuencia de (1.14) y del principio del mximo. Tambin, la posia e tividad estricta en C(T2 ) implica que el radio espectral (T ) es positivo. Paso a detallar este hecho antes de continuar. Toma una funcin > 0 con norma igual o > a 1. Entonces T , para algn > 0. De aqu T n n > 0, por lo que u , n T n n n = . Ya puedes concluir que (T ) . Todas estas consideraciones en Anlisis Funcional te llevan al siguiente resultado. a Proposicion 1.15. Considera que se cumple (1.14) y que m es una funcin o satisfaciendo (1.16) y m Lp (T2 ) para algn p con 1 < p < +. Entonces el primer valor propio 0 de (1.15) es u positivo y la primera funcin propia u0 es simple y puedes elegirla estrictamente o positiva. Adems, si 0 < < 0 y f L1 (T2 ), el problema a L u = m(t, x)u + f (t, x) en D (T2 )
tiene una solucin unica, la cual es positiva si f satisface o f 0 c.t. R2 ,
T2
f > 0.
La demostracin es inmediata a partir del teorema 1.13 y la proposicin 1.14. o o (Tambin puedes considerar las demostraciones de los Teoremas 4.3 y 4.4 en [3]). e Por otro lado, siguiendo la l nea del Teorema 4.5 en [3], puedes probar la monoton de 0 con respecto al peso. En efecto, dadas dos funciones m1 , m2 en las a condiciones de la proposicin anterior, la desigualdad o m1 (t, x) < m2 (t, x) c.t. R2 implica 0 (m1 ) > 0 (m2 ). Ahora voy a extender el principio del mximo a operadores de coecientes variaa bles del tipo L u = utt uxx + cut + (t, x)u donde L (T2 ). Puedes extender, de forma obvia, la nocin de principio del o mximo introducida en la seccin 1.4 a esta clase de operadores. As puedo enunciar a o , el siguiente resultado. Teorema 1.16. Considera una funcin L (T2 ) que satisfaga o 0 < (t, x) < (c) c.t. R2 . a Entonces L satisface el principio del mximo fuerte.
18
Demostracin. Reescribe la ecuacin o o L u = f (t, x) en D (T2 ) de la forma L u = ( (t, x))u + f (t, x) en D (T2 ). o Considera m1 (t, x) = (t, x). Si 0 (m1 ) > 1 entonces, por la proposicin 1.15, L u = m1 (t, x)u + f (t, x) tiene una unica solucin positiva para todo (0, 0 (m1 )), en particular para = 1. o Adems, esta ser la unica solucin de (1.17). a a o Basta, por tanto, que compruebe que 0 (m1 ) > 1. Para ello, tomo m2 = , L u = m2 (t, x)u = u. Si denoto por mn a los valores propios de este operador (y considero de nuevo el conjunto de combinaciones lineales de funciones de {eint eimx / m, n Z}) entonces m2 n2 + icn + . o Ya est claro que 00 = 1 y |mn | 1. Acabo la demostracin teniendo en cuenta a la monoton entre m1 y m2 , a mn = 0 (m1 ) > 0 (m2 ) = 1. 1.6. Demostraciones La idea principal que voy a considerar en esta seccin es la posibilidad de expresar o la solucin de la ecuacin del telgrafo (1.6) de la forma o o e u(t, x) = (G f )(t, x) = (1.17)
T2
G(t , x )f (, ) d d,
esto es, como la convolucin de G(t, x), la funcin de Green, y f (t, x). De esta o o manera, el estudio de la regularidad y positividad de u es equivalente al estudio de dichas propiedades para la funcin G(t, x). o Por tanto, los pasos que seguir son tres. Primero construir la funcin de Green e e o y estudiar sus propiedades. En segundo lugar, probar los resultados de regularidad e e de las soluciones de los problemas planteados. Por ultimo, demostrar el principio e del mximo. a 1.6.1. La funcin de Green: construccin y propiedades. Para construir o o la funcin de Green, G, asociada al problema (1.6), voy a comenzar con el caso o 2 c4 . Considera la medida de Dirac concentrada en 0 T2 , esto es, la medida 0 M (T2 ) dada por < 0 , >= (0, 0), Entonces, la solucin del problema o L G = 0 ser la funcin de Green buscada. a o en D (T2 ) C(T2 ).
1.6. DEMOSTRACIONES
19
En lugar de intentar hacer los clculos directamente en T2 , voy a resolver el a problema anlogo en R2 . Considera el espacio M (R2 ) correspondiente a las medidas a en R2 . Para una denicin precisa de este espacio puedes consultar [14]. En este o espacio toma la medida de Dirac concentrada en el origen, 0 M (R2 ), esto es, la medida dada por < 0 , > = (0, 0), C0 (R2 ), donde C0 (R2 ) es el espacio de funciones continuas que tienen soporte compacto. 2 o o Notando d = c4 , considera d jo. Mi propsito ahora es calcular una solucin de utt uxx + cut + u = 0
2
en D (R2 ),
(1.18)
con = d + c4 . Si hago el cambio u(t, x) = ect/2 v(t, x), entonces el problema se reduce a calcular una solucin fundamental del operador o 2 2 c2 2 2 2 + ( ) = 2 2 + d. t2 x 4 t x Siguiendo la idea que aparece en [[12], pg. 186], voy a buscar una solucin de este a o 2 x2 (distancia de un operador que slo dependa de la distancia hiperblica r = t o o punto (t, x) al punto (0, 0)). Esta idea me lleva a una ecuacin de Bessel de orden o cero con solucin conocida. De aqu o , 1 d(t2 x2 ) K (t, x), v(t, x) = J0 2 donde K es la funcin caracter o stica asociada al cono K = {(t, x) R2 / |x| < t}. Finalmente, deshaciendo el cambio, tengo que 1 c d(t2 x2 ) K (t, x) = U (t, x) = e 2 t J0 2
c 1 2t e J0 2
d(t2 x2 ) , 0,
si |x| < t, en otro caso.
Grcamente, el soporte de U (t, x) es la regin rayada en el siguiente dibujo. a o

K d d d d d d d x = t d T
x=t
t E
20
Como necesito una funcin que sea doblemente peridica, considero la serie doble o o G(t, x) =
(n,m)
U (t + 2n, x + 2m),
(t, x) R2 .
(1.19)
Si aplicas el test de Weierstrass, puedes comprobar que esta serie converge uniformemente en subconjuntos acotados del plano. Para ello, basta que recuerdes que 2 J0 est acotada por 1 (razn por la que exijo que d = c4 > 0) y, por tanto, U a o satisface la estimacin o 1 c |U (t, x)| e 2 t K (t, x). 2 As , 1 c 1 c |G(t, x)| e 2 t ecn K (t + 2n, x + 2m) = e 2 t ecn 1, 2 2 t 2
(n,m)
n> 2
mIn (t,x)
donde, para cada n Z y (t, x) R2 , deno In (t, x) = {m Z / |x + 2m| < t + 2n}. La doble sumatoria que aparece al nal es calculable y, por supuesto, nita. En consecuencia, la funcin G es doblemente peridica y continua en el conjunto D que o o den en la nota 1.10. Adems, G pertenece a L (T2 ) y el principio de superposicin a o implica que verica Gtt Gxx + cGt + G = S con S M (R2 ) la medida dada por < S , > =
(n,m)
en D (R2 ), C0 (R2 ).
(1.20)
Z2
(2n, 2m),
o El ultimo paso para construir la funcin de Green en T2 es traducir la ecuacin o (1.20) al toro. Para ello considero la medida 0 M (T2 ), esto es, la medida de Dirac concentrada en 0 T2 . En trminos precisos, e < 0 , > = (0, 0), Lema 1.17. Considera por (1.19) es una solucin de o
c2 4
C(T2 ).
c2 . 4
Para nalizar este proceso de construccin necesito probar el siguiente lema. o y d = Entonces la funcin G denida o
L G = 0
en D (T2 ).
Nota 1.14. Observa que, al no ser valor propio de L, la funcin G es la o unica solucin de esta ecuacin. Por tanto, la llamar funcin de Green asociada al o o e o operador L . Demostracin. Considera una particin peridica de la unidad en el sentido de o o o [[58], pg. 127]. Esto es, toma una funcin a o 3 3 3 3 D(R2 ) = C0 (R2 ), supp() [ , ] [ , ] 2 2 2 2
1.6. DEMOSTRACIONES
21
tal que
(n,m)
(t + 2n, x + 2m) = 1,
(t, x) R2 .
(1.21)
Por ejemplo, siguiendo [58], puedes considerar tal que es constantemente igual a 1 en [ , ] [ , ] y positiva en el interior del soporte. De esta forma, en 2 2 2 2 el sumatorio anterior slo tienes uno, dos o cuatro trminos no nulos. Adems, o e a para una funcin arbitraria g L1 (T2 ), puedes probar fcilmente las identidades o a siguientes
R2
g =
T2
g,
R2
g = 0,
N2 ,
|| > 0.
(1.22)
Ahora ests en posicin para que pueda probar el lema. a o Si consideras una funcin D(T2 ) entonces es una funcin test en D(R2 ) o o y puedes aplicar (1.20) para obtener
R
Por (1.22) tienes que
L ()G = < S , > .
R2
L ()G =
1 2
T2
(L )G,
donde has de utilizar que G L (T ). Por otra parte, de (1.21), < S , > = (0, 0). De esta forma concluyes que G verica la igualdad
(L )G = (0, 0),
D(T2 )
y la demostracin est acabada. o a Nota 1.15. Considera de nuevo la notacin introducida en la nota 1.10 y el o conjunto In (t, x) denido en la estimacin de |G(t, x)|. Es claro que In (t, x) es jo o en cada una de las componentes Dij de D. Por ejemplo, para las componentes D10 y D01 , In est dado por a In (t, x) = {n, . . . , n} si n 0, e In (t, x) = {n, . . . , n 1} si n 1, e 2 t G(t, x) = 2
c
si n < 0, si n 0,
(t, x) D10 (t, x) D01 .
Esta notacin me permite expresar G sobre D de una forma ms expl o a cita: ecn
t n> 2
J0
mIn (t,x) c2 4
d[(t + 2n)2 (x + 2m)2 ] .
(1.23)
En particular, cuando = clculo de la serie. a
(esto es, d = 0) la identidad J0 (0) = 1 te facilita el
22
Lema 1.18. Considera =
c2 . 4
Entonces 10 e 2 t , si (t, x) D10 , c 01 e 2 t , si (t, x) D01 ,

c
G(t, x) = donde
(1.24)
1 1 + ec ec , 01 = . 2 (1 ec )2 (1 ec )2 Adems, por periodicidad determinas el valor de G en todo D. a 10 = Nota 1.16. Esta funcin es la que utilic en el ejemplo en la nota 1.10. o e Nota 1.17. Para llegar a la frmula (1.23) puedes considerar otras v o as. Por ejemplo, en [[57], pg. 151] tienes la expresin de la solucin de la ecuacin del a o o o telgrafo cuando slo impones que la haya periodicidad en la variable t. Si en dicha e o expresin consideras que hay tambin periodicidad con respecto a x, y operas en o e forma adecuada, llegas a (1.23) de nuevo. 2 Un segundo camino alternativo a considerar para el caso = c4 es que hagas el cambio u = ect/2 v en la ecuacin del telgrafo. Con este cambio resulta la o e ecuacin de ondas para la que la frmula de DAlembert te da la solucin expl o o o cita. Deshaciendo el cambio, y tras realizar algunos clculos ms o menos tediosos e a a imponer la periodicidad en t y x, obtienes (1.24). He de indicar que esta v fue a la que me llevo a pensar que hab un principio del mximo para las soluciones a a doblemente peridicas del telgrafo. o e Nota 1.18. A partir de (1.24) puedes deducir fcilmente una serie de propiedades a c2 para G en el caso = 4 . A saber, 1. G es anal tica en Dij , (i, j) Z2 . 2. Los valores de los saltos en las discontinuidades son conocidos y slo dependen o de t y c; no dependen ni de x ni de d. 3. G es positiva en cualquier componente de D. 2 4. Como consecuencia de 3, el principio del mximo es fuerte para = c4 . a A continuacin voy a ver qu ocurre con estas propiedades cuando > o e Proposicion 1.19. Considera tiene medida cero. Para demostrar este resultado, es suciente que pruebe que la interseccin de Z o o con D10 y D01 tiene medida cero. Para ello voy a demostrar que G es una funcin anal tica no idnticamente nula en cada uno de estos dominios. Que esto es suciente e es un hecho bien conocido en variable compleja; a saber, si una funcin anal o tica no es idnticamente nula en un dominio y se anula en un punto P de dicho dominio e entonces o bien P es un punto aislado o bien el conjunto de puntos donde se anula la funcin lo puedes describir como la unin nita de una serie de ramas que o o u surgen de P (las cuales tienen medida cero) y cuyo unico punto comn es P . Puedes
c2 . 4 c2 . 4
Entonces el conjunto
Z = {(t, x) D / G(t, x) = 0}
1.6. DEMOSTRACIONES
23
consultar [21], la seccin 4.5 de [35] y la seccin 8.6.3 de [36] si quieres ms detalles. o o a Una versin real de este resultado la puedes encontrar en [30]. o Te recuerdo la siguiente denicin de funcin anal o o tica: sean un subconjunto abierto y conexo de R2 y h = h(t, x), (t, x) , una funcin dada; dir que h es o e 2 anal tica en la clausura de si existen un subconjunto abierto de C y una funcin o holomorfa h = h(t, x), (t, x) , tales que y h extiende a h. Lema 1.20. La funcin G es analtica en la clausura de D10 (respectivamente o D01 ). Demostracin. Probar el resultado para D10 . Para cada n = 0, 1, . . . , |m| n o e 2 y (t, x) C , deno znm (t, x) = (t + 2n)2 (x + 2m)2 . Entonces, la funcin de Green en D10 est dada por la serie o a e 2 t G(t, x) = 2
c
e
n=0
cn m=n
J0
dznm .
(1.25)
Por ser J0 una funcin entera, deduces que la funcin J0 o o dznm es holomorfa en 2 todo el espacio (t, x) C . En este punto, has de tener en cuenta que la ra cuadrada z no crea ningn problema ya que los coecientes impares de la serie de potencias de u J0 son nulos. As para probar el lema es suciente que demuestre la existencia de , un dominio C2 con D10 y tal que la serie de G converja uniformemente en . Considera > 0 un nmero satisfaciendo u 1 (1.26) 2 2 > , 16 d < c. 8 Deno el conjunto formado por los puntos (t, x) C2 tales que e (t x) > , | e t| < 7, | e x| < 7, e (t + x) > , | m t| < , | m x| < .
Es claro que D10 . Queda por probar la convergencia de la serie. Para ello usar e las siguientes desigualdades |J0 (z)| e| m z| , z C | m z| | m z| , z C, 2|z| (1.27) e z > 0. (1.28)
La primera desigualdad es clsica y, si quieres una prueba, puedes consultar [[59], a pg.49]. Para la segunda el uso de coordenadas polares te proporciona una prueba a fcil. En efecto, si consideras z = ei entonces a | m z| = | sin |, | m z| = | sin |, 2 2|z| = 2.
24
Por tanto, que pruebes (1.28) equivale a que pruebes | sin | | sin | , (0, +), ( , ), 2 2 2 2 lo cual ya es un simple ejercicio de clculo trigonomtrico. a e Tambin sern utiles las siguientes identidades, e a e znm (t, x) = ( e (t + x) + 2(n + m))( e (t x) + 2(n m)) ( m t)2 + ( m x)2 m znm (t, x) = 2(2n + e t) m t 2(2m + e x) m x. Para probarlas es suciente que sustituyas znm (t, x) por su valor y realices algunos clculos. a Contino ya con la demostracin del lema. Distinguir dos casos en la prueba u o e de la convergencia. Caso (i): |m| < n. Por la denicin de y (1.26), clculos directos te llevan a o a 1 e znm > 2 2 > , | m znm | < 4(2n + 7). 8 As puedes aplicar (1.28) y como |znm | > 1 , obtienes que , 8 | m znm | 2| m znm | < 8(2n + 7). Ahora, de (1.27) deduces que |J0
|m|<n
dznm |
|m|<n
e|
dznm |
< (2n 1)e8(2n+7)
Con esta estimacin, sustituyes en (1.25) y, utilizando (1.26), tienes que o e 2 t 2

c
n1
cn m=n+1
|J0
dznm
donde r = e < 1. As la ultima sumatoria es nita; de hecho, la suma , es calculable expl citamente (recuerda que no es la primera vez que aparece esta sumatoria). Con esto he probado la convergencia de esta parte de la serie. Caso (ii): |m| = n. Observa primero que la estimacin para m znm del caso anterior o sigue siendo vlida. Para la parte real, y nuevamente por un clculo directo, a a | e znm | 14(14 + 4n) + 2 2 . u En consecuencia, |znm | = O(n) cuando n + y tienes que existen nmeros positivos A, B tales que |znm |1/2 An1/2 + B. A partir de aqu , | m dznm | d |znm |1/2 d (An1/2 + B), y la convergencia de los trminos m = n es ya inmediata. e Con esto nalizo la demostracin de este lema. o
n=0 16 dc
e 2 t 56d | e (2n 1)rn , 2 n=0
1.6. DEMOSTRACIONES
25
Lema 1.21. La funcin G no es idnticamente nula en ninguna de las compoo e nentes de D. Nota 1.19. Voy a darte dos demostraciones de este lema. En la primera utilizo que conozco de forma expl cita el valor del salto que tiene la funcin de Green en las o l neas de discontinuidad, resultando casi trivial la demostracin del lema a partir o de este hecho. La segunda demostracin es algo ms complicada; sin embargo, o a puede que sea ms util para extender el resultado a operadores ms generales. a a Demostracin 1. Se sabe que puedes extender la funcin G de una forma regular o o a la clausura Dij de cada una de las componentes Dij de D. Desde luego, el valor de esta extensin en los puntos de C depender de la componente que escojas. Considera o a la siguiente notacin o Gij (t, x) =
(,)(t,x) (,)Dij
lim
G(, ),
(t, x) C.
Considera dos componentes adyacentes de D. Por ejemplo, Dij y Dhk , con (h, k) = (i 1, j 1) o (i 1, j + 1). Toma un punto (t, x) en la frontera comn de u ambas, esto es, (t, x) Dij Dhk . Un clculo directo a partir de (1.23) te permite a encontrar expl citamente el salto de G en tal punto (t, x),
h e 2 t Gij (t, x) Ghk (t, x) = ec[ 2 ] , c ) 2(1 e donde [x] representa la parte entera de x. Formalmente, el valor del salto te resulta de tomar tan slo los elementos no comunes de los conjuntos In (t, x) segn consideres o u que (t, x) es aproximado por una sucesin de puntos de Dij o de puntos de Dhk . o Ahora probar el lema por medio de un argumento de reduccin al absurdo. e o Primero considera que G 0 en D01 . Entonces, por periodicidad, G tambin se e anula en D21 y G01 (, ) = G21 (, ) = 0. Si realizas un salto de D01 a D10 tienes que c
e 2 G10 (, ) = > 0, 2(1 ec ) mientras que si el salto lo das de D10 a D21 tienes que e 2 < 0. G10 (, ) = 2(1 ec ) Esta es la contradiccin que buscaba. o Si consideras que G 0 en D10 entonces funciona el mismo argumento si reemo plazas (, ) por (2, 0). Con esto acabo la primera demostracin del lema. Demostracin 2. Considera que G es idnticamente nula en una de las compoo e nentes, por ejemplo D01 . Nuevamente voy a hacer que llegues a una contradiccin. o Por el lema 1.17, (0, 0) =
c
GL =
D01 D10
GL =
D10
GL ,
D(T2 ).
(1.29)
26
Por el lema 1.20, sabes que G es regular en D10 . Por tanto, es claro que G satisface en el sentido clsico la ecuacin a o L G = 0 en D10 . Esto permite que integres por partes en (1.29) obteniendo (0, 0) =
D10
GL =
{(G10 t (G10 )t cG10 )n1 (G10 x (G10 )x )n2 },

D10
donde G10 la deno como en la primera demostracin y n = (n1 , n2 ) es el vector o normal exterior en D10 . Operando en esta ultima expresin llegas a o (0, 0) = 2[G10 (0, 0) + G10 (2, 0)](0, 0) 2[G10 (, ) + G10 (, )](, ) + K, con
D10
D(T2 ),
K = 2(G10 )t n1 + 2(G10 )x n2 cG10 n1 . a Si tomas cualquiera tal que se anule en (0, 0) y (, ), concluirs que K 0 en D10 . As , (0, 0) = 2[G10 (0, 0) + G10 (2, 0)](0, 0) 2[G10 (, ) + G10 (, )](, ), de donde ya es claro que 1 G10 (0, 0) + G10 (2, 0) = , 2 y G10 (, ) + G10 (, ) = 0. D(T2 ), (1.30) (1.31)
Por otra parte, si aplicas la identidad K 0 sobre las rectas t x = 0, t + x = 0, t x = 2 y t + x = 2 tienes que d 2 G10 ( s, s) cG10 ( s, s) = 0, s (0, ), ds d 2 G10 (s, s) + cG10 (s, s) = 0, s (0, ), ds d 2 G10 ( + s, + s) + cG10 ( + s, + s) = 0, s (0, ), ds y d 2 G10 (2 s, s) cG10 (2 s, s) = 0, s (0, ) ds respectivamente. Ecuaciones que son de fcil resolucin, a o G10 ( s, s) = G10 (, )ecs/2 , G10 (s, s) = G10 (0, 0)ecs/2 , s (0, ), (1.32) (1.33) (1.34)
s (0, ), s (0, ),
G10 ( + s, + s) = G10 (, )ecs/2 ,
1.6. DEMOSTRACIONES
27
G10 (2 s, s) = G10 (2, 0)ecs/2 ,
s (0, ).
(1.35)
Ahora, si combinas (1.31) con (1.32) y (1.33) evaluadas en tienes que G10 (0, 0) = 0. Por otra parte, si combinas (1.31) con (1.34) y (1.35) evaluadas en tienes que G10 (2, 0) = 0. Y esto ya te conduce a la contradiccin buscada pues (1.30) es ino compatible con los dos ultimos clculos. Con esto naliza esta segunda demostracin a o del lema. Para nalizar el estudio de G, voy a probar una estimacin que ser util cuando o a considere el caso de una ecuacin del telgrafo con coeciente de friccin grande. o e o Lema 1.22. Considera c 1 y > c4 . Entonces existen constantes positivas k1 , k2 (independientes de c y ) tales que c 1 |e 2 t G(t, x) J0 d(t2 x2 ) | k1 ec si (t, x) D10 , 2 c 1 |e 2 (t+2) G(t, x) J0 d[(t + 2)2 (x 2)2 ] + 2 J0 d[(t + 2)2 x2 ] | k2 ec si (t, x) D01 .
2
Demostracin. Es un simple ejercicio de suma de series si tienes en cuenta la o a expresin (1.23), que |J0 (z)| 1, z R, y que conoces In (t, x) tanto si (t, x) est o en D10 como si est en D01 . a 1.6.2. Regularidad de soluciones. En la subseccin previa he encontrado la o c2 funcin de Green cuando 4 . Usando anlisis de Fourier tienes un mtodo o a e alternativo para calcular G que es vlido para cualquier R (L). En efecto, la a solucin formal de o L G = 0 es 1 G(t, x) = 2 4 Si pruebo que la serie doble |m2 n2 + + icn|2
m,n +
en D (T2 ) 1 ei(nt+mx) . + + icn
(1.36)
m,n=
m2
n2
(1.37)
es convergente entonces la funcin G pertenece a L2 (T2 ). o Lema 1.23. Considera R (L). Entonces la serie doble dada por (1.37) es convergente. Demostracin. Para probar este lema es suciente que, aplicando el criterio de o Weierstrass, compruebes la convergencia de la serie de trminos positivos e 1 . (1.38) 2 n2 + )2 + (cn)2 (m m,n
28
Pero esta serie est acotada por a

p,q
4(pq +
)2
4 , + c2 (p q)2
donde ests considerando el cambio de a ndices p = m + n, q = m n que, aunque no es biyectivo, es vlido para tu propsito pues, como mal menor, ests aadiendo a o a n trminos positivos a la serie original (1.38). Ahora si agrupas adecuadamente, e 1 4 4 4 + + + . 2 2 + c2 p 2 2 + c2 q 2 2 + c2 (p q)2 4 4 4(pq + ) p=q p=0 q=0
p,q=0
y es suciente que compruebes la convergencia de la ultima sumatoria, pues para las dos primeras ya es evidente. Antes de continuar, observa que si > 0 entonces 4(pq + )2 + c2 (p q)2 = 0, mientras que si 0 entonces 4(pq + )2 + c2 (p q)2 = 0 si, y slo si, = p2 , lo cual se contradice con la hiptesis del lema. As si en lo o o , que sigue algn denominador se anula es porque se puede eliminar. Contino. u u Es claro que 1 = 2 + c2 (p q)2 4(pq + ) p=q 1 1 + = 2 + c2 (p q)2 2 + c2 (p + q)2 4(pq + ) 4(pq ) pq1 pq1 2 2 + . 2 + c2 (p q)2 2 + c2 (p + q)2 4(pq + ) 4(pq ) p>q1 p>q1 Considera > 0. Entonces
p>q1
p=q p=q
4(pq +
)2
2 1 1 2 (p q)2 2 +c 2(pq) 2 p>q1
p1
1 p2
q1
1 , q2
y la convergencia es clara. Por otra parte, si deno los conjuntos A1 = {(p, q) Z2 / 1 q < p, 1 pq } y A2 = {(p, q) Z2 / 1 q < p, pq > }, entonces 1 = 2 + c2 (p + q)2 4(pq ) p>q1 1 1 + . 2 + c2 (p + q)2 2 + c2 (p + q)2 4(pq ) 4(pq )
(p,q)A1 (p,q)A2
Aqu la primera sumatoria es nita y para la segunda , 1 + c2 (p + q)2 1 4 1 2 q q1 1 1 2 4(pq ) 4
1 2 q q1
1 2 (p q )
(p,q)A2
4(pq
)2
(p,q)A2
p> q
1 1 2 4 (p q ) 1 S() q2 < +,
p> q
q1
1.6. DEMOSTRACIONES
29
donde S() = max

q1
p>
q
1 . (p )2 q
Acabo as el caso > 0. El caso < 0 lo puedes probar de forma anloga. Fin de a la demostracin. o A continuacin voy a comprobar que G es una solucin de (1.36) en el sentido o o de las distribuciones. Empiezo considerando funciones del tipo ei(nt+mx) ,
GL (ei(nt+mx) ) =
G(n2 + m2 icn + )ei(nt+mx) =
1 ei(nt+mx) ei(nt+mx) = T2 4 2 (n)2 + (m)2 + ic(n) + 1 = < ei(nt+mx) , 0 > . Ahora, como una funcin D(T2 ) admite una serie de Fourier o (n2 + m2 icn + )
+
(t, x) =
m,n=
nm ei(nt+mx)
que converge uniformemente junto con todas sus derivadas, puedo efectuar las siguientes operaciones sin problemas
+ +
T2
GL
=
m,n=
nm
T2
GL (ei(nt+mx) )
=
m,n=
nm = (0, 0).
o Por tanto, he probado que G es solucin de (1.36). Con G as construida, si tomas f L1 (T2 ) ja, se verica que la funcin u = Gf o es la solucin de (1.6). Observa que la convolucin considerada debes entenderla o o denida en el toro, esto es u(t, x) =
T2
G(t , x )f (, ) d d.
(1.39)
De esta forma llego a un resultado preliminar que ya obtuvo Kim en [22]. A saber, si consideras R (L) y f L1 (T2 ), el problema (1.6) tiene una unica solucin o 2 2 u L (T ) que satisface u
L2 (
T2 ) G
L2 (
T2 ) f
L1 (
T2 ) .
(1.40)
A continuacin voy a probar la proposicin 1.9. En ella el resultado de Kim es o o mejorado pues, como recordars, obtengo continuidad de la solucin. a o Demostracin de la Proposicin 1.9. Empezar suponiendo que = c4 . En o o e este caso G est expl a citamente dada por el lema 1.18. Sea C la familia de rectas x t = 2N que ya viste en la denicin de G. Para cada > 0, deno C como el o -entorno C = {(t, x) R2 / dist[(t, x), C] < }.
2
30
Es claro que la funcin caracter o stica de C es una funcin doblemente peridica. o o Denotar a dicha funcin por . Puedes comprobar sin dicultad que e o
L1 (
T2 ) k,
(1.41)
donde k es una constante independiente de . De hecho, voy a tomar k = 4 2 para que las estimaciones de la proposicin tengan una expresin sencilla. Como o o indicacin de la validez de la estimacin, si observas el siguiente dibujo o o
2
dd dd d s d d dd d dd d c dd d 2 dd d d dd d d d d d d d d d d d d d d d d d d d d d d d d 2 0
y tienes en cuenta que C viene dado por el aspa, entonces L1 no es otra cosa que el rea del aspa y el valor de k ya es obvio. a La funcin G que tengo a partir del lema 1.18 es discontinua en C pero satisface, o para cada h = (h1 , h2 ) R2 , |G(t + h1 , x + h2 ) G(t, x)| L[|h| + |h| (t, x)] c.t. (t, x) R2 , (1.42) donde L es una constante ja. Para demostrar esta estimacin has de tener en cuenta o que es suciente que consideres que (t + h1 , x + h2 ) y (t, x) estn en el interior del a rombo de vrtices (, ), (3, ), (, 3) y (, ). Cualquier otra situacin se e o reduce a esta por la periodicidad. Adems, puedes tomar a L= ec/2 c max{1, }. c 1e 2(1 ec )
Como sabes que G est acotada, nuevamente por las propiedades de la convolua o cin, tienes que, jada f L1 (T2 ), la solucin dada por (1.39) pertenece a L (T2 ) o y satisface u L (T2 ) G L (T2 ) f L1 (T2 ) . Esta es la estimacin (1.7). Me queda por mostrarte que u es continua. Por (1.42) o deduces que |u(t + h1 , x + h2 ) u(t, x)| L|h| f
L1 (
T2 ) + L
T2
|h| (t , x )|f (, )| d d.
Puesto que, en la segunda integral, el integrando tiende a cero cuando |h| 0 y est a 1 2 dominado por |f | L (T ), puedes aplicar el Teorema de la convergencia dominada para tener la continuidad de u.
1.6. DEMOSTRACIONES
31
Cuando f Lp (T2 ), p > 1, es posible mejorar la estimacin. En efecto, si aplicas o la desigualdad de Hlder y (1.41), o
T2
|h| (t, x)|f (, )| d d f
Lp
|h|
Lp
= f
Lp
|h|
L1
(4 2 |h|) f
Lp ,
1 1 donde = p = 1 p . o a As ya es claro que u es Hlder-continua. Adems, como f Lp (T2 ), p > 1, , entonces f L1 (T2 ) y
|u(t + h1 , x + h2 ) u(t, x)| L|h|(4 2 ) f (4 2 ) {L(|h|1 + 1)} f Por otra parte, u

L (
Lp (
2 T2 ) + L(4 |h|) f T2 ) |h| .
Lp (
T2 ) =
Lp (
T2 ) G
L (
T2 ) f
L1 (
2 T2 ) (4 ) G
L (
T2 ) f
Lp (
T2 ) .
c2 4 f
As ya puedes deducir la estimacin (1.8), , o u C 0, (T2 ) (4 2 ) { G L (T2 ) + L((4 2)1 + 1)} f Paso al caso =
c2 . 4
Lp ( 2 )
T = Cp
Lp (
T2 ) .
La solucin u de (1.6) tambin es solucin de o e o c2 Lu + u = g(t, x) en D (T2 ) 4
con g = f + ( c4 )u. Si f L1 , a partir de (1.40) sabes que u L2 y por tanto g L1 . Pero entonces, por el caso previo, u es continua. Una vez que tengo que u C(T2 ), la equivalencia f Lp g Lp es evidente. As u C 0, si f Lp . Para las estimaciones (1.7) y (1.8), como la funcin de Green G asociada est en L2 (T2 ) tambin est en L1 (T2 ), o a e a de donde c2 c2 g Lp f Lp + u Lp 1 + G L1 f Lp . 4 4 Con esto y utilizando la estimacin del caso anterior, para (1.7) o u
L
G c2
4
L1
G c2
4
1+
c2 G 4
L1
L1
= C1 () f
L1 .
Por ultimo, para (1.8) u

C 0, ( 2 )
T Cp
c2 4
Lp
f
Lp
c2 c2 G L1 1+ 4 4 As acabo la demostracin de la proposicin 1.9 o o Cp
= Cp () f
Lp .
Nota 1.20. Como has visto en la anterior demostracin, puedes tomar la conso o tante Cp = Cp () en (1.7) y (1.8) como una funcin continua de R R (L).
32
Demostracin de la Proposicin 1.10. Como en la proposicin 1.9, la unicidad o o o es consecuencia directa de la denicin de R (L). Para la existencia voy a hacer o un argumento de aproximacin. Para ello considera una sucesin de funciones fn o o L1 (T2 ) tales que
fn < , >,
C(T2 ),
fn
L1 (
T2 )
M(
T2 ) .
Puedes consultar [14] para ver que puedes considerar tal sucesin. As puedes o , aplicar la proposicin 1.9 al problema aproximado o Lu + u = fn (t, x) en D (T2 ) y obtener una sucesin {un } en C(T2 ) con o un
L (
T2 ) C1
M(
T2 ) .
Puedes tomar ahora {uk } subsucesin de {un } convergente a u L (T2 ) en sentido o dbil*; esto es e
uk
2
u,
L1 (T2 ).
o Voy a ver que u es una solucin de (1.9), esto es,
T
Para cada uk
u(L ) = < , >,
D(T2 ).
a En el primer trmino de la igualdad puedo aplicar l e mites pues tt , xx , t y estn en L1 (T2 ). En el segundo se aplica la eleccin de {fn }. Adems, por las propiedades o a del l mite dbil* e u
L (
uk (L ) =
fk ,
D(T2 ).
T2 ) lim inf uk
L (
T2 ) C1
M(
T2 ) .
As nalizo la demostracin, pero es conveniente que te haga notar que, por la o unicidad de solucin, es la sucesin {un } completa la que converge a u. o o 1.6.3. Demostracin del principio del mximo. Ya ests preparado para o a a que demuestre el resultado principal del cap tulo. A partir de (1.39), es claro que L satisface el principio del mximo si y slo si a o G 0 c.t. T2 . Adems, este principio del mximo es fuerte si a a G > 0 c.t. T2 . De esta forma, si aplicas el lema 1.18, puedes concluir que el principio del mximo a c2 a fuerte se cumple al menos para = 4 . Con el siguiente resultado vers que el c2 principio tambin se cumple para valores de cercanos a 4 . e
1.6. DEMOSTRACIONES
33
Lema 1.24. Considera que, para algn R (L), la funcin de Green satisface u / o ess 2 G > 0. inf
Entonces existe 0 > 0 tal que el principio del mximo fuerte se cumple para L+ a si || 0 . Demostracin. Toma una funcin ja f L1 , f 0. Nota por u0 y u a las o o soluciones de L u0 = f , L+ u = f respectivamente. A partir de la expresin (1.39), o u0 (t, x) G f
L1 ,
G = ess inf G.
Por otra parte, si es pequeo y tienes en cuenta la nota 1.20, puedes encontrar una n constante C independiente de tal que u
L
C f
L1 .
Si denes w = u u0 es claro que esta funcin es una solucin de o o L w = u(t, x) en D (T2 ). Aplica ahora la estimacin (1.7) y obtienes o u u0 Por ultimo, u(t, x) u0 (t, x) u u0
L L
C|| u
L1
C||4 2 u
C 2 4 2 || f
L1 .
(G C 2 4 2 ||) f
L1
n o y u es positiva si || es sucientemente pequeo. Fin de la demostracin del lema. Contino con la demostracin del principio del mximo. Si integras en la ecuacin u o a o del problema (1.6) sobre [0, 2] [0, 2] con f constante, pruebas que, si el principio del mximo se cumple, entonces tiene que ser positivo. Puedo denir por tanto el a conjunto Jc = { (0, +) / L satisce el principio del mximo}. a Ya sabes que Jc es no vac puesto que c4 es un punto interior. Si consideras una o sucesin {n } de puntos Jc que converja a , puedes probar que Jc con la o misma tcnica de la demostracin de la proposicin 1.10. De esta forma tienes que e o o Jc es cerrado relativo a (0, +). As concluyo que si Jc est acotado entonces tiene a mximo y puedo denir a (c) = max Jc . Por el lema 1.24, sabes que (c) > c4 . Si aplicas ahora la proposicin 1.19 puedes deducir que, para = (c), la funcin o o de Green G es positiva casi por doquier y, por tanto, L(c) satisface el principio del mximo fuerte. a Por la teor de operadores lineales positivos tienes la siguiente propiedad: a Considera Jc tal que L satisface el principio del mximo fuerte. a Entonces, si (0, ], tienes que Jc y L tambin satisface el e principio del mximo fuerte. a
2 2
34
Para probar esta propiedad voy a utilizar la proposicin 1.14. La ecuacin L u = f o o es equivalente a (I R )u = R f donde R es la resolvente de L que introduje en la seccin 1.5. Si restringes el o operador R a C(T2 ) entonces puedes verlo como un endomorsmo de este espacio 1 1 con radio espectral . Tomando en la proposicin referida A = R y 0 = , o concluyes que u es estrictamente positiva si (0, ) y f 0 con T2 f > 0. Tomando = (c) en el ultimo razonamiento, toda la discusin anterior me ha o permitido probar que L cumple el principio del mximo fuerte para (0, (c)]. a Para acabar la demostracin del teorema 1.11, he de probar las estimaciones o de (c). La estimacin (1.11) es consecuencia directa de la exposicin previa y el o o ejemplo 1.2. Para probar (1.12) considera un nmero jo > 0. Considera igualmente dos u funciones regulares u y f en el toro tales que utt uxx + u = f, f es positiva y u cambia de signo. Para este n puedes tomar las funciones del ejemplo 1.1. Es claro que la funcin u tambin satisface o e L u = g con g = f + cut . Ahora bien, cuando c es pequeo entonces g es positiva y, por n tanto, Jc . Por ultimo, para probar (1.13), considera las funciones r10 (t, x) = J0 r01 (t, x) = J0 J0 d(t2 x2 ) , si (t, x) D10 ,
d[(t + 2)2 (x 2)2 ] + d[(t + 2)2 x2 ] , t2 x2 4 2 , si (t, x) D01 .
Mediante algunos clculos comprobars que a a (t, x) D10 , (t, x) D01 , con igualdad slo en el punto (t, x) = (2, 0); o (t + 2)2 (x 2)2 8 2 , con igualdad slo en el punto (t, x) = (, ); o (t + 2)2 x2 8 2 , (t, x) D01 , con igualdad slo en el punto (t, x) = (, ). o 2 j0 Fija cualquier nmero d con 0 < d < 82 (recuerda que j0 es el primer cero u positivo de J0 ). Entonces r10 y r01 son siempre estrictamente positivas, de donde, J0 J0 d(t2 x2 ) a10 > 0, si (t, x) D10 ,
d[(t + 2)2 (x 2)2 ] + J0
d[(t + 2)2 x2 ] a01 > 0, si (t, x) D01 .
1.7. EL METODO DE SUB-SUPER-SOLUCIONES

2
35
Ahora, si denes c = d + c4 , por el lema 1.22 tienes que, para valores grandes de c, 2 la funcin de Gc , asociada a c , es positiva. As (c) > d + c4 y esto te prueba que o , c2 j2 } 02 . c+ 4 8 Para probar la desigualdad contraria es suciente que tomes d jo tal que d sea 2 j0 mayor y sucientemente prximo a 82 . En este caso r01 cambia de signo. Por su o parte r10 puede que no cambie de signo, pero esto no inuye en el resultado nal. Con esto tienes que, si c es grande, Gc tambin cambia de signo. Con esto doy por e nalizada la demostracin del teorema 1.11. o Ya slo me queda por probar el corolario 1.12. Para ello basta con que consio deres un argumento de aproximacin en la misma l o nea de la demostracin de la o proposicin 1.10. o lim inf {(c) 1.7. El mtodo de sub-super-soluciones e Considera la ecuacin no lineal o Lu utt uxx + cut = F (t, x, u) en D (T2 ). (1.43) e Supondr que la funcin F : T2 R R satisface las condiciones de Carathoe o dory siguientes a) Para c.t. (t, x) R2 , la funcin u R F (t, x, u) es continua. o b) Para todo u R, la funcin (t, x) R2 F (t, x, u) es medible. o c) Para cada constante positiva R > 0 existe una funcin L1 (T2 ) tal que o sup |F (t, x, u)| (t, x) c.t. (t, x) R2 .
|u|R
Dir que una funcin u L (T2 ) es una sub-solucin de (1.43) si satisface e o o Lu F (t, x, u ) en D (T2 ). Est desigualdad diferencial tienes que entenderla en el sentido de las distribuciones, a esto es,
o o Dir que u L (T ) es una super-solucin si es una funcin que satisface la desie gualdad contraria. Teorema 1.25. Considera que u , u son sub-super-soluciones de (1.43) tales que satisfacen u u c.t. R2 . Adems, considera que a F (t, x, u2 ) F (t, x, u1 ) (u2 u1 ), para c.t. (t, x) R2 y todos u1 , u2 con u (t, x) u1 u2 u (t, x). (1.44)
T2
u L
T2
F (t, x, u ),
D+ (T2 ).
36
(La constante = (c) fue denida en el teorema 1.11). Entonces (1.43) tiene una solucin u C(T2 ) que satisface o u u u c.t. R2 . La demostracin que doy se basa en el esquema montono estndar que se emplea o o a en la mayor de los estudios de sub-super-soluciones. Sin embargo, el que las suba super-soluciones sean dbiles me lleva a tener que probar el siguiente resultado previo e para salvar algunas sutilezas. Lema 1.26. Considera que (0, ] y que u es una funcin de L1 (T2 ) que o satisface L u 0 en D (T2 ). Entonces u 0 c.t. R2 . Demostracin. Considera la distribucin o o D(T2 )
uL .
Es claro que esta distribucin es no negativa. As puedes extender u a una medida. o , Para dar este paso puedes consultar [[58], pg. 22] o [[31], pg. 151]. De esta forma, a a u satisface L u = en D (T2 ) con M (T2 ). Aplico el corolario 1.12 y acabo la demostracin. o Demostracin del Teorema 1.25. Considera el esquema iterativo o L un+1 = Lun+1 + un+1 = F (t, x, un ) + un en D (T2 ). Considera las sucesiones {un } y {un } generadas por las condiciones iniciales u0 = u y u0 = u , respectivamente. Por la regularidad de las soluciones de la ecuacin lineal o a o (proposicin 1.9), tienes que un y un son continuas si n 1. Adems, la condicin o (1.44) y el lema anterior te llevan a la cadena de desigualdades u = u0 u1 . . . u n un u1 u0 = u . En efecto, por ser u0 = u sub-solucin de (1.43) o L u1 = F (t, x, u0 ) + u0 = F (t, x, u ) + u Lu + u = L u = L u0 , de donde L (u1 u0 ) 0. Por el principio del mximo para L , u1 u0 . Considera ahora que un+1 un como a hiptesis de induccin. Entonces o o L (un+2 un+1 ) = L un+2 L un+1 = F (t, x, un+1 ) + un+1 F (t, x, un ) un y, por la condicin (1.44), o L (un+2 un+1 ) 0. , Nuevamente por el principio del mximo, un+2 un+1 . As he probado que {un } a es no decreciente. De forma anloga puedes ver que {un } es no creciente. a
1.7. EL METODO DE SUB-SUPER-SOLUCIONES
37
Igualmente, no te ser complicado probar, tambin por induccin, que un un , a e o n N. Por tanto, tengo que la sucesin {un } es no decreciente y converge puntualmente o a una funcin u que satisface u u u . Basndome en el Teorema de la convero a gencia dominada (o en el Teorema de la convergencia montona) puedo efectuar un o paso al l mite y obtengo que u es una solucin de o Lu + u = F (t, x, u) + u en D (T2 ) o, equivalentemente, de (1.43). Finalmente, la teor de regularidad me permite a 2 concluir que u pertenece a C(T ). He acabado la demostracin. o
Cap tulo 2 El ndice de las soluciones peridicas de ciertas ecuaciones o de evolucin de segundo orden o
2.1. Introduccin al cap o tulo 2 En este cap tulo voy a optar por hacer un estudio en un marco que quizs puea das considerar, en principio, demasiado abstracto. Sin embargo, tal abstraccin te o ayudar, segn mi punto de vista, a comprender la idea subyacente. Espero que al a u nal me des la razn. o Considera pues dos espacios de Hilbert H y V de dimensin innita con V H, o V denso en H. Asimismo, considera la ecuacin diferencial o u + cu + u = f (t, u), u V, u H. (2.1) En esta ecuacin c > 0 es una constante ja, es un operador lineal autoadjunto que o se dene por densidad en H y f es una funcin no lineal T -peridica con respecto o o al tiempo. Adems, impondr sobre y f condiciones que determinar a partir del a e e caso de la ecuacin semilineal del telgrafo. o e Puedes ver distintos mtodos para estudiar el problema peridico asociado a e o ecuaciones de este tipo en [52], [37], [16], [9], [57], [5], [23] y las referencias que aparecen en estos trabajos. La idea central de este cap tulo es presentarte dos enfoques, que puedo considerar de los ms clsicos, para estudiar el problema peridico a a o asociado a (2.1) y probar que son equivalentes. El primer enfoque est basado en el operador de Poincar. Para denirlo empea e zar considerando el problema de Cauchy asociado a (2.1), el cual est bien planteado e a bajo condiciones apropiadas sobre y f . As si notas por u(t; u0 , v0 ) a la solucin , o de (2.1) que satisface u(0) = u0 V, u(0) = v0 H, entonces tienes que el problema peridico para (2.1) se reduce al estudio de los puntos o jos del operador de Poincar e P : (u0 , v0 ) (u(T ; u0 , v0 ), u(T ; u0 , v0 )). Como puedes comprobar, en general este operador no es completamente continuo, por lo que no puedo aplicar directamente la teor de Leray-Schauder. Sin embargo, a por el carcter disipativo de la ecuacin soy capaz de asegurar que P es una a o contraccin. Esto me permitir aplicar la teor desarrollada por Nussbaum en [44] o a a para denir el grado deg(I P, G; V H), donde G es un subconjunto abierto de V H.
39
40
2. EL INDICE DE LAS SOLUCIONES PERIODICAS
Para el segundo enfoque har nuevamente uso de la funciones de Green. La idea e es que reescribas el problema peridico como una ecuacin integral. Para que esto o o sea factible impondr hiptesis sobre de forma que el problema peridico e o o u + cu + u = p(t), u(0) = u(T ), u(0) = u(T ), p C([0, T ], H), tenga una unica solucin u = GT p. Observa que dicha solucin pertenece al espacio o o de funciones MT = {u C 1 ([0, T ], H) C([0, T ], V ) / u(0) = u(T ), u(0) = u(T )}. Con esto tienes que el problema peridico no lineal es equivalente a la ecuacin de o o punto jo u = GT NT u, u MT , donde NT es el operador de sustitucin asociado a f . En este enfoque, el operador o que considero, FT = GT NT , s es completamente continuo y puedo utilizar la teor a de Leray-Schauder para denir el grado deg(I FT , T ; MT ), donde T es un subconjunto abierto y acotado de MT . Supongo ahora que los conjuntos G y T tienen un ncleo comn. Intuitivamente, u u esto signica que una solucin peridica de (2.1) pertenece a T si y slo si sus o o o condiciones iniciales estn en G. El que denominar teorema de dualidad te armar a e a que los dos grados coinciden, es decir, deg(I P, G; V H) = deg(I FT , T ; MT ). El resultado anlogo para ecuaciones diferenciales ordinarias es un resultado a clsico y puedes encontrar una demostracin en el libro de Krasnoselskii y Zabreiko a o [26]. La idea bsica de la demostracin en [26] es conectar los operadores P y FT a o mediante una ingeniosa cadena de homotop En la demostracin que te propongo, as. o para ecuaciones en derivadas parciales, seguir las ideas de [26] y las adaptar al e e marco innito-dimensional. La principal dicultad que me surgi en esta adaptacin o o deriv de un hecho bien conocido: no puedo denir el grado para funciones contio nuas arbitrarias en el caso de dimensin innita. Vers que las sucesivas homotop o a as permanecern siempre en una clase admisible donde el grado s est bien denido. a a Junto con su inters intr e nseco, los Teoremas de Dualidad son utiles en apli caciones. As en el cap , tulo 3 combinar el teorema de dualidad con las tcnicas e e introducidas en el cap tulo 1 para obtener ms resultados sobre la ecuacin de sinea o Gordon forzada con condiciones de contorno peridicas. o Organizo el resto del cap tulo en cinco secciones. En la seccin 2.2 recuerdo o algunos hechos conocidos en teor de grado que utilizar en las siguientes secciones. a e o En la seccin 2.3 discuto la ecuacin lineal asociada a y obtengo algunos resultados o preliminares. En la seccin 2.4 estudio el problema de Cauchy para el problema (2.1) o y presento algunos resultados preliminares sobre la ecuacin no lineal. En la seccin o o 2.5 describo en trminos rigurosos el operador de Poincar y el enfoque anal e e ticofuncional en el estudio del problema de contorno peridico. Por ultimo, en la seccin o o 2.6 enuncio y demuestro el teorema de dualidad. Tambin en esta seccin presento e o una discusin sobre el valor del o ndice de una solucin peridica asintticamente o o o
2.2. OPERADORES DE TIPO -CONTRACTIVO
41
estable. Para calcular dicho ndice usar el mtodo del operador de Poincar y el e e e Teorema del punto jo asinttico para -contracciones siguiendo las ideas de [43] y o [20]. 2.2. Operadores de tipo -contractivo y teor de grado a Considera un espacio de Banach X con norma | |. Si A es un conjunto acotado de X, deno la medida de no compacidad de A como (A) := inf{d > 0 / A puede ser recubierto por un nmero nito de u conjuntos con dimetro menor o igual que d}. a Puedes ver las propiedades de en [44] y [13]. Considerar en esta seccin que f : X X es un operador denido en el e o cierre de un subconjunto acotado y abierto de X. Adems, siempre supondr que a e f es continuo y que f () es acotado. Dir que el operador f es una -contraccin si existe una constante k (0, 1) tal e o que (f (A)) k(A) para cada subconjunto A de . Nota 2.1. Como ejemplo t pico de -contraccin tienes f = L + C, donde L es o un operador lineal acotado con norma |L| := sup{|Lx| / |x| 1} < 1 y C es un operador compacto. Nota 2.2. Has de tener en cuenta que depende de la norma | | y, por tanto, lo mismo ocurre con la clase de las -contracciones. Si cambias la norma | | en X por otra equivalente || ||, entonces una -contraccin para | | puede dejar de serlo para o || ||. Esto me lleva a tener que trabajar en una clase ms amplia de operadores. a En concreto, usar la introducida por Nussbaum en [44] y que denominar clase de e e operadores de tipo -contractivo. Esta clase contiene a la formada por los operadores que son -contracciones con respecto a alguna norma que sea equivalente a | |. Para mi denicin necesito notacin previa. Antes de nalizar esta nota, quiero o o comentarte que, aunque la idea original es la de Nussbaum, voy a seguir a partir de ahora el desarrollo hecho por Lloyd en [33]. Considera un operador f : X X continuo y acotado. Deno los conjuntos K1 = cof (), Kn = cof (Kn1 ), n > 1, donde co(S) denota la envolvente cerrada y convexa del conjunto S. Es claro que los conjuntos Kn son cerrados, convexos y satisfacen la cadena de inclusiones K1 K2 . . . Kn . . . . e Deno ahora el conjunto K = + Kn . Este conjunto tambin es cerrado y n=1 convexo. Dir que el operador f pertenece a la clase LC() si K es compacto. e Nota 2.3. Como puedes observar, K depende de f y . Cuando quiera que esta dependencia quede reejada de forma expl cita escribir K (f, ). e
42
Nota 2.4. Como ejemplo de operador en LC() tienes los operadores F = L+C donde C es compacto y L es lineal con radio espectral (L) < 1. Voy a repasar la prueba de este hecho: considero una norma || en X equivalente a la original y tal que L sea una contraccin mtrica para ella. Si denoto por o e la medida de compacidad asociada a esta norma, entonces (a partir de propiedades bien conocidas de las medidas de compacidad que puedes consultar en la seccin 6.1 o de [33]) (Kn ) = (cof (Kn1 )) = (f (Kn1 )) (L(Kn1 )) + (C(Kn1 )). Como C es un operador compacto, (C(Kn1 )) = 0 y, por tanto, (Kn ) (L(Kn1 )) (L(Kn1 )) |L| (Kn1 ). Por ultimo, como he elegido la norma | | de manera que |L| < 1 entonces tengo que (Kn ) 0. En consecuencia (K ) = 0. Es evidente que si f LC() entonces el conjunto de sus puntos jos Fix(f ) est incluido en K . Siempre que f satisfaga a Fix(f ) = , puedo denir el grado deg(I f, ; X) de la siguiente manera i) si K = entonces deg(I f, ; X) = 0; ii) si K = entonces deg(I f, ; X) = deg(I f , ; X), donde el segundo grado es el de Leray-Schauder y f : X es cualquier operador continuo satisfaciendo f (x) = f (x) si x K , f () K . Nota 2.5. Observa que los puntos jos de f han de estar en K por la construccin hecha. Por otra parte, la extensin f siempre existe como consecuencia de o o la generalizacin del Teorema de Tietze hecha por Dugundji y que est enunciada o a a en [33] (ms concretamente, el Teorema 4.4.5). A partir de esto, puedes ver que f y f tienen los mismos puntos jos. As la denicin que he dado es coherente. , o Para que denitivamente esta denicin de grado sea correcta tengo que probar que o es independiente del operador f escogido. Si f es otro operador en las mismas condiciones, basta denir la homotop a f (x) + (1 )f (x), [0, 1], y aplicar la invarianza del grado de Leray-Schauder por homotop donde has de as, observar que f + (1 )f , [0, 1], no tiene puntos jos en puesto que K = . (2.2)
2.2. OPERADORES DE TIPO -CONTRACTIVO
43
A continuacin presento tres propiedades que utilizar en este cap o e tulo. Lema 2.1. (Invarianza por conjugacin) Considera los espacios de Banach X, o Y , un isomorsmo lineal (y continuo) : X Y y un operador f LC() tal que satisface (2.2). Si denes g : Y Y, g = f 1 , = (), entonces g LC(), Fix(g) = y deg(I f, ; X) = deg(I g, ; Y ). Demostracin. Primero tienes que comprobar que g LC(), esto es, que o K (g, ) es compacto. Para ello, como un isomorsmo lineal respeta los cierres convexos, K1 (g, ) = cog() = cog(()) = co(f ()) = (cof ()) = (K1 (f, )). Supongo, como hiptesis de induccin, que Kn1 (g, ) = (Kn1 (f, )). A partir o o de aqu , Kn (g, ) = cog(Kn1 (g, ) ) = cog(Kn1 (f, ) ) = cof (Kn1 (f, ) ) = (cof (Kn1 (f, ) )) = (Kn (f, )). Finalmente,
+ + +
K (g, ) =
n=1
Kn (g, ) =
n=1
Kn (f, ) = (
n=1
Kn (f, )) = (K (f, )),
de donde, como es continuo, K (g, ) es compacto. A continuacin tienes que o comprobar que Fix(g) = . Razonando por reduccin al absurdo, si tal interseccin fuese no vac entonces, al o o a respetar las fronteras, Fix(f ) = contra las hiptesis del teorema. Me queda por probar la igualdad de los dos grados. o Aqu puedo suponer que K = , pues en caso contrario el resultado es trivialmente cierto. Deno la extensin g de g|K o g = f 1 , donde f es una extensin continua de f tal como la tom en la denicin del grado o e o para f . Es claro que g (x) = g(x) si x K (g, ) y que g () K (g, ). Puedo de esta forma denir deg(I g, ; Y ) = deg(I g , ; Y ), donde el segundo grado es el de Leray-Schauder. Para acabar la demostracin voy a ver que los grados de Leray-Schauder para f o y g son iguales. Con este n, uso la siguiente proposicin que es una reescritura del o Teorema 26.4 de [26].
44
Proposicion 2.2. Considera un subconjunto abierto y acotado G1 de un espacio de Banach E1 , un subconjunto abierto y acotado G2 de un espacio de Banach E2 , un operador compacto D : G1 E1 y un homeomorsmo V : G2 E2 G1 E1 . Si 1 es un subconjunto abierto y acotado de E1 tal que 1 G1 , D(1 ) G1 y Fix(D) 1 = entonces deg(I D, 1 ; E1 ) = deg(I V 1 DV, V 1 1 ; E2 ). Si tomo D = f , V = 1 y 1 = tengo la igualdad deseada. Fin de la prueba del lema. Lema 2.3. (Reduccin de la dimensin) Considera un subespacio cerrado X0 de o o X y un operador f LC() satisfaciendo (2.2). Adems considera que f () X0 a y dene f0 : X0 X0 , x f (x). Entonces f0 LC( X0 ) y deg(I f, ; X) = deg(I f0 , X0 ; X0 ). Nota 2.6. Como en el lema anterior, cuando f es compacto este es un resultado clsico (como siempre, deg se reere al grado de Leray-Schauder en tal situacin). a o El caso de -contracciones lo puedes ver enunciado en [[13], pg. 74]. a Demostracin. Primero tienes que probar que f0 LC( X0 ). Para ello, o
0 K1 = cof0 ( X0 ) = cof ( X0 ) cof () = K1 X0 . 0 Ahora, si supones como hiptesis de induccin que Kn Kn X0 , tienes que o o 0 0 0 Kn+1 = cof0 (Kn X0 ) = cof (Kn X0 ) cof (Kn ) = Kn+1 .
Por otra parte,

0 K2 = cof (K1 ) cof ( X0 ) = cof0 ( X0 ) = K1 . 0 Razonando de nuevo por induccin tendrs que Kn+1 Kn , n 1. Por tanto, ya o a 0 puedes deducir de forma inmediata que K = K (donde la notacin que estoy o empleando es obvia). As has probado que f0 est en la clase adecuada. Por ultimo, a para comprobar la igualdad de grados basta que consideres f0 = f y utilices la propiedad de reduccin de la dimensin para el grado de Leray-Schauder segn lo o o u o visto en la nota 2.6. As terminas la demostracin.
La invarianza del grado con respecto a las homotop en la clase LC() es as o bastante delicada (puedes ver el Teorema 2 de la seccin D en [44]). A continuacin o incluyo un resultado ms simple que ser suciente para mis propsitos. a a o Lema 2.4. Considera dos operadores f1 , f2 LC() tales que puedes descomponerlos de la forma fi = Li + Ci , i = 1, 2, a donde Li es un operador lineal acotado y Ci es compacto. Adems, considera que se satisfacen las condiciones (L1 + (1 )L2 ) < 1 (2.3)
2.3. LA ECUACION LINEAL
45
y Fix(f1 + (1 )f2 ) = para cada [0, 1]. Entonces deg(I f1 , ; X) = deg(I f2 , ; X). Demostracin. Por la propiedad (2.3) tienes que para cada [0, 1] puedes o encontrar una norma || en X (equivalente a la norma ||) y una constante K [0, 1) tal que |(L1 + (1 )L2 )(x)| K |x| , x X. Ahora, por un argumento de compacidad puedes tomar una particin del intervalo o [0, 1], 0 = 1 < 2 < . . . < n = 1, y una constante K [0, 1) tal que si [i , i+1 ] entonces |(L1 + (1 )L2 )(x)|i K|x|i , x X. La propiedad de invarianza por homotop para la clase de -contracciones con as respecto a una norma ja es bien conocida. As , deg(I fi , ; X) = deg(I fi+1 , ; X), i = 1, . . . , n 1 (2.5) donde f = f1 + (1 )f2 . Uniendo todas las igualdades de (2.5) acabo la demostracin. o Nota 2.7. Si consideras un operador lineal acotado L con r(L) < 1 y un operador compacto C, el grado de I f con f = L+C tambin se puede denir usando tcnicas e e alternativas. Por ejemplo, puedes transformar la ecuacin de punto jo x = f (x) en o la ecuacin x = f (x) con f = (I L)1 C y observar que f es compacto. En o esta memoria necesito variar L pero, cuando L es jo, esta idea est relacionada con a el grado de coincidencia de Mawhin [17]. 2.3. La ecuacin lineal o En esta seccin usar el marco general establecido en [56]. As pues, voy a o e recordarte una de serie de conceptos y resultados que sern utiles en lo que sigue. a Empiezo considerando dos espacios de Hilbert, H y V , separables y tales que V H con inclusin compacta. Adems, supongo que V es denso en H (con respecto o a a la norma de la H-topolog a). Notar a la norma y el producto escalar en H e e a cito y escribir | |V y e simplemente por | | y (, ). En el caso de V ser ms expl (, )V respectivamente. Adems, considerar una forma bilineal a e a : V V R, continua, simtrica y coerciva. Como es usual, le asocio a esta forma bilineal un e operador lineal autoadjunto no acotado : dom( ) H H (2.4)
46
con dom( ) denso en H. En estas condiciones, s que el inverso de existe y es e un operador compacto de H en H. Esto me permite aplicar la teor espectral de a 1 operadores autoadjuntos compactos a y construir las potencias fraccionarias s de una manera simple. Si quieres ms informacin sobre las potencias puedes consultar a o [56]. Por ultimo, destaco la identidad dom( 1/2 ) = V . Considera ahora el problema de valores iniciales u + cu + u = p(t), t (0, T ), u(0) = u0 , u(0) = v0 , (2.6)
donde u0 V, v0 H y p C([0, T ], H) son jos. Por una solucin de este o 1 problema entender una funcin u M := C([0, T ], V ) C ([0, T ], H) que satisfaga e o las condiciones iniciales y que para cada w V verique la siguiente ecuacin o d2 d (u(t), w) + c (u(t), w) + ( 1/2 u(t), 1/2 w) = (p(t), w), 2 dt dt donde esta ultima expresin tienes que entenderla en el sentido de las distribuciones. o Has de saber que es un hecho bien conocido que (2.6) tiene una unica solucin. o Concretamente, como puedes ver en [[56], pg. 180 (expresin (1.20))], se satisface a o el siguiente resultado: existe 0 > 0 (dependiente solamente de c, a, V y H) tal que si 0 < < 0 entonces |u(t)|2 + |u(t) + u(t)|2 {|u0 |2 + |v0 + u0 |2 }e 2 t + V V
2 (1 2
e 2 t )|p|2 C([0,T ],H) ,
t [0, T ].
(2.7)
o Puedes observar que, para valores pequeos de , la frmula n |(u0 , v0 )|2 := |u0 |2 + |v0 + u0 |2 , (u0 , v0 ) V H, V (2.8) dene una norma que es equivalente a cualquiera de las normas producto en V H que son estndares. Con esta norma puedes reescribir la estimacin previa (2.7) de a o la forma 2 |(u(t), v(t))|2 |(u0 , v0 )|2 e 2 t + 2 (1 e 2 t )|p|2 t [0, T ]. (2.9) C([0,T ],H) , Para nalizar este recordatorio, he de sealarte que el espacio funcional M = n C([0, T ], V ) C 1 ([0, T ], H) est naturalmente dotado con la norma a u
M
:= max {|u(t)|V + |u(t)|}.

t[0,T ]
Sin embargo, algunas veces ser ms interesante que use la norma equivalente a a u
M,
:= max |(u(t), u(t))| ,

t[0,T ]
para sucientemente pequeo. n En este marco funcional deno dos operadores lineales asociados a (2.6). A saber, H : V H M, (u0 , v0 ) u , p u , donde u es la solucin de (2.6) para p 0, y o V : C([0, T ], H) M,
2.3. LA ECUACION LINEAL
47
donde u es la solucin de (2.6) para u0 = 0, v0 = 0. o Nota 2.8. Observa que puedes descomponer la solucin de (2.6) como o u = u + u = H(u0 , v0 ) + Vp (2.10) para (u0 , v0 ) y p arbitrarios. Igualmente, la desigualdad (2.7) implica que ambos operadores H y V son continuos. Como supongo habrs adivinado, en este punto es a conveniente emplear la norma M, . En el resto de esta seccin analizar el problema peridico o e o u + cu + u = p(t), t (0, T ), u(0) = u(T ), u(0) = u(T ). Para tal n deno la familia de operadores lineales : M V H, y el subespacio de M dado por MT := {u M : 0 u = T u}. Las soluciones de (2.11) son justamente las funciones de MT que resuelven la ecuacin o diferencial en el sentido que te indiqu anteriormente. e Lema 2.5. Considera p C([0, T ], H) ja. Entonces existe una unica solucin o del problema (2.11). Adems, el operador lineal a GT : p C([0, T ], H) u MT es continuo. Demostracin. Si tomas una condicin inicial arbitraria (u0 , v0 ) V H, la o o solucin de (2.6) est dada por (2.10). A partir de las identidades o a 0 H = IV H , 0 V = 0, (2.12) (2.13) (2.14) es claro que u ser peridica (esto es, 0 u = T u) si, y slo si, a o o (u0 , v0 ) = T H(u0 , v0 ) + T Vp. Por otra parte, a partir de la desigualdad (2.7) tienes que |T H(u0 , v0 )| e 4 T |(u0 , v0 )| .
(2.11)
u (u( ), u( )); [0, T ],
Por tanto, el operador T H es una contraccin continua con respecto a la norma || . o As la ecuacin de punto jo (2.13) es resoluble de forma unica y, en consecuencia, o o (2.11) tiene una unica solucin. Por ultimo, para probar la continuidad de GT es suciente que veas que tal operador, a partir de (2.10) y (2.13), puede ser expresado de la forma GT = H (I T H)1 T V + V. (2.15) As termino esta demostracin. o Concluyo esta seccin presentndote un problema concreto para el que puedes o a aplicar el marco abstracto visto. Adems, puedes considerar que este ejemplo es un a primer acercamiento al cap tulo 3.
48
Ejemplo 2.6. Deno los espacios T = R/2Z, y la forma bilineal a(u, v) = Tn = T . . . T,

(n
n 1, u
H = L2 (Tn ), v + uv,
V = H 1 (Tn )
donde > 0 es jo. El operador asociado : dom( ) H H,

2 n
Tn
est dado por a u = u + u
donde dom( ) = H (T ). Con estas hiptesis, puedes ver que la ecuacin del problema (2.6) se transforma o o en la ecuacin del telgrafo o e utt + cut u + u = p(t, x), con condiciones de contorno peridicas o u(t, x1 , . . . , xi + 2, . . . , xn ) = u(t, x1 , . . . , xi , . . . , xn ), 1 i n. La funcin p pertenece a C([0, T ], L2 (Tn )) y, por el lema 2.5, sabes que esta ecuacin o o del telgrafo tiene una unica solucin T -peridica. e o o 2.4. La ecuacin no lineal o En esta seccin voy a estudiar la ecuacin diferencial o o u + cu + u = f (t, u), donde f : [0, T ] V H, satisface las siguientes condiciones: (f-1) Para cada r > 0 existe r > 0 tal que |f (t, u1 ) f (t, u2 )| r |u1 u2 |V si t [0, T ] y |u1 |V , |u2 |V r. (f-2) Para cada r > 0 existe un mdulo de continuidad r > 0 tal que o |f (t1 , u1 ) f (t2 , u2 )| r (|t1 t2 | + |u1 u2 |) si t1 , t2 [0, T ] y |u1 |V , |u2 |V r. (Por un mdulo de continuidad entender una funcin : [0, +) [0, +) o e o que es creciente, continua y tal que (0) = 0). Nota 2.9. A primera vista puedes pensar que, cuando f no depende de t, el mdulo de continuidad de (f-2) es lineal. Esta idea puede que te sea sugerida por o la condicin (f-1). Sin embargo este no es el caso puesto que la norma de u1 u2 en o (f-2) est referida ahora al espacio H. a Antes de discutir las consecuencias de estas hiptesis las voy a analizar en un o caso concreto. t (0, T ), (2.16) es el mismo operador que den en la seccin 2.3 y o (t, u) f (t, u) t (0, T ), x Rn
2.4. LA ECUACION NO LINEAL
49
Ejemplo 2.7. Sigo con la notacin del ejemplo 2.6 y considero ahora la ecuacin o o del telgrafo semilineal e utt + cut x u + u = F (t, x, u) u(t, x1 , . . . , xi + 2, . . . , xn ) = u(t, x1 , . . . , xi , . . . , xn ), 1in
donde F : [0, T ] Tn R R es una funcin continua. Supongo tambin que o e F (t, x, u) existe y es continua. Bajo ciertas condiciones adicionales, puedes interu pretar esta ecuacin como un caso particular de (2.16) con o f (t, u) = F (t, , u()), t [0, T ], u H 1 (Tn ). Cuando n = 1 tienes que el espacio H 1 (T) est incluido en C(T) y, por tanto, f est a a siempre bien denida y las condiciones (f-1), (f-2) se satisfacen. En el caso n 2 debes imponer condiciones adicionales sobre F . As en el caso n 3, considera que , F | (t, x, u)| k(1 + |u|)1 , |F (t1 , x, u) F (t2 , x, u)| (1 + |u|) (|t1 t2 |) u n o donde k > 0 es una constante, es un mdulo de continuidad y (1, n2 ). Para chequear que f est bien denida recuerda la inmersin de Sobolev H 1 (Tn ) a o 2n n n L (T ) con n = n2 . En tal situacin, observa que f es Hlder-continua en u, esto o o es, para cada r > 0 existe r > 0 tal que |f (t, u1 ) f (t, u2 )| r |u1 u2 | si t [0, T ], |u1 |V , |u2 |V r. Aqu = 1 con = 2(1) . Puedes probar esta n 2 1 1 propiedad a partir de la desigualdad de Hlder con r = , s = , 1 + 1 = 1. En o r s efecto, |f (t, u1 ) f (t, u2 )|2 k 2 k2
(1 + |u1 | + |u2 |)2(1) |u1 u2 |2 |u1 u2 |2

2(1)
A partir de esta desigualdad ya puedes comprobar fcilmente la condicin (f-1). Para a o la comprobacin de la condicin (f-2) slo has de utilizar las inmersiones de Sobolev. o o o Para acabar con este ejemplo, observa que en el caso n = 2 las condiciones sobre F son las mismas tomando (1, +) pues H 1 (T2 ) Lp (T2 ), p < . Vuelvo al marco general. Dir que una funcin u C(I, V ) C 1 (I, H) es una e o solucin de (2.16) si satisface, en el sentido que di en la seccin 2.3, la ecuacin lineal o o o u + cu + u = p(t), t I, u con p(t) = f (t, u(t)) e I algn subintervalo de [0, T ]. Nota 2.10. Para determinar la existencia y unicidad de solucin local puedes o utilizar un argumento de punto jo estndar tal y como expongo a continuacin. a o Para comenzar, considera el problema u + cu + u = p(t), t I, u(t0 ) = u0 , u(t0 ) = v0 , (2.17)
Tn
(1 + |u1 | + |u2 |)
|u1 u2 |2
Tn
|u1 u2 |2
50
donde las condiciones iniciales son jas y el intervalo es I = [t0 h, t0 + h] [0, T ] con h > 0 un parmetro a determinar. Adems, toma el espacio X = C(I, V )C 1 (I, H). a a Observa que (2.17) es una ligera variante de (2.6). As para (2.17) tienes de nidos, de la misma manera que se hizo para (2.6), los operadores H y V. Para no complicar la lectura, propongo seguir notndolos igual. Tambin sufre una pequea a e n modicacin la estimacin (2.9), en concreto, o o
2 t I. (2.18) (1 e 2 (tt0 ) )|p|2 C(I,H) , 2 Si v X entonces, a partir de (f-2) (o la continuidad de f si lo preeres), N v = f (, v()) C(I, H) y, por las deniciones dadas, VN v + X, siendo (t) la solucin de (2.17) con p 0 (esto es, H(u0 , v0 )). Dene el operador o
|(u(t), v(t))|2 |(u0 , v0 )|2 e 2 (tt0 ) +
T : X X,
T = VN + .
A partir de (2.18) y para h pequeo puedes comprobar que V : C(I, H) X tiene n una norma pequea. Para ello ten en cuenta que si haces u0 = v0 = 0 en (2.18) n entonces 2 2 2h |(u(t), v(t))|2 2 (1 e 2 (tt0 ) )|p|2 )|p|2 t I. C(I,H) 2 (1 e C(I,H) , Al ser jo tienes la pequeez de ||V|| para h adecuado. n Toma dos nmeros r y R tales que 0 < r < R y r > |u0 |V + |v0 |. Dene el u conjunto ER = {u X / |u(t)|V + |u(t)| R, t I}. Si pruebas que T (ER ) ER de manera contractiva, entonces, por ser E completo, T tendr un punto jo en ER . a Por la dependencia continua para ecuaciones lineales tienes que, si h es pequeo, n |u0 |V + |v0 | r |(t)|V + |(t)| r + Por otra parte, |VN u|X ||V|| |N 0|C(I,H) + |N u N 0|C(I,H) ||V|| |N 0|C(I,H) + R |u|X , donde tienes que utilizar (f-1) para la ultima estimacin. Por ultimo, si ||V|| es o pequeo, es claro que n Rr . (2.20) 2 Combinando (2.19) y (2.20), ya tienes que ER es invariante por T . Falta la contractividad de T . Para ello, |VN u|X |T u1 T u2 |X = |VN u1 VN u2 |X ||V|||N u1 N u2 |C(I,H) ||V||R |u1 u2 |X , donde has de utilizar una vez ms (f-1). De nuevo, la posibilidad de tomar ||V|| a pequeo te permite considerar n ||V||R < 1. Rr , 2 t I. (2.19)
51
Como consecuencia de la demostracin que has visto en esta ultima nota, destaco o la siguiente propiedad por ser un hecho que utilizar varias veces en lo que sigue. e Propiedad L. Considera dos nmeros r y R tales que 0 < r < R. Entonces u existe > 0 tal que, si u(t) es una solucin de (2.16) con o |u(t0 )| + |u(t0 )|V r, a para algn t0 , te es posible extender u(t) al intervalo [t0 , t0 + ] [0, T ]. Adems, u en este intervalo se satisface |u(t)| + |u(t)|V R. A continuacin voy a obtener un resultado de dependencia continua con reso pecto a topolog dbiles que requiere (f-2). Tal resultado est en la l as e a nea de la Proposicin 5.1 de [1]. Primero introducir alguna notacin. Dados (0, T ] y o e o u C 1 ([0, ], H) C([0, ], V ) deno la norma |||u||| = max{|u(t)| + |u(t)|V / t [0, ]}. Observa que ||| |||T coincide con M . Por otra parte, puedes descomponer toda solucin u(t) de (2.16) de la forma o u = u + u donde u satisface u + cu + u = 0, u (0) = u(0), u (0) = u(0). Paso ya a mostrarte el resultado prometido. Proposicion 2.8. Considera las soluciones u1 , u2 , . . . , un , . . . , u de (2.16) que estn denidas en [0, ], T . Si supones que a sup |||un ||| < +
n
y u0n u0 dbilmente en V, v0n e v0 dbilmente en H, e donde un (0) = u0n , un (0) = v0n , n = 1, 2, . . . , +, entonces
t[0, ]
max |un (t) u (t)| 0 y |||un u ||| 0 (n +).
Nota 2.11. Como es previsible, el resultado anterior tambin es cierto cuando e hagas uso de la convergencia fuerte. Es decir, si ests en las condiciones de la a proposicin y supones que o u0n u0 fuerte en V, entonces |||un u ||| 0 (n +). Nota 2.12. En la demostracin har uso del Teorema de Ascoli-Arzel`. Incluyo o e a aqu la siguiente versin que puedes ver demostrada en [55]. o Teorema 2.9. Considera un espacio topolgico separable X y un espacio mtrico o e completo Y . Entonces, si F es un subconjunto no vac de C(X, Y ) tal que o i) es equicontinuo, v0n v0 fuerte en H,
52
ii) para cada x X el conjunto {f (x) / f F } es relativamente compacto en Y , tienes que toda sucesin {fn } F admite una parcial convergente puntualmente o en X a una funcin f C(X, Y ). Adems, esta convergencia es uniforme sobre o a subconjuntos compactos de X. Demostracin de la proposicin 2.8. Primero observa que la sucesin {un } es o o o relativamente compacta en C([0, ], H). Esto lo puedes deducir fcilmente comproa bando las hiptesis del Teorema 2.9 (tal como puedes ver hecho en la Proposicin o o 5.1 de [1]). En efecto, por la hiptesis hecha sobre la norma ||| ||| tienes que o i) |un (t)| est acotada independientemente de n y t; a partir de esto, a |un (t) un (s)| |t s| max |un ()| |t s|,
[0,T ]
con independiente de t, s y n; ii) |un (t)|V est acotada; esto, junto con el hecho de estar incluido V de forma a compacta en H, te da la segunda condicin. o Ahora es suciente que pruebe la proposicin para subsucesiones {uk } que sean o convergentes en C([0, ], H). Notar por u C([0, ], H) al l e mite correspondiente. Deno pk (t) = f (t, uk (t)). Por (f-2) s que {pk } es una sucesin de Cauchy en e o C([0, ], H). Llamo q(t) al l mite. Si adapto las notaciones de la seccin 2.3 al o intervalo [0, ] entonces la descomposicin uk = uk + uk puedo expresarla como o uk = H(u0k , v0k ), uk = Vpk . Puesto que las ecuaciones lineales se comportan bien respecto a las topolog dbiles, as e s que, para cada t [0, ], e uk (t) u (t) dbilmente en V, e uk (t) u (t) dbilmente en H. e De esta forma, por la continuidad de V, tengo que u = u +Vq est en C 1 ([0, T ], H) a C([0, T ], V ) y |||uk u ||| 0. Si pruebo que u y u coinciden entonces habr e acabado. Esto se seguir por unicidad porque u tambin es solucin de (2.16). En a e o efecto, de (f-2), |f (t, uk (t)) f (t, u(t))| r (|uk (t) u(t)|), t [0, ], para algn r > 0. Por tanto q(t) = f (t, u(t)) y as u es una solucin de (2.16). Fin u o de la demostracin. o Si considero las condiciones iniciales (u0 , v0 ) en V H, denoto a la solucin o de (2.16) que satisface u(0) = u0 , u(0) = v0 por u(t; u0 , v0 ). Est solucin estar a o a denida en un cierto intervalo maximal. Deno D = {(u0 , v0 ) V H / u(t; u0 , v0 ) est denida en [0, T ]}. a Nota 2.13. Por la propiedad L y la dependencia continua s que D es abierto. e En efecto, tomo (u0 , v0 ) D y supongo que la sucesin {(u0n , v0n )} converge a o e (u0 , v0 ). Si pruebo que (u0n , v0n ) D, a partir de n0 sucientemente grande, habr acabado. Sean pues r y R (con r < R) tales que |u(t)|V + |u(t)| < r, t [0, T ],
53
donde u(t) = u(t; u0 , v0 ). Voy a ver que N / n N un (t) est denida en [0, T ] y |un (t)|V + |un (t)| < 2R, t [0, T ]. a Si no fuera as encontrar Tn < T tal que , a |un (t)|V + |un (t)| < 2R,
t [0, Tn );
|un (Tn )|V + |un (Tn )| = 2R.
Puedo suponer que Tn T . Por la propiedad L existe > 0 tal que, para n grande, Tn . Si (0, ), por dependencia continua, las funciones un convergen a u en C([0, T ], V ) C 1 ([0, T ], H). As si n es grande, llego a que , |un (T )|V + |un (T )| < r, de donde |un (Tn )|V + |un (Tn )| < R y tengo una contradiccin. o Puedo denir ahora el operador solucin para el problema de valores iniciales o asociado a (2.16), : D V H M, (u0 , v0 ) = u(; u0 , v0 ). A partir de la proposicin 2.8 y de la dependencia continua respecto de las topolog o as fuertes (nota 2.11), tienes de forma clara que es continuo. Sin embargo, y esto es quizs sorprendente, este operador no es necesariamente acotado. Esto signica a que puede llevar un subconjunto cerrado y acotado de D en un subconjunto no acotado de M. En el siguiente ejemplo vers una muestra de este hecho. a Ejemplo 2.10. Empieza considerando el problema unidimensional 2 c + c + = (t) 3 , (0) = 1, (0) = 0. (2.21) 4 Para este problema puedes probar la existencia de un nmero > 0 tal que u a) la solucin de (2.21) est bien denida en [0, T ] si C([0, T ]) satisface o a 0 (t) ,
t [0, T ],
con desigualdad estricta (t) < en alguna parte; b) la solucin de (2.21) para (t) explota en t = T . o c Como ayuda te dir que es conveniente utilizar el cambio de variables = e 2 t . Con e ello llegas a un sistema con incgnitas y que satisface las condiciones de Kamke o y, por consiguiente, al que le puedes aplicar la teor de desigualdades diferenciales. a Como referencia sobre las condiciones de Kamke y las desigualdades diferenciales o puedes ver [[18], seccin 4.6]. A continuacin considera los espacios H = L2 (T), V = H 1 (T) y el operador o c2 u. 4 Si descompones cada funcin u H de la forma u = u + u con u R y T u = 0, o entonces tienes inducidas las descomposiciones V = R V , H = R H. Dene u = uxx + f (t, u) = (1 ||2 )u3 , u
54
donde > 0 es un valor que ms tarde tendrs que jar. En esta situacin, las a a o condiciones (f-1) y (f-2) se cumplen. Puesto que f toma valores sobre las funciones constantes, puedes descomponer las soluciones de (2.16), que estn denidas hasta a T , de la forma u = + donde C 1 ([0, T ], H) C([0, T ], V ) satisface + c + = 0 y : [0, T ] R es una solucin de o
2 c + c + = (1 2 (t, x) dx) 3 . 4 T
(2.22)
(2.23)
Toma el conjunto C = {(u0 , v0 ) V H /
(u0 )2 = 1,
u0 = 1,
v0 = 0}.
A partir de T (u0 )2 = 1 y u0 = 1 tienes que |u0 |V est acotado, mientras que v0 a est obviamente acotado tambin. As C es acotado. Por otro lado, considera una a e , sucesin {(u0n , v0n )} C convergente a (u0 , v0 ). Es claro que v0n = v0 = 0; adems, o a como los funcionales uV son continuos, tienes que
(u )2 ,
u u,
(uon )2
(u0 )2 = 1,
(uon ) u0 = 1.
Por tanto, C es cerrado. Finalmente, si w es una solucin de (2.22) que empieza en o C, existir K > 0 tal que a
T2
(t, x)2 dx K,
t [0, T ].
La existencia de este K lo puedes deducir de (2.7). Como K es independiente de (observa que slo depende de C) puedes elegir sucientemente pequeo tal que o n K < 1 y, por consiguiente, se satisfar que T2 2 1. Como no es idnticamente a e cero entonces, a partir de (2.23) y las propiedades de , sabes que, si tiene una condicin inicial en C, C D. Considera ahora (u0n , 0) C con o u0n (x) = 1 +
c
sin nx . n
c 2 Entonces n (t, x) = e 2 t (cos nt + 2n sin nt) sin nx y, por tanto, T n (t, x) dx 0, n cuando n +, uniformemente en t. Por dependencia continua deduces que n (t) converge a la solucin de (2.21) para . Se concluye que la sucesin n no o o a puede estar acotada. As tienes probado que (C) no est acotado.
Como habrs observado, en este ejemplo el conjunto C no es cerrado con respecto a a la topolog dbil. En el siguiente resultado te muestro que este hecho es crucial a e para mis propsitos. o
2.5. DOS DEFINICIONES DE INDICE
55
Proposicion 2.11. Considera un conjunto C acotado en V H tal que es cerrado con respecto a la topologa dbil y, adems, C D. Entonces (C) est acotado en e a a M. Demostracin. Para cada (0, T ] deno o ( ) = sup{|||u(; u0 , v0 )||| ; (u0 , v0 ) C}.
Por la propiedad L tengo que ( ) es nita para pequeo. A continuacin quiero n o probar que (T ) tambin es nita. Para ello emplear un argumento de reduccin e e o al absurdo. Supondr que (T ) = +. Deno e T = sup{ (0, T ]; ( ) < +}.
De nuevo por la propiedad L, tengo que (T ) = + y puedo encontrar una sucesin o (u0n , v0n ) en C tal que |||un |||T + donde un = u(; u0n , v0n ). (2.24)
e o Como C es dbilmente cerrado y acotado, puedo suponer que la sucesin (u0n , v0n ) converge (en sentido dbil) a un punto (u0 , v0 ) en C. Adems, la hiptesis C D e a o me permite denir u (t) = u(t; u0 , v0 ) en todo el intervalo [0, T ]. Puesto que, por la denicin de T , s que para cada < T las normas |||un ||| estn acotadas, a o e a partir de la proposicin 2.8, puedo deducir que |un (t)u (t)| 0 uniformemente en o t [0, ] y |||un u ||| 0. Por la continuidad del operador H, s que un M est e a acotada por una constante c. Sea la constante que resulta de la propiedad L para r = c + 2 u M y R = 2r. Si deno t0 = T y supongo que n es sucientemente grande entonces |un (t0 )| + |un (t0 )|V |un (t0 )| + |un (t0 )|V + |un (t0 )| + |un (t0 )|V c + 2 u La propiedad L me implica que |un (t)| + |un (t)|V R As llego a la estimacin o |||un |||T max{(T ), R} o que no es compatible con (2.24). Fin de la demostracin. 2.5. Dos deniciones de ndice En el resto de este cap tulo siempre supondr que est en las condiciones de e a a a e la seccin 2.3 y f satisface (f-1) y (f-2). Adems, como adivinars, mi inters se o centrar las soluciones peridicas de la ecuacin (2.16), es decir, las soluciones que a o o estn en MT o, equivalentemente, las que satisfacen las condiciones de contorno a u(0) = u(T ), u(0) = u(T ). (2.25) si t (T , T ].
M
= r.
56
2.5.1. El operador de Poincar. Deno el operador de Poincar por e e P : D V H V H, o, equivalentemente, P = T (2.26) Nota 2.14. Observa que los puntos jos de P son justamente las condiciones iniciales de las soluciones peridicas de (2.16). o Nota 2.15. Por la seccin previa, sabes que es un operador continuo pero no o necesariamente acotado. Por tanto, P tiene las mismas propiedades. Paso a tratar este problema. Considera un subconjunto G abierto y acotado de V H y denota por clw (G) a la clausura de G con respecto a la topolog dbil. Si clw (G) D puedes a e aplicar la proposicin 2.11 con C = clw (G) para concluir que P(G) est acotado. o a Nota 2.16. Recuerda que la clausura fuerte G est siempre incluida en clw (G) a y la identidad G = clw (G) se verica al menos cuando G es convexo. Proposicion 2.12. Considera un subconjunto abierto y acotado G V H tal que clw (G) D. Entonces el operador P est en la clase LC(G). a Demostracin. Por la nota 2.15, sabes que (G) es un subconjunto acotado de o M. Observa que, volviendo a las notaciones de la seccin 2.3, u(t; u0 , v0 ) es solucin o o del problema lineal (2.6) con p = N (u0 , v0 ) y donde N es el operador sustitucin o N : M C([0, T ], H), De (2.10) deduces sin problemas la identidad = H + V N . (2.27) A partir de ahora me referir a esta identidad como la ecuacin abstracta de Volterra. e o Combinando (2.26) y (2.27), puedes reescribir P como P = T H + T V N . Recordars que en la demostracin del lema 2.5 vi que T H es una contraccin a o o lineal con respecto a alguna norma | | . As para completar esta demostracin es , o suciente, teniendo en cuenta la nota 2.4, que pruebes que V N es compacto sobre G. Pero esto es una consecuencia del siguiente lema. Lema 2.13. El operador N es completamente continuo. Demostracin. Por (f-1) y (f-2) sabes que N es continuo y lleva conjuntos acoo tados en conjuntos acotados. Considera un subconjunto acotado B M. Tienes que probar que N (B) es relativamente compacto en C([0, T ], H). Para ello puedes utilizar de nuevo el Teorema de Ascoli-Arzel` y, por tanto, basta que veriques las a dos condiciones siguientes, (i) N (B) es equicontinuo; (ii) {f (t, u(t)) / u B} es relativamente compacto en H para cada t [0, T ]. u f (, u()). P(u0 , v0 ) = (u(T ; u0 , v0 ), u(T ; u0 , v0 ))
2.5. DOS DEFINICIONES DE INDICE
57
Toma r > 0 tal que maxt[0,T ] |u(t)|V r para cada u B. Para probar (i), observa que si t1 , t2 [0, T ] entonces |u(t1 ) u(t2 )| d|t1 t2 |, u B, con d = max{|u(t)| / t [0, T ], u B}. Por (f-2) tienes que |N u(t1 ) N u(t2 )| r ((1 + d)|t1 t2 |), esto es, la equicontinuidad de N . Para probar (ii) considera la bola cerrada de radio r en V , Br = {u V / |u|V r}, vista como un espacio mtrico inmerso en H (con la topolog inducida por | |). e a Mediante un argumento de compacidad dbil puedo ver que Br es compacta. Te e detallo el razonamiento a continuacin. En primer lugar, por estar Br acotada en V o y ser la inclusin de V en H compacta, s que Br es relativamente compacta en H. o e Si pruebo que Br es cerrada en H he acabado. Considero una sucesin {un } Br o tal que converja a u H con |un u| 0. Como {un } es acotada en V tengo una parcial {uk } que converge, de manera fuerte en H y dbil en el propio V , a un vector e u V . Pero el l mite en H es unico y puedo asegurar que u = u. Finalmente, como {uk } u en V y |u|V lim inf |uk | r, s que u Br . As Br es compacta en H. e Por otra parte, por la condicin (f-2) tienes que f : [0, T ] Br H es continua. o As f (t, Br ) es compacta y tienes (ii). Con esto acabas la demostracin del lema y, o por tanto, la de la proposicin. o Ya estoy en posicin de asociarle un grado a I P. Para ello considera un o subconjunto abierto y acotado G V H tal que clw (G) D y Fix(P) G = . Entonces puedo denir el grado deg(I P, G; V H). A partir de esta denicin, voy a asociarle un o ndice a una solucin peridica de o o o e (2.16). En efecto, si u MT es una solucin de este tipo, dir que es aislada si existe un entorno N V H de (u(0), u(0)) tal que Fix(P) N = {(u(0), u(0))}. Deno el ndice de u como P (u) := deg(I P, N ; V H). Observa que siempre puedes elegir N sucientemente pequeo tal que clw (N ) D. n e a Esto es as pues D es abierto y las bolas cerradas son dbilmente cerradas. Adems, por las propiedades de grado, sabes que esta denicin es independiente de la eleccin o o de N . (2.28)
58
2.5.2. El mtodo del operador de Green. Comienzo deniendo el operador e FT : MT MT , F T = GT N T ,
donde por NT indico la restriccin de N a MT . o Por la denicin de GT (lema 2.5), es claro que los puntos jos de FT son preo cisamente las soluciones de (2.16) que estn en MT . Adems, por los lemas 2.5 a a (continuidad de GT ) y 2.13 (completa continuidad de N ), tienes que FT es completamente continuo. Esto me permite denir el grado deg(I FT , T ; MT ) cuando T es un subconjunto abierto y acotado de MT tal que T Fix(FT ) = . (2.29)
Nota 2.17. Observa que una solucin u MT es aislada, en el sentido que antes o te den si y slo si existe un pequeo entorno T MT de u tal que , o n Fix(FT ) T = {u}. Esto es una simple consecuencia de la continuidad de . En efecto, liga homeomrcamente las condiciones iniciales para (2.16) con las soluciones del problema de o valores iniciales que surge. Esta observacin me permite denir un segundo o ndice para las soluciones peridicas aisladas de (2.16) por o F (u) := deg(I FT , T ; MT ). En principio est denicin depende de la forma en que escriba la ecuacin. Por a o o 2 ejemplo, considera R tal que la forma cuadrtica a(u, u) + |u| sea coerciva. a Entonces puedes reescribir (2.16) de la forma u + cu +
u
= f (t, u),
(2.30)
donde = + I y f (t, u) = f (t, u) + u. El operador y la funcin f satisfacen o todos los requerimientos previos y por tanto puedes denir el ndice en trminos de e (2.30). Sin embargo, (2.30) dene, de forma clara, una homotop ya en T ya en a T . Por tanto, las deniciones de grado e ndice son independientes de . Nota 2.18. Algunas veces el ndice est denido en trminos de (2.30) para un a e a valor de que est en la resolvente de pero tal que a(, ) + | | no es coerciva. En estos casos el ndice puede tener un cambio de signo. Un ejemplo de esta situacin lo tienes en [45]. o 2.6. El teorema de dualidad Considera dos conjuntos abiertos y acotados G V H y T MT . Adems, a a supn que la clausura dbil de G, clw (G) est dentro de D (esto es, el dominio de P). o e
2.6. EL TEOREMA DE DUALIDAD
59
Siguiendo [26], dir que G y T tienen un ncleo comn con respecto al problema e u u peridico (2.16)(2.25) si se cumplen las siguientes condiciones, o Fix(FT ) T = , Fix(P) G = , 0 (Fix(FT ) T ) = Fix(P) G, (Fix(P) G) = Fix(FT ) T . (2.31) (2.32) (2.33)
Nota 2.19. Las condiciones (2.32) y (2.33) son en realidad equivalentes. Para obtener (2.32) a partir de (2.33) basta que tengas en cuenta que 0 = IV H . Para la implicacin contraria has de notar que si u Fix(FT ) entonces 0 u = u. o He preferido distinguirlas porque, segn qu casos, es conveniente utilizar una u u e otra. Nota 2.20. Observa que la condicin (2.31) te indica que no hay soluciones T o peridicas en T o que tengan condiciones iniciales en G. Por otra parte, las o condiciones (2.32) y (2.33) te sealan que una solucin peridica pertenece a T si n o o y slo si sus condiciones iniciales pertenecen a G. o Teorema 2.14. Si supones que G y T estn en las condiciones previas y que a tienen un ncleo comn con respecto a (2.16)(2.25), entonces u u deg(I P, G; V H) = deg(I FT , T ; MT ). En particular, si u es una solucin aislada T -peridica, o o P (u) = F (u). Antes de presentarte la demostracin de este resultado voy a discutir algunas o consecuencias. Ms espec a camente discutir sobre algunas conexiones entre el e ndice y las propiedades de estabilidad de una solucin peridica. En principio, puesto o o que tengo que la ecuacin (2.16) slo est denida en el intervalo [0, T ], no puedo o o a considerar la nocin clsica de estabilidad. Sin embargo, si supongo que f (0, ) y o a f (T, ) coinciden, puedo extender f por periodicidad. A partir de aqu dir que , e i) una solucin T -peridica u(t) es estable (en el sentido de Lyapunov) si dado o o cualquier entorno U V H de (u(0), u(0)) me es posible encontrar otro entorno V tal que si (u0 , v0 ) V entonces u(t; u0 , v0 ) est bien denida para a t [0, +) y (u(t; u0 , v0 ), u(t; u0 , v0 )) U para cada t 0; ii) una solucin u(t) es asintticamente estable si es estable y existe un entorno o o W de (u(0), u(0)) tal que |u(t; u0 , v0 ) u(t)|V + |u(t; u0 , v0 ) u(t)| 0 cuando t + para cada (u0 , v0 ) W. Con esta denicin, puedes ver fcilmente que una solucin peridica asintticamente o a o o o estable es aislada. Mi inters se centra ahora en el clculo de su e a ndice. Para ello, observa que, siguiendo la idea de la nota 2.17, u(t) es asintticamente estable si y o slo si la condicin inicial (u(0), u(0)) tiene la misma propiedad como punto jo del o o operador de Poincar P. e Ahora, P est bien denido en algn entorno de (u(0), u(0)) y, por la demostraa u e o cin de la proposicin 2.12, s que es una -contraccin con respecto a la norma | | . o o
60
As la estabilidad asinttica es uniforme (consulta las secciones 2.2 y 2.3 de [19]). o Como consecuencia puedo encontrar un entorno abierto y acotado N de (u(0), u(0)) satisfaciendo las condiciones siguientes P(N ) N, Fix(P) N =
n0
P n (N ) = {(u(0), u(0))}.
Para comprobar que es posible esto, considera r > 0 tal que B2r D, Fix(P) B2r = {(u(0), u(0))} y P n x (u(0), u(0)), n , uniformemente en x B2r , donde B2r es la bola en V H de centro (u(0), u(0)) y radio 2r. Toma tambin un e entorno M del punto jo (u(0), u(0)) tal que P n (M ) Br , Si denes N =
n0
n 0.
P n (M ) es claro que P(N ) N . Adems, a Fix(P) N = {(u(0), u(0))}
pues N =
n0
P n (M ) Br B2r . Por ultimo, P n (N )

n0 n0
P n (Br ) = {(u(0), u(0))}
ya que diamP n (Br ) 0. Esto me permite aplicar el Teorema 1 de [43] para deducir que deg(I P, N ; V H) = 1. (No enuncio el Teorema 1 porque creo que tendr que consultar [43] de todas as formas para aclarar la notacin). o Para tal n realizo las siguientes identicaciones: i) X = B V H; ii) G N ; iii) f P : N N ; iv) Cn (f, G) Cn (P, N ) = P n (N ); v) C (f, G) C (P, N ) = {(u(0), u(0))}, C (P, N ) = {(u(0), u(0))}; vi) K {(u(0), u(0))}. Toda la discusin anterior me conduce al siguiente resultado. o Corolario 2.15. Considera una solucin T -peridica asintticamente estable o o o u(t) de (2.16). Entonces P (u) = F (u) = 1. En el caso de ecuaciones diferenciales ordinarias este resultado se sigue del Teorema 9.6 de [[25], Cap. III] y del Teorema de dualidad (teorema 28.5) de [26].
61
Nota 2.21. Al introducir el mtodo del operador de Green, recuerda que hablaba e sobre la dependencia o independencia de la denicin de grado o o ndice correspondiente segn escribiera la ecuacin de una forma u otra. A partir del teorema de u o dualidad queda clara la independencia, esto es, el grado deg(I FT , T ; MT ) es independiente de la forma en que se reformule (2.16), siempre y cuando tal reformulacin o quede dentro del marco de la seccin 2.4. o El resto de la seccin est dedicada a la demostracin del teorema 2.14. Pero o a o antes te voy a dar un esquema de la misma y un dibujo que espero te ayuden a captar las ideas que se utilizan en un golpe de vista. Un esquema de la demostracin. Para demostrar el teorema 2.14 voy a seguir la o l nea de razonamiento que es utilizada por los autores de [26] para la demostracin o del Teorema 28.5. La primera dicultad que me surge a la hora de conectar los grados de I FT y I P es que estos operadores estn denidos en espacios diferentes. Para eludir a este obstculo, construir dos nuevos operadores F y P los cuales s estn denidos a e a en un espacio comn, que ser M, y adems conservan los grados correspondientes. u a a Vers que el operador F es una simple extensin de FT . Para construir P tengo que a o realizar algo ms de trabajo: sumergir V H en M y entonces transportaremos P a e a M por conjugacin. o Una vez tenga denidos F y P , considerar dos operadores auxiliares A1 y A2 e que me permitirn disear una homotop en tres pasos entre I F y I P . a n a Grcamente, puedo resumir todo lo anterior en la siguiente gura: a
q I FT MT MT
qI F I P q A1 q I I A MM 2 q

q I P

V H V H
Como ultima nota, te hago notar que en la demostracin supondr que se satisface o e la siguiente condicin adicional, o Fix(FT ) T = . (2.34)
62
Observa que, si no se cumpliera tal condicin, el teorema es trivialmente cierto pues o deg(I P, G; V H) = deg(I FT , T ; MT ) = 0. 2.6.1. El operador F. Deno el operador F : M M, F(u) = GT N (u).
Como en el caso de FT puedes probar que F es completamente continuo usando los lemas 2.5 y 2.13. Adems, a F(M) MT y F(u) = FT (u), En particular esto implica, Fix(F) = Fix(FT ). Lema 2.16. Existe un subconjunto no vaco de M, que es abierto y acotado, satisfaciendo las condiciones: Fix(F) = Fix(FT ) T , Fix(F) = , clw 0 () D, e donde D es el dominio del operador de Poincar P. Demostracin. Observa que, teniendo en cuenta la condicin (2.34), el conjunto o o K := Fix(FT ) T es compacto y no vac Adems, 0 (K) est contenido en el cono. a a junto abierto D. As puedes encontrar un nmero nito de bolas en M, B1 , . . . , Br , u recubriendo K y tales que clw 0 (Bi ) D, 1 i r. Para convencerte de que esta ultima inclusin es cierta, ten en cuenta que al ser Bi convexa tambin lo es 0 (Bi ); o e as el cierre dbil y el fuerte coinciden en este caso segn expuse en la nota 2.16. Por e u ultimo, si eliges dichas bolas sucientemente pequeas, puedes denir n
r
u MT .
(2.35) (2.36) (2.37)
:=
i=1
Bi
de forma que satisface (2.35), (2.36) y (2.37). Fin de la demostracin. o Toma ahora T = MT . Por un lado, las propiedades (2.35) y (2.36) te llevan a que deg(I FT , T ; MT ) = deg(I FT , T ; MT ). Por otro lado, el lema 2.3 te permite asegurar que el segundo trmino de esta igualdad e coincide con deg(I F, ; M), esto es, se satisface que deg(I FT , T ; MT ) = deg(I F , ; M). (2.38)
63
2.6.2. El operador P . Primero voy a construir una inmersin de V H en o M. Para ello considera una funcin regular ja (C 1 es suciente) : [0, T ] R o satisfaciendo las condiciones de contorno (0) = 1, (T ) = (0) = (T ) = 0. u = H (u0 , v0 ), Considera tambin los operadores lineales e H : V H M, u + cu + u = 0, o donde [0, T ] y u es la solucin del problema de valores iniciales u( ) = u0 , u( ) = v0 . Nota 2.22. Observa que H0 es precisamente el operador H introducido en la seccin 2.3. Adems, una variante obvia de la desigualdad (2.7) te permite probar o a que H es continuo. Si denes j : V H M, j(u0 , v0 ) = H0 (u0 , v0 ) + (1 )HT (u0 , v0 ), 0 j = T j = IV H (2.39) tienes un operador lineal acotado que satisface y tal que la imagen M := j(V H) est contenida en MT , es decir, 0| M = T | M . a Tambin es claro que j induce un isomorsmo entre V H y M ; en particular, e j 0| M = IM . Asimismo, observa que M es cerrado en M (o, si lo preeres, en MT ). Para justicar esto, considera una sucesin o wn = H0 (u0n , v0n ) + (1 )HT (u0n , v0n ), tal que wn w en M. Entonces 0 wn 0 w =: (u0 , v0 ) V H. Como 0 wn = (u0n , v0n ), tienes que wn w = H0 (u0 , v0 ) + (1 )HT (u0 , v0 ) M . Pero, por la unicidad del l mite, w coincide con w y, por tanto, est en M . a Ahora puedes transportar P a M . Para ello dene D = {u M / 0 u D} y P : D M M , P (u) = j P 0 (u). o Adems, si denes G = j(G), por el lema 2.1 y la proposicin 2.12, tienes que a P LC(G ) y deg(I P , G ; M ) = deg(I P, G; V H). (2.40) Para dar el ultimo paso hacia la denicin de P , jado r > 0, considera el subcon o junto abierto y acotado de M, G (r) = {u M / 0 u G, u
M
< r}.
64
Observa que puedes elegir r sucientemente grande tal que G = G (r) M , G = G (r) M , (2.41) donde G es la frontera de G en M . En concreto, te vale tomar cualquier r > sup{||u||M / u G }. Dene ahora D = {u M / 0 u D} y P : D M M, P = j P 0 . Esta funcin pertenece a LC(G (r)) puesto que o K (P , G (r)) = K (P , G ). o Adems es claro que P es una extensin de P con P (D ) M . Por ultimo, a a partir de (2.41) llegas a que P no tiene punto jos en la frontera de G (r) y por tanto, si aplicas el lema 2.3, deg(I P , G (r); M) = deg(I P , G ; M ). De (2.40) y (2.42) concluyes que deg(I P , G (r); M) = deg(I P, G; V H). 2.6.3. Los operadores auxiliares A1 y A2 . Deno los operadores A1 : M M, y A2 : D M M, A2 = H0 T + V N 0 . Observa que si tomas el dominio dado por el lema 2.16, por la condicin (2.37), o sabes que A2 est bien denido sobre y A2 () es un conjunto acotado. Por otra a parte, es claro que el operador A1 est bien denido en todo el espacio M. a Mi primera tarea ser probar que A1 y A2 pertenecen a LC(). Pero, puesto a que los operadores V N y V N 0 son compactos en , ser suciente que a pruebe el siguiente resultado. Lema 2.17. El radio espectral de H0 T : M M satisface (H0 T ) < 1. Nota 2.23. Como ocurri en el lema 1.21, voy a proponerte dos demostraciones o de este lema. En la primera har hincapi sobre el espectro del operador. En la e e segunda recurro a una renormacin del espacio. o Demostracin 1. Considera primero el operador T H0 . Por la estimacin (2.14) o o es claro que el radio espectral de este operador satisface (T H0 ) < 1. a Esto es equivalente a decir que el espectro de T H0 est dentro del disco unidad. a Si jas un nmero C{0} en la resolvente de T H0 , puedes probar fcilmente u que tambin est en la resolvente de H0 T y se cumple la siguiente frmula e a o 1 (H0 T I)1 = [H0 (T H0 I)1 T I]. A1 = H0 T + V N (2.43) (2.42)
65
Por tanto el espectro de H0 T tambin est dentro del disco unidad y la demostracin e a o 1 queda completada. Demostracin 2. Como coment en la ultima nota, la idea de esta segunda o e demostracin es renormar el espacio M y probar que H0 T es una contraccin o o mtrica con respecto a la nueva norma ||||||. Puesto que la norma |||||| ser equivalente e a a la norma M , tendr la conclusin. e o Toma una constante ja > 0 tal que | | sea una norma que satisfaga (2.9). Dene entonces |||u||| := max e 4 (tT ) |(u(t), u(t))| , u M.
t[0,T ]
A partir de la denicin, o |T u| |||u|||, y, si tomas p = 0 en (2.9), |||(H0 T )u||| e 4 T |T u|
u M, u M.
Uniendo estas dos desigualdades alcanzas la conclusin. Fin de la demostracin 2. o o En el siguiente resultado vers, en particular, que A1 y A2 tienen los mismos a puntos jos que F. Lema 2.18. Para cada [0, 1], Fix(A1 + (1 )A2 ) = Fix(F). Demostracin. Considera un punto jo u de A1 +(1)A2 . Si denes u := 0 u o entonces u es una solucin de (2.16) que satisface las mismas condiciones iniciales o que u, es decir, (0 u = 0 u). Considera la ecuacin o w + cw + w = g(t, w) (2.44) donde g(t, w) := (1 )f (t, w) + f (t, u(t)). Es claro que la funcin g satisface o las condiciones (f-1) y (f-2) y por tanto hay unicidad para el problema de valores iniciales asociado a (2.44). Adems, la denicin de g te permite asegurar que u es a o una solucin de (2.44). o Por otra parte, sabes que u es un punto jo de A1 +(1)A2 y, por consiguiente, verica la ecuacin o u = H0 T u + VN u + (1 )VN 0 u. (2.45)
A partir de esta ecuacin y (2.12), tienes que u es peridica, esto es, 0 u = T u. o o Ahora puedes reescribir (2.45) como u = H0 0 u + Vg(, u), lo cual, junto con (2.10), te permite deducir que u es una solucin de (2.44). Fio o nalmente, por unicidad de solucin, tienes que u = u y por tanto u es una solucin o peridica de (2.16). Esto implica que o Fix(A1 + (1 )A2 ) Fix(F).
66
Para probar la otra inclusin observa que la condicin u Fix(F) te conduce a o o las identidades u = 0 u, 0 u = T u y u = H0 T u + VN u + (1 )VN 0 u. Finalizo de este modo la demostracin. o Una vez probado este lema, puedes ahora usar (2.36) y el lema 2.4 para deducir que deg(I A1 (1 )A2 , ; M) est bien denido y es constante. a 2.6.4. La conexin entre F y A1 . Puesto que F(M) MT sabes que T F = o 0 F. As , (I H0 T )(I F ) = I H0 T F + H0 0 F. De la denicin de F y (2.15) o F = [H0 (I T H0 )1 T + I]VN . Si combinas esta identidad con (2.12), H0 0 F = H0 (I T H0 )1 T VN . Estas tres identidades te llevan a su vez a la identidad (I H0 T )(I F) = I A1 . De esta forma H := (I H0 T )(I F ) = I H0 T F + H0 T F, [0, 1], a te dene una homotop entre I F y I A1 . Para cada [0, 1], I H est en a LC() y Fix(I H ) es independiente de . Todas estas propiedades y el lema 2.4 te llevan a la conclusin o deg(I F, ; M) = deg(I A1 , ; M). (2.47) 2.6.5. La conexin entre A2 y P . De nuevo intentar aplicar el lema 2.4. o e Para ello observa que puedes descomponer A2 como A2 = L1 + C1 , L1 = H0 T , C1 = V N 0 . Que C1 es compacto sobre es claro al ser N compacto y V, y 0 operadores continuos que llevan acotados en acotados. Que L1 es lineal y acotado es evidente. o Para la descomposicin de P , a partir de su denicin y de las identidades (2.26) o y (2.27), tienes que P = jP0 = jT 0 = jT (H0 + VN )0 = L2 + C2 , donde L2 = j T H0 0 y C2 = j T V N 0 . Razonando como en el caso de C1 , tienes que el operador C2 es compacto sobre . Nuevamente, que L2 es lineal y acotado es obvio. (2.46)
67
Para aplicar el lema 2.4 falta que verique (2.3) y (2.4). Esto lo voy a llevar a cabo por medio de tres lemas. El primero de ellos es un fcil ejercicio de anlisis a a funcional. Lema 2.19. Considera un espacio de Banach X con norma | | y un operador lineal acotado L : X X. Adems, admite la existencia de una semi-norma a en X tal que se cumplen las siguientes condiciones i) k|x| x K|x|, x Im(L), ii) Lx x , x X, donde k, K y son constantes jas positivas. Entonces el radio espectral de L satisface (L) . Demostracin. Si pruebas la desigualdad o K |Ln | n1 |L|, n = 1, 2, . . . , k el resultado ser una consecuencia de la frmula de Gelfand para el radio espectral. a o Para dicha prueba, ja y X arbitrario y observa que i) se cumple tanto para x = Ly como para Ln y, n 2. De esta forma, |Ln y| Fin de la prueba. Lema 2.20. Considera la familia de operadores L = H0 T + (1 )j T H0 0 , Entonces se verica que (L ) < 1, [0, 1]. Demostracin. Por el lema 2.17 ya sabes que el resultado es vlido para = 1. o a Cuando = 0, un simple clculo te permite ver que las potencias de L0 satisfacen a Ln = j(T H0 )n 0 . 0 Puesto que (T H0 ) < 1 puedes concluir que el resultado es cierto tambin para e = 0. A partir de ahora supondr que (0, 1). La idea es aplicar el lema previo con e X = M, | | = M, y la semi-norma denida por u
i) i) Kn1 Kn1 1 n ii) n1 L y Ly |Ly| |L||y|. k k k k
[0, 1].
:= max{|0 u| , |T u| },
u M.
u n o Aqu > 0 es un nmero pequeo jo y elegido como en la seccin 2.3 para la frmula (2.8). o Para vericar la segunda condicin del lema 2.19, si jas u M y tienes en o o cuenta la denicin de L y la estimacin (2.14), o |0 L u| = |T u + (1 )T H0 0 u| u
+ (1 )e 4 T u ,
|T L u| = |T H0 T u + (1 )T H0 0 u| e 4 T u ,
68
de donde L u
u ,
:= + (1 )e 4 T .
Es claro que < 1. Para la primera condicin del lema 2.19, considera u Im(L ) arbitraria. Eno tonces tienes que u = H0 T w + (1 )jT H0 0 w (2.48) para alguna w M. Como puedes comprobar, los valores extremos 0 u y T u satisfacen 0 u = T w + (1 )T H0 0 w, T u = T H0 T w + (1 )T H0 0 w, lo que te lleva a la igualdad 0 u T u = (I T H0 )T w. Puesto que T H0 tiene radio espectral menor que 1, puedes invertir I T H0 para obtener 1 |T w| |(I T H0 )1 | 2 u . Si operas de nuevo con (2.49), (1 )|T H0 0 w| |0 u| + |T w| (1 + 2|(I T H0 )1 | ) u . Ahora, a partir de estas dos ultimas estimaciones, la relacin (2.48) y la continuidad o de H0 y j, puedes obtener una estimacin del tipo o k u Finalmente, la desigualdad u u M, es obvia por la denicin de la semi-norma. As completas la demostracin. o o Lema 2.21. Puedes determinar r > 0 tal que si r > r entonces Fix(A2 + (1 )P ) G (r) = para cada [0, 1]. Demostracin. En primer lugar observa que A2 satisface la identidad o A2 = H0 T H0 0 + 0 . (2.51) Para ello simplemente has de tener en cuenta la identidad de Volterra (2.27) y la denicin de A2 . o Considera ahora un punto jo u de A2 + (1 )P . La frmula (2.51) junto con o las deniciones de P y P te llevan a u = H0 T u H0 0 u + 0 u + (1 )jT 0 u. Si aplicas 0 y T a esta identidad, haciendo uso de (2.12) y (2.39), obtienes 0 u = T u + (1 )T 0 u, T u = T H0 T u T H0 0 u + T 0 u. (2.53) (2.54) (2.52)
M,
(2.49) (2.50)
u ,
u Im(L ).
69
Si multiplicas (2.54) por 1 y restas el resultado de (2.53), tienes que 0 u T u = (1 )T H0 (0 u T u). Esta identidad te va a permitir deducir que u es peridica, esto es, 0 u = T u. Este o hecho es obvio para = 0 y = 1. Puedes, por tanto, suponer que (0, 1). Como recordars, en la demostracin del lema 2.5 se prueba que el radio espectral a o de T H0 es estrictamente menor que 1, concretamente, se prueba (2.14). As tienes 1 que (1) > 1 no puede ser un valor propio de este operador y 0 uT debe anularse. Una vez que sabes que 0 u = T u, puedes volver a (2.53) para deducir que 0 u es un punto jo de P. Ya ests en disposicin de probar el lema. La idea es que supongas que u pertea o nece a Fix(A2 + (1 )P ) G (r) e intentes llegar a una contradiccin para r o grande. Por la anterior discusin y la denicin de G (r) sabes que o o 0 u Fix(P) G. Las hiptesis sobre G, en particular (2.31), implican que 0 u no puede estar en G. o En estas circunstancias u G (r) implica u
M
= r. / (u0 , v0 ) G}.
(2.55)
Puesto que clw (G) D el siguiente nmero es nito, u := sup{ (u0 , v0 )

M
Con este nmero y no olvidando que 0 u = T u, de (2.52) obtienes una cota para u, u a saber u
M
(1 + j ).
(2.56)
Si denes r := (1+ j ), entonces (2.55) y (2.56) no son compatibles cuando r > r y llegas as a la contradiccin buscada. Con esto acabas la demostracin del lema. o o Tras estos dos ultimos lemas y a partir del lema 2.4, puedes concluir que deg(I A2 , G (r); M) = deg(I P , G (r); M). (2.57) Pero por el lema 2.18 sabes que A2 y F tienen los mismos puntos jos. Como G y T tiene un ncleo comn puedes deducir que para r grande u u Fix(A2 ) G (r) = Fix(FT ) T = Fix(A2 ) . Observa que utilizas (2.35) en la ultima igualdad. En consecuencia deg(I A2 , ; M) = deg(I A2 , G (r); M). Por ultimo, de (2.57) y (2.58) deg(I A2 , ; M) = deg(I P , G (r); M). (2.59) 2.6.6. Conclusin. Una ultima l o nea para que observes que ya hemos logrado probar el teorema de dualidad 2.14. En efecto, basta que consideres la cadena de identidades dada por (2.38), (2.47), (2.46), (2.59) y (2.43). (2.58)
Cap tulo 3 La ecuacin de sine-Gordon forzada o

3.1. Introduccin al cap o tulo 3 En este cap tulo voy a estudiar algunas propiedades de las soluciones doblemente peridicas de la ecuacin de sine-Gordon. Esta ecuacin viene dada por o o o utt uxx + cut + a sin u = f (t, x), (3.1) donde a y c son nmeros positivos y f L1 (T2 ). Como podrs observar, la ecuau a cin de sine-Gordon es un caso particular de la clase de ecuaciones dada por (1.1). o Asimismo, te recuerdo que una funcin u solucin de (3.1) es doblemente peridica o o o de periodo 2 en el siguiente sentido u(t + 2, x) = u(t, x + 2) = u(t, x), (t, x) R2 . Cuando f es pequea, la existencia de soluciones peridicas pequeas fue analin o n zada en una forma muy precisa en [5]. En la seccin 3.3 te mostrar resultados de o e existencia sin suponer la pequeez de f pero imponiendo la restriccin n o a , siendo la cota de existencia de principio del mximo vista en el cap a tulo 1. Tales resultados resultarn de una combinacin del mtodo de sub-super-soluciones con a o e algunas tcnicas desarrolladas en [38] para la ecuacin del pndulo forzado. e o e En la seccin 3.4 intentar (y conseguir) aplicar a (3.1) con xito el marco o e e e abstracto de la seccin 2.4, en concreto las ideas del ejemplo 2.7, para obtener un o resultado sobre multiplicidad e inestabilidad de las soluciones peridicas. o 3.2. Algunas consideraciones previas Como la unica propiedad de la funcin seno que utilizar en el resto del cap o e tulo o a es la periodicidad, me parece conveniente reemplazar (3.1) por una ecuacin ms general, en concreto, utt uxx + cut + (t, x, u) = s, (3.2) o o a donde es una funcin 2-peridica en cada variable y s R es un parmetro. a o o Adems, supondr que est en la clase C 0,1 (T2 T1 ). La nocin de solucin a e doblemente peridica introducida previamente para (3.1) tambin se aplica para o e esta ecuacin. o En este momento te habrn surgido las siguientes preguntas: Cmo puedes a o a englobar la ecuacin (3.1) dentro de (3.2) si ests considerando f L1 (T2 )? No o har falta que f fuera continua? Pues s puedo hacer tal proceso y no necesito que a , f sea continua para ello. La justicacin que te voy a dar para ambas repuestas se o
71
72
3. LA ECUACION DE SINE-GORDON FORZADA
basa en el uso de un conocido (aunque no considerado en muchas ocasiones) cambio de variable. Cul? Primero descompongo f de la forma a f (t, x) = f (t, x) + f donde f satisface T2 f = 0 y f R es el valor medio de f . A continuacin encuentro o 2 la unica funcin F C(T ) que es solucin (en el sentido de la distribuciones) del o o problema lineal Ftt Fxx + cFt = f (t, x) en D (T2 ),
e e que s que existe por la proposicin 3.1. Enunciar y probar este resultado en un e o momento. Ahora, el cambio de variable u = u + F (t, x) transforma la ecuacin (3.1) en o utt uxx + cut + a sin (u + F (t, x)) = f . Como puedes ver, esta ecuacin ya s est incluida en la clase dada por (3.2). o a Nota 3.1. El haber utilizado u para (3.1) es porque no era sta la ecuacin e o con la que iba a trabajar en este cap tulo sino con (3.4) o su abstraccin, esto es, o (3.2). Proposicion 3.1. Considera p [1, +) un nmero dado y f una funcin u o satisfaciendo f Lp (T2 ), Entonces el problema (3.4)
T2
F =0
(3.3)
T2
f = 0.
Lu = f (t, x) en D (T2 ), tiene una unica solucin. Esta solucin satisface o o u C 0, (T2 ),
T2
u=0
1 =1 , p y las estimaciones (1.7) y (1.8) de la proposicin 1.9 siguen siendo ciertas. o Nota 3.2. Observa que tengo incluido el caso p = 1 por medio de la convencin o C 0,0 (T2 ) = C(T2 ). Para la demostracin de la proposicin 3.1 he utilizar el siguiente lema. o o Lema 3.2. Considera p [1, +) y n R, un C 0, (T2 ), fn Lp (T2 ) tres sucesiones tales que n 0, y Entonces un
C 0, (
T2
un = 0,
sup fn
Lp
< +
T2 )
Lun + n un = fn (t, x) est acotada. a
en D (T2 ).
3.2. ALGUNAS CONSIDERACIONES PREVIAS
73
Demostracin. Voy a probar slo el caso p = 1. La demostracin para el caso o o o p > 1 es similar. Dene n = un L y considera, por un argumento de reduccin o al absurdo, que una sucesin parcial {k } satisface o k > 0,
1 o Entonces vk = k uk es una solucin de 1 Lvk + k vk = k fk (t, x) en D (T2 ).
k +.
(3.5)
Si escoges R (L), entonces vk tambin es la unica solucin de e o Lv + v = gk (t, x) en D (T2 ),

1 con gk = ( k )vk + k fk . Esto te permite descomponer vk de la forma
vk = wk + zk , con Lwk + wk = ( k )vk ,

1 Lzk + zk = k fk .
a A partir de las estimaciones (1.7) y (1.8) tienes que zk L 0 y wk C 0, est acotada para cualquier (0, 1). Consecuentemente puedes extraer una nueva subsucesin vr que converge uniformemente a v C(T2 ). Por ultimo, si pasas al o l mite en (3.5) ves que v es idnticamente cero, pero esto no es consistente con el e valor de la norma v L = vr L = 1. Fin de la demostracin del lema. o Demostracin de la Proposicin 3.1. Considera una funcin f L1 (T2 ) ja tal o o o que T2 f = 0. Voy a ver que el problema Lu = f,
T2
u = 0,
o u tiene una solucin. Para ello, considera {n } una sucesin formada por nmeros que o no estn en R (L) y que sea decreciente a cero. Si tomas un solucin de e o Lun + n un = f (t, x) en D (T2 ). (3.6) entonces la tripleta n , un , f est en las condiciones del lema previo. Para asegurarte a de este hecho, te faltar ver que T2 un = 0, pero esto lo deduces por simple integraa a o cin en (3.6) sobre T2 . As un L est acotada y puedes extraer una subsucesin o {uk } convergente a u L (T2 ) en el sentido dbil*, esto es, e
T
2
uk
2
u,
2
L1 (T2 ).
Ahora, si tomas D(T ), es claro que y L estn en L1 (T2 ). Por tanto, a
T2
uk L
T2
uL ,
T2
uk
T2
u.
74
Esto te permite tomar l mites en la formulacin dbil (3.6) para la subsucesin {uk } o e o y tienes que u es la solucin buscada. Las estimaciones (1.7) y (1.8) son consecuencia o del lema 3.2 para n 0. Finalmente, la unicidad se sigue de que la ecuacin o Lu = 0 en D (T2 ) slo admite como soluciones a las funciones constantes. Con esto acabo la demoso tracin. o A continuacin algunas notas sobre conceptos de solucin que puedes encontrar o o en otros trabajos y ambientes y una nota nal sobre las deniciones de solucin que o utilic en los dos cap e tulos anteriores. Nota 3.3. Pudiera ser que en algunas situaciones f sicas fuera interesante buscar 1 soluciones de (3.2) tomando valores en T = R/2Z en lugar de R. Ahora bien, dada una funcin continua u : T2 T1 solucin de (3.2) existe otra funcin continua o o o 2 u : R R y dos enteros positivo M y N tales que u(t+2, x) = u(t, x)+2N , u(t, x+2) = u(t, x)+2M , u(t, x) = u(t, x)+2Z. Siguiendo la terminolog de [41], a estas soluciones las llamar soluciones doblea e mente peridicas de segunda clase. Mediante el cambio o v(t, x) = u1 (t, x) N t M x, reduzco el estudio de esta clase de soluciones (para M y N jos) al caso M = N = 0. Nota 3.4. Ten en cuenta que, si tomas una solucin doblemente peridica u de o o (3.2), tambin la trasladada u+2 es una solucin. Por tanto dir que dos soluciones e o e son geomtricamente diferentes si no dieren en un mltiplo de 2. e u Nota 3.5. Si vuelves atrs, puedes comprobar que existe un pequeo problema a n referente a la equivalencia de la denicin de solucin que utilic en el cap o o e tulo 1 por un lado y la que us en el cap e tulo 2 por otro. En efecto, recuerda que (S1) en el cap tulo 1 consider funciones de C(T2 ) que satisfac (3.2) en el sentido e an de las distribuciones; (S2) en el cap tulo 2 trabaj con funciones de MT que eran soluciones de (2.16). e Te ser fcil probar que una solucin de (2.16)(2.25) es tambin una solucin en el a a o e o o sentido (S1). La clave de dicha prueba es la inmersin de MT en C(T2 ). Entonces tienes que utilizar el hecho de que basta usar funciones test que sean sumas nitas trigonomtricas. El rec e proco es algo ms delicado y depende del siguiente resultado a de regularidad para la ecuacin lineal (3.3): o a La solucin F pertenece a C 1 (T2 ) si f est en C(T2 ). o Para probar esto tienes diversos caminos; por ejemplo, puedes usar la funcin de o a o Green del lema 1.18 y un razonamiento anlogo al de la proposicin 1.9. Ahora, si consideras u C(T2 ) solucin de (3.2) en el sentido de las distribuciones, entonces o 1 u = u (2)2 T2 u es una solucin de (3.3) para una apropiada f que pertenezca o a a C(T2 ). As tienes que u est en C 1 (T2 ) y, como puedes sumergir este espacio en MT , ya llegas a la equivalencia entre las dos deniciones.
3.3. SUB Y SUPER-SOLUCIONES
75
3.3. Sub y super-soluciones Como he indicado en la introduccin de este cap o tulo, en esta seccin voy a o aplicar el mtodo de sub-super-soluciones a la ecuacin de sine-Gordon siguiendo la e o l nea de Mawhin en [38]. Recuerda que la ecuacin (3.2) viene dada por la expresin o o utt uxx + cut + (t, x, u) = s, a donde C 0,1 (T2 T1 ) y s R es un parmetro. Como quiero aplicar el teorema 1.25 he de imponer la condicin o (t, x, u) para todo (t, x, u) R2 R. (3.7) u En efecto, si identicas trminos de (1.43) y (3.2), e F (t, x, u) = s (t, x, u). De esta forma, F satisface (1.44) si, y slo si, o F (t, x, u1 ) F (t, x, u2 ) = (t, x, u1 ) + (t, x, u2 ) (u1 u2 ). Pero esto es cierto si impones (3.7). Nota 3.6. Si integras (3.2) en T2 , deduces de forma inmediata que min s max es una condicin necesaria para que (3.2) pueda ser resuelta. o En el siguiente resultado te describo las condiciones exactas, en trminos cuae litativos, para que (3.2) tenga solucin. La demostracin que te propongo sigue la o o misma l nea de la demostracin del Teorema 3 en [38] que proporciona el resultado o para la ecuacin del pndulo. Las herramientas a utilizar sern el teorema 1.25 y la o e a proposicin 3.1. o Teorema 3.3. En los supuestos anteriores, existe un intervalo I cerrado y no vaco (dependiente de ) tal que (3.2) tiene solucin si y slo si s I. o o Demostracin del Teorema 3.3. Fijada C 0,1 (T2 T1 ) deno el conjunto o I() = {s R / (3.2) tiene solucin}. o e Primero voy a probar que I() es un intervalo. Para ello, ver que si s1 , s2 I(), con s1 s2 , entonces s I(), s [s1 , s2 ]. Sean u1 , u2 soluciones asociadas a s1 , s2 respectivamente. Sumando, si fuese necesario, un mltiplo positivo de 2 a u u2 , puedes suponer que u1 < u2 . De esta forma, es claro que u1 es una sub-solucin o o de (3.2) para s [s1 , s2 ] jo. Anlogamente, u2 es una super-solucin. Ahora, si a consideras la funcin F (t, x, u) = s (t, x, u), ests en las condiciones del teorema o a 1.25. Esto te justica que s I(). Ahora, como segundo paso de esta demostracin, voy a ver que I() es distinto o del vac Considera pues los operadores o. 1 u, P : C(T2 ) R, P u = u := 2 4 T2
76
y Q : C(T2 ) C(T2 ), Qu = u := u u = (I P )u. Si aplicas estos operadores a (3.2), entonces u es solucin de (3.2) si, y slo si, es o o solucin del sistema o P N u = s, LQu + QN u = 0, donde N u = (, , u(, )) y has de tener en cuenta que P L = 0 y QL = LQ. Puesto que u = u + u, puedes reescribir este ultimo sistema de la forma P N ( + u) = s, u L + QN ( + u) = 0. u u A partir de la proposicin 3.1, cuando buscamos soluciones con valor medio cero, o el operador L es inversible con operador inverso R : C(T2 ) C(T2 ). As basta , resolver P N ( + u) = s, u u = RQN ( + u). u Si consideras u jo entonces puedes aplicar el Teorema de Schauder en la segunda ecuacin del sistema para obtener u. Voy a comprobar este hecho con ms detalle. o a Sea el operador Tu : C(T2 ) C(T2 ), Tu = RQN ( + u).
Por ser C 0,1 (T2 T1 ), es claro que QN u Lp (T2 ), para cada p > 1, con valor medio cero. Por las estimaciones de la proposicin 3.1, RQN u C 0, (T2 ). Como o 0, 2 C (T ) est sumergido de forma compacta en C(T2 ) y C(T2 ) es cerrado en C(T2 ), a concluyo la compacidad de T . Para nalizar este segundo paso de la demostracin, o slo es necesario que denas s = P N ( + u) para el valor de u que jaste hace un o u momento. Resta por probar que I() es cerrado. Para ello considera una sucesin {sk } o I() convergente a s. Para cada k, sea uk la solucin asociada a sk . Si sigues con la o notacin del prrafo anterior, uk = uk + uk satisface el sistema o a P N (k + uk ) = sk , u uk = Tuk uk . (3.8)
Como uk + 2n tambin es solucin para cualquier entero n, puedes considerar e o {uk } [0, 2]. Por otra parte, uk
C(
T2 ) = Tuk uk
C(
T2 ) RQN (u)
L1 (
C(
T2 )
L (
C1 QN (u)
2 T2 ) 8 C1
T2 T) .
As tienes que {uk } est acotada. Pero, por ser T compacto, {T uk } = {uk } admite a a una parcial convergente a una funcin u. Ahora ests en condiciones de aplicar o l mites en (3.8) para dicha parcial y tienes que u es una solucin asociada a s. Con o esto acabo la demostracin del teorema. o
3.4. MULTIPLICIDAD E INESTABILIDAD
77
Acabo esta seccin con una aplicacin cuantitativa para la ecuacin de sineo o o Gordon dada por utt uxx + cut + a sin u = f (t, x) en D (T2 ). (3.9) donde f L1 (T2 ) es una funcin con valor medio cero. Considera la solucin U de o o LU = f,
T2
U =0
dada por la proposicin 3.1. Observa que he olvidado el parmetro s; la razn de o a o esto es aplicar directamente la proposicin 3.1 y, tambin sea dicho, para que las o e cuentas sean ms fciles. a a Es claro que las funciones u = , u = son super-sub-soluciones ordenadas 2 2 de (3.4), con F = U y s = 0, si U . A partir de esto tengo el siguiente 2 resultado. Teorema 3.4. Si U y 0 < a , entonces (3.9) tiene una solucin o 2 doblemente peridica u que satisface o uU . 2 3.4. Multiplicidad e inestabilidad de las soluciones peridicas o Como ya te coment, mi idea para esta seccin es obtener resultados sobre mule o tiplicidad e inestabilidad de soluciones peridicas. Tales resultados los puedes ver o como extensiones parciales de resultados bien conocidos para la ecuacin del pndulo o e forzado que encontrars, en particular, en [39] y [45]. a A partir de este momento permanecer en el marco introducido en los ejemplos e 2.6 y 2.7 con dimensin n = 1. En particular, o H = L2 (T1 ), V = H 1 (T1 ). Supondr como siempre que el periodo en tiempo es T = 2 y, por tanto, tienes que e entender una solucin doblemente peridica de (3.2) como una solucin del problema o o o de contorno peridico (2.16)(2.25), donde (2.16) es ahora la versin abstracta de o o (3.4). Nota 3.7. Recordars que en la seccin anterior ya estudi las soluciones doblea o e mente peridicas de (3.2) bajo la hiptesis o o (t, x, u) para todo (t, x, u) R2 R, (3.10) u donde = (c) es el nmero que determina la regin de parmetros donde es pou o a sible encontrar un principio del mximo para la ecuacin del telgrafo. Mi idea es a o e combinar los resultados obtenidos en la secciones 2.6 y 3.3 para obtener el siguiente resultado que puedes considerar una continuacin del teorema 3.3. o Teorema 3.5. Si supones que se satisface (3.10) entonces existe un intervalo I = [s , s+ ], s s+ , tal que (3.2) tiene a) ninguna solucin doblemente peridica si s < s o s > s+ ; o o
78
b) al menos una solucin doblemente peridica si s = s o s+ ; o o c) al menos dos soluciones doblemente peridicas (geomtricamente diferentes) o e si s < s < s+ . Adems, al menos una de estas soluciones es no asintticamente estable cuando s < a o s < s+ y ninguna de las soluciones doblemente peridicas puede ser asintticamente o o estable cuando s = s o s+ . Nota 3.8. Este teorema est inspirado por un resultado que es bien conocido a para ecuaciones diferenciales ordinarias del tipo del pndulo. Por ejemplo puedes e consultar, entre otros, los trabajos [39] y [45]. Es conveniente que aclare que en este caso una restriccin del tipo (3.10) no es necesaria. o Nota 3.9. Pudiera ser que este resultado se hubiera probado mediante el uso de otras tcnicas. Sin embargo, no tengo constancia de ello y me atrevo a decir que es e nuevo. A partir de este momento me dedicar a probar el teorema 3.5. e Demostracin del teorema 3.5. (Multiplicidad y propiedades de inestabilidad). El o teorema 3.3 me garantiza la existencia de un intervalo I = [s , s+ ] tal que (3.2) tiene soluciones doblemente peridicas si y slo si s s s+ . o o Considera primero el caso s = s o s+ . Voy a mostrarte que las soluciones doblemente peridicas son no asintticamente estables. Toma una de tales soluciones o o u y presupn que es aislada, pues en otro caso la conclusin es clara. En efecto, es o o imposible que una solucin peridica sea asintticamente estable cuando tienes otra o o o solucin peridica tan cerca de la primera como t quieras. o o u Piensa ahora que el ndice P (u) fuera diferente de cero. Entonces las propiedades de grado y la dependencia continua de (3.2) con respecto al parmetro s te conducen a a que (3.2) debe tener una solucin peridica para cualquier s cercano a s o a s+ . o o Pero esto contradice la denicin del intervalo I y, por tanto, puedes concluir que o P (u) = 0. Tienes la conclusin sin ms que aplicar el corolario 2.15. o a A continuacin considera el caso s (s , s+ ). Quieres probar que hay dos o soluciones peridicas geomtricamente diferentes y tambin que al menos una de o e e ellas es no asintticamente estable. Como en el caso anterior, puedes suponer que o todas las soluciones peridicas son aisladas pues en caso contrario el resultado ser o a cierto trivialmente. Necesito que veas previamente dos resultados. Aserto 1. Si consideras una solucin u MT de (3.2) entonces o F (u) = F (u + 2). Aserto 2. Puedes encontrar u1 , u2 MT soluciones de (3.2) y tales que F (u1 ) = F (u2 ). Una vez aceptes estas dos armaciones la demostracin del teorema se completa o e fcilmente. Es claro que las soluciones u1 y u2 son geomtricamente diferentes y a
3.4. MULTIPLICIDAD E INESTABILIDAD
79
al menos una de ellas debe tener ndice diferente de uno, por ejemplo, F (u1 ). De nuevo por el corolario 2.15, puedes decir que u1 es no asintticamente estable. o Antes de probar los asertos necesito volver al marco abstracto que introduje en los ejemplos 2.6 y 2.7. Como puedes ver en tales ejemplos, el nmero > 0 en la u denicin de la forma bilineal a(u, v) fue arbitrario. Esto te permite elegir = . El o principio del mximo establecido en el cap a tulo 1 implica que el operador lineal GT del lema 2.5 es fuertemente positivo. Te recuerdo el sentido de esta consecuencia: si tomas una funcin p C([0, T ], H) no trivial tal que o p(t, x) 0 a.e. x R para cada t [0, T ] entonces w = GT p satisface w(t, x) > 0 para cada (t, x) [0, T ] R. Tambin sabes, por el mismo lema, que GT : C([0, T ], H) MT es un operador e continuo. Denota por GT su norma. Por otra parte, aqu puedes hacer ms precisa la denicin de FT . Si consideras a o u MT , la imagen w = FT (u) es la solucin en MT de o wtt wxx + cwt + w = F (t, x, u(t, x)), donde F (t, x, u) := s (t, x, u) + u. Prueba del aserto 1. Observa que FT conmuta con el operador de traslacin o T : MT MT , u u + 2. El Teorema de conmutatividad para el grado de Leray-Schauder y la identidad FT = T 1 FT T te permiten acabar la prueba. Prueba del aserto 2. Elige tres funciones u1 , u y u+ en MT tales que u1 es una solucin de (3.2) y u son soluciones de o utt uxx + cut + (t, x, u) = s . Si sumas y restas mltiplos de 2, tambin puedes suponer que estas funciones u e satisfacen las desigualdades u < u1 2 < u1 + 2 < u+ . Dene el conjunto T = {u MT / u (t, x) < u(t, x) < u+ (t, x), donde R es cualquier nmero satisfaciendo u y M := max{|F (t, x, u)| / (t, x) [0, T ] R, u (t, x) u u+ (t, x)}. El conjunto T tiene la siguiente propiedad P: Si tomas u MT tal que u u u+ entonces w = FT u pertenece a T . R > GT M 2 (t, x), u
MT
(3.11)
< R}
80
Para probar esta propiedad primero tienes que comprobar la desigualdad w < u+ . Para la desigualdad w > u el razonamiento es similar. La diferencia = u+ w satisface tt xx + ct + = F (t, x, u+ ) F (t, x, u) + s+ s. Por la condicin (3.10) sabes que la funcin F es montona no decreciente. Ello o o o implica que el lado derecho de esta ultima ecuacin es positivo. La positividad de o GT te lleva a la conclusin deseada. o Para nalizar la demostracin de la propiedad debes ver que w MT < R. Por o la denicin de FT tienes que o w = GT (F (, , u())). A partir de aqu obtienes las estimaciones w
MT
GT
F (, , u())
C([0,T ],H)
GT M 2,
quedando probada la propiedad P. Ya estamos en posicin de vericar el segundo aserto. Por la propiedad P, puedes o deducir que FT (T ) T . Puesto que T es un subconjunto abierto, acotado y convexo de MT sabes que deg(I FT , T ; MT ) = 1. (3.12) Por otro lado, el conjunto Fix(FT ) T es nito. En efecto, como supones que las soluciones son aisladas entonces el conjunto B = Fix(FT ) T es discreto. Por otro lado, B es acotado, pero FT es compacto, luego FT (B) es relativamente compacto. Ahora, como FT es continuo tienes que B es cerrado, pero B = FT (B) luego B es compacto. Por ultimo, por ser B compacto y discreto puedes concluir que es nito. Todo esto te permite utilizar la aditividad del grado y asegurar que deg(I FT , T ; MT ) =
uFix(FT )T
F (u).
(3.13)
Como Fix(FT ) T tiene al menos tres elementos, a saber, u1 , u1 + 2 y u1 2 pertenecen a l, es claro que las identidades (3.12) y (3.13) para el grado de I FT e no son compatibles salvo que se cumpla el aserto 2. Fin de la prueba. 3.5. Otra forma de atacar el problema Como indiqu en la introduccin general, la primera idea de mi director de tesis e o era que intentara aplicar el mtodo de Lyapunov-Schmidt global o mtodo de la e e alternativa. En tal caso hubiera necesitado una hiptesis del tipo o | M, u con M una constante apropiada. Observa que esto implica que la monoton de a est limitada tanto en zonas de crecimiento como de decrecimiento, mientras que con a la tcnica de esta memoria no hay ninguna limitacin en las zonas de decrecimiento. e o |
3.5. OTRA FORMA DE ATACAR EL PROBLEMA
81
Por otra parte, la constante parece que es mayor que el valor de M que se obtendr cuando c fuese grande y no est muy claro qu ocurrir para c pequeo. a a e a n
Ep logo: Y ahora qu? e

S y ahora qu? Qu es lo que hay previsto para el futuro? Afortunadamente , e e creo que este trabajo slo representa una pequea parte de lo que se puede hacer. o n A continuacin doy una serie de claves sobre l o neas que han quedado establecidas. 1. Slo he estudiado el principio del mximo en el caso uni-dimensional. Queda o a por ver qu ocurre en dimensiones superiores. La esperanza en este momento es e que en dimensiones 2 y 3 seguir habiendo un principio del mximo, pero no para a a dimensiones superiores. Para asegurar esto me baso en la relacin existente con [49]. o El trabajo he de realizarlo. 2. En el cap tulo 1 he supuesto que el periodo es el mismo para el tiempo y el espacio. Esto ha sido simplemente por una cuestin de sencillez. De hecho el o resultado que he obtenido sobre el principio del mximo lo puedes adaptar para el a caso en que ambos periodos son distintos. Impl citamente esto est expuesto en [40]. a Los problemas que quedan abiertos son: la determinacin del valor ptimo de o o y el estudio de la regularidad para el caso inconmensurable. Para el primero me 2 atrevo a conjeturar que = c4 cuando los periodos sean inconmensurables. Con respecto a la regularidad de las soluciones (tal y como la establec en la proposicin o 1.9), la solucin es continua cuando los periodos son conmensurables. En el caso o inconmensurable no lo s, pues, mientras que en el caso conmensurable las curvas e caracter sticas son cerradas en el toro, en el inconmensurable son densas. Esto hace que la funcin de Green tenga una gran cantidad de l o neas de discontinuidad en este segundo caso. 3. La existencia del principio del mximo la he establecido para valores positivos a de . Hay que estudiar qu ocurre para valores negativos. Evidentemente no hay una e conservacin de la positividad pero s puede que halla un anti-principio del mximo, o a 1 es decir, un principio de positividad para el operador L . 4. Si pudiera caracterizar el valor (c) como la constante ptima en alguna o desigualdad integral ligada a L, esto proporcionar un punto de vista totalmente a diferente al propuesto en esta memoria y, por consiguiente, la posibilidad de tener nuevas propiedades. Relacionado con esta idea puede estar el trabajo hecho en [2]. 5. Con respecto al cap tulo 2, puede ser que halla una demostracin alternativa o del teorema de dualidad utilizando tcnicas de linealizacin. Esto no es querer e o curarme en salud. Al contrario, si la hubiera, primero se deber empezar por el a caso de ecuaciones ordinarias y no creo que el trabajo fuese mucho menor.
83
84
EP ILOGO: Y AHORA QUE?
6. Tambin queda abierto el problema de la estabilidad de soluciones peridicas. e o En esta memoria slo he estudiado inestabilidad. Pienso que una v a seguir ser o a a la de tener en cuenta ideas similares a las expuestas en [45].
Bibliograf a
[1] J.M. Alonso, J. Mawhin y R. Ortega, Bounded solutions of second order semilinear evolution equations and applications to the telegraph equation, J. Math. Pures Appl. 78 (1999), 4963. [2] M. Arias, J. Campos y J.P. Gossez, On the antimaximum principle and the Fuik spectrum c for the Neumann p-laplacian, Dierential Integral Equations 13 (2000), 217226. [3] H. Amann, Fixed point equations and nonlinear eigenvalue problems in ordered Banach spaces, SIAM Review 18 (1976), 620709. [4] H. Berestycki, L. Nirenberg y S.R.S. Varadhan, The principal eigenvalue and maximum principle for second-order elliptic operators in general domains, Comm. Pure Appl. Math. XLVII (1994), 4792. [5] B. Birnir y R. Grauer, An explicit description of the global attractor of the damped and driven sine-Gordon equation, Commun. Math. Phys. 162 (1994), 539590. [6] H. Brezis, Anlisis funcional, Alianza Ed., Madrid, 1984 (Traduccin de Analyse fonca o tionnelle, Masson, Par 1983). s, [7] V.S. Burd, Ju.S. Kolesov y M.A. Krasnoselskii, Investigation on the Greens function for dierential operators with almost periodic coecients, Math. USSR Izvestija, 3 (1969), 10271054. [8] V.S. Burd, Ju.S. Kolesov y M.A. Krasnoselskii, On the existence and constancy of sign of Greens function of scalar equations of high order with almost periodic coecients, Math. USSR Izvestija, 3 (1969), 13191334. [9] L. Cesari y R. Kannan, Periodic solutions of nonlinear wave equations with damping, Rendiconti del Circolo Matematico di Palermo, Ser. II, XXXI (1982), 421432. [10] S.N. Chow y J.K. Hale, Methods of bifurcation theory, Springer-Verlag, Nueva York, 1982. [11] Ph. Clement y A. Peletier, An anti-maximum principle for second-order elliptic operators, J. Dierential Equations 34 (1979), 218229. [12] R. Courant y D. Hilbert, Methods of mathematics physics. Vol. II, John Wiley, Nueva York, 1962. [13] K. Deimling, Nonlinear functional analysis, Springer-Verlag, Berl 1985. n, e [14] J. Dieudonne, Elments danalyse. Tome II, Gauthier-Villars, Par 1974. s, [15] D.G. de Figueiredo y E. Mitidieri, Maximum principles for cooperative elliptic systems, C. R. Acad. Sc. Paris 310 Srie I (1990), 4952. e
85
86
BIBLIOGRAF IA
[16] S. Fucik y J. Mawhin, Generalized periodic solutions of nonlinear telegraph equations, Nonlinear Anal. 2 (1978), 609617. [17] R. Gaines y J. Mawhin, Coincidence degree and nonlinear dierential equations, en Lecture Notes in Mathematics, Vol. 568, Springer-Verlag, Berlin, 1977. [18] M. de Guzman, Ecuaciones diferenciales ordinarias. Teor de estabilidad y control, Ed. a Alhambra, Madrid, 1975. [19] J. Hale, Asymptotic behaviour of dissipative systems, American Math. Soc., Providence, 1988. [20] J. Hale y O. Lopes, Fixed point theorems and dissipative process, J. Dierential Equations 13 (1973), 391402. [21] M. Herve, Several complex variables. Local theory (2nd edition), Oxford University Press, Nueva Delhi, 1987. [22] W.S. Kim, Double-periodic boundary value problem for non-linear dissipative hyperbolic equations, J. Math. Anal. Appl. 145 (1990), 116. [23] W.S. Kim, Multiple doubly periodic solutions of semilinear dissipative hyperbolic equations, J. Math. Anal. Appl. 197 (1996), 735748. [24] M.A. Krasnoselskii, Positive solutions of operator equations, Noordho, Groningen, 1964. [25] M.A. Krasnoselskii, The operator of translation along the trajectories of dierential equations, en Trans. Math. Monographs, Vol. 19, American Math. Soc., Providence, 1968. [26] M.A. Krasnoselskii y P.P. Zabreiko, Geometrical methods of nonlinear analysis, Springer-Verlag, Berl 1984. n, [27] K. Kreith y C.A. Swanson, Kiguradze classes for characteristic initial value problems, Comp. & Maths. with Appls. 11 (1985), 239247. [28] A. Kulakov y A. Rumiantsev, Introduccin a la f o sica de los procesos no lineales, Editorial Mir, Mosc, 1990. u [29] Y. Imry y L.S. Schulman, Qualitative theory of the nonlinear behaviour of coupled Josephson juctions, J. Appl. Phys. 49(2) (1978), 749758. [30] S. Lefschetz, Dierential equations: geometric theory, Dover, Nueva York, 1977. [31] E.H. Lieb y M. Loss, Analysis, American Math. Soc., Providence, 1996. [32] Z. Liu y Z. Xu, A new method of studying the dynamical behaviour of the sine-Gordon equation, Physics Letters A 204 (1995), 343346. [33] N.G. Lloyd, Degree theory, Cambridge University Press, Cambridge, 1978. [34] J. Lopez-Gomez y M. Molina-Meyer, The maximum principle for cooperative weakly coupled elliptic systems and some applications, Dierential Integral Equations 7 (1994), 383 398. [35] A. Markushevich, Teor de las funciones anal a ticas. Tomo I, Editorial Mir, Mosc, 1987. u
BIBLIOGRAF IA
87
[36] A. Markushevich, Teor de las funciones anal a ticas. Tomo II, Editorial Mir, Mosc, 1987. u [37] J. Mawhin, Periodic solutions of nonlinear telegraph equations, en Dynamical Systems (Bednarek and Cesari, Eds.), pgs. 193210, Academic Press, Nueva York, 1977. a [38] J. Mawhin, Periodic oscillations of forced pendulum-like equation, en Lecture Notes in Mathematics, Vol. 964, pgs. 458476, Springer-Verlag, Berl 1982. a n, [39] J. Mawhin, The forced pendulum: a paradigm for nonlinear analysis and dynamical systems, Expo. Math. 6 (1988), 271287. [40] J. Mawhin, R. Ortega y A.M. Robles-Perez, A maximum principle for bounded solutions of the telegraph equations and applications to nonlinear forcings, J. Math. Anal. Appl. Aceptado para su publicacin. o [41] N. Minorsky, Nonlinear oscillations, Krieger, Boston, 1974. [42] K. Nakajima, T. Yamashita y Y. Onodera, Mechanical analogue of active Josephson transmission line, J. Appl. Phys. 45(7) (1974), 31413145. [43] R.D. Nussbaum, Asymptotic xed point theorems for local condensing maps, Math. Ann. 191 (1971), 181195. [44] R.D. Nussbaum, The xed point index for local condensing maps, Ann. Mat. Pura Appl. 89 (1971), 217258. [45] R. Ortega, Some applications of the topological degree to stability theory, en Topological methods in dierential equations and inclusions (A. Granas and M. Frigon, Eds.), pgs. a 377409, Kluwer Academic, Dordrecht, 1995. [46] R. Ortega, Periodic solutions of a newtonian equation: stability by the third approximation, J. Dierential Equations 128 (1996), 491518. [47] R. Ortega y A.M. Robles-Perez, A maximum principle for periodic solutions of the telegraph equation, J. Math. Anal. Appl. 221 (1998), 625651. [48] R. Ortega y A.M. Robles-Perez, A duality theorem for periodic solutions of a class of second order evolution equations, J. Dierential Equations. Aceptado para su publicacin. o [49] I. Peral-Alonso, Some remarks on semilinear wave equations in Rn , en Contributions to nonlinear partial dierential equations (Volume II), (J.I. D and P.L. Lions, Eds.), pgs. az a 193209, Pitman Research Notes in Mathematics Series 155, Longman Scientic & Technical, Essex, 1987. [50] A.C. Peterson, On the sign of Greens functions, J. Dierential Equations 21 (1976), 167 178. [51] M.H. Protter y H.F. Weinberger, Maximum principles in dierential equations, Prentice-Hall, Inc., New Jersey, 1967. [52] P.H. Rabinowitz, Periodic solutions of nonlinear hyperbolic partial dierential equations, Comm. Pure Appl. Math. XX (1967), 145205. [53] A.M. Robles-Perez, A maximum principle with applications to the forced sine-Gordon equation, en Proceedings of the autumm school on nonlinear analysis and dierential equations. Aceptado para su publicacin. o
88
BIBLIOGRAF IA
[54] A.C. Scott, A nonlinear Klein-Gordon equation, Amer. J. Phys. 37 (1969), 5261. [55] K.R. Stromberg, An introduction to classical real analysis, Wadsworth, Inc., Belmont, 1981. [56] R. Temam, Innite-dimensional dynamical systems in mechanics and physics, SpringerVerlag, Nueva York, 1988. [57] O. Vejvoda, Partial dierential equations: time-periodic solutions, Nijho, Praga, 1982. [58] V.S. Vladimirov, Generalized functions in mathematical physics, Mir Publishers, Mosc, u 1979. [59] G.N. Watson, A treatise on the theory of Bessel functions, Cambridge University Press, Nueva York, 1995.

Tesaure

Caricato da

Informazioni sul documento

Titolo originale

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Tesaure

Caricato da

Copyright:

Formati disponibili

universidad de granada

Facultad de Ciencias Departamento de Matemtica Aplicada a

las soluciones periodicas de una ecuacion de la cuerda vibrante con disipacion

tesis doctoral Aureliano Mat Robles Prez as e

Granada, Septiembre 2000

las soluciones periodicas de una ecuacion de la cuerda vibrante con disipacion

Aureliano Mat Robles Perez as

Granada, Septiembre 2000

Prlogo: Algunas reexiones en voz alta o

PROLOGO: ALGUNAS REFLEXIONES EN VOZ ALTA

1. UN PRINCIPIO DEL MAXIMO PARA LAS SOLUCIONES PERIODICAS

1.2. ALGUNOS EJEMPLOS

1. UN PRINCIPIO DEL MAXIMO PARA LAS SOLUCIONES PERIODICAS

satisface el principio del mximo si y slo si a o

1.2. ALGUNOS EJEMPLOS

1. UN PRINCIPIO DEL MAXIMO PARA LAS SOLUCIONES PERIODICAS

ec(s ) [2 (t)1 (s) 1 (t)2 (s)]f (s) ds.

1.2. ALGUNOS EJEMPLOS

2 (con D1 = c2 4) que se anula slo en t = 0 y, por tanto, la distancia es o innito.

1. UN PRINCIPIO DEL MAXIMO PARA LAS SOLUCIONES PERIODICAS

u(t) = tect/2 que se anula slo en t = 0 y, por tanto, la distancia es innito. o c)

< . La solucin es o u(t) = ect/2 sin D2 t D2

1.3. CONCEPTO DE SOLUCION Y REGULARIDAD

1. UN PRINCIPIO DEL MAXIMO PARA LAS SOLUCIONES PERIODICAS

u(L + ) = < , >,

1.4. UN PRINCIPIO DEL MAXIMO EN EL TORO

si (t, x) D10 si (t, x) D01

1. UN PRINCIPIO DEL MAXIMO PARA LAS SOLUCIONES PERIODICAS

Entonces (X, C) es un espacio de Banach ordenado con el orden xy x y C.

1.5. OPERADORES LINEALES POSITIVOS

1. UN PRINCIPIO DEL MAXIMO PARA LAS SOLUCIONES PERIODICAS

1.5. OPERADORES LINEALES POSITIVOS

tiene una solucin unica, la cual es positiva si f satisface o f 0 c.t. R2 ,

1. UN PRINCIPIO DEL MAXIMO PARA LAS SOLUCIONES PERIODICAS

si |x| < t, en otro caso.

Grcamente, el soporte de U (t, x) es la regin rayada en el siguiente dibujo. a o

1. UN PRINCIPIO DEL MAXIMO PARA LAS SOLUCIONES PERIODICAS

L ()G = < S , > .

(t, x) D10 (t, x) D01 .

d[(t + 2n)2 (x + 2m)2 ] .

En particular, cuando = clculo de la serie. a

(esto es, d = 0) la identidad J0 (0) = 1 te facilita el

1. UN PRINCIPIO DEL MAXIMO PARA LAS SOLUCIONES PERIODICAS

Lema 1.18. Considera =

Entonces 10 e 2 t , si (t, x) D10 , c 01 e 2 t , si (t, x) D01 ,

1. UN PRINCIPIO DEL MAXIMO PARA LAS SOLUCIONES PERIODICAS

< (2n 1)e8(2n+7)

Con esta estimacin, sustituyes en (1.25) y, utilizando (1.26), tienes que o e 2 t 2

e 2 t 56d | e (2n 1)rn , 2 n=0

1. UN PRINCIPIO DEL MAXIMO PARA LAS SOLUCIONES PERIODICAS

{(G10 t (G10 )t cG10 )n1 (G10 x (G10 )x )n2 },

G10 ( + s, + s) = G10 (, )ecs/2 ,

G10 (2 s, s) = G10 (2, 0)ecs/2 ,

en D (T2 ) 1 ei(nt+mx) . + + icn

1. UN PRINCIPIO DEL MAXIMO PARA LAS SOLUCIONES PERIODICAS

Pero esta serie est acotada por a

2 1 1 2 (p q)2 2 +c 2(pq) 2 p>q1

Aqu la primera sumatoria es nita y para la segunda , 1 + c2 (p + q)2 1 4 1 2 q q1 1 1 2 4(pq ) 4

donde S() = max

G(n2 + m2 icn + )ei(nt+mx) =

1. UN PRINCIPIO DEL MAXIMO PARA LAS SOLUCIONES PERIODICAS

|h| (t, x)|f (, )| d d f

|u(t + h1 , x + h2 ) u(t, x)| L|h|(4 2 ) f (4 2 ) {L(|h|1 + 1)} f Por otra parte, u