CAP 9 - EDO Lineares

Cap tulo 9 Sistemas de Equaes Diferenciais Ordinrias co a Lineares
Contedo u
9.1 9.2 Introduo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ca Unicidade e Existncia de Solues . . . . . . . . . . . . . . . . . . . . . . . . . . . e co 9.2.1 Unicidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9.2.2 Existncia. A Srie de Dyson . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . e e 9.2.3 Propriedades de D(s, t) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Equaes com Coecientes Constantes . . . . . . . . . . . . . . . . . . . . . . . . . co 9.3.1 Alguns Exemplos e Aplicaes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . co Perturbaes de Sistemas Lineares . . . . . . . . . . . . . . . . . . . . . . . . . . . co Mais sobre a Srie de Dyson. Produtos de Tempo Ordenado . . . . . . . . . . . e Sistemas de Equaes Diferenciais Lineares no Plano Complexo . . . . . . . . . co 9.6.1 O Caso Anal tico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9.6.2 Resoluo por Sries de Potncias . . . . . . . . . . . . . . . . . . . . . . . . . . . . ca e e 9.6.3 Sistemas com Pontos Singulares. Monodromia . . . . . . . . . . . . . . . . . . . . . 9.6.4 Sistemas com Pontos Singulares Simples . . . . . . . . . . . . . . . . . . . . . . . . Sistemas Provenientes de EDOs de Ordem m . . . . . . . . . . . . . . . . . . . . . 9.7.1 Pontos Singulares Simples em EDOs de Ordem m . . . . . . . . . . . . . . . . . . 9.7.2 Singularidades no Innito . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9.7.3 Alguns Exemplos de Interesse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Equaes Fuchsianas. S co mbolos de Riemann . . . . . . . . . . . . . . . . . . . . . . 9.8.1 Equaes Fuchsianas de Primeira Ordem . . . . . . . . . . . . . . . . . . . . . . . . co 9.8.2 Equaes Fuchsianas de Segunda Ordem . . . . . . . . . . . . . . . . . . . . . . . . co 9.8.3 A Equao de Riemann-Papperitz. S ca mbolos de Riemann . . . . . . . . . . . . . . . 9.8.3.1 Transformaes de Simetria dos S co mbolos de Riemann . . . . . . . . . . . . . 9.8.3.2 Equaes Fuchsianas com trs pontos singulares e a equao hipergeomtrica co e ca e Exerc cios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 341 . 341 . . 341 . . 344 . . 348 . 350 . . 352 . 356 . 359 . 361 . . 362 . . 366 . . 368 . . 376 . 380 . . 381 . . 384 . . 385 . 390 . . 390 . . 394 . . 402 . . 404 . . 407 . 410
9.3 9.4 9.5 9.6
9.7
9.8
9.9
remos neste cap tulo estudar sistemas de equaoes diferenciais lineares ordinrias, com particular atenao a c a c sistemas de equaoes diferenciais lineares associados a equaoes diferenciais lineares de ordem n. Demonsc c traremos alguns teoremas bsicos e apresentaremos mtodos de soluao, com particular destaque para a srie a e c e de Dyson. Alguns exemplos de interesse f sico sero discutidos com certo detalhe. Inicialmente trataremos a sistemas dependentes de uma varivel real e mais adiante, a partir da Seao 9.6, pgina 361, generalizaremos nossos a c a resultados para sistemas dependentes de uma varivel complexa. Tal generalizaao particularmente importante para a c e o tratamento de sistemas de equaoes diferenciais provenientes de equaoes diferenciais ordinrias lineares de ordem n, c c a j que mtodos de resoluao de tais equaoes, como o mtodo de Frobenius, esto intimamente relacionados a propria e c c e a edades anal ticas dos coecientes da equaao. Diversas propriedades de equaoes diferenciais no plano complexo e de c c suas soluoes so discutidas, com particular nfase na estrutura de suas singularidades e propriedades de monodromia, c a e as quais esto intimamente ligadas ao mtodo de Frobenius, como discutiremos. A Seao 9.8, pgina 390, discute as a e c a chamadas equaoes Fuchsianas e algumas de suas propriedades. Sua leitura parcialmente dispensvel para o que se lhe c e a segue, mas poder elucidar alguns aspectos da teoria das equaoes diferenciais no plano complexo, em particular, das a c equaoes hipergeomtricas. c e O presente cap tulo ser continuado no Cap a tulo 10, pgina 414, onde discutiremos a soluao de equaoes diferenciais a c c ordinrias lineares de ordem 2 utilizando o mtodo de expanses em srie, e utilizando o mtodo de Frobenius. Em a e o e e seguida, no Cap tulo 11, pgina 487, estudaremos propriedades de algumas das soluoes de maior interesse em F a c sica.
340
JCABarata. Curso de F sica-Matemtica a
Verso de 4 de abril de 2009. a
Cap tulo 9
341/1628
9.1
Introduo ca
Seja t uma varivel real, A(t) uma matriz m m cujos elementos Aij (t), i, j = 1, . . . , m, so funoes cont a a c nuas (reais ou complexas) dadas de t e seja F (t) um vetor coluna f1 (t) . F (t) = . . fm (t) onde fi (t), i = 1, . . . , m so igualmente funoes cont a c nuas (reais ou complexas) dadas de t. Se Y (t) um vetor coluna e y1 (t) . Y (t) = . . ym (t) a equaao diferencial c Y (t) = A(t)Y (t) + F (t)
(9.1)
dita ser um sistema linear de equaoes diferenciais de primeira ordem, cujas incgnitas so as m funoes y1 (t), . . . , ym (t). e c o a c Caso F for identicamente nula o sistema dito ser um sistema homogneo e, caso contrrio, dito ser um sistema noe e a e a homogneo. Estaremos aqui interessados em estudar esses sistemas de equaoes diferenciais quando uma condiao inicial e c c fornecida, ou seja, quando o valor de Y (t) em um ponto t0 especicado, tipicamente o valor de Y (t) em t = 0: e e Y (0) = Y0 , com 0 y1 . Y0 = . , .
0 ym 0 0 y1 , . . . , ym sendo constantes (reais ou complexas).
9.2
9.2.1
Unicidade e Existncia de Solues e co

Unicidade
Iremos mais adiante mostrar que, sob as hipteses acima, o sistema (9.1), submetido a uma condiao inicial Y (0) = Y0 , o c sempre possui soluao. Iremos em verdade exibir um mtodo aproximativo para o clculo da soluao. c e a c Para preparar essa discusso devemos primeiramente demonstrar a unicidade da soluao, ou seja, precisamos mostrar a c que se houver uma funao Y (t) satisfazendo Y (t) = A(t)Y (t) + F (t) e Y (0) = Y0 , ento no h outra funao distinta c a a a c de Y com essas propriedades. O fato de a soluao ser unica ser de importncia quando discutirmos um mtodo para c a a e c calcular a soluao. Vamos considerar primeiro o caso mais simples onde a equao homognea Y (t) = A(t)Y (t) e a condiao inicial ca e e c e Y (0) = 0. Partiremos desse caso mais simples para poder tratar melhor depois o caso geral. Integrando-se ambos os lados da igualdade Y (t) = A(t)Y (t) entre 0 e t e usando que Y (0) = 0, tem-se
t
Y (t) =
0
A(t1 )Y (t1 ) dt1 .
(9.2)
Essa relaao uma identidade a ser satisfeita pela funao Y (t) que eventualmente soluao da equaao Y (t) = A(t)Y (t) c e c e c c com a condiao inicial Y (0) = 0. Observemos que a funao Y aparece no lado esquerdo e tambm dentro da integral. c c e Como a identidade acima vale para todo t, tem-se tambm que e
t1
Y (t1 ) =
0
A(t2 )Y (t2 ) dt2 .
Cap tulo 9
342/1628
Inserindo-se isso na pen ltima identidade, tem-se u

t t1 t t1
Y (t) =
0
A(t1 )
0
A(t2 )Y (t2 ) dt2 dt1 ,
ou seja,
Y (t) =
0 0
A(t1 )A(t2 ) Y (t2 ) dt2 dt1 .
Repetindo-se esse procedimento n vezes chega-se ` seguinte identidade: a

t t1 0 tn1
Y (t) =
0
A(t1 )A(t2 ) A(tn ) Y (tn ) dtn dtn1 dt1 .
(9.3)
Lembrando que Y (t) um vetor cujas componentes so funoes yi (t) essa ultima identidade signica para a a-sima e a c e componente
m t 0 0 t1 tn1
ya (t) =
b=1
(A(t1 )A(t2 ) A(tn ))ab yb (tn ) dtn dtn1 dt1 .
(9.4)
Acima, (A(t1 )A(t2 ) A(tn ))ab o elemento ab da matriz A(t1 )A(t2 ) A(tn ), formada pelo produto de n matrizes. e De acordo com a regra de produto de matrizes, (A(t1 )A(t2 ) A(tn ))ab dado por e
m m m
(A(t1 )A(t2 ) A(tn ))ab = A relaao (9.4) ca ento c a

m m m m t 0 0 t1
k1 =1 k2 =1
kn1 =1
Aak1 (t1 )Ak1 k2 (t2 ) Akn1 b (tn ) .
tn1
ya (t) =
b=1 k1 =1 k2 =1
kn1 =1
Aak1 (t1 )Ak1 k2 (t2 ) Akn1 b (tn ) yb (tn ) dtn dtn1 dt1 .
Essa relaao implica a seguinte desigualdade c

m m m m t 0 0 t1 tn1
|ya (t)|
b=1 k1 =1 k2 =1
kn1 =1
|Aak1 (t1 )| |Ak1 k2 (t2 )| |Akn1 b (tn )| |yb (tn )| dtn dtn1 dt1 . (9.5)
Vamos agora supor (provisoriamente) que t limitado a um intervalo [0, T ] para algum T > 0 nito. Vamos denir e = e M = max
t[0, T ] i{1, ..., m} t[0, T ] i, j{1, ..., m}
max
max
|Aij (t)|
(9.6)
max
|yi (t)| ,
ou seja o mximo valor alcanado pelo mdulo dos elementos de matriz Aij (t) quando t varia no intervalo [0, T ] e M e a c o o mximo valor alcanado pelo mdulo de todas as componentes yi (t) de Y quando t varia no intervalo [0, T ]. Note-se e a c o que as mencionadas funoes so limitadas pois, por hiptese, so cont c a o a nuas, e o intervalo [0, T ] nito. e Retornando a (9.5), como todos os |Aij (tk )| so menores ou iguais a e todos os |yb (tn )| so menores ou iguais a M , a a tem-se que
m m m m t 0 0 t1 tn1
|ya (t)| O fator n deve-se ao fato que
b=1 k1 =1 k2 =1
kn1 =1
n M dtn dtn1 dt1 .
(9.7)
|Aak1 (t1 )| |Ak1 k2 (t2 )| |Akn1 b (tn )| = n . n vezes Claramente, vale que
m m m t 0 0 t1 tn1 m m m
b=1 k1 =1
kn1 =1
n M dtn dt1 = n M
t 0 0
t1
tn1
b=1 k1 =1
kn1 =1
dtn dt1 ,
Cap tulo 9
343/1628
pois e M so constantes. Fora isso, bem fcil constatar que a e a

t 0 0 t1 tn1
dtn dtn1 dt1 =
tn . n!
E. 9.1 Exerccio importante. A ltima igualdade pode ser facilmente provada por induo. Faa-o. u ca c Assim, a desigualdade (9.7) ca |ya (t)| n M E evidente, agora, que
m m
tn n!
b=1 k1 =1
1.
kn1 =1
b=1 k1 =1
1 = mn
kn1 =1
pois h n somas sucessivas, em cada uma o a ndice assume m valores e o somando sempre constante (no depende dos e a ndices). Conclu mos que |ya (t)| M (mt)n . n! (9.8)
Essa desigualdade deve ser satisfeita para t [0, T ] pela a-sima componente da soluao Y da equaao Y = A(t)Y (t) e c c com condiao inicial Y (0) = 0. E importante notar, porm, que o lado esquerdo no depende de n, que simplesmente o c e a e n mero de vezes que repetimos a identidade (9.2) para obter (9.3). O que ocorre, porm, se tomarmos n ? E bem u e sabido que para qualquer x 0 xo tem-se xn lim = 0. n n! Assim, tomando-se em (9.8) o limite n em ambos os lados, conclui-se que ya (t) = 0 para todo a e todo t [0, T ]. Como T foi escolhido arbitrrio, segue que ya (t) = 0 para todo t e todo a. a Em resumo, conclu mos que se Y soluao da equaao Y = A(t)Y (t) com condiao inicial Y (0) = 0 ento Y (t) = 0 e c c c a para todo t. No h, portanto, outra soluao que no a funao nula para a equaao homognea Y = A(t)Y (t) com a a c a c c e condiao inicial Y (0) = 0. c O que podemos dizer do caso geral da equaao Y = A(t)Y (t) + F (t) com uma condiao inicial Y (0) = Y0 ? Vamos c c supor que Y e X so duas soluoes satisfazendo a mesma condiao inicial, ou seja, Y (0) = X(0) = Y0 . Denindo a c c Z(t) = Y (t) X(t) tem-se Z(0) = Y (0) X(0) = Y0 Y0 = 0 e Z(t) = Y (t) X(t) = A(t)Y (t) + F (t) (A(t)X(t) + F (t)) = A(t)(Y (t) X(t)) = A(t)Z(t) . Assim, Z soluao da equaao homognea Z(t) = A(t)Z(t) com a condiao inicial Z(0) = 0. Pelo que acabamos de e c c e c ver, Z identicamente nula, o que prova que Y = X. e Isso provou ento que a equaao Y = A(t)Y (t) + F (t) com uma condiao inicial Y (0) = Y0 tem tambm soluao a c c e c unica, se houver. Provaremos adiante que h uma soluao e mostraremos como calcul-la. a c a Finalmente, observamos que todas as concluses apresentadas acima permanecem se a condiao inicial for xada no o c a em t = 0 mas num ponto t0 qualquer. Uma propriedade da soluo das equaoes homogneas ca c e
As demonstraoes que apresentamos acima tm mais uma conseqncia para as soluoes das equaoes homogneas c e ue c c e Y (t) = A(t)Y (t), conseqncia essa da qual faremos uso mais adiante: ue
Lema 9.1 A soluao Y (t) de uma equaao homognea Y (t) = A(t)Y (t) anula-se em um ponto t0 , Y (t0 ) = 0 se e somente c c e se Y (t) for nula para todo t.
Cap tulo 9
344/1628
Prova. Se Y (t0 ) = 0 ento Y (t) = a Y (t) =
t t0 t t0
A(t1 )Y (t1 ) dt1 . Como em (9.3), conclu mos que

t1 t0 tn1
t0
A(t1 )A(t2 ) A(tn ) Y (tn ) dtn dtn1 dt1 .
Prosseguindo como antes, concluiremos que |ya (t)| M onde = max

t[0, T ] i, j{1, ..., m}
(m|t t0 |)n , n! e M = max max |yi (t)| ,
(9.9)
max
|Aij (t)|
t[0, T ] i{1, ..., m}
o intervalo [0, T ] sendo escolhido grande o suciente para conter t e t0 . Tomando o limite n em (9.9), conclu mos que ya (t) = 0. Como isso vale para um t arbitrrio, segue que Y (t) identicamente nula. a e
9.2.2
Existncia. A Srie de Dyson e e
Uma vez demonstrada a unicidade da eventual soluao de uma equaao como Y = A(t)Y (t) + F (t) com condiao inicial c c c Y (0) = Y0 precisamos demonstrar que a soluao existe. E a melhor maneira de demonstrar a existncia de soluao de c e c uma equaao diferencial exibindo uma. c e Para s e t reais, seja D(t, s) a matriz m m denida por
D(t, s) := +
n=1 s
t s
t1
tn1
A(t1 )A(t2 ) A(tn ) dtn dtn1 dt1 .
(9.10)
Seja tambm D(t) denida por D(t) = D(t, 0), ou seja, e
D(t) = +
n=1 0
t 0
t1
tn1
(9.11)
Algumas pginas adiante (pgina 350) provaremos que vale entre D(t, s) e D(t) a seguinte relaao: D(t, s) = D(t)D(s)1 . a a c A srie do lado direito de (9.10) e (9.11) freq entemente denominada srie de Dyson1 , denominaao esta empregada e e u e c especialmente em textos sobre Mecnica Quntica e Teoria Quntica da Campos. a a a Armamos que a equaao Y = A(t)Y (t) + F (t) com uma condiao inicial Y (0) = Y0 tem soluao, a qual dada por c c c e
t
Y (t) = D(t)Y0 +
0
D(t, s)F (s) ds .
(9.12)
A demonstraao ser feita provando-se que o lado direito satisfaz a equaao diferencial e a condiao inicial. Como a c a c c soluao unica (pelo provado acima), infere-se que no pode haver outra que no (9.12). Note-se, em particular, que c e a a pelo dito acima, a equaao homognea Y = A(t)Y (t) com condiao inicial Y (0) = Y0 tem por soluao c e c c Y (t) = D(t)Y0 . O estudante deve ter em mente que a expresso (9.12) generaliza o mtodo de variaao de constantes apresentado na a e c Seao 8.4, pgina 328. De fato, como veremos adiante, D(t, s) idntica ` matriz Wronskiana das soluoes linearmente c a e e a c independentes da equaao homognea. c e
1 Freeman J. Dyson (1923). Denominamos a srie de (9.10) e (9.11) srie de Dyson, pois essa nomenclatura comummente empregada e e e na Mecnica Quntica e na Teoria Quntica de Campos. Dyson chegou a essa srie estudando problemas de teoria de perturbaoes na Teoria a a a e c Quntica de Campos. Sua origem, porm, remonta pelo menos a trabalhos de Volterra de 1890. Em Teoria Quntica de Campos aquelas a e a sries so tambm denominadas exponenciais de tempo ordenado. e a e
Cap tulo 9
345/1628
Comecemos por mostrar que as sries que aparecem em (9.10) e (9.11) so convergentes, sem o que ambas as expresses e a o no fariam sentido. Denotando por Dab (t, s) o elemento ab da matriz D(t, s), temos a
Dab (t, s) = ab +
n=1
t s m s
t1
tn1
s m
(A(t1 )A(t2 ) A(tn ))ab dtn dtn1 dt1

t s s t1 tn1
= a b +
n=1 k1 =1 k2 =1
kn1 =1
Aak1 (t1 )Ak1 k2 (t2 ) Akn1 b (tn ) dtn dt1 .
Limitando provisoriamente t e s a um intervalo nito [0, T ] e usando a deniao de dada em (9.6), temos c
m m t s s t1 tn1
|Dab (t, s)|
1+
n=1 k1 =1
kn1 =1 m
t1 s m
|Aak1 (t1 )| |Ak1 k2 (t2 )| Akn1 b (tn ) dtn dt1

tn1
1+
n=1
n k1 =1
t s
kn1 =1 m
dtn dt1
1+
n=1
|t s|n n!
k1 =1
1
kn1 =1
1+
n=1
|t s|n n1 m n! .
1+
1 em|ts| 1 m
Isso mostra que, para cada elemento de matriz ab, a srie do lado direito de (9.10) absolutamente convergente, e isso e e para todo s e t. Para mostrar que (9.12) representa de fato a soluao procurada, vamos mostrar que c D(t, s) = A(t)D(t, s) . t Isso, em particular, diz que d D(t) = A(t)D(t) . dt (9.13)
(9.14)
Cap tulo 9
346/1628
De fato, D(t, s) = t t
+
n=1 t
t s s
t1
tn1
s t

t1
d + dt
A(t1 ) dt1 +
s t t1 s t s t2 s s
A(t1 )A(t2 ) dt2 dt1
+
s
A(t1 )A(t2 )A(t3 ) dt3 dt2 dt1 +

