Cap tulo 16 Introdu c ao ao Problema de Sturm-Liouville

Conte udo
16.1 16.2 Coment arios Iniciais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . O Problema de Sturm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16.2.1 Solu c oes Fundamentais e Fun c oes de Green . . . . . . . . . . . . . . . . . . . . . . . . . . 16.2.2 A Fun c ao de Green. Resolvendo o Problema de Sturm . . . . . . . . . . . . . . . . . . . 16.2.3 O Teorema de Green . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . O Problema de Sturm-Liouville . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16.3.1 Propriedades B asicas dos Auto-Valores e Auto-Fun c oes de Problemas de Sturm-Liouville 16.3.1.1 A Simplicidade dos Auto-Valores . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16.3.1.2 O Lema de Green . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16.3.1.3 Realidade dos Auto-Valores e Auto-fun c oes. Ortogonalidade de Auto-fun c oes . . . 16.3.1.4 Propriedades dos Autovalores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16.3.2 A Equa c ao Integral de Fredholm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16.3.3 Uma Aplica c ao do Problema de Sturm-Liouville . . . . . . . . . . . . . . . . . . . . . . . 16.3.4 M etodos Variacionais de Determina c ao de Autovalores . . . . . . . . . . . . . . . . . . . Coment arios Finais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16.4.1 Um Problema de Sturm-Liouville Singular . . . . . . . . . . . . . . . . . . . . . . . . . . Exerc cios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . APENDICES . . . . . . . . . . . . . . . . . . . . . . Prova do Teorema 16.1. Exist encia e Unicidade . . . . . . . . . . . . . . . . . . . . . . Prova da Proposi c ao 16.2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Coment ario Sobre o Determinante Wronskiano . . . . . . . . . . . . . . . . . . . . . . . Demonstra c ao do Teorema 16.3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16.D.1 Prova da Desigualdade (16.D.17) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 768 773 . 774 . 775 . 778 780 . 782 . 782 . 783 . 785 . 786 . 790 . 793 . 796 798 . 798 801 805 805 806 807 808 . 811

16.3

16.4 16.5 16.A 16.B 16.C 16.D

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 area da Matem atica, a An alise Funcional, area 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 [113]. Para uma refer encia recente, vide [263]. No presente cap tulo trataremos apenas de problemas de Sturm-Liouville de segunda ordem, i.e., envolvendo equa co es diferenciais lineares de segunda ordem, e nos restringiremos tamb em a uma classe de problemas ditos regulares. Para problemas de Sturm-Liouville de ordem superior, vide [116]. Na Se ca o 14.1 do Cap tulo 14, p agina 630, s ao feitas algumas generaliza co es a problemas n ao-regulares.

16.1

Coment arios Iniciais

In umeros problemas em F sica envolvem a resolu ca o de equa c oes 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) ,
1 Jacques 2 Joseph

(16.1)

Charles Fran cois Sturm (18031855). Liouville (18091882).

768

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 16

769/2069

