Cap 16 - TRAD

Machine Translated by Google
16
Soluções em série de equações

diferenciais ordinárias
No capítulo anterior, a solução de equações diferenciais ordinárias lineares (EDOs) homogêneas

e não homogêneas de ordem ÿ 2 foi discutida. Em particular, desenvolvemos métodos para
resolver algumas equações nas quais os coeficientes não eram constantes, mas funções da
variável independente x. Em cada caso fomos capazes de escrever as soluções para tais
equações em termos de funções elementares, ou como integrais. Em geral, porém, as soluções
de equações com coeficientes variáveis não podem ser escritas desta forma, e devemos
considerar abordagens alternativas.
Neste capítulo discutimos um método para obter soluções para EDOs lineares na forma de
séries convergentes. Tais séries podem ser avaliadas numericamente, e as que ocorrem mais
comumente são nomeadas e tabuladas. Na verdade, não existe uma fronteira distinta entre este
e o capítulo anterior, uma vez que soluções em termos de funções elementares podem
igualmente ser escritas como séries convergentes (ou seja, a série de Taylor relevante). Na
verdade, é em parte porque algumas séries ocorrem com tanta frequência que recebem nomes
especiais como sen x, cos x ou exp x.
Como neste capítulo nos preocuparemos principalmente com EDOs lineares de segunda
ordem, começaremos com uma discussão dessas equações e obteremos alguns resultados
gerais que serão úteis quando discutirmos soluções em série.
16.1 Equações diferenciais ordinárias lineares de segunda ordem
Qualquer EDO linear homogênea de segunda ordem pode ser escrita na forma
y + p(x)y + q(x)y = 0, (16.1)
onde y = dy/dx e p(x) e q(x) recebem funções de x. Do capítulo anterior, lembramos que a forma
mais geral da solução para (16.1) é
y(x) = c1y1(x) + c2y2(x), (16.2)
531
SOLUÇÕES DE SÉRIE DE EQUAÇÕES DIFERENCIAIS ORDINÁRIAS
onde y1(x) e y2(x) são soluções linearmente independentes de (16.1), e c1 e c2 são constantes que
são fixadas pelas condições de contorno (se fornecidas).
Uma discussão completa sobre a independência linear de conjuntos de funções foi dada no início
do capítulo anterior, mas para que apenas duas funções y1 e y2 sejam linearmente independentes,
simplesmente exigimos que y2 não seja um múltiplo de y1.
Equivalentemente, y1 e y2 devem ser tais que a equação
c1y1(x) + c2y2(x)=0
só é satisfeito para c1 = c2 = 0. Portanto, a independência linear de y1(x) e y2(x) geralmente pode ser
deduzida por inspeção, mas em qualquer caso pode sempre ser verificada pela avaliação do
Wronskiano das duas soluções,
y1 y2
C(x) = = y1y 2 ÿ y2y 1. (16.3)
sim 1 ano 2
Se W(x) = 0 em qualquer lugar em um determinado intervalo, então y1 e y2 são linearmente

independentes nesse intervalo.
Uma expressão alternativa para W(x), que usaremos mais tarde, pode ser derivada diferenciando
(16.3) em relação a x para dar
W = y1y 2 + y 1y 2 ÿ y2y 1 ÿ y 2y 1 = y1y 2 ÿ y 1 y2.
Como y1 e y2 satisfazem (16.1), podemos substituir y 1 e y 2 para obter
W = ÿy1(py 2 + qy2)+(py 1 + qy1)y2 = ÿp(y1y 2 ÿ y 1y2) = ÿpW .
Integrando, encontramos
x
W(x) = C exp ÿ p(você) você , (16.4)
onde C é uma constante. Notamos ainda que no caso especial p(x) ÿ 0 obtemos W = constante.
As funções y1 = sin x e y2 = cos x são ambas soluções da equação y + y = 0. Avalie o Wronskiano

destas duas soluções e, portanto, mostre que elas são linearmente independentes.
O Wronskiano de y1 e y2 é dado por

W = y1y 2 ÿ y2y 1 = ÿ sen2 x ÿ cos2 x = ÿ1.
Como W = 0 as duas soluções são linearmente independentes. Notamos também que y + y = 0 é um caso
especial de (16.1) com p(x) = 0. Esperamos, portanto, de (16.4), que W seja uma constante, como de facto é
o caso.
Do capítulo anterior lembramos que, uma vez obtida a solução geral da EDO homogênea de
segunda ordem (16.1) na forma (16.2), a solução geral da equação não homogênea
y + p(x)y + q(x)y = f(x) (16,5)
532
16.1 EQUAÇÕES DIFERENCIAIS LINEARES ORDINÁRIAS DE SEGUNDA ORDEM
pode ser escrita como a soma da solução da equação homogênea yc(x) (a função
complementar) e qualquer função yp(x) (a integral particular) que satisfaça (16.5) e seja
linearmente independente de yc(x). Temos portanto
y(x) = c1y1(x) + c2y2(x) + yp(x). (16.6)
Métodos gerais de obtenção de yp, aplicáveis a equações com coeficientes variáveis, como
variação de parâmetros ou funções de Green, foram discutidos no capítulo anterior. Uma
descrição alternativa do método da função de Green para resolver equações não
homogêneas é dada no próximo capítulo. Por enquanto, entretanto, restringiremos nossa
atenção às soluções de EDOs homogêneas na forma de séries convergentes.
16.1.1 Pontos ordinários e singulares de uma EDO
Até agora assumimos implicitamente que y(x) é uma função real de uma variável real x. Contudo,
nem sempre é esse o caso, e no restante deste capítulo ampliamos a nossa discussão generalizando
para uma função complexa y(z) de uma variável complexa z.
Consideremos, portanto, a EDO homogênea linear de segunda ordem
y + p(z)y + q(z)=0, (16.7)
onde agora y = dy/dz; esta é uma generalização direta de (16.1). Uma discussão completa
sobre funções complexas e diferenciação em relação a uma variável complexa z é
apresentada no capítulo 24, mas para os propósitos do presente capítulo não precisamos
nos preocupar com muitas das sutilezas que existem. Em particular, podemos tratar a
diferenciação em relação a z de uma forma análoga à diferenciação ordinária em relação a
uma variável real x.
Em (16.7), se, em algum ponto z = z0, as funções p(z) e q(z) são finitas e podem
ser expresso como séries de potências complexas (ver seção 4.5), ou seja
ÿ ÿ
p(z) = pn(z ÿ z0) n , q(z) = qn(z ÿ z0) n ,

n=0 n=0
então p(z) e q(z) são ditos analíticos em z = z0, e este ponto é chamado de ponto ordinário
da EDO. Se, entretanto, p(z) ou q(z), ou ambos, divergem em z = z0 então é chamado de
ponto singular da EDO.
Mesmo que uma EDO seja singular em um determinado ponto z = z0, ela ainda pode
possuir uma solução não singular (finita) nesse ponto. Na verdade, a condição necessária
e suficiente§ para que tal solução exista é que (z ÿ z0)p(z) e (z ÿ z0) 2q(z) sejam ambos
analíticos em z = z0. Pontos singulares que possuem esta propriedade são chamados de regulares
§ Ver, por exemplo, H. Jeffreys e BS Jeffreys, Methods of Mathematical Physics, 3ª ed. (Cam-
ponte: Cambridge University Press, 1966), p. 479.
533
pontos singulares, enquanto qualquer ponto singular que não satisfaça ambos os critérios é
denominada singularidade irregular ou essencial.
A equação de Legendre tem a forma
(1 ÿ z2 )y ÿ 2zy + (+ 1)y = 0, (16.8)
onde é uma constante. Mostre que z = 0 é um ponto ordinário e z = ±1 são singulares regulares
pontos desta equação.
Primeiramente, divida por 1 ÿ z2 para colocar a equação em nossa forma padrão (16.7):
2z (+1)
yÿ1 sim + y = 0.
ÿ z2 1 ÿ z2
Comparando isso com (16.7), identificamos p(z) e q(z) como
ÿ2z ÿ2z (+1) (+1)
p(z) = = , q(z) = = .
1 ÿ z2 (1 + z)(1 ÿ z) 1 ÿ z2 (1 + z)(1 ÿ z)
Por inspeção, p(z) e q(z) são analíticos em z = 0, que é, portanto, um ponto ordinário,
mas ambos divergem para z = ±1, que são, portanto, pontos singulares. No entanto, em z = 1 vemos
que ambos (z ÿ 1)p(z) e (z ÿ 1)2q(z) são analíticos e, portanto, z = 1 é um singular regular
apontar. Da mesma forma, em z = ÿ1 ambos (z + 1)p(z) e (z + 1)2q(z) são analíticos, e também é um
ponto singular regular.
Até agora assumimos que z0 é finito. No entanto, às vezes podemos desejar

