Introducción al estudio cualitativo de soluciones …castro/AduenTallerBog.pdf · Introducción...
Transcript of Introducción al estudio cualitativo de soluciones …castro/AduenTallerBog.pdf · Introducción...
Introducción al estudio cualitativo de solucioneselípticas superlineales en dominios simétricos
Hugo Aduén
Departamento de Matemáticas y EstadísticaUniversidad de Córdoba
Bogotá–2010
Hugo Aduén () Introducción al estudio cualitativo Junio de 2010 1 / 25
Contenido
1 Introducción
2 Existencia de Soluciones Radiales
3 Resultados de Unicidad
4 Estimativos tipo Bahri-Lions
5 Soluciones no-radiales
6 Referencias
Hugo Aduén () Introducción al estudio cualitativo Junio de 2010 2 / 25
Introducción
Contenido
1 Introducción
2 Existencia de Soluciones Radiales
3 Resultados de Unicidad
4 Estimativos tipo Bahri-Lions
5 Soluciones no-radiales
6 Referencias
Hugo Aduén () Introducción al estudio cualitativo Junio de 2010 3 / 25
Introducción
Frecuentemente en varias ramas de la ciencia tales como: Astrofísica,Física Cuántica y Geometría Diferencial encontramos ecuacioneselípticas de la forma
∆u+ f(|x|, u) = 0 (1)
definidas en varios dominios en Rn radialmente simétricos tales como:Rn, B y A, con condiciones de frontera adecuadas; donde B es unabola y A es un anillo.Algunos ejemplos clásicos son:
∆u+ |u|p−1u = 0 Ecuación de Emden-Fowler
∆u+1
1 + |x|2up = 0 Ecuación de Matukuma
Hugo Aduén () Introducción al estudio cualitativo Junio de 2010 4 / 25
Introducción
Frecuentemente en varias ramas de la ciencia tales como: Astrofísica,Física Cuántica y Geometría Diferencial encontramos ecuacioneselípticas de la forma
∆u+ f(|x|, u) = 0 (1)
definidas en varios dominios en Rn radialmente simétricos tales como:Rn, B y A, con condiciones de frontera adecuadas; donde B es unabola y A es un anillo.Algunos ejemplos clásicos son:
∆u+ |u|p−1u = 0 Ecuación de Emden-Fowler
∆u+1
1 + |x|2up = 0 Ecuación de Matukuma
Hugo Aduén () Introducción al estudio cualitativo Junio de 2010 4 / 25
Introducción
Frecuentemente en varias ramas de la ciencia tales como: Astrofísica,Física Cuántica y Geometría Diferencial encontramos ecuacioneselípticas de la forma
∆u+ f(|x|, u) = 0 (1)
definidas en varios dominios en Rn radialmente simétricos tales como:Rn, B y A, con condiciones de frontera adecuadas; donde B es unabola y A es un anillo.Algunos ejemplos clásicos son:
∆u+ |u|p−1u = 0 Ecuación de Emden-Fowler
∆u+1
1 + |x|2up = 0 Ecuación de Matukuma
Hugo Aduén () Introducción al estudio cualitativo Junio de 2010 4 / 25
Introducción
Frecuentemente en varias ramas de la ciencia tales como: Astrofísica,Física Cuántica y Geometría Diferencial encontramos ecuacioneselípticas de la forma
∆u+ f(|x|, u) = 0 (1)
definidas en varios dominios en Rn radialmente simétricos tales como:Rn, B y A, con condiciones de frontera adecuadas; donde B es unabola y A es un anillo.Algunos ejemplos clásicos son:
∆u+ |u|p−1u = 0 Ecuación de Emden-Fowler
∆u+1
1 + |x|2up = 0 Ecuación de Matukuma
Hugo Aduén () Introducción al estudio cualitativo Junio de 2010 4 / 25
Introducción
∆u+K(|x|)un+2n−2 = 0 Ecuación curvatura escalar
∆u+ λu+ up = 0 Ecuación de Brezis-Nirenberg
Si únicamente se consideran soluciones radiales, los problemaselípticos se reducen al análisis de la ecuación diferencial ordinaria desegundo orden
u′′(r) +n− 1r
u′(r) + f(r, u(r)) = 0 (2)
sobre un intervalo finito o infinito de R con varias condiciones defrontera o condiciones asintóticas.
Hugo Aduén () Introducción al estudio cualitativo Junio de 2010 5 / 25
Introducción
∆u+K(|x|)un+2n−2 = 0 Ecuación curvatura escalar
∆u+ λu+ up = 0 Ecuación de Brezis-Nirenberg
Si únicamente se consideran soluciones radiales, los problemaselípticos se reducen al análisis de la ecuación diferencial ordinaria desegundo orden
u′′(r) +n− 1r
u′(r) + f(r, u(r)) = 0 (2)
sobre un intervalo finito o infinito de R con varias condiciones defrontera o condiciones asintóticas.
Hugo Aduén () Introducción al estudio cualitativo Junio de 2010 5 / 25
Introducción
∆u+K(|x|)un+2n−2 = 0 Ecuación curvatura escalar
∆u+ λu+ up = 0 Ecuación de Brezis-Nirenberg
Si únicamente se consideran soluciones radiales, los problemaselípticos se reducen al análisis de la ecuación diferencial ordinaria desegundo orden
u′′(r) +n− 1r
u′(r) + f(r, u(r)) = 0 (2)
sobre un intervalo finito o infinito de R con varias condiciones defrontera o condiciones asintóticas.
Hugo Aduén () Introducción al estudio cualitativo Junio de 2010 5 / 25
Introducción
∆u+K(|x|)un+2n−2 = 0 Ecuación curvatura escalar
∆u+ λu+ up = 0 Ecuación de Brezis-Nirenberg
Si únicamente se consideran soluciones radiales, los problemaselípticos se reducen al análisis de la ecuación diferencial ordinaria desegundo orden
u′′(r) +n− 1r
u′(r) + f(r, u(r)) = 0 (2)
sobre un intervalo finito o infinito de R con varias condiciones defrontera o condiciones asintóticas.
Hugo Aduén () Introducción al estudio cualitativo Junio de 2010 5 / 25
Existencia de Soluciones Radiales
Contenido
1 Introducción
2 Existencia de Soluciones Radiales
3 Resultados de Unicidad
4 Estimativos tipo Bahri-Lions
5 Soluciones no-radiales
6 Referencias
Hugo Aduén () Introducción al estudio cualitativo Junio de 2010 6 / 25
Existencia de Soluciones Radiales
En 1972 Joseph y Lundgren demostraron:
TeoremaSean p > 1 y n ≥ 3. Para cada a ∈ R existe una únicau ∈ C2([0,∞); R) tal que:
u′′(r) +n− 1r
u′(r) + |u(r)|p−1u(r) = 0, r > 0
u(0) = a
u′(0) = 0.
(3)
Además1 Si p < (n+ 2)/(n− 2) entonces u tiene infinitos ceros en (0,∞).2 Si p ≥ (n+ 2)/(n− 2) y a > 0 entonces u > 0 en (0,∞).3 Si p = (n+ 2)/(n− 2) y a > 0 entonces
u(r) = a(1 + cr2
) 2−n2 ; c :=
ap−1
n(n− 2).
Hugo Aduén () Introducción al estudio cualitativo Junio de 2010 7 / 25
Existencia de Soluciones Radiales
En 1972 Joseph y Lundgren demostraron:
TeoremaSean p > 1 y n ≥ 3. Para cada a ∈ R existe una únicau ∈ C2([0,∞); R) tal que:
u′′(r) +n− 1r
u′(r) + |u(r)|p−1u(r) = 0, r > 0
u(0) = a
u′(0) = 0.
(3)
Además1 Si p < (n+ 2)/(n− 2) entonces u tiene infinitos ceros en (0,∞).2 Si p ≥ (n+ 2)/(n− 2) y a > 0 entonces u > 0 en (0,∞).3 Si p = (n+ 2)/(n− 2) y a > 0 entonces
u(r) = a(1 + cr2
) 2−n2 ; c :=
ap−1
n(n− 2).
Hugo Aduén () Introducción al estudio cualitativo Junio de 2010 7 / 25
Existencia de Soluciones Radiales
En 1972 Joseph y Lundgren demostraron:
TeoremaSean p > 1 y n ≥ 3. Para cada a ∈ R existe una únicau ∈ C2([0,∞); R) tal que:
u′′(r) +n− 1r
u′(r) + |u(r)|p−1u(r) = 0, r > 0
u(0) = a
u′(0) = 0.
(3)
Además1 Si p < (n+ 2)/(n− 2) entonces u tiene infinitos ceros en (0,∞).2 Si p ≥ (n+ 2)/(n− 2) y a > 0 entonces u > 0 en (0,∞).3 Si p = (n+ 2)/(n− 2) y a > 0 entonces
u(r) = a(1 + cr2
) 2−n2 ; c :=
ap−1
n(n− 2).
Hugo Aduén () Introducción al estudio cualitativo Junio de 2010 7 / 25
Existencia de Soluciones Radiales
En 1972 Joseph y Lundgren demostraron:
TeoremaSean p > 1 y n ≥ 3. Para cada a ∈ R existe una únicau ∈ C2([0,∞); R) tal que:
u′′(r) +n− 1r
u′(r) + |u(r)|p−1u(r) = 0, r > 0
u(0) = a
u′(0) = 0.
(3)
Además1 Si p < (n+ 2)/(n− 2) entonces u tiene infinitos ceros en (0,∞).2 Si p ≥ (n+ 2)/(n− 2) y a > 0 entonces u > 0 en (0,∞).3 Si p = (n+ 2)/(n− 2) y a > 0 entonces
u(r) = a(1 + cr2
) 2−n2 ; c :=
ap−1
n(n− 2).
Hugo Aduén () Introducción al estudio cualitativo Junio de 2010 7 / 25
Existencia de Soluciones Radiales
Gráfica 1
Figura: Infinitos ceros
Hugo Aduén () Introducción al estudio cualitativo Junio de 2010 8 / 25
Existencia de Soluciones Radiales
Gráfica 2
Figura: Soluciones positivas
Hugo Aduén () Introducción al estudio cualitativo Junio de 2010 9 / 25
Existencia de Soluciones Radiales
En 1987 Castro y Kurepa (Proc. Amer. Math. Soc.), extendiendo unresultado similar de Struwe (Manuscripta Math, 1980), demuestranque el problema
∆u+ g(u) = p(‖x‖) x ∈ Rn, ‖x‖ < T
u(x) = 0 para ‖x‖ = T
tiene infinitas soluciones radiales.Básicamente las condiciones sobre g y p son:
1 g es superlineal, es decir, lım|u|→∞g(u)u =∞.
2 |g(u)| ≤ A|u|w +B, 1 < w < (n+ 2)/(n− 2)3 p ∈ L∞[0, T ].
Las técnicas usadas por los autores fueron: análisis del problema devalor inicial singular, métodos de energía y análisis de plano de fase.
Hugo Aduén () Introducción al estudio cualitativo Junio de 2010 10 / 25
Existencia de Soluciones Radiales
En 1987 Castro y Kurepa (Proc. Amer. Math. Soc.), extendiendo unresultado similar de Struwe (Manuscripta Math, 1980), demuestranque el problema
∆u+ g(u) = p(‖x‖) x ∈ Rn, ‖x‖ < T
u(x) = 0 para ‖x‖ = T
tiene infinitas soluciones radiales.Básicamente las condiciones sobre g y p son:
1 g es superlineal, es decir, lım|u|→∞g(u)u =∞.
2 |g(u)| ≤ A|u|w +B, 1 < w < (n+ 2)/(n− 2)3 p ∈ L∞[0, T ].
Las técnicas usadas por los autores fueron: análisis del problema devalor inicial singular, métodos de energía y análisis de plano de fase.
Hugo Aduén () Introducción al estudio cualitativo Junio de 2010 10 / 25
Existencia de Soluciones Radiales
En 1987 Castro y Kurepa (Proc. Amer. Math. Soc.), extendiendo unresultado similar de Struwe (Manuscripta Math, 1980), demuestranque el problema
∆u+ g(u) = p(‖x‖) x ∈ Rn, ‖x‖ < T
u(x) = 0 para ‖x‖ = T
tiene infinitas soluciones radiales.Básicamente las condiciones sobre g y p son:
1 g es superlineal, es decir, lım|u|→∞g(u)u =∞.
2 |g(u)| ≤ A|u|w +B, 1 < w < (n+ 2)/(n− 2)3 p ∈ L∞[0, T ].
Las técnicas usadas por los autores fueron: análisis del problema devalor inicial singular, métodos de energía y análisis de plano de fase.
Hugo Aduén () Introducción al estudio cualitativo Junio de 2010 10 / 25
Existencia de Soluciones Radiales
Otros autores que han obtenido soluciones radiales nodales son:Jones y Küpper (1986), Grillakis (1990), McLeod, Troy y Weissler(1990), Kajikiya (1991, 1993), Dambrosio (2004).
Hugo Aduén () Introducción al estudio cualitativo Junio de 2010 11 / 25
Resultados de Unicidad
Contenido
1 Introducción
2 Existencia de Soluciones Radiales
3 Resultados de Unicidad
4 Estimativos tipo Bahri-Lions
5 Soluciones no-radiales
6 Referencias
Hugo Aduén () Introducción al estudio cualitativo Junio de 2010 12 / 25
Resultados de Unicidad
En 1983, Wei-Ming Ni (J. Differential Equations) considera el siguienteproblema:
∆u+ |u|p−1u = 0 en A := x ∈ Rn : 0 < α < ‖x‖ < βu = 0 sobre ∂A,
(4)
donde n ≥ 3 y 1 < p ≤ (n+ 2)/(n− 2). Se demuestra:
TeoremaPara cada k ∈ N, existe una única solución radial de (4) que tieneexactamente k − 1 ceros en (α, β).
Hugo Aduén () Introducción al estudio cualitativo Junio de 2010 13 / 25
Resultados de Unicidad
Idea clave de la demostración: Para cada a := u′(α) > 0, seconsidera la función i-ésimo cero de la solución u, zi : (0,∞)→ (0,∞)y se demuestra que: z′i(a) < 0, es decir, z′i es estrictamentedecreciente.
Hugo Aduén () Introducción al estudio cualitativo Junio de 2010 14 / 25
Resultados de Unicidad
En 1996, Yanagida (SIAM J. Math. Anal.), considera el problema (4) entodo R y también demuestra unicidad de soluciones radiales nodales.
0 1 2 3 4 5 6 7 8 9−1
−0.5
0
0.5
1
1.5
2
2.5
n=3, p=1.5
y(r
)
r
y(0)=1.5y(0)=2y(0)=2.5
Figura: Los ceros decrecen
Hugo Aduén () Introducción al estudio cualitativo Junio de 2010 15 / 25
Resultados de Unicidad
En el 2003, Aduén y Castro ( Proc. Amer. Math. Soc.) consideran elproblema:
∆u+ |u+ c|p−1(u+ c) = 0 en B := B(0, 1)u = 0 sobre ∂B,
(5)
donde n ≥ 3, 1 < p < (n+ 2)/(n− 2) y c ∈ R. Se demuestra:
TeoremaExiste k0 ∈ N tal que para cada k ≥ k0, existe una única soluciónradial de (5) que tiene exactamente k − 1 ceros en (0, 1).
Hugo Aduén () Introducción al estudio cualitativo Junio de 2010 16 / 25
Resultados de Unicidad
En el 2003, Aduén y Castro ( Proc. Amer. Math. Soc.) consideran elproblema:
∆u+ |u+ c|p−1(u+ c) = 0 en B := B(0, 1)u = 0 sobre ∂B,
(5)
donde n ≥ 3, 1 < p < (n+ 2)/(n− 2) y c ∈ R. Se demuestra:
TeoremaExiste k0 ∈ N tal que para cada k ≥ k0, existe una única soluciónradial de (5) que tiene exactamente k − 1 ceros en (0, 1).
Hugo Aduén () Introducción al estudio cualitativo Junio de 2010 16 / 25
Resultados de Unicidad
En el 2008, Aduén, Castro y Cossio (J. Math. Anal. Appl.) consideranel problema:
∆u+ |u|p−1u = K‖x‖−
2pp−1 en A := x ∈ Rn : 0 < α < ‖x‖ < β
u = 0 sobre ∂A,(6)
donde n ≥ 3, 1 < p < n/(n− 2) y K ∈ R. Se demuestra:
TeoremaExiste k0 ∈ N tal que para cada k ≥ k0, existe una única soluciónradial de (6) que tiene exactamente k − 1 ceros en (α, β).
Hugo Aduén () Introducción al estudio cualitativo Junio de 2010 17 / 25
Estimativos tipo Bahri-Lions
Contenido
1 Introducción
2 Existencia de Soluciones Radiales
3 Resultados de Unicidad
4 Estimativos tipo Bahri-Lions
5 Soluciones no-radiales
6 Referencias
Hugo Aduén () Introducción al estudio cualitativo Junio de 2010 18 / 25
Estimativos tipo Bahri-Lions
Sea Ω una región acotada y suave de Rn con n ≥ 3.Bahri y Lions ( 1988, Comm. Pure Appl. Math.) demuestran que parap ∈ (1, n
n−2) y f ∈ C(Ω) el problema elíptico:−∆u = |u|p−1u+ f en Ω
u = 0 sobre ∂Ω,(7)
tiene una sucesión uk de soluciones que satisface
J(uk) ≥ C1kγ , (8)
donde C1 ∈ R+, γ := 2(p+1)n(p−1) y J : H1
0 (Ω)→ R es el funcional definidopor:
J(u) =∫
Ω
(12‖∇u‖2 − 1
p+ 1|u|p+1 − fu
)dx,
Hugo Aduén () Introducción al estudio cualitativo Junio de 2010 19 / 25
Estimativos tipo Bahri-Lions
Sea Ω una región acotada y suave de Rn con n ≥ 3.Castro y Clapp (2006, Proc. Amer. Math. Soc.) consideran el problema
−∆u = |u+ u0|p−1(u+ u0) + f en Ωu = 0 sobre ∂Ω,
(9)
donde f ∈ C(Ω) y u0 ∈ C2(Ω) es tal que ∆u0 = 0.El funcional J asociado a (9) viene dado por:
J(u) =∫
Ω
(12‖∇u‖2 − 1
p+ 1|u+ u0|p+1 − fu
)dx,
Hugo Aduén () Introducción al estudio cualitativo Junio de 2010 20 / 25
Estimativos tipo Bahri-Lions
Se demuestra
Teorema
Si u0 = 0 y p < nn−2 o si u0 6= 0 y p < n+1
n−1 , entonces el problema (9)tiene una sucesión uk de soluciones que satisface
C2kγ ≤ J(uk) ≤ C3k
γ , (10)
donde C2, C3 > 0 y γ := 2(p+1)n(p−1) .
Hugo Aduén () Introducción al estudio cualitativo Junio de 2010 21 / 25
Soluciones no-radiales
Contenido
1 Introducción
2 Existencia de Soluciones Radiales
3 Resultados de Unicidad
4 Estimativos tipo Bahri-Lions
5 Soluciones no-radiales
6 Referencias
Hugo Aduén () Introducción al estudio cualitativo Junio de 2010 22 / 25
Soluciones no-radiales
Teorema
Si Ω es una bola o un anillo, u0 ≡ c, f = 0 y p < n+1n−1 , entonces el
problema (9) tiene infinitas soluciones no radiales.
Hugo Aduén () Introducción al estudio cualitativo Junio de 2010 23 / 25
Referencias
Contenido
1 Introducción
2 Existencia de Soluciones Radiales
3 Resultados de Unicidad
4 Estimativos tipo Bahri-Lions
5 Soluciones no-radiales
6 Referencias
Hugo Aduén () Introducción al estudio cualitativo Junio de 2010 24 / 25
Referencias
Referencias
[1] Aduén, Hugo; Castro, Alfonso Infinitely many nonradial solutions toa superlinear Dirichlet problem. Proc. Amer. Math. Soc. 131(2003), no. 3, 835–843
[2] Aduén, Hugo; Castro, Alfonso; Cossio, Jorge, Uniqueness of largeradial solutions and existence of nonradial solutions for asuperlinear Dirichlet problem in annulii. J. Math. Anal. Appl. 337(2008), no. 1, 348–359
[3] A. Bahri and P.-L. Lions, Morse index of some min-max criticalpoints. I. Application to multiplicity results, Comm. Pure Appl. Math.41 (1988), 1027-1037.
[4] Castro, Alfonso; Clapp, Mónica Upper estimates for the energy ofsolutions of nonhomogeneous boundary value problems. Proc.Amer. Math. Soc. 134 (2006), no. 1, 167–175
Hugo Aduén () Introducción al estudio cualitativo Junio de 2010 25 / 25