onde g , a0 e a1 s ao certas fun co es conhecidas de n umeros reais em (na maioria dos casos) 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 (16.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 c oes 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. No presente cap tulo n ao trataremos de tais casos. 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 dadas 1 , 2 , 1 , 2 , 1 e 2 tais que (1 , 2 ) = (0, 0), (1 , 2 ) = (0, 0) a fun ca o u deve satisfazer o par de condi co es 1 u(a) + 2 u (a) = 1 u(b) + 2 u (b) = 1 , 2 . (16.2) (16.3)

Condi co es de contorno desse tipo s ao ditas lineares devido ` a depend encia linear em u do lado esquerdo de (16.2) e (16.3). 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) 1 u(b) + 2 u (b) = 0, = 0. (16.4) (16.5)

Condi co es de contorno lineares desse tipo s ao ditas homog eneas devido ao lado direito de (16.4) e (16.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. 16.1 Exerc cio. n ao tem solu co es. Verique que o problema de determinar uma fun c ao u tal que u = 0 tal que u (0) = 0 e u (1) = 1

c ao u tal que u = 0 tal que u (0) = 0 e u (1) = 0 E. 16.2 Exerc cio. Verique que o problema de determinar uma fun tem innitas solu co es. E. 16.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( ) = 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 em problemas que importante nesse contexto mencionar um teorema, o envolvem condi co es de contorno n ao e uma quest ao trivial. E Teorema 16.1, abaixo, o qual expressa certas condi co es necess arias e sucientes para garantir a exist encia e a unicidade de solu co es. Antes de enunci a-lo precisamos do seguinte fato. Lema 16.1 Seja a equa c ao diferencial linear homog enea de segunda ordem u + a1 (x)u + a0 (x)u = 0, onde a0 e a1 s ao fun c oes reais e cont nuas denidas num intervalo nito e fechado [a, b]. Sejam u1 , u2 duas solu c oes linearmente

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 16

770/2069

independentes dessa equa c ao denidas em [a, b] e sejam v1 e v2 duas outras solu c oes linearmente independentes da mesma equa c ao no mesmo intervalo. Sejam 1 , 2 , 1 , 2 constantes tais que (1 , 2 ) = (0, 0), (1 , 2 ) = (0, 0). Ent ao,
(a) 1 v2 (a) + 2 v2 (a) 1 u1 (a) + 2 u 1 v1 (a) + 2 v1 1 (a) 1 u2 (a) + 2 u2 (a) = 0. det = 0 se e somente se det 1 u1 (b) + 2 u1 (b) 1 u2 (b) + 2 u2 (b) 1 v1 (b) + 2 v1 (b) 1 v2 (b) + 2 v2 (b)

(16.6)

Prova. O espa co de solu co es linearmente independentes de uma equa ca o homog enea de segunda ordem e bidimensional3 . Assim, se u1 e u2 s ao duas solu co es linearmente independentes e v1 e v2 tamb em, ent ao para todo x [a, b] vale
11 onde ij s ao constantes com det ( 21 12 22

e, portanto, (16.6) segue do fato bem conhecido4 que o determinante de uma matriz e igual ao da sua transposta. Teorema 16.1 Seja a equa c ao diferencial linear de segunda ordem u + a1 (x)u + a0 (x)u = g (x) , (16.7)

1 v1 (a) + 1 v2 (a) + 2 v2 (a)

(a) 2 v1

11 = 1 v2 (b) + 2 v2 (b) 21 1 v1 (b) +

) = 0. Agora, como facilmente se constata,

(b) 2 v1

11 v1 (x) = 21 v2 (x)

12 u1 (x) , u2 (x) 22

12 1 u1 (a) + 1 u2 (a) + 2 u 22 2 (a)

2 u 1 (a)

1 u2 (b) + 2 u 2 (b)

1 u1 (b) +

2 u 1 (b)

onde g , a0 e a1 s ao fun c oes reais e cont nuas denidas num intervalo nito e fechado [a, b]. O problema de encontrar solu c oes dessa equa c ao que satisfa cam condi c oes de contorno do tipo 1 u(a) + 2 u (a) = 1 u(b) + 2 u (b) = 1 2 (16.8) (16.9)

para certas constantes reais 1 , 2 , 1 , 2 , 1 e 2 tais que (1 , 2 ) = (0, 0), (1 , 2 ) = (0, 0) tem solu c ao u nica se e somente se existir ao menos um par de solu c oes independentes u1 e u2 da equa c ao homog enea u + a1 (x)u + a0 (x)u = 0 tais que (16.10)

1 u1 (a) + det 1 u1 (b) + 2 u 1 (b)

2 u 1 (a)

1 u2 (a) + 1 u2 (b) +

2 u 2 (b)

2 u 2 (a)

= 0.

(16.11)

Pela Lema 16.1, basta que (16.11) seja satisfeita por um par de solu co es independentes de (16.10), que ser a satisfeita por todo outro par de solu co es independentes da mesma equa ca o. A demonstra ca o do Teorema 16.1 e apresentada no Ap endice 16.A, p agina 805.
3 Para 4 Vide

estudante para o qual isso n ao e obvio, o enunciado preciso e feito na Proposi ca o 12.1, p agina 499. Teorema 8.1, p agina 319.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 16

771/2069

Exemplo 16.1 No Exerc cio E. 16.3, p agina 769, 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 16.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, 1 u1 (a) + 2 u 1 (a) 1 u1 (b) + 2 u 1 (b) 1 u2 (a) + 2 u cos(0) 2 (a) = 1 u2 (b) + 2 u cos( ) 2 (b) sen (0) 1 0 = , sen ( ) 1 0

cujo determinante e nulo. Logo, a condi ca o (16.11) (necess aria e suciente para a exist encia e para a unicidade de solu ca o) e violada e, portanto, ou a solu ca o n ao existe ou n ao eu nica, como constatado no referido Exerc cio. 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 w(b) + 2 w (b) = 1 , = 2 . (16.12) (16.13)

Determinar uma fun ca o tal w satisfazendo essas condi co es sempre e poss vel (supondo (1 , 2 ) = (0, 0) e (1 , 2 ) = (0, 0)). Isso pode ser feito, por exemplo, procurando w na forma de um polin omio de grau sucientemente alto (pelo menos 3, no caso geral) e procurando ajustar os coecientes desse polin omio de modo que (16.12)-(16.13) sejam satisfeitas. Para uma tal fun ca o w, vamos denir uma fun ca o h(x) da seguinte forma: h(x) := w (x) + a1 (x)w (x) + a0 (x)w(x) . 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) = 1 v (b) + 2 v (b) = 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 u(b) + 2 u (b) = 1 , 2 . (16.17) (16.18) 0, 0. (16.15) (16.16) (16.14)

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.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 16

772/2069

Uma observa ca o importante que devemos fazer sobre equa c oes como (16.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) ,
x

Reescrevendo a equa c ao diferencial na forma de Liouville

(16.19)

onde p(x) := exp a a1 (x ) dx , q (x) := p(x)a0 (x) e f (x) := p(x)g (x). Doravante estaremos usando esta forma da equa ca o mais freq uentemente que a forma anterior. encia das duas formas da equa c ao multiplicando (16.1) por p(x) e usando o fato E. 16.4 Exerc cio. Verique a equival que, pela deni c ao, p (x) = a1 (x)p(x). Condi co es de contorno homog eneas caracterizam um espa co vetorial

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 g1 e g2 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 (16.4)-(16.5) ent ao qualquer combina ca o linear de ambas 1 g1 (x) + 2 g2 (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 (16.4)-(16.5). E. 16.5 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 (16.4)-(16.5) e um espa co vetorial (real ou complexo, dependente do caso). Esse espa co ser a denotado aqui por V(1 , 2 , 1 , 2 ), ou simplesmente por V, quando n ao houver confus ao. A seguinte proposi ca o, v alida para fun co es do espa co vetorial V(1 , 2 , 1 , 2 ), ser a freq uentemente usada no que segue. Proposi c ao 16.1 Se f e g s ao duas fun c oes quaisquer de V(1 , 2 , 1 , 2 ), ent ao valem as rela c oes f (a)g (a) f (a)g (a) = 0 e f (b)g (b) f (b)g (b) = 0 . (16.20)

Prova. Como f e g s ao elementos de V(1 , 2 , 1 , 2 ), valem 0 f (a) f (a) 1 = 0 2 g (a) g (a)

1 2

1 0 Como ( 2 ) = ( 0 ) e

= (0 0 ), as matrizes

f ( a) f ( a) g ( a) g ( a)

f (b) f (b) g(b) g (b)

0 f (b) f (b) 1 = . 0 2 g (b) g (b) n ao podem ser invers veis e, portanto, t em

determinante nulo, ou seja, valem as rela co es (16.20).

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 g1 e g2 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 ao-homog eneas (16.2)-(16.3) ent ao qualquer combina ca o linear convexa de ambas g1 (x) + (1 )g2 (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 (16.2)-(16.3). E. 16.6 Exerc cio. Verique essa arma c ao.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 16

773/2069

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 (16.2)-(16.3) e um espa co convexo. Operadores de Liouville

Como iremos daqui por diante tratar de equa co es diferenciais da forma (p(x)u ) + q (x)u = f (x), conv em introduzir uma nota ca o simplicadora: Lu := (p(x)u ) + q (x)u . L pode ser entendido como o operador diferencial linear L := d dx p(x) d dx + q (x) .

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 . Adiante, usaremos tamb em o operador diferencial parcial Lx := x p(x) x + q (x) .

Os operadores L e Lx s ao por vezes denominados operadores de Liouville. Para uso futuro, observemos que se F (x, y ) e uma fun ca o duas vezes diferenci avel, ent ao vale
b b

L
a

F (x, y ) dy

=
a

Lx F (x, y ) dy .

(16.21)

* Ap os estas observa co es podemos passar a tratar nosso problema de forma mais sistem atica.

16.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) , ou seja Lu = f , (16.22)

para u denida no intervalo fechado nito [a, b] R, a < b, com as condi co es de contorno lineares e homog eneas 1 u(a) + 2 u (a) 1 u(b) + 2 u (b) onde o seguinte estar a sendo suposto: As fun co es p, q e f s ao reais e cont nuas em [a, b]. A fun ca o p e diferenci avel em [a, b] e estritamente positiva: p(x) > 0, x [a, b]. As constantes 1 , 2 , 1 e 2 s ao reais e tais que (1 , 2 ) = (0, 0) e (1 , 2 ) = (0, 0). = 0, = 0, (16.23) (16.24)

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 16

774/2069

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 16.1, devemos impor ainda que onde u1 e u2 s ao duas solu co es independentes quaisquer da equa ca o homog enea Lu = 0. * 1 u1 (a) + 2 u 1 (a) det 1 u1 (b) + 2 u 1 (b) 1 u2 (a) + 2 u 2 (a) = 0, 1 u2 (b) + 2 u2 (b)

(16.25)

Uma vez delineado o quadro onde iremos trabalhar, passemos ao importante conceito da fun ca o de Green que nos levar a` a solu ca o do problema de Sturm.

16.2.1

Solu c oes Fundamentais e Fun c oes de Green

Comecemos com algumas deni co es geom etricas que usaremos. Denotaremos por Q o quadrado fechado do plano R2 denido por Q := [a, b] [a, b] = (x, y ) R2 : a x b e a y b . O quadrado aberto Q0 e denido por Q0 := (a, b) (a, b) = (x, y ) R2 : a < x < b e a < y < b .

O conjunto dos pontos de Q (de Q0 ) para os quais x = y e dito ser a diagonal principal de Q (de Q0 ). Denotaremos por 0 R o conjunto formado por Q sem a sua diagonal principal. Como e f acil ver R := (x, y ) R2 : a < x < y < b ou a < y < x < b .

Uma fun ca o de duas vari aveis H (x, y ) com x, y [a, b] e dita ser uma solu c ao fundamental do problema de Sturm delineado acima se satiszer as seguintes condi co es: 1. H e cont nua em Q e duas vezes diferenci avel em R, mas suas derivadas parciais n ao s ao necessariemente cont nuas na diagonal principal de Q0 . 2. Lx H (x, y ) = 0 para todos (x, y ) R.
b

Solu co es fundamentais e fun co es de Green

3. Para toda fun ca o g : [a, b] R, cont nua, a fun ca o

b

H (x, y )g (y ) dy satisfaz
a

L
a

H (x, y )g (y ) dy

= g (x)

(16.26)

para x [a, b]. O item 2, acima, diz-nos que uma solu ca o fundamental e o que se denomina uma solu c ao fraca da equa ca o Lx H = 0 em Q, ou seja, uma solu ca o dessa equa ca o, n ao em todo Q mas em um conjunto cujo fecho e Q. Uma fun ca o de duas vari aveis G(x, y ) com x, y [a, b] e dita ser uma fun c ao de Green5 do problema de Sturm que delineamos acima se G for uma solu ca o fundamental do problema de Sturm e se a fun c ao
b

u(x) :=
a
5 George

G(x, y )f (y ) dy

(16.27)

Green (17931841).

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 16

775/2069

satiszer as condi co es de contorno (16.23)-(16.24). As deni co es acima dizem que se G for uma fun ca o de Green do problema de Sturm em quest ao, ent ao (16.27) e a solu ca o desse problema, pois satisfaz a equa ca o (Lu)(x) = f (x) para x [a, b] e satisfaz as condi co es de contorno (16.23)-(16.24). Logo adiante mostraremos como construir a fun ca o de Green de um problema de Sturm e, conseq uentemente, como obter sua solu ca o por (16.27). Antes, fa camos alguns coment arios sobre a no ca o de solu ca o fundamental. Solu co es fundamentais e a distribui c ao delta de Dirac. O signicado da fun c ao de Green
b

Uma solu ca o fundamental H de um problema de Sturm deve ser tal que L

a

H (x, y )g (y ) dy

= g (x) para toda g

cont nua. Isso parece paradoxal, pois se fosse verdade que

b b

L
a

H (x, y )g (y ) dy

=
a

Lx H (x, y )g (y ) dy ,

(16.28)

como (16.21) sugere, o lado direito deveria ser nulo, pois supomos tamb em que Lx H (x, y ) = 0 para x = y . O ponto e e verdadeira como est a apresentada, pois dissemos que as derivadas parciais de H n ao s ao que a igualdade (16.28) n ao cont nuas na diagonal x = y e, portanto, Lx H n ao est a denida nessa diagonal, pois envolve derivadas parciais segundas de H . O que a deni ca o de solu ca o fundamental sub-entende, por em, e que vale Lx H (x, y ) = (x y ) em todo Q0 , onde e a distribui ca o delta de Dirac6 . Com esse entendimento, teremos ent ao que
b b b

(16.29)

L
a

H (x, y )g (y ) dy

=
a

Lx H (x, y )g (y ) dy =
a

(x y )g (y ) dy = g (x) ,

(16.30)

em concord ancia, portanto, com (16.26). Assim, podemos resumir nossas deni co es dizendo que uma solu ca o fundamental do problema de Sturm e uma fun ca o que satisfaz (16.29) e que uma fun ca o de Green do problema de Sturm e uma fun ca o G(x, y ) que satisfaz (16.29) e as condi co es de contorno (16.23)-(16.24) na vari avel x. A relev ancia da fun ca o de Green de um problema de Sturm e que a mesma depende do operador Lx (e, portanto, das fun co es p e q ) e das condi co es de contorno escolhidas, mas n ao depende da fun ca o f . Como se percebe contemplando (16.27), G(x, y ) dene o qu ao grande e a inu encia que o valor de f no ponto y exerce sobre a solu ca o u no ponto x. Dessa forma, G conteria em si informa co es fundamentais sobre como um sistema f sico descrito por uma fun ca o u, e regido pela equa ca o Lu = f , sob as condi co es de contorno prescritas, reage ` a inu encia de um est mulo externo denido por uma fun ca o f . Um desenvolvimento mais amplo das no co es de solu ca o fundamental e fun ca o de Green em um contexto mais geral que o presente e tendo como ponto de partida a rela ca o (16.29) e apresentada na Se ca o 35.4, p agina 1768. Vide tamb em Se ca o 19.11, p agina 927, para um tratamento mais pr atico e informal. Para nosso interesse presente a quest ao que agora se imp oe e: possuem problemas de Sturm fun co es de Green? A resposta e positiva, como veremos no que segue.

16.2.2

A Fun c ao de Green. Resolvendo o Problema de Sturm

Para construirmos a fun ca o de Green de um problema de Sturm faremos uso do seguinte resultado importante, o qual e uma conseq u encia direta da condi ca o (16.25): Proposi c ao 16.2 Com as deni c oes e hip oteses acima, existem fun c oes v1 e v2 , independentes, denidas no intervalo [a, b], tais que Lv1 = 0, Lv2 = 0
6 Paul

Adrien Maurice Dirac (19021984).

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 16

776/2069

e tais que
1 v1 (a) + 2 v1 (a) = 0

(16.31) (16.32)

e
1 v2 (b) + 2 v2 (b) = 0 .

Essas fun c oes satisfazem v1 (x) det v2 (x)

v1 (x) = 0, v2 (x)

ou seja

v1 (x)v2 (x) v2 (x)v1 (x) = 0 ,

(16.33)

para todo x [a, b]. Al em disso, vale tamb em que 1 v2 (a) + 2 v2 (a) = 0 e que 1 v1 (b) + 2 v1 (b) = 0.

A demonstra ca o dessa proposi ca o encontra-se no Ap endice 16.B, p agina 806. Constru c ao da fun c ao de Green Al em da equa ca o (p(x)u ) + q (x)u = f (x) , consideremos tamb em a equa ca o diferencial homog enea (p(x)u ) + q (x)u = 0 . (16.35) (16.34)

Pela Proposi ca o 16.2, 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,

(16.36) (16.37)

(b) = 0 . 1 v2 (b) + 2 v2

Note-se que a (16.36) e uma restri ca o ` a fun ca o v1 no ponto a enquanto que a (16.37) 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. Armamos que a fun ca o de Green do problema de Sturm considerado e a fun ca o de duas vari aveis G(x, y ), com x [a, b] e y [a, b], denida da seguinte forma: v1 (x)v2 (y ) , p(a)W (a) v1 (y )v2 (x) , p(a)W (a) para a x y b , (16.38) para a y x b ,

G(x, y ) :=

onde W (x) e o chamado determinante Wronskiano7 , ou fun c ao Wronskiana, denido8 , neste caso, por v1 (x) W (x) := det v2 (x)
v1 (x) = v1 (x)v2 (x) v2 (x)v1 (x) . v2 (x)

(16.39)

Note-se que, por (16.33), W (x) = 0 para todo x [a, b].

7 Conde 8 No

Josef Ho en e de Wronski (17781853). Ap endice 16.C, p agina 807, mostramos a rela ca o entre essa deni ca o de determinante Wronskiano e aquela introduzida no Cap tulo 12, p agina 489 (vide p agina 498).

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 16

777/2069

Que (16.38) de fato satisfaz as condi co es denidoras da fun c ao de Green ser a provado no que segue. Antes de prosseguirmos, por em, 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 ) v2 ) + p (v1 v2 v1 v2 ) = p (v1 v2 v1 = v1 (p v2 + pv2 ) v2 (p v1 + pv1 ) = v1 (pv2 ) v2 (pv1 )

= v1 qv2 + v2 qv1 = 0, (16.40)

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 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 principal de Q (os 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) v (y )v2 (x) 1 , p(a)W (a)
0

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).

para a x < y b , (16.41) para a y < x b .

Gx (x, y ) :=

Note que, nesta u ltima express ao, exclu mos os pontos para os quais x = y , onde Gx 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) existem mas s ao, por em, distintos, o mesmo se dando com os limites lim Gx (x, x + ) e lim Gx (x, x ) (aqui > 0). Dado que, para qualquer > 0, tem-se x + > x e x < x, segue que (abaixo, todos os limites s ao tomados com > 0)
0 0 0 v1 (x)v2 (x) p(a)W (a) 0

lim Gx (x + , x) =

(16.42)

e que
0

lim Gx (x , x) = lim Gx (x, x ) =

v1 (x)v2 (x) . p(a)W (a) v1 (x)v2 (x) p(a)W (a) v1 (x)v2 (x) . p(a)W (a)

(16.43)

Analogamente segue que

0

(16.44)

e que
0

lim Gx (x, x + ) =

(16.45)

Portanto, segue que lim Gx (x + , x) lim Gx (x , x) =

0 v1 (x)v2 (x) v1 (x)v2 (x) W (x) 1 = = , p(a)W (a) p(a)W (a) p(x)

(16.46)

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 16

778/2069

pois, como vimos, para qualquer x [a, b] tem-se p(a)W (a) = p(x)W (x). De maneira id entica, segue que
0

lim Gx (x, x ) lim Gx (x, x + ) =

0

1 . p(x)

(16.47)

As rela co es (16.46) e (16.47) 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). Na regi ao a < x < y < b teremos, segundo a deni ca o de G, Lx G(x, y ) = Lx pois Lv1 = 0 e na regi ao a < y < x < b teremos Lx G(x, y ) = Lx v1 (y ) v2 (x) p(a)W (a) = v1 (y ) (Lv2 )(x) = 0, p(a)W (a) v1 (x) v2 (y ) p(a)W (a) = (Lv1 )(x) v2 (y ) = 0, p(a)W (a)

tamb em pois Lv2 = 0. Para provar que G e uma solu ca o fundamental resta estudarmos o que ocorre quando x = y e estabelecermos que Lx G(x, y ) = (x y ). Isso ser a obtido provando que a fun ca o u(x) denida por
b

u(x) =
a

G(x, y ) f (y ) dy

(16.48)

satisfaz a equa ca o n ao-homog enea (16.22). Posteriormente mostraremos que (16.48) satisfaz as condi co es de contorno (16.23)-(16.24). Isso diz-nos que G denida em (16.38) e a fun ca o de Green do problema de Sturm e que (16.48) ea solu ca o procurada do mesmo. Essas arma co es s ao conhecidas como Teorema de Green e ser ao provadas na Se ca o 16.2.3. Observe-se que (16.48) pode ser escrita como u(x) = v2 (x) p(a)W (a)
x

