6-1

O Formalismo da Mecnica Quntica, Parte II

6.2 Operadores
Um operador uma expresso que atua sobre uma funo para produzir outra funo. Podemos escrever isso da seguinte forma A f(x) = F(x) (1)

Aqui temos alguns exemplos: A = d/dx, d2/dx2, sen, dx, , x2 etc. Os Operadores podem combinar-se para formar outros operadores. Os primeiros operadores encontramos na seo 3.1 falando dos observveis e dos operadores correspondentes. Tambm a equao de Schrdinger, conf. se. 3.2, Eq. (3), podemos transformar em uma equao com operador, pois (- 2/2m d2/dx2 + U(x))(x) = E (2) pode ser escrita como H = E , onde foi introduzido o operador hamiltoniano H := - 2/2m d2/dx2 + U(x) (3)

(O nome vem da similitude do operador com a funo de Hamilton na mecnica clssica. Observa que a funo no pode ser cancelada na equao H = E, pois H no um simples multiplicador escalar como a energia E ao lado direito da Eq. 2) Os operadores constituem entes com existncia e propriedades independentes da funo sobre a qual eles operam. preciso determinar quais so as leis que devemos usar para som-los, multiplic-los etc., ou seja, precisamos conhecer a lgebra dos operadores. O problema de encontrar o lgebra dos operadores se simplifica grandemente demonstrando que todo operador pode ser posto em forma de matriz, e, em conseqncia, uma operao entre operadores se traduzir em uma operao equivalente entre matrizes.

6-2

As definies relativo aos operadores coincidem com aqueles que se referem s transformaes. Neste sentido no h diferencia entre operadores e transformaes. Uma transformao linear L de Rn em Rm uma funo que associa a cada u em Rn um nico L(u) em Rm. Se n = m, a transformao linear L: Rn Rn chamada de um operador linear em Rn.

6.2.1 lgebra dos operadores

Quando queremos manipular operadores, precisamos tomar conta da sua lgebra. Temos que saber como operadores arbitrrios atuam sobre funes e sobre si prprios. As definies de soma e diferena de dois operadores A e B (atuando sobre uma funo qualquer) tm a mesma aparncia como a definio anloga para nmeros e funes. A soma e a diferena de dois operadores so definidas por (A B) f = A f B f (4)

Similarmente, tem-se para o produto de dois operadores a seguinte definio (AB) f = A(B f) (5)

Geralmente, se verifica que o produto no comutativo, ou seja os operadores (AB) e (BA) podem no ser iguais, como por exemplo (x d/dx) e (d/dx x), onde A = x e B = d/dx. Temos x(d/dx f) = x df/dx, mas d/dx(x f) = f + x df/dx Neste caso, dizemos que o comutador [A,B], definido por [A,B] := AB - BA, (6)

no se anula. Se A e B comutam, ento [A,B] = 0.

6-3

Exemplo: Calcule o comutador [x, d/dx] Resposta: [x, d/dx]f = (x d/x - d/dx x)f = x df/dx - d(xf)/dx = x f ' - f - xf ' = -f ou simplesmente [x, d/dx] = -1. Logo, o comutador entre x e d/dx -1. Normalmente, no se indica a funo f, mas necessrio t-la em mente quando se efetua o clculo do comutador. Exemplo: Calcule o comutador [ /i d/dx, -2/2m d2/dx2] Resposta: [ /i d/dx, -2/2m d2/dx2] f = - 2/2mi (d/dx d2/dx2 - d2/dx2 d/dx) f = - 3/2mi (f ''' - f ''') = 0 Logo, conclumos que o operador linear p comuta com o operador da energia cintica p2/2m. Do Princpio da Incerteza, veja 3.4, podemos deduzir que possvel medirmos duas observveis simultaneamente e (em princpio!) com exatido ilimitada, se os operadores correspondentes comutarem. Podemos, pois, concluir que a energia cintica e o momento linear de uma partcula podem ser medidas simultaneamente. (Se pode demonstrar que para dois operadores A, B vale A B <C>/2, onde C um operador hermitiano. No caso do primeiro exemplo escolhemos C = para obter x px /2.) Demonstramos rpido que px = -i/x e x = x so dois operadores que no comutam, e que px e x no podem ser medidos com exatido arbitrria. Temos: (pxx) f = -i/x(xf) - if e (xpx) f = x(-i/x)f = -ixf/x e ento (xpx - pxx)f = if I ou, tirando o operador identidade I e a funo f, (xpx - pxx) = i

