This is a reprint from Revista de la Academia Colombiana de Ciencias Vol.

28 (106) (2004), 135-145

CONTRIBUCIN AL ESTUDIO DE LAS ECUACIONES DIFERENCIALES PARCIALES DE TIPO ELPTICO

por

Jorge Cossio

 CONTRIBUCION AL ESTUDIO DE LAS ECUACIONES DIFERENCIALES PARCIALES DE TIPO EL IPTICO

por Jorge Cossio Resumen
Jorge Cossio: Contribucin al estudio de las ecuaciones diferenciales parciales de tipo o el ptico. Rev. Acad. Colomb. Cienc. 28 (106): 135145, 2004. ISSN 0370-3908. En este art culo se presentan los resultados ms importantes de mi trabajo de investia gacin en el estudio de la existencia y de las propiedades de las soluciones de ecuaciones o diferenciales parciales no lineales de la forma u + f (u) u =0 =0 en en , (1)

n donde R, es un dominio acotado en RN con frontera suave, = i=0 x2 es i el operador de Laplace y f : R R es una funcin no lineal. Se presentan teoremas o obtenidos utilizando teor de bifurcacin, mtodos variacionales y un principio de minimax a o e desarrollado por el autor en colaboracin con A. Castro y J. M. Neuberger ([Cas-Cos-Nu1], o 1997). Adems, se incluyen algunos algoritmos para construir y visualizar soluciones a a problemas no lineales del tipo (1) y una serie de preguntas abiertas.

Palabras clave: Ecuaciones el pticas semilineales, teor de bifurcacin, mtodos variaa o e cionales, construccin de soluciones. o

Abstract
In this paper I present the most important results of my research studying the solutions of nonlinear partial dierential equations of the type

Mathematics Subject Classication: 35B30, 35B32, 35J20, 35J25, 35J60, 35J65, 47H12, 47H15, 65D07, 65N99. Este trabajo ha sido apoyado parcialmente por Colciencias, Proyecto Cdigo 1118-05-11412. o Escuela de Matemticas, Universidad Nacional de Colombia, Apartado Areo 3840, Medell Colombia. email: jcossio@unalmed.edu.co a e n,
135

2000

136

u + f (u) u

=0 =0

in on ,
N

(1)
n i=0 x2 i

is the Laplacian where R, is a smooth bounded domain in R , = operator, and f : R R is a nonlinear function. Our theorems were obtained by using bifurcation theory, variational methods, and a minmax principle developed by the author in collaboration with A. Castro and J. M. Neuberger ([Cas-Cos-Nu1], 1997). We also present some theorems related with algorithms for approximating solutions to nonlinear problems of type (1), and some open questions. Key words: Semilinear elliptic equations, bifurcation theory, variational methods, construction of solutions.

1. Introduccin o El inters de la comunidad cient e ca en el anlisis no a lineal ha ido creciendo signicativamente en las ultimas dcadas. Prcticamente todos los centros de investigae a cin en Matemticas en el mundo dedican un esfuerzo o a sustancial al entendimiento de los problemas no lineales. El desarrollo del anlisis no lineal ha permitido no a solamente el tratamiento unicado de varios problemas clsicos en F a sica y en Matemticas sino tambin el sura e gimiento de nuevas teor no lineales de gran importanas cia por s mismas y por sus aplicaciones. Una de las herramientas ms importantes usadas en a anlisis no lineal es la teor de bifurcacin. Bia a o furcacin signica cambios en la estructura del conjuno to de soluciones de una ecuacin funcional cuando los o parmetros que intervienen en la ecuacin var a o an. Antes de discutir algunos aspectos matemticos de a la teor de bifurcacin, describiremos uno de los ejema o plos f sicos ms familiares de bifurcacin: el Problema a o de Taylor de un uido en rotacin. o En ste consideramos un uido viscoso incompresible e que yace entre un par de cilindros concntricos verticae les que rotan. Suponemos que el cilindro exterior est a en reposo y que el cilindro interior rota a una velocidad angular w. El movimiento del uido se describe por las ecuaciones de Navier-Stokes y stas tienen una solucin e o expl cita. El ujo as obtenido se denomina el ujo de Couette, que existe para todos los valores de w. Si w es pequea, las part n culas se mueven en orbitas circulares y la velocidad depende de la distancia al cilindro interior. Si se excede un cierto valor de w, nuevos movimientos se superponen sobre el ujo de Couette y aparecen los denominados vrtices de Taylor. Para este valor de w o ocurre bifurcacin. o Para ms detalles, el lector interesado puede consula tar [Ke-An], 1969.

La teor de bifurcacin, que ser discutida en la Seca o a cin 2, estudia la existencia de soluciones locales y gloo bales para ecuaciones no lineales de la forma F (, u ) = 0, (2) donde R, F es una funcin no lineal y u pertenece o a un cierto espacio de funciones. Los pilares fundamentales de la teor de bifurcacin aparecen inicialmente en a o los trabajos de Lyapunov y Schmidt, alrededor de 1908, basados en los problemas propuestos por Poincar en e 1885 en conexin con astrof o sica. Los aportes de Krasnoselskii y su escuela, alrededor de 1950, permiten la consolidacin de la teor Pero han sido los trabajos de o a. M. Crandall y P. Rabinowitz ([Cr-Ra], 1971), en lo concerniente a la existencia de ramas locales de soluciones, y de P. Rabinowitz ([Ra1], 1971), en lo relacionado con la existencia de ramas globales de soluciones, los que han permitido su gran desarrollo. La teor de bifurcacin a o ha sido muy util en el estudio de una amplia variedad de problemas no lineales tanto en ecuaciones diferenciales, entre los que destacamos varios problemas clsicos coa mo el problema de Bnard, el problema de las ondas de e agua y el problema de los tres cuerpos restringido, como en F sica y en Ingenier en problemas de elasticidad, a, convexin trmica y uidos en rotacin ([Ra2], 1985, y o e o [Am-Pro], 1993). En relacin con la teor de bifurcacin, el autor y o a o A. Castro encontraron, en un trabajo publicado en 1993 ([Cas-Cos1]), una condicin suciente que garantiza la o existencia de ramas locales de soluciones para ecuaciones del tipo (1) y mostraron aplicaciones a la existencia de soluciones para sistemas de ecuaciones diferenciales y a la existencia de soluciones peridicas de ecuaciones o el pticas no lineales de segundo orden. Posteriormente, el autor, en un trabajo publicado en la Revista de la Academia Colombiana de Ciencias Exactas F sicas y Naturales ([Cos], 1995), en el cual utiliza de manera esencial los resultados de la teor de bifurcacin debidos a o a Crandall y Rabinowitz ([Cr-Ra], 1971, y [Ra1], 1971),