v1 (y ) f (y ) dy +
a

v1 (x) p(a)W (a)

v2 (y ) f (y ) dy .
x

Finalizamos comentando que a fun ca o de Green de um problema de Sturm tamb em pode ser escrita em termos de uma expans ao envolvendo auto-valores e auto-fun co es de um problema de Sturm-Liouville. Isso ser a a apresentado na express ao (16.102), p agina 792. Esse u ltima express ao e ainda mais relavante que (16.38), pois e v alida em situa co es mais gerais, por exemplo, em problemas em mais de uma dimens ao. Um tratamento mais detalhado das fun co es de Green e apresentado no Cap tulo 35, p agina 1701, e na Se ca o 19.11, p agina 927.

16.2.3

O Teorema de Green
(pu ) + qu = pu + p u + qu

Vamos aqui demonstrar o Teorema de Green mencionado acima. Precisamos para tal calcular

para u(x) dada por (16.48) 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 .

(16.49)

Em cada um dos peda cos em que quebramos a integral acima tem-se que Gx e cont nua. Da , segue que
x b

u (x)

G(x, x)f (x) +

a x

Gx (x, y ) f (y ) dy G(x, x)f (x) +

b

Gx (x, y ) f (y ) dy
x

=
a

Gx (x, y ) f (y ) dy +
x

Gx (x, y ) f (y ) dy .

(16.50)

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 16

779/2069

oes acima. E. 16.7 Exerc cio. Justique as express De forma inteiramente an aloga tem-se que
x b

u (x)

lim Gx (x, x )f (x) + f (x) + p(x)

x

Gxx (x, y ) f (y ) dy lim Gx (x, x + )f (x) +

0 b

Gxx (x, y ) f (y ) dy
x

Gxx (x, y ) f (y ) dy +
a x

Gxx (x, y ) f (y ) dy ,

(16.51)

onde, na u ltima igualdade, usamos (16.47). oes acima. E. 16.8 Exerc cio. Justique as express Desta forma, temos que p(x)u + p (x)u + q (x)u = p(x) f (x) + p(x)
b x

p(x)Gxx (x, y ) + p (x)Gx (x, y ) + q (x)G(x, y ) f (y ) dy

a

+
x

p(x)Gxx (x, y ) + p (x)Gx (x, y ) + q (x)G(x, y ) f (y ) dy .

(16.52)

Entretanto, temos que p(x)Gxx (x, y ) + p (x)Gx (x, y ) + q (x)G(x, y ) = 0 , (16.53) 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 ) = v1 (y ) p(x)v2 (x) + p (x)v2 (x) + q (x)v2 (x) = 0 , p(a)W (a)

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. 16.9 Exerc cio. Verique! Assim, retomando a equa ca o (16.52), vemos que p(x)u + p (x)u + q (x)u = f (x) . (16.54)

Est a, portanto, demonstrado que a fun ca o u dada por (16.48) e solu ca o da equa ca o diferencial n ao-homog enea. Resta provar que essa fun ca o u satisfaz as condi co es de contorno (16.4)-(16.5). Deixamos a importante verica ca o desse u ltimo fato como exerc cio. E. 16.10 Exerc cio. Mostre que (16.48) satisfaz as condi co es de contorno (16.4)(16.5). E. 16.11 Exerc cio. Considere o problema de Sturm denido pela equa c ao diferencial u (x) = f (x) no intervalo [0, 1] com as condi co es de contorno u(0) = 0 e u(1) = 0. Mostre que a fun c ao de Green e dada por x(y 1) , para 0 x y 1 , (16.55) G(x, y ) = (x 1)y , para 0 y x 1 .

Constate que a fun c ao G, acima, satisfaz as condi co es de contorno requeridas (como fun c ao de x). De (16.55) obt em-se y 1 , para 0 x < y 1 , Gx (x, y ) x G(x, y ) = (16.56) y, para 0 y < x 1 .

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 16

780/2069

Constate de (16.56) que lim Gx (x + , x) lim Gx (x , x) = 1 (e lembre-se que no problema tratado p(x) 1). Constate
0 0

2 de (16.56) que Gx (x, y ) = y 1 + H (x y ) e obtenha disso que x G(x, y ) = (x y ). Aqui, H e a fun c ao de Heaviside, denida em (12.36), p agina 509, ou em (35.112), p agina 1741.

Obtenha explicitamente a solu c ao no caso em que f (x) = ex calculando explicitamente

1 x

u(x) =
0

G(x, y )f (y ) dy = (x 1)

y ey dy + x

1 x

(y 1)ey dy .

Constate que express ao assim obtida realmente satisfaz a equa c ao u (x) = f (x) e as condi co es u(0) = 0 e u(1) = 0. O problema de Sturm com condi co es de contorno n ao-homog eneas

Com as observa co es da p agina 771 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 (16.2)(16.3). Seja w uma fun ca o duas vezes diferenci avel satisfazendo tamb em (16.12)(16.13). 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) = 1 v (b) + 2 v (b) = 0, 0. (16.58) (16.59) (16.57)

Ent ao, u = v + w satisfaz Lu = f e as condi co es n ao-homog eneas (16.2)-(16.3). Agora, pela solu ca o do problema de Sturm homog eneo, sabemos que
b

v (x) =
a

G(x, y )(f (y ) h(y )) dy ,

onde G e montada como antes (vide (16.38)) a partir de solu co es v1 e v2 da equa ca o homog enea Lv1, 2 = 0, com v1 e v2 satisfazendo (16.36) e (16.37), respectivamente. Logo, a solu ca o procurada e
b b b

u(x) =
a

G(x, y )(f (y ) h(y )) dy + w(x)

=
a b

G(x, y )f (y ) dy + w(x)

G(x, y )h(y ) dy
a b

=
a

G(x, y )f (y ) dy + w(x)

G(x, y )(Lw)(y ) dy
a

16.3

O Problema de Sturm-Liouville

Seja o intervalo J := [a, b] R e sejam p, q e r fun co es reais denidas em J , tais que 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.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 16

781/2069

Entende-se por Problema de Sturm-Liouville regular910 , ou simplesmente Problema de Sturm-Liouville, o problema umeros tais que a seguinte equa ca o diferencial seja satisfeita: de se determinar a fun ca o u denida em J e os n (Lu)(x) + r(x)u(x) = 0 , (16.60)

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) 1 u(b) + 2 u (b) = 0, = 0. (16.61) (16.62)

Se for um n umero tal que a equa ca o (16.60) 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 c ao associada ao auto-valor do Problema de Sturm-Liouville. Essa nomenclatura surge por analogia com os conceitos de auto-valor e autovetor de 1 matrizes na algebra linear. Tal se justica pois, denindo-se o operador M := r L, a equa ca o Lu + ru = 0 escreve-se na forma M u = u , que e precisamente uma equa ca o de autovalores para o operador M . 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)(x) = f (x) (16.63)

para uma fun ca o f dada, com condi co es de contorno como (16.61)-(16.62). 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 (16.61)-(16.62) pode ser escrita em termos das auto-fun co es e dos auto-valores de um problema de Sturm-Liouville. Exemplo 16.2 No bem-conhecido problema da corda vibrante (vide Se ca o 19.5, p agina 895), descrevendo o movimento transversal de uma corda homog enea de densidade > 0 e de comprimento L > 0, 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 R. Pelo m etodo de separa ca o de vari aveis (vide Se ca o 15.3, p agina 709), procuramos solu co es da (t) + c2 (t) = 0 e para y a equa forma u(x, t) = y (x)(t) e obtemos para a equa ca o ca o y (x) + y (x) = 0 , (16.64)

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 (16.64) e as condi co es de contorno acima e um problema de Sturm-Liouville com p(x) = 1, q (x) = 0, r(x) = 1, (1 , 2 ) = (1, 0) e (1 , 2 ) = (1, 0). No caso a = 0 e b = L, 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 16.3 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] R 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
2

com x [a, b], sendo que, devido ` as barreiras innitas de potencial, devemos impor as condi co es de contorno (a) = 0 e 2 (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).
9 Os trabalhos de Sturm e Liouville sobre o problema que e hoje conhecido como Problema de Sturm-Liouville foram desenvolvidos entre 1829 e 1837. 10 Um problema de Sturm-Liouville singular ser a tratado brevemente ` a p agina 798.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 16

782/2069

Exemplo 16.4 No problema descrito no Exerc cio E. 19.54, p agina 957, e no problema descrito no Exerc cio E. 19.55, p agina 957, 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. 19.59, p agina 959, tem-se tamb em um problema de Sturm-Liouville regular como os de acima, mas com condi co es de contorno mistas.

16.3.1

Propriedades B asicas dos Auto-Valores e Auto-Fun c oes de Problemas de Sturm-Liouville

Na presente se ca o apresentaremos alguns resultados fundamentais sobre problemas de Sturm-Liouville regulares, como descritos acima. Provaremos que os auto-valores s ao simples (n ao-degenerados), que s ao reais, que as auto-fun co es podem ser escolhidas reais e que as mesmas satisfazem importantes rela co es denominadas rela c oes de ortogonalidade. Por m, estabeleceremos alguns resultados sobre a positividade dos autovalores. Como conseq u encia, demonstraremos na Se ca o 16.3.2, p agina 790, uma rela ca o, denominada f ormula de Mercer (eq. (16.102)), entre as fun co es de Green de problemas de Sturm e os autovalores e auto-fun co es de um problema de Sturm-Liouville. Tanto as rela co es de ortogonalidade quando a f ormula de Mercer s ao de grande relev ancia em aplica co es. Comentamos, ainda, que alguns dos resultados que seguem ser ao alcan cados com mais generalidade na Se ca o 14.1, p agina 630, do Cap tulo 14.

16.3.1.1

A Simplicidade dos Auto-Valores

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 auto-fun 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 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 dimens ao e sempre igual a 1, ou seja, os auto-valores s ao simples, ou n ao-degenerados. A demonstra ca o e a seguinte. Sejam u1 , u2 V(1 , 2 , 1 , 2 ) n ao-nulas e tais que Lu1 + ru1 = 0 e Lu2 + ru2 = 0 para um dado . Considere-se a fun ca o u1 (x) W12 (x) = det u2 (x) u 1 (x) = u1 (x)u 2 (x) u1 (x)u2 (x) . u2 (x)

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 16

783/2069

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 + pW 12 = = = = = = =
p (u1 u 2 u1 u2 ) + p (u1 u2 u1 u2 ) p (u1 u 2 u1 u2 ) + p (u1 u2 + u1 u2 u1 u2 u1 u2 ) p (u1 u 2 u1 u2 ) + p (u1 u2 u1 u2 ) u1 (p u 2 + pu2 ) u2 (p u1 + pu1 ) u1 (pu 2 ) u2 (pu1 )

u1 (qu2 + ru2 ) + u2 (qu1 + ru1 ) 0. (16.65)

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 = b11
u1 (b) u 1 (b) u2 (b) u 2 (b)

Agora, como

1 2

= (0 0 ), segue que det

0 u1 (b) u 1 (b) 1 = . 2 0 u2 (b) u 2 (b)

= 0, ou seja, W12 (b) = 0.

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 u ( x a segunda, conclui-se 1 ) = (x)u2 (x) para cada x [a, b]. Derivando a primeira e comparando ` 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 autofun co es com o mesmo auto-valor as auto-fun co es s ao m ultiplas uma da outra e o subespa co que ambas geram tem dimens ao 1. Em resumo, auto-valores de problemas de Sturm-Liouville regular s ao sempre simples, ou n ao-degenerados.

Pelo que acabamos de provar, p(x)W12 (x) = 0 para todo x [a, b]. Como p e estritamente positiva, segue que u (x) u (x) W12 (x) = 0 para todo x [a, b], ou seja, det u1 (x) u1 = 0, para todo x [ a, b ]. Isso diz que as duas linhas que (x )
2 2

16.3.1.2

O Lema de Green

bem sabido que C ([a, b]) Seja C ([a, b]) o conjunto das fun co es complexas cont nuas denidas no intervalo [a, b]. E e um espa co vetorial. Para cada 1 , 2 , 1 e 2 o espa co V(1 , 2 , 1 , 2 ), denido ` a p agina 772, e um subespa co de C ([a, b]). Podemos dotar o espa co vetorial C ([a, b]) de v arios produtos escalares12. Dois deles nos interessar ao aqui. Para f , g C ([a, b]) denimos o produto escalar
b