t t2 s
0 + A(t) +
s t
A(t)A(t2 ) dt2 +
s t t2 s t t1 s
A(t)A(t2 )A(t3 ) dt3 dt2 +
A(t) +
s
A(t2 ) dt2 +
s t
A(t2 )A(t3 ) dt3 dt2 + A(t1 )A(t2 ) dt2 dt1 +
= =
A(t) +
A(t1 ) dt1 +
s s
A(t)D(t, s) ,
como quer amos provar. Acima, na quinta igualdade, zemos uma srie de mudanas de nomes das variveis de integraao, e c a c chamando t2 de t1 , t3 de t2 etc. De maneira anloga prova-se tambm que a e D(t, s) = D(t, s)A(s) . s c E. 9.2 Exerccio. Faa isso. E tambm evidente pela deniao (9.10) que para todo t vale D(t, t) = . Analogamente, vale D(0) = . Retornando e c a ` equaao (9.12), notemos que calculando o lado direito em t = 0 temos c
0
Y (0) = D(0)Y0 +
0
D(0, s)F (s) ds = Y0 + 0 = Y0 ,
mostrando que o lado direito de (9.12) satisfaz a condiao inicial Y (0) = Y0 . Derivando o lado direito de (9.12) em c relaao a t, tem-se c Y (t) = d d D(t)Y0 + dt dt
t
D(t, s)F (s) ds

0 t
A(t)D(t)Y0 + D(t, t)F (t) +

0 t
D(t, s)F (s) ds t
A(t)D(t)Y0 + F (t) +
0 t
A(t)D(t, s)F (s) ds
= =
A(t) D(t)Y0 +
0
D(t, s)F (s) ds + F (t).
A(t)Y (t) + F (t),
Cap tulo 9
347/1628
provando que lado direito de (9.12) satisfaz a equaao diferencial. Como a soluao unica, ela deve ser aquela dada em c c e (9.12). Observaoes c
A srie de Dyson , porm, bastante eciente quando o interesse obter soluoes por mtodos numricos, j que e e e e c e e a a mesma rapidamente convergente. A srie de Dyson tambm muito util quando se tem pela frente problemas de e e e e teoria de perturbaoes. Isso ser discutido com mais detalhe na Seao 9.4. Foi, alis, estudando problemas de teoria c a c a de perturbaoes na Teoria Quntica de Campos que Dyson chegou `quela srie, inspirado provavelmente nos mtodos c a a e e iterativos de soluao da equaao integral de Volterra (o leitor interessado pode estudar o tratamento da equaao integral c c c de Volterra feito na Seao 21.3, pgina 1005, mas isso dispensvel para o que segue). c a e a A srie de Dyson possui generalizaoes para espaos de Hilbert e de Banach e mesmo quando A(t) uma fam de e c c e lia operadores no-limitados. O leitor interessado poder estud-las em [143]. a a a Um caso particular importante da soluao via srie de Dyson aquele no qual a matriz A(t) constante, ou seja, c e e e no depende da varivel t. Trataremos disso na Seao 9.3, pgina 350. Outras representaoes e propriedades da srie de a a c a c e Dyson so apresentadas na Seao 9.5, pgina 359. a c a Equaoes matriciais c
A srie de Dyson em (9.10) e (9.11) fornece a soluao do sistema de equaoes Y (t) = A(t)Y (t)+F (t) atravs de (9.12). e c c e Devemos fazer notar, porm, que a srie de Dyson no o unico meio de obter soluoes dessas equaoes. Em alguns e e a e c c casos particulares outros mtodos podem ser mais ecazes, especialmente se estivermos interessados em obter solues e co em termos de funoes conhecidas ou de expanses em srie. Tal o caso, por exemplo, se os elementos de matriz de A(t) c o e e e F (t) so funoes anal a c ticas de t ou possuem singularidades fracas, quando o chamado mtodo de expanso em srie e a e de potncias ou o mtodo de Frobenius podem ser empregados (vide para tal o Cap e e tulo 10, pgina 414). Em muitos a casos a srie de Dyson no util quando se pretende obter soluoes expl e a e c citas, devido ` complexidade de se calcular a explicitamente os produtos de matrizes A(t1 ) A(tn ) e suas integrais.
At agora estudamos equaoes da forma Y (t) = A(t)Y (t) + F (t), com condiao inicial Y (0) = Y0 , onde A(t) uma e c c e matriz m m e onde Y e F so vetores coluna com m componentes: a f1 (t) y1 (t) . . F (t) = . . Y (t) = . , . . ym (t) fm (t)
Consideremos agora a equaao M(t) = A(t)M(t) + G(t), com condiao inicial M(0) = M0 , onde A(t), G(t) e M(t) so c c a matrizes m m, a incgnita sendo a matriz M(t). Veremos facilmente que podemos tratar esse problema com os mesmos o mtodos do anterior, onde a incgnita era um vetor coluna Y de m componentes e no uma matriz quadrada. e o a De fato, como toda matriz m m, as matrizes M(t) e G(t) so da forma (para notaao, vide pgina 187) a c a M(t) = M1 (t), . . . , Mm (t) , G(t) = G1 (t), . . . , Gm (t) ,
onde Mi (t) e Gi (t) so vetores coluna com m componentes, representando a i-sima coluna das matrizes M(t) e G(t), a e respectivamente. Nessa notaao a equaao diferencial M(t) = A(t)M(t) + G(t) ca c c M1 (t), . . . , Mm (t) = A(t)M1 (t), . . . , A(t)Mm (t) + G1 (t), . . . , Gm (t) ,
ou seja, tem-se um conjunto de m sistemas de equaoes independentes c Mi (t) = A(t)Mi (t) + Gi (t), do tipo que tratamos acima, onde as incgnitas so vetores coluna. o a Para cada uma dessas equaoes vale o teorema de unicidade de soluoes que provamos acima. Assim conclu c c mos que a equaao matricial M(t) = A(t)M(t) + G(t), com condiao inicial M(0) = M0 tem soluao unica. c c c i = 1, . . . , m (9.15)
Cap tulo 9
348/1628
A soluao de cada equaao (9.15) c c e

t
Mi (t) = D(t)Mi (0) +

0
D(t, s)Gi (s) ds ,
i = 1, . . . , m .
Reunindo as colunas Mi novamente na matriz M, temos

t
M(t) = D(t)M0 +
0
D(t, s)G(s) ds
como soluao unica de M(t) = A(t)M(t) + G(t), com condiao inicial M(0) = M0 . c c
9.2.3
Propriedades de D(s, t)
Consideremos novamente a equaao homognea Y (t) = A(t)Y (t) com a condiao inicial Y (0) = Y0 . Sabemos que sua c e c soluao ( nica) Y (t) = D(t)Y0 , onde D(t) dada em (9.11). Sejam ek os vetores da base cannica: c u e e o 0 0 1 0 1 0 . e1 = 0 , e2 = 0 , . . . , em = . . . . . 0 . . . . 0 0 1 Denimos Y k (t) := D(t)ek para k = 1, . . . , m. Cada Y k (t) soluao da equaao homognea Y (t) = A(t)Y (t) com a condiao inicial Y (0) = ek . e c c e c Um vetor Y0 representando uma condiao inicial genrica c e Y0 pode ser escrita na base cannica como o 0 y1 . = . .
0 ym m 0 yk ek . k=1
(9.16)
Y0 =
Assim, se Y (t) soluao da equaao homognea Y (t) = A(t)Y (t) com a condiao inicial Y (0) = Y0 temos que e c c e c
m m 0 yk D(t)ek = k=1 k=1 0 yk Y k (t) .
Y (t) = D(t)Y0 =
(9.17)
Em resumo, todas as soluoes da equaao homognea Y (t) = A(t)Y (t) podem ser escritas como combinaoes lineares das c c e c 0 funoes Y 1 (t), . . . , Y m (t), os coecientes sendo as componentes yk do vetor Y0 na base cannica. c o Em virtude dessas e de outras propriedades que ainda estudaremos importante estudar as funoes Y k (t). O conjunto e c de funoes {Y 1 (t), . . . , Y m (t)} denominado sistema fundamental ou sistema integral ou ainda base integral de soluoes c e c da equaao Y (t) = A(t)Y (t). O conceito de sistema fundamental de soluoes foi introduzido por Fuchs2 em 1866. c c Importante nesse contexto a matriz cujas colunas so formadas pelos vetores coluna Y k . Dena-se (para a notaao e a c vide apndice 5.1, pgina 187) e a W (t) = Y 1 (t), . . . , Y m (t) .
Essa matriz denominada matriz Wronskiana3 ou matriz fundamental. e

2 Lazarus 3 Conde
Immanuel Fuchs (18331902). Josef Hon de Wronski (17781853). e e
Cap tulo 9
349/1628
Tem-se, porm, o seguinte. Pela deniao Y k (t) = D(t)ek . Portanto, e c Y 1 (t), . . . , Y m (t) pois e1 , . . . , em = . O fato que D(t) = Y 1 (t), . . . , Y m (t) (9.18) = D(t)e1 , . . . , D(t)em = D(t) e1 , . . . , em = D(t) = D(t) ,
mostra que a matriz de Dyson (9.11) idntica ` matriz Wronskiana e, portanto, podemos determinar D(t) calculandoe e a se os vetores Y 1 (t), . . . , Y m (t). Esse procedimento para determinar D(t) pode ser circunstancialmente mais fcil que a calcular a srie de Dyson do lado direito de (9.11). e A identidade (9.18) ser tambm usada para outros propsitos, um deles ser mostrar que D(t) uma matriz invers a e o a e vel. Vamos, de fato, mostrar que para todo t o conjunto {Y 1 (t), . . . , Y m (t)} um conjunto de vetores linearmente e independentes. Suponhamos o oposto, ou seja, que haja constantes 1 , . . . , m nem todas nulas, tais que 1 Y 1 (t0 ) + + m Y m (t0 ) = 0 para algum t0 . Sabemos por (9.16)-(9.17) que a funao c Y (t) = 1 Y 1 (t) + + m Y m (t) soluao de Y (t) = A(t)Y (t) com a condiao inicial e c c 1 . Y (0) = Y0 = . . . m
Pela hiptese, Y (t0 ) = 0. Pelo Lema 9.1, pgina 343, isso implica que Y (t) = 0 para todo t. Logo 1 = = m = 0, o a uma contradiao que prova que os vetores {Y 1 (t), . . . , Y m (t)} devem ser linearmente independentes para todo t. c Wronskiana Y 1 (t), . . . , Y m (t) nunca se anula. O determinante
Se os vetores {Y 1 (t), . . . , Y m (t)} so linearmente independentes para todo t, ento o determinante da matriz a a
W(t) = det Y 1 (t), . . . , Y m (t) dito ser o Wronskiano do sistema linear homogneo Y (t) = A(t)Y (t). Como acabamos de ver W(t) = 0 para todo t. e e Como a matriz Wronskiana idntica ` matriz de Dyson (9.11), conclu e e a mos que o determinante daquela matriz nunca se anula. Isso signica que a matriz inversa D(t)1 existe para todo t. Para futura referncia coletamos algumas das armaoes provadas acima a seguinte proposiao relevante: e c c Proposio 9.1 Seja a equaao linear homognea de primeira ordem Y (t) = A(t)Y (t), onde Y um vetor-coluna ca c e e com n componentes (n 1) e A(t) uma famlia contnua matrizes n n. Ento, o espao das soluoes linearmente a c c independentes dessa equaao n-dimensional, ou seja, existem n vetores Y 1 (t), . . . , Y m (t) linearmente independentes c e para todo t que so soluao de Y (t) = A(t)Y (t) e tais que toda soluao de dessa mesma equaao pode ser escrita como a c c c 1 combinaao linear Y (t) = 1 Y (t) + + n Y n (t) para todo t, com 1 , . . . , n sendo constantes. c
Pelo Exerccio E. 7.2, pgina 314, conclu-se analogamente o seguinte: o espao das soluoes linearmente indepen a c c dentes de uma equaao diferencial ordinria linear homognea de ordem n (com n 1) c a e y (n) (t) + an1 (t)y (n1) (t) + + a1 (t)y (t) + a0 (t)y(t) = 0 ,
(9.19)
onde as funoes ak (t) so contnuas para todo k = 0, . . . n 1, tambm um espao n-dimensional, ou seja, existem n c a e e c soluoes y1 (t), . . . , yn (t) linearmente independentes para todo t de (9.19) tais que toda soluao da mesma equaao pode c c c ser escrita como combinaao linear y(t) = 1 y1 (t) + + n yn (t) para todo t, com 1 , . . . , n sendo constantes. c
Cap tulo 9
350/1628
Com o fato em mos que existem as inversas D(t)1 para todo t, vamos demonstrar agora a seguinte identidade a importante: para todo s e todo t vale D(t, s) = D(t)D(s)1 . (9.20) A prova simples. Seja s xo daqui por diante. Sejam A(t) = D(t, s) e B(t) = D(t)D(s)1 . Queremos provar que e a A(t) = B(t) para todo t. Observemos que A(s) = D(s, s) = e que B(s) = D(s)D(s)1 = . Logo, A e B so iguais no ponto t = s. Fora isso, d (9.13) A(t) = D(t, s) = A(t)D(t, s) = A(t)A(t) dt t e d d (9.14) B(t) = D(t) D(s)1 = A(t)D(t)D(s)1 = A(t)B(t) . dt dt Assim, A e B so iguais no ponto t = s e satisfazem a mesma equaao homognea M (t) = A(t)M (t). Pelos teoremas de a c e unicidade que estabelecemos, segue que A(t) = B(t) para todo t, que o que quer e amos provar. (t) = A(t)Y (t) + F (t), com a condiao inicial Y (0) = Y0 , como Com isso, podemos escrever a soluao (9.12) de Y c c
t
A relao entre D(t, s) e D(t) ca
Y (t) = D(t)Y0 +
0
D(t)D(s)1 F (s) ds = D(t) Y0 +

0
D(s)1 F (s) ds
Outro fato que se pode agora provar o seguinte. Se Y (t) soluao da equaao homognea Y (t) = A(t)Y (t) com a e e c c e condiao inicial Y (0) = Y0 , ento para todo s e todo t c a Y (t) = D(t, s)Y (s). De fato, Y (s) = D(s)Y0 . Portanto, D(t, s)Y (s) = D(t)D(s)1 D(s)Y0 = D(t)Y0 = Y (t). A regra de composio para D(t, s) ca
A relaao (9.20) tem a seguinte conseqncia, cuja prova agora elementar: para todos r, s e t vale c ue e D(t, s) = D(t, r)D(r, s). (9.21)
Essa expresso denominada regra de composiao para as matrizes de Dyson D(t, s). Note que muito mais dif a e c e cil prov-la usando apenas a deniao (9.10)! a c E. 9.3 Exerccio para masoquistas. Prove (9.21) usando apenas (9.10). Soluo para condio inicial em instante arbitrrio ca ca a
Uma conseqncia das ultimas observaoes que se para a equaao Y (t) = A(t)Y (t) + F (t) for dada uma condiao ue c e c c c e a inicial no em t = 0, mas em t = t0 , Y (t0 ) = Yt0 , a soluao ento dada por a
t
Y (t) = D(t, t0 )Yt0 +

t0
D(t, s)F (s) ds .
(9.22)
E. 9.4 Exerccio. Verique! Mais propriedades da srie de Dyson so discutidas no Apndice 9.5, pgina 359. e a e a
9.3
Equaes com Coecientes Constantes co
Vamos aqui estudar sistemas de equaoes lineares de primeira ordem com coecientes constantes como Y (t) = AY (t) + c F (t), com condiao inicial Y (0) = Y0 , onde A uma matriz constante, ou seja, seus elementos de matriz no dependem c e a da varivel t. Esse um caso particular do que vimos acima. a e
Cap tulo 9
351/1628
A srie de Dyson nesse caso ca e
D(t, s) = +
n=1
n s
t s
t1
tn1
dtn dtn1 dt1 = +
(t s)n n A . n! n=1
Por analogia com a bem conhecida srie de Taylor da funao exponencial, dene-se, para uma matriz A, e c exp(A) = e Assim, D(t, s) = eA(ts) e D(t) = eAt . A convergncia de (9.23) j foi provada quando tratamos da convergncia da srie de Dyson no caso geral. e a e e (t) = AY (t) + F (t), com a condiao inicial Y (0) = Y0 , dada, segundo (9.12), por Assim, a soluao de Y c c e Y (t) = eAt Y0 +
0 t A
= +
1 n A . n! n=1
(9.23)
eA(ts) F (s)ds .
O que se pode dizer sobre a dependncia em t dos elementos de matriz de eAt ? H dois casos bsicos a considerar. e a a O primeiro o caso em que A diagonalizvel; o segundo caso em que A no diagonalizvel. e e a a e a Caso diagonalizvel a
Se A diagonalizvel ento existe uma matriz P tal que P 1 AP = D onde D uma matriz diagonal, tendo na e a a e diagonal os autovalores de A. Assim,

eAt = +
tn n A = P n! n=1
tn 1 n P A P n! n=1
P 1
= P
tn 1 (P AP )n n! n=1
P 1 = P
tn n D n! n=1
P 1 = P eDt P 1 .
Agora, se D = diag (1 , . . . , m ), ento eDt = diag (e1 t , . . . , em t ). E claro pela igualdade eAt = P eDt P 1 que os a At elementos de matriz de e sero da forma a m eAt
ab
=
k=1
ck ek t , ab
ou seja, sero combinaoes lineares de exponenciais do produto de autovalores de A com t. Os coecientes ck so a c ab a constantes e dados em funao dos elementos de matriz de P e P 1 . c Caso no-diagonalizvel a a
Caso A no seja diagonalizvel, o Teorema da Decomposiao de Jordan (na forma do Teorema 5.20, pgina 243) nos a a c a garante que existe uma matriz P tal que P 1 AP = D + N , onde: 1) D uma matriz diagonal, cujos elementos da e diagonal so os autovalores de A; 2) N uma matriz nilpotente com a e ndice, digamos, q; 3) D e N comutam. Portanto, como D e N comutam, exp(At) = P exp(P 1 AP t)P 1 = P exp(Dt + N t)P 1 = P exp(Dt) exp(N t)P 1 , onde aqui usamos a Proposiao 6.6, da pgina 280. Agora, c a exp(Dt) = diag (e1 t , . . . , em t ) e exp(N t) = + tn n tn n N = + N . n! n! n=1 n=1
q1
Cap tulo 9
352/1628
Observe-se que a srie do lado direito truncada em n = q pois N q = 0, j que N nilpotente com e e a e ndice q. Assim, eN t uma matriz cujos elementos so polinmios em t de grau menor que q. e a o Fica claro, fazendo-se o produto eDt eN t , que os elementos de matriz de eAt sero agora da forma a
m
eAt
ab
=
k=1
ck (t) ek t , ab
ou seja, sero combinaoes lineares de exponenciais do produto de autovalores de A com t. H, porm, uma diferena a c a e c em relaao ao caso diagonalizvel, a saber, os coecientes ck (t) no so mais constantes, mas so agora polinmios em c a a a a o ab t de grau menor que q e so dados em funao dos elementos de matriz de P e P 1 . a c
9.3.1
Alguns Exemplos e Aplicaes co
Vamos aqui tratar um exemplo simples e bem conhecido proveniente da Mecnica Clssica e que ilustra bem conceitos a a que introduzimos nas seoes anteriores. Trata-se do problema do oscilador harmnico amortecido forado. c o c Como bem sabido, esse sistema descrito pela equaao diferencial linear de segunda ordem e e c m(t) = kx(t) x(t) + f (t) x que nada mais que a segunda lei de Newton para uma part e cula de massa m ligada a uma mola de constante k e se movendo em um meio (viscoso) que exerce sobre a part cula uma fora do tipo v(t) (v(t) a velocidade da part c e cula no instante t). Fora isso age sobre a part cula mais uma fora externa que depende apenas do tempo: f (t). Acima c m > 0, k 0 e 0. Dividindo a equaao acima por m, podemos escrev-la como c e
2 x(t) = 0 x(t) x(t) + g(t)
onde 0 = k , m = , m g(t) = 1 f (t) . m
Podemos, por um mtodo comummente usado, transformar essa equaao de segunda ordem em um sistema de duas e c equaoes de primeira ordem. Denindo v(t) = x(t), camos com c x(t) v(t) Isso pode ser escrito na seguinte forma matricial: Y (t) = AY (t) + F (t) , onde Y (t) = x(t) , v(t) 0 2 0 1 , 0 g(t) = = v(t)
2 0 x(t) v(t) + g(t)
(9.24)
A =
F (t) =
A matriz A tem coecientes constantes. Aprendemos nas seoes anteriores que a soluao dessa equaao, com uma c c c condiao inicial que xa a posiao e a velocidade da part c c cula em t = 0 Y (0) = dada por e Y (t) = eAt Y0 +
0
x(0) v(0)
t
x0 v0
eA(ts) F (s) ds .
(9.25)
Como se v, precisamos calcular agora eAt para a matriz A dada acima. e
Cap tulo 9
353/1628
A primeira questo que devemos nos colocar se a matriz A diagonalizvel ou no. Seus autovalores so a e e a a a 1 = E. 9.5 Exerccio. Verique! Os autovetores associados podem ser escolhidos na forma 2 2 2 40 + 2 40 2 2 20 20 , . v1 = v2 = 1 1 E. 9.6 Exerccio. Verique!
2 Como facilmente se v, caso 2 40 = 0, ou seja, caso = 20 , a matriz A tem dois autovalores distintos e e , portanto, diagonalizvel. Se, porm, = 20 , tem-se v1 = v2 e a matriz A no mais simples e, portanto, no e a e a e a e diagonalizvel. a
2 2 40 2
2 =
2 2 40 . 2
Vamos tratar esses dois casos separadamente. O leitor convidado a fazer como exerc todos os clculos que forem e cio a deixados indicados. O caso = 20 Nesse caso A diagonalizvel pela matriz P = v1 , v2 , ou seja e a 1 0 0 2
+
P 1 AP = D = onde P = v1 , v2
=
2 2 40 2 20
2 2 40 2
0 +
0 2
2 40 2
Calculando-se a inversa, tem-se
1
2 0 2 2 40 2 0
2 2 40 2 20 . 1
P 1
Da segue que , eAt = P eDt P 1 = P e

1 t
+ 2 +
2 2 40
2 40
2 2 40
. 2 2 40 e1 t e2 t 1 e1 t 2 e2 t
2 2 40
0 P 1 = e2 t
1
2 2 40
2 e1 t + 1 e2 t
2 0 e1 t + e2 t
Alternativamente, usando as expresses (5.47)-(5.48), obtemos para A a representaao espectral A = 1 E1 + 2 E2 com o c E1 = 1 1 2 2 2 0 1 1 , E2 = 1 2 1 1 2 0 1 2 ,
(9.26)
de onde, usando eAt = e1 t E1 + = e2 t E2 , obtm-se novamente a expresso (9.26). e a
Cap tulo 9
354/1628
c a E. 9.7 Exerccio. Verique as armaoes acima. Em particular, verique que E1 e E2 so projetores e satisfazem E1 E2 = e E1 + E2 = . O leitor convidado agora a escrever as frmulas expl e o citas para x(t) e v(t) que advm de (9.25) e (9.26). Para x(t), e por exemplo, obtm-se e x(t) = et/2 x0 cos(1 t) + onde 1 =
2 0
x0 + 2v0 1 sen (1 t) + 21 m1 2 . 4
t 0
e(ts)/2 sen 1 (t s) f (s) ds ,
Essa expresso vale tanto para 0 > /2 quanto para 0 < /2. Nesse segundo caso 1 torna-se um n mero imaginrio a u a puro: 1 = i2 , onde 2 = real. A soluao para x(t) ca e c x(t) = et/2 x0 cosh(2 t) + x0 + 2v0 1 senh(2 t) + 22 m2
t 0
2 2 0 4
e(ts)/2 senh 2 (t s) f (s) ds .
O caso = 20 > 0
Nesse caso a matriz A ca A =
0 2 4
1 .
A pode ser levada ` sua forma de Jordan (vide Seao 5.7.4, pgina 248 e antecedentes) J = P 1 AP , onde a c a 4 0 2 1 1 2 2 , , P = P 1 = J = . 2 2 0 0 1 2 4 Note-se que J = D + N , onde 2 D = 0 0 , 2 0 0 1 . 0
N =
a E fcil vericar que D e N comutam e que N 2 = 0. Assim,
eAt = P e(D+N )t P 1 = P eDt eN t P 1 , sendo que e 2 0

t
0 e 1 0
t 2
eDt =
eN t = + N t =
. 1
Cap tulo 9
355/1628
Portanto,
At
O leitor convidado agora a escrever as frmulas expl e o citas para x(t) e v(t) que advm de (9.25). Para x(t), por e exemplo, obtm-se e 1 t x(t) = et/2 1 + t x0 + t v0 + (t s)e(ts)/2 f (s) ds . 2 m 0 O caso = 0
t 1+ 2
t/2
te
t/2
2 t t/2 e 4
t 2
et/2
Analisemos tambm o caso = 0, que corresponde ` ausncia do termo de amortecimento v(t) na equaao de e a e c movimento da part cula. Nesse caso 0 1 A = 2 0 0 1 sen (0 t) 0 . cos(0 t)
1 = i0 , 2 = i0 e, por (9.26), eAt = cos(0 t) 0 sen (0 t)
O leitor convidado agora a escrever as frmulas expl e o citas para x(t) e v(t) que advm de (9.25). Para x(t), por e exemplo, obtm-se e t 1 v0 sen (0 t) + sen (0 (t s))f (s) ds , x(t) = x0 cos(0 t) + 0 m0 0 O caso k = 0, = 0. Part cula submetida a fora externa dependente do tempo c Nesse caso, usando a notaao anterior, c x(t) = g(t) , ou seja, com A = A nilpotente com A2 = 0. Logo e eAt = + At = 1 0 t 1 . Y (t) = AY (t) + F (t) 0 0 1 0 .
O leitor convidado agora a escrever as frmulas expl e o citas para x(t) e v(t) que advm de (9.25). Para x(t), por e exemplo, obtm-se e 1 t x(t) = (x0 + v0 t) + (t s)f (s) ds . m 0 Por exemplo, no caso de f ser constante, segue disso a conhecid ssima relaao x(t) = x0 + v0 t + c
f 2 2m t .
Cap tulo 9
356/1628
9.4
Perturbaes de Sistemas Lineares co
Na Mecnica Clssica, na Mecnica Quntica e em outras reas da F a a a a a sica ocorrem problemas que possuem a seguinte estrutura: procura-se encontrar a soluao de uma equaao linear homognea Y (t) = A(t)Y (t), com a condiao inicial c c e c Y (0) = Y0 , sendo que A(t) da forma e A(t) = L(t) + I(t) , onde L(t) e I(t) podem depender do tempo mas I(t) , em um sentido a ser precisado, pequena. Por exemplo, I(t) pode e ser da forma I(t) = J(t), onde || uma constante pequena. Nesse contexto interessa particularmente determinar as e correoes que a presena do termo I(t) acrescenta ` soluao (supostamente conhecida) da equaao para o caso em que c c a c c I(t) identicamente nula. e Se I fosse nula, a soluao seria YL (t) = DL (t)Y0 , denominada soluao no-perturbada, onde DL (t) dada pela srie c c a e e de Dyson para L(t):
DL (t) = +
n=1
t 0 0
t1
tn1
L(t1 )L(t2 ) L(tn ) dtn dtn1 dt1 .
Deve-se esperar que, se I for pequena, a soluao de Y (t) = A(t)Y (t) no deve estar muito afastada de YL (t) = DL (t)Y0 c a (ao menos para tempos curtos) e a presena de I(t) deve perturbar a soluao YL (t) apenas ligeiramente. Como c c determinar a perturbaao que I provoca? c Esse tipo de questo muito freq entemente encontrado em F a e u sica e, no que segue, vamos empregar a srie de Dyson e para trat-la no contexto acima, de sistemas lineares. O primeiro passo consiste em denir um novo vetor coluna X(t) a por X(t) := DL (t)1 Y (t) . Vamos vericar qual condiao inicial e qual equaao diferencial X(t) obedece. Tem-se que X(0) = Y (0) = Y0 . Fora isso c c d DL (t)1 Y (t) X(t) = dt = = = = = = d DL (t)1 Y (t) + DL (t)1 Y (t) dt DL (t)1 L(t)Y (t) + DL (t)1 Y (t) DL (t)1 L(t)Y (t) + DL (t)1 A(t)Y (t) DL (t)1 L(t)Y (t) + DL (t)1 L(t) + I(t) Y (t) DL (t)1 I(t)Y (t) DL (t)1 I(t)DL (t) X(t) .
d dt
d (O fato que dt DL (t)1 = DL (t)1 L(t), usado acima, decorre de 0 = d (9.14) que dt DL (t) = L(t)DL (t)). Assim, denindo-se
d dt
DL (t)1 DL (t) e do fato j provado em a (9.27) (9.28)
I(t) := DL (t)1 I(t)DL (t) , conclu mos que X(t) satisfaz X(t) = I(t)X(t) .
Pela srie de Dyson, a soluao dessa equaao com a condiao inicial X(0) = Y0 e c c c e
t 0 0 t1 tn1
X(t) = Y0 +
n=1
I(t1 )I(t2 ) I(tn ) dtn dtn1 dt1
Y0 .
Retornando a Y (t) = DL (t)X(t), temos

t 0 0 t1 tn1
Y (t) = DL (t)Y0 + DL (t)

n=1
I(t1 )I(t2 ) I(tn ) dtn dtn1 dt1
Y0 .
(9.29)
Cap tulo 9
357/1628
De modo mais expl cito, isso e Y (t) = DL (t)Y0

t 0 0 t1 tn1
+
n=1
DL (t, t1 )I(t1 )DL (t1 , t2 )I(t2 )DL (t2 , t3 ) DL (tn1 , tn )I(tn )DL (tn ) dtn dt1
Y0 . (9.30)
Vamos supor que I(t) seja da forma I(t) = J(t). Substituindo na ultima expresso, obtemos a soluao expressa em a c termos de uma srie de potncias em : e e
Y (t) = DL (t)Y0
+
n=1
n
0
t 0
t1
tn1
DL (t, t1 )J(t1 )DL (t1 , t2 )J(t2 )DL (t2 , t3 ) DL (tn1 , tn )J(tn )DL (tn ) dtn dt1
Y0 . (9.31)
Tanto em (9.30) quanto em (9.31), o primeiro termo da expanso DL (t)Y0 , que coincide com a soluao para o caso a e c em que I nula, ou seja, com a soluao no-perturbada. Os demais termos so, portanto, as correoes que procurvamos e c a a c a a ` soluao no-perturbada. Esses termos so denominados correoes perturbativas. Podemos re-escrever (9.30) e (9.31) c a a c em termos da soluao no-perturbada YL como c a
t 0 0 t1 tn1
Y (t) = YL (t) +
n=1
DL (t, t1 )I(t1 )DL (t1 , t2 )I(t2 )DL (t2 , t3 ) DL (tn1 , tn )I(tn )YL (tn ) dtn dt1 (9.32)
Y (t) = YL (t)+
n=1
n
0
t 0
t1
tn1
DL (t, t1 )J(t1 )DL (t1 , t2 )J(t2 )DL (t2 , t3 ) DL (tn1 , tn )J(tn )YL (tn )dtn dt1 . (9.33)
De particular interesse em aplicaoes a situaao em que L(t) L, constante, em cujo caso (9.30) ca c e c
Y (t) = eLt Y0 + eLt

n=1 0
t 0
t1
tn1
eLt1 I(t1 )eL(t1 t2 ) I(t2 )eL(t2 t3 ) eL(tn1 tn ) I(tn )eLtn dtn dt1
Y0 ,
e (9.31) assume a forma
Y (t) = eLt Y0 + eLt

n=1
n
0
t 0
t1
tn1
eLt1 J(t1 )eL(t1 t2 ) J(t2 )eL(t2 t3 ) eL(tn1 tn ) J(tn )eLtn dtn dt1
Y0 . (9.34)
Com as diversas expresses de acima podemos contemplar explicitamente as correoes perturbativas que o termo I(t) o c adiciona ` soluao no-perturbada YL . No caso em que L constante e I da forma I(t) = J(t), (9.34) indica que as a c a e e correoes de primeira e segunda ordem em so, respectivamente, c a eLt
0 t
eLt1 J(t1 )eLt1 dt1 Y0
2 eLt
0
t 0
t1
eLt1 J(t1 )eL(t1 t2 ) J(t2 )eLt2 dt2 dt1 Y0 .
Todas as expresses obtidas acima so empregadas na F o a sica Quntica. As expresses (9.27) e (9.28) descrevem as a o equaoes de evoluao no chamado quadro de interaao, ou representaao de interaao, e as expresses (9.31) e (9.34) so c c c c c o a denominadas sries de Dyson no quadro de interaao. Na Seao 9.5, pgina 359, mostraremos que a srie de Dyson, e c c a e e, portanto, os resultados de acima, podem ser expressos em termos dos chamados produtos de tempo ordenado. Essa representaao de particular interesse na Teoria Quntica da Campos. c e a
Cap tulo 9
358/1628
Um problema de teoria de perturbaoes c
Consideremos o problema de uma part cula de massa m presa a uma mola de constante k(t) = k0 + k1 (t) onde e um n mero pequeno, e sem nenhuma fora adicional agindo sobre a part u c cula. Ou seja, a constante de mola tem uma pequena dependncia temporal e desejamos estudar o efeito dessa pequena perturbaao sobre a soluao obtida quando e c c = 0, a qual , sabidamente, e v0 x0 cos(0 t) + sen (0 t) , 0 2 onde 0 = k0 /m. A equaao de movimento m(t) = k(t)x(t), ou seja, c e x
2 x(t) = 0 +
k1 (t) m
x(t) , x(t) , e v(t)
que em forma de um sistema de duas equaoes de primeira ordem ca Y (t) = A(t)Y (t), onde Y (t) = c A(t) = A + J(t), com A = em primeira ordem em e 0 2 0 1 0 e J(t) =
0 0 . Pelas expresses obtidas em (9.31) e (9.34), a soluao o c 1 m k1 (t) 0