6-4

Logo, vemos que o operador linear px e o operador x do vetor posio no comutam e que as duas observveis px e x no podem ser medidas simultaneamente. (A coordenada y e o momento px sim podem ser medidas simultaneamente, pois podemos mostrar que (ypx - pxy) = 0.)

6.2.2 Definies
Operadores lineares O operador A dito linear se, e somente se, ele possuir as seguinte propriedade A[c1f(x) + c2g(x)] = c1Af(x) + c2Ag(x) Os constantes c1,c2 podem ser complexos. (7)

Exemplo: f(x) = x, g(x) = e-x. Vamos verificar se o operador diferencial A = d2/dx2 linear. A[c1f(x) + c2g(x)] = d2/dx2 [c1x + c2e-x] = c10 + c2e-x = -c2e-x c1Af(x) + c2Ag(x) = c1d2/dx2 (x) + c2d2/dx2 e-x = c10 + c2e-x = -c2e-x A = d2/dx2 um operador linear. A raiz quadrada no um operador linear, pois (x+e-x) x + e-x e cx cx.

Operadores hermitianos Entre os operadores lineares existe um grupo de operadores que so de grande importncia na mecnica quntica, so eles os operadores hermitianos. (Um secreto: Todos os operadores na mecnica quntica so hermitianos.) Charles Hermite, 24. 12. 1822 - Dieuze (Moselle) 14.1. 1901 Paris.

6-5

So trs as propriedades dos operadores hermitianos que so de mxima importncia: 1. Os operadores hermitianos possuem autovalores reais 2. As autofunes de um operador hermitiano so, ou podem ser escolhidas de tal forma que sejam ortogonais. 3. As autofunes de um operador linear hermitiano formam um conjunto completo e ortogonal de funes Antes de demonstrar as duas primeiras propriedades em 6.2.3, cabe dar uma definio da hermiticidade. Definio: Um operador O hermitiano se para todo par de funes f e g se cumpre a igualdade f*(Og) dv = (Of)*g dv (8)

Na formulao de Dirac: <fIOg> = <Of Ig> := <f IOIg>, onde a ltima forma quer indicar que o operador pode atuar ou sobre f ou sobre g. Note que (Of)* = O*f*. Se forma O* mudando os signos dos nmeros imaginrios i onde em O aparecerem. Vale a pena repetir alguns conceitos com respeito Notao de Dirac: ket: Ig> = g(x); bra: <f I = f*(x) braket: <f I g> = f*g dx (integrao sobre todo o espao; f* = complexo conjugado de f; bracket = parntese) Um operador hermitiano pode aparecer tanto no ket como no bra sem influenciar o valor do braket. As seguintes propriedades dos brakets demonstra -se usando a definio do braket como sendo uma integral: <1I A2> = 1* A 2 dv. Propriedade 1: Propriedade 2: Propriedade 3: <1Ic2> = c<1I2> <c1I2> = c*<1I2> (Sabemos que <f Icg> = c <f I g> e <cf I g> = c*<f I g>) <1I2>* = <2I1>

6-6

Propriedade 4:

<1 + 2I 3 + 4> = <1I3>+<1I4>+<2I3>+<2I4>

A propriedade 4 uma conseqncia das propriedades 1-3.

