Beruflich Dokumente
Kultur Dokumente
Conte udo
12.1 Coment arios Iniciais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 650 12.2 O Problema de Sturm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 655 12.2.1 Resolvendo o Problema de Sturm. A Fun ca o de Green . . . . . . . . . . . . . 656 12.2.2 O Teorema de Green . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 658 12.3 O Problema de Sturm-Liouville . . . . . . . . . . . . . . . . . . . . . . . . . 660 12.4 Propriedades B asicas dos Auto-Valores e Auto-fun co es de Problemas de Sturm-Liouville . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 662 12.4.1 Realidade dos Auto-Valores. Ortogonalidade de Auto-fun co es . . . . . . . . . 663 12.4.2 A Simplicidade dos Auto-Valores . . . . . . . . . . . . . . . . . . . . . . . . . 666 12.4.3 Condi co es Sucientes para a Positividade dos Auto-Valores . . . . . . . . . . 667 12.5 A Equa ca o Integral de Fredholm . . . . . . . . . . . . . . . . . . . . . . . . 671 12.6 Uma Aplica ca o do Problema de Sturm-Liouville . . . . . . . . . . . . . . . 674 12.7 Coment arios Finais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 678 12.7.1 O Problema de Sturm-Liouville Singular . . . . . . . . . . . . . . . . . . . . . 678 12.8 Exerc cios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 680 12.A Prova do Teorema 12.1. Exist encia e Unicidade . . . . . . . . . . . . . . . 685 12.B Prova da Proposi ca o 12.1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 686 12.C Coment ario Sobre o Determinante Wronskiano . . . . . . . . . . . . . . . 688 12.D Aus encia de Auto-Valores em um Problema Singular . . . . . . . . . . . . 689 12.E Demonstra ca o do Teorema 12.3 . . . . . . . . . . . . . . . . . . . . . . . . . 690 12.F Prova da Desigualdade (12.E.22) . . . . . . . . . . . . . . . . . . . . . . . . 694
649
Cap tulo 12
650/1355
presente cap tulo e dedicado ao problema de Sturm1 -Liouville2 , um cl assico problema da teoria das equa co es diferenciais, com diversas aplica co es em F sica. Historicamente o problema de Sturm-Liouville engendrou uma s erie de desenvolvimentos que conduziram, no come co do s eculo XX, ao nascimento de uma nova e importante a rea da Matem atica, a An alise Funcional, a rea essa que e de import ancia fundamental para a F sica Qu antica. H a uma vasta literatura sobre o problema de Sturm-Liouville, sendo seus rudimentos tratados na grande maioria dos livros dedicados a ` teoria das equa co es diferenciais ordin arias. Para uma refer encia geral sobre o problema de Sturm-Liouville regular, centrada em aspectos anal tico-funcionais, vide [70]. Para uma refer encia recente, vide [148].
12.1
In umeros problemas em F sica envolvem a resolu ca o de equa co es diferenciais ordin arias lineares de segunda ordem e o estudo de propriedades gerais de suas solu co es. De modo geral, uma equa ca o diferencial desse tipo e da forma u + a1 (x)u + a0 (x)u = g (x) , (12.1)
onde g , a0 e a1 s ao certas fun co es conhecidas de n umeros reais em n umeros reais das quais eventualmente exige-se certas condi co es (como continuidade, diferenciabilidade etc.). A fun ca o u representa alguma grandeza f sica e a equa ca o (12.1) e a express ao matem atica de uma lei f sica que essa grandeza deve obedecer. Em muitos casos a fun ca o u e denida em um intervalo fechado nito [a, b] da reta real, b > a, e e obrigada a satisfazer certas condi co es nos extremos desse intervalo. Tais condi co es s ao chamadas de condi co es de contorno. Condi co es de contorno s ao ditadas ou por leis f sicas ou por restri co es f sicas ou geom etricas que devem ser impostas nos pontos a e b a ` grandeza representada por u. O caso mais t pico e aquele no qual imp oe-se que a fun ca o u ou sua primeira derivada (ou combina co es lineares de ambas) assumem certos valores xos nos pontos a e b. H a tamb em muitas situa co es nas quais a fun ca o u e denida em intervalos semi-innitos, como [0, ) ou innitos, como (, ), e as condi co es impostas podem exigir, por exemplo, que u se anule no innito, que seja limitada ou que seja de quadrado integr avel. Condi co es de contorno lineares e homog eneas H a muitos tipos distintos de condi co es de contorno. De particular import ancia s ao as condi co es de contorno lineares que, no caso de equa co es de segunda ordem, t em a seguinte estrutura. A fun ca o u est a denida em um intervalo nito [a, b] e para certas constantes reais 1 , 2 , 1 , 2 , 1 e 2 tais que
1 2
Cap tulo 12
651/1355
(1 , 2 ) = (0, 0), (1 , 2 ) = (0, 0) a fun ca o u satisfaz o par de condi co es 1 u(a) + 2 u (a) = 1 , 1 u(b) + 2 u (b) = 2 . (12.2) (12.3)
Condi co es de contorno desse tipo s ao ditas lineares devido a ` depend encia linear em u do lado direito de (12.2) e (12.3). Nestas notas, estaremos interessados particularmente em condi co es do seguinte tipo: suporemos que u est a denida em um intervalo nito [a, b] e que para certas constantes reais 1 , 2 , 1 e 2 tais que (1 , 2 ) = (0, 0), (1 , 2 ) = (0, 0) a fun ca o u satisfa ca o par de condi co es 1 u(a) + 2 u (a) = 0 , 1 u(b) + 2 u (b) = 0 . (12.4) (12.5)
Condi co es de contorno lineares desse tipo s ao ditas homog eneas devido ao lado direito de (12.4) e (12.5) ser zero. Condi co es de contorno s ao restri co es de crucial import ancia na resolu ca o de equa co es diferenciais. Para vericar essa import ancia, fa ca os seguintes exerc cios simples: E. 12.1 Exerc cio. Verique que o problema de determinar uma fun c ao u tal que u = 0 tal que u (0) = 0 e u (1) = 1 n ao tem solu co es. Verique que o problema de determinar uma fun c ao u tal que u = 0 tal que E. 12.2 Exerc cio. u (0) = 0 e u (1) = 0 tem innitas solu co es. E. 12.3 Exerc cio. Verique que o problema de determinar uma fun c ao u tal que u + u = 0 com u(0) = 1 e u( ) = 1 n ao tem solu co es. E. 12.4 Exerc cio. Verique que o problema de determinar uma fun c ao u tal que u + u = 0 com u(0) = 1 e u( ) = 1 tem innitas solu co es. E. 12.5 Exerc cio. Verique que o problema de determinar uma fun c ao u tal que u + u = 0 com u(0) = 1 e u( ) = 2 tem innitas solu co es se 1 = 2 e n ao tem solu c ao se 1 = 2 . Um teorema sobre exist encia e unicidade de solu co es Os exemplos dos exerc cios acima mostram que a quest ao da exist encia e unicidade de solu co es importante nesse em problemas que envolvem condi co es de contorno n ao e uma quest ao trivial. E contexto mencionar o seguinte teorema, o qual expressa condi co es necess arias e sucientes para garantir a exist encia e a unicidade de solu co es: Teorema 12.1 Seja a equa ca o diferencial linear de segunda ordem u + a1 (x)u + a0 (x)u = g (x), (12.6)
Cap tulo 12
652/1355
onde g , a0 e a1 s ao denidas num intervalo nito e fechado [a, b] e s ao cont nuas nesse intervalo. O problema de encontrar solu co es dessa equa ca o que satisfa cam condi co es de contorno do tipo 1 u(a) + 2 u (a) = 1 1 u(b) + 2 u (b) = 2 (12.7) (12.8)
para certas constantes reais 1 , 2 , 1 , 2 , 1 e 2 tais que (1 , 2 ) = (0, 0), (1 , 2 ) = (0, 0) tem solu ca o u nica se e somente se o determinante da matriz 1 u1 (a) + 2 u1 (a) 1 u2 (a) + 2 u2 (a) (12.9) 1 u1 (b) + 2 u1 (b) 1 u2 (b) + 2 u2 (b) ca o homog enea for n ao nulo, onde u1 e u2 s ao duas solu co es independentes quaisquer da equa u + a1 (x)u + a0 (x)u = 0 . (12.10)
A demonstra ca o e apresentada no Ap endice 12.A, p agina 685, cujo estudo pode ser dispensado em uma primeira leitura. Exemplo. No Exerc cio E. 12.5, p agina 651, acima, vericamos que o problema de determinar uma fun ca o u tal que u + u = 0 com u(0) = 1 e u( ) = 2 ou tem innitas solu co es (caso 1 = 2 ) ou n ao tem nenhuma solu ca o (caso 1 = 2 ). Vamos analisar isso sob a luz do Teorema 12.1. Aqui temos [a, b] = [0, ]. Com as condi co es u(0) = 1 e u( ) = 2 tem-se 1 = 1 = 1 e 2 = 2 = 0. Duas solu co es independentes da equa ca o homog enea u + u = 0 s ao u1 (x) = cos(x) e u2 (x) = sen (x). Assim, cos(0) sen (0) 1 0 1 u2 (a) + 2 u2 (a) 1 u1 (a) + 2 u1 (a) = = , cos( ) sen ( ) 1 0 1 u2 (b) + 2 u2 (b) 1 u1 (b) + 2 u1 (b) que tem determinante nulo. Logo, a condi ca o do Teorema 12.1 e violada e isso justica por que n ao se pode garantir nem exist encia nem unicidade a ` solu ca o do problema em quest ao. Relacionando problemas com condi co es de contorno n ao-homog eneas e homog eneas Adiante, consideraremos apenas problemas com condi co es de contorno lineares e homog eneas. Por que n ao consideraremos tamb em as condi co es de contorno n ao-homog eneas? A raz ao e que, como veremos, podemos sempre obter solu co es de problemas com condi co es de contorno n ao-homog eneas a partir das solu co es de problemas com condi co es de contorno homog eneas. A argumenta ca o e bem simples. Seja w uma fun ca o em princ pio arbitr aria (duas vezes diferenci avel) mas que satisfa ca 1 w (a) + 2 w (a) = 1 , 1 w (b) + 2 w (b) = 2 . (12.11) (12.12)
Cap tulo 12
653/1355
Para uma tal fun ca o w , vamos denir uma fun ca o h(x) da seguinte forma: h(x) := w + a1 (x)w + a0 (x)w . Seja v solu ca o da equa ca o v + a1 (x)v + a0 (x)v = g (x) h(x) , com as condi co es de contorno homog eneas 1 v (a) + 2 v (a) = 0, 1 v (b) + 2 v (b) = 0. Ent ao, e f acil vericar que a fun ca o u(x) = v (x) + w (x) satisfaz u + a1 (x)u + a0 (x)u = g (x) e 1 u(a) + 2 u (a) = 1 , 1 u(b) + 2 u (b) = 2 . (12.16) (12.17) (12.14) (12.15) (12.13)
Isso diz-nos, em resumo, que para resolver problemas com condi co es de contorno n ao-homog eneas e suciente saber determinar uma fun ca o como w acima e saber determinar a solu ca o de uma equa ca o diferencial linear com condi co es de contorno homog eneas. Por essa raz ao, daqui por diante s o consideraremos problemas com condi co es de contorno homog eneas. Determinar uma fun ca o w pode ser feito, por exemplo, procurando uma w na forma de um polin omio e procurando ajustar os coecientes desse polin omio de modo que (12.11)-(12.12) sejam satisfeitas. Reescrevendo a equa c ao diferencial na forma de Liouville Uma observa ca o importante que devemos fazer sobre equa co es como (12.1) e que, para muitos casos, as mesmas sempre podem ser reescritas da seguinte forma equivalente, conhecida como forma de Liouville: (p(x)u ) + q (x)u = f (x) , (12.18) onde p(x) = exp a a1 (x ) dx , q (x) = p(x)a0 (x) e f (x) = p(x)g (x). Estaremos usando esta forma da equa ca o mais freq uentemente que a forma anterior. E. 12.6 Exerc cio. Verique a equival encia das duas formas da equa c ao multiplicando (12.1) por p(x) e usando o fato que, pela deni c ao, p (x) = a1 (x)p(x). Condi co es de contorno homog eneas caracterizam um espa co vetorial
x
Cap tulo 12
654/1355
Um fato importante sobre problemas com condi co es de contorno homog eneas e que ser a implicitamente utilizado no que seguir a e o seguinte: Sejam xadas as constantes 1 , 2 , 1 e 2 . Se r1 e r2 s ao duas fun co es duas vezes diferenci aveis denidas no intervalo [a, b] tais que ambas satisfazem as condi co es de contorno homog eneas (12.4)(12.5) ent ao qualquer combina ca o linear de ambas 1 r1 (x) + 2 r2 (x) e tamb em uma fun ca o duas vezes diferenci avel no intervalo [a, b] que satisfaz as mesmas condi co es de contorno homog eneas (12.4)-(12.5). E. 12.7 Exerc cio. Verique essa arma c ao. Em outras palavras, o conjunto de todas as fun co es duas vezes diferenci aveis denidas no intervalo [a, b] que satisfazem as condi co es de contorno homog eneas (12.4)-(12.5) e um espa co vetorial. Esse espa co ser a denotado aqui por V(1 , 2 , 1 , 2 ), ou simplesmente por V, quando n ao houver confus ao.
Condi co es de contorno n ao-homog eneas caracterizam um espa co convexo Sejam xadas as constantes 1 , 2 , 1 , 2 , 1 e 2 . Se r1 e r2 s ao duas fun co es duas vezes diferenci aveis denidas no intervalo [a, b] tais que ambas satisfazem as condi co es de contorno n aohomog eneas (12.2)-(12.3) ent ao qualquer combina ca o linear convexa de ambas r 1 (x) + (1 )r2 (x), 0 1, e tamb em uma fun ca o duas vezes diferenci avel no intervalo [a, b] que satisfaz as mesmas condi co es de contorno n ao-homog eneas (12.2)-(12.3). E. 12.8 Exerc cio. Verique essa arma c ao. Em outras palavras, o conjunto de todas as fun co es duas vezes diferenci aveis denidas no intervalo [a, b] que satisfazem as condi co es de contorno n ao-homog eneas (12.2)-(12.3) e um espa co convexo. Uma nota c ao Como iremos daqui por diante tratar de equa co es diferenciais da forma (p(x)u ) + q (x)u = f (x), convem introduzir uma nota ca o simplicadora: Lu := (p(x)u ) + q (x)u . L pode ser entendido como o operador diferencial linear L := L e linear pois claramente tem-se L(u + v ) = Lu + Lv para quaisquer constantes e e quaisquer fun co es (duas vezes diferenci aveis) u e v . * Ap os estas observa co es podemos passar a tratar nosso problema de forma mais sistem atica. d d p(x) + q (x) . dx dx
Cap tulo 12
655/1355
12.2
O Problema de Sturm
Deni c ao do problema Entende-se como o Problema de Sturm o problema de determinar as solu co es da equa ca o diferencial (p(x)u ) + q (x)u = f (x) , para u denida no intervalo fechado nito [a, b] homog eneas
(12.19)
A fun ca o p e diferenci avel em [a, b] e estritamente positiva: p(x) > 0, x [a, b].
onde u1 e u2 s ao duas solu co es independentes quaisquer da equa ca o homog enea Lu = 0. Uma observa c ao importante
As condi co es acima s ao essenciais mas n ao delimitam ainda totalmente o Problema de Sturm, pois e preciso impor restri co es que garantam a exist encia e unicidade de solu co es do mesmo. Como aprendemos do Teorema 12.1, devemos impor ainda que 1 u2 (a) + 2 u2 (a) 1 u1 (a) + 2 u1 (a) = 0, (12.22) det 1 u2 (b) + 2 u2 (b) 1 u1 (b) + 2 u1 (b)
Essa u ltima restri ca o tem uma conseq u encia que usaremos abaixo quando tratarmos de desenvolver um m etodo de resolver problemas de Sturm baseado no conceito de fun ca o de Green. A conseq u encia da qual falamos e a seguinte: Proposi c ao 12.1 Com as deni co es acima, existem fun co es v1 e v2 , independentes, denidas no intervalo [a, b], tais que Lv1 = 0, Lv2 = 0 e tais que 1 v1 (a) + 2 v1 (a) = 0 e 1 v2 (b) + 2 v2 (b) = 0 . (12.24) (12.23)
Cap tulo 12
656/1355
A demonstra ca o dessa proposi ca o, da qual faremos uso adiante, encontra-se no Ap endice 12.B, p agina 686. * Uma vez delineado o quadro onde iremos trabalhar, passemos ao importante conceito da fun ca o de Green que nos leva diretamente a ` solu ca o do problema de Sturm.
12.2.1
Al em da equa ca o consideremos tamb em a equa ca o diferencial homog enea (p(x)u ) + q (x)u = 0 . (12.26)
Pela Proposi ca o 12.1, existem solu co es independentes v1 e v2 da equa ca o homog enea, tais que v1 e v2 satisfazem as seguintes condi co es de contorno: 1 v1 (a) + 2 v1 (a) = 0 , 1 v2 (b) + 2 v2 (b) = 0 . (12.27) (12.28)
Note-se que a (12.27) e uma restri ca o a ` fun ca o v1 no ponto a enquanto que a (12.28) e uma restri ca o a ` fun ca o v2 no ponto b. Com o uso dessas fun co es vamos construir uma solu ca o do problema de Sturm. Para tal, vamos introduzir a importante deni ca o da fun ca o de Green3 . A fun ca o de Green e uma fun ca o de duas vari aveis G(x, y ), onde x [a, b] e y [a, b], denida da seguinte forma: v1 (x)v2 (y ) , para a x y b p(a)W (a) , (12.29) G(x, y ) := v ( y ) v ( x ) 1 2 , para a y x b p(a)W (a)
onde W (x) e o chamado determinante Wronskiano4 , ou fun ca o Wronskiana, denido5 , neste caso, por v1 (x) v1 (x) = v1 (x)v2 (x) v2 (x)v1 (x) . W (x) := det (12.30) v2 (x) v2 (x)
George Green (1793-1841). Conde Josef Ho en e de Wronski (1778-1853). 5 No Ap endice 12.C, p agina 688, mostramos a rela ca o entre essa deni ca o de determinante Wronskiano e aquela introduzida no Cap tulo 7, p agina 306 (vide p agina 318).
Cap tulo 12
657/1355
Antes de prosseguirmos, vamos demonstrar um fato simples sobre a fun ca o Wronskiana, a saber vamos mostrar que a fun ca o p(x)W (x) e constante no intervalo [a, b]. Isso signica provar que (p(x)W (x)) = 0. De fato, (pW ) = p W + pW = p (v1 v2 v1 v2 ) + p (v1 v2 v1 v2 ) = p (v1 v2 v1 v2 ) + p (v1 v2 + v1 v2 v1 v2 v1 v2 ) = p (v1 v2 v1 v2 ) + p (v1 v2 v1 v2 ) = v1 (p v2 + pv2 ) v2 (p v1 + pv1 ) = v1 (pv2 ) v2 (pv1 ) = v1 qv2 + v2 qv1 = 0, (12.31)
Dado que as fun co es v1 e v2 s ao cont nuas, e f acil ver que G e igualmente cont nua no quadrado Q := [a, b] [a, b] onde est a denida. Entretanto, as derivadas parciais Gx e Gy de G n ao s ao cont nuas em Q, apresentando uma descontinuidade ao longo da diagonal de Q, que consiste nos pontos (x, y ) Q com x = y . Como esse fato ter a conseq u encias adiante, vamos nos dedicar a estudar essa descontinuidade com mais detalhe. Dado que v1 e v2 s ao diferenci aveis, e claro que v1 (x)v2 (y ) , p(a)W (a) Gx (x, y ) := v1 (y )v2 (x) , p(a)W (a)
onde, na pen ultima igualdade, usamos o fato que v1 e v2 satisfazem a equa ca o homog enea. Assim, provamos que, para todo x [a, b], tem-se p(x)W (x) = p(a)W (a) = p(b)W (b).
Note que, nesta u ltima express ao, exclu mos os pontos para os quais x = y , onde G x n ao est a denida. Entretanto, apesar de Gx n ao estar denida nesses pontos, os limites lim Gx (x + , x) e lim Gx (x , x) (aqui existem mas s ao, por em, distintos, o mesmo se dando com os limites lim Gx (x, x + ) e lim Gx (x, x ) > 0). Dado que, para qualquer > 0, tem-se x + > x e x < x, segue que v1 (x)v2 (x) p(a)W (a) v1 (x)v2 (x) . p(a)W (a) v1 (x)v2 (x) p(a)W (a)
0 0 0 0
lim Gx (x + , x) =
0
(12.33)
e que lim Gx (x , x) =
0
(12.34)
(12.35)
Cap tulo 12
658/1355
(12.36)
W (x) 1 v1 (x)v2 (x) v1 (x)v2 (x) = = , p(a)W (a) p(a)W (a) p(x)
(12.37)
pois, como vimos, para qualquer x [a, b] tem-se p(a)W (a) = p(x)W (x). De maneira id entica, segue que 1 lim Gx (x, x ) lim Gx (x, x + ) = . (12.38) 0 0 p(x) As rela co es (12.37) e (12.38) mostram-nos que, de fato, Gx e descont nua na diagonal de Q e nos dizem tamb em qu ao grande e o salto dado pela fun ca o Gx quando se cruza a diagonal de Q no ponto (x, x). O fato fundamental a respeito da fun ca o de Green e que a fun ca o u(x) denida por
b
u(x) =
a
G(x, y ) f (y ) dy
(12.39)
e tal que u satisfaz a equa ca o n ao-homog enea (12.19) e satisfaz as condi co es de contorno (12.20)(12.21), ou seja, e a solu ca o do problema de Sturm. Esse fato e conhecido como Teorema de Green e ser a provado na pr oxima sub-se ca o.
12.2.2
O Teorema de Green
Vamos aqui demonstrar o Teorema de Green mencionado acima. Precisamos para tal calcular (pu ) + qu = pu + p u + qu para u(x) dada por (12.39) e demonstrar que isso e igual a f (x). Dado que G tem derivadas parciais descont nuas, e conveniente escrever
x b
u(x) =
a
G(x, y ) f (y ) dy +
x
G(x, y ) f (y ) dy .
(12.40)
Em cada um dos peda cos em que quebramos a integral acima tem-se que Gx e cont nua. Da , segue que
x b
Gx (x, y ) f (y ) dy
x
=
a
Gx (x, y ) f (y ) dy +
x
Gx (x, y ) f (y ) dy .
(12.41)
Cap tulo 12
659/1355
E. 12.9 Exerc cio. Justique as express oes acima. De forma inteiramente an aloga tem-se que
x
Gxx (x, y ) f (y ) dy
a b
Gxx (x, y ) f (y ) dy
x b
f (x) + p(x)
Gxx (x, y ) f (y ) dy +
a x
Gxx (x, y ) f (y ) dy ,
(12.42)
onde, na u ltima igualdade, usamos (12.38). E. 12.10 Exerc cio. Justique as express oes acima. Desta forma, temos que p(x)u + p (x)u + q (x)u = p(x) f (x) p(x)
x
+
a b
+
x
e isto vale tanto para y = [a, x) quanto para y = (x, b]. Para ver isso basta notar, por exemplo, que para y = [a, x) tem-se que p(x)Gxx (x, y ) + p (x)Gx (x, y ) + q (x)G(x, y ) = (12.45)
pois, por hip otese, v2 e solu ca o da equa ca o homog enea p(x)v2 (x) + p (x)v2 (x) + q (x)v2 (x) = 0. O caso y = (x, b] e an alogo. E. 12.11 Exerc cio. Verique! Assim, retomando a equa ca o (12.43), vemos que p(x)u + p (x)u + q (x)u = f (x) . (12.46)
Cap tulo 12
660/1355
Est a, portanto, demonstrado que a fun ca o u dada por (12.39) e solu ca o da equa ca o diferencial n aohomog enea. Resta provar que essa fun ca o u satisfaz as condi co es de contorno (12.4)-(12.5). Deixamos a importante verica ca o desse u ltimo fato como exerc cio. E. 12.12 Exerc cio. Mostre que (12.39) satisfaz as condi co es de contorno (12.4)-(12.5). O problema de Sturm com condi co es de contorno n ao-homog eneas Com as observa co es da p agina 652 podemos encontrar tamb em solu co es de problemas de Sturm (Lu)(x) = f (x) com u satisfazendo condi co es de contorno n ao-homog eneas como (12.2)-(12.3). Seja w uma fun ca o duas vezes diferenci avel satisfazendo tamb em (12.11)-(12.12). Dena-se h(x) := (Lw )(x) . e seja v a solu ca o da equa ca o (Lv )(x) = f (x) h(x) , com as condi co es de contorno homog eneas 1 v (a) + 2 v (a) = 0 , 1 v (b) + 2 v (b) = 0 . (12.48) (12.49) (12.47)
Ent ao, u = v + w satisfaz Lu = f e as condi co es n ao-homog eneas (12.2)-(12.3). Agora, pela solu ca o do problema de Sturm homog eneo, sabemos que
b
v (x) =
a
onde G e montada como antes (vide (12.29)) a partir de solu co es v1 e v2 da equa ca o homog enea Lv1, 2 = 0, com v1 e v2 satisfazendo (12.27) e (12.28), respectivamente. Logo, a solu ca o procurada e
b
u(x) =
a b
=
a b
G(x, y )h(y ) dy .
a b
=
a
(12.50)
12.3
O Problema de Sturm-Liouville
Cap tulo 12
661/1355
p e cont nua, diferenci avel e estritamente positiva em J , ou seja, p(x) > 0 para todo x [a, b].
q e cont nua em J .
r e cont nua e estritamente positiva em J , ou seja, r (x) > 0 para todo x [a, b].
Para uma fun ca o u denida em J que seja pelo menos duas vezes diferenci avel, vamos como anteriormente denir o operador diferencial L por (Lu)(x) = (p(x)u ) + q (x)u. Entende-se por Problema de Sturm-Liouville regular67 , ou simplesmente Problema de Sturm-Liouville, o problema de se determinar a fun ca o u denida em J e os n umeros tais que a seguinte equa ca o diferencial seja satisfeita: Lu + r (x)u = 0 , (12.51) com o seguinte tipo de condi ca o de contorno: vamos supor que existam constantes reais 1 , 2 , 1 e 2 tais que (1 , 2 ) = (0, 0), (1 , 2 ) = (0, 0) e tais que o seguinte par de rela co es deve ser v alido 1 u(a) + 2 u (a) = 0 , 1 u(b) + 2 u (b) = 0 . (12.52) (12.53)
Se for um n umero tal que a equa ca o (12.51) seja satisfeita para alguma fun ca o u (que em geral depender a de ) ent ao diz-se que e um auto-valor do Problema de Sturm-Liouville e u e dito ser a auto-fun ca o associada ao auto-valor do Problema de Sturm-Liouville. Essa nomenclatura surge por analogia com os conceitos de auto-valor e autovetor de matrizes na a lgebra linear. Muitos problemas de F sica envolvem a solu ca o de problemas de Sturm-Liouville. Fora isso, a solu ca o de problemas de Sturm-Liouville eu til para a resolu ca o de equa co es n ao-homog eneas como Lu = f (x) (12.54)
para uma fun ca o f dada, com condi co es de contorno como (12.52)-(12.53). A raz ao para isso reside no fato que, como veremos, a fun ca o de Green associada ao problema de Sturm Lu = f com condi co es de contorno como (12.52)-(12.53) pode ser escrita em termos das auto-fun co es e dos auto-valores de um problema de Sturm-Liouville. Exemplo 12.1 No bem-conhecido problema da corda vibrante, descrevendo o movimento transversal de uma corda homog enea de densidade > 0 e de comprimento L, estendida entre os pontos a e b = a + L e submetida a uma tens ao T > 0, temos que resolver a equa ca o de ondas
2 2u 2 u c = 0, t2 x2
c :=
T ,
com x [a, b], t . Pelo m etodo de separa ca o de vari aveis (vide Se ca o 11.2, p agina 605), procuramos 2 solu co es da forma u(x, t) = y (x) (t) e obtemos para a equa ca o (t) + c (t) = 0 e para y a equa ca o y (x) + y (x) = 0 ,
6
(12.55)
Os trabalhos de Sturm e Liouville sobre o problema que e hoje conhecido como Problema de Sturm-Liouville foram desenvolvidos entre 1829 e 1837. 7 O problema de Sturm-Liouville singular ser a tratado brevemente a ` p agina 678.
Cap tulo 12
662/1355
sendo uma constante de separa ca o. Se a corda estiver xa em a e em b, devemos impor as condi co es de contorno y (a) = 0 e y (b) = 0. Esse problema de determinar a fun ca o y satisfazendo a equa ca o (12.55) e as condi co es de contorno acima e um problema de Sturm-Liouville com p(x) = 1, q (x) = 1, r (x) = 1, (1 , 2 ) = (1, 0) e (1 , 2 ) = (1, 0). No caso a = 0 e b = 0, obtem-se como solu co es desse problema de Sturm-Liouville as fun co es yn (x) = sen (nx/L) com n = (n/L)2 para todo n = 1, 2, 3, . . .. Exemplo 12.2 Na Mec anica Qu antica, considere o problema de determinar a fun ca o de onda de uma part cula de massa m movendo-se em uma dimens ao e constrita a um intervalo nito [a, b] por barreiras innitas de potencial em x a e x b e sujeita, no intervalo [a, b], a um potencial V (x). A equa ca o de Schr odinger independente do tempo e
d2 (x) V (x) (x) + E (x) = 0 , 2m dx2 com x [a, b], sendo que, devido a `s barreiras innitas de potencial, devemos impor as condi co es 2 de contorno (a) = 0 e (b) = 0. Trata-se de um problema de Sturm-Liouville com p(x) = 2m , q (x) = V (x), r (x) = 1, = E , (1 , 2 ) = (1, 0) e (1 , 2 ) = (1, 0). Exemplo 12.3 No problema descrito no Exerc cio E. 10.12, p agina 592, e no problema descrito no Exerc cio E. 10.13, p agina 593, devemos aplicar o m etodo de separa ca o de vari aveis para as equa co es de onda e de difus ao em duas dimens oes espaciais em coordenadas polares. Naqueles problemas, para o tratamento da parte radial devemos resolver a equa ca o de Bessel x2 y (x) + xy (x) + 2 x2 2 y (x) = 0 no intervalo [R1 , R2 ], com 0 < R1 < R2 < , equa ca o essa que na forma de Liouville ca (p(x)y ) + q (x)y + r (x)y = 0 , com p(x) = x , q (x) = 2 , x r (x) = x , = 2 .
As condi co es de contorno s ao de Dirichlet: y (R1 ) = y (R2 ) = 0. Trata-se claramente de um problema de Sturm-Liouville regular pois p e r s ao estritamente positivos no intervalo [R1 , R2 ] com R1 > 0. No problema descrito no Exerc cio E. 10.15, p agina 594, tem-se tamb em um problema de SturmLiouville regular como os de acima, mas com condi co es de contorno mistas.
12.4
bem sabido Seja C ([a, b]) o conjunto das fun co es complexas cont nuas denidas no intervalo [a, b]. E que C ([a, b]) e um espa co vetorial. Para cada 1 , 2 , 1 e 2 o espa co V(1 , 2 , 1 , 2 ), denido a ` p agina 654, e um sub-espa co de C ([a, b]). Um produto escalar complexo em um espa co vetorial complexo V e uma fun ca o V V , ou seja, uma fun ca o que associa pares de vetores a um n umero complexo, denotada por , e de tal forma que os seguintes requerimentos sejam observados:
Cap tulo 12
663/1355
1. x, x 0 para todo x V . 2. x, y = y, x , para todos x, y V . 3. Se x, x = 0 ent ao x = 0, onde 0 e o vetor nulo. 4. Se a e b s ao n umeros complexos quaisquer ent ao x, ay + bz = a x, y + b x, z . 5. Se a e b s ao n umeros complexos quaisquer ent ao ax + by, z = a x, z + b y, z . (12.57) (12.56)
Podemos dotar o espa co vetorial C ([a, b]) de v arios produtos escalares. Dois deles nos interessar ao aqui. Para f , g C ([a, b]) denimos o produto escalar
b
f, g =
a
f (x) g (x) dx ,
(12.58)
=
a
(12.59)
12.4.1
Vamos aqui demonstrar duas propriedades b asicas comuns a todos os problemas de Sturm-Liouville. A saber, vamos provar o seguinte teorema. Teorema 12.2 Os auto-valores de um problema de Sturm-Liouville, como descrito acima s ao sempre n umeros reais. Fora isso, se u1 e u2 s ao duas auto-fun co es associadas a dois auto-valores distintos 1 e 2 (1 = 2 ) ent ao vale que
b
u 1 , u 2
=
a
(12.60)
Esta u ltima rela ca o e chamada de rela ca o de ortogonalidade (em rela ca o ao produto escalar , r ).
Para provar este teorema vamos antes demonstrar o seguinte lema: Lema 12.1 (Lema de Green) Sejam u e v duas fun co es denidas em J = [a, b], que sejam pelo menos duas vezes diferenci aveis e tais que ambas satisfa cam condi co es de contorno como (12.52)(12.53), ou seja, ambas s ao elementos do espa co vetorial de fun co es V( 1 , 2 , 1 , 2 ) (p agina 654). Ent ao, tem-se v, Lu = Lv, u ,
Cap tulo 12
664/1355
ou seja,
a
v (x) (Lu)(x) dx =
a
(12.61)
v (x) (Lu)(x) dx =
a a
v (x)(p(x)u ) dx +
a b
v (x)q (x)u(x) dx
b b
=
b
v (x)(p(x)u ) dx + vpu |a +
b b
v (x)q (x)u(x) dx
a b
=
a b
u(pv ) dx + vpu |a v pu a +
b
v (x)q (x)u(x) dx
a b a
=
a
(12.62)
= p(b)v (b)u (b) p(a)v (a)u (a) p(b)v (b)u(b) + p(a)v (a)u(a) = p(b) v (b)u (b) v (b)u(b) p(a) v (a)u (a) v (a)u(a) . (12.63)
Vamos agora provar que os fatores entre par enteses em (12.63) s ao nulos. Como u e v satisfazem (12.52)-(12.53), tem-se 1 0 1 0 v (a) v (a) v (b) v (b) = = . e 2 0 2 0 u(a) u (a) u(b) u (b) Como 1 2 = 0 0 e 1 2 v (a) u(a) = 0 0 devemos ter v (b) u(b) v (b) u (b)
v (a) u (a)
ou seja,
det
= 0
det
= 0,
O lado esquerdo de ambas as express oes s ao os termos entre par enteses de (12.63). Logo, vpu |a v pu = 0.
Cap tulo 12
665/1355
Voltando a ` (12.62), isso completa a demonstra ca o do Lema de Green. Vamos ent ao passar a ` Prova do Teorema 12.2. Para provar que os auto-valores de um problema de Sturm-Liouville s ao reais, seja um auto-valor e u a sua correspondente auto-fun ca o. Vamos mostrar que
b
( )
(12.64)
Como u = 0 e r > 0 (por hip otese), temos que a u u r (x) dx = 0. Portanto, (12.64) diz-nos que = 0, ou seja, que e um n umero real. Para provar (12.64), notemos que
b b b
( )
u u r (x) dx =
a a
u (u r (x)) dx
b b
ur (x) u dx
a
= = 0,
u (Lu) dx +
a a
Lu u dx (12.65)
pelo Lema de Green. Assim, completamos a demonstra ca o de que os auto-valores de um problema de Sturm-Liouville s ao n umeros reais. Vamos agora provar a rela ca o de ortogonalidade (12.60). Para tal, vamos provar que
b
(1 2 )
(12.66)
Como estamos supondo que 1 = 2 , essa rela ca o diz ent ao que (12.60) deve ser verdadeira. Como 1 e 2 s ao reais, o lado esquerdo de (12.66) pode ser escrito como
b a b
pelo Lema de Green. A prova do Teorema 12.2 est a ent ao completa. O que vimos no Teorema 12.2 e que auto-fun co es associadas a auto-valores distintos de um problema de Sturm-Liouville s ao ortogonais entre si em rela ca o ao produto escalar denido em (12.59). O Lema de Green arma que L e um operador sim etrico em rela ca o ao produto escalar denido em (12.58) quando age em vetores do sub-espa co V(1 , 2 , 1 , 2 ).
Cap tulo 12
666/1355
12.4.2
Se u1 , u2 V(1 , 2 , 1 , 2 ) s ao duas auto-fun co es de um problema de Sturm-Liouville regular com o mesmo auto-valor , ou seja, Lu1 + ru1 = 0 e Lu2 + ru2 = 0, ent ao e f acil vericar que qualquer combina ca o linear a1 u1 + a2 u2 e tamb em um elemento de V(1 , 2 , 1 , 2 ) e e tamb em uma autofun ca o com auto-valor : L(a1 u1 + a2 u2 ) + r (a1 u1 + a2 u2 ) = 0. Em outras palavras, o conjunto das auto-fun co es de um um problema de Sturm-Liouville com um mesmo auto-valor e um espa co vetorial. Uma quest ao importante sobre problemas de auto-valores, como o de Sturm-Liouville, e a quest ao da multiplicidade dos auto-valores, ou seja, a quest ao de saber, dado um auto-valor , qual a dimens ao do espa co vetorial de todas as suas auto-fun co es. No problema de Sturm-Liouville regular a resposta e simples. A dimens ao e sempre igual a 1, ou seja, os auto-valores s ao simples. A demonstra ca o e a seguinte. Sejam u1 , u2 V(1 , 2 , 1 , 2 ) tais que Lu1 + ru1 = 0 e Lu2 + ru2 = 0 para um dado . Considere-se a fun ca o u1 (x) u1 (x) = u1 (x)u2 (x) u1 (x)u2 (x) . W12 (x) = det u2 (x) u2 (x)
Vamos em primeiro lugar mostrar que p(x)W12 (x) e constante no intervalo [a, b], ou seja, que (pW12 ) = 0. De fato, (pW12 ) = p W12 + pW12 = p (u1 u2 u1 u2 ) + p (u1 u2 u1 u2 ) = p (u1 u2 u1 u2 ) + p (u1 u2 + u1 u2 u1 u2 u1 u2 ) = p (u1 u2 u1 u2 ) + p (u1 u2 u1 u2 ) = u1 (p u2 + pu2 ) u2 (p u1 + pu1 ) = u1 (pu2 ) u2 (pu1 ) = u1 (qu2 + ru2 ) + u2 (qu1 + ru1 ) = 0. (12.68)
Vamos agora mostrar que W12 (b) = 0. Como acabamos de ver que p(x)W12 (x) e constante, isso implica p(x)W12 (x) = 0 para todo x [a, b]. Como as fun co es u1 e u2 s ao elementos de V(1 , 2 , 1 , 2 ), temos em x = b8 0 1 u1 (b) u1 (b) = . 0 u2 (b) u2 (b) 2
Um argumento an alogo funciona tamb em em x = a.
Cap tulo 12
667/1355
Agora, como
1 2
para todo x [a, b]. Isso diz que as duas linhas que formam a matriz acima s ao, para cada x [a, b], proporcionais uma a outra, ou seja, existe (x) tal que, por exemplo, u1 (x) = (x)u2 (x) e u1 (x) = (x)u2 (x)
Pelo que acabamos de provar, p(x)W12 (x) = 0 para todo x [a, b]. Como p e estritamente positiva, segue que W12 (x) = 0 para todo x [a, b], ou seja, u1 (x) u1 (x) = 0, det u2 (x) u2 (x)
para cada x [a, b]. Derivando a primeira e comparando a ` segunda, conclui-se que (x) e constante, ou seja, n ao depende de x. Assim, vericamos que as fun co es u1 e u2 s ao m ultiplas entre si. Com isso, mostramos que se tivermos duas auto-fun co es com o mesmo auto-valor as auto-fun co es s ao m ultiplas uma da outra e o sub-espa co que ambas geram tem dimens ao 1. Em resumo, auto-valores de problemas de SturmLiouville regular s ao sempre simples, ou n ao-degenerados.
12.4.3
Em muitas aplica co es de interesse f sico ocorre que os auto-valores s ao (ou precisam ser) n umeros positivos. Vamos apresentar agora um conjunto de condi co es que s ao sucientes para garantir isso. Proposi c ao 12.2 Se forem simultaneamente v alidas as condi co es 1. q (x) 0 para todo x [a, b], 2. 1 2 0, 3. 1 2 0, ent ao todos os auto-valores do problema de Sturm-Liouville correspondente s ao estritamente positivos: > 0.
Prova. A demonstra ca o e um tanto indireta. Seja u uma auto-fun ca o com auto-valor , ou seja, (pu ) + qu + ru = 0 .
Cap tulo 12
668/1355
|u(x)|2 r (x) dx =
u(x)(pu ) (x) dx
|u(x)|2 q (x) dx .
(12.69)
Vamos agora integrar por partes a primeira integral do lado direito. Temos,
b a
b a
|u (x)|2 p(x) dx .
|u(x)| r (x) dx =
As tr es integrais acima s ao n umeros reais. Portanto, vale, tomando-se a parte real da express ao,
b b
|u(x)|2 r (x) dx =
|u (x)|2 p(x) |u(x)|2 q (x) dx+ p(a) Re u(a)u (a) p(b) Re u(b)u (b) (12.71)
No ponto a u satisfaz 1 u(a) + 2 u (a) = 0. Multiplicando-se essa express ao pelo seu complexo conjugado, tem-se 2 2 1 |u(a)|2 + 2 |u (a)|2 + 21 2 Re u(a)u (a) = 0 , ou seja, 21 2 Re u(a)u (a) Analogamente, para o ponto b, 21 2 Re u(b)u (b) Consideremos agora que 1 2 < 0 e 1 2 > 0. A express ao (12.72) nos ensina que 1 2 e Re u(a)u (a) t em sinais opostos e (12.73) que 1 2 1 2 > 0 a soma do lado direito de (12.71) ser a estritamente positiva. Como a |u(x)|2 r (x) dx > 0, j a que r e tamb em por hip otese estritamente positiva, segue de (12.71) que > 0. Se 1 2 = 0, ent ao u(a)u (a) = 0 (por que?). Assim, se adicionalmente tivermos q (x) 0 para todo x [a, b] e 1 2 > 0, ent ao a soma do lado direito de (12.71) ser a estritamente positiva, o que implica > 0. Analogamente, se 1 2 = 0, ent ao u(b)u (b) = 0 (por que?). Assim, se adicionalmente tivermos q (x) 0 para todo x [a, b] e 1 2 < 0, ent ao teremos novamente > 0. Por m, se 1 2 = 0 e 1 2 = 0, ent ao u(a)u (a) = 0 e u(b)u (b) = 0. Assim, com q (x) 0 para todo x [a, b] teremos novamente > 0. Coment ario sobre auto-valores negativos em sinais opostos. Assim, se tivermos q (x) 0 para todo x [a, b], 1 2 < 0 e e Re u(b)u (b) t
b 2 2 = 1 |u(b)|2 + 2 |u (b)|2 . 2 2 = 1 |u(a)|2 + 2 |u (a)|2 .
(12.72)
(12.73)
Cap tulo 12
669/1355
importante dizer aqui que existem problemas de Sturm-Liouville regulares onde ocorrem autoE valores negativos (vide exerc cio-exemplo abaixo). No Teorema 12.3, p agina 670, mostraremos que apesar de ser poss vel a exist encia de auto-valores negativos, os mesmos n ao podem ser arbitrariamente negativos, ou seja, negativos mas com m odulo || arbitrariamente grande. Provaremos que existe uma constante M tal que M . A constante M pode ser positiva, negativa ou nula. Em verdade, em um problema de Sturm-Liouville regular pode ocorrer no m aximo um n umero nito de auto-valores negativos. Um Exemplo E. 12.13 Exerc cio-exemplo. Seja o problema de Sturm-Liouville u + u = 0, no intervalo [0, 1], com as condi co es de contorno u(0) = 0 e 1 u(1) + 2 u (1) = 0. Aqui p(x) = 1, q (x) = 0, r (x) = 1, 1 = 1 e 2 = 0. A identidade (12.71) ca
1 1
|u(x)|2 dx =
(12.74)
Caso 1 = 0, teremos u (1) = 0. Caso 2 = 0, teremos u(1) = 0. Nesses dois casos, (12.74) ca
1 1
|u(x)| dx =
|u (x)|2 dx ,
que garante que > 0. No caso em que 1 e 2 s ao n ao-nulos, (12.73) diz-nos que
1 1
|u(x)|2 dx =
|u (x)|2 dx +
1 2 2 |u(1)|2 + 2 |u (1)|2 . 21 2 1
(12.75)
Como se v e, se 1 2 > 0 tem-se > 0, mas se 1 2 < 0 poderemos ter auto-valores negativos. Abaixo 2 (item f), veremos que isso de fato ocorre caso 1 < 2 1 < 0. )2 2 , n = 0, 1, 2, . . .. a. No caso 1 = 0 mostre que os auto-valores s ao n = (n + 1 2 b. No caso 2 = 0 mostre que os auto-valores s ao n = n2 2 , n = 1, 2, 3, . . .. c. Determine as auto-fun co es normalizadas nessas duas situa co es. d. No caso em que 1 e 2 s ao n ao-nulos mostre que os auto-valores positivos s ao as (innitas!) solu co es positivas de 1 = tan( ) . 2 Mostre gracamente que essa equa c ao tem innitas solu co es positivas quer
1 2
> 0 ou quer
1 2
< 0.
e. Para o caso 1 = 2 mostre que tamb em ocorre o auto-valor = 0, cuja auto-fun c ao e u(x) = x, sendo uma constante arbitr aria n ao nula.
Cap tulo 12
670/1355
2 2 < 1, ou seja, se 1 < 2 1 < 0, ocorre tamb em um ( unico!) auto-valor f. Mostre que se 0 < 1 negativo, o qual e solu c ao de 1 = tanh( ) . 2
2 2 ou caso > 1. Mostre gracamente que essa equa c ao n ao tem solu c ao n ao-nula caso 0 > 1 1
g. Reunindo os resultados obtidos, indique no plano Cartesiano ( 1 , 2 ) a regi ao onde os auto-valores s ao estritamente positivos, a regi ao onde ocorre o auto-valor zero e a regi ao onde ocorrem tamb em auto-valores negativos al em dos auto-valores positivos.
Um limite inferior para os auto-valores Ainda sobre os auto-valores de problemas de Sturm-Liouville regulares, o seguinte teorema pode ser demonstrado. Teorema 12.3 Seja o problema de Sturm-Liouville (regular) denido pela equa ca o Lu + r (x)u = 0, onde p, q e r s ao fun co es reais denidas em [a, b], tais que p e cont nua, diferenci avel e estritamente positiva em [a, b], ou seja, p(x) > 0 para todo x [a, b]; q e cont nua em [a, b]; r e cont nua e estritamente positiva em [a, b], ou seja, r (x) > 0 para todo x [a, b]; com as condi co es de contorno 1 u(a) + 2 u (a) = 0 , para (1 , 2 ) = (0, 0), (1 , 2 ) = (0, 0). Ent ao existe uma constante M , que depende (em geral de forma muito complicada) das fun co es p, q e r e das constante 1, 2 e 1, 2 , tal que todos os auto-valores satisfazem M. 1 u(b) + 2 u (b) = 0
A constante M pode ser positiva, negativa ou nula. O que esse teorema diz e que existe um limitante inferior para os auto-valores de um problema de Sturm-Liouville, ou seja, os mesmos podem at e ser eventualmente negativos, mas n ao arbitrariamente negativos. A demonstra ca o 9 desse teorema e apresentada no Ap endice 12.E, p agina 690.
9
Cap tulo 12
671/1355
12.5
Um dos passos mais u teis para se estudar um problema de Sturm-Liouville consiste em transform a-lo em uma equa ca o integral. Como veremos, isso pode ser feito caso 0 n ao seja um poss vel auto-valor. Considere o problema de Sturm-Liouville de determinar as solu co es de Lu = r (x) u, (12.76) que satisfa cam as condi co es de contorno (12.52)-(12.53). Se = 0 n ao for um auto-valor desse problema, ou seja, se Lu = 0 com as condi co es de contorno (12.52)-(12.53) possuir apenas a solu ca o trivial u = 0, ent ao o problema de Sturm Lu = f com as condi co es de contorno (12.52)-(12.53) possui solu ca o u nica. Isso e elementar de se ver, pois se u1 e u2 s ao duas solu co es, ent ao L(u1 u2 ) = 0, sendo que u1 u2 obviamente satisfaz (12.52)-(12.53). Pelo pressuposto, u1 u2 = 0.
b
ca o. Assim sob a hip otese que = 0 n ao e de contorno (12.52)-(12.53) e, portanto, essa eau nica solu um auto-valor do problema de Sturm-Liouville, toda fun ca o u que satisfaz Lu = f com as condi co es de
b
Disso conclu mos que a fun ca o u que satisfaz a equa ca o diferencial (12.76) satisfaz tamb em u(x) = isto e, denindo-se para x, y [a, b], vale k (x, y ) := G(x, y ) r (y )
b
G(x, y ) r (y ) u(y ) dy ,
a
u(x) =
a
k (x, y ) u(y ) dy .
Uma equa ca o como esta onde a fun ca o k (x, y ) e cont nua em um intervalo fechado e conhecida como Equa ca o Integral de Fredholm linear homog enea, ou simplesmente Equa ca o Integral de Fredholm 10 . O estudo da equa ca o integral de Fredholm e um dos cap tulos importantes da An alise Funcional e da Teoria das Equa co es Integrais. Iremos agora tratar apenas de aspectos b asicos da mesma que mais diretamente nos interessam. O m etodo dos determinantes de Fredholm para a solu ca o de equa co es integrais de Fredholm homog eneas e n ao-homog eneas ser a apresentado com certo detalhe na Se ca o 13.2, p agina 700. O leitor poder a encontrar mais material sobre a equa ca o integral de Fredholm n aolinear na Se ca o 18.2, p agina 939, assim como na Se ca o 27.6, p agina 1252, para o caso linear. Alguns poucos coment arios hist oricos podem ser encontrados a ` p agina 706. Seja o espa co vetorial C (J ) introduzido acima, de todas as fun co es cont nuas denidas no intervalo J = [a, b]. Podemos ent ao, com o aux lio da fun ca o k (x, y ) dada em (12.78), denir em C (J ) um operador linear K dado por
b
(Kf )(x) :=
a
10
k (x, y ) f (y ) dy .
(12.80)
Cap tulo 12
672/1355
x J . O operador K e denominado operador de Fredholm. A equa ca o (12.79) diz-nos ent ao que Ku = 1 u. (12.81)
A respeito desse operador K podemos provar o seguinte resultado. Tomando-se em C (J ) o produto escalar , r denido acima, temos f, Kg para todo f , g C (J ). c ao de Green satisfaz G(x, y ) = G(y, x). E. 12.14 Exerc cio. Mostre esse fato. Para isso use que a fun
r
= Kf, g
(12.82)
Um operador linear que satisfaz uma rela ca o como (12.82) e dito ser um operador sim etrico ou Hermiteano, um conceito de grande import ancia em F sica e Matem atica. O operador K e ent ao um operador sim etrico em rela ca o ao produto escalar , r . Se A e um operador linear agindo em um espa co vetorial complexo V , dizemos que um vetor n ao-nulo x e um autovetor de A se houver um n umero (real ou complexo) tal que Ax = x.
(12.83)
O n umero e dito ser um auto-valor de A e x o autovetor associado a . O conjunto de todos os auto-valores de um operador linear A e chamado de espectro pontual11 de A. Um fato importante sobre operadores sim etricos e o seguinte: se e um auto-valor de um operador sim etrico A que age em um espa co vetorial complexo V , ent ao e um n umero real. Para ver isso note que se x e o autovetor associado a ent ao temos que, como A e sim etrico 0 = x, Ax Ax, x = x, x x, x = ( ) x, x . Como x = 0, isso implica = , ou seja, e real. O fato de o operador de Fredholm K ser sim etrico signica que seus auto-valores s ao n umeros reais. Note-se que a equa ca o de Fredholm (12.81) e precisamente uma equa ca o de auto-valores, o auto-valor sendo, nesse caso, o n umero 1/. O que provamos acima diz-nos ent ao que dever ser um n umero real, uma outra demonstra ca o de um fato que j a sab amos. O seguinte teorema pode ser demonstrado sobre o operador de Fredholm associado a um problema de Sturm-Liouville: Teorema 12.4 Seja K o operador de Fredholm associado a um problema de Sturm-Liouville, que supomos n ao admitir auto-valor nulo. Ent ao K e um operador cont nuo. Seus auto-valores formam um u encia dos n s ao limitados conjunto discreto (ou seja, cont avel) {n , n }. Os valores da seq (n ao divergem para ), apenas um n umero nito deles pode ser negativo e eles se acumulam apenas
O conceito geral de espectro de operadores denidos em espa cos de Banach e detalhadamente discutido na Se ca o 27.5, p agina 1243.
11
Cap tulo 12
673/1355
1 = +. Al em disso, os auto-valores n s ao simples: existe n n para cada auto-valor n apenas uma auto-fun ca o un tal que no ponto 0. Assim, tem-se que lim K u n = n un . Denotemos por Hr o espa co de Hilbert de todas as fun co es em J = [a, b] tais que
b a
(12.84)
(12.85)
Nesse espa co de Hilbert o produto escalar considerado e o produto escalar , r denido acima. Vamos supor que as auto-fun co es un s ao normalizadas, ou seja, satisfazem un , un r = 1. Ent ao o conjunto das auto-fun co es normalizadas un de K forma uma base ortonormal completa em Hr , ou seja, todo vetor f Hr pode ser escrito como
N
cn un =:
n=1
n=1
c n un ,
(12.86)
b r
=
a
(12.87)
lim
c n un
n=1
c n un
n=1 r b N 2
= lim
f (x)
A demonstra ca o deste teorema e elaborada e ser a apresentada ao longo da Se ca o 27.6, p agina 1252, do Cap tulo 27. O que faremos e mostrar que o operador de Fredholm K e um operador compacto e auto-adjunto e para tais operadores valem as propriedades espectrais mencionadas acima. A arma ca o (12.86)-(12.88), por exemplo, e parte do chamado Teorema Espectral, o qual vale para operadores compactos e auto-adjuntos, como mostrado no Teorema 27.29 da p agina 1269. Notemos algumas conseq u encias do teorema acima. Como os auto-valores de um problema de Sturm-Liouville regular n s ao da forma n = 1/n , onde n e um auto-valor de K , o teorema acima diz-nos que podemos ordenar os n s em ordem crescente: < 1 < 2 < 3 < (12.89)
Cap tulo 12
674/1355
com lim n = +. Uma segunda conseq u encia de import ancia relaciona o problema de Sturmn Liouville com a fun ca o de Green. Seja u um vetor arbitr ario de Hr . Como dissemos, podemos escrever u = lim uN , onde uN = cn un , onde os cn s s ao dados por (12.87). Como K e cont nuo, temos que
N n=1 N
(Ku)(x) =
lim
cn (Kun )(x)
n=1 N
lim
cn
n=1 N
1 un (x) n
b
N b
lim
n=1
1 n lim
un (y )u(y )r (y ) dy
a N
un (x)
=
a
r (y )
n=1
un (x)un (y ) n
b a
u(y ) dy .
(12.90)
Por outro lado sabemos que, pela deni ca o, (Ku)(x) = valem para qualquer u Hr , conclu mos que G(x, y ) =
n=1
un (x)un (y ) . n
(12.91)
poss E vel demonstrar, o que n ao faremos aqui, que a soma do lado direito da u ltima express ao e absoluta e uniformemente convergente (vide e.g. [113]). A rela ca o (12.91), que e por vezes chamada f ormula de Mercer12 , mostra que a fun ca o de Green de um problema de Sturm pode ser escrita como uma expans ao envolvendo auto-valores e auto-fun co es de um problema de Sturm-Liouville. Esse fato e relevante tanto na pr atica da resolu ca o de equa co es diferenciais quanto na obten ca o de resultados qualitativos sobre a natureza das solu co es. Estudaremos adiante algumas dessas aplica co es.
12.6
Vamos aqui tratar do problema de encontrar as solu co es da equa ca o diferencial n ao-homog enea Lu + r (x)u = f (x) , (12.92)
onde a solu ca o u est a ainda sujeita a `s condi co es de contorno homog eneas (12.52)-(12.53). Acima, o operador L e denido como anteriormente e assumimos para as fun co es p, q e r as mesmas condi co es
T. Mercer. Functions of positive type and their connection with the theory of integral equations. Transactions London Phil. Soc. (A) 209, 415-446 (1909).
12
Cap tulo 12
675/1355
mencionadas no in cio do presente cap tulo. A fun ca o f ser a assumida uma fun ca o real e cont nua e um n umero real dado. Como veremos, a solu ca o pode ser obtida com uso das auto-fun co es e auto-valores do problema de Sturm-Liouville Lu + r (x)u = 0 com condi co es de contorno homog eneas do tipo (12.4)-(12.5). Chamaremos esse problema de problema de Sturm-Liouville associado (ao problema (12.92)). Novamente suporemos que o problema de SturmLiouville associado n ao tem solu ca o com auto-valor = 0. Com o uso da representa ca o da fun ca o de Green em termos dos auto-valores e auto-fun co es do problema de Sturm-Liouville associado (f ormula de Mercer, (12.91)), vamos mostrar como podemos encontrar uma express ao para a solu ca o desse problema. A equa ca o diferencial (12.92) pode ser escrita como Lu = r (x)u + f . (12.93)
Usando, como zemos anteriormente, o Teorema de Green, podemos dizer que a fun ca o u(x) que satisfaz esta equa ca o diferencial satisfaz tamb em a equa ca o integral
b b
u(x) = Denamos
G(x, y )r (y )u(y ) dy +
a b a
G(x, y )f (y ) dy .
(12.94)
g (x) :=
a
G(x, y )f (y ) dy .
(12.95)
Usando a f ormula de Mercer para a fun ca o de Green, podemos escrever (12.94) como u(x) = E. 12.15 Exerc cio. Mostre isso. Tomando-se o produto escalar de ambos os lados da igualdade com o vetor um , tiramos que 1 m um , u
r n=1
un , u n
un (x) + g (x) .
(12.96)
= um , g
(12.97)
Aplicando agora a f ormula de Mercer a ` deni ca o de g em (12.95), tiramos que g (x) = e, portanto, que um , g ou seja, um , g
r r n=1
1 n
un (y ) f (y ) dy
a b
un (x) ,
(12.98)
1 m
um (y ) f (y ) dy ,
a
(12.99)
1 um , f . m
(12.100)
Cap tulo 12
676/1355
E. 12.16 Exerc cio. Mostre esses dois u ltimos resultados. At e agora n ao zemos quaisquer restri co es a respeito da constante que aparece na equa ca o diferencial n ao-homog enea (12.92). H a dois casos a supor. Aquele em que n ao e igual a nenhum auto-valor m do problema de Sturm-Liouville associado e aquele caso em que = s , para algum auto-valor s do problema de Sturm-Liouville associado. Caso I. n ao e um auto-valor. Nesse caso as rela co es (12.97) e (12.99) dizem-nos que um , u e, portanto, temos que u(x) =
m=1 r
1 = m 1 m
b
um (y ) f (y ) dy
a
(12.101)
um (y ) f (y ) dy
a
um (x) .
(12.102)
Esta f ormula d a-nos a solu ca o do problema em termos das auto-fun co es e auto-valores do problema do Sturm-Liouville associado e mostra-nos uma das raz oes que tornam importante a solu ca o do mesmo problema de Sturm-Liouville. A s erie do lado direito converge absoluta e uniformemente em J . Caso II. = s para algum s. Neste caso o problema tratado nem sempre tem solu co es. Para ver isso, note que, supondo-se a exist encia de uma solu ca o, a rela ca o (12.97) diz-nos neste caso que u s , g r = 0, ou seja, por (12.100)
b
um , f
=
a
us (y ) f (y ) dy = 0 .
(12.103)
Caso a fun ca o f seja tal que (12.103) n ao e satisfeita, ent ao nenhuma solu ca o e poss vel para o problema tratado. Se f , por em, for tal que (12.103) seja v alida, teremos que a fun ca o u dada por u (x) =
m=1 m=s
1 m
um (y ) f (y ) dy
a
um (x)
(12.104)
e uma solu ca o do problema tratado. ltima armativa seguindo passos semelhantes aos do caso I. E. 12.17 Exerc cio. Prove esta u A solu ca o mais geral, por em, e dada por u(x) = cus (x) + u (x) , (12.105)
onde c e uma constante arbitr aria, a ser determinada por alguma imposi ca o adicional qualquer a ser feita ao problema.
Cap tulo 12
677/1355
E. 12.18 Exerc cio. Mostre que esta fun c ao u e de fato uma solu c ao (substitua na equa c ao (12.92) e verique tamb em se as condi co es de contorno s ao satisfeitas). Mostre que n ao pode haver solu c ao mais geral que esta. Para isso use o fato que o auto-valor s e simples. O caso de condi co es de contorno n ao-homog eneas Vamos aqui discutir brevemente uma generaliza ca o do problema anterior. Procuramos uma solu ca o da equa ca o diferencial n ao-homog enea Lu + r (x)u = f (x) , (12.106)
onde a solu ca o u est a ainda sujeita a `s condi co es de contorno n ao-homog eneas (12.2)-(12.3). Acima, o operador L e denido como anteriormente e assumimos para as fun co es p, q e r as mesmas condi co es mencionadas no in cio destas notas. A fun ca o f ser a assumida ser uma fun ca o real e cont nua e ser a assumido ser um n umero real dado. Esse problema pode ser resolvido combinando m etodos que j a discutimos. Em primeiro lugar constr oi-se uma fun ca o w que seja duas vezes diferenci avel e satisfa ca as condi co es n ao-homog eneas (12.2)-(12.3). Procura-se ent ao uma supostamente existente solu ca o v da equa ca o Lv + r (x)v = h(x) , com que satisfa ca as condi co es de contorno homog eneas (12.4)-(12.5). Uma tal solu ca o pode ser obtida pelos m etodos da Se ca o 12.6, p agina 674. claro, ent E ao, que u = v + w satisfar a Lu + r (x)u = f (x) e as condi co es de contorno n ao-homog eneas (12.2)-(12.3). Como vimos, para a solu ca o v exista e necess ario que n ao seja um auto-valor do problema de Sturm-Liouville associado. Caso seja um auto-valor, s o teremos solu ca o se u , h = 0, ou seja, u , f Vale observar que u , (L + r )w = u , Lw + ru , w = u , Lw Lu , w . Note que o lado direito n ao e for cosamente zero, pois aqui o Lema de Green n ao se aplica, j a que w n ao e elemento do espa co vetorial V(1 , 2 , 1 , 2 ) das fun co es que satisfazem as condi co es de contorno homog eneas (12.4)-(12.5). A condi ca o (12.109) ca, ent ao, u , f = u , Lw Lu , w . = u , (L + r )w . (12.109) (12.108) h(x) = f (x) (L + r (x))w (x) , (12.107)
Nesse caso de ser um auto-valor podemos, como j a observamos, acrescentar a ` solu ca o u um m ultiplo da auto-fun ca o u , obtendo a solu ca o mais geral na forma cu (x) + u (x).
Cap tulo 12
678/1355
12.7
12.7.1
Vamos aqui discutir brevemente uma variante do problema de Sturm-Liouville regular que consiste no problema de determinar as solu co es da equa ca o diferencial (p(x)u ) + q (x)u + r (x)u(x) = 0 para u denida no intervalo fechado nito [a, b]
(12.110)
u(a) e u (a) s ao nitas, 1 u(b) + 2 u (b) = 0 , onde o seguinte estar a sendo suposto:
A fun ca o p e diferenci avel em [a, b] e positiva: p(x) > 0 para x (a, b] mas se anula em x = a: p(a) = 0
r e cont nua e estritamente positiva em J , ou seja, r (x) > 0 para todo x [a, b].
Como se percebe, a distin ca o b asica entre este problema e o anteriormente tratado reside no fato de que agora p(x) se anula no ponto a. O fato de p anular-se em a implica que a solu ca o pode ser singular nesse ponto. Da , nenhuma condi ca o de contorno pode ser xada para o ponto x = a, exceto que a solu ca o e sua derivada n ao sejam divergentes naquele ponto (se isso for desejado). Um exemplo f sico que conduz a esse tipo de situa ca o e o problema das oscila co es de uma corda de densidade constante e comprimento L, suspensa verticalmente em um campo gravitacional constante (a acelera ca o da gravidade sendo g ) e presa em uma das suas extremidades, a outra cando livre. Esse problema e resolvido na Se ca o 10.2.2, p agina 562. Se x representa a altura e o ponto onde uma as extremidades ca presa e x = L, ent ao a equa ca o que descreve o problema e x gx u x = 2u t2
com as condi co es de contorno u(0, t) e u (0, t) nitas e u(L, t) = 0. Usando o m etodo de separa ca o de vari aveis e adotando-se u(x, t) = v (x)w (t), obtem-se para w a equa ca o w (t) + w (t) = 0 e para v (gxv ) + v = 0 , com v (L) = 0 e com v (0) e v (0) nitos. Aqui e aria a ser determinada pelas uma constante arbitr e a fun ca o de Bessel de ordem zero, condi co es de contorno. A solu ca o e vn (x) = cn J0 (2 n x), onde J0
Cap tulo 12
679/1355
0 n) cn e uma constante e n e o n- esimo auto-valor, dado por n = ( , onde n e o n- esimo zero de J0 4L no semi-eixo real positivo. Para um tratamento detalhado desse problema, vide Se ca o 10.2.2, p agina 562. O problema para v e claramente um problema de Sturm-Liouville do tipo mencionado acima, j a que p(x) = gx se anula em x = 0.
0 2
Esse tipo de problema de Sturm-Liouville e, por vezes, denominado Problema de Sturm-Liouville singular, e para ele nem sempre valem os mesmos resultados que no caso anteriormente tratado, o dos problemas de Sturm-Liouville regulares. Por exemplo, nem sempre pode ser garantida a exist encia de auto-valores e autovetores (ou seja, de solu co es para o problema). Isso pode ser visto explicitamente no exemplo tratado no Ap endice 12.D, p agina 689. Mesmo assim, os problemas de Sturm-Liouville singulares, quando sol uveis, compartilham algumas propriedades com os problemas regulares, tais como a realidade dos auto-valores e a ortogonalidade das auto-fun co es. De fato, e f acil ver que o Lema de Green tamb em vale nesse caso. Seja V(1 , 2 ) o espa co vetorial de todas as fun co es f duas vezes diferenci aveis denidas no intervalo [a, b] tais que 1 f (b) + 2 f (b) = 0 e que sejam nitas em x = a. Ent ao, se u e v s ao elementos de V(1 , 2 ) tem-se v, Lu = Lv, u , ou seja,
a b b
v (x) (Lu)(x) dx =
a
(12.113)
v (x) (Lu)(x) dx =
a a
u(x) (Lv )(x) dx + p(b) v (b)u (b) v (b)u(b) p(a) v (a)u (a) v (a)u(a) . (12.114)
Ou ltimo termo e zero, pois p(a) = 0 e v (a)u (a) v (a)u(a) e nito. O termo v (b)u (b) v (b)u(b) e nulo pelo mesmo argumento apresentado quando da primeira demonstra ca o do Lema de Green, para o caso regular (vide p agina 664 e seguintes). Uma vez demonstrado o Lema de Green para o problema singular, segue de maneira totalmente an aloga ao que demonstramos no caso regular que os auto-valores s ao reais e que auto-fun co es de auto-valores distintos s ao ortogonais entre si em rela ca o ao produto escalar , r :
b
u , u
=
a
se = . N ao repetiremos a demonstra ca o aqui e remetemos o leitor a ` p agina 665 onde isso foi feito no caso regular. ao simples. E. 12.19 Exerc cio. Mostre que, assim como no caso regular, os auto-valores, se existirem, s Para isso estude a demonstra c ao para o caso regular da Se c ao 12.4.2, p agina 666, e verique que a mesma tamb em se aplica ao caso singular.
Cap tulo 12
680/1355
12.8
E. 12.20 Exerc cio. Determine a fun c ao de Green para o seguinte problema de Sturm: u = f (x), com 1 u(a) + 2 u (a) = 0, 1 u(b) + 2 u (b) = 0, com x [a, b], a < b. Mostre que esse problema s o tem solu c ao se (b a)1 1 + 1 2 1 2 = 0.
E. 12.21 Exerc cio. a) Determine a fun c ao de Green do seguinte problema de Sturm u = f (x), onde u e denida no intervalo x [0, 1] e satisfaz as seguintes condi co es de contorno: u (0) = 0 , u(1) = 0 . (12.115)
b) Determine os auto-valores e auto-fun co es normalizadas do problema de Sturm-Liouville u + u = 0 , onde u e tamb em denida no intervalo x [0, 1] e satisfaz as mesmas condi co es de contorno (12.115).
c) Expresse a fun c ao de Green do problema de Sturm do item a) em termos dos auto-valores e autofun co es normalizadas obtidas em b) e, usando a express ao assim obtida, prove a seguinte identidade 2 = 8
m=0
1 . (2m + 1)2
d) Determine a solu c ao do problema de Sturm do caso a) para f (x) = (3 x)e x . Use para tal a fun c ao de Green. e) Mostre explicitamente que a solu c ao obtida no item d) satisfaz a equa c ao diferencial e as condi co es de contorno desejadas.
E. 12.22 Exerc cio. Determine explicitamente a fun c ao de Green para os seguintes problemas de Sturm: a) u = f (x), com u(0) = 0, u(1) = 0. b) u = f (x), com u(0) = 0, u (1) = 0. c) u = f (x), com u(0) = 0, u(1) + u (1) = 0. d) u + u = f (x), com u(0) = 0, u (1) = 0. e) (xu ) = f (x), com u(1) = 0, u(e) = 0. E. 12.23 Exerc cio. Determine explicitamente a solu c ao dos cinco problemas de Sturm acima para o caso em que f (x) = x. E. 12.24 Exerc cio. Determine explicitamente a fun c ao de Green para o seguinte problema de Sturm: 2 (xu ) u = f (x) , x
Cap tulo 12
681/1355
onde > 0, com as condi co es de contorno com u(a) = 0 e u(b) = 0, onde 0 < a < b < . Verique que fun co es do tipo v (x) = c1 x + c2 x , s ao solu co es da equa c ao homog enea e, com as mesmas, monte a fun c ao de Green. A solu c ao obtida vale tamb em caso a = 0? Note que nesse caso p(x) = x n ao e estritamente positiva no intervalo [a, b]. E. 12.25 Exerc cio. Uma part cula de massa m > 0 se move em uma dimens ao sob um potencial kx2 com k > 0 (potencial do oscilador harm onico). Al em disso, a part cula est a submetida a uma U (x) = 2 for ca externa f (t) que, como a nota c ao indica, pode variar com o tempo. Suponha que se saiba que no instante de tempo t0 = 0 a part cula encontra-se na posi c ao x(t0 ) = 0 e que k no instante de tempo t1 = , onde = , a part cula encontra-se novamente na posi c ao x(t1 ) = 0. 2 m Determine a fun c ao de Green para o problema de Sturm associado ao problema mec anico acima e determine a trajet oria x(t) da part cula para t [t0 , t1 ] para os seguintes tipos de for ca: a) f (t) = At, para A > 0, constante e b) f (t) = B sin(t), para B > 0, constante. E. 12.26 Exerc cio. Resolva os seguintes problemas de Sturm-Liouville, determinando os auto-valores e as auto-fun co es normalizadas: a) u + u = 0, com u(0) = 0, u(1) = 0. b) u + u = 0, com u(0) = 0, u (1) = 0. c) u + u = 0, com u(0) = 0, u(1) + u (1) = 0. d) u + u + u = 0, com u(0) = 0, u (1) = 0. Neste caso, mostre gracamente que h a innitos auto-valores e que, ` a medida em que eles crescem, a dist ancia entre eles tende a uma constante. Ocorrem auto-valores negativos? Zero e um poss vel auto-valor? E. 12.27 Exerc cio. Para cada um dos casos do Exerc cio E. 12.26, expresse a fun c ao de Green do problema de Sturm correspondente usando a f ormula de Mercer, ou seja, em termos de uma s erie envolvendo as auto-fun co es normalizadas e os auto-valores: G(x, y ) =
n=1
un (x)un (y ) . n
Seja o problema de Sturm-Liouville u + u = 0, no intervalo [0, 1], com as E. 12.28 Exerc cio. condi co es de contorno u(0) = 0 e 1 u(1) + 2 u (1) = 0. a. Determine os auto-valores positivos no caso 1 = 0, no caso 2 = 0 e indique como determin a-los no caso em que ambos 1 e 2 s ao n ao-nulos. Determine as auto-fun co es em cada situa c ao.
Cap tulo 12
682/1355
b. Que rela c ao devem satisfazer as constantes 1 e 2 para que = 0 seja um auto-valor? Determine a auto-fun c ao correspondente. c. Que rela c ao devem satisfazer as constantes 1 e 2 para que haja tamb em auto-valores negativos? Quantos s ao os auto-valores negativos, se os houver? Determine suas auto-fun co es, se as houver. d. Reunindo os resultados obtidos, indique no plano Cartesiano ( 1 , 2 ) a regi ao onde os auto-valores s ao estritamente positivos, a regi ao onde ocorre o auto-valor zero e a regi ao onde ocorrem auto-valores negativos al em dos auto-valores positivos. Nota. Em a, b e c n ao e necess ario normalizar as auto-fun co es. E. 12.29 Exerc cio. Resolva o seguinte problema de Sturm-Liouville, determinando os auto-valores e as auto-fun co es normalizadas: (xu ) + u = 0 , x com u(1) = 0 e u(e) = 0. Determine as rela co es de ortogonalidade entre as auto-fun co es. Verique-as explicitamente. Expresse a fun c ao de Green do problema de Sturm correspondente usando a f ormula de Mercer. Sugest ao: Verique que fun co es do tipo c1 ei
ln x ln x
+ c2 ei
u = 0. Mostre, da , que as auto-fun co es s ao da forma s ao as solu co es gerais de (xu ) + x un (x) = cn sen (n ln x) , n = 1, 2, . . .. Determine cn impondo que cada un seja normalizada. E. 12.30 Exerc cio. Resolva explicitamente o problema de Sturm-Liouville semi-homog eneo (xu ) + u = f (x) , x x [1, e] ,
com u(1) = 0 e u(e) = 0, xo, = n2 2 , n = 1, 2, . . ., primeiramente para f gen erica e depois, 1 explicitamente, para f (x) = x . E. 12.31 Exerc cio. a. Determine explicitamente a fun c ao de Green do seguinte problema de Sturm, denido no intervalo [0, 1]: (ex u ) = f (x) , com u(0) = u(1) = 0. b. Determine os auto-valores e as auto-fun co es normalizadas do problema de Sturm-Liouville (ex u ) + ex u = 0 , com x [0, 1] e com u(0) = u(1) = 0.
Cap tulo 12
683/1355
c. Usando a f ormula de Mercer, expresse fun c ao de Green em termos de uma s erie envolvendo os auto-valores e as auto-fun co es normalizadas. d. Determine explicitamente a solu c ao da equa c ao diferencial (ex u ) + 5ex u = f (x), com u(0) = u(1) = 0, para f (x) = ex/2 . E. 12.32 Exerc cio. Seja o problema de Sturm (p(x)u ) + q (x)u = f (x) , para uma fun c ao u denida no intervalo [a, b]
x [0, 1] ,
1 u(a) + 2 u (a) = 0 , 1 u(b) + 2 u (b) = 0 , onde p, q e f s ao fun co es reais; p e cont nua, diferenci avel e estritamente positiva em [a, b]; q e f s ao cont nuas em [a, b]. a. Mostre que o produto p(x)W (x) e constante, onde W (x) e o determinante Wronskiano das solu co es da equa c ao homog enea (p(x)v ) + q (x)v = 0 satisfazendo 1 v1 (a) + 2 v1 (a) = 0, 1 v2 (b) + 2 v2 (b) = 0. b. Mostre que a fun c ao de Green desse problema satisfaz lim Gx (x + , x) Gx (x , x)
0
1 , p(x) 1 . p(x)
E. 12.33 Exerc cio. [Adaptado de [117]]. a. Obtenha a fun c ao de Green associada ao problema de Sturm y (x) = f (x) com x [0, 1] e y (0) = y (1) = 0.
Cap tulo 12
684/1355
c. Determine as rela co es de ortogonalidade entre essas auto-fun co es. Obtenha as auto-fun co es normalizadas. Sugest ao: use as rela co es de ortogonalidade das fun co es de Bessel. d. Expresse a fun c ao de Green do problema de Sturm correspondente usando a f ormula de Mercer. e. Determine aproximadamente os dois primeiros auto-valores. Sugest ao: procure aproximantes da 2 forma y(2) (x) = c1 x(1 x) + c2 x (1 x).
f. Obtenha os zeros exatos de J1/3 em alguma tabela e compare os resultados, indicando os erros percentuais. g. Resolva explicitamente a equa c ao diferencial y + xy = f (x) , x [0, 1] ,
com y (0) = 0 e y (1) = 0, xo, = n , para todo n, primeiramente para f gen erica e depois, explicita1 . Sugest ao: use a identidade mente, para f (x) = 1 x3
1 0
J (au)
1 du = J 2 2 2 1u
a 2
Cap tulo 12
685/1355
Ap endices
12.A Prova do Teorema 12.1. Exist encia e Unicidade
Abaixo faremos uso da nota ca o e de resultados do Cap tulo 7, p agina 306. A equa ca o u + a1 (x)u + a0 (x)u = g (x) e equivalente a ` equa ca o de primeira ordem Y (x) = A(x)Y (x) + G(x) onde y1 (x) y2 (x) 0 a0 (x) 1 a1 (x) 0
Y (x) =
A(x) =
G(x) =
, g (x)
D (x, y )G(y ) dy ,
onde Yx0 = Y (x0 ), x0 arbitr ario. f E acil ver da que a solu ca o geral da equa ca o u + a1 (x)u + a0 (x)u = g (x) e da forma u(x) = A1 u1 (x) + A2 u2 (x) + up (x) , onde A1 e A2 s ao constantes, u1 e u2 s ao solu co es independentes da equa ca o homog enea u + a1 (x)u + a0 (x)u = 0 e up e uma solu ca o particular da equa ca o n ao-homog enea u + a1 (x)u + a0 (x)u = g (x). Desejamos impor as condi co es de contorno 1 u(a) + 2 u (a) = 1 , 1 u(b) + 2 u (b) = 2 , a ` solu ca o. Isso implica 1 (A1 u1 (a) + A2 u2 (a) + up (a)) + 2 (A1 u1 (a) + A2 u2 (a) + up (a)) = 1 , 1 (A1 u1 (b) + A2 u2 (b) + up (b)) + 2 (A1 u1 (b) + A2 u2 (b) + up (b)) = 2 . Esse par de equa co es pode ser escrito em forma matricial como 1 1 up (a) 2 up (a) A1 1 u2 (a) + 2 u2 (a) 1 u1 (a) + 2 u1 (a) . = 2 1 up (b) 2 up (b) A2 1 u2 (b) + 2 u2 (b) 1 u1 (b) + 2 u1 (b) (12.A.3) (12.A.4) (12.A.1) (12.A.2)
(12.A.5)
Cap tulo 12
686/1355
E. 12.34 Exerc cio. Verique. Essa u ltima equa ca o (cujas inc ognitas s ao A1 e A2 ) tem solu ca o u nica se e somente se 1 u1 (a) + 2 u1 (a) 1 u2 (a) + 2 u2 (a) 1 u2 (b) + 2 u2 (b) 1 u1 (b) + 2 u1 (b) 1 u2 (a) + 2 u2 (a) 1 u2 (b) + 2 u2 (b)
for uma matriz invert vel, ou seja, se 1 u1 (a) + 2 u1 (a) det 1 u1 (b) + 2 u1 (b)
= 0.
12.B
Pelas hip oteses mencionadas, existem fun co es u1 e u2 independentes entre si que s ao solu co es de Lu = 0 e satisfazem (12.22). Sejam c11 , c12 , c21 , c22 denidas por c11 c12 0 1 1 u1 (a) + 2 u1 (a) 1 u2 (a) + 2 u2 (a) := c21 c22 1 0 1 u2 (b) + 2 u2 (b) 1 u1 (b) + 2 u1 (b) = 1 u2 (a) + 2 u2 (a) 1 u2 (b) + 2 u2 (b) (1 u1 (a) + 2 u1 (a)) (1 u1 (b) + 2 u1 (b)) 0 1 . 1 0 (12.B.6)
por (12.22).
Note-se que c11 c12 1 u1 (a) + 2 u1 (a) det = det 1 u1 (b) + 2 u1 (b) c21 c22 Sejam as fun co es v1 (x) e v2 (x) denidas por v1 (x) c11 = v2 (x) c21 Pela deni ca o, Lv1 Lv2 = c11 c21
det
= 0 (12.B.7)
c12 c22
u1 (x) u2 (x)
Cap tulo 12
687/1355
e como
pois Lu1 = Lu2 = 0. Al em disso, c11 v1 (x) v1 (x) = c21 v2 (x) v2 (x) det u1 (x) u2 (x)
u1 (x) u2 (x)
u1 (x) u2 (x)
(12.B.8)
pois u1 e u2 s ao independentes, segue de (12.B.7) que v1 (x) v1 (x) = 0, det v2 (x) v2 (x) Tem-se de (12.B.8) 1 v1 (x) + 2 v1 (x) v1 (x) = 1 v2 (x) + 2 v2 (x) v2 (x) = = 1 v1 (a) + 2 v1 (a) 1 v2 (a) + 2 v2 (a) c11 c21 c11 c21
= 0,
(12.B.9)
para todo x [a, b], provando que v1 e v2 s ao tamb em independentes. v1 (x) v2 (x) c12 c22 c12 c22 1 2 u1 (x) u2 (x) 1 2
u1 (x) u2 (x)
Logo,
= =
(12.B.10)
1 v1 (a) + 2 v1 (a) = 0 .
(12.B.11)
Cap tulo 12
688/1355
Analogamente,
= = =
v1 (x) v2 (x) c11 c21 c11 c21 c11 c21 c11 c21
u1 (x)
1 u2 (x) 2 .
= =
(12.B.12)
1 v2 (b) + 2 v2 (b) = 0 .
(12.B.13)
As rela co es (12.B.11) e (12.B.13) s ao precisamente o que armamos em (12.23) e (12.24). Isso demonstra o que quer amos provar sobre a exist encia e propriedades das fun co es v 1 e v2 .
12.C
Faremos aqui um coment ario sobre a no ca o de determinante Wronskiano introduzida no Cap tulo 7, p agina 7 (vide p agina 318) e aquele apresentado na deni ca o. (12.30). Abaixo faremos uso de nota ca o e de resultados daquelas notas. A equa ca o Lu = 0 pode ser escrita na forma u + a1 (x)u + a0 (x)u = 0 que, por sua vez, e equivalente a ` equa ca o de primeira ordem Y (x) = A(x)Y (x) , onde y1 (x) y2 (x) 0 a0 (x) 1 a1 (x)
Y (x) =
A(x) =
Cap tulo 12
689/1355
com as identica co es u(x) = y1 (x), u (x) = y2 (x). A solu ca o e da forma Y (x) = D (x, x0 )Yx0 , onde Yx0 = Y (x0 ), x0 arbitr ario. Se Y1 e Y2 s ao duas solu co es independentes da equa ca o homog enea Y (x) = A(x)Y (x), o determinante Wronskiano (segundo a deni ca o usada no Cap tulo 7, p agina 7 (vide p agina 318)) e det Y1 (x), Y2 (x) . Como comentamos acima, Y1 e Y2 s ao da forma u1 (x) , Y1 (x) = u1 (x)
onde u1 e u2 s ao duas solu co es independentes de Lu = 0. claro ent E ao que det Y1 (x), Y2 (x) = det u1 (x) u1 (x)
Y2 (x) =
u2 (x) u2 (x)
u2 (x) u2 (x)
Au ltima igualdade e apenas o fato de que o determinante de uma matriz n ao muda quando a transpomos. Por outro lado, a rela ca o (12.B.8) nos diz que v1 (x) v1 (x) c11 c12 u1 (x) = det det det v2 (x) v2 (x) c21 c22 u2 (x) c11 c12 c21 c22 e n ao nulo, isso diz que det
= det
u1 (x) u2 (x)
u1 (x) u2 (x)
u1 (x) u2 (x)
Como det
v1 (x) v1 (x) u (x) u1 (x) diferem apenas e det 1 u2 (x) u2 (x) v2 (x) v2 (x) v (x) v1 (x) e o determinante Wronskiano, introduzido em por um fator constante. Agora det 1 v2 (x) v2 (x) (12.30). Com isso mostramos que o determinante Wronskiano do Cap tulo 7, p agina 7, difere apenas por um fator n ao nulo constante daquele introduzido em (12.30).
(12.C.14)
12.D
Cap tulo 12
690/1355
com u(1) = 0 e u nita em x = 0. A equa ca o diferencial e x2 u + 2xu + u = 0 , que e uma equa ca o do tipo de Euler, de segunda ordem. A solu ca o pode ser procurada na forma u(x) = x e obtem-se 1 1 4 . = 2 Assim, para = 1/4, tem-se 1+ 14 1 14 2 2 u(x) = Ax + Bx . Como deseja-se u(1) = 0 tem-se A = B e, assim, u(x) = A x Essa solu ca o s o ser a nita em x = 0 se13 1 + Re 1 4 0
1+ 14 2 14 2
1 Re
1 4 0 .
Ambas as condi co es n ao podem ser satisfeitas simultaneamente para nenhum (pois somando-se ambas as desigualdades, ter amos 2 0, o que e obviamente falso). Para = 1/4 a solu ca o e u(x) = 1 1 (A ln x + B ) e a condi ca o u(1) = 0 implica B = 0 e, portanto, u(x) = A x ln x, que n ao e nita em x x = 0. Logo, o problema tratado n ao tem solu ca o para nenhum auto-valor.
12.E
|u(x)|2 r (x) dx =
|u (x)|2 p(x) |u(x)|2 q (x) dx + p(a) Re u(a)u (a) p(b) Re u(b)u (b) . (12.E.15)
Armamos que existem constantes 1 e 2 , independentes de u, tais que p(a) Re u(a)u (a) e p(b) Re u(b)u (b) = 2 |u(b)|2 . (12.E.17) A demonstra ca o e a seguinte. A fun ca o u satisfaz no ponto a 1 u(a) + 2 u (a) = 0 .
13
= 1 |u(a)|2
(12.E.16)
Outra possibilidade seria escolher A = 0, ou seja, u(x) = 0, solu ca o trivial que n ao interessa como auto-fun ca o.
Cap tulo 12
691/1355
Vamos primeiro supor que 2 = 0. Tomando-se o complexo conjugado e multiplicando-se a express ao por u(a) obtem-se 1 u (a)u(a) = |u(a)|2 , 2 ou seja, 1 Re u (a)u(a) = |u(a)|2 . 2
1 Nesse caso, ent ao, tomamos 1 = p(a) . 2
Caso 2 = 0, a rela ca o 1 u(a) + 2 u (a) = 0 diz-nos que u(a) = 0. Da , e evidente que p(a) Re u(a)u (a) = 1 |u(a)|2 ,
para qualquer constante 1 , pois ambos os lados s ao nulos. Isso provou (12.E.16). A demonstra ca o de 1 , caso = 0. (12.E.17) e an aloga, escolhendo-se 2 = +p(b) 2 2 Inserindo (12.E.16) e (12.E.17) em (12.E.15) tem-se
b b
|u(x)|2 r (x) dx =
(12.E.18)
Essa u ltima express ao ser a nosso ponto de partida para mostrar que os auto-valores s ao limitados inferiormente, ou seja, que existe uma constante M tal que M .
Note-se que 1 e 2 s ao n umeros reais que tanto podem ser positivos quanto negativos. Vamos considerar os quatro casos poss veis: 1. 1 0 e 2 0; 2. 1 < 0 e 2 0; 3. 1 0 e 2 < 0; 4. 1 < 0 e 2 < 0. Caso 1. 1 0 e 2 0. Nesse caso tem-se de (12.E.18) que
b b
|u(x)| r (x) dx
|u(x)|2 q (x) dx ,
b a b a b a
|u(x)|2 r (x) dx
|u(x)|2 q (x) dx
|u(x)|2 r (x) dx
(12.E.19)
Q = max q (x),
x[a, b]
R1 = max r (x),
x[a, b]
R2 = min r (x) .
x[a, b]
Lembrando que r (x) > 0 para todo x [a, b], teremos Q q (x) . r (x) r (x)
Cap tulo 12
692/1355
Se Q = 0 conclu mos que Se Q < 0, conclu mos que Se Q > 0, teremos q (x) Q . r (x) R2 q (x) Q . r (x) R1 q (x) 0. r (x)
E. 12.35 Exerc cio. Justique cuidadosamente as desigualdades acima. Em resumo, q (x) Q , se Q < 0 . R B := 1 r (x) Q R2 , se Q > 0
b a b a
0,
se Q = 0 (12.E.20)
Retornando a (12.E.19)
= B,
onde B est a denida em (12.E.20). Adotando M = B para esse caso, obtemos o que se queria provar. Caso 2. 1 < 0 e 2 0.
b
|u(x)|2 r (x) dx
(12.E.21)
pois 2 |u(b)|2 0.
No Ap endice 12.F, p agina 694, demonstramos a seguinte desigualdade, v alida para todo x [a, b] e todo > 0:
b b
|u(x)| onde
|u (y )| dy + ( ) 1 R2
|u(y )|2 r (y ) dy , ,
(12.E.22)
( ) =
x[a, b]
1 1 + ba
1 |u(a)| 1
|u (y )| dy + 1 ( )
|u(y )|2 r (y ) dy ,
Cap tulo 12
693/1355
sendo que a desigualdade se inverteu pois 1 < 0, por hip otese. Inserindo isso em (12.E.21), tem-se
b b b
|u(x)|2 r (x) dx
(p(x) + 1 ) |u (x)|2 dx +
At e agora n ao xamos o valor de . Vamos agora escolh e-lo pequeno o suciente de modo que p(x) + 1 0 , para todo x [a, b]. Isso e sempre poss vel, pois, por hip otese p(x) > 0 para todo x [a, b]. Com b 2 e positiva e podemos escrever essa escolha a integral a (p(x) + 1 ) |u (x)| dx
b b b
|u(x)|2 r (x) dx
1 ( )
q (x) r (x)
|u(x)|2 r (x) dx .
|u(x)|2 r (x) dx (1 ( ) + B ) (1 ( ) + B ) .
|u(x)|2 r (x) dx ,
o que implica Adotando-se M = (1 ( ) + B ) para esse caso, obtemos que quer amos provar. Caso 3. 1 0 e 2 < 0. Caso 4. 1 < 0 e 2 < 0. Esse caso e tamb em an alogo ao caso 2, mas trataremos dos detalhes. De (12.E.18) temos
b b
|u(x)| r (x) dx
(12.E.23)
1 |u(a)|2 + 2 |u(b)|2 (1 + 2 )
|u (y )|2 dy + (1 + 2 ) ( )
sendo que a desigualdade se inverteu pois 1 < 0 e 2 < 0, por hip otese. Inserindo isso em (12.E.21), tem-se
b b b
|u(x)| r (x) dx
(p(x) + (1 + 2 ) ) |u (x)| dx +
At e agora n ao xamos o valor de . Vamos agora escolh e-lo pequeno o suciente de modo que p(x) + (1 + 2 ) 0 ,
Cap tulo 12
694/1355
para todo x [a, b]. Isso e sempre poss vel, pois, por hip otese p(x) > 0 para todo x [a, b]. Com b 2 essa escolha a integral a (p(x) + (1 + 2 ) ) |u (x)| dx e positiva e podemos escrever
b b
|u(x)|2 r (x) dx
=
a
(1 + 2 ) ( )
q (x) r (x)
|u(x)|2 r (x) dx ,
o que implica Adotando-se M = ((1 + 2 ) ( ) + B ) para esse caso, isto e o que quer amos provar. Com isso a demonstra ca o do Teorema 12.3 est a completa.
12.F
Seja u uma fun ca o qualquer duas vezes diferenci avel denida em [a, b]. Sejam x [a, b] e x0 [a, b]. Tem-se x |u(y )|2 dy . |u(x)|2 = |u(x0 )|2 +
x0
x0
|u(y )|2
dy .
|u(y )|2 dy =
u(y )u(y ) dy =
x0 x0
u (y )u(y ) + u(y )u (y ) dy = 2
x0
Re u (y )u(y ) dy .
u (y )u(y ) dy .
x0
Re
x0
u (y )u(y ) dy
u (y )u(y ) dy .
x0
Cap tulo 12
695/1355
u (y )u(y ) dy
x0
|u (y )|2 dy
|u(y )|2 dy
|u(x)| |u(x0 )| + 2
x0
|u(y )| dy
|u (y )| dy
|u(y )|2 dy
a b
e que
x x0
|u (y )|2 dy
j a que ao passarmos de uma integral em [x0 , x] a uma integral em [a, b] estamos em geral aumentando o intervalo de integra ca o e, em ambos os casos, o integrando e positivo. Assim,
b 1/2 b a 1/2
|u(y )| dy
|u (y )| dy
|u(x)| |u(x0 )| + 2
1
a
1/2
b a
1/2
|u(y )| dy
|u (y )| dy A B
.
2
(12.F.24)
Se A e B s ao dois n umeros positivos, e f acil provar a partir de 2 A B A+B . E. 12.36 Exerc cio. Fa ca! Usando isso em (12.F.24) com A =
1 b a
0, que
|u(y )|2 dy e B = 1
a b
b a
|u (y )|2 dy , tem-se
b a
|u(y )|2 dy +
|u (y )|2 dy .
(12.F.25)
At e aqui x0 era um ponto arbitr ario do intervalo [a, b]. Vamos escolh e-lo agora de modo que x 0 seja o ponto onde |u(x)| assume seu menor valor nesse intervalo: |u(x0 )| = min |u(x)|. Um tal ponto x0 sempre existe, pois |u(x)| e cont nua e [a, b] e um intervalo compacto. Com isso teremos, obviamente,
b a x[a, b]
Cap tulo 12
696/1355
ou seja, 1 |u(x0 )| ba
2 b a
|u(y )|2 dy .
|u (y )|2 dy +
1 1 + ba
b a
|u(y )|2 dy .
(12.F.26)
Seja agora r uma fun ca o cont nua qualquer denida em [a, b] com r (y ) > 0 para todo y [a, b]. r (y ) Denindo-se como antes R2 = min r (y ) teremos 1 , para todo y [a, b]. Inserindo isso na y [a, b] R2 segunda integral de (12.F.26), aquela express ao ca
b
|u(x)|2
|u (y )|2 dy +
1 R2
1 1 + ba
b a
|u(y )|2r (y ) dy .
(12.F.27)