t 0
eAt Y0 + eAt De modo mais expl cito, isso igual a e 1 sen (0 t)v0 0 1 sen (0 t) 0 cos(0 t)
eAt1 J(t1 )eAt1 dt1 Y0 .
cos(0 t)x0 +
0 sen (0 t)x0 + cos(0 t)v0 0 cos(0 t) 0 sen (0 t)
1 Para a posiao x(t), a correao de primeira ordem em ` soluao no-perturbada cos(0 t)x0 + 0 sen (0 t)v0 , portanto, c c a c a e
1 2 sen (0 t1 ) cos(0 t1 )x0 + m0 sen (0 t1 )v0 t k1 (t1 ) 0 1 cos2 (0 t1 )x0 + sen (0 t1 ) cos(0 t1 )v0 m
dt1 .
cos(0 t)
0
k1 (t1 ) sen (0 t1 ) cos(0 t1 )x0 + 1 sen (0 t) 0

t 0
1 sen 2 (0 t1 )v0 m0
dt1
k1 (t1 ) cos2 (0 t1 )x0 +
1 sen (0 t1 ) cos(0 t1 )v0 m
dt1 . (9.35)
O clculo expl a cito dessas integrais depende da forma de k1 (t). E. 9.8 Exerccio. Calculando as integrais, obtenha explicitamente a expresso em (9.35) para o caso em que k1 (t) = a sen (1 t). H que se distinguir as situaoes em que 1 = 20 e em que 1 = 20 . No segundo caso surgiro termos que a c a crescem linearmente com t e que, portanto, saem fora do regime perturbativo para t grande. Vide comentrios abaixo e a procure ler nos bons livros de Mecnica Clssica (por ex., Arnold [8], Landau-Lifchitz [108]) algo sobre o assunto ressonncia a a a paramtrica. e Comentrio nal sobre as sries perturbativas a e
Se for pequeno e t no for muito grande a aproximaao de primeira ordem em uma aproximaao razoavelmente a c e c boa para a soluao. As correoes de ordem superior em podem tambm ser calculadas, embora seu cmputo que cada c c e o vez mais complexo, como se v pela expresses (9.29) e seguintes. e o
Cap tulo 9
359/1628
Para t os termos individuais da srie perturbativa (9.29) podem divergir com t, sem que a soluao x(t) seja e c ela mesmo divergente. Esse tipo de comportamento no to estranho assim se nos lembrarmos, por exemplo, do que a e a acontece com a srie da Taylor da funao seno (ou co-seno): e c sen (t) = Os primeiros termos so a (1)n 2n+1 2n+1 t (2n + 1)! n=0
3 3 5 5 t + t + . 6 120 Cada um deles diverge quanto t (para qualquer = 0 xo, no importa o quo grande ou pequeno) mas a funao a a c sen (t) permanece limitada. t
A liao a se aprender que certas expanses podem no ser boas quando se deseja estudar o comportamento para c e o a t grande das soluoes. Tal o caso da srie de Taylor acima e da srie de Dyson (em muitos casos). Para estudar o c e e e comportamento para t grande preciso procurar expanses que sejam uniformemente convergentes em t para toda a reta e o real.
9.5
Mais sobre a Srie de Dyson. Produtos de Tempo Ordee nado
A funo degrau, ou funo de Heaviside ca ca
Dene-se a chamada funao degrau ou funao de Heaviside4 , (s), s R (tambm denotada por H(s)), por c c e (s) H(s) := 1, se s 0 0, se s < 0 . (9.36)
Dena-se tambm, para m N e t1 , . . . , tm R, e E bastante fcil de constatar pela deniao que a c m (t1 , . . . , tm ) := (tm1 tm )(tm2 tm1 ) (t1 t2 ) . 1, se tm tm1 t1 0, de outra forma
m (t1 , . . . , tm ) :=
(9.37)
Seja Sm o grupo de permutaoes de m c ndices {1, . . . , m}. Os elementos de Sm so bijeoes de {1, . . . , m} em a c si mesmo. H um importante fato sobre a funao m : se os m n meros reais t1 , . . . , tm forem todos distintos entre si, a c u ento a m (t(1) , . . . , t(m) ) = 1 . (9.38)
Sm
Para prov-la, observe-se que, devido ao fato de R ser totalmente ordenado, para uma m-upla t1 , . . . , tm R composta a de elementos distintos existe um e somente um elemento 0 Sm tal que t0 (m) < . . . < t0 (1) . Assim, por (9.37), segue que h no lado esquerdo de (9.38) apenas um termo no-nulo: aquele que corresponde a 0 , e esse termo vale 1, tambm a a e devido a (9.37). A condiao de os pontos t1 , . . . , tm serem todos distintos entre si importante nesse racioc c e nio, mas o conjunto dos pontos que no a satisfazem um conjunto de medida nula em Rm . Da podemos armar que (9.38) vale a e , quase em toda a parte em Rm (ou seja, vale em todo Rm , exceto em um subconjunto de medida nula). Reescrevendo a srie de Dyson e D(t) = +
m=1
4 Oliver
Pretendemos apresentar uma outra maneira de representar a srie de Dyson (9.11): e

0 t 0 t1 tm1
A(t1 )A(t2 ) A(tm ) dtm dtm1 dt1 .
(9.39)
Heaviside (18501925).
Cap tulo 9
360/1628
da qual certas conseqncias podem ser mais facilmente extra ue das. O leitor h de notar que nas integrais em (9.39) as a variveis t1 , . . . , tm aparecem ordenadas na forma 0 tm tm1 t1 t. Dessa forma, no produto de matrizes a A(t1 )A(t2 ) A(tm ), os fatores aparecem ordenados (da esquerda para a direita) de acordo com a ordem temporal decrescente dos argumentos. Devido ` propriedade (9.37) de m (t1 , . . . , tm ), podemos reescrever (9.39) na forma a
D(t) = +
m=1
t 0
m (t1 , . . . , tm )A(t1 )A(t2 ) A(tm ) dtm dtm1 dt1 .
(9.40)
Note o leitor que uma diferena entre (9.39) e (9.40) est nos limites superiores das integraoes, que passam a ser todos c a c iguais a t, o que permitido pela introduao dos fatores m (t1 , . . . , tm ) nos integrandos, fatores esses que se anulam e c caso a restriao tm tm1 t1 seja violada. c Se F (t1 , . . . , tm ) uma funao integrvel de m variveis, tem-se evidentemente que e c a a
t 0 t t t
F (t1 , . . . , tm ) dtm dtm1 dt1 =
F (t(1) , . . . , t(m) ) dtm dtm1 dt1 ,
para qualquer permutaao Sm . c E. 9.9 Exerccio. Justique! Sugesto: mudana de variveis mais a observao que o hipercubo [0, t]m invariante por a c a ca e permutaoes das coordenadas. c Assim, como Sm possui m! elementos, segue trivialmente que
t 0 t
F (t1 , . . . , tm ) dtm dtm1 dt1 =
1 m!
t Sm 0
F (t(1) , . . . , t(m) ) dtm dtm1 dt1 ,
pois os termos somados no lado direito so todos iguais. Aplicando essa simples identidade a (9.40), tem-se a D(t) = + Vamos denir T A(t1 )A(t2 ) A(tm ) :=
Sn
1 m! m=1
t Sm 0
m (t(1) , . . . , t(m) )A(t(1) )A(t(2) ) A(t(m) ) dtm dtm1 dt1 .
(9.41)
m (t(1) , . . . , t(m) )A(t(1) )A(t(2) ) A(t(m) ) .
(9.42)
Para uma m-upla (t1 , . . . , tm ) [0, t]m composta de elementos distintos, existe um e somente um elemento 0 Sm tal que t0 (m) < . . . < t0 (1) . Segue disso que o lado direito de (9.42) vale A(t0 (1) )A(t0 (2) ) A(t0 (m) ). O leitor deve observar que esse produto aparece ordenado da esquerda para a direita na ordem decrescente dos argumentos. Por essa razo a expresso do lado esquerdo de (9.42) denominada produto de tempo ordenado das matrizes A, denotada por a a e T (A(t1 ) A(tm )): Com essa notaao podemos escrever (9.41) na forma c D(t) = + 1 m! m=1
t 0 t
T A(t1 )A(t2 ) A(tm ) dtm dtm1 dt1 .
(9.43)
Essa forma de representar a srie de Dyson freq entemente empregada na Teoria Quntica de Campos, sendo e e u a que l as matrizes A(t) so substitu a a das por operadores com valores em distribuioes e os produtos de tempo ordenado c so denidos em um sentido distribucional e de forma iterativa, de modo a permitir um tratamento de problemas de a renormalizaao. Para uma referncia moderna sobre tais assuntos, vide [156]. c e O caso comutativo
Uma situaao particular de interesse aquela na qual as matrizes A(s) comutam para valores distintos do argumento, c e ou seja, A(s)A(s ) = A(s )A(s) para todos s, s . Tal o caso, por exemplo, se A(s) forem matrizes 1 1, ou se forem e
Cap tulo 9
361/1628
diagonais, ou ainda se forem da forma A(s) = f (s)B para alguma matriz constante B e alguma funao real ou complexa c f . Sob essa hiptese de comutatividade, tem-se que para todo Sm o A(t(1) )A(t(2) ) A(t(m) ) = A(t1 )A(t2 ) A(tm ) pois a ordem dos fatores no importa, devido ` comutatividade. A expresso (9.41) ca, ento, a a a a D(t) =
1 m! m=1 1 m! m=1

t 0 t 0
0 t
Sm
m (t(1) , . . . , t(m) ) A(t1 )A(t2 ) A(tm ) dtm dtm1 dt1
(9.38)
A(t1 )A(t2 ) A(tm ) dtm dtm1 dt1

m
comut.
1 + m! m=1
t
A( )d
0
def.
exp
0
A( )d
(9.44)
Usando que D(t, s) = D(t)D(s)1 , obtm-se e

t
D(t, s) = exp
s
A( )d
(9.45)
Conclu mos que no caso comutativo, a soluao da equaao Y = A(t)Y (t) + F (t) com uma condiao inicial Y (0) = Y0 c c c dada em (9.12) ca Y (t) = e
Rt
0
A( )d
Y0 +
0
t R t
A( )d
F (s) ds .
(9.46)
O estudante pode constatar que no caso n = 1 (um sistema com uma unica equaao de primeira ordem) a expresso c a acima corresponde precisamente ` soluao dada em (8.2), pgina 325. a c a
9.6
Sistemas de Equaes Diferenciais Lineares no Plano Comco plexo
Em (9.1), e em tudo que vimos at aqui, consideramos sistemas lineares de equaoes diferenciais onde a varivel t e c a assumida real. Para muitos propsitos importantes, alguns dos quais discutiremos abaixo, conveniente alargar um e o e pouco o dom de nossas consideraoes e discutir sistemas lineares de equaoes diferenciais denidas no plano complexo. nio c c Por simplicidade trataremos apenas equaoes homogneas, caso em que se encontra a maioria das aplicaoes. A Seo c e c ca 9.7.3, pgina 385, discute exemplos. Para referncias gerais sobre o assunto, recomendamos [167] e [82]. a e Seja A(z) uma matriz m m complexa cujos elementos Aij (z), i, j = 1, . . . , m, so funoes de uma varivel complexa a c a z em um certo dom nio aberto e simplesmente conexo comum D do plano complexo: D C. Consideremos a equaao c diferencial linear e homognea e Y (z) = A(z)Y (z) , (9.47) onde Y (z) denota um vetor coluna de funoes complexas c y1 (z) . Y (z) = . . . ym (z)
Cap tulo 9
362/1628
Estaremos aqui interessados em estudar esses sistemas de equaoes diferenciais quando uma condiao inicial fornec c e cida, ou seja, quando o valor de Y (z) em um ponto z0 D especicado: e 0 y1 . Y (z0 ) =: Y0 = . , .
0 ym 0 0 com y1 , . . . , ym sendo constantes complexas. Notemos que ao procurarmos soluoes Y (z) de (9.47) implicitamente c e sub-entendido que as mesmas funoes Y (z) sejam anal c ticas, pois apenas funoes anal c ticas so diferenciveis. a a
9.6.1
O Caso Anal tico
Comecemos pelo caso no qual a matriz A(z) analtica em um dom e nio aberto simplesmente conexo D, ou seja, todos os seus elementos de matriz Aij (z) so funoes anal a c ticas de z em D. Uma primeira pergunta importante diz respeito ` a unicidade da soluao da equaao diferencial Y (z) = A(z)Y (z), z D, com a condiao Y (z0 ) = Y0 para algum z0 D. c c c Essa pergunta pode ser respondida usando nosso resultado anterior (do comeo deste cap c tulo) que garante unicidade de soluao de sistemas lineares de equaoes diferenciais com variveis reais. c c a De fato, seja z(t), t [0, 1], uma curva arbitrria cont a nua e diferencivel em D e tal que z(0) = z0 . Sejam Y1 a e Y2 duas soluoes anal c ticas de Y (z) = A(z)Y (z), z D, com a mesma condiao Y1 (z0 ) = Y2 (z0 ) = Y0 . Sejam c X1 (t) := Y1 (z(t)) e X2 (t) := Y2 (z(t)). Denamos tambm B(t) := z(t)A(z(t)). Notemos que B(t) uma matriz cont e e nua em t, pois A(z) anal e tica. a E fcil, ento, constatar que X1 e X2 so ambos soluoes da equaao diferencial a a c c X(t) = B(t)X(t), t [0, 1] ,
com a condiao X(0) = Y0 . Pelas nossas consideraoes anteriores, isso implica X1 (t) = X2 (t), t [0, 1], ou seja, c c Y1 (z(t)) = Y2 (z(t)), t [0, 1]. Como a curva z(t) arbitrria e sua imagem pode estar em todo D, isso implica e a Y1 (z) = Y2 (z) para todo z D. Isso prova a unicidade da soluao de Y (z) = A(z)Y (z), z D, com condiao c c Y1 (z0 ) = Y2 (z0 ) = Y0 . Uma vez garantida a unicidade da soluao, tentemos exib c -la. O que faremos seguir a inspiraao fornecida pela srie e c e de Dyson, estudada anteriormente, e tentar generaliz-la para o plano complexo. a A srie de Dyson no plano complexo e Seja ento D um dom a nio aberto simplesmente conexo do plano complexo e A(z) anal tica em D e limitada em D. Seja tambm z0 D. e
Uma vez demonstrada a unicidade da eventual soluao de uma equaao como Y (z) = A(z)Y (z) com condiao c c c Y (z0 ) = Y0 precisamos demonstrar que a soluao existe. O que faremos generalizar nossas consideraoes anteriores c e c sobre a srie de Dyson para o plano complexo. e Para z e w D , seja D(z, w) a matriz m m denida por
D(z, w) = +
n=1
z w
z1 w
zn1
A(z1 )A(z2 ) A(zn ) dzn dzn1 dz1 .
(9.48)
Acima, todas as integraoes complexas so feitas em uma curva C, simples, orientada de w a z e inteiramente contida em c a D. Para cada n os pontos z1 , . . . , zn so ordenados em sentido crescente ao longo de C. Mais precisamente, denotamos a por C a curva cont nua e diferencivel C : [0, 1] D parametrizada por t [0, 1] com w = C(0), z = C(1). Ento, para a a cada n, tem-se zk = C(tk ), 1 k n, com 0 t1 tn 1.
Devido ao fato de A ser anal tica no dom nio simplesmente conexo D, a matriz D(z, w) no depende da particular a curva orientada C adotada que conecta w a z (justique isso!). Armamos que a equaao Y (z) = A(z)Y (z) com uma condiao Y (z0 ) = Y0 tem soluao, a qual dada por c c c e Y (z) = D(z, z0 )Y0 (9.49)
Cap tulo 9
363/1628
A demonstraao ser feita provando-se que o lado direito satisfaz a equaao diferencial e a condiao inicial. Como a c a c c soluao unica (pelo provado acima), infere-se que no pode haver outra. c e a Comecemos por mostrar que a srie que aparece em (9.48) convergente, sem o que aquela expresso no faria sentido. e e a a O leitor facilmente constatar que o que faremos uma simples imitaao da prova anterior para a reta real, dado que a e c somente faremos uso da hiptese de que A(z) limitada em D. o e Sejam z e w dois pontos de um dom nio D sob as hipteses acima (D aberto e simplesmente conexo) e seja Cwz o e uma curva cont nua, diferencivel, orientada, ligando w a z e inteiramente contida em D. Para z Cwz , denotemos a c e por l(z ) lCwz (z ) o comprimento medido de w a z ao longo da curva Cwz . A funao l : Cwz R+ bijetora na sua imagem e, portanto, possui uma inversa, o que nos permite parametrizar os pontos de Cwz pelo comprimento l medido ao longo de Cwz a partir de w. Denotaremos por z (l) essa parametrizaao, ou seja, z (l) o ponto de Cwz c e cuja distncia a w ao longo de Cwz l R+ . a e E um fato bem conhecido da teoria das funoes de variveis complexas que se f : D C ao menos cont 5, ento c a e nua a f (z )dz , a integral de f de w a z ao longo da curva Cwz , pode ser estimada por f (z )dz
l(z) 0 Cwz
Cwz
|f (z (l))| dl .
(9.50)
Denotando por Dab (z, w) o elemento ab da matriz D(z, w), temos
Dab (z, w)
= ab +
n=1
z w m
z1 w m
zn1
w m
(A(z1 )A(z2 ) A(zn ))ab dzn dzn1 dz1

z w z1 w zn1
= a b +
n=1 k1 =1 k2 =1
kn1 =1
Aak1 (z1 )Ak1 k2 (z2 ) Akn1 b (zn ) dzn dz1 .
Denindo como antes := max max |Aab (z)|, aplicando (9.50) e escrevendo l1 l(zj ), j = 1, . . . , n, temos
a, b m zD m l(z) 0 0 l1 ln1
|Dab (z, w)|
1+
n=1 k1 =1
kn1 =1 m
l1 0
|Aak1 (z (l1 ))| |Ak1 k2 (z (l2 ))| Akn1 b (z (ln )) dln dl1
1+
n=1
n k1 =1
l(z) 0 m
ln1
kn1 =1
dln dl1
1+
n
n=1
l(z)n n!
k1 =1
1
kn1 =1
1+ = 1+
n
n=1
l(z)n n1 m n! .
1 eml(z) 1 m
Acima, usamos o fato, demonstrvel por induao, que a c

l(z) 0 0 l1 ln1
dln dl1 =
l(z)n . n!
(9.51)
Como mencionamos, l(z) a distncia de w a z ao longo da curva de integraao, ou seja, o comprimento total dessa e a c e curva. Se D for um dom nio convexo, podemos tomar a curva de integraao como sendo a linha reta que une w a z, em c cujo caso teremos l(z) = |z w|. No precisamos, no entanto, supor convexidade de D. a
5 Essa
condiao pode ser enfraquecida. c
Cap tulo 9
364/1628
Provamos ento que, para cada elemento de matriz ab, a srie do lado direito de (9.48) absolutamente convergente, a e e e isso para todo w e z D. Como, para cada N N, as funoes c
N m m m z w z1 w zn1
fN (z, w) = ab +
n=1 k1 =1 k2 =1
kn1 =1
Aak1 (z1 )Ak1 k2 (z2 ) Akn1 b (zn ) dzn dz1 .
so anal a ticas em D (pois integrais de funoes anal c ticas so tambm anal a e ticas), conclu mos do exposto acima que cada elemento de matriz Dab (z, w) o limite uniforme (por qu?) da seqncia de funoes anal e e ue c ticas fN (z, w). Um teorema importante da anlise complexa (vide e.g. [178]) arma que sob essas circunstncias Dab (z, w) tambm anal a a e e tica em D. Para mostrar que (9.49) representa de fato a soluao procurada, vamos mostrar que c D(z, w) = A(z)D(z, w) . z De fato, D(z, w) z = z
(9.52)
+
n=1 z
z w
z1 w
zn1
w z
A(z1 )A(z2 ) A(zn ) dzn dzn1 dz1 .

z1
+ z
A(z1 ) dz1 +
w z z1 w z z2 w w w
A(z1 )A(z2 ) dz2 dz1
+
w
A(z1 )A(z2 )A(z3 ) dz3 dz2 dz1 +

z z2 w
= 0 + A(z) +
w
A(z)A(z2 ) dz2 +
w z z2 w z1 w z
A(z)A(z2 )A(z3 ) dz3 dz2 +
= A(z) + = A(z) +
A(z2 ) dz2 +
w z w z
A(z2 )A(z3 ) dz3 dz2 + A(z1 )A(z2 ) dz2 dz1 +
A(z1 ) dz1 +
w w
= A(z)D(z, w) , como quer amos provar. Acima, na quinta igualdade, zemos uma srie de mudanas de nomes das variveis de integraao, e c a c chamando z2 de z1 , z3 de z2 etc. De maneira anloga prova-se tambm que a e D(z, w) = D(z, w)A(w) . w c E. 9.10 Exerccio. Faa! E tambm evidente pela deniao (9.48) que para todo z vale D(z, z) = . Notemos que, por (9.49), Y (z0 ) = e c D(z0 , z0 )Y0 = Y0 , mostrando que o lado direito de (9.49) satisfaz a condiao Y (z0 ) = Y0 . Derivando o lado direito de c (9.49) em relaao a z, tem-se c Y (z) = D(z, z0 )Y0 = A(z)D(z, z0 )Y0 = A(z)Y (z) , z
provando que o lado direito de (9.49) satisfaz a equaao diferencial. Como a soluao unica, ela deve ser aquela dada c c e em (9.49).
Cap tulo 9
365/1628
De maneira anloga ao caso real podemos igualmente provar que vale a regra de composiao a c D(z1 , z3 ) = D(z1 , z2 )D(z2 , z3 ) , para quaisquer z1 , z2 e z3 contidos no dom nio simplesmente conexo onde A anal e tica. E. 9.11 Exerccio. Prove (9.53) mostrando que ambos os lados satisfazem as mesmas equaoes diferenciais e as mesmas c condioes iniciais. c A equao no-homognea ca a e E. 9.12 Exerccio importante. Para A e F anal ticas em um dom aberto e simplesmente conexo D e limitadas em D, nio mostre que a soluo geral da equao no-homognea Y (z) = A(z)Y (z) + F (z) com condio Y (z0 ) = Y0 , z0 D ca ca a e ca e
z
(9.53)
Y (z) = D(z, z0 )Y0 +

z0
D(z, w)F (w)dw ,
(9.54)
onde D(z, z0 ) foi denida acima e a integrao do lado direito tomada em qualquer curva simples, cont ca e nua e diferencivel a em D, pois D e F so anal a ticas em D. Analiticidade da soluo ca
Uma importante concluso que tiramos da anlise acima que, sob a hiptese que A anal a a e o e tica em D e limitada em D, ento a soluao Y da equaao homognea Y (z) = A(z)Y (z) com condiao Y (z0 ) = Y0 , z0 D igualmente anal a c c e c e tica em D pois, como vimos, D(z, z0 ) anal e tica em z. Soluoes nulas c
H uma conseqncia das consideraoes acima que bastante elementar, possuindo, porm, implicaoes profundas, a ue c e e c como veremos, por exemplo, quando discutirmos equaoes com pontos singulares. Expressaremos essa conseqncia em c ue forma de uma proposiao: c Proposio 9.2 Seja a equaao homognea Y (z) = A(z)Y (z) onde A(z) analtica em um domnio aberto e simplesca c e e mente conexo D. Ento, se Ys (z) uma soluao dessa equaao que se anula em um ponto z0 D, ou seja, Ys (z0 ) = 0, a e c c vale Ys (z) = 0 para todo z D. Essa proposiao diz que se a soluao de uma equaao linear homognea Y (z) = A(z)Y (z) anula-se em algum ponto c c c e de D (com A(z) anal tica em um dom nio aberto e simplesmente conexo D), ento ela anula-se em todo D. A prova a a e simples observaao que, pelo que vimos, a soluao dada por Y (z) = D(z, z0 )Y (z0 ). c c e Equaoes matriciais complexas c
Consideremos agora a equaao M (z) = A(z)M(z), com condiao M(z0 ) = M0 , onde A(z) e M(z) so matrizes c c a m m, a incgnita sendo a matriz M(z) e a matriz A(z) sendo anal o tica em um dom nio aberto e simplesmente conexo D. Veremos facilmente que podemos tratar esse problema com os mesmos mtodos do anterior, onde a incgnita era um e o vetor coluna Y de m componentes e no uma matriz quadrada. De fato, como toda matriz m m, a matriz M(z) da a e forma (para notaao, vide pgina 187) c a M(z) = M1 (z), . . . , Mm (z) ,
At agora estudamos equaoes da forma Y (z) = A(z)Y (z), com condiao Y (z0 ) = Y0 , onde A(z) uma matriz e c c e m m anal tica em um dom nio aberto e simplesmente conexo D que contm z0 e onde Y um vetor coluna com m e e componentes: y1 (z) . Y (z) = . . . ym (z)
Cap tulo 9
366/1628
onde Mi (z) so vetores coluna com m componentes, representando a i-sima coluna da matriz M(t). a e Nessa notaao a equaao diferencial M (z) = A(z)M(z) ca c c
M1 (z), . . . , Mm (z)
A(z)M1 (z), . . . , A(z)Mm (z) ,
ou seja, tem-se um conjunto de m sistemas de equaoes independentes c Mi (z) = A(z)Mi (z), i = 1, . . . , m (9.55)
do tipo que tratamos acima, onde as incgnitas so vetores coluna. o a Para cada uma dessas equaoes valem todas as armaoes provadas acima. Assim conclu c c mos que a equaao matricial c M (z) = A(z)M(z), com condiao M(z0 ) = M0 , tem soluao unica, a qual dada por c c e Mi (z) = D(z, z0 )Mi (z0 ) , Reunindo as colunas Mi novamente na matriz M, temos M(z) = D(z, z0 )M0 como soluao unica de M (z) = A(z)M(z), com condiao M(z0 ) = M0 . c c A partir do exposto acima fcil demonstrar a validade da composiao D(z, z0 ) = D(z, z1 )D(z1 , z0 ) para quaisquer e a c pontos z0 , z1 e z do dom nio aberto e simplesmente conexo D. Como D(z0 , z0 ) = , isso em particular diz que toda matriz D(z, z0 ) invers com D(z, z0 )1 = D(z0 , z). e vel Uma simples mas importante observaao que se pode fazer que, como a matriz fundamental D(z, z0 ) invers c e e vel, M(z) ser invers para todo z D se e somente se M0 o for. Ou seja, se a soluao da equaao M (z) = A(z)M(z), a vel c c com A(z) anal tica em um dom nio aberto simplesmente conexo D anal e tica em um ponto de D, ento o em todo D. a e Vamos aqui discutir propriedades dessas equaoes diferenciais matriciais homogneas, com A(z) uma matriz m c e m anal tica em um dom nio aberto e simplesmente conexo D. Se M1 (z) uma soluao desta equaao, constata-se e c c trivialmente que, para qualquer matriz m m constante C, a matriz M2 (z) = M1 (z)C igualmente soluao de M (z) = e c A(z)M(z), bastando para tal multiplicar a equaao ` direita por C. c a A seguinte armaao rec c proca tambm verdadeira: e e Proposio 9.3 Se M1 (z) e M2 (z) so duas soluoes inversveis de M (z) = A(z)M(z), com A(z) analtica em um ca a c domnio aberto e simplesmente conexo D, ento existe uma matriz constante inversvel C tal que M2 (z) = M1 (z)C a para todo z D. Prova. Para ver isso, seja z0 um ponto arbitrrio de D e dena-se M0 = M1 (z0 ) e M0 = M2 (z0 ). Seja ento C := a a 1 2 (M0 )1 M0 . Ento, teremos que M3 (z), denida por M3 (z) = M2 (z) M1 (z)C tambm soluao da equaao M (z) = a e e c c 1 2 A(z)M(z), mas que obviamente anula-se em z0 . Com isso, pela Proposiao 9.2, M3 (z) identicamente nula em todo D, c e ou seja, M2 (z) = M1 (z)C para todo z D. Conseqncias dessas observaoes sero discutidas na Seao 9.6.3. ue c a c i = 1 ,..., m .
9.6.2
Resoluo por Sries de Potncias ca e e
A possibilidade, revelada acima, de se apresentar a soluao da equaao homognea Y (z) = A(z)Y (z) com condiao c c e c Y (z0 ) = Y0 , z0 D, em termos da matriz D(z, w) (a qual depende apenas de A) interessante do ponto de vista terico e o mas nem sempre do ponto de vista prtico, pois nem sempre poss computar a srie innita de integrais de produtos a e vel e de matrizes que compe D(z, w) (a srie de Dyson). No entanto, uma das concluses tericas da anlise acima, a saber, o e o o a o fato de Y ser anal tica, aponta para um outro mtodo de resoluao, esse sim mais simples de ser usado em aplicaoes. e c c Trata-se do Mtodo de Sries de Potncias que descreveremos agora. e e e
Cap tulo 9
367/1628
e O fato de Y ser anal tica nos diz a priori que Y pode ser expressa por uma srie de Taylor convergente centrada em z0 : Y (z) =
n=0
(z z0 )n Yn ,
(9.56)
onde Yn so vetores-coluna constantes com m componentes, tal qual Y (z). Note-se que, pela expresso acima, Y (z0 ) = Y0 . a a Para ver isso, tome z = z0 em ambos os lados da expresso. a Como a matriz A igualmente anal e tica em torno de z0 , A pode ser expressa por uma srie de Taylor convergente e centrada em z0 :
A(z) =
n=0
(z z0 )n An ,
onde An so igualmente matrizes m m constantes. Com isso, a equaao diferencial Y (z) = A(z)Y (z) ca a c
n=0
(n + 1)(z z0 )n Yn+1
=
k=0
(z z0 )k Ak
l=0
(z z0 )l Yl
=
k=0 l=0
(z z0 )k+l Ak Yl
n
=
n=0
(z z0 )n
Anp Yp ,
p=0
(9.57)
o que nos leva a concluir que Yn+1 =
1 Anp Yp , n + 1 p=0
n 0 .
(9.58)
E. 9.13 Exerccio importante. Complete os detalhes das deduoes que levam a (9.57) e (9.58). c A expresso (9.58) nos permite obter os vetores Yn recursivamente a partir de Y0 . Com isso, a soluao Y (z) ca a c determinada por sua srie de Taylor (9.56). Esse o mtodo de resoluao por sries de potncias. Por exemplo, para e e e c e e n = 0, (9.58) nos d a Y1 = A0 Y0 . Para n = 1, (9.58) nos d a 1 1 (A1 Y0 + A0 Y1 ) = A1 + A2 Y0 , 0 2 2 e assim por diante. Os primeiros termos da soluao Y (z) so, ento, c a a Y2 = Y (z) = Y0 + (z z0 )A0 Y0 + (z z0 )2 A1 + A2 Y0 + = 0 2
+ (z z0 )A0 +
(z z0 )2 A1 + A2 + 0 2
Y0 .
Isso permite-nos identicar a expresso entre colchetes { } como sendo a expanso em srie de Taylor de D(z, z0 ). a a e E. 9.14 Exerccio. Determine Y3 e Y4 em termos de Y0 . E. 9.15 Exerccio importante. Desenvolva o mtodo de expanso em srie de potncias para a resoluo da equao e a e e ca ca no-homognea Y (z) = A(z)Y (z) + F (z) com condio Y (z0 ) = Y0 , z0 D, onde A e F so anal a e ca a ticas em um dom nio simplesmente conexo D e limitadas em D.
Cap tulo 9
368/1628
9.6.3
Sistemas com Pontos Singulares. Monodromia
Nas pginas anteriores consideramos equaoes diferenciais como Y (z) = A(z)Y (z) onde A(z) era suposta ser anal a c tica em um certo dom nio aberto e simplesmente conexo D. H in meros problemas importantes nos quais essa situaao no a u c a encontrada, de modo que devemos afrouxar um pouco as condioes sobre a analiticidade de A(z). Consideraremos aqui e c a situaao na qual A anal c e tica dentro de um anel aberto Az0 , a, b centrado em z0 C com raio interno a e raio externo b denido por Az0 , a, b := z C a < |z z0 | < b , sendo 0 a < b (os casos em que a = 0 e/ou b = podem ser tambm permitidos). Vide Figura 9.1. Uma t e pica situaao na qual isso ocorre se d quando A(z0 ), ou seja, alguns de seus elementos de matriz, tem uma singularidade c a tipo plo ou essencial6 em um ponto z0 . Em verdade, interessaremo-nos mais pelo caso de singularidades tipo plo, caso o o que, felizmente, corresponde ` maioria das aplicaoes. a c Notemos que a hiptese de A(z) ser anal o tica em um anel Az0 , a, b signica que A(z) pode ser expressa em uma srie e de Laurent7 convergente (vide e.g. [31]) em Az0 , a, b :
A(z) =
m=
(z z0 )m Am .
Notemos que um anel Az0 , a, b uma unio de dom e a nios abertos e simplesmente conexos do tipo Sz0 , a, b (1 , 2 ), com
b z0
Figura 9.1: Um anel do tipo Az0 , a, b . 0 < 2 1 < 2, onde Sz0 , a, b (1 , 2 ) := z C| z z0 = ei , com a < < b e 1 < < 2 .
Denominaremos essas regies setores. Vide Figura 9.2. o

6 Para 7 Pierre
o estudante que queira recordar esses conceitos sugerimos, por exemplo, [31]. Alphonse Laurent (18131854).
Cap tulo 9
369/1628
b z0
Figura 9.2: Em cinza, um setor Sz0 , a, b (1 , 2 ) no interior do anel Az0 , a, b .
Monodromia
Se tomarmos z1 e z dentro do anel Az0 , a, b , podemos encontrar um setor Sz0 , a, b (1 , 2 ) que contm ambos os e pontos (se, por exemplo, na representaao polar, z1 = 1 ei1 e z = ei , podemos tomar 1 < min{1 , } mod 2 e c 2 < max{1 , } mod 2). Como A anal e tica dentro de um tal setor e o mesmo simplesmente conexo, podemos e representar a matriz de Dyson D(z, z1 ) na forma (9.48) com as integrais tomadas em um caminho orientado de z1 a z inteiramente contido no interior de Sz0 , a, b (1 , 2 ) (e, portanto, de Az0 , a, b ). Isso permite denir D(z, z1 ) dentro de cada setor. Uma questo muito importante para o que segue saber o que ocorre com a matriz D(z, z1 ) se, xando z1 , zermos a e z dar uma volta de 2 em torno do ponto z0 . Mais precisamente, consideremos os pontos z() denidos por z() := (z z0 )ei + z0 . Como fcil constatar, ao variarmos entre 0 e 2, z() move-se em um c e a rculo de raio |z z0 | centrado em z0 e orientado em sentido anti-horrio, sendo que z(0) = z(2) = z. Para 0 < 2, os pontos z1 e z() esto dentro a a de algum setor simplesmente conexo de Az0 , a, b e podemos escrever, por (9.53), D(z(), z1 ) = D(z(), z)D(z, z1 ). Consideremos a matriz D(z(), z). A mesma pode ser expressa na forma (9.48), sendo que podemos tomar como caminho de integraao o arco de c c rculo orientado no sentido anti-horrio C() que vai de z a z() (lembremo-nos que a |z() z0 | = |z z0 |). Vide Figura 9.3. A para a matriz D(z, z1 ) podemos tomar o caminho de integraao C1 da Figura c 9.3. A medida em que aproxima-se de 2, o caminho de integraao aproxima-se do c c rculo fechado de raio |z z0 | (indicado por C na Figura 9.3), orientado de z a z no sentido anti-horrio. Vemos assim que a
2
lim D(z(), z1 ) = M D(z, z1 )
onde
M := lim D(z(), z) .
2
Pela deniao e pela representaao (9.48), c c
M = +
n=1 z z
w1
wn1
A(w1 )A(w2 ) A(wn ) dwn dwn1 dw1 ,
(9.59)
c a rculo fechado C de raio |z z0 |, onde por z entende-se a integraao (na varivel w1 ) de z a z tomada ao longo do c orientado de z a z no sentido anti-horrio. Como se percebe, esse c a rculo corresponde ao arco C(2). Devido ` expresso (9.59), fcil constatar que M , no depende da particular curva C tomada unindo z a z, desde a a e a a que essa curva d exatamente uma volta em torno de z0 sentido anti-horrio sem abandonar Az0 , a, b . Devido ao fato de o e a
Cap tulo 9
370/1628
C1 C() z1 z0 z()
Figura 9.3: O arco de c rculo orientado no sentido anti-horrio C() que vai de z a z(). a
integrando ser anal tico dentro de todos os setores de Az0 , a, b , podemos deformar continuamente o caminho de integraao c sem alterar seu valor, desde que no se abandone Az0 , a, b . Podemos, assim, tomar como caminho de integraao em (9.59) a c qualquer curva fechada que d uma volta completa no sentido anti-horrio em torno de z0 ao longo do anel Az0 , a, b , sem e a sair do mesmo. Em particular, vemos com esse argumento que M tambm no depende do ponto z. e a A matriz M denominada matriz de monodromia associada ` matriz A(z) em Az0 , a, b . Se M = , dizemos que e a D(z, z1 ) possui uma monodromia no-trivial. a Caso M = (veremos exemplos logo adiante), a matriz de Dyson D(z, z1 ) no uma funao un a e c voca, ou seja, quando a varivel z d uma volta de 2 em torno de z0 , D(z, z1 ) no volta ao mesmo valor. Esse fenmeno bem conhecido a a a o e na teoria das funoes de varivel complexa e associado ` presena de singularidades do tipo ponto de ramicaao. Por c a e a c c exemplo, para a funao complexa ln(z), z = 0, vale lim ln(zei ) = ln(z) + 2i e para a funao complexa z , z = 0, com c c
2
Z, vale lim (zei ) = e2i z .