137

demostr la existencia de mltiples soluciones para el o u problema no lineal u + f (u) = 0 u =0 en en , (3)

con ciertas condiciones sobre la no linealidad f . Tambin, usando los resultados de Crandall y Rabie nowitz, el autor y A. Castro, en un art culo publicado en 1993 en la Revista Colombiana de Matemticas a ([Cas-Cos2]), demostraron la existencia de m ltiples sou luciones radiales para el problema (3) en el caso en que el dominio es simtrico. e Antes de describir otras herramientas importantes usadas en el estudio de problemas no lineales, quisiera mencionar que el problema de Dirichlet no lineal (3) modela una gran variedad de problemas que aparecen naturalmente en diferentes areas de la f sica, la astrof sica, la ingenier la biolog y la geometr a, a a. Menciono a continuacin algunos modelos en astrof o sica en los que aparecen distintos tipos de no linealidades. Por ejemplo, en la ecuacin de Lane-Emden, que aparece en el estuo dio de problemas estelares ([Ch], 1939), la no linealidad es del tipo potencia, u + up = 0 u =0 u > 0 en , p > 1, en , (4)

los mtodos variacionales. Las ideas topolgicas inie o ciales de estos mtodos fueron vislumbradas por Poine car y Birkho a nales del siglo XIX y fueron desarroe lladas posteriormente, en los aos 20 y 30 del siglo pasan do, por Morse ([Mors1], 1925, y [Mors2], 1934) y Ljusternik y Schnirelman ([Lj-Sc], 1934). Con esta tcnica e las soluciones de los problemas no lineales se consiguen como los puntos cr ticos de un funcional asociado con la ecuacin en estudio. En el caso en que el funcional o sea acotado inferior o superiormente es razonable tratar de demostrar que el funcional alcanza su m nimo o su mximo, pero si el funcional asociado no es acotado a ni superior ni inferiormente se deben buscar puntos de silla o puntos de tipo minimax. Un mtodo espec e co para encontrar puntos cr ticos de tipo minimax, que ser a presentado en la Seccin 3, es el bien conocido Teorema o del Paso de la Montaa, publicado por A. Ambrosetn ti y P. Rabinowitz en 1973 ([Am-Ra]), del cual se han conseguido extensiones y variaciones en aos recientes n que han demostrado ser muy utiles en las aplicaciones a ecuaciones diferenciales. Otro resultado importante para encontrar puntos cr ticos, que se presentar en la Seccin 3, es el mtodo a o e de reduccin de Lyapunov-Schmidt, el cual tuvo sus o or genes en las investigaciones de los profesores Lazer, Landesman y Meyers ([Lan-Laz-Me], 1975) y Castro y Lazer ([Cas-Laz2], 1979) y que permite reducir el estudio de los puntos cr ticos del funcional asociado, el cual est generalmente denido en un espacio de dimensin a o innita, al estudio de los puntos cr ticos de un funcional denido en un subespacio, generalmente, de dimensin nita. Adems de los dos mtodos mencionados, o a e se presentar en la Seccin 3 un principio de minimax a o desarrollado por el autor en colaboracin con los inveso tigadores A. Castro y J. M. Neuberger ([Cas-Cos-Nu1], 1997), que permite obtener soluciones que cambian de signo para problemas superlineales. Utilizando el Teorema del Paso de la Montaa, el n mtodo de reduccin de Lyapunov-Schmidt y el princie o pio de minimax mencionado se presentarn al nal de la a Seccin 3 distintas aplicaciones al estudio de la solucin o o de ecuaciones diferenciales no lineales del tipo (3), las cuales han sido obtenidas por el autor en colaboracin o con otros investigadores en el area ([Cas-Cos3], 1994, y [Cas-Cos-Nu3], 1998). En la Seccin 4 enfocaremos nuestra atencin en la o o presentacin de algunos algoritmos para construir y o visualizar soluciones de problemas no lineales del tipo (3). Estos algoritmos son importantes ya que los

donde up es proporcional a la densidad de la estrella gaseosa y el dominio es BR (0), la bola abierta en R3 de radio R y centro en el origen. Henon en 1973 ([He]), estudiando las estructuras estelares en rotacin, propuo so la siguiente no linealidad, que es una variante del problema (4) u + |x|l up = 0 u > 0 en , p > 1, l > 0, u = 0 en . (5)

Para la escogencia de esta no linealidad, Henon coment: o Esta escogencia, aunque arbitraria, tiene la ventaja de ser simple y conveniente. Posteriormente, Lieb y Yau en 1987 ([Li-Ya]), estudiando la teor de colapsos esa telares de Chandrasekhar, demostraron que la ecuacin o para el problema de las estrellas enanas blancas, sin efecto general relativ stico, es equivalente a la ecuacin o u + 4(2u + u2 ) 2 = 0
3