Operador adjunto Diz-se que A+ o operador adjunto a A quando se verifica que <f IAg> = <A+f Ig> (9) Quando A+ = A, diz-se que o operador autoadjunto ou hermitiano. Escrito sob forma de integrais (tomadas sobre todo o espao) f*Ag dv = (Af)*g dv = A*f*g dv Exemplo: A := d/dx no hermitiano sobre (-,+), porque (integrao por partes com u = f* ): <f IAg) = f* (dg/dx) dx = f* g |-+ - g (df*/dx) dx = = - (df*/dx)g dx = -(d/dx f)* g dx = -<Af I g> Vamos mostrar agora que (AB)+ = B+ A+ (= propriedade 4) Por um lado segue da definio que <f, AB g> = <(AB)+ f Ig> por outro lado temos: <f, AB g> = <f, A(B g)> = <A+f I B g> = <B+(A+f) I g> = <B+A+ f I g>, da segue que (AB)+ = B+ A+, o que queramos demonstrar. Tambm as seguintes propriedades se deixam demonstrar sem grandes dificuldades: (veja demonstrao no seguinte pargrafo) Propriedade 1: Propriedade 2: Propriedade 3: (A+)+ = A (A + B)+ = A+ + B+ (a A)+ = a* A+ (10)

6-7

6.2.3 Teoremas
Teorema 1 (operadores adjuntos) Demonstrar a validez das propriedades mencionadas (Usando <f IAg> = <A+f Ig> e < Af I g> = <f I A+g> e <f Icg> = c <f I g> e <cf I g> = c*<f I g>) Propriedade 1: (A+)+ = A (A+)+ = A q.e.d.

<(A+)+f I g> = <f I A+ g> = <A f I g>

Propriedade 2: Mostrar que (A + B)+ = A+ + B+ temos: <(A + B)f I g> = < (Af + Bf) Ig> = < Af I g> + < Bf I g> = <f I A+g> + < f I B+g> = <f I(A+ + B+)g> pero tambm: <(A + B)f I g> = <f I (A + B)+g> Propriedade 3: (a A)+ = a* A+ (A + B)+ = A+ + B+ q.e.d.

<(aA)+ f I g> = <f I aA g> = a <f I A g> = a < A+ f I g> = < a*A+ f I g> ento: (a A)+ = a* A+ q.e.d. Teorema 2 (hermiticidade) Demonstre que p = -i/x um operador hermitiano. (Observe que (-i/x)* = i/x) Prova: Devemos comprovar que <f Ip g> = <p f Ig> (integrao por partes, u :=f*) <f Ip g> = f*(x,t) [-i /x g(x,t)]dx = -i{[f*(x,t)g(x,t)]+- - g(x,t) /x f*(x,t)dx} [f*(x,t)g(x,t)]+- = 0 pois f e g tendem a zero com x f*(x,t) [-i /x g(x,t)]dx = (-i) [- g(x,t) /x f*(x,t)dx] = (i/x f*(x,t))g(x,t) dx= = (-i /x f(x,t))* g(x,t) dx = <p f Ig>

6-8

Teorema 3 (valores esperados) Mostre que o valor esperado da varivel A do operador hermitiano A real. (Observe: Um nmero c real se igual ao seu complexo conjugado c*) Prova: Queremos comprovar que o valor esperado da hermitiano A igual a seu complexo conjugado. varivel A com operador

Valor esperado da observvel A definido como <A> = * A dv, veja 3.2. O complexo conjugado <A>* = (*)* [A]*dv = [A]*dv = [A]* dv Sendo A hermitiano, a ltima integral igual a * A dv = <A> = real q.e.d. (O valor esperado deve ser real, pois os nmeros medidos num laboratrio so nmeros reais.) instrutivo fazer a prova usando somente a notao de Dirac: <A>* = <IA>* = < AI> (a propriedade 3 dos brakets foi usada: <1I2>* = <2I1>). Usando a propriedade de hermiticidade, obtemos < AI> = <IA> = <A> q.e.d. Teorema 4: (autovalores reais) Os autovalores de um operador hermitiano A so reais. Prova: J que A hermitiano, temos <IA> = <AI>. Agora: <IA> = <Ia> = a<I> e tambm <AI> = <aI> = a*<I> (<I> = ||2 nunca negativo!) Veja tambm a seguinte demonstrao: J que AI> = a I>, temos <IAI> = <Ia > = a <I>, por outro lado a = a*