determine a natureza do ponto |z|ÿÿ. Isto pode ser conseguido de forma simples
substituindo w = 1/z na equação e investigando o comportamento em
w = 0.
Mostre que a equação de Legendre tem uma singularidade regular em |z|ÿÿ.
Deixando w = 1/z, as derivadas em relação a z tornam-se

dw 1
morrer
= morrer
=-
morrer
= ÿw2
morrer
,
dz dw dz z2 dw dw d2y
d2y = dw d morrer morrer morrer
d2y
= ÿw2 ÿ2w ÿ w2 dw2 = w3 2 + w dw2 .
dz2 dz dw dz dw dw
Se substituirmos essas derivadas na equação de Legendre (16.8), obteremos

1 morrer
d2y 1 morrer
1- w3 2 + w dw dw2 +2 + (+ 1)y = 0,
w2 ww2 dw
o que simplifica para dar

d2y morrer
w2 (w2 ÿ 1) + 2w3 + (+ 1)y = 0.

dw2 dw
Dividindo por w2(w2 ÿ 1) para colocar a equação na forma padrão e comparando

com (16.7), identificamos p(w) e q(w) como
2w (+1)
p(w) = , q(w) =
w2 ÿ 1 w2(w2 ÿ 1).
Em w = 0, p(w) é analítico mas q(w) diverge, e então o ponto |z|ÿÿ é um ponto singular
da equação de Legendre. No entanto, como wp e w2q são ambos analíticos em w = 0, |z|ÿÿ
é um ponto singular regular.
534
16.2 SOLUÇÕES DA SÉRIE SOBRE UM PONTO ORDINÁRIO
Equação Essencial
Singularidades regulares singularidades
Hipergeométrico
z(1 ÿ z)y + [c ÿ (a + b + 1)z]y ÿ aby =0 0, 1, ÿ -
legenda
(1 ÿ z2)y ÿ 2zy + (+ 1)y = 0 ÿ1, 1, ÿ -
Legendre Associado
m2
(1 ÿ z2)y ÿ 2zy + (+ 1) ÿ 1 ÿ z2 y=0 ÿ1, 1, ÿ -
Tchebyshev
(1 ÿ z2)y ÿ zy + ÿ2y = 0 ÿ1, 1, ÿ -
Hipergeométrico confluente
zy + (c - z)y - ay =0 0 ÿ
Bessel
z2y + zy + (z2 ÿ ÿ2)y =0 0 ÿ
Laguerre
zy + (1 ÿ z)y + ÿy =0 0 ÿ
Associado Laguerre
zy + (m + 1 ÿ z)y + (ÿ ÿ m)y =0 0 ÿ
Eremita
y ÿ 2zy + 2ÿy =0 -
ÿ
Oscilador harmônico simples

-
y + ÿ2y =0 ÿ
Tabela 16.1 EDOs lineares de segunda ordem importantes nas ciências físicas e
Engenharia.
A Tabela 16.1 lista os pontos singulares de várias EDOs lineares de segunda ordem que
desempenham papéis importantes na análise de muitos problemas em física e engenharia.
Uma discussão completa das soluções para cada uma das equações na tabela 16.1 e suas
propriedades é deixado até o capítulo 18. Discutiremos agora os métodos gerais pelos quais
soluções em série podem ser obtidas.
16.2 Soluções em série sobre um ponto comum
Se z = z0 é um ponto ordinário de (16.7), então pode ser mostrado que toda solução
y(z) da equação também é analítico em z = z0. De agora em diante tomaremos z0 como o
origem, ou seja, z0 = 0. Se ainda não for o caso, então uma substituição Z = z ÿ z0
fará com que seja assim. Como toda solução é analítica, y(z) pode ser representado por um
535
série de potências da forma (ver seção 24.11)

ÿ
y(z) = anzn . (16,9)

n=0
Além disso, pode ser mostrado que tal série de potências converge para |z| < R, onde R é o raio de
convergência e é igual à distância de z = 0 ao ponto singular mais próximo da EDO (ver capítulo 24). No
raio de convergência, entretanto, a série pode ou não convergir (como mostrado na seção 4.5).
Como toda solução de (16.7) é analítica em um ponto ordinário, é sempre possível obter duas soluções
independentes (a partir das quais a solução geral (16.2) pode ser construída) da forma (16.9). As derivadas
de y em relação a z são dadas por
ÿ ÿ
você = nanznÿ1 = (n + 1)an+1zn , (16.10)

n=0 n=0
ÿ ÿ
você = n(n ÿ 1)anznÿ2 = (n + 2)(n + 1)an+2zn . (16.11)

n=0 n=0
Observe que, em cada caso, na primeira igualdade a soma ainda pode começar em n = 0, pois o primeiro
termo em (16.10) e os dois primeiros termos em (16.11) são automaticamente zero.
A segunda igualdade em cada caso é obtida deslocando o índice de soma para que a soma possa ser
escrita em termos de coeficientes de zn. Substituindo (16.9)–(16.11) na EDO (16.7) e exigindo que os
coeficientes de cada potência de z somam zero, obtemos uma relação de recorrência expressando cada
an em termos do ar anterior (0 ÿ r ÿ n ÿ1).
Encontre as soluções em série, em torno de z = 0, de
y + y = 0.
Por inspeção, z = 0 é um ponto ordinário da equação e, portanto, podemos obter duas soluções independentes
ÿ
fazendo a substituição y = anzn. Usando (16.9) e (16.11) encontramos n=0
(n + 2)(n + 1)an+2zn +ÿ anzn = 0,

n=0 n=0
que pode ser escrito como

ÿ
[(n + 2)(n + 1)an+2 + an]zn = 0.

n=0
Para que esta equação seja satisfeita, exigimos que o coeficiente de cada potência de z desapareça
separadamente, e assim obtemos a relação de recorrência de dois termos
uma an+2 = para n ÿ 0.

ÿ (n + 2)(n + 1)
Usando esta relação, podemos calcular, digamos, os coeficientes pares a2, a4, a6 e assim por diante, para
536
16.2 SOLUÇÕES DA SÉRIE SOBRE UM PONTO ORDINÁRIO
um dado a0. Alternativamente, começando com a1, obtemos os coeficientes ímpares a3, a5, etc. Duas
soluções independentes da EDO podem ser obtidas definindo a0 = 0 ou a1 = 0.
Primeiramente, se definirmos a1 = 0 e escolhermos a0 = 1 então obteremos a solução
ÿ
z2 z4 y1(z)=1 (ÿ1)n
ÿ + 4!
ÿ ··· =
z2n .
2! (2n)!
n=0
Em segundo lugar, se definirmos a0 = 0 e escolhermos a1 = 1, obteremos uma segunda solução independente

ÿ
z3 z5 y2(z) (ÿ1)n
= z ÿ + 3! 5!
ÿ ··· =
z2n+1.
n=0
(2n + 1)!
Reconhecendo estas duas séries como cos z e sin z, podemos escrever a solução geral como
y(z) = c1 cos z + c2 sin z,
onde c1 e c2 são constantes arbitrárias que são fixadas por condições de contorno (se fornecidas).
Notamos que ambas as soluções convergem para todo z, como seria de esperar, uma vez que a EDO não
possui pontos singulares (exceto |z|ÿÿ).
A resolução do exemplo acima foi bastante simples e as séries resultantes foram

facilmente reconhecidas e escritas de forma fechada (ou seja, em termos de funções
elementares); geralmente não é esse o caso. Outra característica simplificadora do
exemplo anterior foi que obtivemos uma relação de recorrência de dois termos
relacionando an+2 e an, de modo que os coeficientes pares e ímpares eram
independentes um do outro. Em geral, a relação de recorrência expressa an em
termos de qualquer número do ar anterior (0 ÿ r ÿ n ÿ 1).
Encontre as soluções em série, em torno de z = 0, de