2
Mais propriedades da matriz de monodromia
Um comentrio que ser importante que toda matriz de monodromia invers a a e e vel. Para vermos isso, notemos que pela deniao, M = lim2 D(z(), z). Assim, considerando o ponto z() (escolhido de forma arbitrria, porm convec a e niente), tem-se pela frmula de composiao (9.53) que M = lim2 D(z(), z) = lim2 D(z(), z())D(z(), z) = o c Db (z, z())Da (z(), z), sendo que Da (z , z) envolve integraoes ao longo de um arco Ca , orientado de z a z(), e c Db (z, z()) envolve integraoes ao longo do arco Cb , orientado de z() a z. Ambos os arcos esto contidos em Az0 , a, b . c a A unio Ca Cb uma curva fechada que d exatamente uma volta completa no sentido anti-horrio em torno de z0 ao a e a a longo do anel Az0 , a, b , sem sair do mesmo. Ambas as matrizes Da (z , z) e Db (z, z ) so invers a veis. Portanto, a matriz M tambm o . e e Um segundo comentrio que a matriz de monodromia comuta com D(z, z1 ) e com A(z) para todos z, z1 Az0 , a, b . a e Para ver isso, considere a curva C, fechada, orientada, inteiramente contida em Az0 , a, b , indicada na Figura 9.4. Essa curva a fronteira de uma regio simplesmente conexa, portanto, se f (z) uma funao anal e a e c tica em Az0 , a, b , sua integral
Cap tulo 9
371/1628
f (w) dw ao longo de C nula. Por essa razo, tem-se que e a
+
n=1 C z
w1
wn1
A(w1 )A(w2 ) A(wn ) dwn dwn1 dw1 = ,
(9.60)
pois todas as integrais ao lado direito se anulam (os integrandos so anal a ticos). A curva C pode ser continuamente deformada ` curva fechada indicada na Figura 9.5 sem alterar a igualdade (9.60). Tem-se agora, porm, que o percurso a e ao longo de C pode ser caminhado pelo seguinte conjunto de percursos sucessivos: 1) partindo do ponto z1 ao longo da curva C1 at o ponto z; 2) partindo de z ao longo da curva fechada C2 , orientada no sentido anti-horrio, at de volta a e a e z; 3) partindo de z at z1 , ao longo da curva C3 ; 4) partindo de z1 ao longo da curva fechada C4 , orientada no sentido e horrio, at de volta a z1 . Essas consideraoes e a expresso para M em (9.59) em termos de integraoes ao longo de a e c a c um circuito arbitrrio fechado que d uma volta no sentido anti-horrio em torno de z0 , levam-nos a concluir que (9.60) a a a signica que M 1 D(z1 , z)M D(z, z1 ) = . Como D(z1 , z) = D(z, z1 )1 , conclu mos que M D(z, z1 ) = D(z, z1 )M , ou seja, M e D(z, z1 ) comutam para quaisquer z, z1 Az0 , a, b . Derivando em relaao a z, obtemos M A(z)D(z, z1 ) = A(z)D(z, z1 )M e tomando z1 = z, segue que c M A(z) = A(z)M , ou seja, M e A(z) comutam para qualquer z Az0 , a, b .
C z0
Figura 9.4: A curva fechada orientada C.
Os dois exerc cios que seguem exibem mais propriedades de matrizes de monodromia em certos casos. E. 9.16 Exerccio. Monodromia no caso comutativo. Considere o caso em que A(z) uma matriz anal e tica no anel Az0 , a, b e tal que A(z)A(z ) = A(z )A(z) para todos z, z Az0 , a, b . Usando (9.45), pgina 361, e (9.59), mostre que a M = exp A(w) dw , (9.61)
a integral sendo tomada ao longo de qualquer curva fechada que d exatamente uma volta completa no sentido anti-horrio e a em torno de z0 ao longo do anel Az0 , a, b , sem sair do mesmo.
Cap tulo 9
372/1628
C1 z1 C2 z0
C3
C4
Figura 9.5: A curva fechada orientada C composta dos segmentos orientados C1 , C2 , C3 e C4 . Os pontos z1 e z.
Sejam A(z) matrizes n n anal ticas no anel Az0 , a, b . Suponha que dentro de Az0 , a, b existam E. 9.17 Exerccio. n2 pontos distintos z1 , . . . , zn2 com a propriedade que as n2 matrizes A(z1 ), . . . , A(zn2 ) so linearmente independentes. a a Mostre que isso implica que M = para algum C, = 0. Sugesto: explore o fato que M A(z) = A(z)M para todo z Az0 , a, b . * Antes de examinarmos as conseqncias da existncia de uma monodromia no-trivial para a matriz D(z, z1 ) , ue e a devemos mostrar exemplos concretos onde se tem M = . Monodromia no trivial. Um exemplo a
O seguinte exemplo8 ilustrativo. Seja A(z) = z 1 R, onde R a matriz constante e e R = 0 1 , (9.62)
sendo um n mero complexo xo arbitrrio. Claramente A(z) singular em z0 = 0 e anal u a e tica em todo anel A0, b = {z C| 0 < |z| < b}, com qualquer b > 0. Tomando z1 A0, b , xo, a matriz de Dyson D(z, z1 ) dada por9 e D(z, z1 ) = pois, como facilmente se constata, essa matriz satisfaz
8 Esse 9 Em
z z1
1 0
ln
z z1
(9.63)
z D(z,
z1 ) = A(z)D(z, z1 ) e D(z1 , z1 ) = .
exemplo extra com pequenas modicaoes de [167]. e do c tudo o que segue utilizaremos o chamado ramo principal do logaritmo de uma varivel complexa z. Ou seja, se z C tem a a decomposiao polar z = |z|ei com < , ento ln(z) = ln |z| + i. c a
Cap tulo 9
373/1628
a E. 9.18 Exerccio. As matrizes A(z) = z 1 R, acima, comutam para valores diferentes de z. Por essa razo, D(z, z1 ) pode ser calculada com o uso da expresso (9.45), pgina 361. Obtenha (9.63) dessa forma. a a Fixando-se z1 , fcil vericar que e a lim D(zei , z1 ) = lim zei z1
1 0
ln
zei z1
= e2i
z z1
1 0
ln
z z1
+ 2i 1
= M D(z, z1 ) ,
com a matriz de monodromia M sendo dada por M = e2i 1 0 2i 1 . (9.64)
E. 9.19 Exerccio. Obtenha (9.64) fazendo uso da relao (9.61), vlida no caso comutativo. Verique explicitamente que ca a M A(z) = A(z)M para todo z A0, b . Vide Exerc E. 9.16. cio ca E. 9.20 Exerccio. Mostre, fazendo uso da relao (9.61), que para qualquer matriz R a matriz de monodromia associada `s funoes A(z) = z p R, com p Z, p = 1, M = , ou seja, a monodromia trivial. a c e e * A existncia de monodromias no-triviais em equaoes singulares do tipo que consideramos aqui um fato relevante e a c e c que, como veremos, tem conseqncias sobre a forma geral das soluoes. ue Um comentrio sobre a matriz de monodromia a
Como j observamos, toda matriz de monodromia M invers a e vel. Vamos mostrar que para cada M existe uma matriz tal que M = e2i . Por exemplo, para a M dada em (9.64) podemos tomar = R, onde R dada em (9.62) e (verique!). Para a prova geral, vamos primeiro escrever M na sua forma de Jordan (vide Teorema 5.20, pgina 243): a seja T invers tal que T 1 M T = D + N onde D diagonal, N nilpotente e DN = N D. Denimos, ento, vel e e a := 1 T ln D + ln( + D1 N ) T 1 . 2i
Antes de prosseguirmos comentemos que essa expresso est bem denida. De fato, D uma matriz diagonal D = a a e diag (d1 , . . . , dm ), tendo na diagonal os autovalores de M . Como M invers e vel, nenhum desses autovalores nulo, e e a assim ln D est bem denida como ln D = diag (ln(d1 ), . . . , ln(dm )). Fora isso, ln( + D1 N ) dada (j que D e N a k comutam) por k=0 (1)k D1 N k , que uma soma nita, pois N nilpotente. e e Isto posto, dado que ln D e ln( + D1 N ) comutam (por que?), fcil ento ver que e a a e2i = T exp ln D + ln( + D1 N ) T 1 = T exp (ln D) exp ln( + D1 N ) T 1 = T D( + D1 N )T 1 = T (D + N )T 1 = M, como quer amos provar. Logo abaixo usaremos a matriz e o fato agora provado que M = e2i para extrair algumas concluses sobre a o forma geral das soluoes com pontos singulares do tipo aqui tratado. Para isso, faremos uso da matriz eln(zz0 ) . Vamos c discutir sua forma geral. Como toda matriz, pode ser conduzida ` sua forma de Jordan por uma transformaao de a c similaridade: existe matriz Q invers tal que QQ1 = D0 + N0 onde D0 diagonal, N0 nilpotente e D0 N0 = N0 D0 . vel e e Com isso, eln(zz0 ) = Q1 eln(zz0 )(D0 +N0 ) Q = Q1 eln(zz0 )D0 eln(zz0 )N0 Q .
Cap tulo 9
374/1628
e Se a matriz D0 for a matriz diagonal diag (1 , . . . , m ) ento a matriz eln(zz0 )D0 a matriz diagonal diag ((z a m e ndice menor ou igual a m (ou seja N0 = 0), os z0 )1 , . . . , (z z0 )m ). Por outro lado, como N0 nilpotente de ln(zz0 )N0 so polinmios em ln(z z0 ) de ordem menor ou igual a m 1. Conseq entemente, a o u elementos de matriz de e cada elemento de matriz eln(zz0 ) ab da forma e
m1 m kl (z z0 )l Cab
eln(zz0 )
ab
=
k=0 l=1
(ln(z z0 ))k
(9.65)
kl para certas constantes complexas Cab (algumas podendo ser nulas).
Note-se que os l so, em geral, n meros complexos: os autovalores de . a u E. 9.21 Exerccio importante. Complete os detalhes que levam a (9.65). Observaao importante. Como a expanso de eln(zz0 )N0 c a
m1
eln(zz0 )N0 = +
k=1
k (ln(z z0 ))k N0
contm o termo , a expanso (9.65) sempre contm um termo no-nulo do tipo (ln(z z0 ))k com k = 0, ou seja, h um e a e a a termo no-nulo que no envolve potncias de ln(z z0 ). Essa observaao ser lembrada adiante. a a e c a A forma geral das soluoes c A discusso que segue baseada na referncia [167], cuja leitura recomendamos. a e e Seja a equaao Y (z) = A(z)Y (z) com A(z) anal c tica no anel Az0 , a, b e seja como antes D(z, z1 ), z, z1 Az0 , a, b , uma matriz fundamental dessa equaao com uma matriz de monodromia M = e2i . Para z1 xo, seja S(z) a matriz c denida por S(z) := e ln(zz0 ) D(z, z1 ) . Pelas hipteses sobre D(z, z1 ) e pelas propriedades da funao logaritmo, S(z) anal o c e tica em cada setor Sz0 , a, b (1 , 2 ) com 0 < 2 1 < 2.
Consideremos o que ocorre com S(z) quando a varivel z d uma volta de 2 em torno de z0 , ou seja, comparemos a a S(z) com10 lim2 S (z z0 )ei + z0 . Temos que
2
lim S (z z0 )ei + z0
lim
exp ln((z z0 )ei ) D (z z0 )ei + z0 , z1 lim ei lim D (z z0 )ei + z0 , z1
e ln((zz0 ))
= e ln((zz0 )) e2i M D(z, z1 ) = e ln((zz0 )) M 1 M D(z, z1 ) = e ln((zz0 )) D(z, z1 ) = S(z) . Isso diz-nos que S(z) cont e nua no anel Az0 , a, b . Como anal e tica em cada setor Sz0 , a, b (2 , 1 ) com 0 < 2 1 < 2, conclu mos que S(z) analtica em Az0 , a, b . Se pudermos tomar o raio interno do anel arbitrariamente pequeno, S(z) e
10 Note que, para z e z xos, quando varia de 0 a 2 os pontos (z z )ei + z descrevem um c rculo orientado no sentido anti-horrio a 0 0 0 no plano complexo e centrado em z0 . Esse c rculo tem raio |z z0 |, inicia-se e termina em z.
Cap tulo 9
375/1628
pode ser singular em z0 . Essa singularidade, porm, se houver, ser do tipo plo ou do tipo singularidade essencial, mas e a o no do tipo ponto de ramicaao, pois isso contrariaria o fato de S(z) ser anal a c tica em qualquer anel centrado em z0 . Resumimos nossos concluses em forma de uma proposiao. o c Proposio 9.4 Seja a equaao Y (z) = A(z)Y (z) com A(z) matriz m m analtica no anel Az0 , a, b e seja como antes ca c D(z, z1 ), com z, z1 Az0 , a, b , uma matriz fundamental dessa equaao com matriz de monodromia M = e2i . Ento, c a para z1 xo, D(z, z1 ) da forma e D(z, z1 ) = eln(zz0 ) S(z), (9.66) onde S(z) analtica no anel Az0 , a, b . Se pudermos tomar o raio interno do anel arbitrariamente pequeno, S(z) pode e ser singular em z0 , a singularidade, se houver, sendo do tipo plo ou do tipo singularidade essencial. o Conseqentemente, por (9.65), cada elemento de matriz D(z, z1 )ab , para z1 xo, da forma u e
m1 m
D(z, z1 )ab =
k=0 l=1
kl (z z0 )l (ln(z z0 ))k Fab (z) ,
(9.67)
kl a, b = 1, . . . , m, onde cada funao Fab (z) analtica no anel Az0 , a, b . Novamente, se pudermos tomar o raio interno do c e kl anel arbitrariamente pequeno, cada Fab (z) pode ser singular em z0 . Essa singularidade, se houver, do tipo plo ou do e o tipo singularidade essencial. As constantes complexas l so os autovalores de . Os termos com k = 0 so no-nulos. a a a
E. 9.22 Exerccio importante. Complete os detalhes que conduzem a (9.67). E. 9.23 Exerccio. Qual a relao entre os expoentes l e os autovalores da matriz de monodromia M ? Sugesto: pela ca a construo acima, os expoentes l so os autovalores de e M = e2i . ca a O Mtodo de Frobenius e
A forma geral das matrizes fundamentais apresentada acima sugere e justica um mtodo de soluao para o caso de e c sistemas de equaoes lineares provenientes de uma equaao diferencial ordinria de ordem m (vide Seao 9.7): c c a c y (m) (z) + am1 (z)y (m1) (z) + a1 (z)y (z) + a0 (z)y(z) = 0 , onde as funoes a0 (z), . . . , am1 (z) so anal c a ticas em Az0 , b := {z C| 0 < |z z0 | < b} . O mtodo consiste em procurar soluoes na forma y(z) = (z z0 ) (ln(z z0 ))k f (z), para algum C, algum k = e c 0, . . . , m 1, inteiro e f (z) anal tica no anel Az0 , b . Como f possui uma singularidade tipo plo ou essencial em z0 , ela o pode ser representada em Az0 , b por uma srie de Laurent convergente (vide e.g. [31]): e
(9.68)
f (z) =
n=
cn (z z0 )n .
A tarefa consiste em determinar C, k = 0, . . . , m 1, e os coecientes cn de modo que a equaao (9.68) seja c satisfeita. Esse mtodo conhecido como mtodo de Frobenius11 . Em certos casos esse mtodo muito ecaz, fornecendo e e e e e soluoes para uma classe muito grande de equaoes diferenciais de interesse. Mais sobre ele, adiante. c c Note-se que, pela observaao importante da pgina 374, sempre h pelo menos uma soluao que no envolve potncias c a a c a e de ln(z z0 ). Singularidades tipo plo de S(z). Pontos singulares regulares o
11 Ferdinand
Retornando ` (9.66), faamos alguns comentrios sobre as singularidades de S(z) em z0 . a c a