6-9

<IAI> = <IA+I> = <IAI>* = <Ia >* = a* <I>, e da segue a = a*, o que somente ser possvel se a for real.

Teorema 5: (autofunes so ortogonais) As autofunes {i} de um operador hermitiano A que pertencem a diferentes autovalores {ai} so ortogonais. Prova: i e k sejam duas autofunes quaisquer do operador A. Ento <AiIk> = ai*<iIk> = ai <iIk> e tambm <iIAk> = ak <iIk> Sendo A hermitiano, temos <iIAk> = <AiIk> ou (ai - ak) <iIk> = 0. Mas, como ai ak , resulta que <iIk> = 0 para ik, q.e.d. Agora existe a possibilidade de as duas funes escolhidas, i e k, terem o mesmo autovalor, a := ai = ak. Nesse caso temos uma degenerescncia e a prova anterior no ser vlida, j que ai - ak = 0, e as duas funes no tm de ser ortogonais. No entanto, por meio do mtodo de Gram-Schmidt, veja a seo anterior, podemos construir, mesmo neste caso de degenerescncia, duas funes mutuamente ortogonais com o mesmo autovalor. Segundo este mtodo, formamos primeiro uma combinao linear k' = i + k com dois constantes arbitrrias a determinar. Vamos determinar as constantes de tal forma que temos <i I k'> = 0 Ou seja, a nova autofuno, k', ser ortogonal a i. Se escolhermos := 1 e multiplicarmos k' = i + k da esquerda por i*, obteremos por meio de uma integrao i*i dx + i*kdx = i*k' dx ou tambm <iIi> + <iIk> = <iIk'> Escolhendo da forma := -<iIi> /<iIk>, obteremos <iIk'> = 0, o que queramos obter. A nova funo k' ortogonal a i.

6-10

Muito importante o seguinte teorema. Primeiro formulamos uma Definio: Diz-se que uma autofuno simultnea dos operadores lineares A e B, pertencendo aos autovalores e , respectivamente, se valem as equaes A = e B = Teorema 6a: Se as funes de um dado conjunto completo {i} forem simultaneamente autofunes dos operadores A e B, ento A e B comutam. ( seja uma funo qualquer do conjunto {i}) Prova: Consideremos as equao de autovalores A = B = Fazendo B operar sobre ambos os lados da primeira equao, teremos B(A) = B = B = da forma similar resulta A(B) = A = A = ento AB = BA ou seja [A,B] = 0, q.e.d. Pode-se demonstrar tambm o teorema inverso: Teorema 6b: As autofunes de operadores lineares cujo comutador zero so simultaneamente autofunes dos dois operadores A, B. (Ou no caso de degenerescncia podem ser construdas para ser autofunes simultneas dos A e B.) Prova (assumamos que os autovalores no sejam degenerados): Seja autofuno de A, ou seja A = . Multiplicando ambos os lados por B d BA = B

6-11

J que A e B comutam, temos BA = A(B) = B, isto , B uma autofuno com autovalor . Uma vez que foi introduzido como sendo no degenerado, B somente pode ser um mltiplo de , ou seja B = q.e.d. Ns supnhamos que os autovalores fossem no degenerados. Consideremos agora o caso de degenerescncia. Para simplificar as consideraes, suporemos que tem uma dupla degenerescncia e que 1 e 2 sejam duas autofunes ortonormais de A pertencendo ao autovalor . Ento, todas as combinaes lineares de 1 e 2 sero tambm autofunes de A com o autovalor . Vamos escolher uma destas combinaes lineares: = a11 + a22 deve ser uma autofuno de A: A = = (a11 + a22) Multipliquemos esta equao pela esquerda por B: BA = B = B(a11 + a22) Uma vez que A e B comutam, podemos reescrever isso na forma AB = B(a11 + a22) Em outras palavras, B(a11 + a22) uma autofuno de A com o autovalor . J que supnhamos que fosse duplamente degenerado, B(a11 + a22) tem que ser uma das combinaes lineares de 1 e 2. Por isso podemos escrever B(a11 + a22) = c11 + c22 Se escolhermos a1 e a2 da seguinte maneira c11 + c22 = (a11 + a22), vemos que a11 + a22 tambm ser uma autofuno de B, pois teremos B(a11 + a22) = (a11 + a22) (11) Para determinar estes valores a1,a2 especiais, multiplicamos a ltima equao por *1 e *2 e logo integramos os produtos a1<1IB1> + a2<1IB2> = a+1<1I1> + a2<1I2> = a1