Produtos escalares

f, g =
a

f (x) g (x) dx ,
b

(16.66)

e tamb em o produto escalar f, g

r

=
a

f (x) g (x) r(x) dx ,

(16.67)

onde a fun ca o r e a fun ca o estritamente positiva caracterizada acima no problema de Sturm-Liouville. Para o espa co linear real das fun co es cont nuas reais denidas no intervalo [a, b] podemos tamb em denir os produtos escalares reais
b

f, g =
a
11 Um 12 A

f (x) g (x) dx ,

(16.68)

argumento an alogo funciona tamb em em x = a. no ca o de produto escalar em um espa co vetorial foi introduzida na Se ca o 3.1.3, p agina 194.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 16

784/2069

e f, g
r

=
a r

f (x) g (x) r(x) dx que para o caso complexo).

(16.69)

(por simplicidade usamos a mesmas nota co es , e , O Lema de Green

O seguinte resultado ser a fundamental para o que segue:

Lema 16.2 (Lema de Green) Sejam u e v duas fun c oes denidas em J = [a, b], que sejam pelo menos duas vezes diferenci aveis e tais que ambas satisfa cam condi c oes de contorno como (16.61)-(16.62), ou seja, ambas s ao elementos do espa co vetorial de fun c oes V(1 , 2 , 1 , 2 ) (p agina 772). Ent ao, tem-se v, Lu = Lv, u , ou seja,
a b b

v (x) (Lu)(x) dx =
a

(Lv )(x) u(x) dx .

(16.70)

Prova do Lema 16.2. Usando-se integra ca o por partes, tem-se

b b b

v (x) (Lu)(x) dx
a

=
a

v (x)(p(x)u ) dx +
a b

v (x)q (x)u(x) dx
b

=
b

v (x)(p(x)u ) dx + vpu |a +
b b a

v (x)q (x)u(x) dx
a b

=
a b

u(pv ) dx + vpu |a v pu
b

+
a b a

v (x)q (x)u(x) dx

=
a

u(x) (Lv )(x) dx + vpu |a v pu

(16.71)

Agora, escrevendo-se explicitamente tem-se que vpu |a v pu

b b a

= 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) . (16.72)

Vamos agora provar que os fatores entre par enteses em (16.72) s ao nulos. Como u e v satisfazem (16.61)-(16.62), tem-se v (a) v (a) 1 0 = 2 0 u(a) u (a)
1 2

1 0 Como ( 2 ) = ( 0 ) e

v (b) v (b) 1 0 = . 2 0 u(b) u (b)

= (0 0 ) devemos ter v (a) v (a) = 0 det u(a) u (a) v (a)u (a) v (a)u(a) = 0 v (b) v (b) = 0, det u(b) u (b) v (b)u (b) v (b)u(b) = 0 .

ou seja,

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 16

785/2069

O lado esquerdo de ambas as express oes s ao os termos entre par enteses de (16.72). Logo, vpu |a v pu a (16.71), isso completa a demonstra ` ca o do Lema de Green.

b a

= 0. Voltando

O Lema de Green arma que L e um operador sim etrico em rela ca o ao produto escalar denido em (16.66) quando age em vetores do subespa co V(1 , 2 , 1 , 2 ).

16.3.1.3

Realidade dos Auto-Valores e Auto-fun c oes. Ortogonalidade de Auto-fun c oes

Como conseq u encia do Lema de Green, Lema 16.2, vamos aqui demonstrar algumas propriedades b asicas comuns a todos os problemas de Sturm-Liouville regulares, tais como denidos acima. A saber, vamos provar que os autovalores s ao reais, que as auto-fun co es podem ser escolhidas reais e que as mesmas satisfazem uma s erie de rela co es importantes, denominadas rela c oes de ortogonalidade. Realidade dos autovalores Proposi c ao 16.3 Os auto-valores de um problema de Sturm-Liouville, como descrito acima, s ao n umeros reais. Prova. Para provar que os auto-valores de um problema de Sturm-Liouville s ao reais, seja um auto-valor e u uma correspondente auto-fun ca o n ao-nula. Vamos mostrar que
b

( )
b

|u(x)|2 r(x) dx = 0 .

(16.73)

Como u = 0 e r > 0 (por hip otese), temos que a |u(x)|2 r(x) dx = 0. Portanto, (16.73) diz-nos que = 0, ou seja, que e um n umero real. Para provar (16.73), notemos que
b b b

( )

u(x) u(x) r(x) dx =

a a

u(x) (u(x)r(x)) dx

u(x)r(x) u(x) dx
a b b

= pelo Lema de Green, Lema 16.2. Isso completa a prova.

u(x)(Lu(x)) dx +
a a

(Lu(x))u(x) dx = 0 ,

Realidade das auto-fun co es Proposi c ao 16.4 As auto-fun c oes de um problema de Sturm-Liouville regular, como descrito acima, podem ser escolhidas como fun c oes reais. Prova. Seja u uma auto-fun ca o de um problema de Sturm-Liouville regular. Como o auto valor e real (Proposi ca o 16.3), a equa ca o Lu + ur = 0 e real. Assim, tanto a parte real de u quanto sua parte imagin aria s ao solu co es da mesma. Como as constantes 1 , 2 , 1 e 2 s ao reais, tanto a parte real de u quanto sua parte imagin aria satisfazem as condi co es de contorno nos pontos a e b. Acima, provamos que os autovalores n ao s ao degenerados e, portanto, a parte real de u e sua parte imagin aria n ao s ao linearmente independentes. Portanto, podemos tomar uma ou outra como auto-fun ca o de um problema de Sturm-Liouville, completando a prova. Observa c ao importante.
Em fun ca o do fato descrito na proposi ca o acima, consideraremos doravante as auto-fun co es de problemas de Sturm-Liouville regulares como sendo fun co es reais.

Rela co es de ortogonalidade

O teorema a seguir descreve uma propriedade fundamental de auto-fun co es de problemas de Sturm-Liouville regulares.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 16

786/2069

c oes reais associadas a dois auto-valores distintos 1 e 2 , ent ao vale que Teorema 16.2 Sejam u1 e u2 duas auto-fun
b

u1 (x) u2 (x) r(x) dx = 0 .

a

(16.74)

Esta rela c ao e chamada de rela c ao de ortogonalidade. Prova. Vamos provar que

b

(1 2 )

u1 (x) u2 (x) r(x) dx = 0 .

a

(16.75)

Como estamos supondo que 1 = 2 , essa rela ca o diz ent ao que (16.74) deve ser verdadeira. Como 1 e 2 s ao reais, o lado esquerdo de (16.75) pode ser escrito como
b a b

1 r(x)u1 (x) u2 (x) dx

u1 (x) 2 r(x)u2 (x) dx

a b b

Lu1 (x) u2 (x) dx +

a a

u1 (x) Lu2 (x) dx = 0 , (16.76)

pelo Lema de Green (que se aplica aqui sem as conjuga co es complexas, pois todos os elementos envolvidos s ao reais). O que vimos no Teorema 16.2 e que auto-fun co es associadas a auto-valores distintos de um problema de Sturmb Liouville s ao ortogonais entre si em rela ca o ao produto escalar real f, g r := a f (x)g (x) r(x) dx.

16.3.1.4

Propriedades dos Autovalores

Esta se ca o e dedicada ao estudo de algumas propriedades gerais dos autovalores de problemas de Sturm-Liouville regulares. Algumas das demonstra co es ser ao deslocadas a ap endices para n ao desviar precocemente a aten ca o do leitor para certos detalhes. O estudo posterior dessas demonstra c oes, por em, e recomendado. Apresentaremos um m etodo para determina ca o aproximada de autovalores e algumas condi co es sucientes para que um problema de Sturm-Liouville regular tenha apenas autovalores positivos. Alguns exemplos ilustrativos de diversas inst ancias ser ao discutidos. O quociente de Rayleigh. Determina c ao aproximada de autovalores

Seja u uma auto-fun ca o (tomada doravante real) com auto-valor R, ou seja, tal que (pu ) + qu + ru = 0. Multiplicando-se essa igualdade por u e integrando-se entre a e b, tem-se b b b u (x) (pu ) (x) dx

u (x)2 r(x) dx =

u (x)2 q (x) dx .
a

(16.77)

Vamos agora integrar por partes a primeira integral do lado direito. Temos,
b a u (x) (pu ) (x) dx = b b

pu u (x)
a

u (x) p(x) dx .

Substituindo em (16.77), tem-se

b

u (x)2 r(x) dx =
a

2 u (x) p(x) u (x) q (x) dx + p(a)u (a)u (a) p(b)u (b)u (b) ,

(16.78)

o que permite escrever

b 2 u (x) p(x) u (x) q (x) dx + p(a)u (a)u (a) p(b)u (b)u (b) b a 2

(16.79)

u (x)2 r(x) dx

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 16

787/2069

O lado direito de (16.79) e denominado quociente de Rayleigh13 e desempenha um papel importante na an alise de propriedades dos autovalores de problemas de Sturm-Liouville regulares. Na Proposi ca o 16.5, por exemplo, usaremos (16.78) para identicar condi co es sucientes para que todos os autovalores de um problema de Sturm-Liouville regular sejam positivos. O quociente de Rayleigh (16.79) e tamb em usado para a determina ca o aproximada de autovalores a partir de aproximantes para as auto-fun co es, de particular utilidade quando as solu co es de problemas de Sturm-Liouville n ao puderem ser obtidas de forma expl cita. No Exerc cio E. 16.12, p agina 787, ilustramos em uma situa ca o simples como esse c alculo aproximado de autovalores pode ser feito. A express ao (16.79) ser a o ponto de partida para o estudo de m etodos variacionais de determina ca o de auto-valores que desenvolveremos na Se ca o 16.3.4, p agina 796. Retornemos a (16.78). Armamos que existem constantes 1 e 2 , independentes de u , tais que
2 p(a) u (a)u (a) = 1 u (a)

(16.80) (16.81)

e A demonstra ca o e a seguinte. No ponto a u satisfaz 1 u (a) + 2 u (a) = 0. Vamos primeiro supor que 2 = 0. Multiplicando-se a express ao por u (a) obtem-se u (a)u (a) = 1 u (a)2 . 2
2 p(b) u (b)u (b) = 2 u (b) .

1 Nesse caso, ent ao, tomamos 1 = p(a) . Caso 2 = 0, a rela ca o 1 u (a) + 2 u , e (a) = 0 diz-nos que u (a) = 0. Da 2 evidente que 2 p(a) u (a)u (a) = 1 u (a) ,

para qualquer constante 1 , pois ambos os lados s ao nulos. Isso provou (16.80). A demonstra ca o de (16.81) e an aloga, 1 escolhendo-se 2 = +p(b) , caso = 0. 2 2 Inserindo (16.80) e (16.81) em (16.78) tem-se
b b a

u (x)2 r(x) dx =

2 2 2 u (x) p(x) u (x) q (x) dx + 1 u (a) + 2 u (b) ,

(16.82)

o que permite expressar o quociente de Rayleigh na forma

b 2 2 2 u (x) p(x) u (x) q (x) dx + 1 u (a) + 2 u (b) b a 2

(16.83)

u (x)2 r(x) dx

Para futura refer encia lembremos que nas duas u ltimas express oes temos +p(b) 1 , p(a) 1 , caso 2 = 0 , 2 2 e 2 = 1 = arbitr arbitr ario , caso 2 = 0 , ario ,

caso 2 = 0 , caso 2 = 0 .

O exerc cio que segue ilustra o uso do quociente de Rayleigh (16.79) ou (16.83) no c alculo aproximado de autovalores.

c ao da equa c ao u (x) + u(x) = 0 no intervalo E. 16.12 Exerc cio-Exemplo. Considere-se o problema de determinar a solu [0, 1] sujeita ` as condi co es de contorno u(0) = 0 e u(1) = 0. Trata-se de um problema de Sturm-Liouville regular denido no intervalo [a, b] = [0, 1] com p(x) = 1, q (x) = 0 e r(x) = 1 para todo x [0, 1], sendo ainda (1 , 2 ) = (1, 0) e (1 , 2 ) = (1, 0). Como e bem conhecido, os autovalores s ao n = n2 2 com n = 1, 2, 3, 4, . . ., e as correspondentes auto-fun co es (n ao-normalizadas) s ao da forma un (x) = sen (nx). c ao anula-se em x = 0, Tomemos o caso n = 1. A auto-fun c ao exata (n ao-normalizada) e u1 (x) = sen (x). Essa fun em x = 1, e positiva no restante do intervalo [0, 1] e seu m aximo igual a 1 nesse intervalo. A fun c ao u(1) = 4x(1 x) possui
13 John William Strutt (Lord Rayleigh), terceiro Bar ao de Rayleigh (18421919). Entre outros feitos cient cos, Lord Rayleigh foi o primeiro a apresentar uma explica ca o de por que o c eu e azul (espalhamento Rayleigh) e foi o descobridor do elemento qu mico Arg onio.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 16

