UNIVERSIDAD NACIONAL DE COLOMBIA FACULTAD DE CIENCIAS DEPARTAMENTO DE MATEMÁTICAS ECUACIONES DIFERENCIALES PARCIALES CURSILLO. Por
|
|
- Marina Ramos Farías
- hace 8 años
- Vistas:
Transcripción
1 UNIVERSIDAD NACIONAL DE COLOMBIA FACULTAD DE CIENCIAS DEPARTAMENTO DE MATEMÁTICAS TALLER DE ANÁLISIS NO LINEAL Y ECUACIONES DIFERENCIALES PARCIALES CURSILLO INTRODUCCIÓN A LA TEORÍA DE PUNTOS CRÍTICOS CON APLICACIONES A PROBLEMAS ELÍPTICOS SEMILINEALES Por JORGE COSSIO y CARLOS VÉLEZ Universidad Nacional de Colombia Sede Medellín Bogotá, Junio 23-30, 2010
2 CONTENIDO Página Capítulo. INTRODUCCIÓN PUNTOS CRÍTICOS VIA MINIMIZACIÓN Teoremas Fundamentales 2. Proposiciones Auxiliares 3. Aplicaciones a Problemas Elípticos Semilineales 2. PUNTOS CRÍTICOS VIA MINIMAX El Lema de Deformación 2. El Teorema del Paso de la Montaña y un Teorema de Punto de Silla 3. Aplicaciones a Problemas Elípticos Semilineales 3. PUNTOS CRÍTICOS VIA REDUCCIÓN Teoremas Centrales 2. Aplicaciones a Problemas Elípticos Semilineales REFERENCIAS ii
3 INTRODUCCIÓN Una de las áreas de la matemática de mayor desarrollo durante los últimos años ha sido el análisis no lineal. Los trabajos de Ljusternik y Schnirelman (véase [22]) y el famoso trabajo de Ambrosetti y Rabinowitz (véase [5]) en el cual se demuestra el Teorema del Paso de la Montaña han motivado e inspirado la investigación en esta área y han permitido el desarrollo de las teorías de minimax y de Morse. El objetivo principal de este trabajo es presentar una subárea del análisis no lineal, llamada la teoría de puntos críticos. Esta teoría identifica una clase importante de problemas no lineales que pueden ser escritos en la forma (1) I (u) = 0, donde u pertenece a un espacio de Hilbert H adecuado e I es la derivada de Fréchet de un cierto funcional I : H R. La ventaja de esta formulación es la de poder hallar las soluciones del problema no lineal como los puntos críticos del funcional I, que en ciertas circunstancias pueden ser más faciles de encontrar. Por ejemplo, si el funcional I es diferenciable y tiene un mínimo en u entonces (1) es válido y por lo tanto u es una solución del problema en estudio. En este trabajo estamos interesados en encontrar puntos críticos de funcionales I : H R. Al hablar de puntos críticos es natural pensar en primer lugar en puntos de mínimo o de máximo local (o global) y en segundo lugar en puntos críticos de tipo minimax o maxmin. 1
4 2 Este cursillo está dividido en tres capítulos. En el Capítulo 1 presentamos un resultado básico de la teoría de minimización de funcionales coercivos y débilmente inferiormente semicontinuos y mostramos algunas aplicaciones a la existencia de soluciones débiles para ecuaciones diferenciales semilineales. En el Capítulo 2 estudiamos algunos métodos de minimax para encontrar puntos críticos de funcionales. Estos métodos caracterizan los valores críticos de un funcional como un minimax sobre una clase de conjuntos adecuados. El Teorema del Paso de la Montaña es el primer resultado de minimax que estudiaremos. Su enunciado involucra la condición de Palais-Smale, que aparece repetidamente en la teoría de puntos críticos y afirma una cierta compacidad sobre el funcional I. Una herramienta fundamental en los resultados abstractos de tipo minimax es el llamado Lema de Deformación, el cual será presentado en la primera sección de ese capítulo. También presentaremos un Teorema de Punto de Silla debido a P. Rabinowitz. Finalmente utilizaremos el Lema de Deformación, el Teorema del Paso de la Montaña y el Teorema de Punto de Silla para presentar algunas aplicaciones a la solución de problemas elípticos no lineales. En el Capítulo 3 estudiaremos una técnica que permite reducir el estudio de los puntos críticos de un funcional I definido en un espacio de Hilbert H al estudio de los puntos críticos de un funcional Î definido en un subespacio cerrado de H, el cual es, generalmente, de dimensión finita. Esta técnica, se conoce como el método de reducción, y es muy útil para demostrar existencia y multiplicidad de soluciones de
5 3 problemas de Dirichlet no lineales. El método de reducción tuvo su orígen en las investigaciones de los profesores Lazer, Landesman y Meyers (véase [21]) y Castro y Lazer (véase [12]). Existe otro método muy importante para estudiar teoría de puntos críticos, que no presentaremos en este trabajo, este es la teoría de Morse. Al lector interesado le sugerimos para su estudio los trabajos de Milnor ([24]), Chang ([14]) y Conley ([16]). Esperamos que estas notas sirvan para estimular el interés por el estudio de la teoría de puntos críticos y de los métodos topológicos en ecuaciones diferenciales. Al lector interesado en profundizar estos aspectos le sugerimos consultar los trabajos de Ambrosetti ([3] y [4]), Brezis y Nirenberg ([7]), Castro y Cossio ([10]), Castro y Lazer ([11] y [12]), Chang ([13] y [14]), Ghoussoub ([20]), Nirenberg ([25]), Rabinowitz ([26], [27], [28], [29], [30], [31], [32] y [33]) y de Willem ([34]). Queremos agradecer al profesor Alfonso Castro, al comité organizador del Taller de Análisis no Lineal y Ecuaciones Diferenciales Parciales y a las directivas de la Universidad Nacional de Colombia Sede Bogotá por invitarnos a presentar en este evento el presente cursillo. Junio Jorge Cossio y Carlos Vélez
6 CAPÍTULO 1 PUNTOS CRÍTICOS VIA MINIMIZACIÓN En este capítulo presentaremos una técnica de minimización de funcionales definidos en espacios de Hilbert, que permite encontrar puntos críticos de funcionales coercivos y débilmente inferiormente semicontinuos. En la Sección 1 presentaremos los teoremas abstractos fundamentales. En la Sección 2 demostraremos tres proposiciones de caracter técnico que permiten verificar en las aplicaciones a ecuaciones diferenciales las hipótesis requeridas en los teoremas fundamentales. Y en la Sección 3, utilizando los teoremas abstractos, demostraremos la existencia de soluciones débiles para problemas elípticos no lineales. Al lector interesado en algunas generalizaciones importantes de esta teoría a la existencia de puntos críticos con restricciones le sugerimos ver los trabajos de Costa ([18]) y de Costa y Willem ([19]). 1. Teoremas Fundamentales Nuestro primer teorema es un resultado topológico que será utilizado en la demostración del teorema central de esta sección. Teorema Sean X un espacio topológico compacto y Φ : X R un funcional semicontinuo inferiormente (i.e. a R, Φ 1 (a, ) es un abierto en X). Entonces Φ está acotado inferiormente y, además, existe u 0 X tal que Φ(u 0 ) = inf u X Φ(u). 4
7 5 Demostración. Como X = n=1 Φ 1 ( n, ), Φ 1 ( n, ) es abierto -por ser Φ semicontinua inferiormente- y X es compacto se sigue que existe n 0 N tal que X = n 0 n=1 Φ 1 ( n, ). Por lo tanto Φ(u) > n 0 u X. Es decir, Φ está acotado inferiormente. Sea c = inf u X Φ(u). Demostraremos a continuación que existe u 0 X tal que Φ(u 0 ) = c. En efecto, supongamos, por contradicción, que Φ(u) > c para todo u X. Entonces X = n=1 Φ 1 (c + 1 n, ). Por ser X compacto, existe k N tal que X = k n=1 Φ 1 (c + 1 n, ). Luego Φ(u) > c + 1 k u X.
8 6 Por lo tanto c = inf u X Φ(u) c + 1 k. Esta contradicción demuestra que existe u 0 X tal que Φ(u 0 ) = c. Como una consecuencia del Teorema demostraremos a continuación el resultado fundamental de esta sección. Teorema Sea H un espacio de Hilbert. Supongamos que el funcional Φ : H R satisface las siguientes condiciones: (i) Φ es débilmente inferiormente semicontinuo (i.e. a R, Φ 1 (a, ) es un abierto para la topología débil en H) (ii) Φ es coercivo (i.e. Φ(u) + cuando u ). Entonces Φ está acotado inferiormente y existe u 0 H tal que Φ(u 0 ) = inf u H Φ(u). Demostración. De la coercividad de Φ se sigue que existe R > 0 tal que (1.1) Φ(u) Φ(0) u H con u R. Como la bola cerrada B R (0) es compacta en la topología débil en H (véase [6], Teorema III.16) y la restricción de Φ a la bola cerrada B R (0) es semicontinua inferiormente en la topología débil, se sigue del Teorema que existe u 0 B R (0) tal que (1.2) Φ(u 0 ) = inf Φ(u). u B R (0)
9 7 De (1.1) y (1.2) se deduce que Φ(u 0 ) = inf u H Φ(u). Observamos que si además de las hipótesis del Teorema 1.1.2, el funcional Φ : H R es diferenciable entonces cualquier punto de mínimo u 0 es un punto crítico de Φ, i.e. Φ (u 0 ) = 0. Veremos a continuación otra consecuencia del Teorema Teorema Bajo las mismas hipótesis del Teorema 1.1.2, dado un conjunto cerrado, convexo y no vacío C H existe u 0 C tal que Φ(u 0 ) = inf u C Φ(u). Demostración. Ejercicio 2. Proposiciones Auxiliares El objetivo central de esta sección es demostrar tres proposiciones de carácter técnico, que permiten verificar en las aplicaciones a ecuaciones diferenciales algunas de las hipótesis que son requeridas tanto en los teoremas fundamentales que han sido presentados en la Sección 1 como en los teoremas que presentaremos en los Capítulos 2 y 3. Inicialmente presentaremos un teorema de sustitución.
10 8 Proposición Sea R n un dominio acotado. Si g satisface: (i) g C( R, R) (ii) Existen constantes r, s 1 y a 1, a 2 0 tales que g(x, t) a 1 + a 2 t r s x, t R entonces la función u(x) g(x, u(x)) pertenece a C(L r (), L s ()). Demostración. Ejercicio (véase [26]). Sea R n un dominio acotado. Sea H el espacio de Sobolev H0 1 (), el cual es la completación del espacio con producto interno consistente de todas las funciones de clase C 1 (, R) que tienen su soporte compacto contenido en y cuyo producto interior está definido por u, v = u(x) v(x) dx. Al lector interesado en conocer más a fondo los espacios de Sobolev le sugerimos las trabajos de Adams ([1]) y de Brézis ([6]). La siguiente proposición establece una condición suficiente para saber cuándo un funcional que aparece frecuentemente en las aplicaciones a ecuaciones diferenciales es débilmente continuo. Proposición Sea R n un dominio acotado. Si g satisface: (i) g C( R, R)
11 9 (ii) Existen constantes a, b > 0 y 1 α < 2n n 2 si n 3 ( 1 α < si n = 1, 2) tales que g(x, t) a t α + b entonces el funcional I : H0 1 () R definido por I(u) = g(x, u(x)) dx, es débilmente continuo. Demostración. Ejercicio (véase [26]). El siguiente resultado nos proporciona una condición suficiente que garantiza que una clase importante de funcionales que aparecen en el estudio de ecuaciones elípticas semilineales pertenecen a la clase C 1 (H 1 0 (), R). Proposición Sea R n un dominio acotado con frontera suave. Supongamos que p satisface las siguientes condiciones: (i) p C( R, R) y (ii) Existen constantes a 1, a 2 0 tales que p(x, t) a 1 + a 2 t s x, t R, donde 0 s < n + 2 n 2 y n 3. Sea I : H0 1 () R el funcional definido por I(u) = ( 1 2 u 2 P (x, u)) dx,
12 10 donde P (x, t) = t p(x, s) ds. 0 Entonces I C 1 (H 1 0 (), R) y I (u)φ = ( u φ p(x, u) φ) dx φ H 1 0 (). Además, si J : H0 1 () R es el funcional definido por J(u) = P (x, u(x)) dx entonces J es un operador compacto. Demostración. Ejercicio (véase [26]). 3. Aplicaciones a Problemas Elípticos Semilineales En esta sección mostraremos, como consecuencia de los teoremas abstractos presentados en la Sección 1 y de las proposiciones desarrolladas en la sección anterior, algunas aplicaciones a la solución de problemas elípticos semilineales. Sea λ 1 < λ 2 λ k... la sucesión de valores propios de con condición de frontera de Dirichlet en. Para cada entero positivo m sea ϕ m la función propia correspondiente al valor propio λ m. Sea H el espacio de Sobolev H0 1 (). Como es bien conocido (véase [6], Teorema IX.31), el conjunto {ϕ m } es un conjunto ortonormal completo en H. Consideremos el siguiente problema de Dirichlet no lineal (1.3) u + f(x, u) = 0 en, u = 0 en,
13 11 donde es un dominio acotado en R n con frontera suave. Decimos que u H es una solución débil del problema (1.3) si para todo ϕ H ( u. ϕ f(x, u) ϕ) dx = 0. Supongamos que f satisface la siguientes condiciones: (i) f C( R, R), (ii) Existen constantes a, b 0 tales que f(x, ξ) a + b ξ s x, ξ R, donde 0 s < n + 2 n 2 y n 3. (iii) Existe β < λ 1 tal que lim sup ξ f(x, ξ) ξ β uniformemente en x. Teorema Si f satisface las hipótesis (i), (ii) y (iii) entonces el problema (1.3) tiene una solución débil u H 1 0. Demostración. Sea I : H0 1 R el funcional definido por I(u) = ( 1 2 u 2 F (x, u)) dx, donde F (x, t) = t f(x, s) ds. 0 Usando la Proposición se sigue que I C 1 (H 1 0, R) y que u H 1 0 es una solución débil de (1.3) si y sólo si u es un punto crítico del funcional I. El funcional I puede escribirse en la forma I(u) = Q(u) J(u),
14 12 donde Q(u) = 1 2 u 2 y J(u) = F (x, u) dx. El funcional Q es débilmente inferiormente semicontinuo (véase [6], Proposición III.5) y, por la Proposición 1.2.2, J es débilmente continuo. Por lo tanto el funcional I es débilmente inferiormente semicontinuo. Por otro lado, la hipótesis (iii) implica que lim sup ξ 2 F (x, ξ) ξ 2 β uniformemente en x. Fijemos β 1 con β < β 1 < λ 1. Por lo tanto existe R 1 > 0 tal que F (x, ξ) 1 2 β 1 ξ 2 x y ξ R tal que ξ R 1. Utilizando la hipótesis (i) se sigue que existe una constante γ 1 tal que F (x, ξ) γ 1 x y ξ R tal que ξ R 1. Por lo tanto F (x, ξ) γ β 1 ξ 2 x y ξ R. De la desigualdad anterior y de la definición del funcional I se sigue que I(u) 1 u β 1 u 2 γ 1. Por la desigualdad de Poincaré (véase [9], Lema 4.5) tenemos que u 2 λ 1 u 2.
15 13 Luego I(u) 1 2 (1 β 1 ) u 2 γ 1 λ 1 = 1 2 (1 β 1 λ 1 ) u 2 γ 1. De la desigualdad anterior se sigue que I(u) + si u. Por lo tanto el funcional I es coercivo. Utilizando el Teorema tenemos que existe u 0 H 1 0 tal que I(u 0 ) = inf I(u). u H0 1 Como I es de clase C 1 (H 1 0, R), u 0 es un punto crítico de I. A continuación dejamos como ejercicio otra aplicación del Teorema Consideremos el problema (1.4) u + f(x, u) = 0 en, u = 0 en, donde es un dominio acotado en R n (n 3) con frontera suave. Supongamos que f satisface la siguientes condiciones: (i) f C( R, R) (ii) Existe una constante 0 < r < 1 tal que f(x, ξ) a(x) + c ξ r x, ξ R, donde c > 0 y a(x) L r+1 r (). Teorema Si f satisface las hipótesis (i) y (ii) entonces el problema (1.4) tiene una solución débil u H 1 0. Demostración. Ejercicio.
16 CAPÍTULO 2 PUNTOS CRÍTICOS VIA MINIMAX En el capítulo anterior estudiamos el problema de localizar puntos críticos que son puntos de mínimo de funcionales. Sin embargo existen muchos problemas, en las aplicaciones a ecuaciones diferenciales, en los cuales los puntos críticos no se obtienen via minimización. En este capítulo discutiremos la existencia de otros puntos críticos de funcionales, los cuales no son necesariamente puntos de mínimo, y a los que llamaremos puntos de tipo minimax. El propósito central de este capítulo es demostrar el Teorema del Paso de la Montaña, un Teorema de Punto de Silla y presentar algunas aplicaciones a ecuaciones elípticas semilineales. Una herramienta fundamental en la prueba del Teorema del Paso de la Montaña es el llamado Lema de Deformación, el cual será presentado en la Sección 1. Este Lema juega un papel importante en todos los resultados abstractos de tipo minimax. En la Sección 2 demostraremos el Teorema del Paso de la Montaña y el Teorema de punto de Silla. Y en la Sección 3 presentamos algunas aplicaciones a la solución de problemas elípticos no lineales. 1. El Lema de Deformación Definición Sean E un espacio de Hilbert e I C 1 (E, R). Se dice que I satisface la condición de Palais-Smale, si cualquier sucesión {u n } n=1 en E, para la 14
17 15 cual {I(u n )} n=1 es acotada y lim n I (u n ) = 0, admite una subsucesión convergente. Lema (Lema de Deformación). Sea E un espacio de Hilbert. Supongamos que I C 1 (E, R) y satisface la condición de Palais-Smale. Para s, c R, sean K c = {u E : I(u) = c y I (u) = 0} y A s = {u E : I(u) s}. Si K c =. Entonces dado cualquier ɛ > 0, existen una constante ɛ (0, ɛ) y una función η C([0, 1] E, E) tales que: (i) η(0, u) = u para todo u E, (ii) η(1, u) = u si I(u) / [c ɛ, c + ɛ], (iii) η(1, A c+ɛ ) A c ɛ. Demostración. Véase [26]. Como una consecuencia del Lema de Deformación demostraremos a continuación un principio de minimización que es útil cuando el funcional en consideración no es coercivo. En la Sección 3 de este capítulo presentaremos una aplicación de este principio a ecuaciones diferenciales. Proposición Sean E un espacio de Hilbert e I C 1 (E, R). Supongamos que I satisface la condición de Palais-Smale y que I está acotado inferiormente.
18 16 Entonces existe u 0 E tal que I(u 0 ) = inf u E I(u). Demostración. Sea c = inf u E I(u). Como el funcional I está acotado inferiormente es claro que c >. Queremos demostrar que c es un valor crítico de I. Razonemos por el absurdo, supongamos que c no es valor crítico de I, es decir K c =. Sea ɛ > 0. Entonces el Lema de Deformación, garantiza la existencia de un ɛ (0, ɛ) y una función η C([0, 1] E, E) que satisfacen (i),(ii) y (iii) (ver Lema 2.1.2). De la definición de c se sigue que existe u E tal que I(u ) c + ɛ. Utilizando la propiedad (iii) del Lema de Deformación tenemos I(η(1, u )) c ɛ. Luego I(η(1, u )) c ɛ < c I(η(1, u )). Esta contradicción demuestra que K c.
19 17 2. El Teorema del Paso de la Montaña y un Teorema de Punto de Silla Utilizando el Lema de Deformación, demostraremos a continuación una técnica muy interesante de minimax que permite deducir la existencia de un punto crítico de un funcional. Esta técnica fue demostrada en [5] por Ambrosetti y Rabinowitz. Teorema (Teorema del Paso de la Montaña). Sea E un espacio de Hilbert y sea I C 1 (E, R) un funcional que satisface la condición de Palais-Smale. Supongamos que I(0) = 0, (i) existen constantes positivas ρ y α tales que I(u) α si u = ρ, y (ii) existe un elemento e E tal que e > ρ y I(e) 0. Entonces I posee un valor crítico c α. Además c puede ser caracterizado como (2.1) c = inf g Γ max 0 t 1 I(g(t)), donde Γ = {g C([0, 1], E)/ g(0) = 0, g(1) = e}. Demostración. Probaremos inicialmente que c, definido por (2.1), es tal que (2.2) α c <.
20 18 En efecto, para cada g Γ, max I(g(t)) existe porque I g es una función escalar 0 t 1 continua definida en [0, 1]. Luego c <. Además, si g Γ, la función g(t) es continua en el intervalo [0, 1]. Como g(0) = 0 y g(1) = e y por hipótesis e > ρ > 0, el Teorema del Valor Intermedio garantiza la existencia de un número t 0 (0, 1) tal que g(t 0 ) = ρ. Utilizando la hipótesis (i) se sigue que max I(g(t)) I(g(t 0)) α. 0 t 1 Puesto que g Γ era arbitraria, la anterior desigualdad completa la prueba de (2.2). Demostraremos a continuación que c es un valor crítico de I. Razonemos por el absurdo, supongamos que c no es valor crítico de I, es decir (2.3) K c =. Sea ɛ := α 2. Entonces el Lema de Deformación, garantiza la existencia de un ɛ (0, ɛ) y una función η C([0, 1] E, E) que satisfacen (i), (ii) y (iii) (ver Lema 2.1.2). Por (2.1), existe g 0 Γ tal que (2.4) max 0 t 1 I(g 0(t)) c + ɛ. Definamos h(t) := η(1, g 0 (t)) para todo t [0, 1]. Como η(1, ) C(E, E) y g 0 es continua en [0, 1], h = η(1, ) g 0 es tal que h C([0, 1], E). También g 0 (0) = 0 e I(g 0 (0)) = I(0) = 0 < α 2 c ɛ. Por
21 19 el Lema de Deformación se sigue que h(0) = η(1, 0) = 0. De manera similar, h(1) = η(1, e) = e. Por esto, h Γ y por (2.1) (2.5) c max 0 t 1 I(h(t)). Por (2.4), I(g 0 (t)) c + ɛ para todo t [0, 1]. Usando el Lema de Deformación tenemos I(h(t)) = I(η(1, g 0 (t)) c ɛ para todo t [0, 1]. Por lo tanto (2.6) max I(h(t)) c ɛ. 0 t 1 De (2.5) y (2.6) se sigue que c c ɛ. Esta contradicción demuestra que c es un valor crítico de I. A continuación presentamos otro teorema de minimax, el cual es útil para demostrar existencia de soluciones débiles para problemas elípticos semilineales. Teorema (Teorema de Punto de Silla). Sea E un espacio de Hilbert. Sean X e Y subespacios cerrados tales que E = X Y y 0 < dim X <. Sea
22 20 I C 1 (E, R) un funcional que satisface la condición de Palais-Smale. Supongamos que (i) Existen constantes α R y r > 0 tales que I Dr (0) X α, y (ii) Existe una constante β > α tal que I Y β. Entonces I posee un valor crítico c, que se caracteriza como c = inf max h Γ x D r X I(h(x)), donde Γ = {h C(D r (0) X, E) : h = Id en D r (0) X}. Demostración. Véase [26] (se usa Teoría de Grado!!). 3. Aplicaciones a Problemas Elípticos Semilineales Inicialmente presentaremos una aplicación del principio de minimización desarrollado en la Proposición Teorema Sea un dominio acotado en R n. Sea g : R R una función continua y acotada. Entonces el problema de Dirichlet no lineal (2.7) u + u = g(x, u), en u = 0, en, Tiene al menos una solución débil en H 1 0 (). Demostración. Imitando la prueba de la Proposición se demuestra que el funcional I : H0 1 R definido por I(u) = ( 1 2 u u2 G(x, u)) dx,
23 21 donde G(x, t) = t 0 g(x, s) ds, es un funcional de clase C1 (H 1 0, R). Además, (2.8) I (u) v = ( u v + u v g(x, u) v) dx v H 1 0. Luego u H 1 0 es una solución débil de (2.7) si y sólo si u es un punto crítico del funcional I. Probemos ahora que el funcional I está acotado inferiormente. En efecto, como g es acotada existe M > 0 tal que g(x, u(x)) M. Luego G(x, u(x)) u(x) 0 g(x, t) dt M u(x) 1 2 M u(x) 2. Por lo tanto (2.9) I(u) 1 2 u u M u M M 2. u 2 Luego I está acotado inferiormente. Demostraremos ahora que el funcional I satisface la condición de Palais-Smale. Para esto supongamos que (u n ) es una sucesión en H 1 0 tal que (I(u n )) está acotada y I (u n ) 0. Usando (2.9) se prueba que la sucesión (u n ) está acotada en H 1 0. Notemos que I es de la forma Identidad-Compacto. A partir de esto se verifica la condición de Palais-Smale.
24 22 Usando la Proposición se concluye que existe un punto crítico u H 1 0. Lo cual completa la demostración del teorema. El Teorema del Paso de la Montaña se utilizará a continuación para probar la existencia de soluciones débiles de problemas elípticos semilineales. Consideremos el problema (2.10) u + p(x, u) = 0 en u = 0 en, donde R n es un dominio acotado (n 3). Supongamos que p satisface las siguientes condiciones: (i) p C( R, R), (ii) Existen constantes a 1, a 2 0 tales que p(x, ξ) a 1 + a 2 ξ s x, ξ R, donde 0 s < n+2 n 2. (iii) p(x, ξ) = ( ξ ) cuando ξ 0, uniformemente en x. (iv) Existen constantes µ > 2 y r 0 tales que para todo ξ r 0 < µp (x, ξ) ξ p(x, ξ), donde P (x, ξ) = ξ 0 p(x, s) ds. Teorema Si la funcion p satisface las hipótesis (i)-(ii)-(iii)-(iv) entonces el problema (2.10) tiene una solución débil no trivial.
25 23 Demostración. De la Proposición se sigue que u H := H0 1 () es una solución débil de (2.10) si y sólo si u es un punto crítico del funcional I C 1 (H0 1, R) definido por (2.11) I(u) = ( 1 2 u 2 P (x, u)) dx. Además, (2.12) I (u) v = ( u v p(x, u) v) dx v H 1 0. Debemos verificar que el funcional I satisface las hipótesis del Teorema del Paso de la Montaña. La continuidad de la función p y la hipótesis (iii) implican que p(x, 0) = 0. Luego el problema (2.10) posee la solución trivial u 0. Además, de (2.11) se sigue que I(0) = 0. La primera hipótesis del Teorema del Paso de la Montaña (hipótesis (i) del Teorema 2.2.1) es una consecuencia de la siguiente afirmación. Afirmación 1. u = 0 es un punto de mínimo local estricto del funcional I. Prueba. EJERCICIO (o véase [26]). Demostraremos ahora la segunda hipótesis del Teorema del Paso de la Montaña (hipótesis (ii) del Teorema 2.2.1). Usando la hipótesis (iv) se prueba fácilmente que existen constantes a 3, a 4 > 0 tales que (2.13) P (x, ξ) a 3 ξ µ a 4 x ξ R.
26 24 Observamos que como µ > 2, P (x, ξ) es supercuadrática en ξ. Por (iv), p(x, ξ) es superlineal cuando ξ. Fijemos un elemento v H tal que v 0. Sea u = t v, donde t > 0. Usando (2.11) y (2.13) se sigue que (2.14) I(u) = I(t v) 1 2 t2 v 2 a 3 t µ v µ L µ + a 4. Tomando el límite en (2.14) cuando t + y teniendo en cuenta que µ > 2 tenemos que I(t v) si t +. Luego la segunda hipótesis del Teorema del Paso de La Montaña es válida. Demostraremos ahora que el funcional I satisface la condición de Palais-Smale. Sea (u n ) una sucesión en H 1 0 tal que (2.15) lim n I (u n ) = 0 y I(u n ) M, para alguna constante M > 0. Usando (2.11) y (2.12) tenemos (2.16) I(u n ) = 1 2 u 2 P (x, u n ) dx y (2.17) 1 µ I (u n ) u n = 1 µ u n 2 1 p(x, u n ) u n dx. µ
27 25 Usando (2.15) se sigue que para n suficientemente grande I(u n ) 1 µ I (u n )u n M + 1 µ u n. De (2.16), (2.17) y la desigualdad anterior se sigue que (2.18) ( ) ( ) 1 u n 2 + µ µ p(x, u n) u n P (x, u n ) M + 1 µ u n. Sea T := 1 µ p(x, u n) u n P (x, u n ). Ahora (2.19) T dx = {x ; u(x) r} T dx + {x ; u(x) r} T dx. Por la hipótesis (iv) la primera integral del lado derecho de (2.19) es positiva. Además, la segunda integral está acotada inferiormente por una constante K > 0 que no depende de n. Luego (2.18) y la observación anterior implican que Por lo tanto, ( ) u n 2 + K M + 1 µ µ u n. (2.20) ( ) u n 2 1 µ µ u n + K M. Como µ > 2, (2.20) implica que la sucesión (u n ) es una sucesión acotada en H. Notemos que I es de la forma Identidad-Compacto. A partir de esto se verifa la condición de Palais-Smale. Como el funcional I satisface las hipótesis del Teorema del Paso de la Montaña se concluye que el funcional I tiene un punto crítico u H no trivial.
28 CAPÍTULO 3 PUNTOS CRÍTICOS VIA REDUCCIÓN En este capítulo presentaremos una técnica que permite reducir el estudio de los puntos críticos de un funcional I definido en un espacio de Hilbert H al estudio de los puntos críticos de un funcional Î definido en un subespacio cerrado de H, el cual es, generalmente, de dimensión finita. Esta técnica se conoce como el método de reducción y permite demostrar la existencia de soluciones para problemas de Dirichlet no lineales. En la Sección 1 demostraremos los resultados principales que explican el método de reducción (véase los Teoremas y 3.1.4) y en la Sección 2 aplicaremos dicho método para probar la existencia de soluciones débiles para problemas elípticos semilineales. 1. Teoremas Centrales Sean H un espacio de Hilbert real y f : H R una función diferenciable. Sea f (u) la derivada de Fréchet de f en u H. Por el Teorema de Representación de Riesz, existe un único elemento f(u) H, que llamaremos el gradiente de f en u, tal que f (u) v = f(u), v v H. 26
29 27 El siguiente resultado será una herramienta de gran utilidad en la demostración del teorema principal de este capítulo y es una consecuencia del Teorema Lema Sea f : H R una función de clase C 1. Si existe m > 0 tal que f(x) f(y), x y m x y 2 x, y H entonces f tiene un único punto de mínimo en H. Además, el punto de mínimo es el único punto crítico de f. Demostración. Utilizando la expresión integral f(y) f(x) = 1 0 f(x + s(y x)), (y x) ds x, y H, que es una consecuencia de la regla de la cadena, y la hipótesis del lema se sigue que f((1 t)x + ty) (1 t)f(x) + t f(y). Por lo tanto f es una función convexa. Como f es una función continua y convexa se tiene que f es débilmente inferiormente semicontinua (véase [6], Corolario III.8). Demostraremos a continuación que f es una función coerciva. Usando la expresión
30 28 integral vista arriba, la hipótesis y la desigualdad de Schwarz tenemos f(x) = f(0) + = f(0) f(0) + m 0 1 f(sx), x ds f(sx) f(0), x ds + f(0), x 0 s x 2 ds f(0) x = f(0) + m 2 x 2 f(0) x. Luego f(x) cuando x. Por lo tanto f es una función coerciva. Usando el Teorema se sigue que f está acotada inferiormente y que existe u 0 H tal que f(u 0 ) = inf u H f(u). Luego u 0 es un punto de mínimo de f en H. Como f es diferenciable se concluye que u 0 es un punto crítico de f. Demostraremos ahora que f tiene un único punto crítico. En efecto, supongamos que existe otro punto crítico u 1 H. Usando la hipótesis tenemos que 0 = f(u 0 ) f(u 1 ), u 0 u 1 m u 0 u 1 2. Por lo tanto u 0 = u 1. A continuación presentamos el resultado principal de este capítulo.
31 29 Teorema Sea f : H R una función de clase C 1. Supongamos que existen subespacios cerrados X e Y de H tales que H = X Y y que existe una constante m > 0 tal que (3.1) f(x + y 1 ) f(x + y 2 ), y 1 y 2 m y 1 y 2 2 x X, y 1, y 2 Y. Entonces existe una función continua φ : X Y que satisface: i) ii) La función f(x + φ(x)) = min y Y f(x + y). ˆf : X R x ˆf(x) = f(x + φ(x)) es de clase C 1 y (3.2) ˆf(x), h = f(x + φ(x)), h x, h X f(x + φ(x)), y = 0 x X, y Y Demostración. Para cada x X definamos la función f x : Y R y f x (y) = f(x + y)
32 30 Se demuestra fácilmente (Ejercicio) que f x C 1 (Y, R), f x(y) = f (x + y) Y y (3.3) f x (y), h = f(x + y), h h Y. Usando (3.3) y la hipótesis (3.1) se sigue que f x (y 1 ) f x (y 2 ), y 1 y 2 = f(x + y 1 ) f(x + y 2 ), y 1 y 2 m y 1 y 2 2. Utilizando el Lema se tiene que f x tiene un único punto crítico φ(x) Y, que es un punto de mínimo de f x ; es decir, f x (φ(x)) = min y Y f x(y). Por lo tanto, f(x + φ(x)) = min f(x + y). y Y En particular, φ(x) es el único elemento de Y tal que (3.4) 0 = f x (φ(x)), y = f(x + φ(x)), y y Y. Se prueba (véase A. Castro [8] Lema 3.2) que la función φ : X Y x φ(x) es continua, la función ˆf : X R x ˆf(x) = f(x + φ(x))
33 31 es de clase C 1 y ˆf(x), h = f(x + φ(x)), h x, h X. El siguiente resultado permite conseguir puntos críticos de tipo maxmin. Su demostración está basada en el teorema anterior y en el Teorema Teorema Sean f, ˆf, X, Y y H como en el Teorema Si ˆf es débilmente inferiormente semicontinua y f(x) cuando x (x X) entonces existe u 0 H tal que f (u 0 ) = 0 y f(u 0 ) = max min x X y Y f(x + y). Demostración. Ejercicio. 2. Aplicaciones a Problemas Elípticos Semilineales Presentamos a continuación tres aplicaciones de los teoremas de la Sección 1 a la existencia de soluciones débiles para problemas elípticos semilineales. En el resto del capítulo R n designará un dominio acotado con frontera suave. Sean {λ 1, λ 2, λ 3, } la sucesión de valores propios y {ϕ 1, ϕ 2, ϕ 3, } la sucesión de funciones propias de con condición de frontera de Dirichlet. El siguiente teorema se debe a A. Castro y J. Cossio (véase [10]).
34 32 Teorema Sea g : R R una función diferenciable tal que g ( ) := g(t) lim t t (λ k, λ k+1 ) (k 2) y g (t) γ < λ k+1 t R. Entonces el problema (3.5) u + g(u) = 0 en, u = 0 en, tiene al menos una solución débil en H 1 0 (). Demostración. Sea I : H := H0 1 () R el funcional definido por I(u) = ( 1 2 u 2 G(u)) du, donde G(t) = t g(s) ds. 0 Como g C(R, R) y g ( ) R existen constantes a 1, a 2 > 0 tales que g(t) a 1 + a 2 t t R. Usando la Proposición se tiene que I C 1 (H, R) y I(u), v = ( u. v g(u) v) v H. Sean X = ϕ 1, ϕ 2,, ϕ k y Y = ϕ k+1, ϕ k+2,,. Por lo tanto H = X Y. Demostraremos a continuación que el funcional I satisface las hipótesis del Teorema En efecto, sean x X y y 1, y 2 Y. Usando el Teorema del Valor Medio y el
35 33 hecho de que g (t) γ se sigue que I(x + y 1 ) I(x + y 2 ), y 1 y 2 = (y 1 y 2 ). (y 1 y 2 ) (g(x + y 1 ) g(x + y 2 )) (y 1 y 2 ) = y 1 y 2 2 g (η)(y 1 y 2 ) 2 y 1 y 2 2 γ (y 1 y 2 ) 2. Como y 2 λ k+1 y2 y Y (Ejercicio), se tiene que I(x + y 1 ) I(x + y 2 ), y 1 y 2 (1 γ λ k+1 ) y 1 y 2 2. Luego se satisfacen las hipótesis del Teorema Por lo tanto existe una función continua φ : X Y tal que I(x + φ(x)) = min I(x + y) y Y (x X). Además, φ(x) es el único elemento de Y tal que I(x + φ(x)), y = 0 y Y, la función es de clase C 1 y Î : X R x Î(x) = I(x + φ(x)) Î(x), h = I(x + φ(x)), h x, h X.
36 34 Como g ( ) (λ k, λ k+1 ) se demuestra fácilmente que existen constantes b R y ˆγ > λ k tales que (3.6) G(t) ˆγ 2 t2 + b t R. Usando (3.6) se sigue que Î(x) I(x) = 1 2 x 2 G(x) 1 2 x 2 ˆγ 2 x 2 b. Como x 2 λ N x2 x X (Ejercicio), se tiene que (3.7) Î(x) 1 ) (1 ˆγλk x 2 b x X. 2 De (3.7), como ˆγ > λ k se deduce que Î(x) cuando x. Como dim X <, existe x 0 X tal que (3.8) Î(x 0 ) = max Î(x). x X Por lo tanto I(x 0 + φ(x 0 )) = max min x X y Y I(x + y). Si llamamos u 0 = x 0 + φ(x 0 ) H se sigue que para todo x X y y Y I(x 0 + φ(x 0 )), x + y = I(x 0 + φ(x 0 )), x + I(x 0 + φ(x 0 )), y = 0.
37 35 Luego I(u 0 ) = 0 y I(u 0 ) = max min I(x + y). x X y Y Por lo tanto u 0 es un punto crítico del funcional I y por consiguiente una solución débil del problema (3.5). De manera similar a como se demostró el Teorema se prueba el siguiente resultado. Teorema Sea g : R R una función que satisface las siguientes condiciones: i) g es una función Lipschitz, con constante de Lipschitz α tal que 0 < α < λ N+1. ii) Existen constantes β y γ tales que β > λ N y t 0 g(s) ds β 2 t2 + γ. Entonces el problema (3.9) u + g(u) = 0 en, u = 0 en, tiene al menos una solución débil en H 1 0 (). Demostración. Ejercicio
38 REFERENCIAS 1. R. Adams, Sobolev Spaces, Academic Press, New York, S. Agmon, The L p approach to the Dirichlet problem, Ann. Scuola Norm. Sup. Pisa 13 (1959), A. Ambrosetti, On the existence of multiple solutions for a class of nonlinear boundary value problems, Rend. Sem. Mat. Univ. Padova 49 (1973), A. Ambrosetti, Critical points and nonlinear variational problems, Mim. Soc. Math. France 49 (1992). 5. A. Ambrosetti and P. Rabinowitz, Dual variational methods in critical point theory and applications, J. Funct. Anal. 14 (1973), H. Brezis, Análisis Funcional, Alianza Editorial, Masson, Paris, H. Brezis and L. Nirenberg, H 1 versus C 1 minimizers, C.R. Acad. Sci. Paris 317 Serie I (1993), A. Castro, Métodos de reducción via minimax, Primer simposio Colombiano de Análisis Funcional, Medellín, A. Castro, Métodos variacionales y Análisis Funcional no Lineal, X Coloquio Colombiano de Matemáticas, Paipa, Colombia, A. Castro and J. Cossio, Multiple solutions for a nonlinear Dirichlet problem, SIAM J. Math. Anal. 25, No.6 (1994), A. Castro and A. Lazer, Critical point theory and the number of solutions of a nonlinear Dirichlet problem, Ann. Mat. Pura Appl. (4) 120 (1979),
39 A. Castro and A. Lazer, Applications of a max-min principle, Rev. Colombiana Mat. X (1976), K. C. Chang, Morse theory in nonlinear Analysis, Proc. Symp. ICTP (1997). 14. K. C. Chang, Infinite dimensional Morse theory and multiple solution problems, Birkhauser, Boston, S. Chow and J. Hale, Methods of bifurcation theory, A series of comprehensive studies in Mathematics 251, Springer-Verlag, New York, C. C. Conley, Isolated invariant sets and the Morse index, J. CBMS regional Conf. Ser. in Math. No. 38, Amer. Math. Soc. Providence, R. I. (1978). 17. J. Cossio, Multiple solutions for semilinear elliptic boundary value problems, Dissertation, University of North Texas (1991). 18. D. G. Costa, Tópicos em Análise não-linear e applicações as equações diferenciais, VIII Escola Latino-Americana de Matematica, Rio de Janeiro, D.G. Costa and M. Willem, Multiple critical points of invariant functionals and applications, MRC Technical Summary report 2532 (1983). 20. N. Ghoussoub, Duality and perturbation methods in critical point theory, Cambridge University Press, Cambridge, E.M. Landesman, A.C. Lazer, and D. Meyers, On saddle point problems in the calculus of variations, the Ritz algorithm, and monotone convergence, J. Math. Anal. Appl. 53 (1975), L. Ljusternik and L. Schnirelmann, Methodes topologique dans les problémes
40 38 variationnels (Hermann and Cie, eds.), Paris, R. H. Martin Jr., Nonlinear operators and differential equations in Banach spaces, J. Wiley & Sons, New York, J. Milnor, Morse theory, Princeton University Press, Princeton N. J., L. Nirenberg, Variational and topological methods in nonlinear problems, Bull. Amer. Math. Soc. 4 (1981), P. H. Rabinowitz, Minimax methods in critical point theory with applications to differential equations, CBMS Amer. Math. Soc. No. 65, P. H. Rabinowitz, A note on nonlinear eigenvalue problems for a class of differential equations, J. differential Equations 9 (1971), P. H. Rabinowitz, Variational methods for nonlinear eigenvalue problems, C.I.M.E. Edizioni Cremonese, Roma, 1975, pp P. H. Rabinowitz, A bifurcation theorem for potential operators, J. Funct. Anal. 25 (1977), P. H. Rabinowitz, Some minimax theorems and applications to nonlinear partial differential equations, Nonlinear Analysis (1978), P. H. Rabinowitz, Some critical point theorems and applications to semilinear elliptic partial differential equations, Ann. Scuola Norm. Sup. pisa Cl. Sci. (4)5 (1978), P. H. Rabinowitz, Multiple critical points of perturbed symmetric functionals, Trans. Amer. Math. Soc. 272 (1982),
41 P. H. Rabinowitz, The Mountain Pass Theorem: theme and variations, differential equations, Springer-Verlag Lecture Notes in Mathematics 957, M. Willem, Minimax Theorem, Birkhauser, 1996.
APLICACIÓN DE UN PRINCIPIO DE MINIMIZACIÓN
This is a reprint from Revista de la Academia Colombiana de Ciencias Vol. 28 (106) (2004), 21-25 APLICACIÓN DE UN PRINCIPIO DE MINIMIZACIÓN por Jorge Cossio & Germán Jiménez APLICACIÓN DE UN PRINCIPIO
Existencia de soluciones para un problema de Dirichlet sublineal
Vol. VIII, N o 1, Mayo (3004) Matemáticas: 16 Matemáticas: Enseñanza Universitaria c Escuela Regional de Matemáticas Universidad del Valle - Colombia Existencia de soluciones para un problema de Dirichlet
5.1. Límite de una Función en un Punto
Capítulo 5 Continuidad 51 Límite de una Función en un Punto Definición 51 Sean (X, d) y (Y, ρ) espacios métricos, D X, f : D Y una función, a X un punto de acumulación de D y b Y Decimos que b es el límite
Espacio de Funciones Medibles
Capítulo 22 Espacio de Funciones Medibles Igual que la σ-álgebra de los conjuntos medibles, la familia de funciones medibles, además de contener a todas las funciones razonables (por supuesto son medibles
si este límite es finito, y en este caso decimos que f es integrable (impropia)
Capítulo 6 Integrales impropias menudo resulta útil poder integrar funciones que no son acotadas, e incluso integrarlas sobre recintos no acotados. En este capítulo desarrollaremos brevemente una teoría
Sucesiones y series de números reales
Capítulo 2 Sucesiones y series de números reales 2.. Sucesiones de números reales 2... Introducción Definición 2... Llamamos sucesión de números reales a una función f : N R, n f(n) = x n. Habitualmente
1. DIFERENCIABILIDAD EN VARIAS VARIABLES
1 1. DIFERENCIABILIDAD EN VARIAS VARIABLES 1.1. DERIVADAS DIRECCIONALES Y PARCIALES Definición 1.1. Sea f : R n R, ā R n y v R n. Se define la derivada direccional de f en ā y en la dirección de v como:
El cuerpo de los números reales
Capítulo 1 El cuerpo de los números reales 1.1. Introducción Existen diversos enfoques para introducir los números reales: uno de ellos parte de los números naturales 1, 2, 3,... utilizándolos para construir
Sea V C(R n ) tal que V (x) 1 para todo x R n y lím x + V (x) = +. Consideramos el espacio } H := u L 2 (R n ) tal que u 2 H := u 2 + V u 2 dx <.
Ecuaciones Diferenciales No Lineales, 1 cuat. 2013 Nicolas Saintier. Problemas con perdida de compacidad. Ganar compacidad: usando pesos Sea V C(R n ) tal que V (x) 1 para todo x R n y lím x + V (x) =
CÁLCULO DIFERENCIAL Muestras de examen
CÁLCULO DIFERENCIAL Muestras de examen Febrero 2012 T1. [2] Demostrar que la imagen continua de un conjunto compacto es compacto. T2. [2.5] Definir la diferencial de una función en un punto y demostrar
Luego, en el punto crítico
Matemáticas Grado en Química Ejercicios propuestos Tema 5 Problema 1. Obtenga y clasique los puntos críticos de las siguientes funciones: a fx, y = x +y, b fx, y = x y, c fx, y = x 3 + y. Solución del
En este capítulo obtendremos los resultados básicos del cálculo diferencial para funciones reales definidas sobre R o sobre intervalos.
Capítulo 6 Derivadas 61 Introducción En este capítulo obtendremos los resultados básicos del cálculo diferencial para funciones reales definidas sobre R o sobre intervalos Definición 61 Sea I R, I, f :
Conocimientos, a nivel de grado, de: análisis matemático real y complejo, análisis funcional y ecuaciones diferenciales.
GUIA DOCENTE DE LA ASIGNATURA Curso 2017/18 MÓDULO MATERIA ASIGNATURA CURSO SEMESTRE CRÉDITOS CARÁCTER Métodos y Modelos Matemáticos en Ciencias e Ingenierías Análisis no Lineal y Ecuaciones Diferenciales
TEMA 4: DERIVADAS. En símbolos, la pendiente de la curva en P = lim Q P (pendiente de P Q).
TEMA 4: DERIVADAS 1. La derivada de una función. Reglas de derivación 1.1. La pendiente de una curva. La pendiente de una curva en un punto P es una medida de la inclinación de la curva en ese punto. Si
Dependencia e independencia lineal
CAPíTULO 3 Dependencia e independencia lineal En este capítulo estudiaremos tres conceptos de gran importancia para el desarrollo del álgebra lineal: el concepto de conjunto generador, el concepto de conjunto
2. El Teorema del Valor Medio
2.24 45 2. El Teorema del Valor Medio Comenzaremos esta sección recordando dos versiones del teorema del valor medido para funciones de 1-variable y por tanto ya conocidas: 2.22 Sea f : [a, b] R R una
Boletín de Matemáticas Nueva Serie, Volumen XI No. 1 (2004), pp PUNTOS FIJOS COMUNES DE CONTRACCIONES GENERALIZADAS
Boletín de Matemáticas Nueva Serie, Volumen XI No. 1 (2004), pp. 132 137 PUNTOS FIJOS COMUNES DE CONTRACCIONES GENERALIZADAS JAIME RODRÍGUEZ MONTES (*) To Jairo Charris in memoriam Resumen. Se demuestra
Práctica 2 Métodos de búsqueda para funciones de una variable
Práctica 2 Métodos de búsqueda para funciones de una variable Introducción Definición 1. Una función real f se dice que es fuertemente cuasiconvexa en el intervalo (a, b) si para cada par de puntos x 1,
Existencia de solución débil de un problema semilineal elíptico
UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS FACULTAD DE CIENCIAS MATEMÁTICAS E.A.P. DE MATEMÁTICA Existencia de solución débil de un problema semilineal elíptico TESIS Para optar el Título Profesional de
A partir de la definición obtenemos las siguientes propiedades para estas funciones:
Capítulo 1 Conjuntos Supondremos conocidas las nociones básicas sobre teoría de conjuntos, tales como subconjuntos, elementos, unión, intersección, complemento, diferencia, diferencia simétrica, propiedades
Introducción al estudio cualitativo de soluciones elípticas superlineales en dominios simétricos
Introducción al estudio cualitativo de soluciones elípticas superlineales en dominios simétricos Hugo Aduén Departamento de Matemáticas y Estadística Universidad de Córdoba Bogotá 2010 Hugo Aduén () Introducción
4. " $#%&' (#) para todo $#* (desigualdad triangular).
10 Capítulo 2 Espacios Métricos 21 Distancias y espacios métricos Definición 211 (Distancia) Dado un conjunto, una distancia es una aplicación que a cada par le asocia un número real y que cumple los siguientes
sup si A no es acotado.
Capítulo 5 Teoría de Baire 1. El teorema de Cantor En este capítulo estudiaremos más a fondo los espacios métricos completos. Lo primero que haremos es establecer la equivalencia entre completitud y la
METODOS NO-VARIACIONALES. Usando el teorema de la función inversa - ver [1] u + sin(u) = f en U, u = 0. sobre U. u + u 3 = f en U, u = 0
Ecuaciones Diferenciales No Lineales, 1 cuat. 2013 Nicolas Saintier. METODOS NO-VARIACIONALES Usando el teorema de la función inversa - ver [1] 1. Queremos probar que para f L 2 (U) con f 2 sucientemente
ECUACIONES DIFERENCIALES ORDINARIAS. HOJA 8. Conjuntos invariantes
ECUACIONES DIFERENCIALES ORDINARIAS. HOJA 8. CONJUNTOS INVARIANTES Y CONJUNTOS LÍMITE. ESTABILIDAD POR EL MÉTODO DE LIAPUNOV. Conjuntos invariantes 1. Definición. Se dice que un conjunto D Ω es positivamente
Proyecciones ortogonales (métricas) en espacios de funciones continuas
Proyecciones ortogonales (métricas) en espacios de funciones continuas Rafa Espínola Universidad de Sevilla III Encuentro de Análisis Funcional Miraflores de la Sierra, Madrid Junio 21-23, 2007 1 Nonexpansive
Cálculo infinitesimal de varias variables reales Volumen 1
Cálculo infinitesimal de varias variables reales Volumen 1 José María Rocha Martínez Departamento de Matemáticas Escuela Superior de Física y Matemáticas del IPN Gabriel D Villa Salvador Departamento de
Topología de la Recta
Capítulo 2 Topología de la Recta 21 Introducción En este capítulo introducimos algunas nociones sobre topología de los espacios métricos Nuestro interés se limitará en el futuro al caso real o a los espacios
Teorema de Hahn-Banach
Capítulo 3 Teorema de Hahn-Banach 3.1. Introducción Una vez introducidos los espacios vectoriales más importantes donde se tiene una estructura métrica a saber, los espacios de Hilbert y los espacios de
iii. Q es denso en F (para todo par x, y F tal que x < y, existe un r Q tal que x < r < y); v. Para todo a R tal que a < 1, lím n a n = 0.
LOS TEOREMAS CENTRALES DEL CÁLCULO Y LA COMPLETITUD DE LA RECTA NUMÉRICA: UNA REFLEXIÓN SOBRE LA IMPOSIBILIDAD DE FORMULAR EL CÁLCULO EN EL CONJUNTO DE LOS NÚMEROS RACIONALES JORGE M. LÓPEZ Resumen. En
sup si A no es acotado.
Capítulo 6 Espacios completos 1. El teorema de Cantor En este capítulo estudiaremos más a fondo los espacios métricos completos. Lo primero que haremos es establecer la equivalencia entre completitud y
1. Teorema Fundamental del Cálculo
1. Teorema Fundamental del Cálculo Vamos a considerar dos clases de funciones, definidas como es de otras funciones Funciones es. F (t) = t a f(x)dx donde f : R R, y F (t) = f(x, t)dx A donde f : R n R
Cuatro Problemas de Álgebra en la Olimpiada Internacional de Matemáticas.
Boletín de la Asociación Matemática Venezolana, Vol. XV, No. 1 (2008) 131 Cuatro Problemas de Álgebra en la Olimpiada Internacional de Matemáticas. Rafael Sánchez Lamoneda Introducción. El presente artículo
Números naturales, principio de inducción
, principio de inducción. Conjuntos inductivos. Denotaremos por IN al conjunto de números naturales, IN {,,, 4, 5, 6,...}, cuyos elementos son suma de un número finito de unos. Recordemos que IN es cerrado
El Problema de Pick y el Teorema de Cole-Lewis-Wermer
Divulgaciones Matemáticas Vol. 10 No. 1(2002), pp. 13 28 El Problema de Pick y el Teorema de Cole-Lewis-Wermer The Pick Problem and The Cole-Lewis-Wermer Theorem Gladys Cedeño (gmcedeno@cantv.net) Departamento
EXISTENCIA DE SOLUCIONES POSITIVAS PARA PROBLEMAS NO LINEALES CON DISCONTINUIDADES INDEFINIDAS
Bol. Soc. Mat. Mexicana (3) Vol. 3, 27 EXISTENCIA DE SOLUCIONES POSITIVAS PARA PROBLEMAS NO LINEALES CON DISCONTINUIDADES INDEFINIDAS MARCO CALAHORRANO Resumen. En este artículo presentamos algunos resultados
Lógica Proposicional, Teoremas y Demostraciones
Lógica Proposicional, Teoremas y Demostraciones Manuel Maia 19 de marzo de 2012 1 Proposiciones Una proposición es una oración declarativa o una expresión matemática que es verdadera o es falsa, pero no
Curso Propedéutico de Cálculo Sesión 2: Límites y Continuidad
y Laterales Curso Propedéutico de Cálculo Sesión 2: y Joaquín Ortega Sánchez Centro de Investigación en Matemáticas, CIMAT Guanajuato, Gto., Mexico y Esquema Laterales 1 Laterales 2 y Esquema Laterales
diám A = x,y A d(x,y) si A es acotado si A no es acotado. {d(x,y) : x,y A}
Capítulo 6 Teoría de Baire 1. El teorema de Cantor En este capítulo estudiaremos más a fondo los espacios métricos completos. Lo primero que haremos es establecer la equivalencia entre completitud y la
Tema 2. Grupos. 3. El conjunto de matrices de orden 2 con coeficientes enteros (o reales) con la suma es un grupo conmutativo.
Tema 2. Grupos. 1 Grupos Definición 1 Un grupo es una estructura algebraica (G, ) tal que la operación binaria verifica: 1. * es asociativa 2. * tiene elemento neutro 3. todo elemento de G tiene simétrico.
El Principio del Máximo
REVISTA SIGMA Departamento de Matemáticas Universidad de Nariño Volumen VIII(2008), páginas 28-34 El Principio del Máximo Miller Cerón Gómez 1 Abstract. This article introduce the basic definition of maximun
Espacios métricos completos
5 Espacios métricos completos Comenzamos introduciendo las sucesiones de Cauchy, que relacionamos con las sucesiones convergentes. En el caso de que coincidan, se trata de un espacio métrico completo.
Sobre un problema con condición de frontera de Neumann no lineal
Bol. Mat. 21, 1 12 213 1 Sobre un problema con condición de frontera de Neumann no lineal Mauricio Bogoya 1 Departamento de Matemáticas Universidad Nacional de Colombia Bogotá Se estudia un problema de
Complementos de Matemáticas, ITT Telemática
Introducción Métodos de punto fijo Complementos de Matemáticas, ITT Telemática Tema 1. Solución numérica de ecuaciones no lineales Departamento de Matemáticas, Universidad de Alcalá Introducción Métodos
Espacios Normados (Normas en R n )
Espacios Normados (Normas en R n ) Uno de los conceptos más importantes del cálculo y del analisis matemático es el de métrica o distancia. En R n la noción de metrico depende a su vez del concepto de
Bifurcación de soluciones desde infinito en un valor propio de multiplicidad infinita a un problema hiperbólico semilineal doble-periódico
http://revistasudistritaleduco/ojs/indexphp/revcie/index Artículo de investigación Bifurcación de soluciones desde infinito en un valor propio de multiplicidad infinita a un problema hiperbólico semilineal
Topología de R n. Beatriz Porras
Producto escalar, métrica y norma asociada. Topología de R n Beatriz Porras 1 Producto escalar, métrica y norma asociada Consideramos el espacio vectorial R n sobre el cuerpo R; escribimos los vectores
Sistemas de ecuaciones diferenciales nolineales indefinidas
Marco Calahorrano Miguel Yangari Departamento de Matemática, Facultad de Ciencias marco.calahorrano@epn.edu.ec,miguel.angari@epn.edu.ec Resumen En el presente trabajo se demuestra la existencia de al menos
Producto cartesiano. X Y = {(x, y) : x X, y Y }. Ejemplo En el tablero de ajedrez, X = números del 1-8, Y = letras de A-H.
Producto cartesiano Motivación: Has oido hablar sobre gente que juega ajedrez sin tener que mirar nunca el tablero?. Esto es posible, y se debe a una herramienta llamada coordenadas de un punto. En un
Anexo C. Introducción a las series de potencias. Series de potencias
Anexo C Introducción a las series de potencias Este apéndice tiene como objetivo repasar los conceptos relativos a las series de potencias y al desarrollo de una función ne serie de potencias en torno
Matemáticas Febrero 2013 Modelo A
Matemáticas Febrero 0 Modelo A. Calcular el rango de 0 0 0. 0 a) b) c). Cuál es el cociente de dividir P(x) = x x + 9 entre Q(x) = x +? a) x x + x 6. b) x + x + x + 6. c) x x + 5x 0.. Diga cuál de las
TEMA 11. Autovalores y autovectores. Diagonalización y formas canónicas.
TEMA 11 F MATEMÁTICOS TEMA 11 Autovalores y autovectores Diagonalización y formas canónicas 1 Introducción Definición 1 (Matrices semejantes) Sean A y B dos matrices cuadradas de orden n Decimos que A
Métodos Numéricos: Resumen y ejemplos Tema 5: Resolución aproximada de ecuaciones
Métodos Numéricos: Resumen y ejemplos Tema 5: Resolución aproximada de ecuaciones Francisco Palacios Escuela Politécnica Superior de Ingeniería de Manresa Universidad Politécnica de Cataluña Abril 009,
Tema 5: Sistemas de Ecuaciones Lineales
Tema 5: Sistemas de Ecuaciones Lineales Eva Ascarza-Mondragón Helio Catalán-Mogorrón Manuel Vega-Gordillo Índice 1 Definición 3 2 Solución de un sistema de ecuaciones lineales 4 21 Tipos de sistemas ecuaciones
EXISTENCIA Y MULTIPLICIDAD DE SOLUCIONES PARA PROBLEMAS DE CONTORNO ELIPTICOS SEMILINEALES EN RESONANCIA.
EXISTENCIA Y MULTIPLICIDAD DE SOLUCIONES PARA PROBLEMAS DE CONTORNO ELIPTICOS SEMILINEALES EN RESONANCIA. David Arcoya Álvarez Universidad de Granada 1.990 Tesis doctoral dirigida por el Doctor D. Antonio
Valores y Vectores Propios
Valores y Vectores Propios Departamento de Matemáticas, CSI/ITESM de abril de 9 Índice 9.. Definiciones............................................... 9.. Determinación de los valores propios.................................
Órbitas periódicas de sistemas planos *
AVANZA. Vol. I. FM - IIT, UACJ (2011) 19 34. Órbitas periódicas de sistemas planos * Osvaldo Osuna, Gabriel Villaseñor-Aguilar ** Resumen En este trabajo presentamos un resumen de los principales criterios
2.3. Aplicaciones del teorema de Baire a espacios de Banach
40 CAPÍTULO. COMPLETITUD Y CATEGORÍAS.3. Aplicaciones del teorema de Baire a espacios de Banach En esta sección, veremos algunas aplicaciones del teorema de Baire a espacios vectoriales normados. En particular,
librocasarrubiastamariz 2015/1/20 7:15 page i #1 Elementos de Topología General Fidel Casarrubias Segura Ángel Tamariz Mascarúa
librocasarrubiastamariz 2015/1/20 7:15 page i #1 Elementos de Topología General Fidel Casarrubias Segura Ángel Tamariz Mascarúa librocasarrubiastamariz 2015/1/20 7:15 page ii #2 librocasarrubiastamariz
Elementos Básicos de Análisis Funcional en. Dr. Oldemar Rodríguez Rojas
Elementos Básicos de Análisis Funcional en Análisis Numérico Dr. Oldemar Rodríguez Rojas Agosto 2008 Contents 1 Elementos Básicos de Análisis Funcional 2 1.1 Espacios normados...........................
Resumen Tema 3: Derivadas. Concepto. Propiedades. Cálculo de derivadas. Aplicaciones.
Resumen Tema 3: Derivadas. Concepto. Propiedades. Cálculo de derivadas. Aplicaciones. 0.. Concepto de derivada. Definición. Sea f : S R R, a (b, c) S. Decimos que f es derivable en a si existe: f(x) f(a)
Reglas de derivación. 4.1. Sumas, productos y cocientes. Tema 4
Tema 4 Reglas de derivación Aclarado el concepto de derivada, pasamos a desarrollar las reglas básicas para el cálculo de derivadas o, lo que viene a ser lo mismo, a analizar la estabilidad de las funciones
Diferenciabilidad en espacios vectoriales normados. Pedro Gajardo A. Universidad Técnica Federico Santa María address:
Diferenciabilidad en espacios vectoriales normados Pedro Gajardo A. Universidad Técnica Federico Santa María E-mail address: pedro.gajardo@usm.cl Índice general Capítulo 1. Diferenciabilidad en espacios
Aplicación de la teoría de grado a la resolución de algunos problemas resonantes
Aplicación de la teoría de grado a la resolución de algunos problemas resonantes Pablo Amster pamster@dm.uba.ar Universidad de Buenos Aires and CONICET ARGENTINA Introducción. Problemas Resonantes Muchos
Límites de una función
Límites de una función Introducción Comenzaremos a analizar la definición del límite finito de tendencia finita a través de un ejemplo. Consideremos la función f. Observemos su regla de asignación y su
LA CONJETURA DE GOLDBACH Y SU RELACIÓN CON EL TEOREMA DE DIRICHLET CAMPO ELÍAS GONZALEZ PINEDA. cegp@utp.edu.co
1 LA CONJETURA DE GOLDBACH Y SU RELACIÓN CON EL TEOREMA DE DIRICHLET CAMPO ELÍAS GONZALEZ PINEDA. cegp@utp.edu.co Resumen En este artículo se muestra el proceso que se llevó a cabo para encontrar una importante
1. SISTEMAS DE ECUACIONES DIFERENCIALES
1 1 SISTEMAS DE ECUACIONES DIFERENCIALES 11 SISTEMAS LINEALES DE PRIMER ORDEN Un sistema de ecuaciones diferenciales del tipo dx 1 dt a 11 tx 1 + a 1n tx n + f 1 t dx n dt a n1 tx 1 + a nn tx n + f n t
Scientia Et Technica ISSN: Universidad Tecnológica de Pereira Colombia
Scientia Et Technica ISSN: 0122-1701 scientia@utp.edu.co Universidad Tecnológica de Pereira Colombia Cárdenas Álzate, Pedro Pablo; Rojas Duque, Luz María; Cardona Toro, José Gerardo Aplicación del teorema
ANÁLISIS FUNCIONAL Y ECUACIONES EN DERIVADAS PARCIALES HOJA 2: FORMULACIÓN DÉBIL DE PROBLEMAS ELÍPTICOS
ANÁLSS FUNCONAL Y ECUACONES EN DERVADAS PARCALES HOJA : FORMULACÓN DÉBL DE PROBLEMAS ELÍPTCOS E. Sean X e Y dos espacios normados y sea T : X Y una aplicación lineal. Probar que las siguientes afirmaciones
Hoja de vida JORGE COSSIO Última actualización: Febrero 2012
1 Hoja de vida JORGE COSSIO Última actualización: Febrero 2012 Información Personal: Dirección: Escuela de Matemáticas Universidad Nacional de Colombia Apartado Aéreo 3840 Medellín, COLOMBIA E-mail: jcossio@unal.edu.co
Teoremas de la función inversa, función implícita y del rango constante
Teoremas de la función inversa, función implícita y del rango constante Pablo Zadunaisky 13 de marzo de 2015 A lo largo de este documento usamos varias normas sobre espacios vectoriales de dimensión finita,
UNIDAD 3: ANALICEMOS LA FUNCION EXPONENCIAL Y LOGARITMICA.
UNIDAD 3: ANALICEMOS LA FUNCION EXPONENCIAL Y LOGARITMICA Históricamente, los exponentes fueron introducidos en matemáticas para dar un método corto que indicara el producto de varios factores semejantes,
Aplicaciones de las Derivadas
Tema 4 Aplicaciones de las Derivadas 4.1 Introducción Repasaremos en este Tema algunas de las aplicaciones fundamentales de las derivadas. Muchas de ellas son ya conocidas por tratarse de conceptos explicados
Problemas con soluciones
Departamento de Matemática, Universidad Técnica Federico Santa María, MAT-223. Problemas con soluciones 1) Muestre que si A es una base de una toplogía en X, entonces la topología generada por A es iqual
10. 1 Definición de espacio euclídeo.
ESCUELA TÉCNICA SUPERIOR DE NÁUTICA Y MÁQUINAS NAVALES / NAUTIKAKO ETA ITSASONTZI MAKINETAKO GOI ESKOLA TEKNIKOA MATEMATICAS 10. ESPACIOS EUCLÍDEOS 10. 1 Definición de espacio euclídeo. Producto escalar
Seno y coseno de una matriz
Miscelánea Matemática 5 (200 29 40 SMM Seno y coseno de una matriz Rafael Prieto Curiel Instituto Tecnológico Autónomo de México ITAM rafaelprietocuriel@yahoocom Introducción En muchas áreas de las matemáticas
2.1 CONTINUIDAD EN UN PUNTO 2.2 CONTINUIDAD DE FUNCIONES CONOCIDAS 2.3 CONTINUIDAD EN OPERACIONES CON
Cap. Continuidad de funciones.1 CONTINUIDAD EN UN PUNTO. CONTINUIDAD DE FUNCIONES CONOCIDAS.3 CONTINUIDAD EN OPERACIONES CON FUNCIONES.4 CONTINUIDAD EN UN INTERVALO.5 TEOREMA DEL VALOR INTERMEDIO OBJETIVOS:
Ecuaciones semilineales con espectro discreto
Ecuaciones semilineales con espectro discreto José F. Caicedo Alfonso Castro Ecuaciones semilineales con espectro discreto FACULTAD DE CIENCIAS DEPARTAMENTO DE MATEMÁTICAS Bogotá, D. C., Colombia, agosto
Vectores y Matrices. Tema 3: Repaso de Álgebra Lineal Parte I. Contenidos
Tema 3: Repaso de Álgebra Lineal Parte I Virginia Mazzone Contenidos Vectores y Matrices Bases y Ortonormailizaciòn Norma de Vectores Ecuaciones Lineales Algenraicas Ejercicios Vectores y Matrices Los
1. Espacios topológicos compactos.
PRACTICO 6. COMPACIDAD. 1. Espacios topológicos compactos. Definición 1 Un cubrimiento de un conjunto X es una familia de subconjuntos de X cuya unión da X. Un cubrimiento de un espacio es abierto si cada
Ejercicios Análisis II
Ejercicios Análisis II Ejercicios resueltos del libro Real and Complex Analysis de Walter Rudin Mauricio Bravo Vera mauro.bravo@gmail.com Segundo semestre 2010 Índice general 1. Integración Abstracta
EXISTENCIA DE SOLUCIONES NO TRIVIALES PARA PROBLEMAS DE DIRICHLET NO LINEALES. Mauricio Alexander Barrera Ceballos
EXISTENCIA DE SOLUCIONES NO TRIVIALES PARA PROBLEMAS DE DIRICHLET NO LINEALES por Mauricio Alexander Barrera Ceballos Trabajo presentado como requisito parcial para optar al Título de Magister en Matemáticas
DUALIDAD EN PROGRAMACION LINEAL
DUALIDAD EN PROGRAMACION LINEAL Relaciones primal-dual Asociado a cada problema lineal existe otro problema de programación lineal denominado problema dual (PD), que posee importantes propiedades y relaciones
2. Ortogonalidad. En todo el capítulo trabajaremos sobre un espacio vectorial euclídeo U.
2 Ortogonalidad En todo el capítulo trabajaremos sobre un espacio vectorial euclídeo U 1 Vectores ortogonales Definición 11 Dos vectores x, ȳ U se dicen ortogonales si: x ȳ = 0 Veamos algunas propiedades
PROYECTO DOCENTE ASIGNATURA: "Análisis Funcional y Ecuaciones en Derivadas Parciales"
PROYECTO DOCENTE ASIGNATURA: "Análisis Funcional y Ecuaciones en Derivadas Parciales" Grupo: Análisis Funcional y Ecuaciones en Derivadas Parciales(957104) Titulacion: Grado en Matemáticas Curso: 2014-2015
Funciones Exponenciales y Logarítmicas
Funciones Exponenciales y Logarítmicas 0.1 Funciones exponenciales Comencemos por analizar la función f definida por f(x) = x. Enumerando coordenadas de varios puntos racionales, esto es de la forma m,
Aplicación del teorema de Leray Schauder a un problema de borde
Scientia et Technica Año XVII, No 50, Abril de 2012. Universidad Tecnológica de Pereira. ISSN 0122-1701 176 Aplicación del teorema de Leray Schauder a un problema de borde Application of Leray Schauder
Cardinalidad. Teorema 0.3 Todo conjunto infinito contiene un subconjunto infinito numerable.
Cardinalidad Dados dos conjuntos A y B, decimos que A es equivalente a B, o que A y B tienen la misma potencia, y lo notamos A B, si existe una biyección de A en B Es fácil probar que es una relación de
Desigualdad de Chebyshev bidimensional
Scientia et Technica Año XVII, No 51, Agosto de 2012. Universidad Tecnológica de Pereira. ISSN 0122-1701 242 Desigualdad de Chebyshev bidimensional Two - dimensional Chebyshev Inequality Edgar Alirio Valencia,
CÁLCULO DIFERENCIAL Muestras de examen
CÁLCULO DIFERENCIAL Muestras de examen Febrero 2012 T1. [2] Demostrar que la imagen continua de un conjunto compacto es compacto. T2. [2.5] Definir la diferencial de una función en un punto y demostrar
Matemáticas I: Hoja 1
Matemáticas I: Hoja 1 1. Números complejos Hasta ahora, hemos visto que los números reales son aquellos que poseen una expresión decimal y que podemos representar en una recta infinita. No obstante, para
CAPITULO 7.SERIES DE FOURIER. 7.1. Sistemas de funciones ortogonales
CAPITULO 7.SERIES DE FOURIER La publicación por Fourier (1768-1830) de la " Teoría analítica del calor ", fue de una influencia decisiva en las matemáticas posteriores. Se supone en ella que cualquier
Polinomios. 1.- Funciones cuadráticas
Polinomios 1.- Funciones cuadráticas Definición 1 (Función polinomial) Sea n un entero no negativo y sean a n, a n 1,..., a, a 1, a 0 número s reales con a n 0. La función se denomina función polinomial
COMPLECIÓN DE CUERPOS CONVEXOS. Helmuth Villavicencio Fernández 1. (Recibido: 26/01/ Aceptado: 18/11/2014) COMPLETION OF CONVEX BODIES
PESQUIMAT, Revista de la F.C.M. de la Universidad Nacional Mayor de San Marcos Vol. XVIII N o 1, pp. 16-20, Lima -Perú, Abril 2015 COMPLECIÓN DE CUERPOS CONVEXOS Helmuth Villavicencio Fernández 1 (Recibido:
Tema 1 EL TEOREMA DE PEANO. 1 Compacidad en C(I; R N ): el Teorema de Ascoli-
Tema 1 EL TEOREMA DE PEANO En este tema vamos a probar que bajo la hipótesis de ser f continua en un entorno del punto (, y 0 ), se puede garantizar la existencia, aunque no necesariamente la unicidad,
CONTRIBUCIÓN AL ESTUDIO DE LAS ECUACIONES DIFERENCIALES PARCIALES DE TIPO ELÍPTICO
This is a reprint from Revista de la Academia Colombiana de Ciencias Vol. 28 (106) (2204), 135-145 CONTRIBUCIÓN AL ESTUDIO DE LAS ECUACIONES DIFERENCIALES PARCIALES DE TIPO ELÍPTICO Por Jorge Cossio CONTRIBUCIÓN
40 Matemáticas I. Parte II. Álgebra Lineal. I.T.I. en Electricidad. Prof: José Antonio Abia Vian
40 Matemáticas I Parte II Álgebra Lineal 41 Matemáticas I : Álgebra Lineal Tema 4 Espacios vectoriales reales 4.1 Espacios vectoriales Definición 88.- Un espacio vectorial real V es un conjunto de elementos
Métodos matemáticos: Análisis funcional
Métodos matemáticos: Análisis funcional Conceptos y resultados fundamentales Curso 2011/2012 Aquí encontrarás los Teoremas hay que saber para el primer parcial ( 1) así como las definiciones, problemas
Soluciones entre ecuaciones diferenciales de orden dos. Solutions between two-order differential equations.
Universidad del Atlántico Revista Del Programa De Matemáticas Páginas: 16 20 Facultad de Ciencias Básicas c Programa de Matemáticas Vol. IV, No 1, (2017) Soluciones entre ecuaciones diferenciales de orden