4. Complementos sobre Problemas de Contorno para S.D.O. Lineales. 4. Complementos sobre Problemas de Contorno

Transcripción

1 para S.D.O. Lineales

2 4.1. Problemas de contorno para s.d.o. lineales. Teorema de alternativa

3 4.1. Problemas de contorno. Teorema de alternativa Fijemos A C 0 ([α, β]; L(R N )) y b C 0 ([α, β]; R N ), dos funciones definidas en [α, β], B, C L(R N ), dos matrices cuadradas, y h R N un vector. Con estos datos, consideremos el problema (1) { y = A(x)y + b(x) in [α, β], By(α) + Cy(β) = h. Definición Se dice que ϕ es solución del problema de contorno (1) en [α, β] si ϕ C 1 ([α, β]; R N ) y satisface ϕ (x) = A(x)ϕ(x) + b(x) para todo x [α, β], Bϕ(α) + Cϕ(β) = h.

4 4.1. Problemas de contorno. Teorema de alternativa Problema de contorno homogéneo asociado a (1): (2) { y = A(x)y in [α, β], By(α) + Cy(β) = 0. Problema de contorno homogéneo (2) siempre admite como solución la función nula ϕ 0. Como también veremos, este problema puede tener soluciones distintas a la función nula y, como consecuencia, en general este problema no tiene unicidad de solución. Así, sea V 0 = {ϕ : ϕ C 1 ([α, β]; R N ) es solución de (2) en [α, β]}. Entonces, es fácil comprobar Ejercicio Demuéstrese que V 0 es un subespacio vectorial de C 1 ([α, β]; R N ) (de hecho, V 0 es un subespacio vectorial de W 0, con W 0 = {ϕ : ϕ C 1 ([α, β]; R N ) y ϕ (x) = A(x)ϕ(x), x [α, β]}).

5 4.1. Problemas de contorno. Teorema de alternativa Proposición Sea F una matriz fundamental en [α, β] asociada al sistema y = A(x)y. Entonces, Prueba: Observación dim V 0 = N rango (BF(α) + CF(β)). 1 El problema de contorno homogéneo (2) admite como única solución la solución nula (unicidad de solución) si y sólo si (3) det [BF (α) + CF(β)] 0. 2 Si el problema de contorno homogéneo (2) admite una solución no nula, entonces dim V 0 1 y, por tanto, el problema de contorno homogéneo (2) tiene, en realidad, infinitas soluciones. Como dijimos antes, estas dos propiedades 4. Complementos ponen desobre manifiesto Problemas deel Contorno distinto

6 4.1. Problemas de contorno. Teorema de alternativa Teorema Sea F una matriz fundamental en [α, β] asociada a y = A(x)y. Se tiene, 1 El problema de contorno (1) admite solución si y sólo si rango [BF (α) + CF (β)] = [ β ] rango BF(α) + CF(β); h CF (β) F 1 (s)b(s) ds. 2 El problema (1) admite una única solución ϕ b,h para cada b C 0 ([α, β]; R N ) y h R N si y sólo si (2) admite como única solución la solución nula, i.e., si y sólo si det(bf (α) + CF(β)) 0. 3 Si el problema de contorno homogéneo (2) admite soluciones no nulas, entonces el problema (1) puede tener o no tener solución para ciertos datos b C 0 ([α, β]; R N ) y h R N, pero si tiene una, entonces tiene infinitas. α

7 4.2. El operador de Green. Núcleo de Green

8 4.2. El operador de Green. Núcleo de Green Consideremos A C 0 ([α, β]; L(R N )) y b C 0 ([α, β]; R N ), dos funciones definidas en [α, β], y B, C L(R N ), dos matrices cuadradas. Supondremos además la hipótesis Hipótesis (H1): El problema de contorno homogéneo (2) tiene una única solución, (la solución nula). Como consecuencia, fijados b C 0 ([α, β]; R N ) y h R N, el problema de contorno (1) tiene una única solución ϕ b,h C 1 ([α, β]; R N ). Planteamos el nuevo problema: (4) { y = A(x)y + b(x) in [α, β], By(α) + Cy(β) = 0. Objetivo Estudiar la dependencia de la única solución ϕ b de (4) respecto de b (obsérvese que hemos tomado h 0).

9 4.2. El operador de Green. Núcleo de Green Consideremos el conjunto X := {ϕ : ϕ C 1 ([α, β]; R N ) y Bϕ(α) + Cϕ(β) = 0}. Ejercicio Consideremos la norma ϕ 1 := max ϕ(x) + max x [α,β] x [α,β] ϕ (x), ϕ C 1 ([α, β]; R N ). Pruébese que X es un s.v. de C 1 ([α, β]; R N ) y que (X, 1 ) es un espacio de Banach.

10 4.2. El operador de Green. Núcleo de Green Está claro que la única solución ϕ b del problema de contorno (4) satisface ϕ b X. Esto permite introducir la siguiente definición: Definición Supongamos que se satisface la hipótesis (H1). Se denomina operador de Green asociado al problema de contorno (4) a la aplicación G : b C 0 ([α, β]; R N ) G(b) := ϕ b X, donde ϕ b es la solución de (4) asociada a b. Objetivo Dar una expresión explícita de la solución ϕ b de (4) asociada a b C 0 ([α, β]; R N ) respecto de b, es decir, dar una expresión del operador de Green.

11 4.2. El operador de Green. Núcleo de Green Definición Supongamos (H1) y sea F C 1 ([α, β]; L(R N )) una m. f. asociada a y = A(x)y. Se denomina núcleo o función de Green asociada a (4) a la función vectorial G : [α, β] [α, β] L(R N ) dada por G(x, s) = { F(x)J(s) si α x s β, donde J es la función matricial dada por F(x) ( J(s) + F 1 (s) ) si α s < x β, J(s) = [BF(α) + CF (β)] 1 CF(β)F 1 (s), s [α, β]. Ejercicio En las condiciones de la definición, demuestra que J(s) está bien definida, para cualquier s [α, β]. Además, la función G(, ) no depende de la m. f. F elegida.

12 4.2. El operador de Green. Núcleo de Green Teorema Supongamos (H1) y sea F C 1 ([α, β]; L(R N )) una matriz fundamental asociada a y = A(x)y. Entonces, la única solución ϕ b del problema de contorno (4) asociada a la función b C 0 ([α, β]; R N ), es decir, G(b) está dada por G(b)(x) ϕ b (x) = β α G(x, s)b(s) ds, x [α, β], donde G es la función introducida en la Definición 5.

13 4.2. El operador de Green. Núcleo de Green Teorema Supongamos que se satisface (H1). Entonces, el operador de Green G es un operador lineal, continuo y biyectivo entre C 0 ([α, β]; R N ) y X, i.e., G L(C 0 ([α, β]; R N ); X). De hecho, también G 1 L(X; C 0 ([α, β]; R N )). Prueba: Observación Como se ha visto en la demostración del resultado, la prueba de la continuidad del operador G 1 es directa. Sin embargo, para la prueba de la continuidad de G hemos recurrido a la expresión de G(b) proporcionada por el núcleo de Green. Sin embargo, la continuidad de G puede ser obtenida como consecuencia de la de G 1 sin más que aplicar un resultado clásico de Análisis Funcional: El Teorema del inverso de Banach.

14 4.2. El operador de Green. Núcleo de Green Observación Consideremos el problema de contorno para la e.d.o. de orden n: y n) = a 1 (x)y n 1) + + a n 1 (x)y + a n (x)y + b(x) en [α, β], n ( ) c 1j y j 1) (α) + d 1j y j 1) (β) = h 1, j=1.. n ( ) c nj y j 1) (α) + d nj y j 1) (β) = h n, j=1 con a i, b C 0 ([α, β]), c ij, d ij R (1 i, j n) y h i R (1 i n) dados. Si hacemos el cambio y 1 = y, y 2 = y,..., y n = y n 1), llevamos (de manera equivalente) este problema a un problema como (1): Los resultados de y/o! de solución dados para (1) pueden ser probados para el anterior problema de contorno.