788/2069

aco conjunto das as mesmas propriedades e pode ser usada como aproximante de u1 (para convencer-se, desenhe um gr c ao para o autovalor duas fun co es em [0, 1]). Inserindo u(1) em lugar de u1 em (16.79) ou (16.83), teremos uma aproxima 1 = 2 que pode ser calculada muito facilmente:
1

0 1 0

1 2x

dx =

x2 (1 x)2 dx

1/3 = 10 , 1/30

o que fornece a aproxima c ao

10 3, 162, que possui um erro relativo de apenas 0, 66%!

Complete os detalhes dos c alculos acima e procure aperfei coar a aproxima c ao para , substituindo u(1) = 4x(1 x) por um outro aproximante polinomial melhor. O m etodo ilustrado no Exerc cio E. 16.12, acima, foi desenvolvido por Rayleigh em 1870, que sistematizou-o, agregando-lhe id eias do c alculo variacional. Vide Se ca o 16.3.4, p agina 796, ou vide as refer encias [50] ou [207] para um tratamento sistem atico do chamado m etodo de Rayleigh, ou de Rayleigh-Ritz14 , de determina ca o de autovalores. Esses m etodos s ao abundantemente empregados na Mec anica Qu antica. Condi co es sucientes para a positividade dos auto-valores

Em muitas aplica co es de interesse f sico ocorre que os auto-valores de problemas de Sturm-Liouville regulares 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 16.5 Se forem simultaneamente v alidas as condi c oes 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 (tomada doravante real) com auto-valor R, ou seja, (pu ) + qu + ru = 0. Podemos provar que > 0 se pudermos garantir que a express ao do lado direito de (16.78) e positiva, que e o que passamos a fazer. No ponto a, u satisfaz 1 u(a) + 2 u (a) = 0. Tomando-se o quadrado dessa express ao, tem-se
2 2 2 2 1 u(a) + 2 u (a) + 21 2 u(a)u (a) = 0 ,

ou seja,
2 2 2 21 2 u(a)u (a) = 2 . 1 u(a) + 2 u (a)

(16.84) (16.85)

Analogamente, para o ponto b,

2 2 21 2 u(b)u (b) = 1 u(b)2 + 2 u (b)2 .

Consideremos agora que 1 2 < 0 e 1 2 > 0. A express ao (16.84) ensina-nos que 1 2 e u(a)u (a) t em sinais opostos e (16.85) que 1 2 e u(b)u (b) t em sinais opostos. Portanto, se tivermos q (x) < 0 para todo x [a, b], 1 2 < 0 e 1 2 > 0 a soma do lado direito de (16.78) b 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 (16.78) que > 0. Se 1 2 = 0, ent ao u(a)u (a) = 0 (por (16.84)). Portanto, se adicionalmente tivermos q (x) < 0 para todo x [a, b] e 1 2 > 0, ent ao a soma do lado direito de (16.78) ser a estritamente positiva, o que implica > 0.
14 Walther

Ritz (18781909).

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 16

789/2069

Analogamente, se 1 2 = 0, ent ao u(b)u (b) = 0 (por (16.85)). 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

importante dizer aqui que existem problemas de Sturm-Liouville regulares onde ocorrem auto-valores negativos E (vide Exerc cio E. 16.13, abaixo). No Teorema 16.3, p agina 790, 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

O exemplo a seguir re une situa co es que ilustram alguns dos resultados mencionados acima sobre propriedades de autovalores de problemas de Sturm-Liouville. co es de E. 16.13 Exerc cio-exemplo. Seja o problema de Sturm-Liouville u + u = 0, no intervalo [0, 1], com as condi 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 (16.78) ca
1 1

u(x)2 dx =
0

u (x)

dx u(1)u (1) .

(16.86)

Caso 1 = 0, teremos u (1) = 0. Caso 2 = 0, teremos u(1) = 0. Nesses dois casos, (16.86) ca
1 1

u(x)2 dx =
0

u (x)

dx ,

que garante que > 0. No caso em que 1 e 2 s ao n ao-nulos, (16.85) diz-nos que
1 1

u(x)2 dx =
0

u (x)

dx +

1 2 1 2

1 u(1)

+ 2 u (1)

(16.87)

Como se v e, se 1 2 > 0 tem-se > 0, mas se 1 2 < 0 poderemos ter auto-valores negativos. Abaixo (item f), veremos que 2 isso de fato ocorre caso 1 < 2 1 < 0 . a. No caso 1 = 0 mostre que os auto-valores s ao n = n +
1 2 2

2 , n = 0, 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 .
1 2

Mostre gracamente que essa equa c ao tem innitas solu co es positivas quer

> 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.
2 2 f. Mostre que se 0 < < 1, ou seja, se 1 < 2 1 < 0, ocorre tamb em um ( unico!) auto-valor negativo, o qual e 1 solu c ao de 1 = tanh . 2 2 2 Mostre gracamente que essa equa c ao n ao tem solu c ao n ao-nula caso 0 > 1 ou caso 1 > 1.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 16

790/2069

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, al em dos positivos, ocorrem tamb em auto-valores negativos. 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 16.3 Seja o problema de Sturm-Liouville (regular) denido pela equa c ao Lu + r(x)u = 0 , onde p, q e r s ao fun c oes 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 c oes 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 c oes p, q e r e das constante 1, 2 e 1, 2 , tal que todos os auto-valores satisfazem M . 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 desse teorema e apresentada no Ap endice 16.D, p agina 808. 1 u(b) + 2 u (b) = 0

16.3.2

A Equa c ao Integral de Fredholm

Um dos passos mais u teis para se estudar um problema de Sturm-Liouville consiste em transform a-lo em uma equa ca o vel auto-valor. integral. Como veremos, isso pode ser feito caso 0 n ao seja um poss Considere o problema de Sturm-Liouville de determinar as solu co es de Lu = r(x) u , (16.88)

que satisfa cam as condi co es de contorno (16.61)-(16.62). Se = 0 n ao for um auto-valor desse problema, ou seja, se Lu = 0 com as condi co es de contorno (16.61)-(16.62) possuir apenas a solu ca o trivial u = 0, ent ao o problema de Sturm Lu = f com as condi co es de contorno (16.61)-(16.62) 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 (16.61)-(16.62). Pelo pressuposto, u1 u2 = 0.
b

Agora, pelo Teorema de Green, u(x) =

a

G(x, y ) f (y )dy e solu ca o de Lu = f com as condi co es de contorno

(16.61)-(16.62) e, portanto, essa eau nica solu ca o. Assim, sob a hip otese que = 0 n ao e um auto-valor do problema de Sturm-Liouville, toda fun ca o u que satisfaz Lu = f com as condi co es de contorno (16.61)-(16.62) satisfaz tamb em
b

u(x) =
a

G(x, y ) f (y )dy para qualquer que seja a fun c ao cont nua f .

Disso conclu mos que a fun ca o u que satisfaz a equa ca o diferencial (16.88) satisfaz tamb em
b

u(x) = isto e, denindo-se

G(x, y ) r(y ) u(y ) dy ,

a

(16.89)

k (x, y ) := G(x, y ) r(y ) para x, y [a, b], vale u(x) =

a b

(16.90)

k (x, y ) u(y ) dy .

(16.91)

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 16

791/2069

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 c ao Integral de Fredholm linear homog enea de segundo tipo15 , ou simplesmente Equa c ao Integral de Fredholm16 . 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 e apresentado com certo detalhe na Se ca o 17.2, p agina 815. O leitor poder a encontrar mais material sobre a equa ca o integral de Fredholm n ao-linear na Se ca o 25.3, p agina 1229, assim como na Se ca o 37.8, p agina 1939, para o caso linear. Alguns poucos coment arios hist oricos podem ser encontrados ` a p agina 820. 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 (16.90), denir em C (J ) um operador linear K dado por
b

(Kf )(x) :=
a

k (x, y ) f (y ) dy .

(16.92)

x J . O operador K e denominado operador de Fredholm. A equa ca o (16.91) diz-nos ent ao que Ku = 1 u. (16.93)

A respeito desse operador K podemos provar o seguinte resultado. Tomando-se em C (J ) o produto escalar real , r denido acima, temos f, Kg r = Kf, g r (16.94) para todo f , g C (J ). c ao de Green satisfaz G(x, y ) = G(y, x). E. 16.14 Exerc cio. Mostre esse fato. Para isso use que a fun Um operador linear que satisfaz uma rela ca o como (16.94) 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.

(16.95)

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 pontual17 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 . e real. Como x = 0, isso implica = , ou seja, 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 (16.93) 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 16.4 Seja K o operador de Fredholm associado a um problema de Sturm-Liouville regular, que supomos n ao admitir auto-valor nulo. Ent ao K e um operador cont nuo. Seus auto-valores formam um conjunto discreto (ou seja, cont avel) {n R, n N}. Os valores da seq u encia dos n s ao limitados (n ao divergem para ), apenas um n umero
15 Para 16 Erik

generalidades sobre equa co es integrais, vide Cap tulo 17, p agina 813. Ivar Fredholm (18661927). 17 O conceito geral de espectro de operadores denidos em espa cos de Banach e detalhadamente discutido na Se ca o 37.6, p agina 1923.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 16

792/2069

1 = +. Al em disso, os n auto-valores n s ao simples: existe para cada auto-valor n apenas uma auto-fun c ao un tal que nito deles pode ser negativo e eles se acumulam apenas no ponto 0. Assim, tem-se que lim
n

K un = n un .
b

(16.96)

Denotemos por Hr o espa co de Hilbert real de todas as fun c oes reais em J = [a, b] tais que a f (x)2 r(x) dx < . Nesse espa co de Hilbert o produto escalar considerado e o produto escalar real , r , denido em (16.69). Vamos supor que as auto-fun c oes un s ao normalizadas, ou seja, satisfazem un , un r = 1. Ent ao o conjunto das auto-fun c oes normalizadas un de K forma uma base ortonormal completa em Hr , ou seja, todo vetor f Hr pode ser escrito como
N

f = onde

lim

cn un =:
n=1

n=1

cn u n ,

(16.97)

cn := un , f Mais precisamente, vale

N N N

=
a

un (x) f (x) r(x) dx .

(16.98)

lim

cn u n
n=1

cn u n
n=1 r

lim

f (x)

cn un (x)
n=1

r(x) dx = 0 .

(16.99)

A demonstra ca o deste teorema e elaborada e ser a apresentada ao longo da Se ca o 37.8, p agina 1939, do Cap tulo 37, fazendo uso da teoria dos operadores compactos. O que faremos naquela se ca o 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 (16.97)-(16.99), por exemplo, e parte do chamado Teorema Espectral, o qual vale para operadores compactos e auto-adjuntos, como mostrado no Teorema 37.37 da p agina 1959. 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 < (16.100) com lim n = +. Uma segunda conseq u encia de import ancia relaciona o problema de Sturm-Liouville com a fun ca o
n

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 (16.98). Como K e cont nuo, temos que
N N N n=1

(Ku)(x) =

lim (KuN )(x) =

lim

cn (Kun )(x)
n=1

lim

n=1 N

1 cn un (x) n 1 n
b

N b

lim

un (y )u(y )r(y ) dy
a N

un (x)

n=1

=
a

r(y )

lim

un (x)un (y ) n n=1

u(y ) dy . (16.101)

Por outro lado, sabemos que, pela deni ca o, (Ku)(x) = qualquer u Hr , conclu mos que G(x, y ) =

b a

G(x, y )r(y ) u(y ). Como ambas rela co es valem para (16.102)

un (x)un (y ) . n n=1

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 16

793/2069

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. [201]). A rela ca o (16.102), que e por vezes chamada f ormula de Mercer18 , 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. A express ao (16.102) e ainda mais relavante que a express ao (16.38), p agina 776, pois e v alida em situa co es mais gerais, por exemplo, em problemas em mais de uma dimens ao, onde (16.38) n ao mais se aplica. Um tratamento mais detalhado das fun co es de Green e apresentado no Cap tulo 35, p agina 1701, e na Se ca o 19.11, p agina 927.

16.3.3

Uma Aplica c ao do Problema de Sturm-Liouville

Lu + r(x)u = f (x) , (16.103)

Vamos aqui tratar do problema de encontrar as solu co es da equa ca o diferencial n ao-homog enea

onde a solu ca o u est a ainda sujeita ` as condi co es de contorno homog eneas (16.61)-(16.62). 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 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 (16.4)-(16.5). Chamaremos esse problema de problema de Sturm-Liouville associado (ao problema (16.103)). Novamente suporemos que o problema de Sturm-Liouville 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 SturmLiouville associado (f ormula de Mercer, (16.102)), vamos mostrar como podemos encontrar uma express ao para a solu ca o desse problema. A equa ca o diferencial (16.103) pode ser escrita como Lu = r(x)u + f . (16.104)

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 .