6-12

a1<2IB1> + a2<2IB2> = a1<2I1> + a2<2I2> = a2 onde tomamos em conta que 1, 2 foram tomadas como sendo ortonormais. Usando as abreviaes <1IB1> := B11 , <1IB2> := B12 etc. obteremos o sistema a1B11 + a2B12 = a1 a1B21 + a2B22 = a2 (12) O sistema (12) consta de duas equaes simultneas e lineares para a1 e a2. As equaes podem ser resolvidas caso o determinante dos coeficientes fosse nulo

B11 B12 =0 B21 B22

Trata-se de uma equao quadrtica com as razes 1,2 para determinar a1 e a2. No caso de que 1 = 2, seria um autovalor degenerado, j que qualquer escolha de a1, a2 satisfaria as equaes (12). Mas, se 1 e 2 fossem diferentes, a1 e a2 podem ser determinados de tal maneira que Eq. 11 ser satisfeita, e foi isso o que queramos demonstrar.

6.2.4 Teoria de Sturm-Liouville

Todo esse material, a teoria dos operadores lineares, faz parte da rea de anlise funcional (veja p. ex. Erwin Kreyszig, Introductory Functional Analysis with Applications, John Wiley). interessante, que todos nossos problemas de contorno que estudamos na mecnica quntica e na mecnica clssica, so parte da teoria de SturmLiouville (Charles-Franois Sturm, 1803-1855, Joseph Liouville, 1809-1882), que tambm pertence s teorias estudadas na anlise funcional. L seja um operador diferencial como L:= d2/dx2 . No caso da "Partcula numa caixa", seo 2.1, consideramos a equao d2(x)/dx2 + k2(x) = 0 (13)

6-13

(x) estava definido em 0 x L e as condies de contorno eram (o) = 0 e (L) = 0. (14) A Eq. 13 uma equao de Sturm-Liouville (ou: StL) que podemos escrever como L(x) = - k2(x), onde L:= d2/dx2. Muitas vezes escreve-se o problema a resolver com uma funo de peso r(x)>0 e um parmetro : L u(x) = - r(x)u(x) A forma geral do operador diferencial L L = [a0(x) dn/dxn + a1(x) dn-1/dxn-1 + ...] (16) equao L u(x) = [a0(x) dn/dxn + a1(x) dn-1/dxn-1 + ...] u(x) (17) fazemos corresponder a seguinte equao adjunta L+ u(x):= (-1)n {dn/dxn [a0(x)u(x)] - dn-1/dxn-1[a1(x)u(x)] + ... + (-1)nan(x)u(x)} (18) Consideremos o caso n = 2 L u(x) = [a0(x) d2/dx2 + a1(x) d/dx + a2(x)] u(x) L+ u(x) = d2/dx2 (a0(x)u(x)) - d/dx( a1(x)u(x)) + a2(x) u(x)= = [a0 d2/dx2 + (2a0' - a1) d/dx + (a0'' - a1' + a2)] u(x) (19) (18) (15)

O operador linear diferencial L autoadjunto, se a0'(x) = a1(x), pois neste caso temos L = L+ = d/dx [a0(x) d/dx] + a2(x) (20)