15 4.3. El problema de contorno para una e.d.o. lineal de segundo orden

16 4.3. Problema de contorno para e.d.o. lineales orden 2 Estudiaremos el problema de contorno para una e.d.o. lineal de segundo orden escrita en forma autoadjunta y con condiciones de contorno separadas. Para ello, consideramos el problema de contorno (p(x)y ) + q(x)y = b(x) en [α, β], (5) c 1 y(α) + d 1 y (α) = 0, c 2 y(β) + d 2 y (β) = 0, donde b C 0 ([α, β]) y donde supondremos que los datos p, q, c i y d i, i = 1, 2, satisfacen (6) { p C 1 ([α, β]), p(x) > 0 x [α, β], q C 0 ([α, β]) y c i, d i R, c 2 i + d 2 i 0, i = 1, 2.

17 4.3. Problema de contorno para e.d.o. lineales orden 2 Observación Es fácil comprobar que la e.d.o. en (5) (p y q satisfaciendo (6)) puede ser escrita de manera equivalente como (7) y = a 1 (x)y + a 2 (x)y + b(x) para ciertos coeficientes a 1, a 2 C 0 ([α, β]) y b = b/p C 0 ([α, β]). También el recíproco es cierto. Efectivamente, Ejercicio Pruébese la segunda parte de la Observación. Hipótesis (H2): El problema de contorno homogéneo asociado a (5) tiene una única solución, la solución nula.

18 4.3. Problema de contorno para e.d.o. lineales orden 2 Siguiendo la Sección 4.2 podemos introducir los correspondientes operador y núcleo de Green para el problema (5). En particular, el núcleo de Green asociado a (5) es una función g : [α, β] [α, β] R tal que ϕ b (x) = β α g(x, s)b(s) ds, x [α, β], siendo ϕ b C 2 ([α, β]) la única solución de (5) asociada a b C 0 ([α, β]) (hemos usado la hipótesis (H2)). Objetivo Nuestro próximo objetivo va a ser dar un procedimiento para el cálculo directo del núcleo de Green asociado a (5). Lo haremos mediante las dos siguientes proposiciones.

19 4.3. Problema de contorno para e.d.o. lineales orden 2 Proposición Supongamos que se satisfacen las hipótesis (6) y (H2). Entonces, existen dos soluciones ϕ 1, ϕ 2 C 2 ([α, β]) de la e.d.o homogénea (p(x)y ) + q(x)y = 0 en [α, β], tales que i) c 1 ϕ 1 (α) + d 1 ϕ 1 (α) = 0, ii) c 2 ϕ 2 (β) + d 2 ϕ 2 (β) = 0, iii) p(x)(ϕ 1 (x)ϕ 2 (x) ϕ 1 (x)ϕ 2(x)) = 1 Prueba: Observación x [α, β]. De la prueba anterior deducimos que las funciones construidas {ϕ 1, ϕ 2 } forman un sistema fundamental asociado a la e.d.o. homogénea (p(x)y ) + q(x)y = 0 en [α, β].