en BR (0).

(6)

En los problemas (4), (5) y (6) aparece la pregunta de si existe o no solucin u para la ecuacin semilineal en o o estudio; y, de existir solucin, si sta es unica o si existen o e mltiples soluciones. u En la Seccin 3 de este trabajo presentamos otra heo rramienta muy importante usada en anlisis no lineal: a

138

teoremas que garantizan la existencia de soluciones de ecuaciones diferenciales no lineales son, en general, no constructivos y, adems, ejemplos expl a citos que apoyen o nieguen conjeturas y que sugieran direcciones para estudios futuros son siempre bienvenidos. Inicialmente se discute un mtodo diseado por el autor y el profesor e n H. Arango para construir soluciones radiales al problema (3) en el caso en el cual el dominio es una bola en RN y f es una funcin continua lineal por tramos ([Ar-Cos1], o 1996, y [Ar-Cos2], 2000). El mtodo est basado en un e a spline de funciones de Bessel. Concluiremos la seccin o con la presentacin de un nuevo algoritmo para construir o y visualizar las soluciones al problema (3) que se consiguen v el mtodo de reduccin de Lyapunov-Schmidt a e o ([Cos-Le-Nu], 2001). Las ideas de investigacin desarrolladas por el autor o en colaboracin con otros investigadores en el area, que o sern presentadas en las distintas secciones de este traa bajo, nos conducen a formular en la Seccin 5 una serie o de preguntas abiertas, que esperamos contribuyan a una mejor comprensin de las soluciones de problemas o de Dirichlet no lineales. 2. Teor de bifurcacin y aplicaciones a o El Teorema de Punto Fijo de Banach establece que en un espacio mtrico completo (X, d), una funcin e o f : X X para la cual existe una constante k (0, 1) tal que d(f (x), f (y)) kd(x, y), x, y X,

La situacin t o pica en bifurcacin est relacionada o a con una familia de un parmetro F (, u), con R a y F C(R X, Y ), donde X y Y son espacios de Banach. Se supone que F (, 0) = 0, R. (7)

Se dice que un punto (, 0) es un punto de bifurcacin o de F (, u) = 0 si toda vecindad de l contiene soluciones e no triviales de la ecuacin. o Bajo hiptesis simples, M. Crandall y P. Rabinowitz o demostraron el siguiente teorema que garantiza la existencia de una rama local de soluciones no triviales de la ecuacin o F (, u) = 0. (8)

Teorema 1. ([Cr-Ra], 1971) Sean X, Y espacios de Banach, un conjunto abierto en R y F C m ( X, Y ), m 2. Suponga que F (, u) = Bu u + N (, u) N (, 0) = 0, Du N (, 0) = 0, (9)

donde B : X Y es un operador lineal y acotado. Si 0 es un valor propio simple de B con vector propio o v0 = 0, entonces (0 , 0) es un punto de bifurcacin de F (, u) = 0. Adems, existen funciones de clase C m1 a (s) = 0 + O(|s|) u (s) = sv0 + O(s2 ) para s cerca de cero, tales que F ( (s), u (s)) = 0. (11) (10)

tiene un unico punto jo; es decir, existe un unico punto x0 X tal que f (x0 ) = x0 . Una consecuencia importante de este resultado es el Teorema de la Funcin Inversa que establece que si una o funcin F env una vecindad U de u0 X en Y , dono a de X y Y son espacios de Banach, y F C 1 (U ) con L = F (u0 ) uno a uno y sobreyectiva entonces la ecuacin o F (u) = f tiene una solucin unica en una vecindad de u0 , para o toda f en una cierta vecindad de f0 = F (u0 ). Originado en los trabajos de A. M. Lyapunov y E. Schmidt a comienzos del siglo XX y relacionado con los problemas propuestos por H. Poincar en 1885 en conee xin con astrof o sica, se inici el programa de extender o los resultados anteriores cuando F (u0 ) no es invertible. Este programa dio lugar a lo que hoy conocemos como teor de bifurcacin. a o

Todos los ceros de F cerca de (0 , 0) son las soluciones triviales u = 0 o estn dados por (10). a El resultado ms importante relacionado con la exisa tencia de ramas globales de soluciones, es decir cuando var sobre R, fue obtenido por P. Rabinowitz aplicana do la teor de grado de Leray-Schauder. Este resultado, a que se presenta a continuacin, establece que bajo ciero tas condiciones de compacidad cada rama de soluciones se extiende al innito en R X o se va a otro punto de bifurcacin. o Teorema 2. ([Ra2], 1971) Suponga que F (, u) = u G(, u) con (, u) R X, X un espacio de Banach y G compacto. Si G(, u) = Lu + H(, u), donde L es lineal y compacto, H(, u) = o( u ) cuando u 0 y r(L) := { R/1 (L) -el espectro de L-} es de multiplicidad impar entonces (, 0) es un punto de bifurcacin. Adems S, la clausura del conjunto de o a

139

ceros no triviales de F , tiene una componente de soluciones C que contiene a (, 0) y no es acotada en R X o contiene (, 0), donde = r(L). En colaboracin con A. Castro ([Cas-Cos1], 1993), o dimos una condicin suciente para que un punto (, u) o fuera un punto de bifurcacin local de la ecuacin (8), o o cuando sta toma la forma e F (, u) := Lu + N (u) = 0, (12)