Georg Frobenius (18491917).
Cap tulo 9
376/1628
Como dissemos, caso z0 seja um ponto singular de A(z), a matriz S(z), sendo anal tica em Az0 , b , ou possui uma singularidade do tipo plo em z0 ou uma singularidade essencial. No caso de a singularidade ser do tipo plo (de qualquer o o ordem), z0 dito ser um ponto singular regular12 da equaao Y (z) = A(z)Y (z). e c No caso de z0 ser um ponto singular regular uma simplicaao importante pode ser feita. c Se S(z) tem um plo de ordem l em z0 , ento S(z) = (z z0 )l S0 (z), onde S0 (z) anal o a e tica em z0 . Com isso, a forma geral (9.66) pode ser reescrita como D(z, z1 ) = S0 (z) eln(zz0 ) , onde = l. E. 9.24 Exerccio. Verique! Como se constata, a mesma forma de (9.66), envolvendo apenas uma redeniao da matriz , sendo que agora o e c e a fator S0 (z) uma matriz anal e tica. O ponto importante que a concluso (9.67) sobre a forma geral dos elementos de kl matriz de D(z, z1 ) igualmente vlida, sendo que agora, porm, as funoes Fab (z) so funoes anal e a e c a c ticas de z em z0 e no apenas no anel Az0 , b . a Nesse caso, ento, o mtodo de Frobenius discutido acima adquire o seguinte aspecto: procura-se soluoes na forma a e c
y(z) = (z z0 ) (ln(z z0 ))k
n=0
cn (z z0 )n
e tenta-se determinar , k e os coecientes cn de modo que a equaao diferencial seja satisfeita. Esse mtodo ecaz c e e e, em muitos casos, prtico, fornecendo soluoes para vrias equaoes diferenciais de interesse na F a c a c sica. Mais sobre o mtodo de Frobenius pode ser encontrado nos bons livros sobre equaoes diferenciais e F e c sica-Matemtica ou no Cap a tulo 10, com exemplos. A questo que se coloca ento : quando ocorre que S(z) possui apenas singularidades do tipo plo em z0 ? A resposta a a e o depende do tipo de singularidade que a prpria matriz A(z) possui em z0 . Comearemos a discutir isso na Seao 9.6.4. o c c
9.6.4
Sistemas com Pontos Singulares Simples
Nesta seao seguiremos muito proximamente a discusso da Seao 2 do cap c a c tulo V da referncia [167], cuja leitura e recomendamos fortemente. De especial importncia em aplicaoes so equaoes diferenciais Y (z) = A(z)Y (z) nas quais A(z) possui um plo a c a c o simples em z0 , ou seja, A(z) da forma A(z) = (z z0 )1 A0 (z), onde A0 (z) anal e e tica em z0 . Nesse caso, em que z0 e um plo simples de A(z), dizemos que z0 um ponto singular simples da equaao diferencial. o e c Essa situaao tambm particularmente feliz pois, como veremos, nesse caso z0 um ponto singular regular. Isso c e e e e o conte do do seguinte teorema: u Teorema 9.1 Se z0 um ponto singular simples da equaao diferencial Y (z) = A(z)Y (z), ou seja, A0 (z) := (zz0 )A(z) e c analtica em z0 , ento z0 um ponto singular regular dessa equaao, ou seja, S(z) (denida acima) tem no mximo e a e c a uma singularidade tipo plo em z0 . o Prova. (Extra de [167], com ligeiras modicaoes). Comecemos com alguns comentrios preparatrios. da c a o 1. Para uma matriz complexa m m qualquer K denotamos por K sua norma operatorial, denida por K
12 Comentrio. a
:=
sup
vCm , v=0
Kv C , v C
A expresso ponto singular regular parece conter uma contradiao em termos pois, na teoria das funoes de variveis a c c a complexas, os adjetivos singular e regular so comummente empregados como antnimos. A expresso ponto singular regular aparentea o a mente provem de uma traduao imprecisa do Alemo, mas manteve-se, por razes histricas, em vrias l c a o o a nguas. Na expresso ponto singular a regular o adjetivo regular deve ser entendido no sentido de comum, ordinrio. Com isso pretende-se dizer que a singularidade em z0 a no do tipo mais grave, como no caso de singularidades essenciais. a e
Cap tulo 9
377/1628
onde, para v = (v1 , . . . , vm ) Cm , denimos a norma vetorial v 2. Para qualquer elemento ab de uma matriz K vale
m
:=
|v1 |2 + + |vm |2 .
|Kab |
c=1
|Kcb |2 =
Keb
onde eb o vetor da base cannica cuja b-sima componente 1 e as demais so nulas. Como bvio, eb C = 1. e o e e a eo Assim, Keb C Kv C |Kab | sup =: K . (9.69) eb C v C vCm , v=0 E. 9.25 Exerccio. Justique a segunda desigualdade. 3. Da deniao da norma operatorial de uma matriz K, evidente que vale Kv C K v C para qualquer vetor c e v. Pela deniao, bem fcil constatar desse fato que norma operatorial de um produto de matrizes satisfaz c e a KL para quaisquer matrizes complexas m m K e L. E. 9.26 Exerccio. Prove isso. Agora passemos ` demonstraao do teorema. Com z, z1 Az0 , b e z1 xo, vamos denotar D(z, z1 ) por (z). a c Obviamente, (z) satisfaz (z) = A(z)(z) = (z z0 )1 A0 (z)(z) . (9.71) Vamos escrever, para z Az0 , b , z = z0 + rei . Assim, r > 0 mede a distncia de z a z0 . Vamos tambm denir, para a e r > 0, . = D z0 + rei , z1 f (r, ) := (z) = z0 + rei K L , (9.70)
Cap tulo 9
378/1628
Temos que (abaixo z = z0 + rei e w = ei ) f (r, ) r = z0 + rei r = lim z0 + (r + )ei z0 + rei
=
por
lim
z0 + (r + )ei
z0 + rei z0 + (r + )ei z0 + rei 0 lim
(3.22)
lim
z0 + (r + )ei z0 + rei z + ei (z) 0 ei (z + w) (z) w
ei lim
= ei
=1
z + ei (z) 0 ei lim
=
por
w0
lim
(z) 1 A0 (z)(z) r z0 + rei
(9.71)
(z z0 )1 A0 (z)(z) 1 A0 (z) r (z) =
por
(9.70)
1 A0 (z) r
= onde C := fato que sup

|zz0 |<a f r (r,
1 A0 (z) f (r, ) r C f (r, ) , r
A0 (z) . Note-se que C nito pois, por hiptese, A0 (z) anal e o e tica em torno de z0 . Obviamente, o
C r f (r,
) implica C f (r, ) + f (r, ) 0 . r r 1 f C (r, ) + 0, f (r, ) r r
Obviamente, essa relaao diz que c
ln rC f (r, ) 0 . r Integrando essa expresso entre r e r1 (com 0 < r < r1 < a. Doravante, r1 estar xo.), temos a a ln
C r1 f (r1 , ) rC f (r, )
ou seja,
0.
C Para x positivo, ln x 0 implica x 1. Assim, r1 f (r1 , ) rC f (r, ). Isso implica
f (r, )
02
d , rC
C com d := max r1 f (r1 , ). Com o que vimos, estabelecemos que
(z)
d |z z0 |C
Cap tulo 9
379/1628
para todo z Az0 , b com |z z0 | < r1 . Sabemos que S(z) = e ln(zz0 ) (z). Logo, com |z z0 | < r1 , S(z) (z) e ln(zz0 ) d |z z0 |C e ln(zz0 ) . (9.72)
e a u Vamos agora concentrar-nos em e ln(zz0 ) . Como fcil de se ver, vale para qualquer matriz B e qualquer n mero complexo
eB
+
k=1
k k B k!
1+
k=1
||k Bk k!
1+
k=1
||k B k!
= e||
E. 9.27 Exerccio. Complete os detalhes. Para qualquer n mero complexo w = |w|ei , tem-se ln w = ln |w| + i (vide nota-de-rodap 9, ` pgina 372) e, u e a a portanto, | ln w|2 = (ln |w|)2 + ()2 (| ln |w|| + ||)2 . Logo, | ln w| | ln |w|| + || | ln |w|| + . Se |w| < 1 isso pode ser escrito como | ln w| ln |w| + . Assim, escolhendo |z z0 | < 1, teremos e ln(zz0 ) e| ln(zz0 )|

e| ln(zz0 )|
e ln |zz0 | e
e |z z0 |
Retornando a (9.72), conclu mos que para |z z0 | < r1 e |z z0 | < 1, tem-se S(z) onde p := C + 0 e d = de
d , |z z0 |p
. Logo, por (9.69), vale para cada elemento de matriz S(z)ab de S(z)
zz0
lim |z z0 |p |S(z)ab | d ,
sendo, portanto, nito. Isso implica que para qualquer inteiro k maior que p tem-se que a matriz (z z0 )k S(z) anal e tica em z0 , implicando que S(z) tem uma singularidade tipo plo em z0 . o Um comentrio a
A rec proca do Teorema 9.1 no verdadeira: um contra-exemplo (de [167]) sendo o caso em que a e A(z) = 0 2z 2 1 0 ,
Claramente z0 = 0 um ponto singular regular, j que D(z, z1 ) tem um plo de ordem 2 em z0 = 0. e a o E. 9.28 Exerccio. Para A e D dados acima, verique que que a matriz de monodromia de D(z, z1 ) . e
z D(z,
que claramente tem um plo de ordem dois em z0 = 0. No se trata, portanto, de uma singularidade simples. Para esse o a caso, porm, tem-se, para todo z, z1 Az0 , b , e 1 2 1 2 2z z1 + z 2 z1 z 2 z1 z 1 z1 1 . D(z, z1 ) = 3 2 1 2 2 2 2(zz1 z z1 ) 2zz1 + z z1 z1 ) = A(z)D(z, z1 ) e que D(z1 , z1 ) = . Verique
A concluso mais importante do Teorema 9.1, pgina 376, diz respeito ` forma geral das soluoes de equaoes com a a a c c pontos singulares simples. Resumimos tudo no seguinte teorema.
A forma geral das soluoes no caso de singularidades simples c
Cap tulo 9
380/1628
Teorema 9.2 Seja a equaao Y (z) = A(z)Y (z) com A(z) matriz m m analtica no anel Az0 , b (para algum b > 0), z0 c sendo um ponto singular simples dessa equaao diferencial, ou seja, A0 (z) := (z z0 )A(z) analtica em z0 . Seja como c e antes D(z, z1 ), z, z1 Az0 , b , uma matriz fundamental dessa equaao com matriz de monodromia M = e2i . Ento, c a para z1 xo, D(z, z1 ) da forma D(z, z1 ) = eln(zz0 ) S(z), onde S(z) analtica no anel Az0 , b e tem no mximo uma e e a singularidade tipo plo em z0 . Isso signica que S(z) da forma S(z) = (z z0 )l S0 (z), para algum inteiro l 0, onde o e S0 analtica em z0 . Com isso, denindo = l, conclumos que D(z, z1 ) da forma e e D(z, z1 ) = eln(zz0 ) S0 (z) , Conseqentemente, cada elemento de matriz D(z, z1 )pq , para z1 xo, da forma u e
m1 m
(9.73)
D(z, z1 )pq =
k=0 l=1
kl (z z0 )l (ln(z z0 ))k Fpq (z) ,
(9.74)
kl e p, q = 1, . . . , m, onde as funoes Fpq (z) so analticas em z0 , podendo, portanto, ser expressas por sries de Taylor c a centradas nesse ponto. As constantes complexas l so os autovalores de . Os termos com k = 0 so no-nulos. a a a
9.7
Sistemas Provenientes de EDOs de Ordem m

y (m) (z) + am1 (z)y (m1) (z) + a1 (z)y (z) + a0 (z)y(z) = 0 , (9.75)
Considere-se a equaao diferencial linear homognea complexa de ordem m c e
a onde as m funoes a0 , . . . , am1 so anal c a ticas em um dom nio aberto simplesmente conexo comum D. E fcil constatar (faa!) que essa equaao equivale ao sistema c c Y (z) = A(z)Y (z) , onde y(z) y (z) . . .
e A(z) a matriz m m e 0 0 . . . 0 0
Y (z) := y (m1) (z) 1 0 . . . 0 0 0 1 .. 0 0 . 0 0 .. .. . . 0 0
(9.76)
A(z)
:=
a0 (z) a1 (z) a2 (z)
a qual anal e tica em D, por assim o serem as funoes a0 , . . . , am1 , em cujo caso aplicam-se as concluses supra-citadas, c o ou seja, a soluao y(z) igualmente anal c e tica em D. Para futura referncia coletamos essa concluso no seguinte teorema e a Teorema 9.3 Seja a equaao diferencial linear homognea complexa de ordem m c e y (m) (z) + am1 (z)y (m1) (z) + a1 (z)y (z) + a0 (z)y(z) = 0
. .. . . . , 1 0 0 1 am2 (z) am1 (z)
(9.77)
Cap tulo 9
381/1628
e suponhamos que as funoes a0 , . . . , am1 so todas analticas em um domnio aberto e simplesmente conexo D. Ento c a a as soluoes da equaao so igualmente analticas em D. Em particular, se D contiver um disco aberto Da0 := {z c c a z C| |z z0 | < a}, centrado em z0 e de raio a > 0, ento as soluoes da equaao podem ser expressas em termos de uma a c c srie de potncias e e
y(z) =
n=0
cn (z z0 )n ,
a qual converge (absolutamente) pelo menos no disco aberto Da0 , ou seja, pelo menos para todo z C tal que |z z0 | < a. z
9.7.1
Pontos Singulares Simples em EDOs de Ordem m
Seja o sistema de equaoes Y (z) = A(z)Y (z) procedente de uma EDO linear complexa homognea de ordem m como c e (9.75), com Y (z) como em (9.76) e A(z) dada em (9.77), denida em um dom nio D do plano complexo. Seja tambm e z0 D. Vamos supor que z0 seja um ponto singular de A(z), ou seja, A(z) no anal a e tica em z = z0 . E bastante claro que se as funoes ak (z), k = 0, . . . , m1, tiverem no mximo um plo de ordem 1 em z0 = 0, ou seja, se as funoes (z z0 )ak (z), c a o c k = 0, . . . , m 1, forem todas anal ticas em z0 , ento z0 ser um ponto singular regular de Y (z) = A(z)Y (z), pois, a a teremos Y (z) = (z z0 )1 A0 (z)Y (z), onde A0 (z) := (z z0 )A(z) anal e tica em z0 . Assim, nesse caso, valeriam todas as importantes concluses a que chegamos na Seao 9.6.4, pgina 376, especialmente aquelas expressas no Teorema 9.2, o c a pgina 380. a Sucede que h condioes ainda menos restritivas sobre as funoes ak (z), k = 0, . . . , m1, para as quais as importantes a c c concluses sobre a forma geral da soluao, expressas no Teorema 9.2, tambm se aplicam. A saber, tal o caso se as o c e e funoes (z z0 )mk ak (z), k = 0, . . . , m 1, forem todas anal c ticas em z0 , ou seja, se cada funao ak (z) tiver no mximo c a um plo de ordem m k em z0 . o
Introduo e motivao ca ca
No que segue iremos primeiramente justicar as armativas do ultimo pargrafo para depois extrair as concluses a o pertinentes. Esse caminho nos conduzir a uma noao mais abrangente do conceito de ponto singular simples de equaoes a c c diferenciais lineares complexas homogneas de ordem m como (9.75). e A noo de ponto singular simples para EDOs de ordem m ca
Seja ento Y (z) = A(z)Y (z) com Y (z) como em (9.76) e com A(z) dada em (9.77), denida em um dom a nio aberto e simplesmente conexo D com z0 D. Vamos denir um novo vetor coluna Y (z) := E(z)Y (z) , onde E(z) a matriz diagonal m m e 1 0 0 E(z) := . . . 0 0
0 (z z0 ) 0 . . . 0 0
0 0 (z z0 )2 .. .
.. .. . .
0 0 0 . . . (z z0 )m2 0
0 0 0 . . . 0 (z z0 )m1
0 0
ou seja, E(z) a matriz diagonal com E(z)kk = (z z0 )k1 , 1 k m. e
(9.78)
Cap tulo 9
382/1628
O porqu de procedermos essa mudana de Y para Y atravs dessa matriz E car claro logo abaixo. Diferenciando-se e c e a Y (z), teremos, para z = z0 , Y (z) = = = ou seja, denindo A(z) := (z z0 ) E(z)A(z)E(z)1 + E (z)E(z)1 , obtemos, Y (z) = (z z0 )1 A(z)Y (z) . (9.79) (9.80) E(z)Y (z) + E (z)Y (z) E(z)A(z)Y (z) + E (z)E(z)1 Y (z) E(z)A(z)E(z)1 Y (z) + E (z)E(z)1 Y (z) ,
e Para prosseguirmos (e para nalmente entendermos por que zemos a mudana de Y para Y ), muito importante c calcularmos explicitamente a matriz A(z) denida acima. E. 9.29 Exerccio muito importante. Calcule explicitamente a matriz A(z) denida acima. Use (9.79), (9.77) e (9.78).
O resultado e 0 1 0 0 1 1 0 0 2 . . . . . . 0 0 0 0 0 0 b0 (z) b1 (z) b2 (z) b0 (z) := b1 (z) := b2 (z) := . . . bm2 (z) := bm1 (z) := (z z0 )2 am2 (z) , (z z0 )am1 (z) + (m 1) . 0 0 0 0 0 0 0 0 0 , . .. . . . m3 1 0 0 m2 1 bm3 (z) bm2 (z) bm1 (z)
.. ..
. .
A(z)
onde
(z z0 )m a0 (z) , (z z0 )m1 a1 (z) , (z z0 )m2 a2 (z) ,
Como exemplo, tem-se no caso de particular interesse f sico das equaoes de segunda ordem c y (z) + a1 (z) y (z) + a0 (z) y(z) = 0
Cap tulo 9
383/1628
que E(z) =
1 0 , Y (z) = 0 z z0
y(z)
,e (z z0 )y (z)
Y (z) = (z z0 )1 A(z)Y (z),
. com A(z) = (z z0 )2 a0 (z) (z z0 )a1 (z) + 1
De volta ao caso geral, vemos que se as funoes bk (z), 0 k m 1, forem todas anal c ticas em torno de z0 , ento a A(z) ser anal a tica em torno de z0 e, portanto, o sistema (9.80) ser um sistema com um ponto singular simples em z0 . a Coloquemos, assim, a seguinte deniao: c Denio. Seja a equaao diferencial linear homognea complexa de ordem m ca c e y (m) (z) + am1 (z)y (m1) (z) + a1 (z)y (z) + a0 (z)y(z) = 0 . (9.81)
Um ponto z0 C dito ser um ponto singular simples, ou ponto singular regular dessa equaao se pelo menos uma das e c funoes ak (z) for singular em z0 mas de modo que todas as funoes (z z0 )mk ak (z), k = 0, . . . , m 1, sejam analticas c c em z0 . Isso signica que cada funao ak (z) ou analtica em z0 ou tem um plo em z0 cuja ordem deve no mximo ser c e o a m k, sendo que supostamente pelo menos uma das funoes ak (z) singular em z0 . c e Isso signica que um ponto z0 um ponto singular simples se A(z) no anal e a e tica em z = z0 mas se A(z) anal e tica em z = z0 . Assim, por exemplo, dizemos que z0 um ponto singular simples da equaao de segunda ordem (ou seja, para m = 2) e c dada por y (z) + a1 (z) y (z) + a0 (z) y(z) = 0 se a0 (z) tiver um plo de ordem no mximo 2 em z0 ou se a1 (z) tiver um o a plo de ordem no mximo 1 em z0 , ou ambos. Vrios exemplos so apresentados e discutidos na Seao 9.7.3. o a a a c No caso de z0 ser um ponto singular simples de uma equaao como (9.81), aplicam-se os resultados da Seao 9.6.4, c c pgina 376, `s soluoes de (9.80). Discutiremos adiante as implicaoes deste fato. a a c c Soluoes de equaoes com pontos singulares simples c c
Unindo as observaoes acima com o Teorema 9.2 chegamos ` seguinte importante concluso. c a a
Teorema 9.4 Seja a equaao diferencial linear homognea complexa de ordem m c e y (m) (z) + am1 (z)y (m1) (z) + a1 (z)y (z) + a0 (z)y(z) = 0 e seja z0 um ponto singular simples dessa equaao, ou seja pelo menos uma das funoes ak (z) singular em z0 mas de c c e modo que todas as funoes (z z0 )mk ak (z), k = 0, . . . , m 1, sejam analticas em z0 . Ento as soluoes da equaao c a c c diferencial so combinaoes lineares de soluoes da forma a c c y, k (z) = (z z0 ) (ln(z z0 ))k f, k (z) , para certos C, k = 0, . . . , m 1 e f, k analtica em torno de z0 . Por m, pela observaao importante da pgina 374, sempre h pelo menos uma soluao que no envolve potncias de c a a c a e ln(z z0 ), ou seja, h sempre pelo menos uma soluao com k = 0. a c
A equao de Euler ca
Um exemplo-prottipo de uma equaao com um ponto singular simples a equaao de Euler de ordem m: o c e c z m y (m) (z) + z m1 bm1 y (m1) (z) + zb1 y (z) + b0 y(z) = 0 ,
onde bm1 , . . . , b0 so constantes. Nesse caso tem-se a am1 (z) = bm1 , z am2 (z) = bm2 , z2 ..., a0 (z) = b0 zm
Cap tulo 9
384/1628
e, claramente, essa equaao possui um ponto singular simples em z0 = 0. No caso m = 2 a equaao de Euler c c e z 2 y (z) + zb1 y (z) + b0 y(z) = 0 , cujas soluoes so, caso (1 b1 )2 4b0 = 0, c a onde = ou, caso (1 b1 )2 4b0 = 0, onde 1 b1 y(z) = z + + z , (1 b1 )2 4b0 2 (9.83) (9.82)
y(z) = z 0 + ln(z) z 0 0 =
1 b1 . 2 Acima, e so constantes arbitrrias. Essas soluoes ilustram as armaoes do Teorema 9.4. a a c c c E. 9.30 Exerccio importante. Verique todas as armaoes feitas acima. Um teorema de Fuchs
H um importante teorema, devido a Fuchs, que estabelece uma rec a proca do Teorema 9.4: se toda soluao da equaao c c y (m) (z) + am1 (z)y (m1) (z) + + a1 (z)y (z) + a0 (z)y(z) = 0 (9.84)
for uma combinaao linear de funoes da forma (z z0 ) (ln(z z0 ))k f, k (z), para certos C, k = 0, . . . , m 1 e f, k c c anal ticas em torno de z0 , ento z0 um ponto singular simples de (9.84), ou seja, todas as funoes (z z0 )mk ak (z), a e c k = 0, . . . , m 1, so anal a ticas em z0 . Uma demonstraao pode ser encontrada em [167]. c
9.7.2
Singularidades no Innito
y (m) (z) + am1 (z)y (m1) (z) + a1 (z)y (z) + a0 (z)y(z) = 0 .
Seja a equaao diferencial linear homognea complexa de ordem m c e
Em muitas situaoes deseja-se estudar o comportamento dessas equaoes e suas soluoes para |z| tendendo a innito c c c e, para tal, presta-se muitas vezes estudar propriedades das soluoes como funoes de 1/z. Com isso poder c c amos, por exemplo, perguntar-nos se a soluao pode ser expressa em termos de uma srie de potncias em 1/z etc., e usar os c e e mtodos j discutidos para obter essa expanso, caso ela exista, e, dessa forma, conhecer a soluao para |z| grande. e a a c Por simplicidade limitaremos nossa discusso a equaoes de segunda ordem13 a c y (z) + a1 (z) y (z) + a0 (z) y(z) = 0 . Faamos a mudana de variveis w = 1/z. Denindo u(w) = y(z) = y(1/w), teremos c c a u (w) + 2 a1 (1/w) w w2 u (w) + a0 (1/w) u(w) = 0 . w4 (9.86) (9.85)
E. 9.31 Exerccio. Conra. Chamaremos essa equaao verso no innito da equaao (9.85). Claramente essa equaao equivale a c a c c U (w) = C(w)U (w) ,
13 Para
uma discusso mais geral, vide [167] ou [82]. a
Cap tulo 9
385/1628
com U (w) := onde
u(w) , u (w)
C(w) :=
0 c0 (w)
1 c1 (w)
c0 (w) c1 (w)
:=
a0 (1/w) , w4 2 a1 (1/w) . w w2
:=
Analogamente ao que zemos anteriormente, podemos transformar esse sistema no sistema equivalente 1 C(w)U (w) , U (w) = w onde U (w) := E(w)U (w), u(w) 0 e , U (w) = w wu (w) C(w) = 0 w2 c0 (w) C(w) := w E(w)C(w)E(w)1 + E (w)E(w)1 ,
com E(w) =
1 0
= a0 1 w wc1 (w) + 1 w2
0 1 +
1 a1
1 w
Por analogia com nossas nooes prvias, faamos as seguintes denioes: c e c c 1. Diremos que a equaao (9.85) uma equaao analtica no innito se C(w) for anal c e c tica em torno de w = 0. 2. Diremos que a equaao (9.85) tem uma singularidade no innito se C(w) no for anal c a tica em torno de w = 0. 3. Diremos que a equaao (9.85) tem uma singularidade simples no innito (ou que z0 = um ponto singular c e simples de (9.85)) se C(w) no for anal a tica em torno de w = 0 mas C(w) o for, ou seja, se c0 (w) tiver um plo de o o a ordem no mximo 2 em w = 0 ou se c1 (w) tiver um plo de ordem no mximo 1 em w = 0, ou ambos. a Vrios exemplos so discutidos na Seao 9.7.3. a a c
9.7.3
Alguns Exemplos de Interesse
Nesta seao analisaremos algumas equaoes diferenciais de importncia na F c c a sica-Matemtica previamente mencionadas a na Seao 7.1.2, pgina 308, ` luz do que discutimos neste cap c a a tulo. E. 9.32 Exerccio importante. Complete os detalhes de todos os clculos apresentados nos exemplos que seguem. a
1. A equao de segunda ordem com coecientes constantes ca y (z) + by (z) + cy(z) = 0 , onde b e c so constantes, corresponde a a A(z) = c 0 1 . b
Assim, a equaao regular em todo z0 C. c e
Cap tulo 9
386/1628
Ponto no innito. A verso no innito da equaao de segunda ordem com coecientes constantes a c e u (w) + 2 b 2 w w u (w) + c u(w) = 0 . w4
c Claramente, z0 = um ponto singular irregular da equaao de segunda ordem com coecientes constantes, e exceto no caso em que b = c = 0, onde z0 = um ponto singular regular. e 2. A equao de Euler ca z 2 y (z) + az y (z) + b y(z) = 0 , ou seja, y (z) + onde a e b so constantes, corresponde a a 0 1 a z 1 a b y (z) + 2 y(z) = 0 , z z
A(z) = b 2 z Para z0 = 0 tem-se A(z) = 0 b
Assim, z0 = 0 um ponto singular simples da equaao de Euler, exceto se a = b = 0, em cujo caso z0 = 0 um e c e ponto regular. Ponto no innito. A verso no innito da equaao de Euler a c e u (w) + b 2a u (w) + 2 u(w) = 0 . w w
. a + 1
Claramente, z0 = um ponto singular simples da equaao de Euler, exceto se a = 2 e b = 0, em cujo caso e c z0 = um ponto regular. e 3. A equao de Bessel ca z 2 y (z) + z y (z) + (z 2 2 ) y(z) = 0 , ou seja, y (z) + onde R, corresponde a 2 1 y (z) + 1 2 z z 0 2 1 z2 0 2 z2 y(z) = 0 , 1 1 z
Para z0 = 0 tem-se
A(z) =
Assim, z0 = 0 um ponto singular simples da equaao de Bessel. e c Ponto no innito. A verso no innito da equaao de Bessel a c e u (w) + 1 u (w) + w 2 1 2 w4 w
A(z) =
1 . 0
u(w) = 0.
c Claramente, c0 tem um plo de ordem 4 em w = 0. Assim, z0 = um ponto singular irregular da equaao de o e Bessel.
Cap tulo 9
387/1628
4. A equao de Legendre ca (1 z 2 ) y (z) 2z y (z) + ( + 1) y(z) = 0, ou seja, y (z) onde C, corresponde a 2z ( + 1) y (z) + y(z) = 0, 2 1z 1 z2 0 1 2z 1 z2 .
Claramente percebe-se que a equaao de Legendre anal c e tica no dom nio simplesmente conexo D formado pelo disco aberto de raio 1: D = {z C : |z| < 1}. Conclu mos que as soluoes da equaao de Legendre so anal c c a ticas nesse dom nio D. Os pontos z0 = 1 so pontos singulares da equaao de Legendre. a c Para z0 = 1 teremos A(z) = 0 ( + 1)(z 1) 1+z 1 1z 1+z
A(z) = ( + 1) 1 z2
que anal e tica em z0 = 1. Para z0 = 1 teremos
0 ( + 1)(z + 1) z1
1 1+z 1z
Ponto no innito. A verso no innito da equaao de Legendre a c e u (w) + 2w w2 1 u (w) + 1 w2
Vemos ento que os pontos z0 = 1 so pontos singulares simples da equaao de Legendre. a a c (1 + ) w2 1
que anal e tica em z0 = 1.
A(z) =
u(w) = 0 .
Claramente, z0 = um ponto singular simples da equaao de Legendre. e c 5. A equao de Hermite ca y (z) 2z y (z) + y(z) = 0 , onde R, corresponde a A(z) = 0 1 2z .
Conclu mos que a equaao de Hermite anal c e tica em todo o plano complexo, assim sendo tambm as suas soluoes. e c Ponto no innito. A verso no innito da equaao de Hermite a c e u (w) + 2 2 + 3 w w u (w) + u(w) = 0 . w4
Claramente, c0 tem um plo de ordem 4 em w = 0 e c1 tem um plo de ordem 3 em w = 0. Assim, z0 = um o o e ponto singular irregular da equaao de Hermite. c 6. A equao de Airy ca y (z) z y(z) = 0 . corresponde a A(z) = 0 1 z 0 .
Cap tulo 9
388/1628
Conclu mos que a equaao de Airy anal c e tica em todo o plano complexo, assim sendo tambm as suas soluoes. e c Ponto no innito. A verso no innito da equaao de Airy a c e u (w) + 2 1 u (w) 5 u(w) = 0 . w w
c Claramente, c0 tem um plo de ordem 5 em w = 0. Assim, z0 = um ponto singular irregular da equaao de o e Airy. 7. A equao de Laguerre ca zy (z) + (1 z) y (z) + y(z) = 0 , ou seja, y (z) + onde R, corresponde a 1 1 z y (z) + 0 z 0 z y(z) = 0 , z 1 1 1 z 1 z
Para z0 = 0 teremos
A(z) =
Assim, z0 = 0 um ponto singular simples da equaao de Laguerre. e c Ponto no innito. A verso no innito da equaao de Laguerre a c e u (w) + 1 1 + w w2 u (w) +
A(z) =
u(w) = 0 . w3
Claramente, c0 tem um plo de ordem 3 em w = 0 e c1 tem um plo de ordem 2 em w = 0. Assim, z0 = um o o e c ponto singular irregular da equaao de Laguerre. 8. A equao de Chebyshev ca (1 z 2 ) y (z) z y (z) + 2 y(z) = 0 , ou seja, y (z) onde R, corresponde a 2 z y (z) + y(z) = 0 , 2 1z 1 z2 0 1 z2 1 . z 1 z2
A(z) =
Claramente percebe-se que a equaao de Chebyshev anal c e tica no dom nio simplesmente conexo D formado pelo disco aberto de raio 1: D = {z C : |z| < 1}. Conclu mos que as soluoes da equaao de Chebyshev so anal c c a ticas nesse dom nio D. Os pontos z0 = 1 so pontos singulares da equaao de Chebyshev. a c Para z0 = 1 teremos A(z) = 0 (z 1) 1+z 1 1 1+z
Cap tulo 9
389/1628
Para z0 = 1 teremos
Ponto no innito. A verso no innito da equaao de Chebyshev a c e u (w) + 1 w 2 1 1 w2 u (w) + 1 w2
Vemos ento que os pontos z0 = 1 so pontos singulares simples da equaao de Chebyshev. a a c 2 w2 1
A(z) =
0 (z + 1) z1
1 1 1z
u(w) = 0 .
Claramente, z0 = um ponto singular simples da equaao de Chebyshev. e c 9. A equao hipergeomtrica ca e z(1 z) y (z) + [c (1 + a + b)z] y (z) ab y(z) = 0 , ou seja, y (z) + com a, b, c constantes, corresponde a c (1 + a + b)z z(1 z) 0 ab z(1 z) y (z) ab y(z) = 0, z(1 z) 1 (9.87)
A(z) = Seus pontos singulares so z0 = 0 e z0 = 1. a Para z0 = 0 teremos
. (1 + a + b)z c z(1 z)
que anal e tica em z0 = 0. Para z0 = 1 teremos
A(z) =
0 abz 1z 0
1 (a + b)z c + 1 1z 1
A(z) =
ab(z 1) z
(a + b)z + c z
Assim, z0 = 0 e z0 = 1 so pontos singulares simples da equaao hipergeomtrica. a c e Ponto no innito. A verso no innito da equaao hipergeomtrica a c e e u (w) + 1 w (2 c)w + a + b 1 w1 u (w) ab u(w) = 0 . w2 (w 1)
Claramente, z0 = um ponto singular simples da equaao hipergeomtrica. e c e 10. A equao hipergeomtrica conuente ca e z y (z) + [c z] y (z) a y(z) = 0, ou seja, y (z) + a c 1 y (z) y(z) = 0 , z z
Cap tulo 9
390/1628
com a, c constantes, corresponde a
Para z0 = 0 teremos
A(z) = a z A(z) = az 0
c . 1 z 1 zc+1 ,
que anal e tica em z0 = 0. Assim, z0 = 0 um ponto singular simples da equaao de hipergeomtrica conuente. e c e Ponto no innito. A verso no innito da equaao hipergeomtrica conuente a c e e u (w) + 1 2c + 2 w w u (w) a u(w) = 0 . w3
Claramente, c0 tem um plo de ordem 3 em w = 0 e c1 tem um plo de ordem 2 em w = 0. Assim, z0 = um o o e ponto singular irregular da equaao hipergeomtrica conuente. c e
9.8
Equaes Fuchsianas. S co mbolos de Riemann
Nesta seao apresentaremos propriedades das chamadas equaoes Fuchsianas (denidas abaixo), mas nos restringiremos c c a `s equaoes de primeira e de segunda ordem por serem de maior interesse (especialmente as de segunda ordem). Para c um tratamento mais abrangente, vide [82]. O estudo das equaoes Fuchsianas despertou grande interesse na Matemtica c a da segunda metade do Sculo XIX e do in do Sculo XX, tendo alimentado muitos desenvolvimentos na teoria das e cio e funoes de variveis complexas. c a Esta seao dispensvel para o estudo do material que segue nos cap c e a tulos seguintes, mas pode servir, em uma segunda leitura, para esclarecer a relevncia das equaoes hipergeomtricas no contexto das equaoes diferenciais lineares a c e c de segunda ordem no plano complexo. Equaoes Fuchsianas c
Uma equaao diferencial linear homognea de ordem n dita ser uma equaao Fuchsiana14 se possuir um n mero c e e c u nito de pontos singulares, todos simples (incluindo eventualmente, mas no necessariamente, um ponto singular simples a no innito). A equaao Euler, a equaao de Legendre e a equaao hipergeomtrica so exemplos de equaoes Fuchsianas c c c e a c (vide Seao 9.7.3, acima). Equaoes com tal propriedade podem ser resolvidas em torno de seus pontos singulares pelo c c mtodo de Frobenius. Alm disso, equaoes Fuchsianas possuem algumas propriedades de transformaao que facilitam e e c c sua anlise. Por exemplo, toda equaao Fuchsiana de segunda ordem com exatamente trs pontos singulares pode ser a c e transformada em uma equaao hipergeomtrica (vide discusso da Seao 9.8.3.1, pgina 404). Equaoes Fuchsianas podem c e a c a c ser classicadas de forma mais ou menos sistemtica de acordo com o n mero de singularidades e nosso propsito fazer a u e o essa classicaao de modo a obter a forma geral de equaoes Fuchsianas de primeira e de segunda ordem com uma, duas c c ou trs singularidades (que, no caso de equaoes de segunda ordem, correspondem ` maioria das equaoes encontradas e c a c em aplicaoes). c
9.8.1
Equaes Fuchsianas de Primeira Ordem co