2
ÿ (1 ÿ y = 0. y
z)2
Por inspeção, z = 0 é um ponto ordinário e, portanto, podemos encontrar duas soluções independentes
ÿ
substituindo y = anzn. Usando (16.10) en=0(16.11) e multiplicando por (1 ÿ z) 2, encontramos
ÿ ÿ
(1 ÿ 2z + z2 ) n(n ÿ 1)anznÿ2 ÿ 2 anzn = 0,

n=0 n=0
o que leva a
ÿ ÿ ÿ
n(n ÿ 1)anznÿ2 ÿ 2 n(n ÿ 1)anznÿ1 +ÿ n(n ÿ 1)anzn ÿ 2 anzn = 0.

n=0 n=0 n=0 n=0
Para escrever todas essas séries em termos dos coeficientes de zn, devemos deslocar o índice de soma nas
duas primeiras somas, obtendo
ÿ ÿ
(n + 2)(n + 1)an+2zn ÿ 2 (n + 1)nan+1zn +ÿ (n2 ÿ n ÿ 2)anzn = 0,

n=0 n=0 n=0
que pode ser escrito como

ÿ
(n + 1)[(n + 2)an+2 ÿ 2nan+1 + (n ÿ 2)an]zn = 0.

n=0
537
Exigindo que os coeficientes de cada potência de z desapareçam separadamente, obtemos a relação de recorrência
de três termos
(n + 2)an+2 ÿ 2nan+1 + (n ÿ 2)an = 0 para n ÿ 0,
que determina an para n ÿ 2 em termos de a0 e a1. As relações de recorrência de três termos (ou mais) são um
incômodo e, em geral, podem ser difíceis de resolver. Esta relação de recorrência específica, no entanto, tem duas
soluções simples. Uma solução é an = a0 para todo n, caso em que (escolhendo a0 = 1) encontramos
1
y1(z)=1+ z + z2 + z3 + ··· = .
1ÿz
A outra solução para a relação de recorrência é a1 = ÿ2a0, a2 = a0 e an = 0 para n > 2, de modo que (novamente
escolhendo a0 = 1) obtemos uma solução polinomial para a EDO: y2(z)=1 ÿ 2z + z2 = (1 ÿ z)
2.
A independência linear de y1 e y2 é óbvia, mas pode ser verificada calculando o

Wronskiano
1 1
2
C = y1y 2 ÿ y 1y2 = [ÿ2(1 ÿ z)] ÿ (1 ÿ z) (1 ÿ z)2 1 ÿ z = ÿ3.
Como W = 0, as duas soluções y1 e y2 são de fato linearmente independentes. A solução geral da EDO é portanto
c1 2.
y(z) = + c2(1 ÿ z) 1 ÿ z
Observamos que y1 (e portanto a solução geral) é singular em z = 1, que é o ponto singular da EDO mais próximo de
z = 0, mas a solução polinomial, y2, é válida para todo z finito.
O exemplo acima ilustra a possibilidade de que, em alguns casos, possamos descobrir que a relação
de recorrência leva a an = 0 para n>N, para uma ou ambas as soluções; obtemos então uma solução
polinomial para a equação. As soluções polinomiais são discutidas mais detalhadamente na seção 16.5,
mas uma propriedade óbvia de tais soluções é que elas convergem para todo z finito. Em contraste,
como mencionado acima, para soluções na forma de uma série infinita, o círculo de convergência
estende-se apenas até ao ponto singular mais próximo daquele em torno do qual a solução está a ser
obtida.
16.3 Soluções em série sobre um ponto singular regular
Na tabela 16.1 vemos que várias das EDOs lineares de segunda ordem mais importantes em física e
engenharia têm pontos singulares regulares no plano complexo finito. Devemos estender a nossa
discussão, portanto, para obter soluções em série para EDOs sobre tais pontos. A seguir, assumimos
que o ponto singular regular sobre o qual a solução é necessária está em z = 0, uma vez que, como
vimos, se este ainda não for o caso, então uma substituição da forma Z = z ÿ z0 fará com que então.
Se z = 0 é um ponto singular regular da equação
y + p(z)y + q(z)y = 0
538
16.3 SOLUÇÕES DA SÉRIE SOBRE UM PONTO SINGULAR REGULAR
então pelo menos um de p(z) e q(z) não é analítico em z = 0 e, em geral, não devemos esperar
encontrar uma solução em série de potências da forma (16.9). Devemos, portanto, estender o
método para incluir uma forma mais geral para a solução. Na verdade, pode ser mostrado
(teorema de Fuch) que existe pelo menos uma solução para a equação acima, da forma
y = zÿ anzn, (16.12)
n=0
onde o expoente ÿ é um número que pode ser real ou complexo e onde a0 = 0 (já que, se fosse
de outra forma, ÿ poderia ser redefinido como ÿ + 1 ou ÿ + 2 ou ··· de modo a fazer a0 = 0) . Tal
série é chamada de série de potências generalizada ou série de Frobenius.
Como no caso de uma solução simples de série de potências, o raio de convergência da série de
Frobenius é, em geral, igual à distância até a singularidade mais próxima da EDO.
Como z = 0 é uma singularidade regular da EDO, segue-se que zp(z) e z2q(z) são analíticos
em z = 0, de modo que podemos escrever
ÿ
zp(z) ÿ s(z) = snzn,

n=0
ÿ
z2 q(z) ÿ t(z) = tnzn ,

n=0
onde definimos as funções analíticas s(z) e t(z) para conveniência posterior.

A EDO original, portanto, torna-se s(z) t(z)
y = 0. y + y +
z2
z
Vamos substituir a série de Frobenius (16.12) nesta equação. As derivadas de (16.12) em
relação a z são dadas por
ÿ
você = (n + ÿ)anzn+ÿÿ1 , (16.13)

n=0
ÿ
você = (n + ÿ)(n + ÿ ÿ 1)anzn+ÿÿ2 , (16.14)

n=0
e obtemos
ÿ ÿ ÿ
(n + ÿ)(n + ÿ ÿ 1)anzn+ÿÿ2 + s(z) (n + ÿ)anzn+ÿÿ2 + t(z) anzn+ÿÿ2 = 0.

n=0 n=0 n=0
Dividindo esta equação por zÿÿ2, encontramos

ÿ
[(n + ÿ)(n + ÿ ÿ 1) + s(z)(n + ÿ) + t(z)] anzn = 0. (16.15)

n=0
539
Definindo z = 0, todos os termos na soma com n > 0 desaparecem, implicando que
[ÿ(ÿ ÿ 1) + s(0)ÿ + t(0)]a0 = 0,
que, como exigimos a0 = 0, produz a equação indicial
ÿ(ÿ ÿ 1) + s(0)ÿ + t(0) = 0. (16.16)
Esta equação é quadrática em ÿ e em geral possui duas raízes, cuja natureza determina as formas
das possíveis soluções em série.
As duas raízes da equação indicial, ÿ1 e ÿ2, são chamadas de índices do ponto singular regular.
Substituindo cada uma dessas raízes em (16.15) por sua vez e exigindo que os coeficientes de
cada potência de z desapareçam separadamente, obtemos uma relação de recorrência (para cada
raiz) expressando cada an em função do ar anterior (0 ÿ r ÿ n ÿ 1). Veremos que a raiz maior da
equação indicial sempre produz uma solução para a EDO na forma de uma série de Frobenius
(16.12). A forma da segunda solução depende, contudo, da relação entre os dois índices ÿ1 e ÿ2.
Existem três casos gerais possíveis: (i) raízes distintas que não diferem por um número inteiro; (ii)
raízes repetidas; (iii) raízes distintas diferindo por um número inteiro (diferente de zero). Abaixo,
discutimos cada um deles por vez.
Antes de continuar, entretanto, notamos que, como foi o caso para soluções na forma de uma
série de potências simples, sempre vale a pena investigar se uma série de Frobenius encontrada
como solução para um problema é resumida em forma fechada ou exprimível em termos de funções
conhecidas. Ilustramos este ponto abaixo, mas o leitor deve evitar ter a impressão de que isto é
sempre assim ou que, se alguém trabalhasse bastante, uma solução de forma fechada poderia
sempre ser encontrada sem usar o método das séries. Como mencionado anteriormente, este não é
o caso, e muitas vezes uma solução em série infinita é a melhor que se pode fazer.
16.3.1 Raízes distintas não diferindo por um número inteiro
Se as raízes da equação indicial, ÿ1 e ÿ2, diferem por um valor que não é um número inteiro, então
as relações de recorrência correspondentes a cada raiz levam a duas soluções linearmente
independentes da EDO:
ÿ ÿ
y1(z) = zÿ1 anzn , y2(z) = zÿ2 bnzn ,