A diferencia del Teorema A de [Cas-Cos3], publicado en 1994, este resultado no depende del acotamiento global de la derivada de la funcin no lineal y se demuestra o utilizando solamente tcnicas de teor de bifurcacin. e a o Tambin, haciendo uso del teorema de bifurcacin e o global de P. Rabinowitz, en un trabajo en colaboracin o con A. Castro publicado en la Revista Colombiana de Matemticas, demostramos que el problema (3) tiene a 4j 1 soluciones radiales (i.e. u(x) = u( x )) cuando es una bola, la no linealidad tiene un cero positivo y el rango de la derivada de la no linealidad incluye al menos los primeros j valores propios. Teorema 5. ([Cas-Cos2], 1993) Si f tiene un cero positivo y f (0) = f () > j entonces (3) tiene al menos 4j 1 soluciones radiales. En ese mismo art culo se presenta una demostracin o ms simple del siguiente resultado obtenido anteriora mente por M. Esteban. Teorema 6. ([Es], 1985) Si 0 < f (0) < j+1 y j+k < f () entonces (3) tiene al menos 2k + 1 soluciones radiales. Los Teoremas 5 y 6 se demuestran obteniendo una descripcin de la grca del conjunto de soluciones del o a problema u + f (u) = 0 u =0 donde R. 3. Principios de minimax y aplicaciones Otra herramienta muy importante en anlisis no a lineal la constituy la introduccin de mtodos too o e polgicos en el estudio de problemas variacionales; es o decir, problemas en los cuales las soluciones se consiguen como puntos cr ticos de un funcional. Las ideas topolgicas iniciales de estos mtodos fueo e ron vislumbradas por Poincar y Birkho a nales del e siglo XIX y fueron desarrolladas posteriormente, en los aos 20 y 30 del siglo pasado, por Morse ([Mors1], 1925, n y [Mors2], 1934) y Ljusternik y Schnirelman ([Lj-Sc], 1934). En particular, Ljusternik y Schnirelman, en el caso de problemas variacionales en variedades de dimensin nita, dieron una cota inferior para el nmero de o u puntos cr ticos en trminos de un invariante topolgico e o llamado la categor de Ljusternik y Schnirelman. La a teor de Morse para funciones no degeneradas dio una a clasicacin ms na de los puntos cr o a ticos en trminos e en en , (14)

donde L es un operador lineal denido en un espacio de Hilbert H, L tiene inversa compacta y N : H H es de clase C 2 con (L1 N ) (0) = L1 y N (0) = 0. Sea = 0 un valor propio de L tal que H = Ker(L + I) Rango(L + I) =: X Y. Sean K X un cono cerrado tal que K = X y P la proyeccin sobre X. Se demostr el siguiente teorema. o o Teorema 3. ([Cas-Cos1], 1993) Si para algn r1 > 0 u P (N I)({u H : |u| r1 }) K (13) entonces (, 0) es un punto de bifurcacin de la ecuacin o o (12). Adems, para r > 0 sucientemente pequeo y a n K (K) = {0} la ecuacin (12) tiene dos soluciones dio ferentes (, u), (, v) con P u = P v = r, | | < r and | | < r. A diferencia de los resultados clsicos, nuestro resula tado no depende ni de la multiplicidad del valor propio ni de la estructura variacional de la ecuacin donde o el teorema se aplica. Este resultado tiene aplicaciones a la existencia de soluciones para sistemas de ecuaciones diferenciales y a la existencia de soluciones peridicas de o ecuaciones el pticas no lineales de segundo orden. o Sea 0 < 1 < 2 3 la sucesin de valores propios de con condicin de Dirichlet cero en la o frontera. En un trabajo publicado en la Revista de la Academia Colombiana de Ciencias Exactas F sicas y Naturales, en el cual se utilizan de manera esencial los resultados de M. Crandall y P. Rabinowitz (vense los Teoremas 1 y a 2), estudi el problema (3) y demostr que tiene al mee e nos cuatro soluciones cuando el rango de la derivada de la no linealidad incluye al menos los dos primeros valores propios. Teorema 4. ([Cos], 1995) Si 0 < f (0) < 1 , 2 < f (), 2 es un valor propio de multiplicidad impar y f () < j (donde j es el siguiente valor propio distinto de 2 ) entonces el problema (3) tiene al menos cuatro soluciones.

140

de las formas cuadrticas asociadas con la segunda dea rivada (u0 ). En la dcada del 60 del siglo pasado, las e ideas de la teor de Morse fueron puestas en el contexto a de la Geometr Diferencial en variedades de dimensin a o innita por R. Palais y S. Smale ([Pa-Sm], 1964) quienes reemplazaron la hiptesis de dimensin nita de la o o teor original por una hiptesis de compacidad sobre el a o funcional. Como se mencion anteriormente, con los mtodos o e variacionales las soluciones de los problemas no lineales se consiguen como los puntos cr ticos de un funcional asociado con el problema en estudio. En el caso en que el funcional sea acotado inferior o superiormente es razonable tratar de demostrar que el funcional alcanza su m nimo o su mximo. Para funciones convexas un rea sultado clsico en esta direccin es el siguiente. a o Teorema 7. Sean X un espacio de Banach reexivo y una funcin semicontinua inferiormente denida en o X. Si es convexa, acotada inferiormente y (x) cuando x entonces alcanza su m nimo. Si no es convexa entonces no necesariamente alcanza su m nimo. Sin embargo el siguiente resultado de I. Ekeland demuestra la existencia de puntos que son casi puntos de m nimo. Teorema 8. ([Ek], 1974) Sean X un espacio mtrico e completo y : X R {+} una funcin semicono tinua inferiormente y acotada inferiormente. Entonces dado > 0 existe u X tal que (u ) inf + ,
X

puntos de silla, los cuales se encuentran usando argumentos de tipo minimax. En stos se comienza consie derando una cierta clase A de conjuntos en un cierto espacio topolgico, luego se construye o max (u)
u

para cualquier A, y nalmente se forma c = inf max (u)

A u