y (z) + a0 (z) y(z) = 0 (9.88) (9.89)
Como pr-aquecimento consideremos as equaoes de primeira ordem homogneas. Seja a equaao diferencial e c e c
e sua verso no innito a u (w) + b0 (w)u(w) = 0 ,

14 Lazarus
Immanuel Fuchs (18331902).
Cap tulo 9
391/1628
onde w = 1/z, u(w) = y(z) = y(1/w) e b0 (w) := a0 (1/w) . No que segue vamos procurar a forma geral de uma tal w2 equaao que possua um certo n mero de singularidades, todas simples, ou seja, de modo que a equaao seja Fuchsiana. c u c Comeamos nos perguntando se h equaoes sem quaisquer pontos singulares, nem no innito. c a c Equaoes sem pontos singulares c
Se (9.88) no possui pontos singulares nitos, ento a0 (z) uma funao inteira de z (ou seja, anal a a e c e tica em toda
n=0 (n)
parte) e, portanto, possui uma srie de Taylor centrada em 0: a0 (z) = e isso vemos que b0 (w) = 1 wn+2
0 z n , convergente para todo z C. Com (9.90)
(n)
0
n=0
que converge para todo w C, w = 0. Para que (9.88) tambm no possua uma singularidade no innito, necessrio e a e a (n) e suciente que b0 seja anal tica em 0. Isso s poss se 0 = 0 para todo n, ou seja, se a0 for identicamente nula. oe vel Assim, a equaao y (z) = 0, cuja verso no innito u (w) = 0, a unica equaao diferencial de primeira ordem sem c a e e c qualquer singularidade. Como veremos na Seao 9.8.2, no h equaoes de segunda ordem com essa caracter c a a c stica. Equaoes com apenas um ponto singular simples no innito c
De (9.90) vemos tambm que no existem equaoes de primeira ordem que sejam regulares em toda parte mas possuam e a c uma singularidade simples no innito. De fato, vemos por (9.90) que b0 tem um plo de ordem maior ou igual a dois em o w = 0 e no de primeira ordem, como seria necessrio para que a singularidade no innito fosse simples. a a Equaoes Fuchsianas de primeira ordem. Caso geral c
Consideremos agora o caso geral em que (9.88) Fuchsiana e seus pontos singulares nitos so um subconjunto de e a {z1 , . . . , zk } formado por k 1 pontos distintos. Isso signica que a0 (z) tem no mximo um plo de ordem 1 nos pontos a o z1 , . . . zk com k 1, sendo portanto da forma a0 (z) = c0 (z) , (z z1 ) (z zk )
onde c0 uma funao inteira de z (para que um certo za seja de fato singular simples necessrio que c0 no tenha um e c e a a zero em za ). Obtemos disso que wk2 c0 (1/w) b0 (w) = (1 wz1 ) (1 wzk )
Como funao inteira, c0 possui uma expanso de Taylor centrada em 0: c0 (z) = c a z C. Assim, obtemos b0 (w) =
n=0 (n)
0 z n , a qual converge para todo
(n)
0
n=0
1 wnk+2
(1 wz1 ) (1 wzk )
(9.91)
Para que o ponto no innito seja regular necessrio e suciente que b0 (w) seja anal e a tica em w = 0. Pelo fato de (n) 1 ser anal tica em w = 0, isso requer que 0 = 0 para todo n > k 2. Para k = 1 isso requer que a0 (1wz1 )(1wzk ) e b0 sejam identicamente nulas, no havendo, ento, qualquer singularidade. Para k 2 isso requer que a0 (z) e b0 (w) a a sejam da forma
k2 k2
0 z n a0 (z) =
n=0
(n)
0 e b0 (w) =
n=0
(n)
1 wnk+2
nk2n
k2
0 =
n=0
(k2n)
wn .
(z z1 ) (z zk )
(1 wz1 ) (1 wzk )
(1 wz1 ) (1 wzk )
Retornando a (9.91), para que o ponto no innito seja singular simples necessrio que b0 (w) tenha um plo simples e a o (n) (k1) em w = 0. Uma condiao necessria e suciente para tal que 0 = 0 para todo n > k 1 com 0 c a e = 0. Nesse caso
Cap tulo 9
392/1628
a0 e b0 so da forma a
k1 k1
0 z n a0 (z) = ou seja
n=0
(n)
0 e b0 (w) = 0 b0 (w) =
n=0
(n)
1 wnk+2
nk1n
k1
0 =
n=0
(k1n)
wn1 ,
(z z1 ) (z zk )
(1 wz1 ) (1 wzk )
k1
(1 wz1 ) (1 wzk )
(k1)
+
n=1
(k1n)
wn1 .
(1 wz1 ) (1 wzk )
Analisando alguns casos expl citos
Analisemos o que ocorre concretamente para k = 1 e k = 2.

(n)
1. Caso k = 1. Nessa situaao a equaao ser anal c c a tica no innito apenas se 0 = 0 para todo n > 1, ou seja, se c0 for identicamente nula. Assim, a0 e b0 so tambm identicamente nulas e as equaoes reduzem-se a y (z) = 0 e a e c u (w) = 0 e no h quaisquer singularidades. a a Para que (9.88) tenha uma singularidade simples no innito e outra singularidade simples em z1 devemos ter a0 (z) = 0 (z z1 )
(0) (0)
b0 (w) =
Assim, a unica equaao Fuchsiana de primeira ordem com uma singularidade simples em z1 e uma singularidade c simples no innito da forma e y (z) + 0 y(z) = 0 , (z z1 )
(0)
0 . w(1 wz1 )
cuja verso no innito a e
u (w)
(n)
0 u(w) = 0 . w(1 wz1 )
(0)
(9.92)
2. Caso k = 2. Para que a equaao seja regular no innito devemos ter 0 c a0 e b0 sero da forma a a0 (z) = 0 (z z1 )(z z2 )
(0)
= 0 para todo n > 0. Assim, nesse caso

(0)
b0 (w) =
Assim, a forma geral de uma equaao de primeira ordem regular no innito e com exatamente dois pontos singulares c simples em z1 e z2 e y (z) + 0 0 y(z) = 0 , cuja verso no innito u (w) a e u(w) = 0. (z z1 )(z z2 ) (1 wz1 )(1 wz2 ) 0 w b0 (w) = . (1 wz1 )(1 wz2 ) 0 +
(0) (1) (0) (0)
0 . (1 wz1 )(1 wz2 )
Para que a equaao tenha um ponto singular simples no innito devemos ter c + (z z1 )(z z2 )
(0) 0 (1) 0 z
a0 (z) =
Conclu mos que a forma geral de uma equaao Fuchsiana com um ponto singular simples no innito e no mximo c a dois pontos singulares simples em z1 e z2 C e y (z) +
(0)
0 + 0 z y(z) = 0 , (z z1 )(z z2 )
(1) (1)
(0)
(1)
u (w)
0 + 0 w u(w) = 0 . w(1 wz1 )(1 wz2 )
(1)
(0)
Caso 0 = 0 z2 essas equaoes cam c y (z) + 0 y(z) = 0 (z z1 ) e u (w) 0 u(w) = 0 , w(1 wz1 )
(1)
respectivamente, e agora z2 no mais uma singularidade da equaao diferencial. Essas equaoes tm a mesma a e c c e forma de (9.92), o que no de surpreender, pois aqui temos apenas singularidades simples em z1 e no innito. a e
Cap tulo 9
393/1628
* Para futura referncia resumamos os resultados obtidos at o momento na forma de uma proposiao. e e c Proposio 9.5 Para a equaao diferencial linear de primeira ordem no plano complexo ca c y (z) + a0 (z)y(z) = 0 valem as seguintes armaoes: c I. Para que (9.93) no tenha qualquer singularidade nita ou no innito necessrio e suciente que seja da forma a e a y (z) = 0, cuja verso no innito u (w) = 0. a e II. No h equaoes Fuchsianas de primeira ordem como (9.93) que tenham apenas uma singularidade simples, nita a a c ou no innito. III. Para que (9.93) seja Fuchsiana tendo uma singularidade simples em z1 e outra no innito necessrio e suciente e a que seja da forma y (z) + com 0
(0)
(9.93)
0 y(z) = 0 , (z z1 )
(0)
u (w)
0 u(w) = 0 w(1 wz1 )
(0)
= 0.
IV. Para que (9.93) seja Fuchsiana, tendo o innito como ponto regular e no mximo k singularidades simples nos a pontos z1 , . . . , zk com k 2, necessrio e suciente que seja da forma e a n=0 n=0 y(z) = 0 , cuja verso no innito u (w) a e y (z)+ (1 wz1 ) (1 wzk ) u(w) = 0 . (z z1 ) (z zk )
k2 (n) 0 z n
k2 (k2n) n w 0
V. Para que (9.93) seja Fuchsiana, tendo o innito como ponto singular simples e no mximo k singularidades simples a nos pontos z1 , . . . , zk com k 2, necessrio e suciente que seja da forma e a n=0 y (z) + (z z1 ) (z zk ) y(z) = 0 , = 0, cuja verso no innito a e 0
(k1) k1
k1 (n) 0 z n
com 0
(k1)
u (w)
+
n=1
(1 wz1 ) (1 wzk )
(k1n) n1 0 w
u(w) = 0 .
Cap tulo 9
394/1628
9.8.2
Equaes Fuchsianas de Segunda Ordem co
Muito mais relevante que as equaoes Fuchsianas de primeira ordem so as equaoes Fuchsianas de segunda ordem, as c a c quais estudaremos agora. Consideremos a equaao diferencial linear de segunda ordem c y (z) + a1 (z) y (z) + a0 (z) y(z) = 0 e sua verso no innito a u (w) + b1 (w)u (w) + b0 (w)u(w) = 0 (vide (9.85) e (9.86)), onde w = 1/z, u(w) = y(z) = y(1/w) e b0 (w) := a0 (1/w) , w4 b1 (w) := 2 a1 (1/w) w w2 . (9.96) (9.95) (9.94)
No que segue vamos procurar a forma geral de uma tal equaao que possua um certo n mero de singularidades, todas c u simples, ou seja, de modo que a equaao seja Fuchsiana. Comeamos nos perguntando se h equaoes sem quaisquer c c a c pontos singulares, nem no innito. Equaoes sem pontos singulares c
Se (9.94) no possuir pontos singulares nitos, ento as funoes a0 e a1 devem ser funoes inteiras (anal a a c c ticas em todo C) e, portanto, possuem sries de Taylor centradas em 0 e

a0 (z) =
n=0
0 z n ,
(n)
a1 (z) =
n=0
1 z n
(n)
convergentes para todo z C. Com isso, vemos que
b0 (w) =
n=0
(n)
1 wn+4
b1 (w) =
2 1 (n) , w n=0 1 wn+2
onde as sries convergem para todo w C, w = 0. Trata-se claramente de sries de Laurent centradas em w = 0 para e e b0 e b1 . Para que (9.94) tambm no possua uma singularidade no innito, seria necessrio que b0 e b1 fossem anal e a a ticas (n) em 0. Para b0 isso s seria poss se 0 = 0 para todo n mas para b1 no h como alcanar essa condiao devido ao o vel a a c c (n) 2 termo w de sua expanso de Laurent, o qual no pode ser anulado por qualquer escolha dos coecientes 1 . a a Conclu mos disso que no existem equaoes diferenciais lineares de segunda ordem sem quaisquer pontos singulares a c nitos ou no innito. Equaoes com apenas um ponto singular simples no innito c
Se (9.94) no tiver pontos singulares nitos, vimos que possuir um ponto singular no innito. Sob quais circunstncias a a a esse ponto no innito singular simples? Para tal necessrio que b0 (w) tenha em w = 0 um plo de ordem no mximo e e a o a (n) (n) 2 e b1 (w) tenha em w = 0 um plo de ordem no mximo 1. Assim, conclu o a mos que devemos ter 0 = 1 = 0 para todo n. Em um tal caso as funoes a0 , a1 e b0 so identicamente nulas, enquanto que b1 (w) = 2/w. Conclu c a mos que a unica equaao diferencial de segunda ordem com apenas um ponto singular simples no innito a equaao c e c y (z) = 0 , cuja verso no innito a e u (w) + 2 u (w) = 0 . w (9.97)
Equaoes com apenas um ponto singular simples nito em z = 0 c
Procuremos agora saber a forma geral de uma equaao diferencial com apenas um ponto singular nito em z = 0 e c regular no innito. Em tal caso, a0 (z) tem no mximo um plo duplo em z = 0 e a1 tem no mximo um plo simples a o a o z = 0, esse sendo se unico ponto singular. Assim, a0 (z) e a1 (z) tem as representaoes de Laurent c a0 (z) = 0 z2
(2)
0 z
(1)
+
n=0
0 z n ,
(n)
a1 (z) =
1 z
(1)
+
n=0
1 z n
(n)
Cap tulo 9
395/1628
as quais convergem para todo z C, z = 0. Com isso, temos b0 (w) = 0 1 (n) + 03 + 0 , w2 w wn+4 n=0
(2) (1)
b1 (w) =
2 1 w
(1)
1
n=0
(n)
1 . wn+2
Para que o ponto no innito seja regular necessrio que b0 (w) e b1 (w) sejam anal e a ticas em w = 0. Como se constata (n) (n) das expanses de Laurent dadas acima dessas funoes, isso requer que 0 = 0 para todo n 2, 1 para todo n 0 o c (1) e 1 = 2. Nesse caso as funoes b0 e b1 so identicamente nulas, assim como a funao a0 , sendo que a1 (z) = 2/z. c a c Conclu mos que a unica equaao diferencial que possui um unico ponto singular simples nito em z = 0 e tem o innito c como ponto regular a equaao e c 2 y (z) + y (z) = 0 , z cuja verso no innito a e u (w) = 0 . (9.98)
Essa equaao ser generalizada em (9.102) para uma singularidade que no seja no ponto z = 0. c a a Equaoes Fuchsianas de segunda ordem. Caso geral c
Consideremos agora o caso geral em que (9.94) Fuchsiana e seus pontos singulares nitos so um subconjunto de e a {z1 , . . . , zk } formado por k 1 pontos distintos. Isso signica que a0 (z) tem no mximo um plo de ordem 2 e a1 (z) a o no mximo um plo de ordem 1 nos pontos z1 , . . . zk com k 1. Assim, ambas so da forma a o a a0 (z) = c0 (z) (z z1 )2 (z zk )2 e a1 (z) = c1 (z) , (z z1 ) (z zk )
onde c0 e c1 so funoes inteiras de z (para que um certo za seja de fato singular simples necessrio que c0 no tenha a c e a a a um zero de ordem 2 em za e c1 no tenha um zero de ordem 1 em za ). Obtemos disso que b0 (w) = w2k4 c0 (1/w) (1 wz1 )2 (1 wzk )2
b1 (w) =
2 wk2 c1 (1/w) . w (1 wz1 ) (1 wzk )
Como funoes inteiras, c0 e c1 possuem expanses de Taylor centradas em 0 c o c0 (z) =

n=0 (n) 0 z n
c1 (z) =
n=0
1 z n
(n)
as quais convergem para todo z C e, portanto,

(n) 0 n=0
1 wn+42k e b1 (w) =
b0 (w) =
(1 wz1 )2 (1 wzk )2
2 n=0 . w (1 wz1 ) (1 wzk )
(n)
1 wn+2k
Perguntemo-nos agora sob quais circunstncias o innito tambm no mximo um ponto singular simples da equaao. a e e a c Para tal, b0 deve ter no mximo um plo de ordem 2 e b1 no mximo um plo de ordem 1 em w = 0. Como as funoes a o a o c 1 1 a ticas em w = 0 e no se anulam nesse ponto, conclu a mos que a condiao c (1wz1 )2 (1wzk )2 e (1wz1 )(1wzk ) so anal 2k4 procurada exige que w c0 (1/w) tenha no mximo um plo de ordem 2 em w = 0 e wk2 c1 (1/w) tenha no mximo a o a um plo de ordem 1 em w = 0. Agora, o
2k4
c0 (1/w) =
n=0
(n) 0
1 wn+42k
(n)
k2
c1 (1/w) =
n=0
(n)
1 , wn+2k
donde conclu mos que 0
(n)
= 0 para todo n > 2k 2 e 1

2k2
= 0 para todo n > k 1. Assim,

k1
c0 (z) =
n=0
0 z n
(n)
c1 (z) =
n=0
1 z n ,
(n)
Cap tulo 9
396/1628
que so polinmios de grau menor ou igual a 2k 2 e k 1, respectivamente. Para a verso no innito da equaao a o a c diferencial teremos nesse caso
2k2 (n) 0 n=0 2
1 wn+42k
2 n2k2n
2k2
0 =
n=0
(2k2n)
wn2 (9.99)
b0 (w) = e
(1 wz1 ) (1 wzk )
(1 wz1 )2 (1 wzk )2
k1
b1 (w)
2 n=0 w (1 wz1 ) (1 wzk )

k1
(n)
1 wn+2k
2(1 wz1 ) (1 wzk )
1
n=0
(n)
1 wn+1k
w(1 wz1 ) (1 wzk )

k1
nk1n
2(1 wz1 ) (1 wzk )
1
n=0
(k1n)
wn . (9.100)
w(1 wz1 ) (1 wzk )
Das expresses (9.99) e (9.100) podemos identicar as condioes para que b0 (w) e b1 (w) sejam regulares em w = 0, o c 1 1 a ticas ou seja, para que o innito seja um ponto regular de (9.106): como (1wz1 )2 (1wzk )2 e (1wz1 )(1wzk ) so anal em w = 0 e no se anulam nesse ponto, para que b0 (w) e b1 (w) sejam regulares em w = 0 necessrio e suciente que a e a
2k2 k1
0
n=0
(2k2n)
wn2 seja anal tica em w = 0 e 2(1 wz1 ) (1 wzk )