(16.105)

g (x) :=
a

G(x, y )f (y ) dy .

(16.106)

Usando a f ormula de Mercer para a fun ca o de Green, podemos escrever (16.105) como u(x) =
n=1

un , u n

un (x) + g (x) .

(16.107)

E. 16.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

= um , g

(16.108)

18 James Mercer (18831932). O trabalho original e: J. Mercer. Functions of positive type and their connection with the theory of integral equations. Transactions London Phil. Soc. (A) 209, 415446 (1909).

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 16

794/2069

Aplicando agora a f ormula de Mercer ` a deni ca o de g em (16.106), tiramos que g (x) = e, portanto, que um , g ou seja, um , g
r r

1 n=1 n

un (y ) f (y ) dy
a

un (x) ,

(16.109)

1 m

um (y ) f (y ) dy ,
a

(16.110)

1 um , f . m

(16.111)

E. 16.16 Exerc cio. Mostre esses dois ultimos 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 (16.103). 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 (16.108) e (16.110) dizem-nos que um , u e, portanto, temos que u(x) =
m=1 r

1 m
b

um (y ) f (y ) dy
a

(16.112)

1 m

um (y ) f (y ) dy
a

um (x) .

(16.113)

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 interessante observar que a solu s erie do lado direito converge absoluta e uniformemente em J . E ca o (16.113) pode ser reescrita na forma
b

u(x) =
a

G (x, y ) f (y ) dy ,

onde

G (x, y ) :=

um (x)um (y ) . m m=1

(16.114)

A fun ca o G e, portanto, uma fun ca o de Green para o problema em quest ao. 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 (16.108) diz-nos neste caso que us , g r = 0, ou seja, por (16.111)
b

us , f

=
a

us (y ) f (y ) dy = 0 .

(16.115)

Caso a fun ca o f seja tal que (16.115) n ao e satisfeita, ent ao nenhuma solu c ao e poss vel para o problema tratado. Se f , por em, for tal que (16.115) seja v alida, teremos que a fun c ao u dada por u (x) =

m=1 m= s

1 m

um (y ) f (y ) dy
a

um (x)

(16.116)

e uma solu ca o do problema tratado. A solu ca o mais geral, por em, e dada por u(x) = cus (x) + u (x) , (16.117)

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 16

795/2069

novamente onde c e uma constante, a ser determinada por alguma imposi ca o adicional a ser feita ao problema. E interessante observar que (16.116) pode ser reescrita na forma
b

u (x) =
a

G (x, y ) f (y ) dy ,

onde

G (x, y ) :=

m=1 m= s

um (x)um (y ) . m

(16.118)

E. 16.17 Exerc cio. Prove as v arias armativas de acima seguindo passos semelhantes aos do caso I. E. 16.18 Exerc cio. Mostre que esta fun c ao u e de fato uma solu c ao (substitua na equa c ao (16.103) 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) , (16.119)

e onde a solu ca o u est a ainda sujeita ` as condi co es de contorno n ao-homog eneas (16.2)-(16.3). Acima, o operador L 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 (16.2)-(16.3). Procura-se ent ao uma supostamente existente solu ca o v da equa ca o Lv + r(x)v = h(x) , com h(x) = f (x) (L + r(x))w(x) , que satisfa ca as condi co es de contorno homog eneas (16.4)-(16.5). Uma tal solu ca o pode ser obtida pelos m etodos da Se ca o 16.3.3, p agina 793. claro, ent E ao, que u = v + w satisfar a Lu + r(x)u = f (x) (16.121) e as condi co es de contorno n ao-homog eneas (16.2)-(16.3). Como vimos, para que 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 . e elemento 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 do espa co vetorial V(1 , 2 , 1 , 2 ) das fun co es que satisfazem as condi co es de contorno homog eneas (16.4)-(16.5). A condi ca o (16.122) ca, ent ao, u , f = u , Lw Lu , w . 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). = u , (L + r)w . (16.122) (16.120)

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 16

796/2069

16.3.4

M etodos Variacionais de Determina c ao de Autovalores

Inspirados no quociente de Rayleigh (16.79), denamos para uma fun ca o v n ao-nula duas vezes diferenci avel denida em [a, b] os funcionais
b

N [v ] :=
a b

v (x) p(x) v (x)2 q (x) dx + p(a)v (a)v (a) p(b)v (b)v (b) , v (x)2 r(x) dx e

D [v ]

:=
a

[v ] :=

N [v ] . D [v ]

A express ao (16.79) ensina-nos que se u e auto-fun ca o de um problema de Sturm-Liouville com autovalor ent ao [u ] = . Podemos colocar-nos a seguinte quest ao: o que ocorre com o funcional [v ] se o calcularmos n ao sobre uma uma auto-fun ca o u mas sobre uma fun ca o pr oxima a esssa? Essa pergunta revelou-se de grande import ancia por permitir uma vis ao em profundidade dos problemas de Sturm-Liouville e por permitir desenvolver um m etodo muito eciente de c alculo aproximado dos autovalores de problemas de Sturm-Liouville. No que segue vamos tentar fornecer uma resposta a ela. Sejam v e h duas fun ca o duas vezes diferenci aveis denidas em [a, b], com v n ao-nula, e denamos uma fun ca o de R por N [v + h] [v + h] = . D[v + h] claro pela deni E ca o que d [v + h] = d = d d N [v + h] D[v + h] D[v + h] N [v + h] d d D[v + h]2 1 D[v + h] d N [v + h] [v + h] d d D[v + h] d . (16.123)

d [v + h] seja nula no Estamos interessados em saber que condi co es a fun ca o v deve satisfazer para que a derivada d ponto = 0 para todo e qualquer h V(1 , 2 , 1 , 2 ). Essa quest ao e importante em fun ca o de sua resposta, a qual e apresentada no importante teorema que segue.

com (1 , 2 ) = (0, 0) e (1 , 2 ) = (0, 0) e com p, q e r satisfazendo as condi c oes usuais j a listadas na Se c ao 16.3, p agina 780: 1. p e cont nua, diferenci avel e p(x) > 0 para todo x [a, b]; 2. q e cont nua em [a, b]; 3. r e cont nua e r(x) > 0 para todo x [a, b].
d Ent ao a derivada d [v + h] anula-se no ponto = 0 para todo e qualquer h V(1 , 2 , 1 , 2 ) se e somente se v for uma auto-fun c ao do problema (16.124), em cujo caso = [v ].

Teorema 16.5 Considere-se o problema de Sturm-Liouville regular denido (como usual) por (p(x)v (x)) + q (x)v (x) + r(x)v (x) = 0 , x [a, b] , 1 v (a) + 2 v (a) = 0 , 1 v (b) + 2 v (b) = 0 ,

(16.124)

d [v + h] anula-se em = 0 para todo h V(1 , 2 , 1 , 2 ) se e somente se v Prova. Desejamos provar que d V(1 , 2 , 1 , 2 ) e satisfaz a equa ca o diferencial (p(x)v (x)) + q (x)v (x)+ r(x)v (x) = 0 para algum para todo x [a, b].

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 16

797/2069

Como indica a express ao (16.123),

d d [v

+ h] anula-se em = 0 se e somente se [v ] d D[v + h] d = 0.

=0

d N [v + h] d Um c alculo expl cito mostra que N [v + h] = N [v ] + 2 N [h]

b

(16.125)

=0

+ 2
a

v (x)h (x)p(x) v (x)h(x)q (x) dx + p(a) v (a)h (a) + v (a)h(a) p(b) v (b)h (b) + v (b)h(b)
b

e que D[v + h] = D[v ] + 2 D[h] + 2

a

v (x)h(x) r(x) dx ,

e disso obtemos que d N [v + h] d e d D[v + h] d = 2

=0 a d d N [v b

= 2
=0 a

v (x)h (x)p(x) v (x)h(x)q (x) dx + p(a) v (a)h (a)+ v (a)h(a) p(b) v (b)h (b)+ v (b)h(b)
b

v (x)h(x) r(x) dx . + h]
=0

Para prosseguirmos, vamos desenvolver mais a express ao para v (x)h (x)p(x) usando integra ca o por partes. Teremos
b a

. Para tal, vamos tratar a integral sobre

v (x)h (x)p(x) dx = p(b)v (b)h(b) p(a)v (a)h(a)

p(x)v (x) h(x) dx

a

e, com isso, d N [v + h] d
b =0

= 2

p(x)v (x) +q (x)v (x) h(x) dx+ p(a) v (a)h (a)v (a)h(a) p(b) v (b)h (b)v (b)h(b)

Conclu mos que a condi ca o (16.125) e v alida se e somente se

b

p(x)v (x) +q (x)v (x)+[v ]r(x)v (x) h(x) dx+ p(a) v (a)h (a)v (a)h(a) p(b) v (b)h (b)v (b)h(b)

= 0. (16.126)

A rela ca o (16.126) e o ponto central da an alise que segue. Observemos, em primeiro lugar, que se v = u , uma solu ca o do problema de Sturm-Liouville (16.124) com autovalor , ent ao, como vimos, [u ] = e o fator multiplicando h(x) na integral em (16.126) e nulo. Al em disso, pela Proposi ca o 16.1, p agina 772, as express oes u (a)h (a) u em se anulam, j a que u e h s ao (a)h(a) e u (b)h (b) u (b)h(b) tamb elementos de V(1 , 2 , 1 , 2 ). Assim, conclu mos que (16.126) (e, portanto, (16.125)) e satisfeita para as autofun co es do problema de Sturm-Liouville (16.124). A rec proca dessa arma ca o tamb em pode ser provada. Comecemos considerando o caso em que h V(1 , 2 , 1 , 2 ) tem suporte compacto contido no intervalo aberto (a, b). Isso signica que h e h anulam-se nos extremos a e b e, portanto, (16.126) reduz-se a
b

p(x)v (x)
a

+ q (x)v (x) + [v ]r(x)v (x) h(x) dx = 0 .

Ora, a suposi ca o de que essa igualdade e v alida para todo h com suporte compacto no intervalo aberto (a, b) implica que p(x)v (x)

+ q (x)v (x) + [v ] r(x)v (x) = 0

(16.127)

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 16

798/2069