y se trata de demostrar que el nmero c es un punto u cr tico de . Un mtodo espec e co muy util para encontrar puntos de tipo minimax, que extiende las ideas de Poincar y e Birkho, es el conocido Teorema del Paso de la Montaa, publicado por A. Ambrosetti y P. Rabinowitz y n que se presenta a continuacin. o Teorema 10. ([Am-Ra], 1973) Si es una funcin o de clase C 1 denida en un espacio de Banach X, satisface (P-S) y la siguiente condicin geomtrica o e
(0) (x0 ) = 0, (x) > 0, x Xcon x = R 0, para algn x0 X con x0 > R, u y (17)

entonces el siguiente nmero es un valor cr u tico de , c = min max (g(t)) ,

gP 0t1

donde P = {g C([0, 1], X)/g(0) = 0, g(1) = x0 }. Es decir, existe u X tal que (u) = 0 y (u) = c.

(15)

y (u ) < (u) + d(u, u ), u X, u = u . (16)

En aos recientes se han conseguido extensiones y van riaciones de este teorema que han demostrado ser muy utiles en las aplicaciones a ecuaciones diferenciales. Otra tcnica muy importante en anlisis no lineal es e a el llamado mtodo de reduccin de Lyapunov-Schmidt, e o el cual permite reducir el estudio de los puntos cr ticos de un funcional denido en un espacio de Hilbert H de dimensin innita al estudio de los puntos cr o ticos de un funcional denido en un subespacio cerrado de H, generalmente, de dimensin nita. El mtodo o e de reduccin, que presentamos a continuacin, tuvo o o sus or genes en las investigaciones de Lazer, Landesman y Meyers ([Lan-Laz-Me], 1975) y Castro y Lazer ([Cas-Laz2], 1979). Teorema 11. ([Cas1], 1981) Sea H un espacio de Hilbert real y sean X y Y subespacios cerrados de H tales que H = X Y . Sea : H R un funcional de clase C 1 . Si existen m > 0 y > 1 tales que (x + y) (x + y1 ), y y1 m y y1

Una condicin de compacidad para funciones C 1 , que o es utilizada en la demostracin de la existencia de puntos o cr ticos es la llamada condicin de Palais-Smale (P-S), o que establece que si una sucesin (un ) X es tal que o |(un )| < M y (un ) 0 entonces (un ) tiene una subsucesin convergente. Tales funciones siempre alcanzan o su nmo. Teorema 9. Si es una funcin de clase C 1 denida o en un espacio de Banach, satisface (P-S) y es acotada inferiormente entonces alcanza su m nimo. Si el funcional asociado con el problema no lineal no es acotado ni superior ni inferiormente se deben buscar

141

x X, y, y1 Y , entonces (i) Existe una funcin continua : X Y tal que o (x + (x)) = min (x + y).
yY

Adems, (x) es el unico elemento de Y tal que a (x + (x)), y = 0, y Y.

En colaboracin con S. Herrn, usando el Teorema o o del Paso de la Montaa, el Teorema de Punto de Sin lla de P. Rabinowitz ([Ra3], 1986) y argumentos del ndice de Morse desarrollados por A. Lazer y S. Solimini ([Laz-Sol], 1988) demostramos la existencia de por lo menos tres soluciones para el problema (3) sin la restriccin sobre k del Teorema 13. o Teorema 14. ([Cos-He], 2003) Si f (0) < 1 , ticos f () (k , k+1 ) con k 2, y todos los puntos cr del funcional J (vase su denicin en (*), abajo) son e o no degenerados entonces (3) tiene por lo menos tres soluciones no triviales: u1 > 0 en , u2 < 0 en y u3 . Las soluciones de un signo tienen ndice de Morse menor ndice de Morse mayor o igual a o igual a 1 y u3 tiene 2. En un art culo publicado en 1997, escrito en colaboracin con los profesores J. M. Neuberger y A. Castro, o demostramos un principio de minimax que nos permiti establecer condiciones sucientes que garantizan o la existencia de soluciones que cambian de signo exactamente una vez para problemas de Dirichlet del tipo (3), cuando f es superlineal; es decir, f () := lim y subcr tica; es decir, 2N . N 2 Teorema 15. ([Cas-Cos-Nu1], 1997) Si f (0) < 1 entonces (3) tiene al menos tres soluciones no triviao les: 1 > 0 en , 2 < 0 en y 3 . La funcin 3 cambia de signo exactamente una vez en , es decir, (3 )1 (R{0}) tiene exactamente dos componentes conexas. Si son no degeneradas, las soluciones de un signo tienen ndice de Morse 1 y la solucin que cambia de o signo tiene ndice de Morse 2. Adems, a |f (s)| c1 |s|p + c2 , con 1 p J(3 ) J(1 ) + J(2 ), donde J(u) = y F (s) =
0 s

(ii) La funcin : X R denida por (x) = o 1 (x + (x)) es de clase C y (x), x1 = (x + (x)), x1 , x, x1 X.

(iii) x X es un punto cr tico de si y slo si x + (x) o es un punto cr tico de . Utilizando el Teorema del Paso de la Montaa, el n mtodo de reduccin de Lyapunov-Schmidt y la teor e o a de grado de Leray-Schauder, en un trabajo en colaboracin con A. Castro, demostramos que el problema (3) o tiene al menos cuatro soluciones no triviales, dos de las cuales son de un signo y las otras dos cambian de signo, cuando el rango de la derivada de la no linealidad incluye al menos los dos primeros valores propios. Teorema 12. ([Cas-Cos3], 1994) Si f (0) < 1 , f () (k , k+1 ) con k 2, y f (t) < k+1 , entonces (3) tiene al menos cuatro soluciones no triviales. Adems, uno de los siguientes casos ocurre: a a) k es par y (3) tiene dos soluciones que cambian de signo. b) k es par y (3) tiene cinco soluciones, tres de las cuales tienen el mismo signo. c) k es impar y (3) tiene dos soluciones que cambian de signo. d) k es impar y (3) tiene tres soluciones del mismo signo. En [Cos-Ve], con la colaboracin de C. Vlez, sin cono e siderar la hiptesis del acotamiento global de la derivada o de la no linealidad del Teorema 12 y con la restriccin o k par, demostramos que el problema (3) tiene por lo menos tres soluciones no triviales. La prueba utiliza argumentos del tipo de paso de la montaa y teor de n a grado. Teorema 13. ([Cos-Ve], 2003) Si f (0) < 1 , f () (k , k+1 ) con k un entero par, k 2, entonces (3) tiene por lo menos tres soluciones no triviales, una es positiva, otra es negativa y la tercera cambia de signo.