(L linear, porque L(c1f1(x) + c2f2(x)) = c1Lf1(x) + c2Lf2(x)) Em geral, usa-se a0(x) := p(x) e a2(x) :=q(x), e essas funes so reais. Ento a forma autoadjunta do operador L = L+ := d/dx [p(x) d/dx] + q(x) (21) A equao geral de Sturm-Liouville d/dx [p(x) du/dx] + [g(x) + r(x)] u = 0, (22)

6-14

onde q(x) := g(x) + r(x), ento uma equao autoadjunta. Todo operador diferencial linear do segundo ordem pode ser escrito em forma autoadjunta (21). Na seo 4.4 vimos em Eq. 6 a forma no-autoadjunta de Hermite d2u/dx2 -2x du/dx + u = 0 com = w -1. A mesma equao tem a seguinte forma autoadjunta d/dx[exp(-x2) du/dx] + exp(-x2) u = 0 Esta equao do tipo StL. com p(x) = exp(-x2), g(x) = 0, r(x) = exp(-x2). Um nmero muito grande de funes encontradas em matemtica aplicada so solues de uma equao de Sturm-Liouville. Entre elas encontram-se as funes sen e cos, os polinmios de Legendre, Laguerre e Hermite e as funes de Bessel. Estes polinmios j encontramos e devido a sua importncia, vamos depois investigar tambm a equao de Bessel. Vamos demonstrar, agora, que o operador L = L+ := d/dx [p(x) d/dx] + q(x) hermitiano. Teorema 1: O operador L = L+ := d/dx [p(x) d/dx] + q(x) hermitiano com respeito s funes u e v que esto definidas em [a,b] e que cumprem com as condies v*pu'|x=a = v*pu'|x=b, sendo p(x) e q(x) reais (ou, tomando complexas conjugadas, vpu*'|x=a = vpu*'|x=b) ou seja <vILu> = <LvIu>.

(Em forma integral: a,b v*Lu dx = a,b (L*v*)u dx = a,b Lv* u dx, sendo L um operador real, j que no contm i = (-1) e p,q so reais.) Prova: L u(x) = d/dx [p(x) du/dx] + q(x) u(x). Multiplicando por v* pela esquerda e integrando d v*Lu(x) dx = v* [p(x)u(x)']' dx + v*q(x) u(x) dx e integrando a primeira integral duas vezes por partes proporciona

6-15

v*(pu')'dx = v*pu'|a,b - v*' pu' dx, onde v*pu'|a,b = 0 devido as condies de contorno que supnhamos acima. Logo segue -v*' pu' dx = -v*'pu|a,b + u(pv*')' dx = u(pv*')' dx Temos, ento, v*Lu(x) dx = u(pv*')' dx + v*(x)q(x)u(x) dx Multiplicando Lv* = [pv*']' + q(x)v* pela esquerda por u, resulta uLv* dx = u(pv*')' dx + u(x)q(x)v*(x) dx o que significa que v*Lu(x) dx = uLv*dx, ou seja <vILu> = <LvIu>, ou seja, L um operador hermitiano. q.e.d.

6.2.5 Equao de Bessel

Friedrich Wilhelm Bessel, matemtico alemo (1784 -1846), j com 20 anos fez um reclculo da trajetria do cometa Halley. Foi designado diretor do observatrio em Knigsberg em 1810 e manteve essa posio at sua morte. Os seus trabalhos sobre as irregularidades da rbita de Urano prepararam o caminho do descobrimento de Netuno por Leverrier e Adams. famoso, tambm, por ter feito o primeiro clculo preciso (1838) da distncia da Terra a um estrela. A equao de Bessel encontra aplicaes em muitas partes da fsica, por exemplo no clculo da temperatura num cilindro de grande comprimento. O raio do cilindro a, e no instante inicial temos a temperatura v0(r) que s depende da distncia r do eixo e independente de z e (coordenadas cilndricas). A superfcie do cilindro obtm em t = 0 a temperatura v(a) = 0 e ser, depois, mantida a essa temperatura. Queremos encontrar uma expresso para a temperatura v(r,t).