n=0 n=0
com ambas as soluções assumindo a forma de uma série de Frobenius. A independência linear
destas duas soluções decorre do facto de y2/y1 não ser uma constante, uma vez que ÿ1 ÿ ÿ2 não
é um número inteiro. Como y1 e y2 são linearmente independentes, podemos utilizá-los para
construir a solução geral y = c1y1 + c2y2.
Notamos também que este caso inclui raízes conjugadas complexas onde ÿ2 = ÿÿ 1,
já que ÿ1 ÿ ÿ2 = ÿ1 ÿ ÿÿ = 2iIm ÿ1 não pode ser igual a um inteiro real. 1
540
Encontre as soluções da série de potências sobre z = 0 de
4zy + 2y + y = 0.
Dividindo por 4z para colocar a equação na forma padrão, obtemos

1 1
y+ sim + y = 0, (16.17)
2z 4z
e comparando com (16.7) identificamos p(z)=1/(2z) e q(z)=1/(4z). Claramente z = 0

é um ponto singular de (16.17), mas como zp(z)=1/2 e z2q(z) = z/4 são finitos lá, é
ÿ
é um ponto singular regular. Portanto, substituímos a série de Frobenius y = zÿ anzn n=0
em (16.17). Usando (16.13) e (16.14), obtemos
ÿ
1 ÿ
1 ÿ
(n + ÿ)(n + ÿ ÿ 1)anzn+ÿÿ2 + (n + ÿ)anzn+ÿÿ1 + anzn+ÿ = 0,

2z 4z
n=0 n=0 n=0
que, ao dividir por zÿÿ2, dá

ÿ
1 1
(n + ÿ)(n + ÿ ÿ 1) + 2
(n + ÿ) + 4
z anzn = 0. (16.18)
n=0
Se definirmos z = 0 então todos os termos na soma com n > 0 desaparecem e obtemos o indicial
equação
1
ÿ(ÿ ÿ 1) + 2ÿ = 0,
que tem raízes ÿ = 1/2 e ÿ = 0. Como essas raízes não diferem por um número inteiro, nós
espere encontrar duas soluções independentes para (16.17), na forma da série de Frobenius.
Exigindo que os coeficientes de zn desapareçam separadamente em (16.18), obtemos o
Relação de recorrência
1 1
(n + ÿ)(n + ÿ ÿ 1)an + 2
(n + ÿ)an + 4
anÿ1 = 0. (16.19)
Se escolhermos a raiz maior, ÿ = 1/2, da equação indicial então (16.19) torna-se
ÿanÿ1
(4n2 + 2n)an + anÿ1 = 0 ÿ an = 2n(2n + 1).
Definindo a0 = 1, encontramos an = (ÿ1)n/(2n + 1)!, e assim a solução para (16.17) é dada por
ÿ
(ÿ1)n
y1(z) = ÿz zn
(2n + 1)!
n=0
3 5
(ÿz) + (ÿz)
= ÿz ÿ 3! 5! ÿ ··· = sen ÿz.
Para obter a segunda solução definimos ÿ = 0 (a menor raiz da equação indicial) em

(16.19), que dá
an-1
(4n2 ÿ 2n)an + anÿ1 = 0 ÿ an = ÿ 2n(2n ÿ 1).
Definir a0 = 1 agora dá um = (ÿ1)n/(2n)!, e assim a segunda solução (independente) para

(16.17) é
ÿ
2
(ÿ1)n (ÿz) (ÿ4)4
y2(z) = zn = 1 ÿ +
(2n)! 2! 4! ÿ ··· = cos ÿz.
n=0
541
Podemos verificar que y1(z) e y2(z) são de fato linearmente independentes calculando o
Wronskiano da seguinte forma:
W = y1y 2 ÿ y2y 1
1 1
= sen ÿz ÿ sen ÿz ÿ cos ÿz 2 ÿz sen2 ÿz + porque
cos2 ÿz 2
1 ÿz 1
=- = 0.
ÿz = ÿ 2 ÿz 2 ÿz
Como W = 0, as soluções y1(z) e y2(z) são linearmente independentes. Portanto, a solução geral para (16.17)
é dada por y(z) = c1 sen ÿz + c2 cos
ÿz.
16.3.2 Raiz repetida da equação indicial
Se a equação indicial tem uma raiz repetida, de modo que ÿ1 = ÿ2 = ÿ, então obviamente
apenas uma solução na forma de uma série de Frobenius (16.12) pode ser encontrada
conforme descrito acima, ou seja,
y1(z) = zÿÿ anzn .

n=0
Métodos para obter uma segunda solução linearmente independente são discutidos na seção 16.4.
16.3.3 Raízes distintas diferindo por um número inteiro
Quaisquer que sejam as raízes da equação indicial, a relação de recorrência correspondente à maior das
duas sempre leva a uma solução da EDO. Contudo, se as raízes da equação indicial diferirem por um
número inteiro, então a relação de recorrência correspondente à raiz menor pode ou não levar a uma
segunda solução linearmente independente, dependendo da EDO em consideração. Observe que para
raízes complexas da equação indicial, a raiz “maior” é considerada aquela com a parte real maior.
Encontre as soluções da série de potências sobre z = 0 de
z(z ÿ 1)y + 3zy + y = 0. (16h20)
Dividindo por z(z ÿ 1) para colocar a equação na forma padrão, obtemos

3 1
y + y + (z - 1) z (z - y = 0, (16.21)
1)
e comparando com (16.7) identificamos p(z)=3/(z ÿ 1) e q(z)=1/[z(z ÿ 1)]. Vemos imediatamente que z = 0 é
um ponto singular de (16.21), mas como zp(z)=3z/(z ÿ 1) e z2q(z) = z/(zÿ1) são finitos lá, é um ponto singular
regular e esperamos encontrar pelo menos
542
uma solução na forma de uma série de Frobenius. Portanto, substituímos y = zÿ em (16.21) e, ÿn=0 anzn
usando (16.13) e (16.14), obtemos
ÿ ÿ
3
(n + ÿ)(n + ÿ ÿ 1)anzn+ÿÿ2 + z ÿ 1 (n + ÿ)anzn+ÿÿ1
n=0 n=0
ÿ
1
+ anzn+ÿ = 0,
z(z ÿ 1) n=0
que, ao dividir por zÿÿ2, dá

ÿ
3z z
(n + ÿ)(n + ÿ ÿ 1) + (n + ÿ) + z ÿ 1 z ÿ 1 anzn = 0.
n=0
Embora pudéssemos usar esta expressão para encontrar a equação indicial e as relações de recorrência, o
trabalho é mais simples se agora multiplicarmos por z ÿ 1 para dar
ÿ
[(z ÿ 1)(n + ÿ)(n + ÿ ÿ 1) + 3z(n + ÿ) + z] anzn = 0. (16.22)

n=0
Se definirmos z = 0 então todos os termos da soma com o expoente de z maior que zero desaparecem e
obtemos a equação indicial
ÿ(ÿ ÿ 1) = 0,
que tem as raízes ÿ = 1 e ÿ = 0. Como as raízes diferem por um número inteiro (unidade), pode não ser
possível encontrar duas soluções linearmente independentes de (16.21) na forma da série de Frobenius.
Temos a garantia, no entanto, de encontrar uma solução correspondente à raiz maior, ÿ = 1.
Exigindo que os coeficientes de zn desapareçam separadamente em (16.22), obtemos o

(n ÿ 1 + ÿ)(n ÿ 2 + ÿ)anÿ1 ÿ (n + ÿ)(n + ÿ ÿ 1)an + 3(n ÿ 1 + ÿ)anÿ1 + anÿ1 = 0,
que pode ser simplificado para dar
(n + ÿ ÿ 1)an = (n + ÿ)anÿ1. (16.23)
Ao substituir ÿ = 1 nesta expressão, obtemos