(2k3)
1
n=0
(k1n)
wn seja anal tica em w = 0 (o que
sempre o caso) e tenha um zero de ordem pelo menos 1 nesse ponto (observar o fator w no denominador de (9.100)). e
(0) 0
Para a primeira condiao necessrio e suciente que 0 c e a = 0 = 0 (se k = 1, necessrio e suciente que e a (k1) = 0). Para a segunda condiao, necessrio e suciente que 1 c e a = 2.
(2k2)
Analisando alguns casos expl citos
Vamos analisar explicitamente os casos k = 1, k = 2 e k = 3.
1. Caso k = 1. Nesse caso, para que (9.94) seja Fuchsiana com no mximo um ponto singular simples no innito e a em z1 , temos que c0 e c1 devem ser polinmios e grau zero (ou seja, constantes) e (9.94) da forma o e y (z) + cuja verso no innito a e u (w) + 2 1 2wz1 w(1 wz1 )
(0)
1 z z1
(0)
y (z) +
0 (z z1 )2
(0)
y(z) = 0 ,
(9.101)
u (w) +
0 w2 (1 wz1 )2
(0)
(0)
u(w) = 0 . = 0
(0)
O ponto z1 um ponto singular simples (exceto no caso trivial em que 1 e regular). Note que (9.101) uma equaao de Euler. e c Para que o innito seja regular necessrio e suciente que 0 = 0 e 1 e a equaao de Euler ` pgina 386. Conclu c a a mos que a equaao de Euler c y (z) + 2 z z1 y (z) = 0 ,
(0) (0)
= 0, quando z1 um ponto e
= 2. Compare com a discusso sobre a a 2z1 1 wz1
cuja verso no innito u (w) a e
u (w) = 0 ,
(9.102)
Cap tulo 9
397/1628
a unica equaao Fuchsiana de segunda ordem com um unico ponto singular, a saber z1 . Essa expresso generaliza e c a (9.98) e a ela se reduz para z1 = 0. Como vimos em (9.97), a equaao y (z) = 0 a unica equaao Fuchsiana de c e c segunda ordem com um unico ponto singular no innito.
2 Note-se que a equaao y (z) = 0 e sua verso no innito u (w) + 2 u (w) = 0 (vide (9.97)) so obtidas formalmente c a a de (9.102) tomando-se o limite |z1 | . Tal processo por vezes denominado conuncia de singularidades e ser e e a reencontrado quando tratarmos da relaao entre a equaao hipergeomtrica e a equaao hipergeomtrica conuente c c e c e (vide discusso do comeo da Seao 10.2.8, pgina 459). a c c a
A equaao de Euler (9.101) com 0 = 0 ou 1 = 2 a unica equaao Fuchsiana de segunda ordem com dois c e c pontos singulares simples, um em z1 e o segundo no innito. Logo abaixo veremos a forma geral das equaoes c Fuchsianas com com dois pontos singulares simples nitos. 2. Caso k = 2. Nesse caso, para que (9.94) seja Fuchsiana com no mximo pontos singulares simples em z1 , z2 e no a innito, c0 e c1 devem ser polinmios de grau menor ou igual a 2 e 1, respectivamente e (9.94) deve ser da forma o y (z) + 1 + 1 z (z z1 )(z z2 )
(0) (1)
(0)
(0)
y (z) +
0 + 0 z + 0 z 2 (z z1 )2 (z z2 )2
(0)
(1)
(2)
y(z) = 0 .
(9.103)
Os pontos z1 e z2 sero pontos singulares simples desde que os dois polinmios dos numeradores dos coecientes a o (0) (1) no tenham zeros de ordem 1 ou 2, respectivamente, nesses pontos. Por exemplo, se 1 + 1 z = (z z2 ) e a (0) (1) (2) 2 0 + 0 z + 0 z = (z z2 )2 a equaao torna-se c y (z) + (z z1 ) y (z) + (z z1 )2 y(z) = 0 ,
que tem a mesma forma da equaao de Euler (9.101), a qual, como vimos, a unica equaao Fuchsiana com um c e c unico ponto singular nito, a saber z1 (e eventualmente um outro no innito). Voltando a (9.103), para que o ponto no innito seja regular necessrio e suciente que 0 = 0 = 0 e 1 = 2. e a Assim, a forma geral da equaao Fuchsiana com no mximo dois pontos singulares simples nitos z1 e z2 e regular c a no innito e (0) (0) 0 1 + 2z y (z) + y(z) = 0 . y (z) + (z z1 )(z z2 ) (z z1 )2 (z z2 )2 Se escolhermos 1 = 2z2 e 0
(1) 0 (0) (0) (1) (2) (1)
= 0 o ponto z2 deixa de ser singular e essa equaao reduz-se a (9.102). c

(2) (1)
e c A equaao (9.103) com c = 0 ou 0 = 0 ou 1 = 2 a unica equaao Fuchsiana de segunda ordem com um ponto singular simples no innito e com no mximo dois pontos singulares simples nitos, em z1 e z2 . Mais adiante a (vide Seao 9.8.3.2, pgina 407) mostraremos que uma tal equaao sempre pode ser transformada em uma equaao c a c c hipergeomtrica. e 3. Caso k = 3. Nesse caso, para que (9.94) seja Fuchsiana com no mximo pontos singulares simples em z1 , z2 , z3 e a no innito, c0 e c1 devem ser polinmios de grau menor ou igual a 4 e 2, respectivamente e (9.94) deve ser da forma o
4
y (z) +
1 + 1 z + 1 z 2 (z z1 )(z z2 )(z z3 )
(0)
(1)
(2)
Os pontos z1 , z2 e z3 sero singulares simples se os dois polinmios dos numeradores dos coecientes acima no a o a possu rem neles zeros de ordem 1 ou 2, respectivamente. Para que o ponto no innito seja regular necessrio e suciente que 0 e a (9.104) assume a forma y (z) + 1 + 1 z + 2z 2 (z z1 )(z z2 )(z z3 )
(0) (1) (0) (3)
n=0 y(z) = 0 . y (z) + (z z1 )2 (z z2 )2 (z z3 )2

(4) (2)
0 z n
(n)
(9.104)
= 0
= 0 e que 1
= 2. Nesse caso,
y (z) +
0 + 0 z + 0 z 2 (z z1 )2 (z z2 )2 (z z3 )2
(1)
(2)
y(z) = 0 .
(9.105)
Cap tulo 9
398/1628
Mais adiante (vide Seao 9.8.3.1, pgina 404) mostraremos que, assim como a equaao (9.103), que tambm tem c a c e trs pontos singulares simples, esta equaao tambm pode ser transformada em uma equaao hipergeomtrica. e c e c e Se 0
(3)
= 0, 0 = 0 ou 1
(4)
(2)
= 2, o innito ser um ponto regular simples de (9.104). a
A forma geral das equaoes Fuchsianas com trs pontos singulares simples (9.103) e (9.105) foi primeiramente estudada c e por Papperitz15 e especialmente por Riemann16 , o qual demonstrou diversos fatos relevantes sobre essas equaoes. Sobre c esses desenvolvimentos falaremos mais adiante na Seao 9.8.3, pgina 402. c a * Para futura referncia capturamos os diversos resultados obtidos at agora na seguinte proposiao: e e c Proposio 9.6 Para a equaao diferencial linear de segunda ordem no plano complexo ca c y (z) + a1 (z)y (z) + a0 (z)y(z) = 0 valem as seguintes armaoes: c I. A equaao (9.106) sempre possui ao menos um ponto singular (eventualmente no innito). c II. Para que (9.106) seja Fuchsiana e tenha apenas uma singularidade simples no innito necessrio e suciente que e a 2 seja da forma y (z) = 0, cuja verso no innito u (w) + w u (w) = 0. a e III. Para que (9.106) seja Fuchsiana, tenha apenas uma singularidade simples em z1 e seja regular no innito e necessrio e suciente que seja da forma a y (z) + 2 z z1 y (z) = 0 , cuja verso no innito a e u (w) 2 u (w) = 0 . w(1 wz1 ) (9.106)
IV. Para que (9.106) seja Fuchsiana, tenha uma singularidade simples no innito e tenha no mximo singularidades a simples nos pontos z1 , . . . , zk (com k 1) necessrio e suciente que a0 e a1 sejam da forma e a
2k2 k1
0 z n a0 (z) = onde ou 0 nesse caso e com

(2k3) n=0
(n)
1 z n e
(0)
(n)
(z z1 )2 (z zk )2 = 0 (caso k = 1, basta 0
a1 (z) = = 0) ou que 1
n=0
(z z1 ) (z zk )
(k1)
= 0 ou 0
(2k2)
= 2. A verso no innito de (9.106) a
u (w) + b1 (w)u (w) + b0 (w)u(w) = 0 ,

2k2 (2k2n)
0 b0 (w) = e
n=0
wn2 (9.107)
(1 wz1 )2 (1 wzk )2
k1
b1 (w) =
15 Erwin 16 Georg
2(1 wz1 ) (1 wzk )
1
n=0
(k1n)
wn . (9.108)
w(1 wz1 ) (1 wzk )
Johannes Papperitz (18571938). Friedrich Bernhard Riemann (18261866).
Cap tulo 9
399/1628
V. Para que (9.106) seja Fuchsiana e tenha no mximo singularidades simples nos pontos z1 , . . . , zk (com k 1), a (2k3) (2k2) (0) sendo regular no innito, necessrio e suciente que 0 e a = 0 = 0 (caso k = 1, que 0 = 0) e que (k1) 1 = 2, ou seja, necessrio e suciente que e a
2k4 k2
0 z n a0 (z) =
n=0
(n)
1 z n + 2z k1 e a1 (z) =
n=0
(n)
(z z1 )2 (z zk )2
(z z1 ) (z zk )
k1
em cujo caso temos para a verso no innito a

2k2
0 b0 (w) =
n=2
(2k2n)
wn2 e b1 (w) =
2 (1 wz1 ) (1 wzk ) 1
1
n=1
(k1n)
wn .
(1 wz1 )2 (1 wzk )2
w(1 wz1 ) (1 wzk )
Para continuarmos nossa discusso precisamos introduzir a importante noao de ndices de uma equaao diferencial a c c em um ponto do plano complexo. Indices de uma equao diferencial em um ponto ca p := lim (z )2 a0 (z)
z
Seja a equaao diferencial Fuchsiana (9.94) e seja C. Sejam denidos os n meros complexos c u e q := lim (z )a1 (z) .
z
(9.109)
O polinmio de segundo grau o P () := 2 + (q 1) + p denominado polinmio indicial da equaao diferencial Fuchsiana (9.94) em e seus zeros e o c + = 1 q + (q 1)2 4p , 2 = 1 q (q 1)2 4p 2 (9.110)
so denominados ndices da equaao diferencial Fuchsiana (9.94) em . a c A relevncia dessas nooes a seguinte. Se um ponto singular simples da equaao diferencial Fuchsiana (9.94), a c e e c ento, para |z | pequeno a mesma pode, pela deniao de p e q , ser aproximada pela equaao a c c y (z) + p q y(z) = 0 y (z) + z (z )2
+
que uma equaao de Euler, cuja soluao geral da forma (z ) + (z ) caso + = ou da forma e c c e a a (z ) + (z ) ln(z ) caso + = . Aqui e so constantes arbitrrias.
+ +
da forma (z ) + , ou seja, da forma (z ) + (z ) , onde novamente e so constantes arbitrrias. e a a
Por outro lado, se um ponto regular da equaao Fuchsiana, ento, pela deniao, p = q = 0 e teremos + = 1, e c a c = 0. A equaao, na regio onde |z | pequeno pode ser aproximada pela equaao y (z) = 0, cuja soluao geral c a e c c
+
Aprendemos, assim, que os ndices xam as soluoes da equaao diferencial Fuchsiana (9.94) em uma vizinhana c c c pequena de um ponto , quer esse ponto seja singular simples ou regular.
Para o ponto no innito podemos, analogamente, denir ndices. A verso no innito de (9.94) , como visto, dada a e por (9.95)-(9.96) Denimos, ento p e q por a p := lim w2 b0 (w)
w0
q := lim wb1 (w)

w0
(9.111)
ou seja (por (9.96)), p := lim w2 a0 (1/w) =

w0 |z|
lim z 2 a0 (z)
(9.112)
Cap tulo 9
400/1628
e q := 2 lim w1 a1 (1/w) = 2 lim za1 (z) .

w0 |z|
(9.113)
Com isso denimos o polinmio indicial P () := 2 + (q 1) + p , cujos zeros so o a + = 1 q + (q 1)2 4p , 2 = 1 q (q 1)2 4p . 2 (9.114)
Estes so os a ndices da equaao diferencial Fuchsiana (9.94) no innito. c Indices e equaoes Fuchsianas c
Vimos pginas acima (vide, em especial, Proposiao 9.6, pgina 398) que uma equaao diferencial linear de segunda a c a c ordem como (9.94) ter no mximo k singularidades simples17 nos pontos nitos z1 , . . . , zk , sendo regular no innito, a a se e somente se a0 e a1 forem da forma
2k4 k2
0 z n a0 (z) =
n=0
(n)
1 z n + 2z k1 e a1 (z) =
n=0
(n)
(z z1 )2 (z zk )2
(z z1 ) (z zk )
(9.115)
Para que a equaao seja singular simples no innito e tenha no mximo k 1 singularidades simples nos pontos nitos c a z1 , . . . , zk1 necessrio e suciente que e a
2k4 (n) 0 z n n=0 k2
1 z n e a1 (z) =
n=0
(n)
a0 (z) = onde ou 0
(2k5)
(z z1 )2 (z zk1 )2 = 0 ou que 1
(k2)
(z z1 ) (z zk1 )
(9.116)
= 0 ou 0
(2k4)
= 2.
Em ambos os casos h no mximo k singularidades, incluindo eventualmente uma no innito. Chama a atenao o a a c (n) fato de que em ambos os casos a0 depende de 2k 3 constantes livres (as constantes 0 , n = 0, . . . , 2k 4), enquanto (n) que a1 depende de k 1 constantes livres (as constantes 1 , n = 0, . . . , k 2). Assim, para no mximo k singularidades a simples a equaao depende de 3k 4 constantes livres. c Uma questo importante, cuja relevncia ser discutida mais adiante, saber sob quais circunstncias essas 3k 4 a a a e a constantes podem ser inteiramente determinadas pelos ndices das singularidades simples. Essa questo foi proposta a a estudada originalmente por Riemann e, para respond-la, precisamos contar quantos so os e a ndices independentes numa situaao de no mximo k singularidades simples. Como h dois c a a ndices para cada singularidade, haveria em princ pio um total de 2k ndices independentes mas, em verdade, h apenas 2k 1. Isso se deve a fato expresso no seguinte lema. a Lema 9.2 Se a equaao Fuchsiana (9.94) possui no mximo k singularidades simples em z1 , . . . , zk (k 2), sendo c a regular no innito, vale
k l=1
(+ + ) = k 2 zl zl
Se a equaao Fuchsiana (9.94) tem no mximo k 1 singularidades simples em z1 , . . . , zk1 (k 2), tendo tambm c a e uma singularidade simples no innito, ento tambm vale a e
k1
+ + +
l=1
+ + zl zl
= k2.
a c Se (9.94) regular em zl ento, pela deniao (9.109), pzl = qzl = 0, o que implica que + = 1 e = 0 e, e zl zl portanto, que + + = 1. Assim, se (9.94) possui exatamente j singularidades simples (incluindo eventualmente uma zl zl no innito), ento a soma de todos o ndices desses pontos singulares igual a j 2 a e
17 Assumiremos
aqui que k 2.
Cap tulo 9
401/1628
a e Prova. H dois casos a considerar: 1o os k pontos singulares simples so nitos z1 , . . . , zk ; 2o o innito um ponto a singular simples e h k 1 pontos singulares simples nitos z1 , . . . , zk1 . a
k k
1o caso. Por (9.110), + + = 1 qzl e, portanto, zl zl da funao a1 em zl e, portanto, c

k l=1 qzl
l=1
(+ + ) = k zl zl
qzl . Pela deniao em (9.109), qzl o res c e duo

l=1 k
a soma de todos os res e duos de a1 em seus pontos singulares z1 , . . . , zk . Como qzl =
1 a1 (z)dz, onde C e 2i C l=1 uma curva fechada orientada no sentido anti-horrio que contm todos os pontos z1 , . . . , zk na regio que delimita. Por a e a simplicidade adotamos C como sendo um c rculo de raio R grande o suciente. Por (9.115), esses so todos os pontos singulares de a1 , conclu a mos pelo teorema dos res duos que 1 2i
k2
a1 (z) dz =
C n=0
(n)
1 2i
1 zn dz + 2 (z z1 ) (z zk ) 2i
z k1 dz . (z z1 ) (z zk )
C k
Para n = 1, . . . , k 2, as integrais R a integral

k l=1 z k1 C (zz1 )(zzk ) dz
zn C (zz1 )(zzk )
dz so aproximadas para R por a

1 dz = 2i. Conclu mos que Cz
z nk dz = 0. Para
aproximada por e
qzl = 2 e, portanto,
l=1
(+ + ) = k 2. zl zl
k1 k1
e a 2o caso. O tratamento aqui anlogo. Novamente + + = 1 qzl e, portanto, zl zl

k1
l=1
(+ + ) = k 1 zl zl
1 2i C
qzl e
l=1
novamente
l=1
qzl a soma dos res e duos de a1 em suas singularidades nitas, que vale
a1 (z)dz, onde C uma e
curva fechada orientada no sentido anti-horrio que contm todos os pontos z1 , . . . , zk na regio que delimita. Por a e a simplicidade adotamos C como sendo um c rculo de raio R grande o suciente. Por (9.116)
k2
a1 (z) dz =
C n=0
(n) C
zn dz , (z z1 ) (z zk1 )
C
Para R as integrais acima so aproximadas pelas integrais a (k1) k1 . quando vale 2i. Assim, l=1 qzl = 1
z nk+1 dz, as quais so nulas, exceto quando n = k1, a

(k1)
Agora, por (9.114), + + = 1 q e por (9.113) e (9.116), q = 2 1 portanto,

k1
. Assim, + + = 1 + 1 = k2.
(k1)
e,
+ + +
l=1
+ + zl zl
k 1 1
(k1)
1 + 1
(k1)
Isso completa a prova.
Retomando a discusso do pargrafo que antecede ao enunciado do Lema 9.2, pgina 400, vimos que a equaao a a a c Fuchsiana (9.94) possui 3k 4 parmetros livres e 2k 1 a ndices independentes. Conclu mos que se 3k 4 2k 1, ou seja, se k 3, poss escrever todos os parmetros livres em termos dos e vel a ndices. A situaao interessante, portanto, c aquela em que se tem no mximo trs pontos singulares simples (incluindo, eventualmente, um no innito). Nela, a e a e equaao Fuchsiana (9.94) totalmente determinada pelos c e ndices de suas singularidades simples e, portanto, assim so a suas soluoes. Essa concluso foi primeiramente obtida por Riemann por volta de 185718 . Como os c a ndices de uma singularidade esto relacionados ` monodromia em torno da mesma, Riemann colocou a questo de sob quais condioes a a a c
18 G. F. B. Riemann, Beitrge zur Theorie der durch die Gausssche Reihe F (, , , x) darstellbaren Functionen. Abhandlungen der a Kniglichen Gesellschaft der Wissenschaften zu Gttingen, 7, 332 (1857). G. F. B. Riemann, Beitrge zur Theorie der durch die Gausssche o o a Reihe F (, , , x) darstellbaren Functionen. Gttinger Nachrichten, 68 (1857). Vide tambm [147]. o e
O problema de Riemann-Hilbert
Cap tulo 9
402/1628
existe uma equaao Fuchsiana com pontos singulares e monodromias pr-determinados. Essa questo despertou o interesse c e a de Hilbert19 , passando a ser conhecida (por vezes em uma forma generalizada) como problema de Riemann-Hilbert. Em sua contribuiao ao Congresso Internacional de Matemtica realizado em Paris em 1900, Hilbert formulou uma c a hoje clebre lista de vinte e trs problemas matemticos que pautou boa parte dos desenvolvimentos matemticos das e e a a dcadas que se seguiram. O vigsimo primeiro desses problemas intitulava-se Prova da existncia de equaoes diferenciais e e e c lineares tendo um grupo de monodromia prescrito e era assim descrito por Hilbert: Na teoria das equaoes diferenciais c com uma varivel independente z eu gostaria de indicar um problema importante o qual o prprio Riemann pode ter tido a o em mente: mostrar que sempre existe uma equaao diferencial linear de tipo Fuchsiano, com pontos singulares e grupo c de monodromia dados. O problema requer a produao de n funoes da varivel z, regulares no plano complexo, exceto c c a nos pontos singulares dados, onde podem tornar-se innitos de ordem nita, e ainda com a propriedade de que quando z descreve circuitos em torno desses pontos as funoes transformam-se segundo transformaoes lineares dadas. Atravs c c e de contagem de constantes foi visto ser poss que tais equaoes diferenciais de fato existam, mas uma demonstraao vel c c rigorosa s foi obtida at o momento somente no caso particular onde as equaoes fundamentais das transformaoes o e c c lineares mencionadas possuam ra zes de mdulo igual a 1. Uma prova foi fornecida por L. Schlesinger20 com base na o teoria de Poincar21 das funoes zeta Fuchsianas22 . A teoria das equaoes diferenciais lineares teria naturalmente uma e c c aparncia mais acabada se o problema aqui delineado pudesse ser tratado por algum mtodo geral. e e Alm de Hilbert, contribu e ram para o estudo desse problema nomes como Birkho23 , Plemelj24 e diversos outros. O problema de Riemann-Hilbert possui atualmente extenses para alm do estudo de equaoes diferenciais lineares no o e c plano complexo.
9.8.3
A Equao de Riemann-Papperitz. S ca mbolos de Riemann
Como discutimos acima, h um interesse especial na equao Fuchsiana (9.94) com trs singularidades pois a mesma a ca e possui cinco parmetros livres e tambm cinco a e ndices independentes associados `s trs pontos singulares (lembremos a e que, pelo Lema 9.2, a soma dos seis ndices deve ser igual a 1). Portanto, deve ser, em princ pio, poss vel expressar univocamente esses cinco parmetros em termos dos a ndices. Vamos mostrar que isso de fato verdade. Para k = 3 e e singularidades simples apenas nos pontos nitos z1 , z2 e z3 , (9.94) assume a forma. y (z) + 1 + 1 z + 2z 2 (z z1 )(z z2 )(z z3 )
(0) (1)
Equaoes Fuchsianas com trs singularidades c e
y (z) +
0 + 0 z + 0 z 2 (z z1 )2 (z z2 )2 (z z3 )2
(0)
(1)
(2)
y(z) = 0
(9.117)
e para singularidades simples apenas no pontos nitos z1 , z2 e uma no innito, (9.94) assume a forma y (z) + com 1
(1)
1 + 1 z (z z1 )(z z2 )
(0)
(1)
y (z) +
0 + 0 z + 0 z 2 (z z1 )2 (z z2 )2
(0)
(1)
(2)
y(z) = 0
(9.118)
= 2.
No caso (9.117) podemos escrever, de acordo com (9.109) e (9.115), para l = 1, . . . , 3,

2 3 (n) 0 (zl )n n=0
a=1 a=l
pzl = Como
1 , (zl za )2
3 (n) 1 (zl )n
qzl =
n=0
+ 2(zl )
2
a=1 a=l
1 . (zl za )
(9.119)
+ + = 1 qzl zl zl
19 David 20 Ludwig
+ = pzl , zl zl
(9.120)
Hilbert (18621943). Schlesinger (18641933). 21 Jules Henri Poincar (18541912). e 22 L. Schlesinger, Uber eine Klasse von Dierentialsystemen beliebiger Ordnung mit festen kritischen Punkten, Crelles Journal (1912). 23 George David Birkho (18841944). 24 Josip Plemelj (18731967).
Cap tulo 9
403/1628
vemos que as ultimas equaoes podem ser escritas como c

3 2 3 1
+ zl zl
a=1 a=l
(zl za )2 =
0 (zl )n ,
n=0
(n)
1 + zl zl
a=1 a=l
(zl za ) =
1 (zl )n + 2(zl )2 .
n=0
(n)
Denindo
3
l := + zl zl
a=1 a=l
(zl za )2
l :=
para l = 1, 2, 3, as ultimas relaoes podem ser escritas em forma matricial c (0) (0) 0 1 z1 (z1 )2 1 z1 (z1 )2 1 1 1 2 = 1 z2 (z2 )2 (1) . 2 = 1 z2 (z2 )2 (1) e 1 0 (2) 1 z3 (z3 )2 3 1 z3 (z3 )2 3 2 0 1 z1 (z1 )2 A matriz Z := 1 z2 (z2 )2 uma matriz de Vandermonde25 , e seu determinante e e 1 z3 (z3 )2 det(Z) =
1a<b3
1 + zl zl
a=1 a=l
(zl za ) ,
(zb za ) = (z3 z2 )(z3 z1 )(z2 z1 ) ,
que no-nulo (pois os pontos z1 , z2 e z3 so distintos). Portanto, Z possui uma inversa, o que permite expressar e a a (n) (n) univocamente os 0 s e 1 s em termos dos l s e l s e, portanto, em termos dos s. O caso de (9.118) anlogo. e a zl A equao de Riemann-Papperitz ca
Com o exposto acima, vemos que poss expressar a equaao Fuchsiana com trs singularidades (9.94) em termos e vel c e de z1 , z2 , z3 e seus ndices. O que se obtm, aps algum esforo algbrico um tanto tedioso, so as seguintes expresses: e o c e a o qz2 qz3 qz1 y (z) + + z z1 z z2 z z3
y (z) +
1 pz1 (z1 z2 )(z1 z3 ) pz2 (z2 z3 )(z2 z1 ) pz3 (z3 z1 )(z3 z2 ) y(z) = 0 , (9.121) + + (z z1 )(z z2 )(z z3 ) z z1 z z2 z z3
ou seja, por (9.120), 1 + 1 + 1 + z1 z1 z2 z3 z2 z3 y (z) + + z z1 z z2 z z3
y (z) +
+ (z1 z2 )(z1 z3 ) + (z2 z3 )(z2 z1 ) + (z3 z1 )(z3 z2 ) 1 z1 z1 y(z) = 0 . + z2 z2 + z3 z3 (z z1 )(z z2 )(z z3 ) z z1 z z2 z z3 (9.122)
A expresso (9.122) foi encontrada primeiramente por Papperitz26 em 188527 e denominada equaao de Papperitz, a e c equaao de Riemann ou ainda equaao de Riemann-Papperitz. c c E. 9.33 Exerccio. Obtenha as expresses (9.121) e (9.122). o
Vandermonde (17351796). Johannes Papperitz (18571938). 27 Portanto, aps os trabalhos seminais de Riemann de 1857. Se Riemann a conhecia, no a escreveu explicitamente. O trabalho original de o a Papperitz : E. Papperitz, Uber verwandte S-Functionen, Math. Ann., 25, 212221 (1885). e
26 Erwin 25 Alexandre-Thophile e
Cap tulo 9
404/1628
Procedendo analogamente, mas agora tendo (9.118) como ponto de partida, podemos obter a expresso da equaao a c Fuchsiana em termos de seus ndices para a situaao de duas singularidades regulares nitas z1 e z2 e uma terceira c tambm regular no innito. Uma forma pragmtica de chegar a tal equaao tomar o limite |z3 | na equaao e a c e c (9.122). Isso conduz ` equaao a c 1 + 1 + + (z2 z1 ) + (z1 z2 ) + z1 z1 z2 z2 z1 z1 y(z) = 0 , y (z) + + + + z2 z2 z z1 z z2 (z z1 )2 (z z2 ) (z z1 )(z z2 )2 (z z1 )(z z2 ) (9.123) a qual pode ser facilmente reescrita na forma y (z) + y (z) + 1 + + + + + + 1 + z2 z2 z2 z2 z1 z1 z1 z1 z1 z1 y (z) + + + z2 z2 2 + z z1 z z2 (z z1 )2 (z z2 ) (z z1 )(z z2 ) y(z) = 0 . (9.124)
E. 9.34 Exerccio. Obtenha as expresses (9.123) e (9.124). o S mbolos de Riemann
Como vimos acima, poss expressar univocamente a equaao Fuchsiana com trs singularidades (9.94) em termos e vel c e de z1 , z2 , z3 e seus ndices (z3 podendo ser innito). Em seus trabalhos de 1857 (vide nota-de-rodap 18, pgina 401) e a Riemann introduziu uma notaao para representar esquematicamente a dependncia da equaao (9.94) com os pontos c e c c singulares z1 , z2 , z3 e seus respectivos ndices , e . Seguindo Riemann, representamos uma equaao para z3 z2 z1 Fuchsiana para y com trs singularidades com a notaao e c z1 z2 z3 (9.125) P + + + z , z3 z2 z1 z3 z2 z1 sempre lembrando que, pelo Lema 9.2, pgina 400, a + + + + + + + + = 1 . z3 z3 z2 z2 z1 z1 (9.126)
As trs primeiras colunas contm os pontos singulares e os respectivos e e ndices (os pontos singulares so dispostas na a primeira linha). A quarta coluna contm apenas a varivel da equaao. A expresso (9.125) denominada smbolo de e a c a e Riemann ou esquema de Riemann e sua expresso expl a cita a equaao (9.122) para o caso de trs singularidades nitas. e c e E tambm permitido que uma das singularidades seja o ponto no innito, em cujo caso o s e mbolo de Riemann para singularidades nitas em z1 e z2 ca z1 z2 (9.127) P + + + z , z2 z1 z1 z2 sendo que, novamente pelo Lema 9.2, + + + + + + + + = 1 . z2 z2 z1 z1 A forma expl cita do s mbolo (9.127) (9.123) ou (9.124). e (9.128)
9.8.3.1
Transformaes de Simetria dos S co mbolos de Riemann
Os s mbolos de Riemann so uteis, entre outras razes, por permitirem expressar de modo simples diversas simetrias, a o algumas triviais, outras no, das equaoes Fuchsianas com trs pontos singulares. Por exemplo, os s a c e mbolos de Riemann so invariantes por permutaao das trs primeiras colunas, a c e z(1) z(2) z(3) z1 z2 z3 + + + P + + + z = P z(1) z(2) z(3) z , z3 z2 z1 z3 z2 z1 z(1) z(2) z(3)
Cap tulo 9
405/1628
expressando o fato bvio de que as equaoes Fuchsianas com trs singularidades dependem do par de o c e ndices associado a cada singularidade, mas no da forma como cada um desses pares ordenado. a e
(aqui, uma permutaao qualquer de {1, 2, 3}), expressando o fato bvio de as equaoes Fuchsianas com trs e c o c e ndices. Os s mbolos de Riemann singularidades no mudarem quando trocamos simultaneamente as singularidades e seus a so tambm invariantes por permutaao independente das duas ultimas linhas em cada uma das trs primeiras colunas, a e c e z1 z2 z3 z1 z2 z3 z1 z2 z3 z1 z2 z3 P + + + z = P + + z = P + + z = P + + z = etc., z3 z2 z3 z2 z3 z2 z3 z2 z1 z1 z1 z1 + + + z3 z2 z1 z3 z2 z1 z3 z2 z1 z3 z2 z1
Uma importante transformaao de simetria dos s c mbolos de Riemann (e, portanto, das equaoes do tipo (9.122)) c e estabelecida na seguinte proposiao: c Proposio 9.7 Para ambas as ca z1 + z P 1 z1 funoes f (z) = 1 e f (z) = z + com , C e = 0 vale a relaao c c z z2 z3 f (z1 ) f (z2 ) f (z3 ) + 1 f (z) . + + + + z = z3 z2 z3 z2 2 P z1 f (z) z3 z2 z1 z3 z2
(9.129)
Isso signica que se implementarmos na equaao (9.122) as mudanas de varivel z f (z) obtemos equaoes do mesmo c c a c tipo e com os mesmos ndices, apenas com os pontos singulares zi transformados em f (zi ) para todo i = 1, 2, 3. Prova. Consideremos primeiramente o caso da funao f (z) = 1/z. Denindo-se w = 1/z e v(w) = y(z), tem-se c dy dv = w2 dz dw e
2
d2 v dv d2 y = w4 2 + 2w3 . 2 dz dw dw ,
A equaao (9.122) ca, aps dividirmos por w4 = f (z) c o
v (w) +
3
1 + 1 + 1 + 2 z1 z2 z3 z1 z2 z3 v (w) + 2 2 w z1 w w z2 w w z3 w 2 w + (z1 z2 )(z1 z3 ) + (z2 z3 )(z2 z1 ) + (z3 z1 )(z3 z2 ) z1 z1 v(w) = 0 . + z2 z2 + z3 z3 1 z1 w 1 z2 w 1 z3 w
+
k=1
1 (1 zk w)
(9.130)
Verique! Usando (9.126) podemos escrever 1 + 1 + 1 + 2 z1 z2 z3 z1 z2 z3 = + + . w w w w Agora, 1 + 1 + 1 + z1 z1 z1 z1 z1 z1 + = 1 w z1 w 2 w w z1
e assim analogamente com z1 substitu por z2 e por z3 . Com isso, o fator que multiplica v (w) em (9.130) ca do 1 + 1 + 1 + z2 z3 z2 z3 z1 z1 + + . 1 1 1 w z1 w z2 w z3 J o fator que multiplica v(w) em (9.130) pode ser facilmente reescrito como a 1 (w k=1
3
1 zk )
+ ( z1 z1 z1 1 w
1 1 z2 )( z1 1 z1
1 z3 )
+ ( z1 z2 z2 2 w
1 1 z3 )( z2 z1 2
1 z1 )
+ ( z1 z3 z3 3 w
1 1 z1 )( z3 z1 3
1 z2 )
Cap tulo 9
406/1628
Essas observaoes provaram (9.129) para f (z) = 1/z. O caso da funao f (z) = z + , com = 0, elementar e deixado c c e como exerc cio. Para o caso de se ter um ponto no innito valem tambm as propriedades de transformaao expressas na seguinte e c proposiao. c Proposio 9.8 Seja a equaao diferencial Fuchsiana para uma funao y apresentada em (9.129), a qual contm sinca c c e gularidades regulares nos pontos z1 , z2 e no innito e descrita pelo smbolo de Riemann e z1 z2 P + + + z . z2 z1 z2 z1 Ento, para qualquer C a equaao diferencial para a funao v1 (z) = (z z1 ) y(z) descrita pelo smbolo de a c c e Riemann z1 z2 + P z1 + + + z . z2 + z2 z1 Analogamente, para a funao v2 (z) = (z z2 ) y(z) a equaao diferencial descrita pelo smbolo de Riemann c c e z1 z2 + P z1 + + + z . z2 + z2 z1
Prova. A equaao para v1 pode ser obtida diretamente, com um pouco de pacincia algbrica, a partir de (9.124) com a c e e substituiao y(z) = (z z1 ) v1 (z). Repassamos esse cmputo elementar como exerc ao leitor. Ser necessrio usar c o cio a a (9.128) para estabelecer que + + + + 1 + z2 z2 z2 z2 z1 z1 O caso de v2 totalmente anlogo. e a = + + + + z1 + . z2 z2 z1
Transformaoes de Mbius c o Seja M o conjunto das matrizes 2 2 complexas M tais que M21 e M22 no so simultaneamente a a A11 A12 dena-se a funo TA por ca nulos. Toda matriz invers um elemento de M. Para A M da forma A = vel e A21 A22 TA (z) := A11 z + A12 . A21 z + A22 E. 9.35 Exerccio.
As funoes TA so denominadas transformaoes lineares fracionrias ou transformaoes de Mbius28 . c a c a c o a) Mostre que se A M no for invers (ou seja, se det(A) = A11 A22 A12 A21 = 0), ento TA uma funo constante. a vel a e ca Mostre que a rec proca igualmente verdadeira. e b) Mostre que TA uma aplicao bijetora da esfera de Riemann sobre si mesma se e somente se det(A) = 0, ou seja, se e ca e somente se A for invers vel.
28 August
Ferdinand Mbius (17901868). o
Cap tulo 9
407/1628
c) Mostre que se A, B e AB so elementos de M, ento TA TB = TAB . a a