f (s) = s

1 ( |u|2 F (u))dx, 2
s

1 u H0 () ()

f (t)dt.

Hasta donde sabemos, este resultado es el primero en establecer la existencia de una solucin del problema (3) o que cambia de signo exactamente una vez. Desarrollos como los obtenidos por Z. Q. Wang ([Wa], 1991) no implican la existencia de soluciones que cambien de signo,

142

mucho menos que cambien de signo exactamente una vez. Tambin, nuestras pruebas mejoran la informacin e o acerca del valor del funcional J en los puntos cr ticos y del ndice de Morse de las soluciones. La solucin que cambia de signo se obtiene minimio zando el funcional J en el subconjunto S1 = {u = 0 : J(u), u = 0, u+ , u = 0, J(u+ ), u+ = 0}. (18) Usando el principio de minimax mencionado arriba para problemas superlineales y los resultados de teor de a grado de A. Castro y J. Cossio ([Cas-Cos3], 1994), demostramos la existencia de soluciones que cambian de signo para problemas de Dirichlet asintticamente lineao les; es decir, cuando la no linealidad satisface f (s) R. s s El primer resultado en esta direccin es el siguiente: o f () := lim Teorema 16. ([Cas-Cos-Nu3], 1998) Si tf (t) > 0 para t = 0 y f (), f (+) (2 , ), entonces (3) tiene al menos cuatro soluciones. Una de las soluciones cambia de signo exactamente una vez y si es aislada su grado local es +1. Este utimo teorema incluye el caso en el cual (3) presenta saltos no lineales, i.e., el intervalo (f (), f (+)) (f (+), f ()) contiene un valor propio k . A su vez el Teorema nos permite extender los resultados del Teorema 12. En efecto, tiene lugar el siguiente teorema. Teorema 17. ([Cas-Cos-Nu3], 1998) Si tf (t) > 0 para t = 0 y f (), f (+) (k , k+1 ) para k 2, entonces (3) tiene por lo menos cinco soluciones, dos de las cuales cambian de signo. Adems, una de estas dos a soluciones cambia de signo exactamente una vez. Adems, demostramos que en el Teorema no necesaa riamente se consiguen ms de dos soluciones que cama bien de signo. Teorema 18. ([Cas-Cos-Nu3], 1998) Si k = 2 en el Teorema entonces (3) tiene exactamente dos soluciones que cambian de signo; ambas cambian de signo una sola vez. En [Cas-Cos-Nu2], publicado en 1997, con la colaboracin de A. Castro y J. M. Neuberger, demostramos la o existencia de soluciones no radiales que cambian de sigo no cuando es una bola en RN y f es asintticamente lineal. Sea r < r < < r < . . . la sucesin de vao 1 2 k lores propios de actuando en funciones radiales de

1 o H0 (). Recordamos que 1 = r y 2 < r . Se prob 1 2 el siguiente teorema.

Teorema 19. ([Cas-Cos-Nu2], 1997) Si tf (t) > 0 para t = 0, f () (k , k+1 ) con k 2, f (t) < k+1 para todo t R y 1 < k < k+1 r , entonces 2 el problema (3) tiene al menos dos soluciones que son no radiales y cambian de signo. Adems, una de estas a dos soluciones cambia de signo exactamente una vez. 4. Construccin y visualizacin de soluciones o o para problemas el pticos semilineales Otro tpico de investigacin en el que he trabajado o o es el de construccin y visualizacin de soluciones para o o problemas el pticos semilineales. Este trabajo es importante ya que en su gran mayor los teoremas de exisa tencia de soluciones para problemas semilineales son no constructivos; adems siempre sern bienvenidos ejema a plos expl citos que apoyen o nieguen conjeturas y que sugieran direcciones para estudios futuros. En dos trabajos escritos en colaboracin con el proo fesor H. Arango, el primero publicado en la Revista Colombiana de Matemticas ([Ar-Cos1], 1996) y el sea gundo en el Electronic Journal of Dierential Equations ([Ar-Cos2], 2000), presentamos mtodos para construir e expl citamente soluciones con simetr radial para el a problema (3) cuando el dominio es una bola en RN y la funcin f es continua y lineal por tramos. El mtodo o e de construccin est basado en un spline de funciones de o a Bessel y en el shooting method. Estos trabajos han sido inspirados por un trabajo previo de los profesores E. Deumens y H. Warchall ([De-War], 1988), en el que los autores estudian una ecuacin de onda no lineal en o el espacio Rn+1 . Consideremos la siguiente funcin continua lineal por o tramos f : R R denida por

2 t (2 2 ) 2 t f (t) = 2 2 t + ( 2 ) donde y son constantes.

si t > 1 si 1 t 1 si t < 1,

(19)

Sea 0 < 1 < 2 < < k < . . . la sucesin de o valores propios actuando en funciones radiales de 1 H0 . Demostramos el siguiente resultado. Teorema 20. ([Ar-Cos1], 1996) Si 2 k y > p (k p) entonces existen (p k + 1) pares
2

143