E quanto ` as condi co es de contorno? Tomemos h V(1 , 2 , 1 , 2 ) mas agora com suporte no invervalo semi-aberto [a, b). Ent ao, h e h anulam-se em b. Como j a estabelecemos que v satisfaz (16.127) e temos h(b) = h (b) = 0, a condi ca o (16.126) arma-nos que p(a) v (a)h (a) v (a)h(a) = 0. Como p(a) = 0, conclu mos que 0 = v (a)h (a) v (a)h(a) = det
v ( a) v ( a) h ( a) h ( a)

para todo x (a, b). Como [v ] e uma constante, isso mostra que v e uma autofun ca o com autovalor [v ].

. Isso signica que as linhas da matriz

v ( a) v ( a) h ( a) h ( a)

n ao s ao linearmente independentes. Escolhendo h de

Provamos, portanto, que uma fun ca o duas vezes diferenci avel v denida em [a, b] satisfaz a condi ca o (16.125) para toda h V(1 , 2 , 1 , 2 ) se e somente se for uma auto-fun ca o do problema de Sturm-Liouville (16.124). Signicado e relev ancia do Teorema 16.5

forma que (h(a), h (a)) = (0, 0), Isso signica que existe tal que v (a) = h(a) e v (a) = h (a). Mas isso implica que 1 v (a) + 2 v (a) = (1 h(a) + 2 h (a)) = 0, pois h V(1 , 2 , 1 , 2 ). Mutatis mutandis, trocando os pap eis dos pontos a e b na argumenta ca o acima, provamos tamb em que 1 v (b) + 2 v (b) = 0. Isso estabeleceu que v V(1 , 2 , 1 , 2 ).

O Teorema 16.5 arma que se considerarmos o funcional [v ] calculado em fun co es duas vezes diferenci aveis v denidas em [a, b] e considerarmos perturba co es de v por fun co es de V(1 , 2 , 1 , 2 ) essas perturba co es ter ao um extremo (m aximo ou m nimo) se e somente se v for uma auto-fun ca o de um problema do Sturm-Liouville (16.124). Essa arma ca o permite compreender o problema de Sturm-Liouville como um problema variacional, compreens ao essa conhecida como princ pio de Rayleigh, que o descobriu em 187019 . Reconhecemos tamb em que os poss veis auto-valores do problema do Sturm-Liouville (16.124) s ao os valores de [v ] calculado nos extremos (m aximos ou m nimos) desse funcional quando consideradas perturba co es por fun co es de V(1 , 2 , 1 , 2 ). Esse fato permite delinear um m etodo de determina ca o aproximada de autovalores, tal como ilustrativamente apresentado no Exerc cio E. 16.12, p agina 787, no qual se procura perturbar aproxima co es de autofun co es por elementos de um certo subespa co de V(1 , 2 , 1 , 2 ) (tipicamente composto por polin omios) e se determina qual dessas perturba co es extremiza [v ]. Um m etodo sistem atico de efetuar tal procedimento, devido a Ritz20 , poder ser encontrado em diversos textos, e.g. [207] ou [50]-[51]. M etodos variacionais de determina ca o de auto-valores s ao muito utilizados na pr atica, especialmente em c omputos num ericos, tanto por sua simplicidade de implementa ca o quanto por sua eci encia. Originalmente esses m etodos foram desenvolvidos no estudo de problemas de Sturm-Liouville, mas os mesmos podem ser empregados em outros problemas envolvendo a determina ca o de autovalores isolados, problemas esses que ocorrem em diversas aplica co es da Mec anica Qu antica, tal como na F sica At omica, na F sica Nuclear e na F sica de Estado S olido.

16.4
16.4.1

Coment arios Finais

Um Problema de Sturm-Liouville Singular

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 (pu ) + qu + ru = 0 para u denida no intervalo fechado nito [a, b] R, b > a, com as seguintes condi co es de contorno u(a) e u (a) s ao nitas, 1 u(b) + 2 u (b) = 0 , onde o seguinte estar a sendo suposto: As fun co es p, q e r s ao reais e cont nuas em [a, b].
Transactions of the Royal Society, London, A, 161, 77 (1870). Ritz (18781909). Trabalho original: W. Ritz Uber eine neue Methode zur L osung gewisser Variationsprobleme der Mathematischen Physik, Journal f ur die reine und angewandete Mathematik (Jounal de Crelle), Vol. 135, 161 (1909).
20 Walther 19 Phylosophical

(16.128)

(16.129) (16.130)

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 16

799/2069

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]. As constantes 1 , 2 , 1 e 2 s ao reais e tais que (1 , 2 ) = (0, 0) e (1 , 2 ) = (0, 0). 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 19.5.2, p agina 898. Se x representa a altura e o ponto onde uma das 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. e uma constante arbitr aria a ser determinada pelas condi co es de Aqui contorno. A solu ca o e vn (x) = cn J0 (2 n x), onde J0 e a fun ca o de Bessel de ordem zero, cn e uma constante e n (0 )2 0 e o n- esimo zero de J0 no semi-eixo real positivo. Para um e o n- esimo auto-valor, dado por n = 4n L , onde n tratamento detalhado desse problema, vide Se ca o 19.5.2, p agina 898. 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. 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 ilustrativo Exemplo 16.5, p agina 800. 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,
b b

v (x) (Lu)(x) dx =
a a

(Lv )(x) u(x) dx .

(16.131)

De fato, como em (16.71) e (16.72), p agina 784, tem-se

b b

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)

(16.132)

e nito. O termo v (b)u (b) v (b)u(b) e nulo pelo mesmo Ou ltimo termo e zero, pois p(a) = 0 e v (a)u (a) v (a)u(a) argumento apresentado quando da primeira demonstra ca o do Lema de Green, para o caso regular (vide p agina 784 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 real , r :
b

u , u

=
a

u (x) u (x) r(x) dx = 0

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 16

800/2069

se = . N ao repetiremos a demonstra ca o aqui e remetemos o leitor ao que foi feito no caso regular. E. 16.19 Exerc cio. Mostre que, assim como no caso regular, os auto-valores, se existirem, s ao simples. Para isso estude a demonstra c ao para o caso regular da Se c ao 16.3.1.1, p agina 782, e verique que a mesma se generaliza. Exemplo 16.5 [Aus encia de Auto-Valores em um Problema Singular] Considere o seguinte problema de SturmLiouville singular denido no intervalo [0, 1]: (x2 u ) + u = 0 , 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 c ao pode ser procurada na forma u(x) = x e obtem-se 1 1 4 . = 2 Assim, para = 1/4, tem-se u(x) = Ax 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 se21 1 + Re 1 4 0
1+ 14 2 1+ 14 2

+ Bx

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, 1 ter amos 2 0, o que e obviamente falso). Para = 1/4 a solu ca o e u(x) = (A ln x + B ) e a condi ca o u(1) = 0 x 1 implica B = 0 e, portanto, u(x) = A x ln x, que n ao e nita em x = 0, exceto no caso trivial em que A = 0. Logo, o problema tratado n ao tem solu ca o para nenhum auto-valor.

21 Outra

possibilidade seria escolher A = 0, ou seja, u(x) = 0, solu ca o trivial que n ao interessa como auto-fun ca o.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 16

801/2069

16.5

Exerc cios Adicionais

E. 16.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 unica se (b a)1 1 + 1 2 1 2 = 0.

E. 16.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 . (16.133) 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 (16.133). c) Expresse a fun c ao de Green do problema de Sturm do item a) em termos dos auto-valores e auto-fun 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)ex . 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.

c ao de Green para os seguintes problemas de Sturm: E. 16.22 Exerc cio. Determine explicitamente a fun 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. 16.23 Exerc cio. Determine explicitamente a solu c ao dos cinco problemas de Sturm acima para o caso em que f (x) = x.

E. 16.24 Exerc cio. Determine explicitamente a fun c ao de Green para o seguinte problema de Sturm: (xu ) Verique que fun co es do tipo 2 u = f (x) , x

onde > 0, com as condi co es de contorno com u(a) = 0 e u(b) = 0, onde 0 < a < b < . 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, a fun c ao p(x) = x n ao e estritamente positiva no intervalo [a, b].

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 16

802/2069

kx2 com k > 0 2 (potencial do oscilador harm onico). Al em disso, a part cula est a submetida a uma for ca externa f (t) que, como a nota c ao indica, pode variar com o tempo. E. 16.25 Exerc cio. Uma part cula de massa m > 0 se move em uma dimens ao sob um potencial U (x) = 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 no instante de k 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. 16.26 Exerc cio. normalizadas: Resolva os seguintes problemas de Sturm-Liouville, determinando os auto-valores e as auto-fun co es

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. 16.27 Exerc cio. Para cada um dos casos do Exerc cio E. 16.26, expresse a fun c ao de Green do problema de Sturm correspondente usando a f ormula de Mercer (16.102). Importante: n ao esque ca de normalizar as auto-fun co es. E. 16.28 Exerc cio. normalizadas: Resolva o seguinte problema de Sturm-Liouville, determinando os auto-valores e as auto-fun co es (xu ) + 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 e i
ln x

u = 0, x

+ c2 e i

ln x

, que as auto-fun co es s ao da forma s ao as solu co es gerais de (xu ) + x u = 0. Mostre, da un (x) = cn sen (n ln x) , n = 1, 2, . . .. Determine cn impondo que cada un seja normalizada. E. 16.29 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, explicitamente, para f (x) = x1 .

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 16

803/2069

E. 16.30 Exerc cio. Considere o seguinte problema de Sturm, denido no intervalo [0, 1]: (ex u ) = f (x) , com u(0) = u(1) = 0. a. Determine explicitamente a fun c ao de Green desse problema. 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. 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 autofun 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 . x [0, 1] ,

E. 16.31 Exerc cio. 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. 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. 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, caso a mesma exista. 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. 16.32 Exerc cio. [Adaptado de [207]]. 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. b. Mostre que as auto-fun co es do problema de Sturm-Liouville y (x) + xy (x) = 0 (16.134) 3 com x [0, 1] e y (0) = y (1) = 0 s ao dadas por yn (x) = xJ1/3 2 3 n x , com n positivos e satisfazendo 2 ao. Para = 0 a equa c ao (16.134) e uma equa c ao de Airy, cuja solu c ao e discutira na Se c ao J1/3 3 n = 0. Sugest 13.1.4, p agina 576. A rela c ao entre suas solu co es e as fun co es de Bessel e apresentada e discutida ` a p agina 606. 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.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 16

804/2069