n+1
um = um-1,
n
e ao definir a0 = 1 encontramos an = n + 1; então uma solução para (16.21) é dada por

ÿ
y1(z) = z (n + 1)zn = z(1 + 2z + 3z2 + ···)

n=0
z
= . (16.24)
(1 ÿ z)2
Se tentarmos encontrar uma segunda solução (correspondente à raiz menor da equação indicial)
estabelecendo ÿ = 0 em (16.23), encontraremos
n
um = an-1.
nÿ1
Mas exigimos a0 = 0, então a1 é formalmente infinito e o método falha. Discutiremos como encontrar uma
segunda solução linearmente independente na próxima seção.
Um caso particular merece ser mencionado. Se o ponto sobre o qual a solução
543
é necessário, ou seja, z = 0, é de fato um ponto ordinário da EDO em vez de um ponto singular

regular, então a substituição da série de Frobenius (16.12) leva a uma equação indicial com raízes ÿ
= 0 e ÿ = 1. Embora estes Se as raízes diferirem por um número inteiro (unidade), as relações de
recorrência correspondentes às duas raízes produzem duas soluções de séries de potências
linearmente independentes (uma para cada raiz), conforme esperado na seção 16.2.
16.4 Obtendo uma segunda solução
Ao tentar construir soluções para uma EDO na forma de séries de Frobenius sobre um ponto singular
regular, descobrimos na seção anterior que quando a equação indicial tem uma raiz repetida, ou
raízes que diferem por um número inteiro, podemos (em geral) encontrar apenas uma solução desta
forma. Para construir a solução geral da EDO, entretanto, precisamos de duas soluções linearmente
independentes y1 e y2. Consideraremos agora vários métodos para obter uma segunda solução neste
caso.
16.4.1 O método Wronskiano
Se y1 e y2 são duas soluções linearmente independentes da equação padrão
y + p(z)y + q(z)y = 0
então o Wronskiano dessas duas soluções é dado por W(z) = y1y 2 ÿ y2y 1.
Dividindo o Wronskiano por y2 obtemos
1
C d 1 d
= e2 - 1 y 2 y2 = y2 y1
+ y2 =
y2
,
y1
dz y1
dz
y1
y21 1
que se integra para dar

z
E(você)
y2(z) = y1(z) você.
y2 1(você)
Agora, usando a expressão alternativa para W(z) dada em (16.4) com C = 1 (já que não estamos
preocupados com este fator de normalização), encontramos
z 1 você
y2(z) = y1(z) exp ÿ y2 p(v) dv du. (16.25)

(você)
1
Portanto, dado y1, podemos, em princípio, calcular y2. Observe que os limites inferiores de integração
foram omitidos. Se limites inferiores constantes forem incluídos, eles simplesmente levarão a uma
constante vezes a primeira solução.
Encontre uma segunda solução para (16.21) usando o método Wronskiano.
Para a EDO (16.21) temos p(z)=3/(z ÿ 1), e de (16.24) vemos que uma solução
544
16.4 OBTENDO UMA SEGUNDA SOLUÇÃO
para (16.21) é y1 = z/(1 ÿ z) 2. Substituindo p e y1 em (16.25) temos

z 4
z 3
você
(1 ÿ você)
y2(z) = exp - dv du
(1 ÿ z)2 u2 vÿ1
z 4
z (1 ÿ você)
= exp [ÿ3 ln(você ÿ 1)] du
(1 ÿ z)2 u2
z
z você - 1
= você
(1 ÿ z)2 u2
z 1
= ln z + .
(1 ÿ z)2 z
Calculando o Wronskiano de y1 e y2 é facilmente demonstrado que, como esperado, os dois

as soluções são linearmente independentes. Na verdade, como o Wronskiano já foi avaliado
como W(u) = exp[ÿ3 ln(u ÿ 1)], ou seja, W(z)=(z ÿ 1)ÿ3, nenhum cálculo é necessário.
Um método alternativo (mas equivalente) de encontrar uma segunda solução é simplesmente

suponha que a segunda solução tenha a forma y2(z) = u(z)y1(z) para alguma função
u(z) a ser determinado (este método foi discutido mais detalhadamente na subseção 15.2.3).
De (16.25), vemos que a segunda solução derivada do Wronskiano é
na verdade desta forma. Substituir y2(z) = u(z)y1(z) na EDO leva a um
EDO de primeira ordem em que u é a variável dependente; isso pode então ser resolvido.
16.4.2 O método derivativo
O método derivativo para encontrar uma segunda solução começa com a derivação de
uma relação de recorrência para os coeficientes an em uma solução em série de Frobenius, como no
seção anterior. Contudo, em vez de colocar ÿ = ÿ1 nesta relação de recorrência
para avaliar a solução da primeira série, mantemos agora ÿ como parâmetro variável. Esse
significa que os an calculados são funções de ÿ e a solução calculada é agora
uma função de z e ÿ:
y(z, ÿ) = zÿÿ um(ÿ)zn . (16.26)

n=0
Claro, se colocarmos ÿ = ÿ1 nisso, obtemos imediatamente a primeira solução em série,

mas por enquanto deixamos ÿ como parâmetro.
Para resumir, vamos denotar o operador diferencial no LHS do nosso padrão
EDO (16.7) por L, de modo que
d2 d
eu = + p(z) + q(z),
dz2 dz
e examine o efeito de L na série y(z, ÿ) em (16.26). É claro que o

série Ly(z, ÿ) conterá apenas um termo em zÿ, já que a relação de recorrência que define
o an(ÿ) é tal que esses coeficientes desaparecem para potências superiores de z. Mas o
o coeficiente de zÿ é simplesmente o LHS da equação indicial. Portanto, se as raízes
545
da equação indicial são ÿ = ÿ1 e ÿ = ÿ2 então segue que
Ly(z, ÿ) = a0(ÿ ÿ ÿ1)(ÿ ÿ ÿ2)zÿ. (16.27)
Portanto, como na seção anterior, vemos que para y(z, ÿ) ser uma solução da EDO Ly = 0, ÿ deve
ser igual a ÿ1 ou ÿ2. Para simplificar, definiremos a0 = 1 na discussão a seguir.
Consideremos primeiro o caso em que as duas raízes da equação indicial

são iguais, ou seja, ÿ2 = ÿ1. De (16.27) temos então
2
Ly(z, ÿ)=(ÿ ÿ ÿ1) zÿ.
Diferenciando esta equação em relação a ÿ obtemos

ÿ 2
[Ly(z, ÿ)] = (ÿ ÿ ÿ1) ÿÿ zÿ ln z + 2(ÿ ÿ ÿ1)zÿ,
que é igual a zero se ÿ = ÿ1. Mas como ÿ/ÿÿ e L são operadores que diferenciam em relação a
diferentes variáveis, podemos inverter a sua ordem, implicando que
eu ÿ y(z, ÿ) = 0 em ÿ = ÿ1. ÿÿ
Portanto, a função entre colchetes, avaliada em ÿ = ÿ1 e denotada por

ÿ
y(z, ÿ) , (16.28)
ÿÿ
ÿ=ÿ1
também é uma solução da EDO original Ly = 0 e é de fato a segunda solução linearmente

