departamento de matem´aticas universidad de...
TRANSCRIPT
![Page 1: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/1.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
Grado topologico y ecuaciones diferencialesSantiago de Compostela. 18 de Febrero de 2010
Jose Angel Cid
Departamento de MatematicasUniversidad de Jaen
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 2: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/2.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
Dada F : R× R → R continua con F (t + 2π, x) = F (t, x), ¿tienela ecuacion x ′ = F (t, x) alguna solucion 2π-periodica?
Este problema es equivalente a la existencia de una solucion para elproblema de frontera
x ′ = F (t, x), para todo t ∈ [0, 2π]x(0) = x(2π),
(1)
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 3: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/3.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
Dada F : R× R → R continua con F (t + 2π, x) = F (t, x), ¿tienela ecuacion x ′ = F (t, x) alguna solucion 2π-periodica?
Este problema es equivalente a la existencia de una solucion para elproblema de frontera
x ′ = F (t, x), para todo t ∈ [0, 2π]x(0) = x(2π),
(1)
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 4: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/4.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
Teorema
Supongamos que F : [0, 2π]× R → R y ∂F∂x : [0, 2π]× R → R son
continuas.Si existen constantes a < b tales que
F (t, a) > 0 y F (t, b) < 0,
entonces existe una solucion del problema (1).
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 5: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/5.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
Demostracion.
t
x
x(0)
x(2π)
02π
a
b
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 6: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/6.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
Para cada y ∈ [a, b], sea ϕ(t, y) la solucion dex ′ = F (t, x), para todo t ∈ [0, 2π]x(0) = y .
(2)
Definimos la funcion continua f : [a, b] → R
f (y) = ϕ(2π, y)− ϕ(0, y).
Ademas
f (a) = ϕ(2π, a)− a > 0 y f (b) = ϕ(2π, b)− b < 0.
Entonces el Teorema de Bolzano implica que existe c ∈ (a, b) talque f (c) = 0 y por tanto existe una solucion de (1) con x(0) = c .ut
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 7: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/7.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
Para cada y ∈ [a, b], sea ϕ(t, y) la solucion dex ′ = F (t, x), para todo t ∈ [0, 2π]x(0) = y .
(2)
Definimos la funcion continua f : [a, b] → R
f (y) = ϕ(2π, y)− ϕ(0, y).
Ademas
f (a) = ϕ(2π, a)− a > 0 y f (b) = ϕ(2π, b)− b < 0.
Entonces el Teorema de Bolzano implica que existe c ∈ (a, b) talque f (c) = 0 y por tanto existe una solucion de (1) con x(0) = c .ut
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 8: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/8.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
Para cada y ∈ [a, b], sea ϕ(t, y) la solucion dex ′ = F (t, x), para todo t ∈ [0, 2π]x(0) = y .
(2)
Definimos la funcion continua f : [a, b] → R
f (y) = ϕ(2π, y)− ϕ(0, y).
Ademas
f (a) = ϕ(2π, a)− a > 0 y f (b) = ϕ(2π, b)− b < 0.
Entonces el Teorema de Bolzano implica que existe c ∈ (a, b) talque f (c) = 0 y por tanto existe una solucion de (1) con x(0) = c .ut
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 9: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/9.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
Para cada y ∈ [a, b], sea ϕ(t, y) la solucion dex ′ = F (t, x), para todo t ∈ [0, 2π]x(0) = y .
(2)
Definimos la funcion continua f : [a, b] → R
f (y) = ϕ(2π, y)− ϕ(0, y).
Ademas
f (a) = ϕ(2π, a)− a > 0 y f (b) = ϕ(2π, b)− b < 0.
Entonces el Teorema de Bolzano implica que existe c ∈ (a, b) talque f (c) = 0 y por tanto existe una solucion de (1) con x(0) = c .ut
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 10: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/10.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
Como el ejemplo anterior pone de manifiesto, muchos problemasen Analisis se reducen a resolver una ecuacion de la forma
f (x) = 0.
¿Como podemos probar la existencia de ceros para una funciondefinida en un espacio de dimension finita mayor que uno?, ¿y si elespacio es de dimension infinita?
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 11: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/11.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
Como el ejemplo anterior pone de manifiesto, muchos problemasen Analisis se reducen a resolver una ecuacion de la forma
f (x) = 0.
¿Como podemos probar la existencia de ceros para una funciondefinida en un espacio de dimension finita mayor que uno?, ¿y si elespacio es de dimension infinita?
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 12: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/12.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
El grado topologico es la herramienta mas util y potente que seconoce para responder a estas preguntas. Desde el punto de vistade un analista el grado topologico es un “contador algebraico”delnumero de soluciones de la ecuacion
f (x) = 0.
Para que sea util en las aplicaciones el grado de una funcion ha deser invariante con respecto a pequenas perturbaciones. La familia
fε(x) = x2 + ε,
pone de manifiesto que el numero de soluciones de una ecuacion esuna cantidad que en general no se conserva.
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 13: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/13.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
El grado topologico es la herramienta mas util y potente que seconoce para responder a estas preguntas. Desde el punto de vistade un analista el grado topologico es un “contador algebraico”delnumero de soluciones de la ecuacion
f (x) = 0.
Para que sea util en las aplicaciones el grado de una funcion ha deser invariante con respecto a pequenas perturbaciones. La familia
fε(x) = x2 + ε,
pone de manifiesto que el numero de soluciones de una ecuacion esuna cantidad que en general no se conserva.
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 14: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/14.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
La clave consiste en anadir a cada cero de f un signo positivo onegativo (ası el grado es un numero entero, por eso decimos que esun “contador algebraico”del numero de ceros).
cero + cero -
Si f ∈ C 1[a, b], f (x) 6= 0 para x = a, b y todos los ceros de f sonsimples (i.e., f (x) = 0 ⇒ f ′(x) 6= 0) entonces f tiene un numerofinito de ceros x1, x2, . . . , xn y se define
deg(f , (a, b)) =n∑
i=1
sign f ′(xi ). (3)
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 15: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/15.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
La clave consiste en anadir a cada cero de f un signo positivo onegativo (ası el grado es un numero entero, por eso decimos que esun “contador algebraico”del numero de ceros).
cero + cero -
Si f ∈ C 1[a, b], f (x) 6= 0 para x = a, b y todos los ceros de f sonsimples (i.e., f (x) = 0 ⇒ f ′(x) 6= 0) entonces f tiene un numerofinito de ceros x1, x2, . . . , xn y se define
deg(f , (a, b)) =n∑
i=1
sign f ′(xi ). (3)
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 16: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/16.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
La clave consiste en anadir a cada cero de f un signo positivo onegativo (ası el grado es un numero entero, por eso decimos que esun “contador algebraico”del numero de ceros).
cero + cero -
Si f ∈ C 1[a, b], f (x) 6= 0 para x = a, b y todos los ceros de f sonsimples (i.e., f (x) = 0 ⇒ f ′(x) 6= 0) entonces f tiene un numerofinito de ceros x1, x2, . . . , xn y se define
deg(f , (a, b)) =n∑
i=1
sign f ′(xi ). (3)
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 17: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/17.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
Construccion del grado de BrouwerPropiedades del grado de BrouwerAplicaciones del grado de Brouwer
A lo largo de esta seccion supondremos siempre que Ω ⊂ Rm es unconjunto abierto y acotado y que f : Ω → Rm es una funcioncontinua que no se anula en la frontera, es decir,
f (x) 6= 0 para todo x ∈ ∂Ω.
Vamos a definir el numero entero deg(f ,Ω) (el grado de f relativoa Ω) en varias etapas.
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 18: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/18.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
Construccion del grado de BrouwerPropiedades del grado de BrouwerAplicaciones del grado de Brouwer
Etapa 1. f ∈ C 1(Ω) y todos sus ceros son simples.
De forma analoga a las funciones de una variable decimos quex ∈ Ω es un cero simple si f (x) = 0 ∈ Rm y det(f ′(x)) 6= 0, dondef ′(x) ∈Mm×m(R) es la matriz jacobiana de la aplicacion f en elpunto x .
Entonces f −1(0) = x1, x2, . . . , xn es un conjunto finito (por unargumento similar al que hemos utilizado para las funciones de unavariable) y se define
deg(f ,Ω) =n∑
i=1
sign det(f ′(xi )), (4)
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 19: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/19.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
Construccion del grado de BrouwerPropiedades del grado de BrouwerAplicaciones del grado de Brouwer
Etapa 1. f ∈ C 1(Ω) y todos sus ceros son simples.
De forma analoga a las funciones de una variable decimos quex ∈ Ω es un cero simple si f (x) = 0 ∈ Rm y det(f ′(x)) 6= 0, dondef ′(x) ∈Mm×m(R) es la matriz jacobiana de la aplicacion f en elpunto x .Entonces f −1(0) = x1, x2, . . . , xn es un conjunto finito (por unargumento similar al que hemos utilizado para las funciones de unavariable) y se define
deg(f ,Ω) =n∑
i=1
sign det(f ′(xi )), (4)
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 20: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/20.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
Construccion del grado de BrouwerPropiedades del grado de BrouwerAplicaciones del grado de Brouwer
Etapa 1. f ∈ C 1(Ω) y todos sus ceros son simples.
De forma analoga a las funciones de una variable decimos quex ∈ Ω es un cero simple si f (x) = 0 ∈ Rm y det(f ′(x)) 6= 0, dondef ′(x) ∈Mm×m(R) es la matriz jacobiana de la aplicacion f en elpunto x .Entonces f −1(0) = x1, x2, . . . , xn es un conjunto finito (por unargumento similar al que hemos utilizado para las funciones de unavariable) y se define
deg(f ,Ω) =n∑
i=1
sign det(f ′(xi )), (4)
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 21: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/21.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
Construccion del grado de BrouwerPropiedades del grado de BrouwerAplicaciones del grado de Brouwer
Ejemplo
Sean R2 ≡ C, (x , y) ≡ z , f (x , y) = (x2 − y2 − ε, 2xy) ≡ z2 − ε,0 < ε < 1 y Ω el disco unidad abierto.
Entonces f −1(0) = (√
ε, 0), (−√
ε, 0) y
f ′(x , y) =
(2x −2y2y 2x
),
por lo que es un sencillo calculo comprobar que deg(f ,Ω) = 2.
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 22: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/22.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
Construccion del grado de BrouwerPropiedades del grado de BrouwerAplicaciones del grado de Brouwer
Ejemplo
Sean R2 ≡ C, (x , y) ≡ z , f (x , y) = (x2 − y2 − ε, 2xy) ≡ z2 − ε,0 < ε < 1 y Ω el disco unidad abierto.
Entonces f −1(0) = (√
ε, 0), (−√
ε, 0) y
f ′(x , y) =
(2x −2y2y 2x
),
por lo que es un sencillo calculo comprobar que deg(f ,Ω) = 2.
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 23: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/23.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
Construccion del grado de BrouwerPropiedades del grado de BrouwerAplicaciones del grado de Brouwer
Ejemplo
Sean R2 ≡ C, (x , y) ≡ z , f (x , y) = (x2 − y2 − ε, 2xy) ≡ z2 − ε,0 < ε < 1 y Ω el disco unidad abierto.Entonces f −1(0) = (
√ε, 0), (−
√ε, 0) y
f ′(x , y) =
(2x −2y2y 2x
),
por lo que es un sencillo calculo comprobar que deg(f ,Ω) = 2.
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 24: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/24.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
Construccion del grado de BrouwerPropiedades del grado de BrouwerAplicaciones del grado de Brouwer
Ejemplo
Sean R2 ≡ C, (x , y) ≡ z , f (x , y) = (x2 − y2 − ε, 2xy) ≡ z2 − ε,0 < ε < 1 y Ω el disco unidad abierto.Entonces f −1(0) = (
√ε, 0), (−
√ε, 0) y
f ′(x , y) =
(2x −2y2y 2x
),
por lo que es un sencillo calculo comprobar que deg(f ,Ω) = 2.
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 25: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/25.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
Construccion del grado de BrouwerPropiedades del grado de BrouwerAplicaciones del grado de Brouwer
Etapa 2. f ∈ C 1(Ω) pero sus ceros no sonnecesariamente simples.
Si f ∈ C 1(Ω) se dice que x0 es un punto crıtico de f si
det(f ′(x0)) = 0.
Vamos a denotar como
Sf = x0 ∈ Ω : det(f ′(x0)) = 0
al conjunto de los puntos crıticos y diremos que y ∈ Rm es un valorregular si f −1(y) ∩ Sf = ∅, y un valor singular en caso contrario.
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 26: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/26.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
Construccion del grado de BrouwerPropiedades del grado de BrouwerAplicaciones del grado de Brouwer
Etapa 2. f ∈ C 1(Ω) pero sus ceros no sonnecesariamente simples.
Si f ∈ C 1(Ω) se dice que x0 es un punto crıtico de f si
det(f ′(x0)) = 0.
Vamos a denotar como
Sf = x0 ∈ Ω : det(f ′(x0)) = 0
al conjunto de los puntos crıticos y diremos que y ∈ Rm es un valorregular si f −1(y) ∩ Sf = ∅, y un valor singular en caso contrario.
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 27: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/27.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
Construccion del grado de BrouwerPropiedades del grado de BrouwerAplicaciones del grado de Brouwer
El lema de Sard implica que f (Sf ) tiene medida de Lebesgue cero,es decir casi todos los vectores y ∈ Rm son valores regulares.
Por tanto aunque 0 ∈ Rm no sea un valor regular siempre podemosencontrar una sucesion de valores regulares yn → 0.Entonces aplicamos la Etapa 1 a las funciones fn = f − yn ydefinimos
deg(f ,Ω) = lımn→∞
deg(fn,Ω). (5)
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 28: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/28.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
Construccion del grado de BrouwerPropiedades del grado de BrouwerAplicaciones del grado de Brouwer
El lema de Sard implica que f (Sf ) tiene medida de Lebesgue cero,es decir casi todos los vectores y ∈ Rm son valores regulares.Por tanto aunque 0 ∈ Rm no sea un valor regular siempre podemosencontrar una sucesion de valores regulares yn → 0.
Entonces aplicamos la Etapa 1 a las funciones fn = f − yn ydefinimos
deg(f ,Ω) = lımn→∞
deg(fn,Ω). (5)
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 29: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/29.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
Construccion del grado de BrouwerPropiedades del grado de BrouwerAplicaciones del grado de Brouwer
El lema de Sard implica que f (Sf ) tiene medida de Lebesgue cero,es decir casi todos los vectores y ∈ Rm son valores regulares.Por tanto aunque 0 ∈ Rm no sea un valor regular siempre podemosencontrar una sucesion de valores regulares yn → 0.Entonces aplicamos la Etapa 1 a las funciones fn = f − yn ydefinimos
deg(f ,Ω) = lımn→∞
deg(fn,Ω). (5)
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 30: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/30.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
Construccion del grado de BrouwerPropiedades del grado de BrouwerAplicaciones del grado de Brouwer
Ejemplo
Sean R2 ≡ C, (x , y) ≡ z , f (x , y) = (x2 − y2, 2xy) ≡ z2 y Ω eldisco unidad abierto.
Ahora (0, 0) es un valor singular de f . Sin embargo yn = (1/n, 0)es un valor regular para todo n ∈ N, y por tanto definiendofn = f − yn se sigue por el Ejemplo 2.1 que
deg(f ,Ω) = lımn→∞
deg(fn,Ω) = 2.
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 31: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/31.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
Construccion del grado de BrouwerPropiedades del grado de BrouwerAplicaciones del grado de Brouwer
Ejemplo
Sean R2 ≡ C, (x , y) ≡ z , f (x , y) = (x2 − y2, 2xy) ≡ z2 y Ω eldisco unidad abierto.
Ahora (0, 0) es un valor singular de f . Sin embargo yn = (1/n, 0)es un valor regular para todo n ∈ N, y por tanto definiendofn = f − yn se sigue por el Ejemplo 2.1 que
deg(f ,Ω) = lımn→∞
deg(fn,Ω) = 2.
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 32: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/32.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
Construccion del grado de BrouwerPropiedades del grado de BrouwerAplicaciones del grado de Brouwer
Ejemplo
Sean R2 ≡ C, (x , y) ≡ z , f (x , y) = (x2 − y2, 2xy) ≡ z2 y Ω eldisco unidad abierto.Ahora (0, 0) es un valor singular de f . Sin embargo yn = (1/n, 0)es un valor regular para todo n ∈ N, y por tanto definiendofn = f − yn se sigue por el Ejemplo 2.1 que
deg(f ,Ω) = lımn→∞
deg(fn,Ω) = 2.
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 33: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/33.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
Construccion del grado de BrouwerPropiedades del grado de BrouwerAplicaciones del grado de Brouwer
Etapa 3. Caso general: f ∈ C (Ω).
La idea ahora es aproximar f uniformemente por una sucesion defunciones fn de clase C 1 (siempre es posible por el Teorema deaproximacion de Weierstrass) a las que podemos aplicar la Etapa 2.
De esta forma se define
deg(f ,Ω) = lımn→∞
deg(fn,Ω). (6)
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 34: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/34.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
Construccion del grado de BrouwerPropiedades del grado de BrouwerAplicaciones del grado de Brouwer
Etapa 3. Caso general: f ∈ C (Ω).
La idea ahora es aproximar f uniformemente por una sucesion defunciones fn de clase C 1 (siempre es posible por el Teorema deaproximacion de Weierstrass) a las que podemos aplicar la Etapa 2.De esta forma se define
deg(f ,Ω) = lımn→∞
deg(fn,Ω). (6)
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 35: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/35.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
Construccion del grado de BrouwerPropiedades del grado de BrouwerAplicaciones del grado de Brouwer
Ejemplo
Sean f (x) = |x | y Ω = (−1, 1) el intervalo abierto unidad en R.
Definiendo fn(x) =√
x2 + 1/n estamos en las condiciones de laEtapa 1 y deg(fn,Ω) = 0 porque fn no tiene ceros en Ω. Como fnconverge uniformente a f en [0, 1] se tiene entonces que
deg(f ,Ω) = lımn→∞
deg(fn,Ω) = 0.
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 36: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/36.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
Construccion del grado de BrouwerPropiedades del grado de BrouwerAplicaciones del grado de Brouwer
Ejemplo
Sean f (x) = |x | y Ω = (−1, 1) el intervalo abierto unidad en R.
Definiendo fn(x) =√
x2 + 1/n estamos en las condiciones de laEtapa 1 y deg(fn,Ω) = 0 porque fn no tiene ceros en Ω. Como fnconverge uniformente a f en [0, 1] se tiene entonces que
deg(f ,Ω) = lımn→∞
deg(fn,Ω) = 0.
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 37: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/37.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
Construccion del grado de BrouwerPropiedades del grado de BrouwerAplicaciones del grado de Brouwer
Ejemplo
Sean f (x) = |x | y Ω = (−1, 1) el intervalo abierto unidad en R.Definiendo fn(x) =
√x2 + 1/n estamos en las condiciones de la
Etapa 1 y deg(fn,Ω) = 0 porque fn no tiene ceros en Ω. Como fnconverge uniformente a f en [0, 1] se tiene entonces que
deg(f ,Ω) = lımn→∞
deg(fn,Ω) = 0.
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 38: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/38.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
Construccion del grado de BrouwerPropiedades del grado de BrouwerAplicaciones del grado de Brouwer
Ejemplo
El grado de una aplicacion de una variable f : [a, b] → R continuay con f (x) 6= 0 para x = a, b viene dado por la formula
deg(f , (a, b)) =
0 si f (a) f (b) > 0,1 si f (a) < 0 y f (b) > 0,−1 si f (a) > 0 y f (b) < 0.
Teniendo en cuenta esta formula el teorema de Bolzano puedeformularse de la siguiente manera: si deg(f , (a, b)) 6= 0 entoncesexiste c ∈ (a, b) tal que f (c) = 0.
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 39: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/39.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
Construccion del grado de BrouwerPropiedades del grado de BrouwerAplicaciones del grado de Brouwer
Ejemplo
El grado de una aplicacion de una variable f : [a, b] → R continuay con f (x) 6= 0 para x = a, b viene dado por la formula
deg(f , (a, b)) =
0 si f (a) f (b) > 0,1 si f (a) < 0 y f (b) > 0,−1 si f (a) > 0 y f (b) < 0.
Teniendo en cuenta esta formula el teorema de Bolzano puedeformularse de la siguiente manera: si deg(f , (a, b)) 6= 0 entoncesexiste c ∈ (a, b) tal que f (c) = 0.
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 40: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/40.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
Construccion del grado de BrouwerPropiedades del grado de BrouwerAplicaciones del grado de Brouwer
Ejemplo
El grado de una aplicacion de una variable f : [a, b] → R continuay con f (x) 6= 0 para x = a, b viene dado por la formula
deg(f , (a, b)) =
0 si f (a) f (b) > 0,1 si f (a) < 0 y f (b) > 0,−1 si f (a) > 0 y f (b) < 0.
Teniendo en cuenta esta formula el teorema de Bolzano puedeformularse de la siguiente manera: si deg(f , (a, b)) 6= 0 entoncesexiste c ∈ (a, b) tal que f (c) = 0.
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 41: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/41.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
Construccion del grado de BrouwerPropiedades del grado de BrouwerAplicaciones del grado de Brouwer
Definicion
SeaM = (f ,Ω) : Ω ⊂ Rmabierto y acotado,
f : Ω → Rmcontinua y 0 /∈ f (∂Ω).
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 42: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/42.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
Construccion del grado de BrouwerPropiedades del grado de BrouwerAplicaciones del grado de Brouwer
Teorema
Existe una unica aplicacion deg : M → Z, llamada grado deBrouwer, que satisface las siguientes propiedades:
(d1) (Normalizacion) Si 0 ∈ Ω entonces
deg(I ,Ω) = 1.
(d2) (Aditividad) Si Ω1 y Ω2 son subconjuntos abiertos disjuntosde Ω y 0 /∈ f (Ω \ (Ω1 ∪ Ω2)) entonces
deg(f ,Ω) = deg(f ,Ω1) + deg(f ,Ω2).
(d3) (Invarianza por homotopıas) Si h : [0, 1]× Ω → Rm escontinua y 0 /∈ h(t, ∂Ω) para todo t ∈ [0, 1] entonces
deg(h(t, ·),Ω)es independiente de t.
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 43: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/43.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
Construccion del grado de BrouwerPropiedades del grado de BrouwerAplicaciones del grado de Brouwer
Teorema
Existe una unica aplicacion deg : M → Z, llamada grado deBrouwer, que satisface las siguientes propiedades:
(d1) (Normalizacion) Si 0 ∈ Ω entonces
deg(I ,Ω) = 1.
(d2) (Aditividad) Si Ω1 y Ω2 son subconjuntos abiertos disjuntosde Ω y 0 /∈ f (Ω \ (Ω1 ∪ Ω2)) entonces
deg(f ,Ω) = deg(f ,Ω1) + deg(f ,Ω2).
(d3) (Invarianza por homotopıas) Si h : [0, 1]× Ω → Rm escontinua y 0 /∈ h(t, ∂Ω) para todo t ∈ [0, 1] entonces
deg(h(t, ·),Ω)es independiente de t.
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 44: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/44.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
Construccion del grado de BrouwerPropiedades del grado de BrouwerAplicaciones del grado de Brouwer
Teorema
Existe una unica aplicacion deg : M → Z, llamada grado deBrouwer, que satisface las siguientes propiedades:
(d1) (Normalizacion) Si 0 ∈ Ω entonces
deg(I ,Ω) = 1.
(d2) (Aditividad) Si Ω1 y Ω2 son subconjuntos abiertos disjuntosde Ω y 0 /∈ f (Ω \ (Ω1 ∪ Ω2)) entonces
deg(f ,Ω) = deg(f ,Ω1) + deg(f ,Ω2).
(d3) (Invarianza por homotopıas) Si h : [0, 1]× Ω → Rm escontinua y 0 /∈ h(t, ∂Ω) para todo t ∈ [0, 1] entonces
deg(h(t, ·),Ω)es independiente de t.
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 45: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/45.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
Construccion del grado de BrouwerPropiedades del grado de BrouwerAplicaciones del grado de Brouwer
Teorema
Existe una unica aplicacion deg : M → Z, llamada grado deBrouwer, que satisface las siguientes propiedades:
(d1) (Normalizacion) Si 0 ∈ Ω entonces
deg(I ,Ω) = 1.
(d2) (Aditividad) Si Ω1 y Ω2 son subconjuntos abiertos disjuntosde Ω y 0 /∈ f (Ω \ (Ω1 ∪ Ω2)) entonces
deg(f ,Ω) = deg(f ,Ω1) + deg(f ,Ω2).
(d3) (Invarianza por homotopıas) Si h : [0, 1]× Ω → Rm escontinua y 0 /∈ h(t, ∂Ω) para todo t ∈ [0, 1] entonces
deg(h(t, ·),Ω)es independiente de t.
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 46: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/46.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
Construccion del grado de BrouwerPropiedades del grado de BrouwerAplicaciones del grado de Brouwer
Observacion
Algunos precedentes del grado topologico aparecen ya en lostrabajos de Gauss, Liouville, Cauchy, Kronecker, Poincare,Hadamard,... hasta culminar en los artıculos de Brouwer entre1910 y 1912
Figura: L. E. J. Brouwer
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 47: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/47.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
Construccion del grado de BrouwerPropiedades del grado de BrouwerAplicaciones del grado de Brouwer
Proposicion
El grado de Brouwer deg : M → Z satisface
(d4) (Existencia) Si deg(f ,Ω) 6= 0 entonces existe x ∈ Ω tal quef (x) = 0.
(d5) (Dependencia de los valores en la frontera) Si f (x) = g(x)para todo x ∈ ∂Ω entonces
deg(f ,Ω) = deg(g ,Ω).
(d6) (Escision) Si Ω1 ⊂ Ω es un abierto y 0 /∈ f (Ω \ Ω1) entonces
deg(f ,Ω) = deg(f ,Ω1).
(d7) (Grado de aplicaciones lineales inversibles) Si A : Rm → Rm eslineal con det(A) 6= 0 y 0 ∈ Ω entonces
deg(A,Ω) = sign(det(A)).
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 48: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/48.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
Construccion del grado de BrouwerPropiedades del grado de BrouwerAplicaciones del grado de Brouwer
Proposicion
El grado de Brouwer deg : M → Z satisface
(d4) (Existencia) Si deg(f ,Ω) 6= 0 entonces existe x ∈ Ω tal quef (x) = 0.
(d5) (Dependencia de los valores en la frontera) Si f (x) = g(x)para todo x ∈ ∂Ω entonces
deg(f ,Ω) = deg(g ,Ω).
(d6) (Escision) Si Ω1 ⊂ Ω es un abierto y 0 /∈ f (Ω \ Ω1) entonces
deg(f ,Ω) = deg(f ,Ω1).
(d7) (Grado de aplicaciones lineales inversibles) Si A : Rm → Rm eslineal con det(A) 6= 0 y 0 ∈ Ω entonces
deg(A,Ω) = sign(det(A)).
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 49: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/49.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
Construccion del grado de BrouwerPropiedades del grado de BrouwerAplicaciones del grado de Brouwer
Proposicion
El grado de Brouwer deg : M → Z satisface
(d4) (Existencia) Si deg(f ,Ω) 6= 0 entonces existe x ∈ Ω tal quef (x) = 0.
(d5) (Dependencia de los valores en la frontera) Si f (x) = g(x)para todo x ∈ ∂Ω entonces
deg(f ,Ω) = deg(g ,Ω).
(d6) (Escision) Si Ω1 ⊂ Ω es un abierto y 0 /∈ f (Ω \ Ω1) entonces
deg(f ,Ω) = deg(f ,Ω1).
(d7) (Grado de aplicaciones lineales inversibles) Si A : Rm → Rm eslineal con det(A) 6= 0 y 0 ∈ Ω entonces
deg(A,Ω) = sign(det(A)).
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 50: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/50.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
Construccion del grado de BrouwerPropiedades del grado de BrouwerAplicaciones del grado de Brouwer
Proposicion
El grado de Brouwer deg : M → Z satisface
(d4) (Existencia) Si deg(f ,Ω) 6= 0 entonces existe x ∈ Ω tal quef (x) = 0.
(d5) (Dependencia de los valores en la frontera) Si f (x) = g(x)para todo x ∈ ∂Ω entonces
deg(f ,Ω) = deg(g ,Ω).
(d6) (Escision) Si Ω1 ⊂ Ω es un abierto y 0 /∈ f (Ω \ Ω1) entonces
deg(f ,Ω) = deg(f ,Ω1).
(d7) (Grado de aplicaciones lineales inversibles) Si A : Rm → Rm eslineal con det(A) 6= 0 y 0 ∈ Ω entonces
deg(A,Ω) = sign(det(A)).
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 51: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/51.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
Construccion del grado de BrouwerPropiedades del grado de BrouwerAplicaciones del grado de Brouwer
Proposicion
El grado de Brouwer deg : M → Z satisface
(d4) (Existencia) Si deg(f ,Ω) 6= 0 entonces existe x ∈ Ω tal quef (x) = 0.
(d5) (Dependencia de los valores en la frontera) Si f (x) = g(x)para todo x ∈ ∂Ω entonces
deg(f ,Ω) = deg(g ,Ω).
(d6) (Escision) Si Ω1 ⊂ Ω es un abierto y 0 /∈ f (Ω \ Ω1) entonces
deg(f ,Ω) = deg(f ,Ω1).
(d7) (Grado de aplicaciones lineales inversibles) Si A : Rm → Rm eslineal con det(A) 6= 0 y 0 ∈ Ω entonces
deg(A,Ω) = sign(det(A)).Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 52: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/52.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
Construccion del grado de BrouwerPropiedades del grado de BrouwerAplicaciones del grado de Brouwer
Teorema (Teorema de Brouwer del punto fijo )
Si B ⊂ Rm es una bola abierta y f : B → B es continua entoncesexiste x ∈ B tal que x = f (x).
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 53: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/53.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
Construccion del grado de BrouwerPropiedades del grado de BrouwerAplicaciones del grado de Brouwer
Demostracion. Suponemos que f (x) 6= x para x ∈ ∂B (sino elteorema ya estarıa probado).
Entonces h(t, x) := x − t f (x) es unahomotopıa admisible porque f (B) ⊂ B.Por (d3) y (d1) se sigueque
deg(I − f ,B) = deg(h(1, ·),B) = deg(h(0, ·),B) = deg(I ,B) = 1,
y por (d4) se obtiene la existencia de x ∈ B tal quex − f (x) = 0 ⇔ x = f (x). ut
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 54: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/54.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
Construccion del grado de BrouwerPropiedades del grado de BrouwerAplicaciones del grado de Brouwer
Demostracion. Suponemos que f (x) 6= x para x ∈ ∂B (sino elteorema ya estarıa probado). Entonces h(t, x) := x − t f (x) es unahomotopıa admisible porque f (B) ⊂ B.
Por (d3) y (d1) se sigueque
deg(I − f ,B) = deg(h(1, ·),B) = deg(h(0, ·),B) = deg(I ,B) = 1,
y por (d4) se obtiene la existencia de x ∈ B tal quex − f (x) = 0 ⇔ x = f (x). ut
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 55: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/55.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
Construccion del grado de BrouwerPropiedades del grado de BrouwerAplicaciones del grado de Brouwer
Demostracion. Suponemos que f (x) 6= x para x ∈ ∂B (sino elteorema ya estarıa probado). Entonces h(t, x) := x − t f (x) es unahomotopıa admisible porque f (B) ⊂ B.Por (d3) y (d1) se sigueque
deg(I − f ,B) = deg(h(1, ·),B) = deg(h(0, ·),B) = deg(I ,B) = 1,
y por (d4) se obtiene la existencia de x ∈ B tal quex − f (x) = 0 ⇔ x = f (x). ut
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 56: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/56.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
Construccion del grado de BrouwerPropiedades del grado de BrouwerAplicaciones del grado de Brouwer
Teorema (Teorema del erizo)
Sean B ⊂ Rm la bola unidad de Rm, m impar yf : ∂B ≡ Sm−1 → Rm \ 0 una funcion continua.
Entonces existen x ∈ Sm−1 y λ 6= 0 tales que f (x) = λx.
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 57: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/57.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
Construccion del grado de BrouwerPropiedades del grado de BrouwerAplicaciones del grado de Brouwer
Demostracion. El teorema de extension de Tietze garantiza queexiste f una extension continua de f .
Supongamos que no existen x ∈ Sm−1 y λ 6= 0 tales quef (x) = λx entonces
h1(t, x) = (1− t)f (x) + t x es una homotopıa admisible entre f yla identidad I
h2(t, x) = (1− t)f (x)− t x es una homotopıa admisible entre f y−I .
Por tanto, la propiedad (d3) nos lleva a la siguiente contradiccion
1 = deg(I ,B) = deg(f ,B) = deg(−I ,B) = (−1)m = −1.
ut
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 58: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/58.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
Construccion del grado de BrouwerPropiedades del grado de BrouwerAplicaciones del grado de Brouwer
Demostracion. El teorema de extension de Tietze garantiza queexiste f una extension continua de f .
Supongamos que no existen x ∈ Sm−1 y λ 6= 0 tales quef (x) = λx entonces
h1(t, x) = (1− t)f (x) + t x es una homotopıa admisible entre f yla identidad I
h2(t, x) = (1− t)f (x)− t x es una homotopıa admisible entre f y−I .
Por tanto, la propiedad (d3) nos lleva a la siguiente contradiccion
1 = deg(I ,B) = deg(f ,B) = deg(−I ,B) = (−1)m = −1.
ut
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 59: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/59.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
Construccion del grado de BrouwerPropiedades del grado de BrouwerAplicaciones del grado de Brouwer
Demostracion. El teorema de extension de Tietze garantiza queexiste f una extension continua de f .
Supongamos que no existen x ∈ Sm−1 y λ 6= 0 tales quef (x) = λx entonces
h1(t, x) = (1− t)f (x) + t x es una homotopıa admisible entre f yla identidad I
h2(t, x) = (1− t)f (x)− t x es una homotopıa admisible entre f y−I .
Por tanto, la propiedad (d3) nos lleva a la siguiente contradiccion
1 = deg(I ,B) = deg(f ,B) = deg(−I ,B) = (−1)m = −1.
ut
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 60: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/60.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
Construccion del grado de BrouwerPropiedades del grado de BrouwerAplicaciones del grado de Brouwer
Demostracion. El teorema de extension de Tietze garantiza queexiste f una extension continua de f .
Supongamos que no existen x ∈ Sm−1 y λ 6= 0 tales quef (x) = λx entonces
h1(t, x) = (1− t)f (x) + t x es una homotopıa admisible entre f yla identidad I
h2(t, x) = (1− t)f (x)− t x es una homotopıa admisible entre f y−I .
Por tanto, la propiedad (d3) nos lleva a la siguiente contradiccion
1 = deg(I ,B) = deg(f ,B) = deg(−I ,B) = (−1)m = −1.
ut
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 61: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/61.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
Construccion del grado de BrouwerPropiedades del grado de BrouwerAplicaciones del grado de Brouwer
Demostracion. El teorema de extension de Tietze garantiza queexiste f una extension continua de f .
Supongamos que no existen x ∈ Sm−1 y λ 6= 0 tales quef (x) = λx entonces
h1(t, x) = (1− t)f (x) + t x es una homotopıa admisible entre f yla identidad I
h2(t, x) = (1− t)f (x)− t x es una homotopıa admisible entre f y−I .
Por tanto, la propiedad (d3) nos lleva a la siguiente contradiccion
1 = deg(I ,B) = deg(f ,B) = deg(−I ,B) = (−1)m = −1.
ut
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 62: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/62.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
El grado de Leray-Schauder: definicion y propiedadesAplicaciones del grado de Leray-Schauder a problemas de frontera
Ejemplo
Sean l2 = (x1, x2, . . .) :∑∞
j=1 x2j < ∞ con la norma
‖x‖ =√∑∞
j=1 x2j , B la bola abierta unidad y T : B → B definida
como
T (x) =
(√1− ‖x‖2, x1, x2, . . .
).
Sin embargo T no tiene puntos fijos porque ‖T (x)‖ = 1 para todox ∈ B por lo que si T (x) = x se tendrıa
T (x) = (0, x1, x2, . . .) = x = (x1, x2, . . .),
lo que implica x = 0, pero T0 = (1, 0, 0, . . .). ut
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 63: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/63.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
El grado de Leray-Schauder: definicion y propiedadesAplicaciones del grado de Leray-Schauder a problemas de frontera
Ejemplo
Sean l2 = (x1, x2, . . .) :∑∞
j=1 x2j < ∞ con la norma
‖x‖ =√∑∞
j=1 x2j , B la bola abierta unidad y T : B → B definida
como
T (x) =
(√1− ‖x‖2, x1, x2, . . .
).
Sin embargo T no tiene puntos fijos porque ‖T (x)‖ = 1 para todox ∈ B por lo que si T (x) = x se tendrıa
T (x) = (0, x1, x2, . . .) = x = (x1, x2, . . .),
lo que implica x = 0, pero T0 = (1, 0, 0, . . .). ut
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 64: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/64.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
El grado de Leray-Schauder: definicion y propiedadesAplicaciones del grado de Leray-Schauder a problemas de frontera
Ejemplo
Sean l2 = (x1, x2, . . .) :∑∞
j=1 x2j < ∞ con la norma
‖x‖ =√∑∞
j=1 x2j , B la bola abierta unidad y T : B → B definida
como
T (x) =
(√1− ‖x‖2, x1, x2, . . .
).
Sin embargo T no tiene puntos fijos porque ‖T (x)‖ = 1 para todox ∈ B por lo que si T (x) = x se tendrıa
T (x) = (0, x1, x2, . . .) = x = (x1, x2, . . .),
lo que implica x = 0, pero T0 = (1, 0, 0, . . .). ut
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 65: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/65.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
El grado de Leray-Schauder: definicion y propiedadesAplicaciones del grado de Leray-Schauder a problemas de frontera
Definicion
Sean X un espacio de Banach y D ⊂ X . Decimos que el operadorT : D → X es compacto si es continuo y ademas T (D) es unsubconjunto compacto de X .
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 66: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/66.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
El grado de Leray-Schauder: definicion y propiedadesAplicaciones del grado de Leray-Schauder a problemas de frontera
En 1934, en su famoso trabajo “Topologie et equationsfonctionnelles”, Leray y Schauder extendieron el grado de Brouwera las perturbaciones compactas de la identidad, i.e., operadores dela forma I − T con T compacto.
J. Leray J. Schauder
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 67: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/67.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
El grado de Leray-Schauder: definicion y propiedadesAplicaciones del grado de Leray-Schauder a problemas de frontera
Se define M como el conjunto de los pares (Ω, I − T ) tales que
Ω ⊂ X es abierto y acotado,
T : Ω → X compacto y 0 /∈ (I − T )(∂Ω).
La propiedad clave para extender el grado de Brouwer es lasiguiente: un operador compacto T puede ser aproximadouniformemente por una sucesion de operadores de rango finito Tn.Entonces se define
D(I − T ,Ω) = lımn→∞
deg(I − Tn,Ωn),
donde Ωn = Ω ∩ Xn siendo Xn = spanTn(Ω)
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 68: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/68.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
El grado de Leray-Schauder: definicion y propiedadesAplicaciones del grado de Leray-Schauder a problemas de frontera
Se define M como el conjunto de los pares (Ω, I − T ) tales que
Ω ⊂ X es abierto y acotado,
T : Ω → X compacto y 0 /∈ (I − T )(∂Ω).
La propiedad clave para extender el grado de Brouwer es lasiguiente: un operador compacto T puede ser aproximadouniformemente por una sucesion de operadores de rango finito Tn.
Entonces se define
D(I − T ,Ω) = lımn→∞
deg(I − Tn,Ωn),
donde Ωn = Ω ∩ Xn siendo Xn = spanTn(Ω)
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 69: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/69.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
El grado de Leray-Schauder: definicion y propiedadesAplicaciones del grado de Leray-Schauder a problemas de frontera
Se define M como el conjunto de los pares (Ω, I − T ) tales que
Ω ⊂ X es abierto y acotado,
T : Ω → X compacto y 0 /∈ (I − T )(∂Ω).
La propiedad clave para extender el grado de Brouwer es lasiguiente: un operador compacto T puede ser aproximadouniformemente por una sucesion de operadores de rango finito Tn.Entonces se define
D(I − T ,Ω) = lımn→∞
deg(I − Tn,Ωn),
donde Ωn = Ω ∩ Xn siendo Xn = spanTn(Ω)
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 70: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/70.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
El grado de Leray-Schauder: definicion y propiedadesAplicaciones del grado de Leray-Schauder a problemas de frontera
Teorema
Existe una unica aplicacion D : M→ Z, llamada grado deLeray-Schauder, que satisface las siguientes propiedades:
(D1) (Normalizacion) Si 0 ∈ Ω entonces
D(I ,Ω) = 1.
(D2) (Aditividad) Si Ω1 y Ω2 son subconjuntos abiertos disjuntosde Ω y 0 /∈ (I − T )(Ω \ (Ω1 ∪ Ω2)) entonces
D(I − T ,Ω) = D(I − T ,Ω1) + D(I − T ,Ω2).
(D3) (Invarianza por homotopıas) Si H : [0, 1]× Ω → X es unahomotopıa compacta y 0 /∈ (I − H(t, ·))(∂Ω) para todot ∈ [0, 1] entonces
D(I − H(t, ·),Ω)es independiente de t.
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 71: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/71.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
El grado de Leray-Schauder: definicion y propiedadesAplicaciones del grado de Leray-Schauder a problemas de frontera
Teorema
Existe una unica aplicacion D : M→ Z, llamada grado deLeray-Schauder, que satisface las siguientes propiedades:
(D1) (Normalizacion) Si 0 ∈ Ω entonces
D(I ,Ω) = 1.
(D2) (Aditividad) Si Ω1 y Ω2 son subconjuntos abiertos disjuntosde Ω y 0 /∈ (I − T )(Ω \ (Ω1 ∪ Ω2)) entonces
D(I − T ,Ω) = D(I − T ,Ω1) + D(I − T ,Ω2).
(D3) (Invarianza por homotopıas) Si H : [0, 1]× Ω → X es unahomotopıa compacta y 0 /∈ (I − H(t, ·))(∂Ω) para todot ∈ [0, 1] entonces
D(I − H(t, ·),Ω)es independiente de t.
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 72: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/72.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
El grado de Leray-Schauder: definicion y propiedadesAplicaciones del grado de Leray-Schauder a problemas de frontera
Teorema
Existe una unica aplicacion D : M→ Z, llamada grado deLeray-Schauder, que satisface las siguientes propiedades:
(D1) (Normalizacion) Si 0 ∈ Ω entonces
D(I ,Ω) = 1.
(D2) (Aditividad) Si Ω1 y Ω2 son subconjuntos abiertos disjuntosde Ω y 0 /∈ (I − T )(Ω \ (Ω1 ∪ Ω2)) entonces
D(I − T ,Ω) = D(I − T ,Ω1) + D(I − T ,Ω2).
(D3) (Invarianza por homotopıas) Si H : [0, 1]× Ω → X es unahomotopıa compacta y 0 /∈ (I − H(t, ·))(∂Ω) para todot ∈ [0, 1] entonces
D(I − H(t, ·),Ω)es independiente de t.
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 73: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/73.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
El grado de Leray-Schauder: definicion y propiedadesAplicaciones del grado de Leray-Schauder a problemas de frontera
Teorema
Existe una unica aplicacion D : M→ Z, llamada grado deLeray-Schauder, que satisface las siguientes propiedades:
(D1) (Normalizacion) Si 0 ∈ Ω entonces
D(I ,Ω) = 1.
(D2) (Aditividad) Si Ω1 y Ω2 son subconjuntos abiertos disjuntosde Ω y 0 /∈ (I − T )(Ω \ (Ω1 ∪ Ω2)) entonces
D(I − T ,Ω) = D(I − T ,Ω1) + D(I − T ,Ω2).
(D3) (Invarianza por homotopıas) Si H : [0, 1]× Ω → X es unahomotopıa compacta y 0 /∈ (I − H(t, ·))(∂Ω) para todot ∈ [0, 1] entonces
D(I − H(t, ·),Ω)es independiente de t.Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 74: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/74.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
El grado de Leray-Schauder: definicion y propiedadesAplicaciones del grado de Leray-Schauder a problemas de frontera
Teorema (Teorema de Schauder del punto fijo)
Si B ⊂ X es una bola abierta y T : B → B es compacto entoncesexiste x ∈ B tal que x = T (x).
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 75: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/75.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
El grado de Leray-Schauder: definicion y propiedadesAplicaciones del grado de Leray-Schauder a problemas de frontera
Consideremos el siguiente problema de frontera periodico desegundo orden
u′′(t) = f (t, u(t), u′(t)),u(0) = u(2π), u′(0) = u′(2π).
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 76: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/76.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
El grado de Leray-Schauder: definicion y propiedadesAplicaciones del grado de Leray-Schauder a problemas de frontera
Definicion
Una funcion α ∈ C2([0, 2π]) es una subsolucion del problemaperiodico si
α′′(t) ≥ f (t, α(t), α′(t)) para todo t ∈ [0, 2π],
α(0) = α(2π) y α′(0) ≥ α′(2π).
Una funcion β ∈ C2([0, 2π]) es una sobresolucion del problemaperiodico si
β′′(t) ≤ f (t, β(t), β′(t)) para todo t ∈ [0, 2π],
β(0) = β(2π) y β′(0) ≤ β′(2π).
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 77: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/77.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
El grado de Leray-Schauder: definicion y propiedadesAplicaciones del grado de Leray-Schauder a problemas de frontera
Definicion
Una funcion α ∈ C2([0, 2π]) es una subsolucion del problemaperiodico si
α′′(t) ≥ f (t, α(t), α′(t)) para todo t ∈ [0, 2π],
α(0) = α(2π) y α′(0) ≥ α′(2π).
Una funcion β ∈ C2([0, 2π]) es una sobresolucion del problemaperiodico si
β′′(t) ≤ f (t, β(t), β′(t)) para todo t ∈ [0, 2π],
β(0) = β(2π) y β′(0) ≤ β′(2π).
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 78: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/78.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
El grado de Leray-Schauder: definicion y propiedadesAplicaciones del grado de Leray-Schauder a problemas de frontera
Definicion
Una funcion α ∈ C2([0, 2π]) es una subsolucion del problemaperiodico si
α′′(t) ≥ f (t, α(t), α′(t)) para todo t ∈ [0, 2π],
α(0) = α(2π) y α′(0) ≥ α′(2π).
Una funcion β ∈ C2([0, 2π]) es una sobresolucion del problemaperiodico si
β′′(t) ≤ f (t, β(t), β′(t)) para todo t ∈ [0, 2π],
β(0) = β(2π) y β′(0) ≤ β′(2π).
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 79: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/79.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
El grado de Leray-Schauder: definicion y propiedadesAplicaciones del grado de Leray-Schauder a problemas de frontera
Consideremos primero el problema sin dependencia en la derivadau′′(t) = f (t, u(t)),
u(0) = u(2π), u′(0) = u′(2π).
Teorema
Sea f : [0, 2π]× R → R una funcion continua. Supongamos queexiste una subsolucion, α, y una sobresolucion, β con α ≤ β.
Entonces el problema periodico tiene al menos una solucionu ∈ C2([0, 2π]) que ademas satisface
α(t) ≤ u(t) ≤ β(t) para todo t ∈ [0, 2π].
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 80: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/80.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
El grado de Leray-Schauder: definicion y propiedadesAplicaciones del grado de Leray-Schauder a problemas de frontera
Consideremos primero el problema sin dependencia en la derivadau′′(t) = f (t, u(t)),
u(0) = u(2π), u′(0) = u′(2π).
Teorema
Sea f : [0, 2π]× R → R una funcion continua. Supongamos queexiste una subsolucion, α, y una sobresolucion, β con α ≤ β.
Entonces el problema periodico tiene al menos una solucionu ∈ C2([0, 2π]) que ademas satisface
α(t) ≤ u(t) ≤ β(t) para todo t ∈ [0, 2π].
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 81: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/81.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
El grado de Leray-Schauder: definicion y propiedadesAplicaciones del grado de Leray-Schauder a problemas de frontera
Esquema de la demostracion.
(Paso 1) Se considera el problema modificado
u′′ − u = f (t, γ(t, u))− γ(t, u),
u(0) = u(2π), u′(0) = u′(2π),
donde γ(t, u) = maxα(t), mınu, β(t).
(Paso 2) El problema modificado tiene solucion (Teorema deSchauder).
(Paso 3) Cualquier solucion del problema modificadoesta entre α y β (⇒ γ(t, u) = u).
ut
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 82: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/82.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
El grado de Leray-Schauder: definicion y propiedadesAplicaciones del grado de Leray-Schauder a problemas de frontera
Esquema de la demostracion.
(Paso 1) Se considera el problema modificado
u′′ − u = f (t, γ(t, u))− γ(t, u),
u(0) = u(2π), u′(0) = u′(2π),
donde γ(t, u) = maxα(t), mınu, β(t).
(Paso 2) El problema modificado tiene solucion (Teorema deSchauder).
(Paso 3) Cualquier solucion del problema modificadoesta entre α y β (⇒ γ(t, u) = u).
ut
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 83: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/83.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
El grado de Leray-Schauder: definicion y propiedadesAplicaciones del grado de Leray-Schauder a problemas de frontera
Esquema de la demostracion.
(Paso 1) Se considera el problema modificado
u′′ − u = f (t, γ(t, u))− γ(t, u),
u(0) = u(2π), u′(0) = u′(2π),
donde γ(t, u) = maxα(t), mınu, β(t).
(Paso 2) El problema modificado tiene solucion (Teorema deSchauder).
(Paso 3) Cualquier solucion del problema modificadoesta entre α y β (⇒ γ(t, u) = u).
ut
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 84: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/84.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
El grado de Leray-Schauder: definicion y propiedadesAplicaciones del grado de Leray-Schauder a problemas de frontera
Consideremos ahora el problema con dependencia en la derivada u′u′′(t) = f (t, u(t), u′(t)),
u(0) = u(2π), u′(0) = u′(2π).
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 85: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/85.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
El grado de Leray-Schauder: definicion y propiedadesAplicaciones del grado de Leray-Schauder a problemas de frontera
Una de las dificultades que se presenta ahora es que el operadorN(u) := f (·, u, u′) esta definido en C 1([0, 2π]) y no en C ([0, 2π]).
El metodo de las sub y sobresoluciones nos proporcionan cotas apriori en u, pero para poder aplicar la teorıa del grado necesitamostambien cotas a priori en u′. ¿Como podemos deducir cotas apriori en la derivada?
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 86: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/86.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
El grado de Leray-Schauder: definicion y propiedadesAplicaciones del grado de Leray-Schauder a problemas de frontera
Una de las dificultades que se presenta ahora es que el operadorN(u) := f (·, u, u′) esta definido en C 1([0, 2π]) y no en C ([0, 2π]).
El metodo de las sub y sobresoluciones nos proporcionan cotas apriori en u, pero para poder aplicar la teorıa del grado necesitamostambien cotas a priori en u′. ¿Como podemos deducir cotas apriori en la derivada?
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 87: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/87.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
El grado de Leray-Schauder: definicion y propiedadesAplicaciones del grado de Leray-Schauder a problemas de frontera
Definicion (Condicion de Nagumo)
Sean α ≤ β y
E := (t, u, v) ∈ [0, 2π]× R2 : α(t) ≤ u ≤ β(t).
Decimos que la funcion continua f : E → R satisface unacondicion de Nagumo si
|f (t, u, v)| ≤ ϕ(|v |), (t, u, v) ∈ E ,
donde ϕ : [0,∞) → (0,∞) es continua y∫ ∞
0
s
ϕ(s)ds = +∞.
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 88: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/88.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
El grado de Leray-Schauder: definicion y propiedadesAplicaciones del grado de Leray-Schauder a problemas de frontera
Proposicion (Acotacion a priori de la derivada)
Sea ϕ : [0,∞) → (0,∞) continua tal que∫ ∞
0
s
ϕ(s)ds = +∞.
Entonces dado r > 0 existe R > 0 tal que si
|f (t, u, v)| ≤ ϕ(|v |), −r ≤ u ≤ r
y cualquier solucion u de u′′ = f (t, u, u′) tal que ‖u‖∞ ≤ rsatisface ‖u′‖∞ ≤ R
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 89: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/89.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
El grado de Leray-Schauder: definicion y propiedadesAplicaciones del grado de Leray-Schauder a problemas de frontera
Teorema
Sean α y β sub y sobresoluciones con α ≤ β y supongamos quef : E → R satisface una condicion de Nagumo.
Entonces el problema periodico tiene al menos una solucionu ∈ C2([0, 2π]) que ademas satisface
α(t) ≤ u(t) ≤ β(t) para todo t ∈ [0, 2π].
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 90: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/90.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
El grado de Leray-Schauder: definicion y propiedadesAplicaciones del grado de Leray-Schauder a problemas de frontera
Esquema de la demostracion. Se considera la familia deproblemas
u′′ = λf (t, γ(t, u), u′) + ϕ(|u′|)(u − λγ(t, u))
u(0) = u(2π), u′(0) = u′(2π),
y se elige r > 0 tal que
−r < α(t) ≤ β(t) < r ,
f (t, α(t), 0) + ϕ(0)(−r − α(t)) < 0,
f (t, β(t), 0) + ϕ(0)(r − β(t)) > 0,
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 91: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/91.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
El grado de Leray-Schauder: definicion y propiedadesAplicaciones del grado de Leray-Schauder a problemas de frontera
Esquema de la demostracion. Se considera la familia deproblemas
u′′ = λf (t, γ(t, u), u′) + ϕ(|u′|)(u − λγ(t, u))
u(0) = u(2π), u′(0) = u′(2π),
y se elige r > 0 tal que
−r < α(t) ≤ β(t) < r ,
f (t, α(t), 0) + ϕ(0)(−r − α(t)) < 0,
f (t, β(t), 0) + ϕ(0)(r − β(t)) > 0,
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 92: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/92.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
El grado de Leray-Schauder: definicion y propiedadesAplicaciones del grado de Leray-Schauder a problemas de frontera
Paso 1. Para λ ∈ [0, 1] cualquier solucion u es tal que‖u‖∞ < r .
Paso 2. Existe R > 0 tal que para λ ∈ [0, 1] cualquier solucionu es tal que ‖u′‖∞ < R.
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 93: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/93.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
El grado de Leray-Schauder: definicion y propiedadesAplicaciones del grado de Leray-Schauder a problemas de frontera
Paso 1. Para λ ∈ [0, 1] cualquier solucion u es tal que‖u‖∞ < r .
Paso 2. Existe R > 0 tal que para λ ∈ [0, 1] cualquier solucionu es tal que ‖u′‖∞ < R.
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 94: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/94.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
El grado de Leray-Schauder: definicion y propiedadesAplicaciones del grado de Leray-Schauder a problemas de frontera
Paso 3. Existencia de solucion para λ = 1.
L(u) := u′′ − u,
Nλ(u) := λf (t, γ(t, u), u′) + ϕ(|u′|)(u − λγ(t, u))− u
Tλ(u) = L−1Nλ(u)
Por los Pasos 1 y 2 se satisface que la homotopıa compacta I − Tλ
es admisible y por tanto
D(I − T0,Ω) = D(I − T1,Ω),
donde Ω = u ∈ C 1([0, 2π]) : ‖u‖∞ < r , ‖u′‖∞ < R.
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 95: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/95.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
El grado de Leray-Schauder: definicion y propiedadesAplicaciones del grado de Leray-Schauder a problemas de frontera
Paso 3. Existencia de solucion para λ = 1.
L(u) := u′′ − u,
Nλ(u) := λf (t, γ(t, u), u′) + ϕ(|u′|)(u − λγ(t, u))− u
Tλ(u) = L−1Nλ(u)
Por los Pasos 1 y 2 se satisface que la homotopıa compacta I − Tλ
es admisible y por tanto
D(I − T0,Ω) = D(I − T1,Ω),
donde Ω = u ∈ C 1([0, 2π]) : ‖u‖∞ < r , ‖u′‖∞ < R.
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 96: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/96.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
El grado de Leray-Schauder: definicion y propiedadesAplicaciones del grado de Leray-Schauder a problemas de frontera
Paso 3. Existencia de solucion para λ = 1.
L(u) := u′′ − u,
Nλ(u) := λf (t, γ(t, u), u′) + ϕ(|u′|)(u − λγ(t, u))− u
Tλ(u) = L−1Nλ(u)
Por los Pasos 1 y 2 se satisface que la homotopıa compacta I − Tλ
es admisible y por tanto
D(I − T0,Ω) = D(I − T1,Ω),
donde Ω = u ∈ C 1([0, 2π]) : ‖u‖∞ < r , ‖u′‖∞ < R.
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 97: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/97.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
El grado de Leray-Schauder: definicion y propiedadesAplicaciones del grado de Leray-Schauder a problemas de frontera
Ademas como T0 es una aplicacion impar se satisface que
D(I − T0,Ω) 6= 0,
y entonces D(I − T1,Ω) 6= 0 por lo que existe
u = T1u.
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 98: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/98.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
El grado de Leray-Schauder: definicion y propiedadesAplicaciones del grado de Leray-Schauder a problemas de frontera
Paso 4. Cualquier solucion u para λ = 1 satisface queα ≤ u ≤ β (⇒ γ(t, u) = u).
Conclusion: existe una solucion u ∈ C2([0, 2π]) conα ≤ u ≤ β.
ut
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 99: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/99.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
El grado de Leray-Schauder: definicion y propiedadesAplicaciones del grado de Leray-Schauder a problemas de frontera
Paso 4. Cualquier solucion u para λ = 1 satisface queα ≤ u ≤ β (⇒ γ(t, u) = u).
Conclusion: existe una solucion u ∈ C2([0, 2π]) conα ≤ u ≤ β.
ut
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 100: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/100.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
El grado de Leray-Schauder: definicion y propiedadesAplicaciones del grado de Leray-Schauder a problemas de frontera
Mas informacion en mi pagina web
http://www4.ujaen.es/~angelcid
Jose Angel Cid Grado topologico y ecuaciones diferenciales
![Page 101: Departamento de Matem´aticas Universidad de Ja´enangelcid.webs.uvigo.es/Archivos/Papers/Degree.beamer.pdfcontinua que no se anula en la frontera, es decir, f(x) 6= 0 para todo x](https://reader033.vdocuments.pub/reader033/viewer/2022060912/60a687d8f934e0510c480636/html5/thumbnails/101.jpg)
university-logo
IntroduccionEl grado de Brouwer
El grado de Leray-Schauder
El grado de Leray-Schauder: definicion y propiedadesAplicaciones del grado de Leray-Schauder a problemas de frontera
¡GRACIAS POR LA ATENCION!
Jose Angel Cid Grado topologico y ecuaciones diferenciales