e. Determine aproximadamente os dois primeiros auto-valores usando o m etodo variacional. Sugest ao: procure aproximantes da forma y(2) (x) = c1 x(1 x) + c2 x2 (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 , 1 para todo n, primeiramente para f gen erica e depois, explicitamente, para f (x) = . Sugest ao: use a identidade 1 x3
1 0

1 J du = J (au) 2 2 1 u2

a 2

v alida para a > 0, > 1.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 16

805/2069

Ap endices
16.A Prova do Teorema 16.1. Exist encia e Unicidade
Abaixo faremos uso da nota ca o e de resultados do Cap tulo 12, p agina 489. 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

com as identica co es u(x) = y1 (x), u (x) = y2 (x). A solu ca o e da forma

y1 (x) , Y (x) = y2 (x)

A(x) =

0 a0 (x)

1 a1 (x)

0 , G(x) = g (x)

Y (x) = D(x, x0 )Yx0 +

x0

D(x, y )G(y ) dy ,

ario. onde Yx0 = Y (x0 ), x0 arbitr E f 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 u(b) + 2 u (b) = a solu ` ca o. Isso implica
1 A1 u1 (a) + A2 u2 (a) + up (a) + 2 A1 u 1 (a) + A2 u2 (a) + up (a)

1 , 2 ,

(16.A.1) (16.A.2)

= 1 , = 2 .

(16.A.3) (16.A.4)

1 A1 u1 (b) + A2 u2 (b) + up (b) + 2 A1 u 1 (b) + A2 u2 (b) + up (b)

Esse par de equa co es pode ser escrito em forma matricial como 1 u1 (a) + 1 u1 (b) + 2 u 1 (b) 2 u 1 (a) 1 u2 (a) + 1 u2 (b) + 2 u 2 (b)

2 u 2 (a) A1

1 1 up (a) = . 2 1 up (b) 2 up (b) A2

2 u p (a)

(16.A.5)

E. 16.33 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 u 1 (a) 1 u1 (b) + 2 u 1 (b) 1 u2 (a) + 2 u 2 (a) 1 u2 (b) + 2 u2 (b)

for uma matriz invers vel, ou seja, se e somente se seu determinante for n ao-nulo. Isso completa a demonstra ca o.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 16

806/2069

16.B

Prova da Proposi c ao 16.2

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 (16.25). Sejam c11 , c12 , c21 , c22 denidas por c11 c21 c12 := c22 = 1 u1 (a) + 2 u 1 (a) 1 u1 (b) + 2 u 1 (b) 2 u 2 (a) 1 u2 (a) + 2 u 2 (a) 0 1 u2 (b) + 2 u2 (b) 1 1 0

Note-se que, por (16.25), c11 det c21

1 u2 (a) + 1 u2 (b) + 2 u 2 (b)

(1 u1 (a) + (1 u1 (b) +

2 u 1 (b))

2 u 1 (a))

c12 1 u1 (a) + = det 1 u1 (b) + 2 u c22 1 (b)

2 u 1 (a)

1 u2 (a) +

0 det 1 1 u2 (b) + 2 u 2 (b)

2 u 2 (a)

1 = 0. 0

(16.B.6)

Sejam as fun co es v1 (x) e v2 (x) denidas por

c11 v1 (x) = v2 (x) c21

c12 u1 (x) . u2 (x) c22

Pela deni ca o,

pois Lu1 = Lu2 = 0. Al em disso,

c11 Lv1 = c21 Lv2 v1 (x) v2 (x)

v1 (x)

c12 Lu1 0 = , Lu2 0 c22 c12 u1 (x) u2 (x) c22 = 0, u 1 (x)

e como

c11 = c21 v2 (x) u1 (x) det u2 (x)

(16.B.7)

u 2 (x)

u 2 (x)

u 1 (x)

pois u1 e u2 s ao independentes, segue de (16.B.6) que

v1 (x) det v2 (x)

v2 (x)

v1 (x)

= 0,

(16.B.8)

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 16

807/2069

para todo x [a, b], provando que v1 e v2 s ao tamb em independentes. Tem-se de (16.B.7)
(x) 1 v1 (x) + 2 v1 v1 (x) = 1 v2 (x) + 2 v2 (x) v2 (x) v1 (x) 1 2 v2 (x)

c11 = c21

c12 u1 (x) u2 (x) c22

u 1 (x) 1 2 u 2 (x) 2 u 1 (x)

Logo,

c11 = c21

c12 1 u1 (x) + . 1 u2 (x) + 2 u2 (x) c22

1 v1 (a) + c11 = 1 v2 (a) + 2 v2 (a) c21

2 v1 (a)

c12 1 u1 (a) + c11 = 1 u2 (a) + 2 u c21 c22 2 (a)

1 v1 (a) + 2 v1 (a) = 0 .

2 u 1 (a)

0 c12 c12 , = c11 c22 c12 c21 c11 c22

(16.B.9)

que arma, em particular, que (16.B.10) Analogamente,

1 v1 (x) + v1 (x) = 1 v2 (x) + 2 v2 (x) v2 (x)

2 v1 (x)

v2 (x)

v1 (x) 1

= =

c11 c21

c12 u1 (x) u2 (x) c22

u 2 (x)

u 1 (x) 1 2

Logo,

c11 c21

c12 1 u1 (x) + 2 u 1 (x) . c22 1 u2 (x) + 2 u 2 (x)

(b) 1 v1 (b) + 2 v1 c11 = 1 v2 (b) + 2 v2 (b) c21

c12 1 u1 (b) + 2 u c11 1 (b) = 1 u2 (b) + 2 u c21 c22 2 (b)

1 v2 (b) + 2 v2 (b) = 0 .

c12 c22 c11 c22 + c12 c21 = , 0 c21 c22

(16.B.11)

que arma, em particular, que (16.B.12) As rela co es (16.B.10) e (16.B.12) s ao precisamente o que armamos em (16.31) e (16.32). Note-se que de (16.B.6), de (16.B.9) e de (16.B.11) obtem-se tamb em que 1 v2 (a) + 2 v2 (a) = 0 e que 1 v1 (b) + 2 v1 (b) = 0. Isso conclui o que quer amos provar sobre a exist encia e propriedades das fun c oes v1 e v2 .

16.C

Coment ario Sobre o Determinante Wronskiano

Faremos aqui um coment ario sobre a no ca o de determinante Wronskiano introduzida no Cap tulo 12, p agina 12 (vide p agina 498) e aquele apresentado na deni ca o. (16.39). Abaixo faremos uso de nota ca o e de resultados daquele cap tulo. 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) ,

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 16

808/2069

onde

com as identica co es u(x) = y1 (x), u (x) = y2 (x). A solu ca o e da forma

y1 (x) , Y (x) = y2 (x)

A(x) =

0 a0 (x)

1 a1 (x)

Y (x) = D(x, x0 )Yx0 , ario. onde Yx0 = Y (x0 ), x0 arbitr 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 12, p agina 12 (vide p agina 498)) e det Y1 (x), Y2 (x) . Como comentamos acima, Y1 e Y2 s ao da forma

onde u1 e u2 s ao duas solu co es independentes de Lu = 0. claro ent E ao que det Y1 (x), Y2 (x)

u1 (x) , Y1 (x) = u1 (x)

u2 (x) , Y2 (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 (16.B.7) nos diz que v1 (x) det v2 (x)
v1 (x)

u1 (x) = det u 1 (x)

u2 (x) u1 (x) = det u2 (x) u 2 (x)

u 1 (x) . u 2 (x)

c11 Como det ( c 21

c12 c22

c11 = det v2 (x) c21

v1 (x) v1 (x ) v2 (x) v2 (x )

c12 u1 (x) det u2 (x) c22

u1 (x) u 1 (x ) u2 (x) u 2 (x )

u 2 (x)

u 1 (x)

(16.C.13)

) e n ao-nulo, isso diz que det

e det

diferem apenas por um fator constante.

Agora det e o determinante Wronskiano, introduzido em (16.39). Com isso, mostramos que o determinante Wronskiano do Cap tulo 12, p agina 489, difere apenas por um fator n ao-nulo constante daquele introduzido em (16.39).

(x ) v1 (x) v1 v2 (x) v2 (x )

16.D

Demonstra c ao do Teorema 16.3

A demonstra ca o que se segue e parcialmente derivada da refer encia [104], mas as id eias empregadas ser encontradas de forma generalizada na literatura da An alise Funcional dedicada a estimativas de auto-valores. Nesse sentido, essa demonstra ca o pode ser de particular interesse ao estudante interessado em propriedades do espectro de operadores diferenciais lineares, por representar um caso mais simples de resultados mais gerais obtidos com recursos, por vezes, mais elaborados. A express ao (16.82), p agina 787, ser a nosso ponto de partida para mostrar que os auto-valores s ao limitados inferiormente, ou seja, que existe uma constante M R tal que M .

As constantes 1 e 2 encontradas em (16.82) s ao n umeros reais que podem ser positivos ou 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.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 16

809/2069

Caso 1. 1 0 e 2 0.

Nesse caso tem-se de (16.82) que

b

u(x)2 r(x) dx

b a

u(x)2 q (x) dx ,

pois 1 u(a)2 + 2 u(b)2 0 e

b a

u (x) p(x)dx 0, pois p(x) > 0. Logo,

b b

u(x)2 q (x) dx = u(x)2 r(x) dx

a

a b a

u(x)2
b a

q (x) r(x)

r(x) dx . (16.D.14)

u(x)2 r(x) dx

Sejam agora Q = max q (x),

x[a, b]

R1 = max r(x),
x[a, b]

R2 =

x[a, b]

min r(x) .

q (x ) Q u encia disso, vale Lembrando que r(x) > 0 para todo x [a, b], teremos r (x) r (x) . Como conseq

q (x) Q B := r(x) R 1 Q R2

, se Q = 0 , , se Q < 0 , , se Q > 0 . (16.D.15)

E. 16.34 Exerc cio. Justique cuidadosamente as desigualdades acima. Retornando a (16.D.14)

b

|u(x)|2 Br(x) dx
b

= B,

|u(x)| r(x) dx

onde B est a denida em (16.D.15). Adotando M = B para esse caso, obtemos o que se queria provar. Caso 2. 1 < 0 e 2 0. Nesse caso tem-se de (16.82) que
b

u(x)2 r(x) dx

b a

u (x) p(x) u(x)2 q (x)

dx + 1 u(a)2 ,

(16.D.16)

pois 2 u(b)2 0.

No Ap endice 16.D.1, p agina 811, demonstramos a seguinte desigualdade, v alida para todo x [a, b] e todo > 0: u(x)2
b

u (y )
a

dy + ()
a

u(y )2 r(y ) dy ,

(16.D.17)

onde () := R2 sendo denido como acima: R2 = min r(x).

x[a, b]

1 R2

1 1 + ba

Tomando x = a, temos 1 u(a)2 1

b

u (y )
a

dy + 1 ()
a

u(y )2 r(y ) dy ,

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 16

810/2069

sendo que a desigualdade se inverteu pois 1 < 0, por hip otese. Inserindo isso em (16.D.16), tem-se
b

u(x)2 r(x) dx

(p(x) + 1 ) u (x)
a

dx +
a

(1 ()r(x) q (x)) 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 essa escolha a integral 2 b ( p ( x ) + ) u ( x ) dx e positiva e podemos escrever 1 a
b b b

u(x)2 r(x) dx

(1 ()r(x) q (x)) u(x)2 dx =

b a

1 ()

q (x) r(x)

u(x)2 r(x) dx .

Com o uso de (16.D.15) isso ca

b

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. Esse caso e totalmente an alogo ao caso 2, e n ao precisa ser considerado em detalhe. Esse caso e tamb em an alogo ao caso 2, mas trataremos dos detalhes. De (16.82) temos
b

Caso 4. 1 < 0 e 2 < 0.

b a

u(x)2 r(x) dx

u (x) p(x) u(x)2 q (x)

dx + 1 u(a)2 + 2 u(b)2 .

(16.D.18)

Usando novamente a desigualdade (16.D.17) para x = a e x = b, temos 1 u(a)2 + 2 u(b)2 (1 + 2 )

b b b

u (y )
a

dy + (1 + 2 ) ()
a

u(y )2 r(y ) dy,

sendo que a desigualdade se inverteu pois 1 < 0 e 2 < 0, por hip otese. Inserindo isso em (16.D.16), tem-se
a

u(x)2 r(x) dx

(p(x) + (1 + 2 )) u (x)
a

dx +
a

((1 + 2 ) ()r(x) q (x)) 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 + 2 ) 0 , para todo x [a, b]. Isso e sempre poss vel, pois, por hip otese p(x) > 0 para todo x [a, b]. Com essa escolha a integral 2 b ( p ( x ) + ( + ) ) u ( x ) dx e positiva e podemos escrever 1 2 a
b

u(x)2 r(x) dx

((1 + 2 ) ()r(x) q (x)) u(x)2 dx

b

=
a

(1 + 2 ) ()

q (x) r(x)

|u(x)|2 r(x) dx .

Com o uso de (16.D.15) isso ca

a

u(x)2 r(x) dx ((1 + 2 ) () + B )

b a

u(x)2 r(x) dx ,

o que implica (1 + 2 ) () + B . Adotando-se M = ((1 + 2 ) () + B ) para esse caso, isto e o que quer amos provar. Com isso, a demonstra ca o do Teorema 16.3 est a completa.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 16

811/2069

16.D.1

Prova da Desigualdade (16.D.17)

x x

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 u(x)2 = u(x0 )2 +
x0

u(y )2

dy = u(x0 )2 + 2
x0

u (y )u(y ) dy .

Portanto, tem-se, para quaisquer x, x0 [a, b], u(x)2 u(x0 )2 + 2 Pela desigualdade de Cauchy-Schwarz,
x x0 x x

u (y )u(y ) dy .
x0

u (y )u(y ) dy

u (y )
x0

1/2

x x0

1/2

dy

u(y )2 dy

Conseq uentemente, juntando as duas u ltimas desigualdades,

x 1/2 x

u(x)2 u(x0 )2 + 2

u(y )2 dy
x0 x0

u (y )

1/2

dy

Como x e x0 s ao elementos de [a, b] e tamb em obvio que

x x0

u(y )2 dy

b a

|u(y )|2 dy

e que
x0

u (y )

dy

u (y )
a

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, u(x)
2

u(x0 ) + 2

b a

1/2

u(y ) dy
a

1/2

u (y )

dy

Para qualquer > 0 isso pode ser reescrito como u(x)

2

1 u(x0 ) + 2
2

b a

1/2

u(y ) dy

1/2

u (y )
2

dy

(16.D.19)

Se A e B s ao dois n umeros positivos, e f acil provar a partir de isso em (16.D.19) com A =

1 b a

u(y )2 dy e B =

b a

u (y ) 1
b

A B
b

0, que 2 A B A + B . Usando

dy , tem-se u (y )
a 2

u(x)2 u(x0 )2 +

u(y )2 dy +
a

dy .

(16.D.20)

At e aqui x0 era um ponto arbitr ario do intervalo [a, b]. Vamos escolh e-lo agora de modo que x0 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 (vide Teorema 31.16, p agina 1442). Com isso teremos, obviamente,
b a x[a, b]

u(y )2 dy (b a)u(x0 )2 , 1 ba
b a

ou seja, u(x0 )2 u(y )2 dy .

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 16

812/2069

Inserindo isso em (16.D.20), camos com

b

u(x)2

u (y )
a

dy +

1 1 + ba

u(y )2 dy .
a

(16.D.21)

Seja agora r uma fun ca o cont nua qualquer denida em [a, b] com r(y ) > 0 para todo y [a, b]. Denindo-se como r(y ) 1 , para todo y [a, b]. Inserindo isso na segunda integral de (16.D.21), aquela antes R2 = min r(y ) teremos y [a, b] R2 express ao ca b b 1 1 1 2 + u(y )2 r(y ) dy . (16.D.22) u (y ) dy + u(x)2 R2 b a a a Isso e a desigualdade (16.D.17), que quer amos provar.