independente que procurávamos.
O caso em que as raízes da equação indicial diferem por um número inteiro é um pouco mais
complicado, mas pode ser tratado de forma semelhante. Em (16.27), como L diferencia em relação
a z podemos multiplicar (16.27) por qualquer função de ÿ, digamos ÿ ÿ ÿ2, e levar esta função dentro
do operador L no LHS para obter
2
eu[(ÿ ÿ ÿ2)y(z, ÿ)] = (ÿ ÿ ÿ1)(ÿ ÿ ÿ2) zÿ. (16.29)
Portanto a função
[(ÿ ÿ ÿ2)y(z, ÿ)]ÿ=ÿ2
também é uma solução da EDO Ly = 0. Porém, pode-se provar§ que esta função é um múltiplo
simples da primeira solução y(z, ÿ1 ), mostrando que não é linearmente independente e que
devemos encontrar outra solução. Para fazer isso derivamos (16.29) em relação a ÿ e encontramos
ÿ
2
{L[(ÿ ÿ ÿ2)y(z, ÿ)]} = (ÿ ÿ ÿ2) zÿ + 2(ÿ ÿ ÿ1)(ÿ ÿ ÿ2)zÿ
ÿÿ
2
+ (ÿ ÿ ÿ1)(ÿ ÿ ÿ2) zÿ ln z,
§ Para uma discussão mais completa ver, por exemplo, KF Riley, Mathematical Methods for the Physical Sciences
(Cambridge: Cambridge University Press, 1974), pp.
546
16.4 OBTENDO UMA SEGUNDA SOLUÇÃO
que é igual a zero se ÿ = ÿ2. Como anteriormente, como ÿ/ÿÿ e L são operadores que diferenciam
em relação a diferentes variáveis, podemos inverter sua ordem para obter
eu ÿ [(ÿ ÿ ÿ2)y(z, ÿ)] = 0 ÿÿ em ÿ = ÿ2,
e então a função
ÿ
[(ÿ ÿ ÿ2)y(z, ÿ)] ÿÿ (16h30)
ÿ=ÿ2
também é uma solução da EDO original Ly = 0 e é de fato a segunda solução linearmente

independente.
Encontre uma segunda solução para (16.21) usando o método da derivada.
De (16.23) a relação de recorrência (com ÿ como parâmetro) é dada por
(n + ÿ ÿ 1)an = (n + ÿ)anÿ1.
Colocando a0 = 1, descobrimos que os coeficientes têm a forma particularmente simples an(ÿ) = (ÿ + n)/ÿ.
Consideramos, portanto, a função
ÿ ÿ
ÿ + nzn
y(z, ÿ) = zÿ um(ÿ)zn = zÿ .
ÿ
n=0 n=0
A raiz menor da equação indicial para (16.21) é ÿ2 = 0, e assim de (16.30) uma segunda solução, linearmente
independente, para a EDO é dada por
ÿ
ÿ ÿ
[ÿy(z, ÿ)] ÿÿ = zÿ (ÿ + n)zn .
ÿÿ
ÿ=0 n=0 ÿ=0
A derivada em relação a ÿ é dada por

ÿ ÿ ÿ
ÿ
zÿ (ÿ + n)zn = zÿ ln z (ÿ + n)zn + zÿ zn ,
ÿÿ
n=0 n=0 n=0
que ao definir ÿ = 0 dá a segunda solução

ÿ
y2(z) = ln z nzn +ÿ zn
n=0 n=0
z 1
= ln z +
(1 ÿ z)2 1 ÿ z
z 1
= ln z + ÿ 1 z .
(1 ÿ z)2
Esta segunda solução é a mesma obtida pelo método Wronskiano na subseção anterior, exceto pela adição de parte
da primeira solução.
16.4.3 Forma em série da segunda solução
Utilizando qualquer um dos métodos discutidos acima, podemos encontrar a forma geral da segunda
solução da EDO. Este formulário é mais facilmente encontrado, no entanto, usando o
547
método derivado. Consideremos primeiro o caso em que as duas soluções da equação indicial são
iguais. Neste caso uma segunda solução é dada por (16.28), que pode ser escrita como
ÿy(z, ÿ)
y2(z) =
ÿÿ
ÿ=ÿ1
ÿ ÿ
dan(ÿ)
= (lnz)zÿ1 um(ÿ1)zn + zÿ1 zn
dÿ
n=0 n=1 ÿ=ÿ1
= y1(z) ln z + zÿ1 bnzn, (16.31)

n=1
onde bn = [dan(ÿ)/dÿ]ÿ=ÿ1 . Poderíamos igualmente obter os coeficientes bn por substituição

direta da forma (16.31) na EDO original.
No caso em que as raízes da equação indicial diferem por um número inteiro (diferente de
zero), então de (16.30) uma segunda solução é dada por
ÿ
y2(z) = [(ÿ ÿ ÿ2)y(z, ÿ)] ÿÿ
ÿ=ÿ2
= ln z (ÿ ÿ ÿ2)zÿÿ um(ÿ)zn + zÿ2 d (ÿ ÿ ÿ2)an(ÿ) dÿ zn .

n=0 ÿ=ÿ2
n=0 ÿ=ÿ2
Mas, como mencionamos na seção anterior, [(ÿ ÿ ÿ2)y(z, ÿ)] em ÿ = ÿ2 é apenas um múltiplo da
primeira solução y(z, ÿ1). Portanto a segunda solução é da forma
ÿ
y2(z) = cy1(z) ln z + zÿ2 bnzn, (16.32)

n=0
onde c é uma constante. Em alguns casos, contudo, c pode ser zero e, portanto, a segunda
solução não conteria o termo em ln z e poderia ser escrita simplesmente como uma série de
Frobenius. Claramente isto corresponde ao caso em que a substituição de uma série de
Frobenius na EDO original produz duas soluções automaticamente.
Em ambos os casos, os coeficientes bn também podem ser encontrados por substituição direta
da forma (16.32) na EDO original.
16.5 Soluções polinomiais
Vimos que a avaliação de termos sucessivos de uma solução em série de uma equação diferencial
é realizada por meio de uma relação de recorrência. A forma da relação para an depende de n, dos
valores anteriores de ar (r<n) e dos parâmetros da equação. Pode acontecer, como resultado disto,
que para algum valor de n = N + 1 o valor calculado aN+1 seja zero e que todos os ar superiores
também desapareçam. Se for assim, e a solução correspondente da equação indicial ÿ
548
16.5 SOLUÇÕES POLINÔMIAIS
é um número inteiro positivo ou zero, então ficamos com um polinômio finito de grau
N = N + ÿ como solução da EDO:
N
y(z) = anzn+ÿ. (16.33)
n=0
Em muitas aplicações em física teórica (particularmente em mecânica quântica)

o término de uma série potencialmente infinita após um número finito de termos
é de importância crucial no estabelecimento de descrições fisicamente aceitáveis e
propriedades dos sistemas. A condição sob a qual tal rescisão ocorre é
portanto de considerável importância.
Encontre soluções de séries de potências sobre z = 0 de
y ÿ 2zy + ÿy = 0. (16.34)
Para quais valores de ÿ a equação possui uma solução polinomial? Encontre essa solução
para ÿ = 4.
Claramente z = 0 é um ponto ordinário de (16.34) e então procuramos soluções da forma

ÿ
você = n=0 anzn. Substituindo isso na EDO e multiplicando por z2 obtemos
ÿ
[n(n ÿ 1) ÿ 2z2 n + ÿz2 ]anzn = 0.

n=0
Ao exigir que os coeficientes de cada potência de z desapareçam separadamente, derivamos o

n(n ÿ 1)an ÿ 2(n ÿ 2)anÿ2 + ÿanÿ2 = 0,
que pode ser reorganizado para dar

2(n ÿ 2) ÿÿ
um = anÿ2 para n ÿ 2. n(n (16h35)
ÿ 1)
Os coeficientes pares e ímpares são, portanto, independentes um do outro, e duas soluções

a (16.34) pode ser derivado. Ou definimos a1 = 0 e a0 = 1 para obter
z2 z4 z6
y1(z)=1 ÿ ÿ ÿÿ(4 ÿÿ) ÿ ÿ(4 ÿ ÿ)(8 ÿ ÿ) (16.36)
ÿ ···
2! 4! 6!
ou defina a0 = 0 e a1 = 1 para obter
z3 z5 z7
y2(z) = z + (2 ÿ ÿ) + (2 ÿ ÿ)(6 ÿ ÿ) + (2 ÿ ÿ)(6 ÿ ÿ)(10 ÿ ÿ) + ··· .
3! 5! 7!
Agora, a partir da relação de recorrência (16.35) (ou neste caso das expressões para y1
e os próprios y2 ) vemos que para a EDO possuir uma solução polinomial, precisamos
ÿ = 2(n ÿ 2) para n ÿ 2 ou, mais simplesmente, ÿ = 2n para n ÿ 0, ou seja, ÿ deve ser um positivo par
inteiro. Se ÿ = 4 então de (16.36) a EDO tem a solução polinomial
4z2
y1(z)=1 ÿ = 1 ÿ 2z2 .
2!
Um método mais simples de obter soluções polinomiais finitas é assumir um