de soluciones radiales de (3), ui y vi (k i p), tales que para cada i, ui (0) < 0 < vi (0) y ui , vi tienen exactamente (i 1) nodos en (0, ). Tambin se construyeron expl e citamente soluciones radiales para la ecuacin (3), cuando la no linealidad o f : R R est denida por a 2 t si t 2 2 (20) f (t) = t + 2 si t 2 2 t 2 si t donde y son constantes. Teorema 21. ([Ar-Cos2], 2000) Si j < 2 < j+1 y > 0 entonces para cada 0 i j 1 existen soluciones radiales unicas vi y ui para el problema (3) con i no dos en (0, ), tales que vi (0) > > 0 y 0 < ui (0) < . Presentamos una grca de la solucin obtenida con a o el programa Mathematica, siguiendo el mtodo de conse truccin empleado en el art o culo (vase la Figura 1). e

Como se puede observar de los resultados presentados en las Secciones 2, 3 y 4 de este trabajo, el autor, en colaboracin con Alfonso Castro y otros investigadoo res en el rea, ha introducido nuevas ideas en el estudio a de la existencia, las propiedades cualitativas y la construccin y visualizacin de soluciones para el problema o o el ptico semilineal u + f (u) = 0 u =0 en en . (21)

Estas ideas nos conducen a formular una serie de preguntas abiertas, que sern especicadas en esta seccin, a o y que esperamos contribuyan a una mejor comprensin o de las soluciones de problemas de Dirichlet no lineales. Perspectiva I. Motivados por el principio de Minimax presentado en el Teorema 15 y por los resultados obtenidos en los Teoremas , y ser interesante esa tudiar la existencia de soluciones no radiales que cambian de signo exactamente una vez para el problema (21). Recientemente, A. Castro y H. Adun (vase [Ad-Cas], e e 2003) demostraron la existencia de innitas soluciones no radiales para problemas de Dirichlet superlineales. Perspectiva II. Motivados por los resultados obtenidos en los Teoremas 12, y nos parece importante estudiar la existencia de soluciones que cambian de signo en dominios generales. Conjeturamos que es posible debilitar la hiptesis de convexidad del Teorema y cono seguir resultados similares.

Figura 1. Solucin radial v(r) en 3 dimensiones con o = 5.1, = 2.0 y 4 nodos. Tambin, en una investigacin en colaboracin con los e o o profesores J. M. Neuberger y S. Lee ([Cos-Le-Nu], 2001) logramos construir un nuevo algoritmo para aproximar soluciones que se consiguen v el mtodo de reduccin a e o de Lyapunov-Schmidt para problemas de Dirichlet sublineales en dominios acotados. 5. Perspectivas

Perspectiva III. Como el Principio de Minimax de Castro-Cossio-Neuberger (vase Teorema 15) tambin e e vale cuando f se reemplaza por f , ser interesante a a demostrar que las soluciones correspondientes u estn en la misma curva de bifurcacin. Conjeturamos que o ellas se bifurcan del segundo valor propio y que existe un conjunto conexo de soluciones que cambian de signo exactamente una vez y conecta (0, ) con (2 , 0). A medida que vayan apareciendo ms soluciones al proa blema (21) es importante estudiar las correspondientes curvas de bifurcacin. o Perspectiva IV. Motivados por el caso unidimensional, el caso radial y los resultados del Teorema 15, ser importante encontrar condiciones sucientes que a permitan demostrar que para cada entero positivo k el problema (21) tiene una solucin con k regiones nodales. o Perspectiva V. Mientras el caso unidimensional, el caso radial y el caso en el cual la no linealidad f es impar sugieren que el problema (21) tiene 2k +1 soluciones cuando f () (k , k+1 ), el contraejemplo de Dancer

144

(vase [Da], 1976) nos indica que esto no siempre es poe sible. Ser interesante demostrar que cuando k el a nmero de soluciones de (21) tiende a . u Perspectiva VI. Motivados por los resultados obtenidos por el autor, en colaboracin con H. Arango y o J. M. Neuberger, en el estudio del problema (21) en dominios simtricos (vase [Ar-Cos1], 1996; [Ar-Cos2], e e 2000; y [Cos-Le-Nu], 2001) es importante estudiar la construccin expl o cita de soluciones, para el problema mencionado, en dominios no simtricos. e Referencias
H. Adun and A. Castro, Innitely Many e Nonradial Solutions to a Superlinear Dirichlet Problem, Proc. Amer. Math. Soc. 131 (2003), 835843. [Am-Pro] A. Ambrosetti and G. Prodi, A Primer of Nonlinear Analysis, Cambridge Studies in Advanced Mathematics 34, Cambridge University Press, Cambridge 1993. [Am-Ra] A. Ambrosetti and P. Rabinowitz, Dual variational methods in critical point theory, J. Funct. Anal. 14 (1973), 349381. [Ar-Cos1] H. Arango y J. Cossio, Construccin de Soo luciones Radialmente Simtricas para un Problee ma El ptico Semilineal, Rev. Colombiana Mat.30 (1996), 7792. [Ar-Cos2] H. Arango and J. Cossio, Explicit Construction, Uniqueness, and Bifurcation curves of Solutions for a Nonlinear Dirichlet Problem in a Ball, Electronic Journal of Dierential Equations, Conf. 05, 2000, 112. [Cas1] A. Castro, Mtodos de Reduccin via Minimax, e o Primer Simposio Colombiano de Anlisis Funcioa nal, Medell Colombia, (1981). n, [Cas-Cos1] A. Castro and J. Cossio, A Bifurcation Theorem and Applications, Dynamic Systems and Applications 2 (1993), 221226. [Cas-Cos2] A. Castro and J. Cossio, Multiple Radial Solutions for a Semilinear Dirichlet Problem in a ball, Rev. Colombiana Mat. 27 (1993), 1524. [Cas-Cos3] A. Castro and J. Cossio, Multiple Solutions for a Nonlinear Dirichlet Problem, SIAM J. Math. Anal. 25 (1994), 15541561. [Cas-Cos-Nu1] A. Castro, J. Cossio and J. M. Neuberger, A Sign-Changing Solution for a Superlinear Dirichlet Problem, Rocky Mountain J.M. 27 (1997), 10411053. [Ad-Cas] [Cas-Cos-Nu2] A. Castro, J. Cossio and J. M. Neuberger, On Multiple Solutions of a Nonlinear Dirichlet Problem, Nonlinear Analysis, Theory, Methods & Applications, 30 (1997), 36573662. [Cas-Cos-Nu3] A. Castro, J. Cossio and J. M. Neuberger, A Minimax Principle, Index of the Critical Point, and Existence of Sign-changing Solutions to Elliptic Boundary Value Problems, Electronic