20 4.3. Problema de contorno para e.d.o. lineales orden 2 Teorema Supongamos que se satisfacen las hipótesis (6) y (H2) y sean ϕ 1 y ϕ 2 las funciones construidas en la Proposición 8. Consideremos la función g : [α, β] [α, β] R dada por g(x, s) = { ϕ1 (x)ϕ 2 (s) si α x s β, ϕ 1 (s)ϕ 2 (x) si α s < x β. Entonces, la función g(, ) es el núcleo de Green asociado al problema de contorno (5), es decir, si b C 0 ([α, β]), la única solución ϕ b C 2 ([α, β]) de (5) está dada por Prueba: ϕ b (x) = β α g(x, s)b(s) ds, x [α, β].

21 4.4. El problema de Sturm-Liouville

22 4.4. El problema de Sturm-Liouville En esta sección estudiaremos el llamado problema de Sturm-Liouville. Se trata de un problema de autovalores asociado a una e.d.o. lineal escrita en forma autoadjunta y con condiciones de contorno separadas. Para describirlo, consideremos el problema (p(x)y ) + q(x)y = λy en [α, β], (8) c 1 y(α) + d 1 y (α) = 0, c 2 y(β) + d 2 y (β) = 0, donde α, β R, con α < β, y donde p, q, c i y d i (i = 1, 2) están dados y satisfacen (6). En (8) λ R es un parámetro a determinar. Definición Se dice que λ R es un autovalor (o valor propio) del problema de Sturm-Liouville (8) si existe ϕ λ C 2 ([α, β]), no idénticamente nula, solución de (8). En este caso se dice que la solución ϕ λ de (8) es una autofunción (o función propia) del problema de Sturm-Liouville (8) asociada al autovalor λ.

23 4.4. El problema de Sturm-Liouville Proposición Bajo las hipótesis (6), sea λ R un autovalor del problema de Sturm-Liouville (8). Consideremos el conjunto V λ = {ϕ : ϕ C 2 ([α, β]) es solución de (8)}. Entonces, V λ es un subespacio vectorial de C 2 ([α, β]) y dim V λ = 1. Prueba: Ejercicio Pruébese que V λ es un subespacio vectorial de C 2 ([α, β]).

24 4.4. El problema de Sturm-Liouville Observación 1 En la prueba de la Proposición 11 sólo hemos utilizado la hipótesis: c 2 i + d 2 i 0, i = 1, 2. Por tanto, el resultado sigue siendo válido para e.d.o. que no están escritas en forma autoadjunta. 2 La propiedad de los autovalores de (8) enunciada en la Proposición 11 puede ser reinterpretada diciendo que los autovalores del problema de Sturm-Liouville son simples: si ϕ 1 y ϕ 2 son autofunciones asociadas al autovalor λ R del problema (8), entonces, existe c R tal que ϕ 2 (x) = cϕ 1 (x), x [α, β]. En particular que, dado un autovalor λ R, el problema (8) tiene una única autofunción asociada ϕ λ con norma 1 en L 2 (α, β), i.e., β α ϕ λ (x) 2 dx = 1.

25 4.4. El problema de Sturm-Liouville Proposición Bajo las hipótesis (6), sean λ 1, λ 2 R dos autovalores del problema (8) tal que λ 1 λ 2. Entonces, si ϕ 1 y ϕ 2 son dos autofunciones de (8) asociadas, respectivamente, a λ 1 y a λ 2, se tiene que ϕ 1 es ortogonal a ϕ 2 en L 2 (α, β), es decir, Prueba: β α ϕ 1 (x)ϕ 2 (x) dx = 0. Existencia No vamos a tratar el problema de existencia de autovalores y autofunciones del problema de Sturm-Liouville (8). Enunciaremos (sin prueba) un resultado de existencia que es consecuencia del denominado Teorema de Hilbert-Schmidt.

26 4.4. El problema de Sturm-Liouville Teorema Supongamos la hipótesis (6). Entonces, el conjunto Λ de los autovalores del problema (8) forma una sucesión estrictamente creciente de R: Λ = {λ n } n 1, satisfaciendo λ 1 < λ 2 < < λ n < λ n+1 <, con lim λ n =. Además, el conjunto de autofunciones normalizadas B := {ϕ n = ϕ λn } n 1 forma una base de Hilbert de L 2 (α, β), es decir, B es una familia ortonormal de L 2 (α, β) tal que u = (u, ϕ n ) L 2 (α,β) ϕ n, n=1 u L 2 (α, β), siendo la serie convergente en L 2 (α, β). En la igualdad anterior hemos seguido la notación (ϕ, ψ) L 2 (α,β) = β α ϕ(x)ψ(x) dx, ϕ, ψ L2 (α, β).