solução da forma (16.33), onde aN = 0. Em vez de começar com o mais baixo
potência de z, como fizemos até agora, desta vez começamos considerando o
549
coeficiente de maior potência zN; tal poder existe agora por causa da nossa forma assumida de
solução.
Assumindo uma solução polinomial, encontre os valores de ÿ em (16.34) para os quais tal solução existe.
N
Assumimos uma solução polinomial para (16.34) da forma y = forma em n=0 anzn. Substituindo isso
(16.34) encontramos
N
n(n ÿ 1)anznÿ2 ÿ 2znanznÿ1 + ÿanzn = 0.

n=0
Agora, em vez de começar com a potência mais baixa de z, começamos com a mais alta. Assim, exigindo que
o coeficiente de zN desapareça, exigimos ÿ2N + ÿ = 0, ou seja, ÿ = 2N, como encontramos no exemplo
anterior. Ao exigir que o coeficiente de uma potência geral de z seja zero, a mesma relação de recorrência
acima pode ser derivada e as soluções encontradas.
16.6 Exercícios
16.1 Encontre duas soluções de séries de potências sobre z = 0 da equação diferencial (1 ÿ
z2 )y ÿ 3zy + ÿy = 0.
Deduza que o valor de ÿ para o qual a série de potências correspondente se torna um polinômio
de enésimo grau UN(z) é N(N + 2). Construa U2(z) e U3(z).
16.2 Encontre soluções, como séries de potências em z, da equação
4zy + 2(1 ÿ z)y ÿ y = 0.
Identifique uma das soluções e verifique-a por substituição direta.

16.3 Encontre soluções de séries de potências em z da equação diferencial
zy ÿ 2y + 9z5 y = 0.
Identifique formas fechadas para as duas séries, calcule seu Wronskiano e verifique se são
linearmente independentes. Compare o Wronskiano com aquele calculado a partir da equação
diferencial.
16.4 Mude a variável independente na equação
d2f df + 2(z ÿ a) + 4f
=0 dz2 dz (ÿ)
de z a x = z ÿ ÿ, e encontre duas soluções de séries independentes, expandidas em torno de x = 0,

da equação resultante. Deduza que a solução geral de (ÿ) é
ÿ
2 (ÿ4) mm!
f(z, ÿ) = A(z ÿ ÿ)eÿ(zÿÿ) +B (z ÿ ÿ) 2m,
(2m)!
m=0
com constantes arbitrárias A e B.

16,5 Investigue as soluções da equação de Legendre em um de seus pontos singulares como segue.
(a) Verifique que z = 1 é um ponto singular regular da equação de Legendre e que a equação indicial
para uma solução em série em potências de (z ÿ 1) tem raízes 0 e 3.
(b) Obtenha a relação de recorrência correspondente e mostre que ÿ = 0 não

forneça uma solução em série válida.
550
16.6 EXERCÍCIOS
(c) Determine o raio de convergência R da série ÿ = 3 e relacione-o com as posições das

singularidades da equação de Legendre.
16.6 Verifique que z = 0 é um ponto singular regular da equação z2 y ÿ
3
2 zy + (1 + z)y = 0, e
que a equação indicial tem raízes 2 e 1/2. Mostre que a solução geral é dada por
(ÿ1)n(n + 1)22nzn
y(z)=6a0z2ÿ
n=0
(2n + 3)!
ÿ
z1/2 (ÿ1)n22nzn
+ b0 z1/2 + 2z3/2 - .
4 n(n ÿ 1)(2n ÿ 3)!
n=2
16,7 Use o método da derivada para obter, como segunda solução da equação de Bessel para o caso
em que ÿ = 0, a seguinte expressão:
n
1 z 2n
(ÿ1)n
J0(z) em z ÿÿ ,
(n!)2 R 2
n=1 r=1
dado que a primeira solução é J0(z), conforme especificado por (18.79).

16,8 Considere uma solução em série da equação
zy ÿ 2y + yz =0 (ÿ)
sobre seu ponto singular regular.
(a) Mostre que sua equação indicial tem raízes que diferem por um número inteiro, mas que as duas
raízes, mesmo assim, geram soluções linearmente independentes (ÿ1)n+1
ÿ
2nz2n+1 (2n + 1)!
y1(z)=3a0 ,
n=1
ÿ
(ÿ1)n+1(2n ÿ 1)z2n
y2(z) = a0 .
n=0
(2n)!
(b) Mostre que y1(z) é igual a 3a0(sin z ÿ z cos z) expandindo as funções senoidais. Então, usando
o método Wronskiano, encontre uma expressão para y2(z) em termos de senoides. Você
precisará escrever z2 como (z/ sin z)(z sin z) e integrar por partes para avaliar a integral
envolvida.
(c) Confirme que as duas soluções são linearmente independentes mostrando que o seu Wronskiano
é igual a ÿz2, como seria de esperar da forma de (ÿ).
16,9 Encontre soluções em série da equação y ÿ2zy ÿ2y = 0. Identifique uma das séries como y1(z) =
exp z2 e verifique isso por substituição direta. Definindo y2(z) = u(z)y1(z) e resolvendo a equação
resultante para u(z), encontre uma forma explícita para y2(z) e deduza que
x ÿ
não!
eÿv2 dv = eÿx2 2n+1.
0 n=0
2(2n + 1)!(2x)
16h10 Resolva a equação

d2y dy z(1 ÿ z) + (1
ÿ z) + ÿy = 0 dz2 dz
do seguinte modo.
(a) Identifique e classifique seus pontos singulares e determine seus índices.
551
(b) Encontre uma solução em série em potências de z. Dê uma expressão formal para
segunda solução linearmente independente.
(c) Deduza os valores de ÿ para os quais existe uma solução polinomial PN(z) de
grau N. Avalie os primeiros quatro polinômios, normalizados de tal forma que
PN(0) = 1.
16.11 Encontre a solução geral da série de potências sobre z = 0 da equação
d2y morrer
4
z + (2z ÿ 3)y = 0. +
dz2 dz z
16.12 Encontre o raio de convergência de uma solução em série em torno da origem para o
equação (z2 + az + b)y + 2y = 0 nos seguintes casos:
(a) a = 5, b = 6; (b) a = 5, b = 7.
Mostre que se aeb são reais e 4b>a2, então o raio de convergência é

sempre dado por b1/2.
16.13 Para a equação y + zÿ3y = 0, mostre que a origem se torna um singular regular
ponto se a variável independente for alterada de z para x = 1/z. Portanto encontre um
ÿ
solução em série da forma y1(z) = anzÿn. Ao definir
0 y2(z) = u(z)y1(z) e
expandindo a expressão resultante para du/dz em potências de zÿ1, mostre que y2(z)
tem a forma assintótica
em z
1
y2(z) = cz + ln z ÿ 2
+Ó ,
z
onde c é uma constante arbitrária.

16.14 Prove que a equação de Laguerre,
d2y morrer
z + (1 ÿ z) +ÿy = 0,
dz2 dz
tem soluções polinomiais LN(z) se ÿ for um número inteiro não negativo N, e determine
a relação de recorrência para os coeficientes polinomiais. Portanto mostre que um
expressão para LN(z), normalizada de tal forma que LN(0) = N!, é
N
(ÿ1)n(N!)2
LN(z) = zn .
n=0
(N ÿ n)!(n!)2
Avalie L3(z) explicitamente.

16.15 A origem é um ponto ordinário da equação de Chebyshev,
(1 ÿ z2 )y ÿ zy + m2 y = 0,
ÿ
que, portanto, tem soluções em série da forma zÿ 0 anzn para ÿ = 0 e ÿ = 1.
(a) Encontre as relações de recorrência para an nos dois casos e mostre que
existem soluções polinomiais Tm(z):
1
(i) para ÿ = 0, quando m é um número inteiro par, o polinômio tendo 2 (m + 2)
termos;
1
(ii) para ÿ = 1, quando m é um número inteiro ímpar, o polinômio tendo 2 (m + 1)
termos.
(b) Tm(z) é normalizado de modo a ter Tm(1) = 1. Encontre formas explícitas para Tm(z)
para m = 0, 1, 2, 3.
552
16.7 DICAS E RESPOSTAS
(c) Mostre que as soluções em série não-terminais correspondentes Sm(z) têm como
seus primeiros termos
1 9
S0(z) = a0 z + z3 + z5 + ··· ,
3! 5!
1 3
= a0 1 ÿ 2! 4! z2 ÿ z4 ÿ ··· S1(z) ,
3 15
= a0 z ÿ 3! 5! z3 ÿ z5 ÿ ··· S2(z) ,
9 45
S3(z) = a0 1 ÿ 2! 4! z2 + z4 + ··· .
16.16 Obtenha as relações de recorrência para a solução da equação de Legendre (18.1) em