1 d) Constate que T (z) = z, a funo identidade e conclua que se A M for invers vale TA = TA1 . ca vel
E. 9.36 Exerccio. Tomemos A =
a b c d
M com det(A) = 0 e seja TA como acima.
a) Para c = 0 mostre que TA (z) pode ser escrita como TA (z) = LA I MA (z) onde, para w C, I(w) := 1 , w LA (w) := a ad bc w c c e MA (w) := cw + d .
Note que I, LA e MA so transformaoes de Mbius, LA e MA sendo funoes lineares e I sendo uma inverso. Para a c o c a b ca mos que c = 0 tem-se d = 0 (pois det(A) = 0) e vale, obviamente, TA (z) = a z + d , uma funo linear. Assim, conclu d se det(A) = 0 a funo TA pode ser escrita como composio de funoes lineares e inverses, essas ltimas ocorrendo ca ca c o u somente se c = 0. b) Mostre que funoes lineares como LA e MA transformam retas do plano complexo em retas do plano complexo e c c rculos do plano complexo em c rculos do plano complexo. c) Conclua da que, caso det(A) = 0 e c = 0, ento TA transforma retas em retas ou c a rculos e, igualmente, transforma c rculos em retas ou c rculos. d) Mostre que a armativa do item c) tambm verdadeira caso c = 0 (isso deve ser trivial agora, lembre-se do item b)). e e
S mbolos de Riemann e transformaoes de Mbius c o
As observaoes do item E. 9.36 do Exerc E. 9.36, pgina 407, combinadas ` Proposiao 9.7 da pgina 9.7 conduzem c cio a a c a imediatamente ` seguinte proposiao importante: a c Proposio 9.9 Seja A uma matriz 2 2 complexa e inversvel e seja a correspondente transformaao de Mbius TA , ca c o denida acima. Ento a TA (z1 ) TA (z2 ) TA (z3 ) z1 z2 z3 TA (z) , + + (9.131) P + + + z = P + z3 z2 z3 z2 z1 z1 z3 z2 z1 z1 z2 z3
A igualdade se dando a menos de um fator multiplicativo. Essa igualdade signica que se implementarmos na equaao c (9.122) a mudana de varivel z TA (z) (com A inversvel) obtemos equaoes do mesmo tipo e com os mesmos ndices, c a c apenas com os pontos singulares zi transformados em TA (zi ) para todo i = 1, 2, 3.
9.8.3.2
Equaes Fuchsianas com trs pontos singulares e a equao hipergeomtrica co e ca e
Coletando diversos ingredientes apresentados acima podemos agora provar a armaao feita anteriormente que toda c equaao Fuchsiana de linear homognea de segunda ordem com trs pontos singulares pode ser transformada em uma c e e equaao hipergeomtrica. c e Se z1 , z2 e z3 so trs pontos distintos de C, ento para a matriz A dada por a e a z2 z3 z2 z3 z1 z1 z3 z1 z3 A = z z z2 z1 2 1 z3 z1 z3 z1 z3
(9.132)
Cap tulo 9
408/1628
valem TA (z1 ) = 0, TA (z2 ) = 1 e TA (z3 ) = . Se z1 , z2 so dois pontos distintos de C ento para a matriz A dada por a a A = 1 z1 0 z2 z1 (9.133)
(que formalmente pode ser obtida como o limite |z3 | da matriz anterior) valem TA (z1 ) = 0, TA (z2 ) = 1 e TA () = . E. 9.37 Exerccio. Verique as armaoes acima. Constate tambm que ambas as matrizes em (9.132) e (9.133) tm c e e determinante no-nulo. a Conclu mos dessas observaoes e da c z1 + P z1 z1 Proposiao 9.9 que c 0 z2 z3 + + + z = P z1 z3 z2 z2 z1 z3
1 + z2 z2
+ z3 z3
para quaisquer z1 , z2 e z3 distintos (z3 podendo ser innito), A sendo a matriz (9.132) para z3 nito ou (9.133) para 0 1 c c z3 = . Observe-se agora que o s mbolo de Riemann P + + + z descrevendo uma equaao para uma funao z2 z1 z1 z2 y(z) pode ser transformado, evocando a Proposiao 9.8, pgina 406, na equaao descrita pelo s c a c mbolo de Riemann 0 1 0 + + + + z P z1 z2 + + z1 z1 z2 z1 +
+ +
TA (z) ,
(9.134)
e c c c para funao v(z) = (z z1 )z1 y(z). Para a funao w(z) = (z z2 )z2 v(z) obtm-se, pela mesma proposiao, a equaao c descrita pelo s mbolo de Riemann 0 1 0 0 + + + + + z . (9.135) P z2 z1 + + + + z1 z1 z2 z2 z1 + z2 + Denindo agora a + + + + + , z2 z1 b + + + + z2 z1 e c 1 + z1 z1
mbolo (9.135) re-escrito como e fcil ver, usando novamente (9.128), que + = c a b e com isso o s e a z2 z2 0 1 0 a z . P 0 1c cab b Escrevendo, por m, essa equaao nas formas (9.123) ou (9.124), obtm-se c e y (z)+ c ab 1c+a+b y (z)+ + y(z) = 0 , z z1 z(z 1) ou seja, z(1z) y (z)+[c (1 + a + b)z] y (z)ab y(z) = 0 ,
que vemos tratar-se da equaao hipergeomtrica, ou equaao de Gauss, (vide equaao (9.87), pgina 389). c e c c a Estabelecemos, portanto, que toda equaao Fuchsiana de segunda ordem com trs pontos singulares z1 , z2 e z3 (este c e ultimo podendo ser innito) pode ser transformada em uma equaao hipergeomtrica por transformaoes de Mbius na c e c o + + c o varivel z combinadas a transformaoes y(z) (z z1 )z1 (z z2 )z2 y(z) na funao incgnita y. a c
Cap tulo 9
409/1628
O estudo de soluoes da equaao hipergeomtrica ser iniciado na Seao 10.2.7, pgina 455. c c e a c a Equaoes Fuchsianas com quatro singularidades c
Algumas palavras rpidas sobre equaoes Fuchsianas com quatro singularidades. A Equaao de Heun29 , a c c y (z) + z q + + y(z) = 0 , y (z) + z z1 za z(z 1)(z a)
onde , , , q e a so constantes, Fuchsiana e possui quatro singularidades regulares, a saber, nos pontos 0, 1, a e no a e innito. E. 9.38 Exerccio. Verique essas armaoes! c E poss vel demonstrar que toda a equaao Fuchsiana com quatro singularidades pode ser transformada em uma c equaao de Heun, em analogia com o que ocorre com a equaao hipergeomtrica no caso de trs singularidades. c c e e
29 Karl
Heun (18591929).
Cap tulo 9
410/1628
9.9
Exerc cios Adicionais

r
E. 9.39 Exerccio. Seja A uma matriz n n diagonalizvel e seja a A =

k=1
k Ek
sua representao espectral, onde 1 , . . . , r so seus autovalores distintos e Ek so seus projetores espectrais tais que ca a a r Ea Eb = a, b Ea e = k=1 Ek . Mostre que
r
exp(A) =
k=1
ek Ek .
E. 9.40 Exerccio. Seja a matriz A1 = 2 3 0 7 .
a) Determine seu polinmio caracter o stico e seus autovalores 1 e 2 . (Para xar uma conveno adote 1 < 2 ). ca b) Determine autovetores correspondentes a esses autovalores. c) Determine uma matriz P que diagonaliza A1 , ou seja, a matriz P tal que D = P 1 A1 P = diag (1 , 2 ). d) D pode ser obviamente escrita como D = 1 K1 + 2 K2 , onde K1 = Logo, A1 = 1 E1 + 2 E2 , onde Ea = P Ka P 1 , a = 1, 2. e) Calcule explicitamente E1 e E2 e mostre que (9.136) a representaao espectral de A1 , ou seja, mostre explicitamente e c r que Ea so projetores e satisfazem Ea Eb = a, b Ea e = k=1 Ek . a f ) Os projetores E1 e E2 podem ser tambm calculados usando (5.48). Obtenha-os dessa forma e compare os resultados. e g) Usando o Exerc E. 9.39 calcule exp(tA1 ). cio E. 9.41 Exerccio. Repita o mesmo exerc para as matrizes cio A2 = 2 5i 0 4 A5 = , A3 = , 3 3 0 4 , 4i 0 A4 = 3i 2 3 0 3i 4 . , (9.136) 1 0 0 0 , K2 = 0 0 0 1 .
2 i 0 5
A6 =
ca c E. 9.42 Exerccio. Determine explicitamente a soluo do sistemas de equaoes lineares a coecientes constantes X(t) = AX(t), com X(0) = X0 , para a) A = 3 3 0 4 , X0 = 1 2 .
Cap tulo 9
411/1628
b) A = c) A = d) A = e) A = f) A = 0 1 1 0 , X0 = 3 1 . 0 i i 0 , X0 = 1 3 . 2 1 0 2 , X0 = 1 1 . 2 1 1 2 , X0 = 1 2 . 3 0 3i 4 , X0 = 1 2 .
Descreva qualitativamente o retrato de fase de cada um dos sistemas acima. ca c E. 9.43 Exerccio. Determine explicitamente a soluo do sistemas de equaoes lineares a coecientes constantes X(t) = AX(t) + B(t), com X(0) = X0 , para a) 0 A = 1 0 1 0 0 0 , 0 3 0 0 , 3 1 B(t) = sen (t) , cos(t) sen (t) B(t) = t , cos(t) 1 = 3 . 2 1 = 3 . 2
X0
b)
2 1 A = 0 2 0 0
X0
c c E. 9.44 Exerccio. Um sistema formado por duas populaoes p1 (t) e p2 (t) evolui de acordo com as equaoes p1 (t) = p1 (t) + p2 (t) , , R. p2 (t) = p1 (t) p2 (t) ,
a) Sabendo que p1 (0) = n1 e p2 (0) = n2 , determine p1 (t) e p2 (t) para t 0.

t t
b) Que relao e devem satisfazer para que tenhamos lim p1 (t) = lim p2 (t) = 0? ca c) Determine lim p1 (t) e lim p2 (t) no caso = > 0.
t t
c o E. 9.45 Exerccio. Seja Pn o espao vetorial complexo (n + 1)-dimensional de todos os polinmios complexos de grau d ca menor ou igual a n. Seja D = dx o operador de derivao agindo em Pn . a) Expresse D como uma matriz (n + 1) (n + 1) agindo na base {e0 , . . . , en }, onde ek = xk /k!. b) Mostre que D, agindo em Pn , nilpotente. e c) Expresse exp(tD), t R, como matriz na base {e0 , . . . , en }.
d) Seja p(x) = a0 + a1 x + + an xn um elemento de Pn . Mostre que (exp(tD)p)(x) = p(x + t). Sugesto. Mostre que a isso verdade para todos os elementos da base {e0 , . . . , en }. e
Cap tulo 9
412/1628
a E. 9.46 Exerccio. As chamadas matrizes de Pauli so denidas por 1 := 0 1 1 0 , 2 := 0 i i 0 e 3 := 1 0 0 1 . (9.137)
a) Mostre que as mesmas satisfazem as seguintes relaoes algbricas: para todos a, b = 1, 2, 3 valem c e
3
[a , b ] := a b b a {a , b } := a b + b a a b
Note que as matrizes de Pauli so auto-adjuntas: i = i . a
= = =
2i
c=1
abc c ,
(9.138) (9.139)
2ab ,
3
ab + i
c=1
abc c .
(9.140)
b) Mostre que as quatro matrizes , 1 , 2 , 3 formam uma base em Mat (C, 2): toda matriz complexa 2 2 pode ser escrita como uma combinao linear das mesmas. ca c) Mostre que as matrizes , 1 , 2 , 3 so ortonormais em relao ao seguinte produto escalar denido em Mat (C, 2): a ca A, B := 1 Tr (A B). 2 d) Seja := (1 , 2 , 3 ) um vetor de comprimento 1 de R3 , ou seja, = 1. Seja, := 1 1 + 2 2 + 3 3 , onde k so as matrizes de Pauli, denidas acima. Mostre que a exp (i ) = cos() + i sen () . e) Obtenha a representao espectral das matrizes de Pauli. ca
E. 9.47 Exerccio. exp(A + B). E. 9.48 Exerccio.
Exiba pelo menos um exemplo de um par de matrizes quadradas A e B tais que exp(A) exp(B) =
I. Mostre que se A(t) so matrizes complexas nn que comutam para ts diferentes, ou seja, tais que A(t)A(t ) = A(t )A(t) a para todos t e t , ento a srie de Dyson a e
D(t) := +
n=1 t 0
t 0
t1
tn1
A(t1 )A(t2 ) A(tn ) dtn dtn1 dt1
pode ser escrita como D(t) = exp

0
A( ) d .
II. Sejam R =
1 2 , e A(t) = tR. Compute D(t), t R. 0 1
E. 9.49 Exerccio. Seja a matriz A = onde , R. i 0 i ,
a) Determine seus auto-valores e seus projetores espectrais E1 e E2 e escreva a matriz A na forma espectral A = 1 E1 + 2 E2 .
Cap tulo 9
413/1628
Mostre explicitamente que E1 e E2 satisfazem Ea Eb = a, b Ea e E1 + E2 = . b) Determine explicitamente a matriz eAt , t R. c) Determine explicitamente a soluo da equao ca ca X(t) = AX(t) + G(t) , onde x1 (t) x2 (t) eit e
it
X(t) =
G(t) =
X(0) = X0 =
x0 1 x0 2
E. 9.50 Exerccio. Seja a matriz
onde , , e so nmeros complexos. Calcule exp(tA), t R. a u E. 9.51 Exerccio. Sejam y1 (t) . Y (t) = . , . yn (t)
0 0 0 A = 0 0 0 0 0 0 0 0
0 0 0
0 0 0 ,
e M uma matriz n n complexa de coecientes constantes. Mostre que o sistema linear Y (t) = M Y (t) + S(t) com condio inicial Y (0) = Y0 tem por soluo ca ca Y (t) = eMt Y0 +
0 t
s1 (t) . S(t) = . . sn (t)
e(tu)M S(u) du .

CAP 9 - EDO Lineares

Caricato da

Informazioni sul documento

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

CAP 9 - EDO Lineares

Caricato da

Copyright:

Formati disponibili

Cap tulo 9 Sistemas de Equaes Diferenciais Ordinrias co a Lineares

9.3 9.4 9.5 9.6

JCABarata. Curso de F sica-Matemtica a

Verso de 4 de abril de 2009. a

Unicidade e Existncia de Solues e co

A(t1 )Y (t1 ) dt1 .

A(t2 )Y (t2 ) dt2 .

JCABarata. Curso de F sica-Matemtica a

Verso de 4 de abril de 2009. a

Inserindo-se isso na pen ltima identidade, tem-se u

A(t2 )Y (t2 ) dt2 dt1 ,

A(t1 )A(t2 ) Y (t2 ) dt2 dt1 .

Repetindo-se esse procedimento n vezes chega-se ` seguinte identidade: a

A(t1 )A(t2 ) A(tn ) Y (tn ) dtn dtn1 dt1 .

(A(t1 )A(t2 ) A(tn ))ab yb (tn ) dtn dtn1 dt1 .

(A(t1 )A(t2 ) A(tn ))ab = A relaao (9.4) ca ento c a

Aak1 (t1 )Ak1 k2 (t2 ) Akn1 b (tn ) .

Essa relaao implica a seguinte desigualdade c

|ya (t)| O fator n deve-se ao fato que

n M dtn dtn1 dt1 .

JCABarata. Curso de F sica-Matemtica a

Verso de 4 de abril de 2009. a

pois e M so constantes. Fora isso, bem fcil constatar que a e a

dtn dtn1 dt1 =

JCABarata. Curso de F sica-Matemtica a

Verso de 4 de abril de 2009. a

Prova. Se Y (t0 ) = 0 ento Y (t) = a Y (t) =

A(t1 )Y (t1 ) dt1 . Como em (9.3), conclu mos que

A(t1 )A(t2 ) A(tn ) Y (tn ) dtn dtn1 dt1 .

Prosseguindo como antes, concluiremos que |ya (t)| M onde = max

(m|t t0 |)n , n! e M = max max |yi (t)| ,

t[0, T ] i{1, ..., m}

Existncia. A Srie de Dyson e e

A(t1 )A(t2 ) A(tn ) dtn dtn1 dt1 .

Seja tambm D(t) denida por D(t) = D(t, 0), ou seja, e

A(t1 )A(t2 ) A(tn ) dtn dtn1 dt1 .

D(t, s)F (s) ds .

JCABarata. Curso de F sica-Matemtica a

Verso de 4 de abril de 2009. a

(A(t1 )A(t2 ) A(tn ))ab dtn dtn1 dt1

Aak1 (t1 )Ak1 k2 (t2 ) Akn1 b (tn ) dtn dt1 .

|Dab (t, s)|

|Aak1 (t1 )| |Ak1 k2 (t2 )| Akn1 b (tn ) dtn dt1

JCABarata. Curso de F sica-Matemtica a

Verso de 4 de abril de 2009. a

A(t1 )A(t2 ) A(tn ) dtn dtn1 dt1 .

A(t1 )A(t2 ) dt2 dt1

A(t1 )A(t2 )A(t3 ) dt3 dt2 dt1 +

A(t)A(t2 )A(t3 ) dt3 dt2 +

A(t2 )A(t3 ) dt3 dt2 + A(t1 )A(t2 ) dt2 dt1 +

D(0, s)F (s) ds = Y0 + 0 = Y0 ,

D(t, s)F (s) ds

A(t)D(t)Y0 + D(t, t)F (t) +

D(t, s)F (s) ds t

A(t)D(t, s)F (s) ds

D(t, s)F (s) ds + F (t).

A(t)Y (t) + F (t),

JCABarata. Curso de F sica-Matemtica a

Verso de 4 de abril de 2009. a

JCABarata. Curso de F sica-Matemtica a

Verso de 4 de abril de 2009. a

A soluao de cada equaao (9.15) c c e

Mi (t) = D(t)Mi (0) +

D(t, s)Gi (s) ds ,