[Cas-Laz1]

[Cas-Laz2]

[Cos]

[Cos-Le-Nu]

[Cos-He]

[Cos-Ve]

[Ch]

[Cr-Ra]

[Da]

[De-War]

[Ek] [Es]

[He]

[Li-Ya]

[Ke-An]

[Lan-Laz-Me]

Journal of Dierential Equations 1998 (1998), 1 18. A. Castro and A. C. Lazer, Applications of a Max-min Principle, Rev. Colombiana Mat. 10 (1976), . 141149. A. Castro and A. C. Lazer, Critical Point Theory and the Number of Solutions of a Nonlinear Dirichlet Problem, Ann. Mat. Pura Appl. 70 (1979), 113137. J. Cossio, Mltiples Soluciones para un Prou blema El ptico Semilineal. En Memorias de la III Escuela de Verano en geometr diferena cial, ecuaciones diferenciales parciales y anlisis a numrico. Academia Colombiana de Ciencias e Exactas F sicas y Naturales, Coleccin memorias o No. 7, 1995, 5359. J. Cossio, S. Lee, and J. M. Neuberger, A Reduction Algorithm for Sublinear Dirichlet Problems, Nonlinear Analysis, 47 (2001), 33793390. J. Cossio and S. Herrn, Nontrivial Solutions o for a Semilinear Dirichlet Problem with Nonlinearity Crossing Multiples Eigenvalues, Submitted for publication in the Journal of Dynamics and Dierential Equations. J. Cossio y C. Vlez, Soluciones no Triviales e para un Problema de Dirichlet Asintticamente o Lineal, Aceptado para publicacin en la Revista o Colombiana de Matemticas, 2003. a S. Chandrasekhar, An Introduction to the Study of Stellar Structure, University of Chicago Press, 1939. M. Crandall and P. Rabinowitz, Bifurcation from Simple Eigenvalue, J. Funct. Anal. 8 (1971), 321340. E. Dancer, Counterexamples to Some Conjectures on the Number of Solutions of Nonlinear Equations, Math. Ann. 16 (1976), 13611376. E. Deumens and H. Warchall, Explicit Construction of all Spherical Symmetric Solitary Waves for a Nonlinear Wave Equation in Multiple Dimensions, Nonlinear Analysis, Theory, Methods and Applications 12 (1988), 419447. I. Ekeland, On the Variational Principle, J. Math. Anal. Appl. 47 (1974), 324353. M. Esteban, Multiple Solutions of Semilinear Elliptic Problems in a Ball, J. Dierential Equations 57 (1985), 112137. M. Henon, Numerical Experiments on the Stability of spherical Stellar Systems, Astro. Astrophys. 24 (1973), 229238. E. Lieb and H. T. Yau, The Chandrasekhar Theory of Stellar Collapse as the Limit of Quantum Mechanics, Commun. Math. Phys. 112 (1987), 147174. J. Keller and S. Antman, Bifurcation Theory and Nonlinear Eigenvalue problems, W. A. Benjamin, Inc., New York, 1969, 395-409. E. M. Landesman, A. C. Lazer, and D. Meyers, On Saddle Point Problems in the Calculus

145

[Laz-Sol]

[Lj-Sc]

[Mors1]

[Mors2]

of Variations, the Ritz Algorithm, and Monotone Convergence, J. Math. Anal. Appl. 53 (1975), 594614. A. C. Lazer and S. Solimini, Nontrivial Solutions of Operator Equations and Morse Indices of Critical Points of Min-Max Type, Nonlinear Analysis TMA 12 (1988), 761775. L. Ljusternik and L. Schnirelman, Mthodes e Topologiques dans les Problmes Variationnels, e Hermann, Paris, 1934. M. Morse, Relations Between the Critical Points of a Real Function of n Independent Variables, Trans. Amer. Math. Soc. 27 (1925), 345 396. M. Morse, The Calculus of Variations in the Large, Amer. Math. Soc. Colloq. Publ., 18, 1934.

[Pa-Sm]

[Ra1]

[Ra2]

[Ra3]

[Wa]

R. Palais and S. Smale, A Generalized Morse Theory, Bull. Amer. Math. Soc. 70 (1964), 165 171. P. Rabinowitz, Some Global Results for Nonlinear Eigenvalue Problems, J. Funct. Anal. 7 (1971), 487513. P. Rabinowitz, Topological Methods in Bifurcation Theory, Sminaire de Mathmatiques e e Suprieures, Sminaire Scientique OTAN, Les e e Presses de lUniversit de Montreal, Montreal, e 1985. P. Rabinowitz, Minimax Methods in Critical Point Theory with Applications to Dierential equations, Regional Conference Series in Mathematics, 65, Providence, R. I., AMS (1986). Z. Q. Wang, On a Superlinear Elliptic Equation, Ann. Inst. H. Poincar. Analyse Non e Linaire 8 (1991), 4357. e