6-16

O fluxo de calor um processo de difuso e, por isso, podemos usar a seguinte equao diferencial para a temperatura

v = k 2v (23) t
A constante k chamada difusividade trmica e depende da condutividade trmica, K, do material, da capacidade trmica c e da densidade k = K/c (24)

O problema tem simetria cilndrica e a Eq. 23 em coordenadas cilndricas

v k v = (r ) (25) t r r r
A condio inicial v(r,0) = v0(r) t 0 (26)

A condio de contorno v(a,t) = 0 t 0 (27) Como o problema da corda vibrante, tambm esse um problema de valor inicial na varivel temporal t e um problema de valor de contorno na varivel r. Para aplicar o mtodo de separao de variveis a esse problema, vamos supor que v(r,t) = T(t) R(r) (28) Substituindo 28 na equao 25 nos d

1 T k R = r T t rR r r

(29)

A expresso esquerda do sinal de igualdade depende s de t e a expresso direita depende s de r. Para que a Eq. 29 seja vlida, preciso que ambos os lados da Eq. 29 sejam iguais mesma constante. Se denotarmos essa constante de separao por -2k, ento a Eq. 29 fica

1 T k R 2 r = r = k T t rR r

(30)

6-17

Obtemos, ento, as duas equaes diferenciais ordinrias a seguir para T(t) e R(r) T'/T = -2k (31) (32)