potências inversas de z, ou seja, defina y(z) = anzÿÿn, com a0 = 0. Deduza isso, se for um
inteiro, então a série com ÿ = terminará e, portanto, convergirá para todo z,
enquanto a série com ÿ = ÿ( + 1) não termina e, portanto, converge apenas
para |z| > 1.
16.7 Dicas e respostas

16.1 Observe que z = 0 é um ponto ordinário da equação.
Para ÿ = 0, an+2/an = [n(n + 2) ÿ ÿ]/[(n + 1)(n + 2)] e, correspondentemente, para
ÿ = 1, U2(z) = a0(1 ÿ 4z2) e U3(z) = a0(z ÿ 2z3).
16.3 ÿ = 0 e 3; a6m/a0 = (ÿ1)m/(2m)! e a6m/a0 = (ÿ1)m/(2m + 1)!, respectivamente.
y1(z) = a0 cos z3 e y2(z) = a0 sen z3. O Wronskiano é ±3a2 0z2 = 0.
16,5 (b) an+1/an = [ ( + 1) ÿ n(n + 1) ]/[ 2(n + 1)2 ].
(c) R = 2, igual à distância entre z = 1 e a singularidade mais próxima em
z = ÿ1.
(ÿ1)nz2n .
16.7 Um termo típico da série para y(ÿ, z) é [ (ÿ + 2)(ÿ + 4)
··· (ÿ + 2n) ]2
16,9 A origem é um ponto comum. Determine a constante de integração examinando o comportamento
das funções relacionadas para x pequeno.
z
y2(z) = (exp z2) 0 exp(ÿx2) dx.
16.11 Raízes repetidas ÿ = 2.
n+2 a
(n + 1)(ÿ2z)
y(z) = az2 ÿ 4az3 + 6bz3 +ÿ + b [ln z + g(n)] ,
não! 4
n=2
onde
1 1 1 1
- - ÿ 2.
g(n) =
ÿ ··· ÿ
n+1 n nÿ1 2
16.13 A equação transformada é xy + 2y + y = 0; an = (ÿ1)n(n + 1)ÿ1(n!)ÿ2a0;

du/dz = A[ y1(z) ]ÿ2.
16h15 (a) (i) an+2 = [an(n2 ÿ m2)]/[(n + 2)(n + 1)],
(ii) an+2 = {an[(n + 1)2 ÿ m2]}/[(n + 3)(n + 2)]; (b) 1, z, 2z2 ÿ 1, 4z3 ÿ 3z.
553

Cap 16 - TRAD

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Cap 16 - TRAD

Enviado por

Direitos autorais:

Formatos disponíveis

Machine Translated by Google

Soluções em série de equações

No capítulo anterior, a solução de equações diferenciais ordinárias lineares (EDOs) homogêneas

16.1 Equações diferenciais ordinárias lineares de segunda ordem

y + p(x)y + q(x)y = 0, (16.1)

y(x) = c1y1(x) + c2y2(x), (16.2)

SOLUÇÕES DE SÉRIE DE EQUAÇÕES DIFERENCIAIS ORDINÁRIAS

Se W(x) = 0 em qualquer lugar em um determinado intervalo, então y1 e y2 são linearmente

W = y1y 2 + y 1y 2 ÿ y2y 1 ÿ y 2y 1 = y1y 2 ÿ y 1 y2.

Como y1 e y2 satisfazem (16.1), podemos substituir y 1 e y 2 para obter

W = ÿy1(py 2 + qy2)+(py 1 + qy1)y2 = ÿp(y1y 2 ÿ y 1y2) = ÿpW .

As funções y1 = sin x e y2 = cos x são ambas soluções da equação y + y = 0. Avalie o Wronskiano

O Wronskiano de y1 e y2 é dado por

y + p(x)y + q(x)y = f(x) (16,5)

16.1 EQUAÇÕES DIFERENCIAIS LINEARES ORDINÁRIAS DE SEGUNDA ORDEM

y(x) = c1y1(x) + c2y2(x) + yp(x). (16.6)

16.1.1 Pontos ordinários e singulares de uma EDO

Consideremos, portanto, a EDO homogênea linear de segunda ordem

y + p(z)y + q(z)=0, (16.7)

p(z) = pn(z ÿ z0) n , q(z) = qn(z ÿ z0) n ,

SOLUÇÕES DE SÉRIE DE EQUAÇÕES DIFERENCIAIS ORDINÁRIAS

A equação de Legendre tem a forma

(1 ÿ z2 )y ÿ 2zy + (+ 1)y = 0, (16.8)

Até agora assumimos que z0 é finito. No entanto, às vezes podemos desejar

Mostre que a equação de Legendre tem uma singularidade regular em |z|ÿÿ.

Deixando w = 1/z, as derivadas em relação a z tornam-se

Se substituirmos essas derivadas na equação de Legendre (16.8), obteremos

o que simplifica para dar

w2 (w2 ÿ 1) + 2w3 + (+ 1)y = 0.

Dividindo por w2(w2 ÿ 1) para colocar a equação na forma padrão e comparando

16.2 SOLUÇÕES DA SÉRIE SOBRE UM PONTO ORDINÁRIO

Oscilador harmônico simples

16.2 Soluções em série sobre um ponto comum

SOLUÇÕES DE SÉRIE DE EQUAÇÕES DIFERENCIAIS ORDINÁRIAS

série de potências da forma (ver seção 24.11)

y(z) = anzn . (16,9)

você = nanznÿ1 = (n + 1)an+1zn , (16.10)

você = n(n ÿ 1)anznÿ2 = (n + 2)(n + 1)an+2zn . (16.11)

Encontre as soluções em série, em torno de z = 0, de

(n + 2)(n + 1)an+2zn +ÿ anzn = 0,

que pode ser escrito como

[(n + 2)(n + 1)an+2 + an]zn = 0.

uma an+2 = para n ÿ 0.

16.2 SOLUÇÕES DA SÉRIE SOBRE UM PONTO ORDINÁRIO

Em segundo lugar, se definirmos a0 = 0 e escolhermos a1 = 1, obteremos uma segunda solução independente

y(z) = c1 cos z + c2 sin z,

A resolução do exemplo acima foi bastante simples e as séries resultantes foram

Encontre as soluções em série, em torno de z = 0, de

(1 ÿ 2z + z2 ) n(n ÿ 1)anznÿ2 ÿ 2 anzn = 0,

n(n ÿ 1)anznÿ2 ÿ 2 n(n ÿ 1)anznÿ1 +ÿ n(n ÿ 1)anzn ÿ 2 anzn = 0.

(n + 2)(n + 1)an+2zn ÿ 2 (n + 1)nan+1zn +ÿ (n2 ÿ n ÿ 2)anzn = 0,

que pode ser escrito como

(n + 1)[(n + 2)an+2 ÿ 2nan+1 + (n ÿ 2)an]zn = 0.

SOLUÇÕES DE SÉRIE DE EQUAÇÕES DIFERENCIAIS ORDINÁRIAS

(n + 2)an+2 ÿ 2nan+1 + (n ÿ 2)an = 0 para n ÿ 0,

A independência linear de y1 e y2 é óbvia, mas pode ser verificada calculando o

16.3 Soluções em série sobre um ponto singular regular

Se z = 0 é um ponto singular regular da equação

16.3 SOLUÇÕES DA SÉRIE SOBRE UM PONTO SINGULAR REGULAR

zp(z) ÿ s(z) = snzn,

z2 q(z) ÿ t(z) = tnzn ,

onde definimos as funções analíticas s(z) e t(z) para conveniência posterior.

você = (n + ÿ)anzn+ÿÿ1 , (16.13)

você = (n + ÿ)(n + ÿ ÿ 1)anzn+ÿÿ2 , (16.14)