[ r R']'/(rR) = - 2

onde a linha se refere diferenciao usual em relao varivel independente, seja ela r ou t. A soluo particular da Eq. 31 T(t) = T0 exp(-2kt) A Eq. (32) podemos escrever como (33)

R 2 r + r R = 0 r r

(34)

e isso uma forma de Sturm-Liouville d/dx [p(x) du/dx] + [g(x) + r(x)] u = 0 com u = R, p = r, g = 0 , r(x) = r e 2 = . Usando o argumento x = r, podem escrever a Eq. 34 da seguinte forma x2 d2R/dx2 + x dR/dx + x2 R = 0 (35) o que uma caso especial (n = 0) da equao de Bessel x2 d2y/dx2 + x dy/dx + (x2 - n2) y = 0 (35) As solues da equao 35 so as funes de Bessel Jn e Yn de primeira e segunda espcie e de ordem n. Ento, as solues da Eq. 34 so J0 e Y0. (Mas, Y0 (x) - para x 0, e, por isso, no pode ser uma soluo de nosso problema.) A soluo particular de 34 , ento, R(r) = A J0(r) (36) onde A uma constante. A condio de contorno pede que J0 (a) = 0. Isso mostra que, sendo x1, x2, ... os zeros de J0 (x) = 0, os valores possveis de sero j = xj/a (37)

Estes valores de j so os autovalores do problema de Sturm-Liouville e as funes J0(jr) so as autofunes.

6-18

Isso significa que J0 (ir) e J0 (jr) so ortogonais para i j com respeito funo de peso r. Temos, ento, para i j, que 0,a rJ0(ir)J0 (jr) dr = 0 (38) As constantes de normalizao obtemos de Nj2 = 0,a r[J0(jr)]2dr (39) Temos, agora, as seguintes solues particulares da Eq. 25 vj = Aj exp(-j2kt) J0(jr) (40) onde as constantes Aj ainda devem ser determinados. A soluo geral dada pela soma destes solues particulares v(r,t) = j Aj exp(-j2kt) J0(jr) (41) Por meio da condio inicial v(r,0) = v0(r) t 0 (26) podemos determinar os valores das constantes Aj. Para t = 0 resulta da Eq. 41 v0(r) = j AjJ0(jr) (42) Multiplicando ambos os lados por rJ0(1r) e integrando (utilizando 38 e 39) d A1 = N1-20,a v0(r) rJ0(1r)dr e, da forma semelhante, obteremos para Aj Aj = Nj-20,a v0(r) rJ0(jr)dr (43) Resta, encontrar uma expresso explcita para J0(x) e Y0(x). Vamos buscar uma soluo em srie de potncias, como j fizemos nos caos do OHS e do tomo de hidrognio. Partimos da equao x2 d2R/dx2 + x dR/dx + x2 R = 0 (35), ou melhor da x d2R/dx2 + dR/dx + x R = 0. Supomos, ento, que R(x) = x(a0+a1x + a2 x2 + ...) = x n=0, anxn Podemos escolher a0 = 1. Logo temos x d2R/dx2 = (-1)x-1+ a1(+1)x + a2(+2)(+1)x+1+ ... dR/dx = x-1+ a1(+1)x+a2(+2)x+1+... xR = x+1+ a1x+2+ ... (44)

6-19

Somando estes resultados e juntando os termos semelhantes, temos [(-1) + ]x-1+[a1(+1)+a1(+1)]x+[a2(+2)(+1)+a2(+2)+1]x+1+... = 0 o coeficiente de cada potncia de x tem de ser igual a zero: (-1) + = 0 a1( + 1) + a1( + 1) = 0 a2(+2)(+1) + a2(+2) + 1 = 0 a3(+3)(+2) + a3(+3) + a1 = 0 a4(+4)(+3) + a4(+4) + a2 = 0 ................................................... (45)

Da primeira equao vemos que = 0 e das outras equaes segue a1 = a3 = a5 = a7 = ... = 0 a2 = -1/22; a4 = 1/22 1/42 etc. (46) Temos, ento,
J0(x) = 1 - x2/22 + x4/ (2242) - x6/(224262)+ ... (47)

Tambm podemos obter uma srie para Y0(x), a funo da segunda espcie. Se ao princpio ignoramos a condio = 0 e mantemos nas equaes 45, obteremos em vez de (46) as seguintes expresses a1 = a3 = a5 = a7 = ... = 0 a2 = -1/(+2)2; a4 = 1/(+2)2(+4)2 etc. (48) A funo que resulta desta maneira designaremos por y: y = x[1 - x2/(+2)2 + x4/(+2)2(+4)2 + ... ] (49) Esta funo satisfaz a equao diferencial a seguir (o coeficiente do termo x-1 2 e j no zero)

6-20 xy'' + y' + xy = 2x-1 (50)

Derivando esta equao uma vez com respeito a , e designando dy/d por y, obteremos xd2y/dx2 + dy/dx + xy = 2x-1 + 2x-1 ln x (51) Observamos que, par 0, o lado direito de (51) tender para zero dando, outra vez, a equao de Bessel. Segue, ento, que y 0 uma soluo da equao de Bessel. Da sria (49) obtemos dy/d = x lnx [1 - x2/(+2)2+... ] + x{ 2x2/(+2)3 - 2x4[1/(+2)3(+4)2 + 1/(+2)2(+4)3] + ... }, e disso obtemos para a funo da segunda espcie
Y0(x)= dy/d|
0

= J0(x) ln x + x2/22 - x4/(2242) [1+1/2] + + x6/(224262) [1 + 1/2 + 1/3] + ... (52)

- quando x 0, o que foi mencionado acima. Visto que Observe que Y0(x) a equao de Bessel de segunda ordem, ela tem s duas solues independentes. Por isso, J0 e Y0 e combinaes lineares delas so todas as solues da equao de Bessel de ordem zero.
J0:=plot::Function2d(besselJ(0,x),x=0..10,Color= RGB::Green):// Programa MUPAd Y0:=plot::Function2d(besselY(0,x),x=0..10,Color= RGB::Blue): plot(J0,Y0, plot::Text2d("y = J0(x)",[2,0.7] ), plot::Text2d("y = Y0(x)",[3.8,0.4] ))
y
1.0 0.8 0.6 0.4 0.2 0.0 -0.2 -0.4

y = J0(x)

y = Y0(x)

10

As funes de Bessel de ordem zero