Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
2o Semestre de 2015/16
Indice
1 Analise Complexa 7
1.1 Notas Historicas Sobre Numeros Complexos . . . . . . . . . . . . . . . . . . . . 7
1.2 Numeros Complexos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.2.1 Estrutura Algebrica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.2.2 Inexistencia de relacao de ordem total em C . . . . . . . . . . . . . . . . 16
1.2.3 Potencias de Expoente Inteiro e Polinomios Complexos . . . . . . . . . . 17
1.2.4 Estrutura Geometrica, Representacao Polar e Formula de Euler . . . . . . 18
1.2.5 Razes Indice n de um Numero Complexo . . . . . . . . . . . . . . . . . 21
1.3 Sucessoes e Series de Numeros Complexos . . . . . . . . . . . . . . . . . . . . . 23
1.3.1 Sucessoes de Numeros Complexos . . . . . . . . . . . . . . . . . . . . . 23
1.3.2 Series Numericas (Reais ou Complexas) . . . . . . . . . . . . . . . . . . 25
1.3.3 Serie Geometrica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
1.3.4 Resultados Gerais de Convergencia de Series Complexas . . . . . . . . . 27
1.3.5 Serie Harmonica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
1.3.6 Series de Mengoli . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
1.3.7 Convergencia Absoluta . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
1.3.8 Series Reais de Termos Nao Negativos . . . . . . . . . . . . . . . . . . . 28
1.3.9 Series de Dirichlet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
1.3.10 Series Alternadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
1.3.11 Series de Potencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
1.4 Funcoes Complexas de Variavel Complexa . . . . . . . . . . . . . . . . . . . . . 38
1.4.1 Definicao e Notacao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
1.4.2 Funcoes Elementares . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
1.4.3 Limites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
1.4.4 Continuidade: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
1.4.5 Derivada Complexa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
1.4.6 Equacoes de Cauchy-Riemann . . . . . . . . . . . . . . . . . . . . . . . 50
1.4.7 Teorema de Cauchy-Riemann . . . . . . . . . . . . . . . . . . . . . . . . 53
1.4.8 Demonstracao do Teorema de Cauchy-Riemann . . . . . . . . . . . . . . 54
1.4.9 Propriedades das Funcoes Analticas . . . . . . . . . . . . . . . . . . . . 57
1.4.10 Condicoes de Cauchy-Riemann em Coordenadas Polares . . . . . . . . . 59
1.4.11 Nocoes Basicas da Topologia em C . . . . . . . . . . . . . . . . . . . . 61
1.4.12 Funcoes harmonicas em R2 . . . . . . . . . . . . . . . . . . . . . . . . . 62
1.5 Integracao em C . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
1.5.1 Curvas em C . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
1.5.2 Integral complexo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
3
1.5.3 Teorema de Cauchy e suas consequencias . . . . . . . . . . . . . . . . . 68
1.6 Series de Potencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
1.6.1 Analiticidade de uma Serie de Potencias . . . . . . . . . . . . . . . . . . 81
1.7 Series de Taylor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
1.7.1 Teorema de Taylor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
1.7.2 Zeros de uma Funcao Analtica . . . . . . . . . . . . . . . . . . . . . . . 85
1.8 Series de Laurent . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
1.8.1 Definicao de Serie de Laurent . . . . . . . . . . . . . . . . . . . . . . . . 86
1.8.2 Teorema de Laurent . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
1.9 Singularidades, Resduos e Teorema dos Resduos . . . . . . . . . . . . . . . . . 88
1.9.1 Singularidades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
1.9.2 Classificacao das Singularidades Isoladas . . . . . . . . . . . . . . . . . . 89
1.9.3 Resduos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
1.9.4 Teorema dos Resduos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
1.10 Aplicacoes do Teorema dos Resduos ao Calculo de Integrais Reais . . . . . . . . 97
1.10.1 Integrais Trigonometricos . . . . . . . . . . . . . . . . . . . . . . . . . . 97
1.10.2 Integrais Improprios de 1a especie de Funcoes Racionais . . . . . . . . . . 98
1.10.3 Integrais Improprios de 1a especie envolvendo funcoes Trigonometricas . . 101
5
6
Captulo 1
Analise Complexa
1
1.1 Notas Historicas Sobre Numeros Complexos
A introducao do conceito de numero complexo esta relacionada com as tentativas de resolucao
de equacoes algebricas, que tiveram lugar durante a Idade Media.
No seu compendio de Algebra, Al-Khawarizmi (780-850) apresenta a solucao de varios tipos
de equacoes quadraticas, que estao de acordo com a formula resolvente que hoje consta dos
programas do ensino secundario, quando restrita a solucoes positivas. Sob o califa al-Mamun,
cujo reinado ocorreu entre os anos 813 e 833, em Bagdad, al-Khawarizmi tornou-se membro da
Casa da Sabedoria (Dar al-Hikma), uma especie de academia cujos estudos incidiam sobre a
algebra, geometria e astronomia. A foram efectuadas traducoes em arabe de obras do perodo
greco-romano, o que salvou algumas delas da destruicao.
O compendio de Al-Khawarizmi e um manual eminentemente pratico, em estilo retorico (sem
formulas) seguindo a tradicao babilonia e hindu da resolucao de problemas praticos de agrimensura
e contabilidade, mas contendo tambem demonstracoes geometricas das solucoes dos problemas,
inspiradas nos metodos gregos. Al-Khwarizmi enunciou seis casos distintos de equacoes do segundo
e primeiro grau; em notacao moderna, temos: (1) ax2 = bx, (2) ax2 = c, (3) bx = c, (4)
ax2 + bx = c, (5) ax2 + c = bx e (6) bx + c = ax2 . Isto era necessario pois os matematicos desse
tempo nao reconheciam coeficientes nulos nem numeros negativos. Al-Khwarizmi apresentou
sistematicamente as solucoes de cada um desses problemas algebricos, e que eram conhecidas
desde o tempo dos babilonios, mas acrescentou-lhes demonstracoes geometricas, inspiradas nos
Elementos de Euclides.
Visto que nao considerava numeros negativos, o seu estudo nao levou
a introducao de 1, como hoje e feito quando se define esse numero como sendo uma das
solucoes de x2 = 1.
Os metodos da algebra conhecidos pelos arabes foram difundidos em Italia pela traducao em
latim da obra de al-Khawarizmi, feita por Gerard de Cremona (1114-1187). Mas foi o trabalho
matematico de Leonardo Pisano (1170-1250), mais conhecido pelo seu pseudonimo, Fibonacci,
que mais efectivamente difundiu a notacao numerica e a algebra em uso pelos arabes.
Ao tempo, Pisa era uma importante cidade comercial, que servia de no a muitas rotas comer-
ciais do Mediterraneo. Guglielmo Bonacci, o pai de Fibonnaci, era um despachante (ou, segundo
outros, um oficial aduaneiro) numa cidade hoje situada na Argelia, de nome Bejaa, anteriormente
conhecida por Bugia ou Bougie, e de onde velas de cera eram exportadas para a Europa. Em
Franca, as velas ainda hoje sao denominadas bougies. Fibonacci foi assim educado no norte de
1
Esta seccao e de leitura facultativa.
7
CAPITULO 1. ANALISE COMPLEXA
Africa, pelos mouros, e mais tarde viajou extensivamente por todo o Mediterraneo, tendo tido
a oportunidade de conhecer muitos mercadores e aprender o sistema de numeracao arabe, bem
como a algebra. Tornara-se entao obvio o facto de a aritmetica e a algebra elementar serem
bastante relevantes para a contabilidade e as financas.
Nos tres seculos seguintes, o trabalho de Fibonnaci dominou quer os aspectos teoricos da
algebra quer as tecnicas de resolucao de problemas praticos. Com a ascencao da classe mercantil
em Italia, particularmente acentuada nos seculos XIV e XV, o ambiente matematico foi bastante
influenciado pela expansao do negocio dos maestri dabbaco. Esta maior enfase comercial gerou
grande procura por livros de matematica simplificados, escritos em linguagem comum e muito
diferentes dos longos tratados em latim com demonstracoes geometricas, que os precederam.
No final do seculo XV, os maestri dabbaco haviam acrescentado muito pouco aos resultados
conhecidos no seculo XII. Mas a atmosfera cultural mais exigente do Renascimento fez os textos
regressar paulatinamente a tradicao teorica, representada pelos Elementos de Euclides e pelo
Libber Abbaci de Fibbonaci.
Merece especial destaque o livro Summa de arithmetica, geometria, proportioni e proportiona-
lita, de Luca Pacioli (1445-1517) que, por ser o primeiro texto impresso (e nao manuscrito, como
anteriormente) de matematica, teve larga difusao e tornou-se popular por condensar num volume
toda a matematica conhecida ate entao. Se e certo que o conteudo matematico da Summa acres-
centava pouco ao que ja se conhecia, a sua apresentacao diferia, de forma substancial, da das
suas fontes. Como vimos, as obras dos seculos XIII e XIV tinham um estilo puramente retorico,
com todo o conteudo (excepto os numeros) descrito em linguagem verbal. Porem, a Summa
de Paccioli apresenta pela primeira vez os calculos algebricos em forma abreviada, utilizando os
percursores das modernas formulas matematicas.
Com isto, a algebra inicia nova evolucao. As equacoes do terceiro grau tornam-se alvo de
grande interesse, particularmente porque o maior rigor permitiu descobrir varios erros de que
padeciam os trabalhos dos maestri dabbaco, e que foram transmitidos acriticamente de geracao
em geracao.
Como sabemos, da equacao generica do 3o grau,
x3 + ax2 + bx + c = 0,
y 3 + py + q = 0,
(c) x3 + q = px.
A data exacta da descoberta nao se conhece, por causas que em seguida se explicam.
Naquela epoca, em Italia, o mundo dos matematicos era extremamente competitivo. Os
estudantes pagavam directamente ao professor cada disciplina que frequentavam. Assim, caso
8
1.1. NOTAS HISTORICAS SOBRE NUMEROS COMPLEXOS
9
CAPITULO 1. ANALISE COMPLEXA
Cardano indicou del Ferro como primeiro autor e Tartaglia como tendo descoberto o resultado
independentemente, o que deu origem a uma das mais intensas controversias sobre a prioridade
de uma descoberta.
Em Ars Magna (1545), Cardano apresenta as solucoes de del Ferro e Tartaglia dos varios
casos de equacoes do 3o grau com coeficientes positivos. Isto torna-se possvel, em parte, a
custa do estabelecimento de identidades algebricas. Porem, permaneciam os metodos de prova de
Euclides. Ora, as consideracoes geometricas necessarias para obter as demonstracoes criavam um
problema: que significado se devia dar a um numero negativo? O que significava um segmento
de comprimento negativo, um quadrado de area negativa, ou um cubo de volume negativo?
O que significava a diferenca a b, quando a < b? Ora Euclides, os arabes, Fibonacci, os
maestri dabaco, Pacioli, e Cardano contornaram sempre o problema da mesma forma: para
nao admitirem coeficientes negativos consideraram varios casos para uma mesma equacao (da
forma que vimos); pois so assim lhes era possvel interpretar as equacoes do segundo grau como
problemas geometricos envolvendo comprimentos de segmentos e areas de polgonos.
Alem disso, os numeros negativos introduziam uma enorme dificuldade quando apareciam
sob o smbolo de raiz quadrada. Cardano estava ciente do problema e evitou discutir o casus
irreducibilis em Ars Magna. Para uma equacao do 2o grau, ele explica assim a dificuldade 3 : se
ax = x2 + b entao: r
a a 2
x= b. (1.1)
2 2
2
[...] Se nao se pode subtrair b de a2 [no caso em que (a/2)2 b < 0] entao o problema e
um falso problema, e a solucao que foi proposta nao se verifica. Esta impossibilidade apenas
significava que a interpretacao geometrica da epoca (requerida pelos
metodos de prova disponveis)
invalidava, a partida, os casos que poderiam levar a introducao de 1.
No entanto, no captulo 37 de Ars Magna, Cardano enuncia o problema
x + y = 10
(1.2)
xy = 40
afirmando depois:
E evidente que este caso e impossvel. No entanto, procederemos como se segue: dividimos
10 em duas partes iguais, cada uma igual a 5. Estas elevamos ao quadrado, o que da
25. Subtraia 40 do 25 anteriormente obtido, como eu mostrei no captulo sobre operacoes
[aritmeticas] no livro VI, de onde resulta -15, a raizquadrada doqual adicionada ou subtraida
de 5 da as solucoes do problema. Estas sao 5 + 15 e 5 15.
Como o problema (1.2) e equivalente a equacao quadratica x2 + 40 = 10x, ele resolveu-o com a
formula (1.1), o que pode hoje ser considerado como obvio mas decerto nao o era na epoca. De
facto, o uso de propriedades algebricas como meio de demonstracao estava ainda na sua infancia.
Quando calculou (10/2) 2 40 = 15, ele comentou que como tal resultado e negativo, o leitor
tera que imaginar 15 e concluiu admitindo que isto e verdadeiramente sofisticado, pois com
isto pode-se fazer as operacoes que nao se pode fazer no caso de um numero negativo e de
outros [numeros]. Assim, a rejeicao das limitacoes da interpretacao geometrica vigente produzia
uma nova entidade algebrica cujas propriedades eram bem distintas de tudo o que ate entao era
conhecido, uma entidade cuja interpretacao geometrica escapava ao conhecimento da epoca. Por
3
traduzimos as formulas em notacao moderna
10
1.1. NOTAS HISTORICAS SOBRE NUMEROS COMPLEXOS
isso, Cardano viu-se na obrigacao de escrever e assim progride a subtileza da aritmetica sendo o
desgnio da mesma, como se diz, tao refinado quanto inutil.
Em 1463, o humanista Johannes Muller, mais frequentemente designado pelo pseudonimo Re-
gimontanus, comunicou que havia descoberto os optimos livros de Diofanto, o maior algebrista
grego e que viveu em Alexandria provavelmente na segunda metade do seculo III da nossa era. O
livro mais importante que escreveu e a Aritmetica, onde introduz uma notacao simbolica similar a
que fora sido desenvolvida ate ao seculo XVI, com smbolos diferentes para uma incognita, para o
quadrado de uma incognita, para o cubo, etc, e onde resolvia equacoes e inequacoes utilizando o
que ele designou por formulas inderminadas, e que sao de facto propriedades algebricas genericas,
hoje descritas atraves de formulas com quantificadores. Ate ao Renascimento, a Aritmetica de
Diofanto fora descoberta e traduzida varias vezes, a primeira das quais realizada por al-Karaji,
em Bagdad, no seculo X. Porem, nunca ate entao a obra tinha conseguido impor-se aos metodos
geometricos de Euclides, largamente difundidos por al-Khwarizmi e, no Ocidente, por Fibonacci.
Considere-se, por exemplo, o seguinte problema do tomo II desse tratado: Encontrar tres
numeros tais que o quadrado de qualquer um deles menos o seguinte da um quadrado. Usando
notacao moderna para descrever a solucao de Diofanto, ele tomou x + 1, 2x + 1, e 4x + 1 como
os tres numeros pretendidos e verificou que satisfaziam as seguintes condicoes:
ou seja, um quadrado, e
(2x + 1)2 (4x + 1) = 4x2 ,
tambem um quadrado, e ja agora
igualmente um quadrado. O facto de este problema ter uma infinidade de solucoes permitiu a
Diofanto enunciar uma propriedade generica que os numeros em questao satisfazem. Em notacao
moderna, a propriedade escreve-se:
A sua tecnica de demonstracao usa os metodos algebricos, tpicos da analise matematica moderna;
alem disso, Diofanto nao procurou posteriormente qualquer demonstracao geometrica da validade
do resultado, como era norma.
Durante a segunda metade da decada de 1560, Antonio Maria Pazzi descobriu uma copia
manuscrita da Aritmetica de Diofanto na Biblioteca do Vaticano e mostrou-a a Rafael Bombelli.
Convencidos dos seus meritos, os dois homens iniciaram a traducao da obra, tendo completado
o trabalho em cinco dos volumes que a constituem. Esta descoberta provocou uma mudanca
significativa no ambiente matematico. Numa altura em que a vantagem dos metodos geometricos
na solucao de questoes algebricas tinha sido enfraquecida pelas descobertas das solucoes das
equacoes do quarto grau e dos numeros negativos e complexos como solucoes dessas equacoes,
a abordagem nao geometrica de Diofanto encontrou finalmente um ambiente favoravel a sua
difusao. Em 1572, quando Bombelli publica uma nova e mais completa edicao o seu longo
tratado LAlgebra parte maggiore dellArithmetica divisa in tre libri, os termos de inspiracao arabe
cosa (para incognita) e census (para o seu quadrado) sao substitudos pelas traducoes tanto e
potenza da terminologia diofantina usada para representar numero (arithmos, em grego) e potencia
(dynamis, em grego). Alem disso, Bombelli removeu quase todos os problemas praticos originarios
11
CAPITULO 1. ANALISE COMPLEXA
dos maestri dabbaco, substituindo-os pelos problemas abstractos de Diofanto. Na sua introducao
ao tomo III, ele anunciou que havia quebrado com o costume usual de enunciar problemas ...
sob o desfarce de accoes humanas (compras, vendas, trocas directas, cambios, juros, desfalques,
emissao de moeda, ligas, pesos, sociedades, lucro e prejuzo, jogos e outras inumeras transaccoes
e operacoes baseadas na vida diaria). Ele pretendia ensinar a aritmetica [algebra] avancada,
a maneira dos antigos. A variacao introduzida pela algebra de Bombelli, o seu tratamento de
problemas cuja solucao era impossvel pelos metodos geometricos constituia, ao mesmo tempo, o
reconhecimento de que a solucao dos problemas algebricos nao requeria justificacao geometrica.
Assim, em lAlgebra Bombelli segue
Cardano mas oferece uma discussao completa do casus
irreducibilis, introduzindo a notacao 1 nas operacoes com numeros complexos. Por exemplo,
ele considera a equacao
x3 = 15x + 4,
para a qual a formula de Cardano da a solucao:
q q
3 3
x = 2 + 121 + 2 121
Definindo q
3
2+ 121 = a + b 1
e q
3
2 121 = a b 1,
e elevando ao cubo ambos os membros das igualdades acima, ele conclui facilmente que a = 2 e
b = 1, pelo que a solucao
x = 2 + 1 + 2 1 = 4,
apesar de ser real e positiva, so pode ser obtida por intermedio de numeros complexos.
Rene Descartes (1596-1650), que foi essencialmente um filosofo, produziu tambem importante
obra cientfica. Instado pelos seus amigos a comunicar as suas ideias filosoficas, publicou em 1537
o Discours de la method pour bien conduire sa raison et chercheur la verite dans les sciences.
Esta obra tem tres apendices cientficos: La Dioptrique, Les Meteores e La Geometrie.
Em La Geometrie, Descartes introduz ideias que estao na base da moderna geometria analtica.
Porem e infelizmente para a analise complexa o filosofo considerava os numeros complexos
como uma impossibilidade geometrica. Por exemplo, no metodo que usou para resolver a equacao
x2 = ax b2 , com a e b2 positivos, Descartes introduz a palavra imaginario: Para qualquer
equacao podemos imaginar tantas raizes [quanto o seu grau determina], mas em muitos casos
nao existe a quantidade que correponde a que imaginamos.
John Wallis (1616-1703), na sua Algebra, fez notar que os numeros negativos a existencia
dos quais se havia tambem colocado objeccoes filosoficas durante varios seculos tem uma
interpretacao fsica perfeitamente razoavel, cuja base era uma recta com uma marca designando
o ponto zero e os numeros positivos sendo aqueles que estao a uma correspondente distancia
do zero para a direita, enquanto os negativos estao a uma distancia correspondente (em valor
absoluto) para a esquerda. Assim surgiu o conceito moderno de recta real.
Abraham de Moivre (1667-1754) nasceu em Franca mas refugiou-se em Londres, aos dezoito
anos de idade, segundo se cre por motivos religiosos. Em 1698, mencionou que Newton descobrira,
em 1676, um caso particular da formula que, em notacao moderna, se escreve:
n
cos + i sen = cos(n) + i sen(n).
12
1.1. NOTAS HISTORICAS SOBRE NUMEROS COMPLEXOS
Abraham de Moivre conhecia este resultado e usou-o varias vezes, mas e devido a Euler o primeiro
enunciado explcito do mesmo.
Leonhard Euler (1707-1783) nasceu em Basileia, na Suica, mas viveu a maior parte da sua
vida em S. Petersburgo e em Berlim. Privou com figuras importantes da historia mundial como
Frederico II (o Grande) da Prussia e a czarina Catarina (a Grande) da Russia.
Euler e considerado um dos melhores e mais produtivos matematicos de todos os tempos.
A sua obra tocou tantas areas distintas que e impossvel descreve-la em poucas linhas. Alguns
dos seus maiores sucessos devem-se a facilidade com que ele formulava problemas da vida real
utilizando para tal a linguagem da analise matematica. Tal era a atmosfera que se vivia depois
do sucesso de Newton e de Leibniz na criacao do calculo diferencial, assunto que Euler depois
desenvolveu sem ter deixado de tornar os seus fundamentos consideravelmente mais simples de
compreender e de aplicar.
Euler introduziu a notacao abreviada i = 1; alem disso, muita da notacao da analise
matematica moderna como, por exemplo, a representacao P de uma funcao generica por f (x), a
notacao actual das funcoes trigonometricas, o smbolo usado em somatorios e series, a ele se
deve. Euler vizualizava correctamente os numeros complexos como pontos do plano, da mesma
forma que hoje o fazemos, embora nao tenha explicitado uma construcao dos numeros complexos
baseada nessa ideia. Tambem introduziu a representacao polar, x + iy = r(cos + i sen );
descobriu que as solucoes da equacao z n = 1 sao vertices de um polgono regular de n lados;
definiu a exponencial complexa a partir de
ei = cos + i sen
13
CAPITULO 1. ANALISE COMPLEXA
Se este assunto tem ate agora sido tratado de um ponto de vista errado, e logo
envolto em misterio e obscurecido, e em grande medidao uso de uma terminologia
desadequada que deve ser culpado. Tivessem +1, 1 e 1, em vez de sido chama-
dos de unidade positiva, negativa e imaginaria (ou, pior ainda, impossvel), recebido
os nomes, por exemplo, de unidade directa, inversa e lateral, entao dificilmente teria
existido qualquer contexto para tal obscuridade.
Conjugado de um complexo:
Se z = x + iy, define-se o seu conjugado por
z = x iy (Re z = Re z e Im z = Im z)
E obvio que
z = z , z C
Igualdade de complexos:
Se z = x + iy, w = a + ib C
Exemplo:
z=0 Re z = Im z = 0
14
1.2. NUMEROS COMPLEXOS
2. z = z se e so se Im z = 0, ou seja
z = z zR
Soma/Produto de complexos:
Se z = x + iy, w = a + ib C
z + (w + u) = (z + w) + u = z + w + u
propriedade comutativa
z+w =w+z
existencia de elemento neutro, 0
z+0=z
z + (z) = 0
1z = z
0z = 0
15
CAPITULO 1. ANALISE COMPLEXA
z(w + u) = zw + zu
Simetrico/Diferenca de complexos: Se w = a + ib C
z w = (x a) + i(y b)
Inverso/Quociente de complexos:
Se w = a + ib C \ {0}
1 w a ib
w1 = == = 2
w ww a + b2
Como consequencia da existencia de inverso para todo o complexo nao nulo, podemos
definir o quociente de dois complexos como sendo o produto pelo inverso. Se z = x + iy,
w = a + ib C e w 6= 0
z (x + iy)(a ib)
=
w a 2 + b2
zw = 0 z=0 w=0
Uma relacao de ordem total (estrita) num conjunto M e uma relacao, <, que verifica:
(1) Dados a, b M entao verifica-se uma e so uma das seguintes proposicoes: a < b ou b < a
ou a = b. (tricotomia)
16
1.2. NUMEROS COMPLEXOS
Um corpo munido de uma relacao de ordem compatvel com a sua soma e produto diz-se um
corpo ordenado. Os numeros racionais e os numeros reais, com a soma, o produto e a relacao de
ordem usuais, constituem dois bem conhecidos exemplos de corpos ordenados.
Dados quaisquer a, b M , diz-se que a > b se b < a. A partir das propriedades de corpo e
dos axiomas de ordem prova-se que se a < 0 entao a > 0 (basta usar o axioma 3. com b = 0 e
c = a), de onde resulta que:
em que ao , a1 , ... an sao constantes complexas. Mais tarde demonstraremos o seguinte resultado:
Isto significa, que se P e um polinomio de grau n N, existem n complexos z1 , ..., zn tal que
P (zk ) = 0 para todo k = 1, ..., n e como tal podemos escrever o polinomio na forma factorizada
P (z) = an (z z1 )...(z zn )
4
Note que o que provamos aqui nao e auto-evidente: vimos que em qualquer corpo ordenado (e nao apenas
em R) se verifica 1 > 0, etc.
17
CAPITULO 1. ANALISE COMPLEXA
Im z
Re z =
Im z = z = + i
Re z
Tal como em R2 , podemos tambem usar as coordenadas polares para representar um numero
complexo. Assim, se z = x + iy C, denomina-se por modulo de z, o numero real
p
|z| = x2 + y 2 .
Por outro lado se z 6= 0, denomina-se por argumento de z qualquer numero real que verifique
as igualdades
x = |z| cos e y = |z| sen .
Isto implica que
y
tg =
,
x
para x 6= 0. Desta forma, o complexo z pode ser escrito na forma polar por:
z = |z| cos(arg z) + i sen(arg z) .
18
1.2. NUMEROS COMPLEXOS
Im z
arg z =
z = rei
Re z
|z| = r
Trata-se da famosa formula de Euler. Esta definicao justifica-se pelo facto de cos + i sen ter as
propriedades que se esperam de uma funcao exponencial. Usando apenas trigonometria, pode-se
provar facilmente que para quaisquer , R e k Z:
ei(+) = ei ei
ei ei = 1
1
ei =
ei
k
eik = ei .
Recorrendo entao a formula de Euler, a forma polar de um numero complexo escreve-se, simples-
mente:
z = |z| ei arg z . (1.4)
Tomando z = 1 em (1.4) obtem-se
ei = 1,
formula tambem devida a Euler e que relaciona os tres numeros nao racionais mais conhecidos da
Matematica.
O valor do argumento de um complexo nao e unico:
se verifica a igualdade (1.4) entao + 2k, com k Z, tambem verifica (1.4).
19
CAPITULO 1. ANALISE COMPLEXA
z r
z = |z|ei , zw = r ei(+) , = ei()
w
pelo que
z |z|
zz = |z|2
, |zw| = |z||w| , =
w |w|
z
arg (z) = arg (z) , arg (zw) = arg (z) + arg (w) , arg ( ) = arg (z) arg (w)
w
20
1.2. NUMEROS COMPLEXOS
Daqui se deduz que qualquer complexo z = |z|ei nao nulo admite n razes ndice n distintas
dadas por:
p +2k
n
z = n |z|ei n , k = 0, 1, ..., n 1.
E de notar que algumas propriedades das razes reais 5 nao sao satisfeitas pelas razes com-
plexas, mesmo se interpretadas no sentido da igualdade de conjuntos.
Exemplo:
4
1. Determinar todos os valores de 1 e i. Por um lado
4 +2k
4
1 = ei = ei 4 , k = 0, 1, 2, 3 ,
E obvio que R2 R1 pelo que 4 1 6= i. No entanto, a igualdade verifica-se para 2 das
i 5i i
razes: e 4 e a sua simetrica, e 4 = e 4 .
5
Um exemplo de uma propriedade das razes reais nao satisfeita pelas complexas e: se x R+ , n, m e p N
entao: p
nm
xmp = n xp e n xp = n x
.
21
CAPITULO 1. ANALISE COMPLEXA
p 2
4
2. Determinar todos os valores de 4
(1 + i)2 e 1+i . Por um lado
p +2k
2
2i = 2 ei 4
4 4 4
(1 + i)2 = , k = 0, 1, 2, 3 ,
p
pelo que os valore possveis de 4 (1 + i)2 sao os elementos do conjunto
4 i 4 5i
4 9i 4 13i
R1 = { 2e 8 , 2e 8 , 2e 8 , 2e 8 } .
q r
3 3
2 p
3
3
+2k
i 33
2
( 3 i) = 2ei/6 = 4ei/3 = 4e , k = 0, 1, 2 ,
q
3
pelo que os valores possveis de ( 3 i)2 sao os elementos do conjunto
i 5i 11i
R1 = { 4e 9 , 4e 9 , 4e 9 }
3 3 3
q
3
Verifica-se neste caso que R1 = R2 . Pelo que neste caso se verifica que ( 3 i)2 =
p 2
3
3i .
De facto podemos enunciar a seguinte propriedade:
22
1.3. SUCESSOES E SERIES DE NUMEROS COMPLEXOS
N n 7 zn = xn + iyn C,
ou seja, uma aplicacao (ou funcao) que a cada numero natural, n, faz corresponder um e um
so numero complexo zn = xn + iyn . E costume representar uma sucessao por (zn ) ou ainda,
mais abreviadamente, pelo seu termo geral, zn . As sucessoes xn = Re zn (a parte real de zn ) e
yn = Im zn (a parte imaginaria de zn ) sao sucessoes reais.
A sucessao zn diz-se limitada se existe um numero real positivo M tal que |zn | M para
todo n N.
Se zn = xn + iyn entao
Exemplos:
1
1. A sucessao zn = e limitada, visto que |zn | = n1 1, para todo o n N.
in
n + 2i q
2. A sucessao zn = e limitada, pois |zn | = 1 + n42 5 para qualquer n N.
n
3. A sucessao zn = ein e limitada, pois |zn | = 1, para todo o n N.
Esta definicao significa que dado qualquer erro > 0, existe uma ordem N N a partir da qual
todos os termos da sucessao (os termos zN +1 , zN +2 , . . .) sao aproximacoes do limite, L, com erro
inferior a .
Exemplos:
in
1. A sucessao zn = e convergente e o seu limite e 0, visto que para qualquer > 0
n3
in 1 1
3 = 3 < para n > 3
n n
A definicao de convergencia e verificada para qualquer > 0 tomando N = N () > 1/ 3 .
23
CAPITULO 1. ANALISE COMPLEXA
n + 2i
2. A sucessao zn = e convergente e o seu limite e 1, visto que para qualquer > 0
n
n + 2i 2i 2 2
1 = = < para n >
n n n
Teorema:
Sendo (zn ) uma sucessao complexa convergente, entao
Diz-se que zn e uma sucessao de Cauchy se e so se para qualquer > 0, existe N N tal que
1. Se zn = xn + iyn e L = A + iB entao
24
1.3. SUCESSOES E SERIES DE NUMEROS COMPLEXOS
Limite infinito
Se (zn ) e uma sucessao complexa, definimos
lim |zn | =
n
1
lim =0
n zn
Observa-se que se pelo menos uma das sucessoes (Re zn ) ou (Im zn ) diverge para infinito, entao
a sucessao (zn ) tera tambem limite infinito. Porem, o recproco pode nao se verificar.
Tal como no caso real, a agebra de limites nao e aplicavel quando pelo menos uma das
sucessoes converge para infinito.
Exemplo:
Ex. 1 As sucessoes (nein ) e (n + ni ) convergem para , tendo em conta que:
i
lim |nein | = lim n = e lim Re (n + ) = lim n =
n n n n n
{z, z 2 , z 3 , . . . , z n , . . .}
25
CAPITULO 1. ANALISE COMPLEXA
X
Define-se, associada a serie zn , a sucessao das somas parciais (SN )N N , por
n=1
S1 = z1
S2 = z1 + z2
S3 = z1 + z2 + z3
..
.
N
X
SN = z1 + z2 + ... + zN = zn
n=1
..
.
N
X
Note-se que, no termo geral escrito na forma SN = zn , n e variavel muda.
n=1
Definicao: (Natureza da serie)
Se a sucessao das somas parciais SN e convergente em C, isto e, se existe S C tal que
lim SN = S
N
X
a serie zn diz-se convergente e
n=1
X
S= zn
n=1
S e denominado por a soma da serie.
Se a sucessao das somas parciais SN nao converge em C (SN nao tem limite ou tem limite
X
infinito) a serie zn diz-se divergente.
n=1
Proposicao
A natureza de uma serie nao depende do valor dos seus primeiros termos, ou seja:
X
X
p, q N0 , as series zn e zn tem a mesma natureza.
n=p n=q
Como z N +1 0 para |z| < 1 e z N +1 nao converge em C quando |z| 1 (com z 6= 1), conclui-se
que:
26
1.3. SUCESSOES E SERIES DE NUMEROS COMPLEXOS
Chama-se a atencao para o facto de que zn 0 nao implica que a serie de termo geral zn
seja convergente.
X
X
X
A serie complexa zn e convergente sse as series reais Re zn e Im zn sao ambas
n n n
convergentes e
X
X
X
zn = Re zn + i Im zn .
n n n
X
X
Linearidade. Se as series zn e wn sao convergentes para as somas S e T , respecti-
n n
vamente, entao
X
a serie (zn + wn ) e convergente e a sua soma e S + T .
n
X
para qualquer C, a serie (zn ) e convergente e a sua soma e S.
n
Criterio de Cauchy.
X
A serie zn e convergente
n
sse
a sucessao das somas parciais associada e uma sucessao de Cauchy
sse
para qualquer > 0, existe N N tal que:
para todos os n, m > N , |zn+1 + zn+2 + + zm | < .
27
CAPITULO 1. ANALISE COMPLEXA
SN = z1 zN +1 ,
X
zn zn+1 = z1 lim zn
n
n=1
28
1.3. SUCESSOES E SERIES DE NUMEROS COMPLEXOS
Criterios de Convergencia
Criterio geral de comparacao
Se un e vn sao sucessoes reais tais que para todo n N se verifica 0 un vn , entao:
X X
a) Se vn e convergente tambem un e convergente.
X X
b) Se un e divergente tambem vn e divergente.
n
Demonstracao:
P
a) Se SN = u1 +u2 + +uN e TN = v1 +v2 + +vN entao como vn e convergente,
TN e convergente, logo limitada. Como, para todo o N N, 0 SN TN , SN
tambem e limitada; como tambem e monotona, logo e convergente.
P P
b) Caso contrario (isto e, se vn fosse convergente),
P entao pela alnea a) un seria
convergente, o que contradiz a hipotese. Logo, vn tem que ser divergente.
2o Criterio de Comparacao
un
Sejam un e vn sucessoes reais de termos nao negativos tais que lim = l. Entao, se
X X vn
l ]0, +[ conclui-se que as series un e vn tem a mesma natureza.
Demonstracao: Considere-se < l, ou seja, tal que l > 0. Pela definicao de limite,
existe uma ordem a partir da qual todos os termos da sucessao un /vn verificam
un
l< < l + ,
vn
29
CAPITULO 1. ANALISE COMPLEXA
Criterio de DAlembert
Seja un uma sucessao real de termos positivos tal que existe
un+1
l = lim
n un
Entao:
X
a) Se l < 1 a serie un e convergente.
n
X
b) Se l > 1 a serie un e divergente.
n
30
1.3. SUCESSOES E SERIES DE NUMEROS COMPLEXOS
b) Dado > 0 tao pequeno que l > 1 (como l > 1, basta tomar < l 1), a definicao
de limite da sucessao un+1 /un garante-nos que a partir de certa ordem:
un+1
>l>1
un
Seja r = l. Procedendo de forma analoga a demonstracao de (a) (exerccio), resulta
que, para algum L > 0:
0 < Lr n < un
P n P
Do criterio geral de comparacao, como Lr e divergente (r > 1), entao un e
tambem divergente.
Exemplo:
X n2 n2
Considere-se a serie . Sendo un = tem-se que
en3 en3
n=1
(n+1)2 n + 1 2
un+1 e(n+1)
3 3 (n+1)3
lim = lim n 2 = lim en =0<1
n un n n n
en3
X n2
pelo que, por aplicacao do Criterio de DAlembert, a serie e convergente.
n=1
en3
Criterio da Raiz
Seja un sucessao real de termos nao negativos, tal que existe
l = lim n un
n
Entao
X
se l < 1 a serie un e convergente.
n
X
se l > 1 a serie un e divergente.
n
Notas:
Exemplo:
X n
Considere-se a serie 2n+(1) . Comecamos por observar que o Criterio de DAlembert
n=0
n
nao e aplicavel; pois tomando un = 2n+(1) , entao:
2n
= 12 se n par,
un+1 2n+1
=
un 2n+2
2n1
= 8 se n mpar.
31
CAPITULO 1. ANALISE COMPLEXA
un+1
Pode-se, por isso, concluir que lim nao existe. No entanto
n un
1 (1)n
n
lim n un = lim 2n+(1) = lim 21+ n = 2 > 1
n n n
X n
pelo que, por aplicacao do criterio da raiz, a serie 2n+(1) e divergente.
n=0
Entao
X
a) se l < 1 a serie un e convergente;
n
X
b) se l > 1 a serie un e divergente;
n
Notas:
Define-se lim sup n un como o supremo do conjunto dos sublimites de un . Um subli-
mite de un e um limite de uma subsucessao de un .
Este resultado generaliza o criterio da raiz as situacoes onde o lim n un nao existe.
No caso l = 1, o criterio da raiz e inconclusivo.
Exemplo:
X 5
Considere-se a serie . Comecamos por observar que o criterio da raiz nao
(3 + (1)n )n
n=0
e aplicavel (e, consequentemente, o criterio de DAlembert tambem nao) visto que, com
5
un = (3+(1) n )n , se tem
1 n
4 5 para n par
n
un =
1 n
2 5 para n mpar
Assim sendo, a subsucessao dos termos pares de n un converge para 41 , mas a subsucessao
dos termos mpares de n un converge para 21 ; desta forma, o limite de n un nao existe. No
entanto, o conjunto dos sublimites da sucessao n un e
1 1
,
4 2
e assim
1
lim sup n
un = <1
n 2
X 5
pelo que, por aplicacao do Criterio da raz de Cauchy, a serie n )n
e convergente.
n=0
(3 + (1)
32
1.3. SUCESSOES E SERIES DE NUMEROS COMPLEXOS
Criterio do Integral
Seja f : [1, [ R uma funcao contnua, positiva e decrescente. Se, para qualquer n N,
se tem f (n) = un , entao
X Z N
un e convergente sse existe (em R) o lim f (x) dx.
N 1
n=1
X
Demonstracao: Seja SN a sucessao das somas parciais de un . Atendendo a que f e
n=1
decrescente, para qualquer n N se n x n + 1 entao un+1 = f (n + 1) f (x)
f (n) = un , o que implica que
Z n+1
un+1 f (x) dx un .
| {z } n |{z}
R n+1 R n+1
= n f (n+1) dx = n f (n) dx
33
CAPITULO 1. ANALISE COMPLEXA
X
(1)n an (1.7)
n=1
P P
resp. (1)n+1 a = (1)na , em que an > 0. Basta entao estudar (1.7).
n=1 n n=1 n
Criterio de Leibnitz: Se (un ) e uma sucessao de termos reais positivos, decrescente e tal
X
que lim un = 0, entao a serie alternada (1)n un e convergente.
n
n=1
Exemplo: Determinacao do erro da aproximacao da soma de uma serie alternada por uma
soma parcial.
Se uma serie alternada converge obedecendo as condicoes do criterio de Leibniz entao, para
N + 1 par, (1)N +1 aN +1 > 0, e entao:
N
X X
n n
(1) an (1) an = aN +1 (aN +2 aN +3 ) (aN +4 aN +5 )
| {z } | {z }
n=1 n=1 >0 >0
Assim, o erro que se comete ao aproximar a serie (1.7) pela sua sucessao das somas parciais,
a1 + a2 + + (1)N aN , e menor que aN +1 .
Nota: a estimativa anterior so foi provada para series que satisfazem as condicoes do criterio
de Leibniz. No caso geral nao e possvel controlar o erro de aproximacao da soma de uma serie
da forma acima descrita.
e um exemplo de uma serie que converge mais nao converge absolutamente. Trata-se do exemplo
mais simples de uma serie simplesmente convergente.
34
1.3. SUCESSOES E SERIES DE NUMEROS COMPLEXOS
Teorema de Abel
Considere-se a serie de potencias centrada em z0 e de coeficientes cn . Entao:
X
X
a) Se existe C \ {z0 } tal que cn ( z0 )n converge, a serie cn (z z0 )n converge
n=0 n=0
absolutamente em todos os valores de z para os quais |z z0 | < | z0 |.
X
X
n
b) Se existe C \ {z0 } tal que cn ( z0 ) diverge, a serie cn (z z0 )n diverge em
n=0 n=0
todos os valores de z para os quais |z z0 | > | z0 |.
Demonstracao:
P como vimos, basta provar o resultado para caso z0 = 0, isto e, para as series
do tipo an z n .
P
a) Supondo que existe um ponto z = onde a serie an z n converge, entao lim an n = 0.
n
A existencia deste limite implica, em particular, que an n e uma sucessao limitada, ou seja:
|z|
Tomando qualquer valor de z que verifique |z| < ||, define-se r = . Assim, 0 < r < 1.
||
Desta forma:
35
CAPITULO 1. ANALISE COMPLEXA
n
n n n|z|n n |z|
|an z | = |an ||z| = |an ||| n
= |an | M rn para qualquer n N.
|| ||
P P
Note que a serie M r n = M r n e convergente, P poisn e uma serie geometrica de
Prazao
r < 1. Pelo criterio geral de comparacao, a serie |an z | tambem converge; logo an z n
converge absolutamente para |z| < ||.
P
b) Supondo que existe z = onde a serie an z n diverge, entao a serie tera que divergir para
|z| > ||. Pois, caso contrario se existisse
P z, com |z| > ||, onde a serie convergisse
como || < |z|, pela alnea (a) a serie an z n convergiria absolutamente em z = , o que
contradiz a hipotese.
P
O raio de convergencia, R, de uma serie de potencias n=0 an (z z0 )n define-se por:
(
)
X
n
R = sup [0, +[ : an (z z0 ) converge em |z z0 | <
n=0
R esta bem definido, pois o conjunto acima nunca e vazio e R 0. De notar que esse conjunto
pode ser nao limitado; nesse caso, R = .
Utilizando o teorema de Abel, conclui-se facilmente o seguinte (porque?):
O disco de convergencia da serie de potencias e definido como sendo o interior da sua regiao de
convergencia, ou seja, a regiao dada por |z z0 | < R.
Apoiando-nos nos criterios de convergencia das series de termos nao negativos e no teorema
de Abel, podemos obter formulas para o calculo do raio de convergencia de (1.8). Assim:
X
O raio de convergencia da serie an (z z0 )n e dado por:
n=0
a
n
R = lim , caso este limite exista.
n an+1
1 p
= lim n |an |, caso este limite exista.
R n
1 p
= lim sup n |an | (Teorema de Cauchy-Hadamard).
R n
36
1.3. SUCESSOES E SERIES DE NUMEROS COMPLEXOS
a
n
Para mostrar que, caso o limite exista, R = lim , usamos o criterio de DAlembert.
n an+1
Mais uma vez, estudaremos apenas o caso z0 = 0. Assim:
|an+1 z n+1 | = |z|
an+1
= |z|
|an z n | an an
an+1
def an
Supondo que existe R = lim , entao:
an+1
|an+1 z n+1 | |z| |z|
L = lim = an = R .
n |an z n | lim an+1
Para se ter L < 1 caso em que, pelo criterio de DAlembert a serie de potencias e absolutamente
convergente entao e necessario que |z| < R. Tomando L > 1 conclui-se que para |z| > R a
serie nao converge absolutamente.
Alem disso, a serie diverge sempre para |z| > R. Caso contrario, isto e, se convergisse para
certo z, com |z| > R, entao pelo teorema de Abel convergiria absolutamente em qualquer z tal
que R < |z| < |z|, o que contradiz a conclusao do paragrafo
P anterior!
Conclui-se que o raio de convergencia da serie an z n e R. Por mudanca de variavel w =
z z0 , obtem-se o resultado para qualquer serie de potencias de z z0 .
Exemplos:
X (z 2i)n
1. Considere-se a serie . Por ser uma serie de potencias de centro em 2i e
n(5i)n
n=0
1
coeficientes an = n(5i)n , o seu disco de convergencia sera
{z C : |z 2i| < R}
em que R e dado por (porque o limite existe)
a 5(n + 1)
n
R = lim = lim =5
n an+1 n n
ou seja, o disco de convergencia e {z C : |z 2i| < 5}.
X
2. Considere-se a serie (in)n z n . Por ser uma serie de potencias de centro em 0 e coeficientes
n=1
an = (in)n , o seu disco de convergencia sera
{z C : |z| < R}
em que R e dado por (porque o limite existe)
1 1
R= p = lim =0
limn n
!an | n n
O disco de convergencia desta serie e e o sua regiao de convergencia e {0}.
37
CAPITULO 1. ANALISE COMPLEXA
X
3. Considere-se a serie n(i)n (z + i)2n Mais uma vez, o seu disco de convergencia sera
n=0
{z C : |z + i| < R}
dado que o centro da serie e i. Visto que no desenvolvimento so ocorrem potencias de
expoente par, os coeficientes da serie sao dados por
n(i)n para n par
an =
0 para n impar
p
e e facil de perceber que nao existem lim an /an+1 e lim 1/ n |an |. Entao
n n
1 1
R= p =
n
=1
lim sup n
|an | sup{lim n, lim 0}
n n
podemos concluir que esta serie converge em {w C : |w| < 1}, o que implicara que a
serie inicial e convergente para todos os valores de z tais que
| i(z + i)2 | < 1 |z + i| < 1 .
Exemplos:
38
1.4. FUNCOES COMPLEXAS DE VARIAVEL COMPLEXA
Pelo que
Re f = u(x, y) = x2 y 2 + 3 e Im f = v(x, y) = 2xy
E obvio que o domnio de f e C.
z
2. A funcao f (z) = , tem por domnio o conjunto
z2 +1
D = z C : z 2 + 1 6= 0 = C \ {i, i}
pelo que
Trata-se de uma funcao cujo valor e uma raiz ndice n de z e que satisfaz f (1) = 1. Alem
disso, o seu domnio e C e
p arg z p arg z
Re n z = n |z| cos e Im n z = n |z| sen
n n
P (z) = a0 + a1 z + + an z n ,
39
CAPITULO 1. ANALISE COMPLEXA
Admitindo que P (z) e Q(z) nao tem razes comuns, entao se z0 e uma raiz de Q(z) resulta que
P (z)
|f (z)| = Q(z) quando |z z0 | 0. Este e o exemplo mais simples de uma singularidade
isolada de uma funcao complexa, conforme veremos mais tarde.
Exponencial Complexa
isto e, se z = x + iy
ez = ex eiy = ex cos y + i sen y
A exponencial complexa e uma extensao da exponencial real ao plano complexo. O domnio da
exponencial complexa e C, e
Desta forma podemos observar que as imagens por f (z) = ez de complexos com parte real cons-
tante (rectas verticais) sao complexos com modulo constante (circunferencias centradas na origem)
e a imagem de complexos com parte imaginaria constante (rectas horizontais) sao complexos com
argumento constante (semi-rectas com origem em 0) ver Figura 1.3.
Re z = a1
Re z = a0
ez
|z| = ea0
Arg z = b0
Im z = b0
|z| = ea1
Im z = b1
Arg z = b1
Para todo z C
ez+2ki = ez , kZ
o que significa que a exponencial complexa e periodica de perodo 2i.
40
1.4. FUNCOES COMPLEXAS DE VARIAVEL COMPLEXA
Para qualquer w C \ {0}, a equacao ez = w pode sempre ser resolvida e tem uma
infinidade de solucoes, que sao dadas por:
(porque?)
Funcoes Trigonometricas
Somando e subtraindo as identidades anteriores obtem-se, respectivamente, cos y = 21 eiy + eiy
1
e sen y = 2i eiy eiy .
Podemos entao generalizar as funcoes trigonometricas reais a funcoes complexas de variavel
complexa, definindo-as, para todo o z C, por:
sen2 z + cos2 z = 1
tg(z + k) = tg z
cotg(z + k) = cotg z.
sen(z) = sen z
cos(z) = cos z .
O contadomnio das funcoes sen z e cos z e C. Isto significa que quando as funcoes reais seno
e coseno sao estendidas ao plano complexo, tanto as equacoes cos z = w como sen z = w passam
a ter solucao para qualquer w C. Por periodicidade, essas equacoes tem uma infinidade de
solucoes pois se z e solucao de cos z = w ou sen z = w, entao z + 2k tambem o e, para
qualquer k Z. Chama-se a atencao que este facto implica, entre outras coisas, que as funcoes
sen z e cos z nao sao limitadas em C.
41
CAPITULO 1. ANALISE COMPLEXA
Funcoes Hiperbolicas
Para z C definem-se:
ez + ez ez ez sh z ch z
ch z = , sh z = , tgh z = , cotgh z = .
2 2 ch z sh z
E obvio que as funcoes sh z e ch z tem domnio C, enquanto que o domnio da funcao tgh z e
C \ {z : ch z = 0} e o domnio da funcao cotgh z e C \ {z : sh z = 0}.
Todas as igualdades verificadas pelas funcoes hiperbolicas reais sao tambem verificadas pelas
funcoes hiperbolicas complexas. Em particular, para quaisquer z, w C e k Z
ch2 z sh2 z = 1
sh(z + 2ki) = sh z
ch(z + 2ki) = ch z
sh(z w) = sh z ch w sh w ch z
ch(z w) = ch z ch w sh z sh w
sh(z) = sh z e ch(z) = ch z .
Logaritmo Complexo
42
1.4. FUNCOES COMPLEXAS DE VARIAVEL COMPLEXA
Exemplos:
h i
1. Determinar o valor principal de log(2 3 2i) + log(1 i) e de log (2 3 2i)(1 i) .
Por um lado
h i h i
log (2 3 2i)(1 i) = log (4ei/6 )( 2e5i/4 )
h i h i
= log (4 2e13 i/12 ) = log (4 2e11 i/12 )
5 11 i
= log 2
2 12
Por outro lado
log(2 3 2i) + log(1 i) = log(4ei/6 ) + log( 2e3i/4 )
i 3i 5 11 i
= log 4 + log 2 = log 2
6 4 2 12
Neste exemplo em particular, verifica-se que para o valor principal do logaritmo:
h i
log(2 3 2i) + log(1 i) = log (2 3 2i)(1 i)
h
5
i
2. Determinar o valor principal de log ( 3 3i) e de 5 log( 3 3i). Por um lado
h 5
i h
4i/3 5
i h
5 20i/3
i h
5 2i/3
i
log ( 3 3i) = log ( 12e )) = log ( 12) e ) = log ( 12) e )
5 2i
= log(12) +
2 3
Por outro lado
5 10i
5 log( 3 3i) = 5 log 12e2i/3 = log(12)
2 3
Verifica-se, neste exemplo, que para o valor principal do logaritmo
h i
log ( 3 3i)5 = 5 log( 3 3i) + 4i
z w = ew log z , arg z [, + 2[
43
CAPITULO 1. ANALISE COMPLEXA
z w = ew log z , arg z ] , ]
1.4.3 Limites
Sendo f : D C e z0 D, define-se
Proposicao
Se f (x + iy) = u(x, y) + iv(x, y), z0 = x0 + iy0 e L = A + iB entao:
lim u(x, y) = A
(x,y)(x0 ,y0 )
L = lim f (z)
zz0
lim v(x, y) = B
(x,y)(x0 ,y0 )
Demonstracao:
Em primeiro lugar, assumindo que existem os limites
Por definicao, para cada > 0 existem numeros positivos 1 e 2 tais que
(x x0 )2 + (y y0 )2 < 1 |u(x, y) A| <
2
e
(x x0 )2 + (y y0 )2 < 2 |v(x, y) B| <
2
44
1.4. FUNCOES COMPLEXAS DE VARIAVEL COMPLEXA
u(x, y) A + v(x, y) B
< + =
2 2
o que demonstra que o limite lim f (z) = A + iB.
zz0
Reciprocamente, supondo que existe lim f (z) = A + iB, dados > 0 sabemos que existe
zz
p0
> 0 tal que se (x + iy) (x0 + iy0 ) = (x x0 )2 + (y y0 )2 < entao:
p
u(x, y) + iv(x, y) (A + iB) = (u(x, y) A)2 + (v(x, y) B)2 <
p
Suponhamos que (x x0 )2 + (y y0 )2 < ; entao:
p
|u(x, y) A| (u(x, y) A)2 + (v(x, y) B)2 <
e p
|v(x, y) B| (u(x, y) A)2 + (v(x, y) B)2 < .
Proposicao:
Se existirem lim f (z) e lim g(z), tem-se que:
zz0 zz0
Exemplo:
1. lim ez = 1.
zi
z 2 (i + 1)z + i (z i)(z 1) zi
2. lim = lim = lim = i
z1 z 2 + (i 1)z i z1 (z + i)(z 1) z1 z + i
45
CAPITULO 1. ANALISE COMPLEXA
Exemplo:
Re z
Observa-se que lim representa uma indeterminacao do tipo 0/0. Escrevendo z = |z|ei
z0 z
obtem-se
Re z |z| cos
= = ei cos
z |z|ei
Fazendo |z| 0 verifica-se Re (z)/z converge para um valor que depende de (ou seja do
argumento de z) e como tal o seu valor dependera da forma como z esta a convergir para 0.
Assim, por exemplo, se z esta a convergir para 0 ao longo do semi-eixo real positivo ( = 0)
tem-se
Re z
lim =1,
z0 , zR+ z
enquanto que se z esta a convergir para 0 ao longo do semi-eixo imaginario positivo ( = /2)
tem-se
Re z
lim =0.
z0 , ziR + z
Re z
Conclui-se que lim nao existe.
z0 z
1.4.4 Continuidade:
Sendo f : D C e z0 D, diz-se que f e contnua em z0 se
3. Uma funcao polinomial e contnua em C dado que se obtem a partir da soma e produto de
funcoes contnuas em C.
46
1.4. FUNCOES COMPLEXAS DE VARIAVEL COMPLEXA
Por um lado, Re log z = log |z| e uma funcao contnua em R2 \ {(0, 0)} (consequencia da
continuidade da funcao logaritmo real em R+ . Por outro lado, Im log z = arg z e contnua
para todos os z tais que arg z ] , [ (continuidade da funcao arctg num dos seus
ramos). Falta entao estudar a continuidade do valor principal do log z em qualquer ponto
z tal que arg z = . Para isso, considere-se z0 6= 0 tal que arg z0 = . Entao
se Im z > 0
lim arg z =
zz0 se Im z < 0
Conclui-se que nao existe lim arg z para qualquer z0 6= 0 com arg z0 = (pelo que a
zz0
funcao arg z nao e contnua nestes pontos). Consequentemente o domnio de continuidade
do valor principal de log z e
C \ {z C : arg z = } = C \ {xei : x R+
0 } = C \ R0
O conjunto
{xei : x R+
0}
O conjunto
{z = xei : x R+
0}
Exemplos:
47
CAPITULO 1. ANALISE COMPLEXA
f (z) = 2 2z , z C
Observe-se que
f (z + h) f (z)
pelo que este limite nao existe. Conclui-se que para qualquer z C, lim
h0 h
nao existe e como tal o domnio de diferenciabilidade de f e o conjunto vazio.
f (z + h) f (z) (z + h) Re(z + h) z Re z
lim = lim
h0 h h0 h
z Re h + h Re z + h Re h
= lim
h0 h
Re h
= Re z + lim (z + h) lim
h0 h0 h
Re h
= Re z + z lim
h0 h
48
1.4. FUNCOES COMPLEXAS DE VARIAVEL COMPLEXA
f (0 + h) f (0)
lim =0
h0 h
f (z + h) f (z)
e como tal f e diferenciavel em 0 e f (0) = 0. Por outro lado se z 6= 0, lim
h0 h
nao existe (porque?) pelo que a funcao nao e diferenciaavel em C \ {0}. Assim, o domnio
de diferenciabilidade de f e {0}.
Nota: Os casos anteriores (2 e 3), mostram que nao e suficiente que u e v sejam diferenciaveis
em (x0 , y0 ) para que f = u + iv tenha derivada em z0 = x0 + iy0 . Por exemplo para f (z) =
f (x + iy) = 2x + 3iy
Re f = u(x, y) = 2x , Im f = v(x, y) = 3y
Tal como para as funcoes reais de variavel real, e valido o seguinte resultado, com demonstracao
analoga ao caso real.
Notemos que, tal como no calculo real, o recproco nao pode nao ser verdade: existem funcoes
contnuas num determinado ponto do seu domnio que nao tem derivada nesse ponto (casos 2 e
3 do exemplo anterior. E no entanto muitas vezes utilizado na forma de contra-recproco: se f
nao e contnua em z0 entao f nao e diferenciavel em z0 .
Exemplo:
O valor principal do logaritmo complexo nao admite derivada no conjunto
{z = rei : r 0}
Para facilitar a notacao, definimos o disco centrado em z0 C e de raio > 0 como sendo o
subconjunto de C dado por:
def
D(z0 , ) = z C : |z z0 | < .7
A analise complexa estuda essencialmente as funcoes complexas de variavel complexa que sao
diferenciaveis em alguma regiao aberta do seu domnio.
Existe um disco centrado em z0 tal que f admite derivada em todos os pontos desse disco,
ou seja, existe > 0 tal que f admite derivada em todos os pontos de D(z0 , ).
7
Ao disco D(z0 , ), em C, corresponde em R2 a bola, B (z0 ), centrada em z0 e de raio .
49
CAPITULO 1. ANALISE COMPLEXA
Exemplos:
3. Para f (z) = z Re z vimos que o domnio de diferenciabilidade e {0}, pelo que o domnio de
analiticidade e o conjunto vazio.
u v v u
f (z) = (x, y) + i (x, y) = (x, y) i (x, y)
x x y y
Demonstracao: Sabendo, por hipotese, que existe o limite que define a derivada complexa,
f (z + w) f (z)
f (z) = lim , (1.10)
t0 w
50
1.4. FUNCOES COMPLEXAS DE VARIAVEL COMPLEXA
u v
= +i
x x
f (x + iy + it) f (x + iy) u(x, y + t) u(x, y) v(x, y + t) v(x, y)
lim = lim +i
t0 it t0 it it
v u
= i
y y
(1.11)
Resulta assim que os dois limites em (1.11) sao iguais ao limite em (1.10), ou seja,
u v v u
f (z) = +i = i ,
x x y y
de onde resultam imediatamente as equacoes de Cauchy-Riemann (1.9).
pelo que
u u v v
(x.y) = 2 , (x.y) = 0 , (x.y) = 1 , (x.y) = 0
x y x y
E obvio que as condicoes de Cauchy-Riemann nao se verificam em qualquer (x, y) R2 .
Podemos concluir que f (z) = z + Re z nao admite derivada em qualquer z C.
Se as condicoes de Cauchy-Riemann se verificam em (x0 , y0 ) entao nada se pode concluir
sobre a existencia de f (x0 + iy0 ).
Exemplos:
a) Para a funcao definida em C por
3
x (1 + i) y 3 (1 i)
se z 6= 0
f (z) = f (x + iy) = x2 + y 2
0 se z = 0
51
CAPITULO 1. ANALISE COMPLEXA
tem-se que 3
x y3
2 se (x, y) 6= (0, 0)
Re f (x + iy) = u(x, y) = x + y2
0 se (x, y) = (0, 0)
e 3
x + y3
2 se (x, y) 6= (0, 0)
Im f (x + iy) = v(x, y) = x + y2
0 se (x, y) = (0, 0)
Entao
u u(h, 0) u(0, 0) u u(0, h) u(0, 0)
(0, 0) = lim =1 , (0, 0) = lim = 1
x h0 h y h0 h
e
v v(h, 0) v(0, 0) v v(0, h) v(0, 0)
(0, 0) = lim =1 , (0, 0) = lim =1
x h0 h y h0 h
pelo que e obvio que se verificam as condicoes de Cauchy-Riemann no ponto (0, 0). Por
outro lado, e escrevendo o incremento z = ei , tem-se que se existir, f (0) verifica:
f (z) f (0)
f (0) = lim
z0 z
3 cos3 (1 + i) 3 sen3 (1 i)
= lim
0 3 ei
cos3 (1 + i) sen3 (1 i)
=
ei
Dado que o resultado do calculo do limite depende do argumento de z, conclui-se que
f (0) nao existe.
b) Para a funcao f (z) = 2z z 2 , tem-se que
pelo que
u u v v
(x.y) = 2 2x , (x.y) = 2y , (x.y) = 2y , (x.y) = 2 2x ,
x y x y
E obvio que as condicoes de Cauchy-Riemann sao validas para qualquer (x, y) R2 . Vimos
na seccao anterior que a sua derivada, f (z), existe para todo z C. Este e um exemplo
de uma funcao que verifica as condicoes de Cauchy-Riemann e que tem derivada complexa
(em C).
52
1.4. FUNCOES COMPLEXAS DE VARIAVEL COMPLEXA
53
CAPITULO 1. ANALISE COMPLEXA
Esta seccao, embora numa primeira passagem seja de leitura opcional, e no entanto muito
importante para o aluno compreender a relacao entre a derivada complexa e a derivacao no sentido
de R2 . Vamos por isso enunciar e provar um teorema que implica a condicao necessaria e suficiente
anteriormente descrita mas que, alem disso, clarifica a nocao de derivada complexa.
Se convencionarmos representar i C pelo o ponto (0, 1) R2 e 1 C pelo ponto (1, 0) R2 ,
podemos identificar cada ponto de C com um e um so ponto de R2 por:
C 1 + i2 = 1 (1, 0) + 2 (0, 1) = (1 , 2 ) R2
Como tal, qualquer funcao complexa, f : A C C, com f (x + iy) = u(x, y) + iv(x, y), pode
ser interpretada como o campo vectorial (u, v) : A R2 R2 .
Recordamos que a funcao f e diferenciavel no sentido de R2 em a A (com A aberto) se e
so se existe uma transformacao linear Df (a) tal que
f (z + h) f (z) Df (a)h
0 quando h0 (1.12)
h
Se f e diferenciavel no sentido de R2 em a entao:
a) f e contnua em a.
u u v v
b) Existem as derivadas parciais ux = , uy = , vx = e vy = em a.
x y x y
c) Df (a) e representada pela matriz jacobiana de f em a:
ux (a) uy (a)
Jf (a) =
vx (a) vy (a)
f (a + h) f (a)
lim = (1.13)
h0 h
(ii) f tem derivada no sentido de R2 em a dada por Df (a)h = h, para qualquer h, onde
h designa o produto complexo de por h.
54
1.4. FUNCOES COMPLEXAS DE VARIAVEL COMPLEXA
f (z + h) f (z) h
0 quando h 0,
h
o que, atendendo a (1.12), e equivalente a (ii).
Teorema de Cauchy-Riemann-Goursat
Seja f : A C, onde A C e aberto e a = a1 + ia2 A. Sao equivalentes as seguintes
proposicoes:
u v v u
f (a) = (a1 , a2 ) + i (a1 , a2 ) = (a1 , a2 ) i (a1 , a2 )
x x y y
Demonstracao:
f (z + h) f (z)
f (a) quando h 0
h
Pelo Lema isto e equivalente a dizer que f tem derivada no sentido de R2 em a dada
por Df (a)h = f (a)h, para qualquer h.
Prova de que (b) (c):
Seja h = h1 + ih2 C, que identificamos com (h1 , h2 ) R2 . Vamos provar que a
equacao
Df (a)h = f (a)h para qualquer h R2
e equivalente as equacoes de Cauchy-Riemann em (a1 , a2 ).
Seja = 1 + i2 tal que, para qualquer h = h1 + ih2 ,
Df (a)h = h
55
CAPITULO 1. ANALISE COMPLEXA
ux h1 + uy h2 = 1 h1 2 h2
vx h1 + vy h2 = 2 h1 + 1 h2
onde = arg f (a). Note que tg = implica que cos = e sen = . Conclui-
2 + 2 2 + 2
se que Jf (a) tem a forma de uma matriz de rotacao multiplicada pelo escalar |f (a)|, sendo que
o angulo de rotacao e, precisamente, o argumento de f (a).
56
1.4. FUNCOES COMPLEXAS DE VARIAVEL COMPLEXA
f g e analtica em D e (f g) = f g + f g ;
f g f g
f /g e analtica em D \ {z : g(z) = 0} e (f /g) = .
g2
Funcao composta
Se g e analtica num conjunto D C e f e analtica no contradomnio de g, g(D), entao
f g e analtica em D e (f g) (z) = f (g(z)) g (z), para qualquer z D.
Funcao Inversa
Seja f uma funcao analtica e injectiva em D tal que f (z) 6= 0 para qualquer z D, f 1 e
contnua em f (D) e f (D) e aberto. Entao:
1
f 1 e analtica em f (D) e (f 1 ) (b) = , onde b = f (a).
f (a)
Demonstracao: Sendo b f (D), considere-se a D tal que b = f (a). Se z D e
w = f (z) f (D), entao z = f 1 (w) e:
f 1 (w) f 1 (b) za
=
wb f (z) f (a)
Como f (z0 ) 6= 0, entao o limite seguinte existe e, pela mudanca de variavel definida pela funcao
contnua z = f 1 (w):
f 1 (w) f 1 (b) za 1
lim = lim = (1.15)
wb wb za f (z) f (a) f (a)
Como f (D) e aberto e f 1 tem derivada complexa em f (D) entao f 1 e analtica e a sua derivada
em f (D) e dada por (1.15).
57
CAPITULO 1. ANALISE COMPLEXA
2. Para cada n N, a funcao f (z) = z n e inteira, dado que e o produto (iterado) de funcoes
inteiras. Para todo z C, a derivada e dada por:
(z n ) = nz n1
Provemos esta formula por inducao. O caso n = 1 e o exemplo 1. Admitindo agora que
para certo n N, (z n ) = nz n1 entao, usando a regra da derivada do produto e a hipotese
de inducao:
(z n+1 ) = (z n z) = nz n1 z + z n 1 = nz n + z n = (n + 1)z n
58
1.4. FUNCOES COMPLEXAS DE VARIAVEL COMPLEXA
Da mesma forma se pode obter que o ramo do logaritmo e uma funcao analtica em
C \ K, onde K = {z C : arg z = } e o respectivo corte, e que (1.16) e valida para
qualquer z C \ K.
U u x u y u u
= + = cos + sen
r x r y r x y
V v x v y v v u u
= + = r sen + r cos = r sen + r cos
x y x y y x
Conclui-se que, se r 6= 0
U 1 V
=
r r
De igual modo
U u x u y u u
= + = r sen + r cos
x y x y
e
V v x v y v v u u
= + = cos + sen = cos + sen
r x r y r x y y x
59
CAPITULO 1. ANALISE COMPLEXA
concluindo-se que, se r 6= 0
U V
= r
r
Condicao suficiente para a existencia de derivada
Se as derivadas parciais de u(r, ) e v(r, ) sao contnuas em (r0 , 0 ) (com r0 6= 0) e se
verificam as condicoes de Cauchy-Riemann em coordenadas polares
u 1 v
r = r
u = r v
r
no ponto (r0 , 0 ), entao f admite derivada em z0 = r0 ei0 .
{z = xei , x R+
0}
pelo que neste conjunto nao existira derivada. Para estudar a analiticidade no restante domnio,
considere-se
Re log z = u(r, ) = log r , Im log z = v(r, ) =
Assim
u 1 u v v
= , =0 , =0 , =1
r r r
verificam
60
1.4. FUNCOES COMPLEXAS DE VARIAVEL COMPLEXA
ponto interior de D se existe > 0 tal que D(z, ) D (note que D(z, ) = B (z));
ponto fronteiro se nao for nem interior nem exterior, ou seja, se para qualquer > 0, o disco
D(z, ) intersecta tanto D como o complementar de D. O conjunto de todos os pontos
fronteiros de D designa-se por fronteira de D e representa-se por D;
Diz-se que D e
z D > 0 : D(z, ) D.
A B = D;
A B = e A B = . 8
Um conjunto aberto e conexo se e so se nao pode ser escrito como a uniao de dois conjuntos
abertos e disjuntos.
simplesmente conexo se for conexo e qualquer curva de fechada for homotopica a um ponto,
isto e, qualquer curva fechada em D pode ser deformada continuamente num ponto sem
sair do conjunto. 9
61
CAPITULO 1. ANALISE COMPLEXA
Exemplo:
Considere a funcao u : R2 R definida por:
u(x, y) = y(x 3) .
Vamos comecar por mostrar que u e uma funcao harmonica em R2 . Por ser uma funcao polinomial,
u C 2 (R2 ). Por outro lado,
u u 2u 2u 2u 2u
=y , =x3 , = =0 + 2 = 0,
x y x2 y 2 x2 y
concluindo-se o pretendido e, consequentemente, que u e a parte real (ou imaginaria) de uma
funcao inteira f . Para determinar f = u + iv recorde-se que se f e inteira entao as condicoes de
Cauchy-Riemann sao verificadas em todos os pontos (x, y) R2 . Assim
Z
u v y2
= v(x, y) = y dy + c(x) = + c(x)
x y 2
e
u v x2
= x 3 = c (x) c(x) = + 3x + c
y x 2
y2 x2
Entao v(x, y) = 2 2 + 3x + c, c R e
y 2 x2
f (z) = f (x + iy) = y(x 3) + i + 3x + c , cR
2 2
Note que:
i 2 i
f (z) = x + 2x(iy) + (iy)2 + 3i(x + iy) + ic = z 2 3iz + ic.
2 2
62
1.5. INTEGRACAO EM C
1.5 Integracao em C
1.5.1 Curvas em C
Sendo z(t) uma funcao complexa contnua de domnio [a, b] R, define-se caminho ou curva
orientada em C como sendo o conjunto de pontos
n o
= z(t) = x(t) + iy(t) : t [a, b] ,
que se convenciona percorrido no sentido especificado por z(t). Os pontos z(a) e z(b) denominam-
se respectivamente o ponto inicial e o ponto final do caminho. A aplicacao z(t) diz-se uma
parametrizacao de . 10
Exemplos:
63
CAPITULO 1. ANALISE COMPLEXA
regular se z(t) e continuamente diferenciavel, isto e, se x (t) e y (t) existem e sao contnuas
em ]a, b[). Nesse caso tem-se que
Se z (t) 6= 0 entao z (t) designa-se por vector tangente a curva no ponto z(t).
Todas as curvas dos exemplos acima descritos sao regulares, sendo que:
simples se z(t) e injectiva em ]a, b] e em [a, b[, isto e, se t1 6= t2 entao z(t1 ) 6= z(t2 ) ou
(t1 = a e t2 = b). 11 .
11
Ou seja, um caminho simples apenas se pode autointersectar nos extremos.
64
1.5. INTEGRACAO EM C
Note-se que o integral do 2o membro da igualdade (1.17) pode ser interpretado como o integral
da funcao vectorial, F : [a, b] C dada por F (t) = f (z(t))z (t) para t [a, b], e que e obtido a
custa do integral de Riemann das funcoes reais de variavel real por:
Z b Z b Z b
def
F (t) dt = Re F (t) dt + i Im F (t) dt (1.18)
a a a
Exemplo: R
Pretende-se determinar ez dz em que e o segmento de recta que une i a 1 + i. Uma
possvel parametrizacao de e
z(t) = i + t (1 + i) (i) = t + i(2t 1) , t [0, 1]
Assim
Z Z 1 Z 1
3 + 4i 1i
ez dz = et+i(2t1) t + i(2t 1) dt = et+i(12t) (1 + 2i)dt = (e ei )
0 0 5
(esta desigualdade sera necessaria para majorar integrais complexos). Para tal, escreva-se
Z b
I= F (t) dt = rei ,
a
65
CAPITULO 1. ANALISE COMPLEXA
Demonstracao:
Consideremos primeiro o caso de uma curva aberta. Dado que a curva e aberta e simples,
z(s) e w(t) sao injectivas em, respectivamente, [a, b] e [, ]. Entao : [, ] [a, b], que pode
ser definida por
w(t) = z((t)) t [, ] w =z = z 1 w
e injectiva em [, ]. Em consequencia:
Z Z Z b
f w(t) w (t) dt = f z((t)) z (t) (t) dt = f z(s) z (s) ds
a
Propriedades do integral
66
1.5. INTEGRACAO EM C
Exemplos:
pelo que
Z Z 1 Z 1
(1 + i)2 2i
f (z) dz = f (1 + i)t (1 + i)t dt = (1 + i) (t2 + it2 )dt = =
1 0 0 3 3
z2 (t) = t + i , t [1, 2]
pelo que Z Z Z
2 2
7
f (z) dz. = f (t + i) t + i dt = (t2 + i)dt = +i
2 1 1 3
Concluimos que Z Z Z
7 5i
f (z) dz = f (z) dz + f (z) dz. = +
1 2 3 3
onde e a circunferencia |z| = 2 percorrida uma vez em sentido directo. Pela propriedade
da majoracao do integral temos que
Z ez Z ez Z
2
dz 2 |dz| M |dz|
z +1 z +1
ez
em que M e um majorante do modulo da funcao z 2 +1 em . Para o determinar, e escrevendo
z = x + iy, tem-se que
67
CAPITULO 1. ANALISE COMPLEXA
Entao, para z
ez |ez | e2
2 2
z +1 |z + 1| 3
e assim
Z ez e2 Z 4e2
dz |dz| =
z2 + 1 3 3
R
tendo em conta que |dz| e igual ao comprimento de , ou seja, 4.
Neste caso, fazendo f = F , diz-se que F e uma primitiva de f . Resulta entao que, se uma
funcao contnua, f , tem primitiva, F , em D:
Z
f (z) dz = F (z2 ) F (z1 ).
1
obtendo-se, tal como no caso das funcoes reais, uma relacao entre primitiva e integral de uma
funcao complexa.
68
1.5. INTEGRACAO EM C
Nesta forma, o teorema aplica-se a qualquer funcao primitivavel sendo, em particular, valido
para funcoes polinomiais. Se f for uma funcao primitivavel e uma curva de Jordan seccional-
mente regular, resulta tambem que I
f (z) dz = 0.
A generalizacao deste resultado a qualquer funcao analtica e feita atraves do seguinte teorema.
Teorema de Cauchy
Se e uma curva de Jordan seccionalmente regular e f e analtica num aberto simplesmente
conexo contendo , entao I
f (z) dz = 0.
Atendendo as condicoes do Teorema ( uma curva de Jordan definida num aberto simplesmente
conexo D) e a condicao adicional (u e v continuamente diferenciaveis em D) podemos aplicar o
Teorema de Green13 aos dois integrais de linha da expressao anterior, obtendo-se
I ZZ ZZ
(v) u u v
f (z) dz = dx dy + i dx dy
x y x y
int int
Exemplos:
12
A conclusao do teorema de Cauchy pode ser obtida sem recurso a esta hipotese adicional. A demonstracao
completa do teorema devida a Goursat e, contudo, bem mais elaborada do que esta, que apresentamos.
13
Teorema de Green: Sendo uma curva de Jordan contida em D R2 aberto e simplesmente conexo, e
sendo P e Q duas funcoes reais de classe C 1 em D, entao:
I ZZ
Q P
P dx + Qdy = dx dy
x y
int
69
CAPITULO 1. ANALISE COMPLEXA
1. Considere-se a funcao complexa f (z) = sh(cos2 z). Dado que f e uma funcao inteira, o
Teorema de Cauchy permite concluir que
I
sh(cos2 z) dz = 0
70
1.5. INTEGRACAO EM C
Demonstracao:
Dado que f e analtica num aberto simplesmente conexo, D, o integral complexo nao
depende do caminho de integracao e, como tal, F (z) esta bem definida para z D. Para
z D arbitrario considere-se uma curva regular e simples em D unindo z0 a z. Defina-se
tambem r > 0 para o qual B(z, r) D, z1 B(z, r) e s o segmento de recta unindo z a
z1 . Entao Z Z
F (z) = f (w) dw , F (z1 ) = f (w) dw
s
71
CAPITULO 1. ANALISE COMPLEXA
Conclui-se que
F (z) F (z1 )
lim = f (z)
z1 z z z1
ou seja, para qualquer z D tem-se que F (z) = f (z), pelo que F e analtica e e uma
primitiva de f em D.
Exemplo:
Z
1 2
Vamos calcular o valor do integral + zez dz, sendo C a curva parametrizada
C z2
por (t) = 3 cos(t) + 2i sen(t), com t [0, 3/2].
2
Observe-se em primeiro lugar que a funcao zez e inteira, pelo que o teorema fundamental
do calculo e aplicavel em D = C. Assim
Z
2
2 (3/2) 1 2 2i e4 e9
zez dz = P zez = ez
= ,
C (0) 2 3 2
2 2
onde P zez designa uma primitiva da funcao f (z) = zez . Por outro lado, dado que
1
todos os ramos de log(z 2) sao primitiva da funcao z2 , ha que ter o cuidado de escolher
um ramo que seja analtico num conjunto aberto que contenha a curva C. Para esse efeito,
considere o ramo do logaritmo tal que 4 arg (z2) < 7 4 ; o seu domnio de analiticidade
e:
7
D = {z C : z = 2 + rei onde < < e r > 0}.
4 4
Para z D, vamos entao usar o ramo:
7
log(z 2) = log |z 2| + i arg (z 2), onde arg (z 2) < .
4 4
d 1
Trata-se de uma funcao analtica em D, com C D e dz log(z 2) = z2 para qualquer
z D. Pelo Teorema Fundamental do Calculo (para funcoes primitivaveis):
Z (3/2)
1 3 5
dz = log(z 2) = log(2i 2) log(3 2) = log 2 + i .
C z 2 (0) 2 4
Finalmente: Z
1 2
e4 e9 3 5
+ zez dz = + log 2 + i
C z2 2 2 4
int (j ) int (i ) = ;
72
1.5. INTEGRACAO EM C
Exemplo:
sendo R > 0 escolhido de forma a que D(z0 , R) int . Idem para o sentido negativo.
2. Sendo uma curva de Jordan percorrida em sentido directo e tal que 1 6 . Entao
0 se 1 ext
I
1 i se 1 int e 1 ext
dz =
z 21
i se 1 int e 1 ext
0 se 1 int
De facto:
se 1 nao pertencem a regiao interior a o resultado e uma consequencia imediata
do teorema de Cauchy;
para o caso em que 1 pertence a regiao interior a e 1 pertence a sua regiao ex-
1
terior, observa-se que z+1 e analtica num conjunto aberto e simplesmente conexo
contendo e, como tal, e aplicavel a Formula Integral de Cauchy
I I 1
1 z+1 1
2
dz = dz = 2i = i
z 1 z1 z + 1 z=1
73
CAPITULO 1. ANALISE COMPLEXA
por ultimo, se tanto 1 como -1 pertencem a regiao interior a curva , pelo teorema
de Cauchy generalizado
I I I
1 1 1
2
dz = 2
dz + 2
dz = 0
z 1 1 z 1 2 z 1
Dem: Note que a funcao f e contnua no conjunto limitado int . Pelo teorema de Wei-
erstrass, f (z) e limitada em int ; isto e, existe M > 0 tal que |f (z)| M para qualquer
z int .
Pelo teorema de Cauchy generalizado, tem-se que, para qualquer > 0 tao pequeno que o
disco centrado em z0 de raio esteja contido em int :
I I
f (z) dz = f (z) dz
|zz0 |=
Fazendo 0 obtem-se
I I
f (z) dz 0 f (z) dz = 0
74
1.5. INTEGRACAO EM C
Dem.
Dado que f e analtica em int , entao a funcao (de z)
(
f (z)f (z0 )
zz0 6 z0
se z =
g(z) =
f (z0 ) se z = z0
Exemplos:
1. Vamos calcular I
ez
dz
z 2
sendo qualquer curva de Jordan em C orientada positivamente e tal que 2 int . Dado
que f (z) = ez e inteira, estamos nas condicoes da formula integral de Cauchy pelo que
podemos concluir que:
I
ez
/2
dz = 2if 2 = 2ie .
z 2
2. Vamos calcular I
z
dz
2z + 1
sendo qualquer curva de Jordan em C orientada positivamente e tal que 12 int .
Atendendo a que a funcao f (z) = z e inteira, por aplicacao da formula integral de Cauchy
obtem-se: I I
z 1 z 1 1
i
dz = 1 dz = 2if 2 =
2z + 1 2 z+2 2 2
3. Vamos calcular I
cos z
dz
z3+ 9z
em que e a circunferencia |z| = 1 percorrida uma vez em sentido directo. A funcao
integranda e analtica em C \ {0, 3i, 3i}; dos pontos onde a funcao nao e analtica apenas
0 pertence a regiao |z| < 1. Assim
I I cos z
cos z z 2 +9 cos z 2i
3
dz = dz = 2i 2 =
z + 9z z z + 9 z=0 9
cos z
onde utilizamos a formula integral de Cauchy e o facto de a funcao f (z) = z 2 +9 ser analtica
num aberto, simplesmente conexo contendo (por exemplo |z| < 2),
75
CAPITULO 1. ANALISE COMPLEXA
f (z + h) f (z)
f (z) = lim
h0 h
I
1 1 f (w) f (w)
= lim dw
h0 2i |wz|=r h w (z + h) wz
I
1 1
= lim f (w) dw
2i h0 |wz|=r (w z h)(w z)
Para tal
I I
f (w) f (w)
dw 2
dw
|wz|=r (w z h)(w z) |wz|=r (w z)
I
h
= f (w) dw
|wz|=r (w z h)(w z)2
I
|h|
|f (w)| |dw|
|wz|=r |w z h| |w z|2
I
M |h| 1
|dw|
r2 |wz|=r |w z h|
76
1.5. INTEGRACAO EM C
para qualquer curva de Jordan em D percorrida em sentido directo e tal que z int .
Repetindo o argumento anterior verifica-se que para qualquer z D
I
2 f (w)
f (z) = dw
2i (w z)3
para qualquer curva de Jordan em D percorrida em sentido directo e tal que z int .
Conclui-se que a derivada de f esta bem definida e existe em D pelo que f e analtica em
D.
Exemplo:
1. Pretendemos calcular o valor do integral
I
ez
dz
|z|=2 (z 1)4
onde se supoe que a curva e percorrida uma vez em sentido directo. Comecamos por observar
ez
que a funcao (z1)4 e analtica em C \ {1}, pelo que nao e analtica na regiao interior a
curva, e como tal nao e aplicavel o Teorema de Cauchy. Consideremos a funcao f (z) = ez ,
que e uma funcao inteira; para z0 = 1 (que pertence a regiao interior a curva) estamos
em condicoes de aplicar a formula integral de Cauchy generalizada para a derivada de f de
ordem n = 3. Assim:
I
ez 2i z ei
4
dz = e =
|z|=2 (z 1) 3! z=1 3
77
CAPITULO 1. ANALISE COMPLEXA
onde se considera que a curva e percorrida uma vez em sentido directo e log z representa o
valor principal do logaritmo. A funcao f (z) = zlog(z+3)
2 (z 2 +9) esta definida em C \ {3i, 3i, 3, 0}
e e analtica em
C \ {0, 3i, 3i} {x R : x 3}
u C 2 (R2 ) .
para quaisquer x, y R2
2u 2u
u = 2
+ 2 = 3x2 + 3y 2 6xy + 3y 2 + 6xy 3x2 = 0
x y x y
concluimos que u e harmonica em R2 pelo que existe v : R2 R tal que f =
u + iv e uma funcao inteira. Por outro lado, visto que 0 pertence a regiao interior da
circunferencia |z| = 1, estamos em condicoes de aplicar a formula integral de Cauchy
para a derivada de ordem 2 de f :
I
f (z) 2i
3
dz = f (0).
|z|=1 z 2!
78
1.5. INTEGRACAO EM C
= 6x 6y + i(6y + 6x)
Finalmente
I
f (z)
dz = i 6x 6y + i(6y + 6x) =0
|z|=1 z3 (x,y)=(0,0)
79
CAPITULO 1. ANALISE COMPLEXA
Por outro lado, visto f ser limitada, existe M > 0 para o qual
|f (z)| M , z C
Entao I
1 M M
|f (z)| |dw| =
2 |wz|=R R2 r
Visto R ser arbitrario, podemos considera-lo tao grande quanto se queira; fazendo R ,
concluimos que:
|f (z)| 0 |f (z)| = 0 f (z) = 0
pelo que f e constante em C.
Teorema Fundamental da Algebra
Seja P (z) um polinomio nao constante em C. Entao existe C tal que P () = 0.
Demonstracao:
Argumentando por contradicao, vamos supor que tal nao existe, isto e
z C P (z) 6= 0
o que implica de imediato que a funcao 1/P (z) e inteira. Por outro lado, visto |P (z)|
quando |z| , existe R > 0 tal que
1
<1 se |z| > R (1.20)
P (z)
e, por continuidade de 1/P (z), existe M > 0 tal que
1
<M se |z| R (1.21)
P (z)
As desigualdades (1.20) e (1.21) permitem afirmar que 1/P (z) e limitada em C. Pelo
Teorema de Liouville conclui-se que 1/P (z) e constante, o que constitui uma contradicao.
Desigualdade de Cauchy
Se f e uma funcao analtica num conjunto aberto e simplesmente conexo D C, z0 D e
escolha-se r > 0 tal que {z : |z z0 | = r} D. Entao
M n!
|f (n) (z0 )| n N0
rn
sendo M R+ o maximo de |f (z)| em Br (z0 ).
80
1.6. SERIES DE POTENCIAS
para qualquer curva regular, , contida em D(z0 , R) e onde a e z representam os pontos inicial
e final de , respectivamente. Em consequencia, as primitivas de f (z) sao dadas por
X an
C+ (z z0 )n+1 , C C.
n+1
n=0
Teorema de Taylor:
81
CAPITULO 1. ANALISE COMPLEXA
R e o supremo dos numeros reais positivos, , para o quais o disco D(z0 , ) esta contido no
domnio de analiticidade de f , isto e, R e a distancia de z0 a fronteira de D.
Nota: conclui-se dos teoremas anteriores que afirmar que uma funcao f e analtica (ou
holomorfa) num ponto z0 C e equivalente a afirmar que f (z) admite uma representacao em
serie de potencias de z z0 valida numa vizinhanca de z0 .
A serie
X f (n) (z0 )
(z z0 )n
n=0
n!
denomina.se serie de Taylor de f em torno de z0 .
No caso particular z0 = 0 a serie
X f (n) (0)
zn
n=0
n!
Por ser uma serie de potencias, ela e uniformemente convergente em D(z0 , r) para todos
0 < r < R, pelo que pode ser integrada e derivada termo a termo. Isto e, se z D(z0 , R),
X f (n) (z0 )
i) f (z) = (z z0 )n1
(n 1)!
n=1
Z
X f (n) (z0 )
ii) f (w) dw = (z z0 )n+1 (a z0 )n+1
(n + 1)!
n=0
onde e uma curva seccionalmente regular contida em D(z0 , R) e a, z sao o extremo inicial e
final (resp.) de . Em consequencia, as primitivas da serie de Taylor de f (z) em torno de z0 sao
X f (n) (z0 )
C+ (z z0 )n+1 ,
(n + 1)!
n=0
Pretende-se mostrar que, dado z0 no domnio de analiticidade de f , existe R > 0, tal que para
todo z em D(z0 , R) se tem
X f (n) (z0 )
f (z) = (z z0 )n
n=0
n!
82
1.7. SERIES DE TAYLOR
Sendo D o domnio de analiticidade de f , considere-se R o maior real positivo para o qual se tem
D(z0 , R) D. Para qual quer z D(z0 , R), defina-se R0 = |z z0 | e escolha-se R1 ]R0 , R[.
Sendo = {w : |w z0 | = R1 } percorrida em sentido directo, por aplicacao da formula Integral
de Cauchy tem-se que I
1 f (w)
f (z) = dw
2i w z
Por outro lado, e tendo em conta o valor da soma da serie geometrica, temos que
X (z z0 )n
1 1 1 1
= = zz0 =
wz w z0 (z z0 ) w z0 1 wz 0 n=0
(w z0 )n+1
f (n) (0) 1
an = =
n! n!
Como o domnio de analiticidade de ez e C temos entao quebrado
z
X zn
e = , z C
n=0
n!
Para qualquer z C
eiz eiz 1 X z n in (1 (1)n ) 1 X z n in X (1)n z 2n+1
sen z = = = =
2i 2i n=0 n! i n! n=0
(2n + 1)!
n=0
n mpar
83
CAPITULO 1. ANALISE COMPLEXA
este desenvolvimento sera valido no maior crculo centrado em 0 onde a funcao (valor
principal) log(1z) e analtica. Como o seu domnio de analiticidade e C\{x R : x 1}
o domnio de convergencia da serie e |z| < 1. Atendendo a que o valor principal de log 1 e
0, tem-se que
X z n+1
log(1 z) = + C C = 0.
z=0
n=0
n + 1 z=0
Desta forma:
X z n+1
log(1 z) = , |z| < 1
n+1
n=0
X (1)n 2n+1 i2n+1
= (z i)2n+1
(2n + 1)!
n=0
X 2n+1
= i (z i)2n+1
n=0
(2n + 1)!
z i
sendo a igualdade valida em
< 1, ou seja, em |z i| < 2. Por ultimo
2i
z = (z i) + i
84
1.7. SERIES DE TAYLOR
85
CAPITULO 1. ANALISE COMPLEXA
X an X
= n
+ an (z z0 )n
n=1
(z z0 ) n=0
(1.22)
diz-se uma serie de Laurent em torno do ponto z0 .
No teorema de Laurent, podemos tomar os raios interior, r (resp. exterior, R) da regiao anular
A(z0 , r, R) como sendo o nfimo de todos os R+ +
0 (resp., o supremo de todos os R {})
para os quais f e analtica em A(z0 , , ). Em particular, podemos ter r = 0 e R = .
Demonstracao:
Escolha-se z A(z0 , r, R) arbitrario, e sejam r1 , r2 numeros reais positivos para os quais
r < r1 < |z z0 | < r2 < R. Considerem-se ainda 1 e 2 as circunferencias de centro em z0 e
de raios respectivamente r1 e r2 , percorridas em sentido directo. Sendo l um segmento de recta
unindo 1 a 2 , defina-se
C = 2 + l + 1 + l
86
1.8. SERIES DE LAURENT
Para w 2
1 1 1 X (z z0 )n
= = =
wz w z0 (z z0 ) (w z0 ) 1 zz0
n=0
(w z0 )n+1
wz0
zz
0
onde tivemos em conta que |z z0 | < r2 pelo que < 1. De modo analogo, para w 1
w z0
1 1 1 X (w z0 )n
= = =
wz w z0 (z z0 ) (z z0 ) 1 wz0
n=0
(z z0 )n+1
zz0
w z
0
onde tivemos em conta que |z z0 | > r1 pelo que < 1. Entao
z z0
I I
1 X (z z0 )n 1 X (w z0 )n
f (z) = f (w) dw + f (w) dw
2i 2 (w z0 )n+1 2i 1 (z z0 )n+1
n=0 n=0
I I 1
1 X (z z0 )n 1 X (z z0 )j
= f (w) n+1
dw + f (w) dw
2i 2 (w z0 ) 2i 1 (w z0 )j+1
n=0 j=
I
X 1 f (w)
= n+1
dw (z z0 )n
n=
2i (w z0 )
onde, pelo teorema de Cauchy generalizado, 1 e 2 foram substituidas por qualquer curva de
Jordan em sentido positivo em A(z0 , r, R) com z0 no seu interior.
Note-se que o desenvolvimento em serie e convergente, pois |z| > 1 implica que |1/z| < 1.
z
3. Sendo f (z) = (zi)(z+2i) , vamos determinar todos os possveis desenvolvimentos em serie
de f em torno de z0 = i. Dado que f e analtica em C \ {i, 2i} e z0 = i iremos ter dois
87
CAPITULO 1. ANALISE COMPLEXA
Dado que estamos a efectuar o desenvolvimento na regiao z A(i, 0, 1) tem-se que |z i| <
1
1 e como tal representa a soma da serie geometrica de razao zi
i , e assim
1 zi
i
1 + i(z i)1 X z i n X (z i)n X (z i)n1
f (z) = = +
i n=0
i n=0
in1 n=0
in
1 + i(z i)1 1 1
f (z) = (zi) i
i 1 zi
i
1
Desta forma, para z A(i, 1, ), a funcao i
1 zi
representa a soma da serie geometrica de
i
razao zi . Assim,
1 + i(z i)1 1 X i n X in X in+1
f (z) = (zi) = ,
i zi (z i)n+1 (z i)n+2
i n=0 n=0 n=0
i
sendo que este desenvolvimento e valido para zi < 1, ou seja, |z i| > 1.
88
1.9. SINGULARIDADES, RESIDUOS E TEOREMA DOS RESIDUOS
Exemplo:
1
1. A funcao f (z) = z e analtica em C \ {0}, pelo que 0 e uma singularidade isolada de f .
z0 diz-se removvel se a serie (1.23) tem parte principal nula, ou seja, se:
an = 0 , n N .
Exemplo;
A funcao f (z) = senz z tem uma singularidade isolada em z = 0. Desenvolvendo em serie de
Laurent em torno de z0 = 0, obtem-se
sen z z2 z4 z6
=1 + + , z 6= 0 (1.24)
z 3! 5! 7!
E entao obvio que a parte principal da serie e nula e como tal 0 e uma singularidade removvel
de f . Note-se que a serie que representa a funcao senz z e uma funcao inteira (porque?).
Usando esse facto, podemos entao prolongar por analiticidade sen z/z a zero da seguinte
forma sen z
z se z 6= 0
F (z) =
1 se z = 0
2 4 6
em que o valor F (0) = 1 z3! + z5! z7! +
= 1.
z=0
89
CAPITULO 1. ANALISE COMPLEXA
A funcao
2 f (z) se z 6= z0
F (z) = ao + a1 (z z0 ) + a2 (z z0 ) + =
a0 se z = z0
Demonstracao:
Pelo que vimos acima, se z0 e uma singularidade removvel entao o limzz0 f (z) existe.
Reciprocamente, se existe o limzz0 f (z) entao f (z) e limitada numa vizinhanca de z0 , D;
ou seja, existe M > 0 tal que |f (z)| M para z D. Seja > 0 suficientemente pequeno
para que a regiao anular 0 < |z z0 | r esteja contida em D e no domnio de analiticidade
de f . Tomando n 1 e 0 < < r, e utilizando o teorema de Laurent, os coeficientes da
serie (1.23) valida em 0 < |z z0 | < r sao dados por:
I I
1 f (z) 1
an = dz = f (z)(z z0 )n1 dz.
2i |zz0|= (z z0 )n+1 2i |zz0|=
Desta forma:
I I
1 n1 M n1
|an | |f (z)||z z0 | |dz| |dz|
2 |zz0 |= 2 |zz0 |=
M n1 2
= = M n 0 quando 0
2
Assim an = 0 para n 1, pelo que z0 e uma singularidade removvel de f (z).
Exemplo:
z
A funcao f (z) = sen z tem singularidades nos pontos k, k Z. Dado que
z 1
lim f (z) = lim z3 z5
= lim z2 z4
=1
z0 z0 z 3! + 5! z0 1 3! + 5!
a singularidade 0 e removvel. Por outro lado, para k 6= 0
z
lim =
/C
zk sen z
90
1.9. SINGULARIDADES, RESIDUOS E TEOREMA DOS RESIDUOS
em que ap 6= 0. Neste caso, an = 0 para todo n > p, pelo que a parte principal da
serie de Laurent tem apenas um numero finito de termos nao nulos. Se p = 1 o polo diz-se
simples.
Exemplo:
A funcao f (z) = sen z
z 4 tem uma singularidade isolada em z = 0. Desenvolvendo em serie de
laurent em torno de z0 = 0, obtem-se
sen z 1 1 z z3
= + + , z 6= 0 (1.25)
z4 z 3 3!z 5! 7!
E entao obvio que a parte principal da serie tem apenas dois termos nao nulos, pelo que 0
e um polo, e dado que a potencia de menor expoente da serie e z 3 , a sua ordem e 3.
Demonstracao:
Pela forma da serie de Laurent, e facil de concluir que se z0 e um polo de ordem p, entao
def
F (z) = (z z0 )p f (z) = ap + ap+1 (z z0 ) + + ap+n (z z0 )n +
para 0 < |z z0 | < . Assim sendo, F (z) e uma funcao analtica em z0 e F (z0 ) = ap 6= 0,
donde se conclui que limzz0 (z z0 )p f (z) = F (z0 ) 6= 0.
Reciprocamente, se o limite anterior existe e e nao nulo entao F (z) = (z z0 )p f (z) tem
uma singularidade removvel em z0 , pelo que o seu desenvolvimento em serie de Laurent em
torno de z0 e da forma:
(z z0 )p f (z) = F (z) = b0 + b1 (z z0 ) + b2 (z z0 )2 + .
b0 b1
f (z) = p
+ + + bp + bp+1 (z z0 ) + bp+2 (z z0 )2 +
(z z0 ) (z z0 )p1
Exemplo:
91
CAPITULO 1. ANALISE COMPLEXA
z
A funcao f (z) = 1cos z tem singularidades nos pontos 2k, k Z. Atendendo a que
o numerador se anula em 0 e nao se anula em 2k, para k 6= 0 vamos estudar estas
singularidades separadamente. Assim, para classificar a singularidade 0, note-se que
z z z 1
f (z) = P (1)n z 2n
= z2 z4 z6
= = G(z),
1 + + z2 1
z2
+ z4
+ z
n=0 (2n)! 2 4! 6! 2 4! 6!
1
em que G(z) = 1 2 4 e analtica numa vizinhanca de 0 e G(0) = 2 6= 0. Conclui-
2
z4! + z6! +
se que 0 e um polo simples. Para 2k, k 6= 0, note-se em primeiro lugar que classificar a
singularidade 2k de f (z) e equivalente a classificar a singularidade 0 de f (z +2k). Assim,
e mais uma vez utilizando a serie de MacLaurin de cos z,
z + 2k z + 2k 1
f (z + 2k) = = = 2 H(z)
1 cos(z + 2k) 1 cos z z
z+2k
em que H(z) = 1 z2 4 e analtica numa vizinhanca de 0 e H(0) = 4k 6= 0. Conclui-
2
4! + z6! +
mos que 0 e um polo de ordem 2 de f (z + 2k) pelo que 2k, k 6= 0 e um polo de ordem
2 de f (z).
Exemplo:
A funcao f (z) = z 3 e1/z tem uma singularidade isolada em 0. Note-se que limz0 f (z) nao
existe dado que a exponencial complexa e perioodica e nao e limitada. Assim, suspeita-se
que a singularidade e essencial. De facto, fazendo o desenvolvimento em serie de Laurent
de f em torno de 0
z 1 1 1
f (z) = z 3 + z 2 + + + + + (1.26)
z 3! 4!z 5!z 2
e facil de verificar que a parte singular da serie (termos a vermelho) tem uma infinidade de
termos, pelo que se confirma que 0 e uma singularidade essencial.
1.9.3 Resduos
Se z0 e uma singularidade isolada de f , define-se Resduo de f em z0 , Res(f, z0 ), como sendo o
coeficiente a1 do desenvolvimento em serie de Laurent (com centro em z0 ) valida em A(z0 , 0, r).
Exemplo:
Sendo
sen z
1. f (z) = z , por (1.24), Res(f, 0) = 0.
sen z 1
2. f (z) = z4
, por (1.25), Res(f, 0) = 3! .
1
3. f (z) = z 3 e1/z , por (1.26), Res(f, 0) = 4! .
92
1.9. SINGULARIDADES, RESIDUOS E TEOREMA DOS RESIDUOS
Res(f, z0 ) = 0
1 dp1 h p
i
Res(f, z0 ) = lim (z z0 ) f (z)
(p 1)! zz0 dz p1
Demonstracao:
Por hipotese
ap a2 a1
f (z) = p
+ + 2
+ + a0 + a1 (z z0 ) +
(z z0 ) (z z0 ) z z0
sendo a serie de Laurent uniformemente convergente numa regiao 0 < |z z0 | < r. Assim:
dp1
Derivando p 1 vezes (note que dz p1
(z z0 )k = 0 para k < p 1) resulta que:
dp1 h p
i
p1
(z z0 ) f (z) = a1 (p 1)! + a0 p(p 1) 3 2 (z z0 )
dz
+a1 (p + 1)p 4 3 (z z0 )2 + .
dp1 h p
i
lim (z z0 ) f (z) = (p 1)! a1
zz0 dz p1
Exemplo:
Sendo
z
f (z) = sen z , vimos anteriormente que 0 e uma singularidade removvel pelo que Res(f, 0) =
0.
z
f (z) = 1cos z vimos que 0 e um polo simples, pelo que
93
CAPITULO 1. ANALISE COMPLEXA
Proposicao:
(z)
Se f (z) = (z) , com (z) e (z) analticas em z0 , (z0 ) 6= 0, (z0 ) = 0 e (z0 ) 6= 0 entao
z0 e um polo simples de f e
(z0 )
Res(f, z0 ) =
(z0 )
Demonstracao:
Como (z) e (z) sao analticas em z0 , existem as series de Taylor daquelas funcoes validas
numa vizinhanca de z0 . Assim sendo, e atendendo a que (z0 ) = 0
pelo que
(z) (z0 )
lim (z z0 ) = 6= 0.
zz0 (z) (z0 )
z
Se aplicarmos este resultado a funcao do exemplo anterior, f (z) = 1cos z , o calculo do resduo
e bastante mais facil.
De forma identica se pode provar a seguinte versao da regra de Cauchy, que pode ser util na
classificacao das singularidades nao essenciais e calculo dos respectivos resduos.
ii) uma curva de Jordan em D percorrida em sentido directo e tal que z1 ,...,zk int .
94
1.9. SINGULARIDADES, RESIDUOS E TEOREMA DOS RESIDUOS
Entao
I k
X
f (z) dz = 2i Res(f, zj )
j=1
Exemplos:
temos que 2i esta no exterior da curva enquanto 2i esta no seu interior. Aplicando o teorema
dos resduos: I
2z + 6
2
dz = 2i Res (f, 2i) .
|zi|=2 z + 4
Como
4i + 6 2i + 3
lim (z 2i)f (z) = = ,
z2i 4i 2i
concluimos que 2i e um polo simples e Res (f, 2i) = 2i+3
2i . Desta forma:
I
2z + 6
2
dz = (2i + 3) .
|zi|=2 z + 4
3
onde a curva e percorrida uma vez em sentido positivo. A funcao f (z) = e z e analtica em
C \ {0}. A singularidade nao e tipo polo nem removvel. Podemos escrever a serie de Laurent de
f em torno de z0 = 0 para verificarmos que a singularidade e essencial e determinar o respectivo
resduo. Se 0 < |z| < , entao
3 X 3n 3 9 27
ez = n
= 1 + + 2 + 3 +
n!z z 2z 6z
n=0
pelo que se confirma que 0 e singularidade essencial e que Res (f, 0) = 3. Assim sendo:
I
3
e z dz = 6i .
|z|=1
95
CAPITULO 1. ANALISE COMPLEXA
Atendendo a que
X (1)n 2n+1 (z)3 (z)5 3z2 5 z4
sen(z) = z 2n+1 = z + = z +
(2n + 1)! 3! 5! 3! 5!
n=0
em que, para cada k, a funcao gk e analtica no ponto k e gk (k) 6= 0. Isto significa que os numeros
inteiros, k, sao todos zeros de primeira ordem da funcao sen(z). Assim:
96
1.10. APLICACOES DO TEOREMA DOS RESIDUOS AO CALCULO DE INTEGRAIS REAIS
(z + 1)(z 1) z+1 w 2
lim (z + 1)f (z) = lim = 2 lim = 2 lim =
z1 z1 z sen(z) z1 sen(z) w0 sen(w )
Finalmente I 3
z1 2
dz = 2i +0 = 2i
|z|= 23 z sen(z)
onde F (u, v) e uma funcao real dependendo das duas variaveis reais u e v. Como consequencia
da formula de Euler
ei + ei ei ei
cos = e sen =
2 2i
dz
Temos entao que, fazendo z = ei (o que implica que |z| = 1 e d = iz), o integral pode ser
escrito na forma I 1 1 I
F ( z+z2 , zz
2i )
I= dz = f (z) dz
|z|=1 iz |z|=1
1 z + z 1 z z 1
onde f (z) = F , . Por aplicacao do teorema dos resduos:
iz 2 2i
k
X
I = 2i Res (f, zj )
j=0
Exemplo:
Vamos calcular o integral Z 2
def d
I =
0 2 + sen2
97
CAPITULO 1. ANALISE COMPLEXA
A funcao
z
f (z) =
10z 2 + 1 z4
np p p p o
e analtica em C \ 5 + 2 6, 5 + 2 6, 5 2 6, 5 2 6 , sendo claro que:
q q
5 + 2 6 > 1 e 5 2 6 < 1.
Assim:
q 1 1
Res f, 5 2 6 = 2
=
4z 20 z= 52 6
8 6
e q
1 1
Res f, 5 2 6 = 2
= .
4z 20 z= 52 6
8 6
Resulta entao que: r
Z 2
d 2 2 2
2
= 8 = =
0 2 + sen 8 6 6 3
(C3) Grau(Q)Grau(P ) 2.
98
1.10. APLICACOES DO TEOREMA DOS RESIDUOS AO CALCULO DE INTEGRAIS REAIS
Observe-se que a condicao (C2) faz com que a funcao P (x)/Q(x) seja limitada em R e a condicao
(C3) faz com que o integral improprio seja convergente.
Considera-se a funcao complexa auxiliar F (z) = P (z)/Q(z), e para R suficientemente grande
a curva R como sendo a fronteira do semi-crculo centrado na origem e de raio R definido no
semiplano {z : Im z 0}. Por aplicacao do Teorema dos resduos
I k
P (z) X P def
dz = 2i Res ( , zj ) =
R Q(z) Q
j=0
sendo zj , j = 0, ..., k os zeros de Q com parte imaginaria positiva. Por outro lado
Entao Z Z Z Z
R
P (z) P (z) P (x) P (z)
= dz + dz = dx + dz
IR Q(z) SR Q(z) R Q(x) SR Q(z)
Fazendo R , Z
P (z)
= I + lim dz
R SR Q(z)
Dado que existe M R+ tal que para |z| = R suficientemente grande
P (z) M
kl ,
Q(z) |z|
onde k e l sao os graus de Q(z) e P (z), respectivamente. Assim sendo, para R suficientemente
grande
Z P (z) Z M M R M
dz kl
|dz| = kl = kl1 ,
SR Q(z) SR |z| R R
Por aplicacao da condicao (C3) podemos concluir que k l 1 2 1 = 1, pelo que
Z
P (z)
lim dz = 0
R SR Q(z)
Conclui-se que
Z k
P (x) X P
dx = = 2i Res ( , zj )
Q(x) Q
j=0
99
CAPITULO 1. ANALISE COMPLEXA
Visto que
1
F (z) = (1.27)
(z + 2i)(z 2i)(z 3i)(z + 3i)
ve-se que todas as singularidades de (1.27) sao zeros de ordem 1 do denominador e nao anulam
o numerador, pelo que sao polos simples de F (z). Como tal:
1 1
Res (F, 2i) = lim (z 2i)F (z) = lim 2
=
z2i z2i (z + 2i)(z + 9) 20i
e
1 1
Res (F, 3i) = lim (z 3i)F (z) = lim =
z3i z3i (z 2 + 4)(z + 3i) 30i
Entao I
F (z) dz = .
30
Por outro lado, atendendo ao facto de que a curva R e composta pelo segmento
IR = {z C : z = x , x [R, R[}
e pela semicircunferencia
SR = {z C : z = Rei , [0, [}
podemos escrever Z Z
= F (z) dz + F (z) dz
30 IR SR
100
1.10. APLICACOES DO TEOREMA DOS RESIDUOS AO CALCULO DE INTEGRAIS REAIS
o que implica Z
lim F (z) dz = 0
R SR
e como tal Z
F (x) dx =
30
em que a R+ e:
sendo zj , para j = 0, 1, . . . , k , os zeros de Q com parte imaginaria positiva. Note que o valor de
I nao depende de R (desde que R > max{|z1 |, . . . , |zk |}). Por outro lado,
n o n o
R = IR SR = z = x : x ] R, R[ z = Rei : [0, ]
Entao Z Z Z Z
R
I= f (z)eiaz dz + f (z) dz = f (z)eiaz dx + f (z)eiaz dz
IR SR R SR
Fazendo R +, Z Z
iax
I= f (z)e dx + lim f (z)eiaz dz
R SR
Lema de Jordan Seja a > 0 e f uma funcao analtica em C excepto num conjunto finito de
singularidades. Seja SR a semi-circunferencia |z| = R, com Im z > 0.
101
CAPITULO 1. ANALISE COMPLEXA
b) Seja f (z) analtica em |z| > r, para algum r > 0 e tal que:
entao: Z
lim f (z)eiaz dz = 0
R SR
Dem.:
a) Parametrizando
a semicircunferencia por z() = Rei = R cos + iR sen , com 0 ,
entao R cos + R2 sen2 = R, pelo que:
2 2
Z Z Z
iaz iaR cos aR sen
e |dz| = e e R d = eaR sen R d (1.28)
SR 0 0
def
b) Como M (R) = max |f (z)| 0 quando R +,
|z|=R
Z Z
iaz
M (R)
f (z)e dz M (R) |eiaz ||dz| 0 quando R +
SR SR a
P (x)
Exemplo importante: Se f (x) = Q(x) , onde P (x) e Q(x) sao polinomios reais (isto e, os
seus coeficientes sao reais), tem-se que se
102
1.10. APLICACOES DO TEOREMA DOS RESIDUOS AO CALCULO DE INTEGRAIS REAIS
Conclui-se que Z
f (x)eiax dx = I
Dado que ax R, resulta da formula de Euler que
Z Z Z
iax
f (x)e dx = f (x) cos(ax) dx + i f (x) sen(ax) dx
pelo que
Z Z
f (x) cos(ax) dx = Re I e f (x) sen(ax) dx = Im I
Exemplo:
Vamos determinar o integral Z
cos x
dx
4x2 + 1
utilizando o Teorema dos Resduos. Para tal considere-se a funcao complexa
eiz
F (z) =
4z 2 + 1
e, para R R+ suficientemente grande, a curva R como sendo a fronteira do semi-crculo
{z : |z| R e Im z 0}
Dado que
eiz
F (z) = i
i
, (1.30)
4 z 2 z+ 2
como i/2 e zero de ordem 1 do denominador de (1.30) e nao anula o numerador de (1.30),
conclui-se que i/2 e polo simples de F . Consequentemente:
i e1/2
Res (F, 2 ) = lim z
i
F (z) =
zi/2 2 4i
Sendo assim I
e1/2
F (z) dz =
CR 2
Por outro lado
pelo que
I Z Z
e1/2
= F (z) dz = F (z) dz + F (z) dz
2 R IR SR
103
CAPITULO 1. ANALISE COMPLEXA
e atendendo a definicao de IR
Z R Z
e1/2
= F (x) dx + F (z) dz
2 R SR
Fazendo R Z Z
e1/2
= F (x) dx + lim F (z) dz
2 R SR
e como tal Z
e1/2
F (x) dx = =
2 2 e
Finalmente, visto x R
Z Z Z
ei x cos x sen x
2
dx = 2
dx + i 2
dx =
4x + 1 4x + 1 4x + 1 2 e
concluindo-se que Z
cos x
2
dx =
4x + 1 2 e
104
Captulo 2
2.1 Introducao
2.1.1 Notacao e Definicoes
Designa-se por equacao diferencial uma relacao de igualdade entre termos envolvendo uma funcao
y(x), as suas derivadas e a variavel independente x. A equacao podera tambem depender de
parametros nao directamente relacionados com a variavel independente x. E talvez mais simples
pensar numa equacao diferencial como uma equacao cuja incognita pertence a um espaco de
funcoes
Rn D x = (x1 , x2 , . . . xn ) 7 y(x) = y1 (x), . . . , ym (x) Rm
(pode-se ter C em vez de R). Desta forma, x1 , . . . xn sao as variaveis independentes (e a dimensao
do domnio de y, n N, o seu numero) e y1 , . . . , ym as variaveis dependentes (e a dimensao do
contradomnio de y, m N, o seu numero). Note que os (eventuais) parametros nao sao contados
como variaveis independentes ou dependentes da equacao.
As equacoes diferenciais dizem-se ordinarias se o domnio da funcao y(x) esta contido em R,
caso em que as derivadas que nela surgem sao totais (em ordem a x R). Dizem-se parciais se
tem mais do que uma variavel independente (o domnio de y(x) esta contido em Rn ) e envolvem
derivadas parciais de y (em ordem a x1 , x2 , . . .).
As equacoes diferenciais classificam-se como escalares ou vectoriais consoante tenham uma
ou mais do que uma variavel dependente (ou seja, o contradomnio de y(x) esta contido em R
no caso escalar e Rm no caso vectorial). Nesteultimo caso e costume considerar que a variavel
dependente e o vector y(x) = y1 (x), . . . ym (x) Rm .
Por exemplo, a equacao
dy
+ 2ayx = 0
dx
e ordinaria, x e a variavel independente e y = y(x) a variavel dependente, enquanto a e um
parametro. Ja a 2a Lei de Newton para o movimento de uma partcula em R3
e uma equacao ordinaria vectorial, pois r = r(t) = (x(t), y(t), z(t)). Aqui utilizou-se a notacao
de Newton
dr d2 r
r = r = 2
dt dt
105
CAPITULO 2. EQUACOES DIFERENCIAIS ORDINARIAS
2u 2u
+ 2 = 0,
x2 y
u 2u
=k 2
t x
onde u : R [0, L] R; a equacao das ondas unidimensional
2u 2
2 u
= c
t2 x2
onde u : R [0, L] R. Tambem poderemos ter versoes tridimensionais destas equacoes como,
por exemplo, a equacao do calor no espaco:
2
u u 2 u 2 u def
=k + 2 + 2 = k 2 u
t x2 y z
http://www.claymath.org/millennium/Navier-Stokes_Equations
Dedicaremos o que resta deste captulo ao estudo das equacoes diferenciais ordinarias.
106
2.1. INTRODUCAO
y = g(t).
estando bem definida em qualquer intervalo onde g e contnua. Note-se que existe uma infinidade
de solucoes para a equacao diferencial; o mesmo se passa com qualquer equacao diferencial
ordinaria de 1a ordem, y = f (t, y), desde que f seja uma funcao contnua num conjunto aberto.
Acrescentando a equacao de 1a ordem uma condicao inicial, obtem-se um problema de valor
inicial (ou problema de Cauchy):
y = f (t, y)
(2.2)
y(t0 ) = y0
Em certas condicoes (veremos isso mais tarde) um problema de valor inicial tem solucao unica.
O intervalo maximo de solucao, Imax , do problema de valor inicial e o maior intervalo onde
o problema (2.10) tem solucao. Mais exactamente, Imax e o intervalo maximal de existencia de
solucao 1 .
1
O intervalo Imax diz-se maximal no sentido em que existe uma solucao de (2.10) em Imax e qualquer outro
intervalo onde uma solucao de (2.10) esta definida esta contido em Imax
107
CAPITULO 2. EQUACOES DIFERENCIAIS ORDINARIAS
Resolvamos agora a equacao nao homogenea. Multiplicando a equacao (2.4) por uma funcao
(t) tal que = a(t), por exemplo, tomando
Z
(t) = exp a(t)dt
108
2.2. EQUACOES ESCALARES DE PRIMEIRA ORDEM
Exemplo
(1) Determinar a solucao do seguinte problema de valor inicial, indicando o intervalo maximo
de existencia de solucao:
w + w = e2t
w(0) = 3
A equacao w + w = e2t e linear, com a(t) 1 e b(t) = e2t obviamente contnuas em R.
Um factor integrante (em I = R) para a equacao e:
R
dt
(t) = e = et
Sendo assim
d t
w + w = e2t e w = et w(t) = et (et + C) , C R
dt
Dado que w(0) = 3 conclui-se que C = 4 e a solucao do PVI e
w(t) = et 4 et
O intervalo maximo de solucao corresponde ao maior intervalo onde w(t) esta bem definida
e e continuamente diferenciavel. Neste caso, Imax = R. Note que solucao esta definida (e
e continuamente diferenciavel) em I = R, pois a(t) e b(t) sao contnuas em R.
109
CAPITULO 2. EQUACOES DIFERENCIAIS ORDINARIAS
ex
Trata-se de uma equacao linear, com a(x) = x1 + 1 e b(x) = x obviamente contnuas para
x > 0. Um factor integrante para a equacao e:
1
R
(x) = e ( x +1) dx = xex
Sendo assim
1 ex d x
v + +1 v = xex v + (1 + x)ex v = e2x xe v = e2x
x x dx
pelo que
e2x + c
v(x) = , cR
xex
Dado que v = y 2 , tem-se que
r r
e2x + c e2x + c
y(x) = ou y(x) =
xex xex
tendo-se o primeiro caso se a condicao inicial for positiva e o segundo se a condicao inicial
for negativa. Assim e dado que y(1) = 2 > 0, tem-se que a solucao do (PVI) e
r
e2x + 4e e2
y(x) =
xex
Como e2x + 4e e2 e sempre positivo e xex > 0 se e so se x > 0, entao
e2x + 4e e2
>0x>0
xex
Alem disso, o valor inicial x0 = 1 e positivo. Assim, Imax =]0, +[.
d dy dy
F (y) = F (y) = f (y) = g(t).
dt dt dt
Em consequencia, a solucao geral da equacao (2.5) e dada implicitamente por
Z Z
f (y)dy = g(t)dt + C
110
2.2. EQUACOES ESCALARES DE PRIMEIRA ORDEM
Considere-se uma condicao inicial generica, y(t0 ) = y0 . Se C for escolhido por forma a que (t0 , y0 )
verifique a equacao implcita, isto e, C = (t0 , y0 ), entao o grafico da solucao do PVI e uma
curva de nvel da funcao (t, y). Para ser possvel definir uma funcao S(t) tal que y = S(t) seja
a unica solucao da equacao implcita numa vizinhanca de t0 , isto e, para que, para (t, y) numa
vizinhanca de (t0 , y0 ),
(t, y) = C y = S(t)
entao e obviamente necessario que a equacao (t, y) = C tenha uma e uma so solucao pois, caso
contrario, nao se pode definir a funcao S(t). Neste caso, S(t) diz-se uma solucao explcita (local)
de (t, y) = C. Para poder concluir da existencia de solucao explcita local da equacao, e util o
seguinte teorema:
G(t, y(t)) = 0
ou, equivalentemente, Z Z
f (y)dy g(t)dt = C,
111
CAPITULO 2. EQUACOES DIFERENCIAIS ORDINARIAS
Exemplo
(Note que y(t) 0 tambem e solucao da equacao diferencial). Atendendo a que y(0) = 5
tem-se que K = 5 e como tal a solucao do PVI e
x2
3x
y(x) = 5e 2
y(x) = Ke3x
y(x) = y0 e3x
112
2.2. EQUACOES ESCALARES DE PRIMEIRA ORDEM
K=0
K=-1/2
0
K=-1/2
K=1/2
K=1
6
-0.45 -0.33 -0.21 -0.09 0.03 0.15 0.27 0.39
dy
M (t, y) + N (t, y) =0 (2.6)
dt
diz-se exacta se e so se e equivalente a
d
(t, y) = 0, (2.7)
dt
onde : A R e de classe C 1 .
A solucao geral, na forma implcita, da equacao exacta e, entao:
(t, y) = C, com C R.
Em que condicoes existe uma tal funcao , de forma a que a equacao (2.6) seja equivalente
a (2.7)? Comecamos por notar que a equacao (2.7) se pode escrever:
dy
+ =0 (2.8)
t y dt
Comparando a equacao (2.6) com (2.8), conclumos que para (2.6) ser exacta e necessario e
suficiente que:
M= e N= ,
t y
113
CAPITULO 2. EQUACOES DIFERENCIAIS ORDINARIAS
ou seja, (M, N ) = , para certa funcao C 1 (A, R). Isto e equivalente a dizer que o campo
(M, N ) e um campo gradiente 3 .
Este exemplo nao parece muito interessante, pois obtivemos o potencial a partir do conhecimento
previo da solucao geral da equacao exacta.
Problemas mais interessantes no sentido em que nao podem ser facilmente resolvidos por
outros metodos podem-se abordar tomando como ponto de partida a seguinte (e ja vossa
conhecida) condicao necessaria para que um campo seja gradiente.
entao existe : A R de classe C 2 tal que (M, N ) = . Em particular, isto implica que a
equacao M (t, y) + N (t, y)y = 0 e exacta.
Considerando agora um problema de valor inicial de uma equacao exacta (2.7) com condicao
inicial y(t0 ) = y0 , a sua solucao geral e:
114
2.2. EQUACOES ESCALARES DE PRIMEIRA ORDEM
Exemplo
dy
e4x + 2xy 2 + (cos y + 2x2 y) =0
dx
Sendo
M (x, y) = e4x + 2xy 2 e N (x, y) = cos y + 2x2 y
e facil de verificar que
= N 2x2 y + C (y) = cos y + 2x2 y C(y) = sen y + D
y
pelo que
e4x
(x, y) = + x2 y 2 + sen y + D , D R
4
Resolucao da equacao
Nestas circunstancias
dy d e4x
e4x + 2xy 2 + (cos y + 2x2 y) =0 + x2 y 2 + sen y + D = 0
dx dx 4
pelo que a solucao geral da equacao e definida implicitamente por
e4x
+ x2 y 2 + sen y = K , K R
4
115
CAPITULO 2. EQUACOES DIFERENCIAIS ORDINARIAS
- A equacao diferencial
dy
M (t, y) + N (t, y) =0
dt
e redutvel a exacta, com factor integrante so dependendo de t, = (t), se a funcao
M N
y t
N
depender apenas de t. Se esta condicao se verificar, o factor integrante e uma das solucoes
da equacao diferencial
M N
y t
=
N
- A equacao diferencial
dy
M (t, y) + N (t, y) =0
dt
e redutvel a exacta, com factor integrante so dependendo de y, = (y), se a funcao
N M
t y
M
depender apenas de y. Se esta condicao se verificar, o factor integrante e uma das solucoes
da equacao diferencial
N M
t y
=
M
Em qualquer dos casos, a solucao da equacao inicial sera dada por
(t, y) = C
em que satisfaz
= M , = N
t y
Exemplos:
dy
3x2 y + 2xy + y 3 + (x2 + y 2 ) =0
dx
116
2.2. EQUACOES ESCALARES DE PRIMEIRA ORDEM
Sendo
M (x, y) = 3x2 y + 2xy + y 3 , N (x.y) = x2 + y 2
e facil de concluir que M e N tem derivada contnua em R2 (sao funcoes polinomiais) e
M N
= 3x2 + 2x + 3y 2 , = 2x
y x
pelo que a equacao nao e exacta. Admitindo que e redutvel a exacta, existe um factor
integrante tal que a equacao
dy
(3x2 y + 2xy + y 3 ) + (x2 + y 2 ) =0
dx
e exacta. Pelo que
(3x2 y + 2xy + y 3 ) + (3x2 + 2x + 3y 2 ) = (x2 + y 2 ) + 2x
y x
(x) 3x2 + 2x + 3y 2 2x
(3x2 + 2x + 3y 2 ) = (x2 + y 2 ) (x) + 2x = =3
(x) x2 + y 2
dy
e3x (3x2 y + 2xy + y 3 ) + e3x (x2 + y 2 ) =0
dx
que por construcao e exacta: observe-se que as funcoes e3x (3x2 y + 2xy + y 3 ) e e3x (x2 + y 2 )
sao diferenciaveis em R2 , e
h 3x 2 i h 3x 2 i
e (3x y + 2xy + y 3 ) = e (x + y 2 )
y x
Calculo de
Z h i
= M (x, y) = e3x (3x2 y + 2xy + y 3 ) dx + C(y)
x
y 3 3x
(x, y) = x2 ye3x + e + c(y)
3
e, por outro lado
= N (x2 + y 2 )e3x + C (y) = e3x (x2 + y 2 ) C(y) = const.
y
117
CAPITULO 2. EQUACOES DIFERENCIAIS ORDINARIAS
pelo que
y 3 3x
(x, y) = x2 ye3x + e + const. , const. R
3
Resolucao da equacao
Nestas circunstancias
dy dy
3x2 y + 2xy + y 3 + (x2 + y 2 ) = 0 e3x (3x2 y + 2xy + y 3 ) + e3x (x2 + y 2 ) =0
dx dx
d 2 3x y 3 3x
x ye + e + const. = 0
dx 3
pelo que a solucao geral da equacao e definida implicitamente por
y 3 3x
x2 ye3x + e =k , kR
3
(x) 1 2y
= (2xy e2y ) (x) + 2y =
(x) 2xy e2y
1 2y
E facil de verificar que a funcao nao depende apenas da variavel x, pelo que
2xy e2y
nao existe factor de integracao dependendo apenas de x.
Supondo agora que = (y) (o que implica /x = 0) tem-se que
(y) 2y 1
y + = 2y =
(y) y
118
2.3. EXISTENCIA, UNICIDADE E PROLONGAMENTO DE SOLUCOES
Pode-se entao verificar que a equacao (y)/(y) = (2y 1)/y e possvel de resolver (o
e2y
segundo membro depende apenas de y), e como tal o factor integrante e (y) = .
y
Considere-se entao a equacao
1 dy
e2y + 2xe2y =0
y dx
1
que por construcao e exacta: observe-se que as funcoes e2y e 2xe2y y sao diferenciaveis
em R2 \ {(x, 0) : x R}, e
h 2y i h 1i
e = 2xe2y
y x y
Sendo assim (M, N ) e um campo gradiente em {(x, y) R2 : y > 0} (ou em {(x, y)
R2 : y < 0}), isto e, existe : {(x, y) R2 : y > 0} R (ou : {(x, y) R2 : y <
0} R) tal que = (M, N ).
Calculo de
Z h i
= M (x, y) = e2y dx + C(y) (x, y) = xe2y + c(y)
x
e, por outro lado
1
= N 2xe2y + C (y) = 2xe2y C(y) = log|y| + const.
y y
pelo que
(x, y) = xe2y log|y| + const. , const. R
Resolucao da equacao
Nestas circunstancias, para y 6= 0
dy 1 dy
y + (2xy e2y ) = 0 e2y + (2xe2y ) =0
dx y dx
d 2y
xe log |y| + const. = 0
dx
pelo que a solucao geral da equacao e definida implicitamente por
119
CAPITULO 2. EQUACOES DIFERENCIAIS ORDINARIAS
onde a funcao f : D R tem domnio aberto D R2 . E costume designar f (t, y) por campo de
direccoes da equacao diferencial em (2.10); isto deriva do facto de a recta tangente ao grafico
das solucoes da equacao diferencial ter, em cada ponto (t, y) desse grafico, declive igual a
f (t, y). Note que se y(t) e solucao da equacao diferencial entao f (t, y(t)) = dy
dt (t).
Nesta seccao estudamos as condicoes que a funcao f (t, y) deve verificar para que a solucao
do PVI:
exista;
seja unica;
Estas questoes matematicas sao muito importantes do ponto de vista das aplicacoes. Os
metodos numericos que na pratica sao aplicados no calculo aproximado de solucoes de uma
equacao diferencial ordinaria exigem, como hipotese, que a solucao do PVI exista, seja unica e
que dependa continuamente das condicoes iniciais isto e, que seja um problema bem posto. E
sabido que quando um PVI falha uma daquelas propriedades as solucoes dos esquemas numericos
correspondentes podem exibir comportamentos que as tornam inuteis, na optica das aplicacoes.
Pode-se entao colocar a questao de saber se a continuidade de f (t, y) e suficiente para provar
unicidade de solucao. A subseccao seguinte mostra que a resposta a esta questao e negativa.
120
2.3. EXISTENCIA, UNICIDADE E PROLONGAMENTO DE SOLUCOES
Podemos agora utilizar o metodo de cortar e colar a partir das solucoes y(t) 0 e
y(t) = 41 (t + c)2 , para t > c, para criar novas solucoes do PVI. Sera necessario, obviamente,
que que no ponto de colagem a nova solucao seja uma funcao contnua, diferenciavel e que
verifique a equacao diferencial.
121
CAPITULO 2. EQUACOES DIFERENCIAIS ORDINARIAS
ou seja, que yt1 seja contnua em t1 e yt1 (t1 ) = 0. Tambem as derivadas laterais de yt1 em t1
existem e sao nulas, pelo que yt1 satisfaz a equacao diferencial em t1 .
O facto de existir uma infinidade de solucoes mostra que a continuidade da funcao f (t, y) = y
no seu domnio nao e suficiente para garantir unicidade de solucao para o PVI.
De facto, temos que
p
|x| p|y|
|f (t, x) f (t, y)| = |x y|,
xy
onde o termo p
|x| p|y|
,
xy
nao e limitado para x e y num vizinhanca qualquer da origem. Isto implica, em particular, que
fixando y = 0 as taxas medias de crescimento da funcao f nao sao limitadas. Ora, foi precisamente
nos pontos onde a solucao da equacao e nula que se observou a bifurcacao de solucoes!
122
2.3. EXISTENCIA, UNICIDADE E PROLONGAMENTO DE SOLUCOES
Criterio
f
Se f e contnua num aberto D R2 e existe e e contnua em D R2 entao f e
y
localmente lipschitziana relativamente a y em D.
Teorema de Picard
Considere-se D R2 aberto e f : D R contnua e localmente lipschitziana relativamente a y
em D. Se (t0 , y0 ) D, o problema de valor inicial
y = f (t, y)
y(t0 ) = y0
admite uma unica solucao, y(t), definida numa vizinhanca de t0 , isto e, num intervalo ]t0 , t0 +[
para algum > 0.
A demonstracao deste teorema e feita de forma construtiva, sendo obtida a solucao a custa de
uma sucessao de aproximacoes da solucao. Apresentaremos em seguida essa construcao e depois
os varios passos da demonstracao do teorema.
123
CAPITULO 2. EQUACOES DIFERENCIAIS ORDINARIAS
Usando agora a condicao inicial do PVI (2.10), obtem-se a equacao integral (2.11).
Reciprocamente, admitindo que y C 1 (I) e solucao da equacao integral (2.11) entao, apli-
cando o teorema fundamental do calculo ao integral do membro direito da equacao conclui-se que
y(t) e diferenciavel e que:
dy
= f (t, y(t)) t I.
dt
Assim sendo, y(t) e solucao da equacao diferencial. Por outro lado, substituindo t por t0 na
equacao integral (2.11), obtem-se y(t0 ) = y0 .
A equacao integral e, do ponto de vista da analise matematica, muito util pois a estimacao
de integrais e mais facil que a das derivadas.
Iteradas de Picard
Derivamos agora a partir da equacao integral uma sucessao de aproximacoes as iteradas de
Picard. Trata-se de uma sucessao de funcoes contnuas yn : I R definida recursivamente por:
y0 (t) = y0
Z t
y1 (t) = y0 + f s, y0 (s) ds
t0
Z t
y2 (t) = y0 + f t, y1 (s) ds
t0
..
.
Z t
yn+1 (t) = y0 + f s, yn (s) ds
t0
..
.
124
2.3. EXISTENCIA, UNICIDADE E PROLONGAMENTO DE SOLUCOES
y0 (x) = y0 = 1
Z t Z x
y1 (x) = 1 + 2sy0 (s) ds = 1 + (2s) ds = 1 + x2
0 0
Z x Z x
x4
y2 (x) = 1 + (2sy1 (s)) ds = 1 + 2s(1 + s2 ) ds = 1 + x2 +
0 0 2
Z x Z x
s4 x4 x6
y3 (x) = 1 + (2sy2 (s)) ds = 1 + 2s(1 + s2 + ) ds = 1 + x2 + +
0 0 2 2 6
..
.
Na Figura (2.5) estao representadas as primeiras iteradas de Picard assim como a solucao do
(PVI).
2.5
y_1
y_2
y_3
y(t)
1.5
0.5
-0.05 0.07 0.19 0.31 0.43 0.55 0.67 0.79 0.91
125
CAPITULO 2. EQUACOES DIFERENCIAIS ORDINARIAS
Neste caso, a sucessao das iteradas de Picard, yn , e precisamente igual a sucessao das somas
2
parciais da serie de Maclaurin da solucao do (PVI), y(x) = ex . No entanto, e conforme se ilustra
no exemplo seguinte, tal tipo de identidade pode nao se verificar mesmo em casos simples.
Vamos construir a sucessao (yn )nN0 das iteradas de Picard associadas ao (PVI). Assim:
y0 (x) = y0 = 1
Rx Rx
y1 (x) = 1 + 0 (y0 (s))2 ds = 1 + 0 1 ds = 1 + x
Rx Rx x3
y2 (x) = 1 + 0 (y1 (s))2 ds = 1 + 0 (1 + s)2 ds = 1 + x + x2 + 3
Rx Rx s3 2
y3 (x) = 1 + 0 (y2 (s))2 ds = 1 + 0 (1 + s + s2 + 3 ) ds =
2x4 x5 x6 x7
= 1 + x + x2 + x3 + 3 + 3 + 9 + 63
..
.
1
y(x) = , IMax =] , 1[
1x
Na Figura (2.6) estao representadas as primeiras iteradas de Picard, bem como a solucao do (PVI).
E de observar que quando nos aproximamos do ponto x = 1 (onde a solucao do (PVI) explode)
a convergencia das iteradas de Picard torna-se cada vez mais lenta.
Pode-se provar (a demonstracao nao e inteiramente trivial) que as iteradas de Picard deste
problema verificam
onde Rn+1 (x) e uma funcao polinomial com um zero de ordem n + 1 em x = 0. Note que
Sn (x) = 1 + x + x2 + + xn e a sucessao das somas parciais da serie geometrica, cuja soma e
1
precisamente a solucao do (PVI), y(x) = 1x , mas somente em ] 1, 1[.
126
2.3. EXISTENCIA, UNICIDADE E PROLONGAMENTO DE SOLUCOES
15
10
y_0
5 y_1
y_2
y_3
y(t)
5
-0.95 -0.75 -0.55 -0.35 -0.15 0.05 0.25 0.45 0.65 0.85
Em casos menos simples que estes dois exemplos quando f (t, y) nao e uma funcao polino-
mial as iteradas de Picard nao sao polinomiais; no entanto, e mesmo sem se conhecer a forma
explcita dessas iteradas, pode-se usar a analise matematica para provar a sua convergencia local.
Para concluir a demonstracao do Teorema de Picard, iremos mostrar que a sucessao das
iteradas de Picard, dada por
Z t
yn+1 (t) = y0 + f s, yn (s) ds , (2.15)
t0
converge uniformemente num certo intervalo, I = [t0 , t0 + ] para uma funcao contnua, y(t).
A partir deste facto, e tomando o limite quando n em ambos os membros da igualdade
(2.15), poderemos entao concluir que y(t) satisfaz a equacao integral (2.11) em I, pelo que devera
ser solucao do PVI no intervalo aberto ]t0 , t0 + [.
Vamos entao demonstrar que a sucessao das iteradas de Picard, yn (t), converge uniformemente
num intervalo [t0 , t0 + ], para certos > 0 suficientemente pequenos (o intervalo de valores
possveis ira depender de t0 , y0 e f ).
127
CAPITULO 2. EQUACOES DIFERENCIAIS ORDINARIAS
y0 + b
(t0 , y0 ) R
y0
y0 b
t
t0 a t0 t0 + a
2o ) Seja
M = max {|f (t, y)| : (t, y) R}
Para que t, yn (t) esteja no interior de R para t [t0 , t0 + ], e necessario que
|yn (t) y0 | < b. Como
Z t Z t
|yn (t) y0 | f s, yn (s) |ds| M |ds| = M |t t0 | M ,
t0 t0
isso implica que devemos ter M < b. Para tal, e preciso exigir < b/M .
6
Se f : I R e contnua no intervalo I e a, b I (sem que se tenha, necessariamente, b a) entao obtem-se,
como caso particular da propriedade de majoracao do integral complexo (Subseccao 1.5.2):
Z b Z b
f (t)dt
|f (t)| |dt|.
a a
Rb Rb Ra Rb
Note que a
|f (t)| |dt| e igual a a
|f (t)| dt se b a e a b
|f (t)|dt se b < a. Em particular, a
|dt| = |b a|.
128
2.3. EXISTENCIA, UNICIDADE E PROLONGAMENTO DE SOLUCOES
def
Assim, para qualquer t [t0 , t0 + ] = I :
Z t
|yn+1 (t) yn (t)| f s, y n (s) f s, y n1 (s) |ds|
t0
Z t
K |yn (s) yn1 (s)| |ds|
t0
Z t
K max yn (s) yn1 (s) |ds|
sI t0
K max yn (s) yn1 (s)
sI
Rt
Como y1 (t) y0 = t0 f (s, y0 ) ds, resulta entao da desigualdade anterior que:
Z t
n
max yn+1 (t) yn (t) (K) max f (s, y0 ) ds
tI tI t0
Z t
(K)n max |f (s, y0 )| |ds|
tI t0
Z t
(K)n max M |ds|
tI t0
= (K)n M < (K)n b
Definindo r = K, entao
max yn+1 (t) yn (t) < br n .
(2.17)
tI
n1
X
y0 + yk (t) yk1 (t) (2.18)
k=0
129
CAPITULO 2. EQUACOES DIFERENCIAIS ORDINARIAS
A terceira restricao que introduzimos ao valor de e r = K < 1, ou seja < 1/K. Assim,
P
como |r| < 1, k
k=m br e uma serie geometrica convergente. Por outro lado, o termo geral da
serie (2.18) verifica
yk (t) yk1 (t) br k ,
e usando a convergencia uniforme de yn (t) para y(t) em I , entao tomando o limite em ambos
os membros de (2.20) conclui-se que que y(t) satisfaz a equacao integral:
Z t
y(t) = y0 + f t, y(t) dt
t0
Como y(t) e contnua em I , entao f t, y(t) e contnua em I . Por aplicacao do teorema
fundamental do calculo ao 2o membro da equacao integral, podemos concluir que y C 1 (I ).
Unicidade de Solucao
Supondo que y(t) e z(t) sao duas solucoes do PVI, entao verificam
Z t
y(t) = y0 + f t, y(t) dt
t0
Z t
z(t) = y0 + f t, z(t) dt
t0
em I = [t0 , t0 + ], onde satisfaz (2.19). Assim:
Z t
|y(t) z(t)| f s, y(s) f s, z(s) |ds|
t0
Z t
K |y(s) z(s)| |ds|
t0
Z
t
K max y(s) z(s)
|ds|
sI
t0
K max y(s) z(s)
sI
130
2.3. EXISTENCIA, UNICIDADE E PROLONGAMENTO DE SOLUCOES
sendo a igualdade apenas verificada quando max y(s) z(s) = 0. Como e impossvel que se
sI
verifique a desigualdade estrita para todo
o t I (pois o maximo de |y(t) z(t)| e atingido num
ponto t1 I ) conclumos que max y(s) z(s) = 0, ou seja:
sI
Teorema de Picard
Considere-se D R2 aberto e f : D R contnua e localmente lipschitziana relativamente a y
em D. Se (t0 , y0 ) D, o problema de valor inicial
y = f (t, y)
y(t0 ) = y0
admite uma unica solucao, y(t), definida numa vizinhanca de t0 , isto e, num intervalo do tipo
]t0 , t0 + [. b 1
Alem disso, a conclusao acima e valida para qualquer < min a, M , K , onde a e b sao as
dimensoes de um rectangulo R = {(t, y) R2 : |t t0 | a e |y y0 | b} contido em D 7 ,
M = max |f (t, y)| e K e uma constante de Lipschitz de f em R 8 .
(t,y)R
y1 (t) = y2 (t)
Isto porque, admitindo que o oposto seria valido entao, e tomando y = y1 (t) = y2 (t), o problema
de valor inicial
y = f (t, y)
y(t) = y
teria duas solucoes distintas, y1 (t) e y2 (t), definidas numa vizinhanca de t. Ora isto contradiz a
conclusao do teorema de Picard.
Exemplos:
7
Ver fig. 2.7
8
Ou seja, K > 0 e tal que |f (t, y) f (t, x)| K|y x| para quaisquer (t, y), (t, x) R.
131
CAPITULO 2. EQUACOES DIFERENCIAIS ORDINARIAS
dy p
= 3 1 xy , y(0) = 0 (2.21)
dx
Comecemos por observar que f (x, y) = 3 1 xy
dy p
= 3 1 xy , y(1) = 1 (2.22)
dx
Como vimos no exemplo anterior f (x, y) = 3 1 xy verifica as condicoes do Teorema de Picard
em D = R2 \ {(x, y) : xy = 1}. Em primeiro lugar, e dado que f (x, y) e contnua em R2 ,
o Teorema de Peano garante que o PVI (2.22) admite pelo menos uma solucao definida numa
vizinhanca de x0 = 1. No entanto neste exemplo tem-se que (x0 , y0 ) = (1, 1) 6 D. Apesar
disso nao se pode, de imediato, concluir que f (x, y) nao verifica as condicoes do Teorema de
Picard num conjunto que contenha (1, 1). O facto de f y (1, 1) nao existir nao e suficiente para
garantir que f (x, y) nao e lipschtziana em conjuntos contendo (1, 1); teremos, por isso, que o
verificar directamente. Assim, seja B qualquer subconjunto fechado e limitado de R2 , e (x, y1 ),
(x, y2 ) B:
p p 3
1 xy1 3 1 xy 2
|f (x, y1 ) f (x, y2 )| = 3 1 xy1 3 1 xy 2 = |y1 y2 |
y1 y2
tem que ser limitada para todos (x, y1 ), (x, y2 ) B. Considere-se (x, y2 ) = (1, 1) e (x, y1 ) =
(1, 1 + h) para h R. Temos entao que
3 h
L(1, 1, 1 + h) =
= |h|2/3
h
E entao facil de observar que para valores de h proximos de 0 (o que corresponde a estarmos em
pontos (x, y) proximos de (1, 1)), |h2/3 | aproxima-se de pelo que L(1, 1, 1+h) nao e limitada.
Concluimos que f nao e lipschtziana em qualquer conjunto contendo o ponto (1, 1), pelo que nao
se verificam as condicoes do Teorema de Picard numa vizinhanca de (1, 1). Concluimos entao que
nao se pode garantir unicidade de solucao para (2.22).
132
2.3. EXISTENCIA, UNICIDADE E PROLONGAMENTO DE SOLUCOES
Tem-se entao que f (x, y) e lipschitziana em B (com constante de Lipschitz L = 1, pelo que f e
localmente lipschitziana em R2 . O Teorema de Picard garante entao unicidade de solucao para
(2.23).
(4) Sendo a R, considere-se o problema de valor inicial
(
y + ay = y 2 cos(y + t)
(2.24)
y(0) = 1
Definindo f (t, y) = ay + y 2 cos(y + t), a equacao pode-se escrever na forma y = f (t, y). Note-
se que f (t, y) e continuamente diferenciavel em R2 , logo e contnua e localmente lipshitziana
relativamente a y em R2 . Pelo teorema de Picard, existe solucao unica do problema de valor
inicial numa vizinhanca de t0 = 0, ou seja, num intervalo ] , [, para algum > 0.
Determinemos agora um intervalo de valores de a para os quais a solucao do problema (2.25)
esta definida em R. Notando que a equacao y = f (t, y) = y(y a) cos(y + t) tem as solucoes
estacionarias u(t) 0 e v(t) a, basta tomarmos a > 1 para que se verifique
0 < y(0) = 1 < a
Como, pelo teorema de Picard, os graficos de solucoes distintas do problema y = f (t, y) nao se
podem intersectar, entao uma solucao que comeca num ponto y(0) ]0, a[ deve permanecer nesse
intervalo (pois nao se pode ter y(t) = u(t) = 0 ou y(t) = v(t) = a para qualquer t Imax ).
Assim sendo:
0 y(t) a t Imax
Para concluirmos que Imax = R podemos aplicar o teorema de Picard (em versao melhorada)
sucessivamente. Por exemplo, tomando t1 = e y1 = y(), o problema
(
y + ay = y 2 cos(y + t)
(2.25)
y(t1 ) = y1
tem solucao unica definida num intervalo ]t1 1 , t1 + 1 [, o que permite prolongar a solucao
(unica) do PVI (2.25) ao intervalo ] , + 1 [. Repetindo este procedimento, pode-se provar
que Imax [0, [. Fazendo o mesmo do lado esquerdo do intervalo ], [, podemos igualmente
provar que Imax ] , 0].
Em vez de discutirmos a prova neste exemplo particular, veremos na proxima seccao uma
forma sistematica de o fazer utilizando o teorema do prolongamento da solucao.
133
CAPITULO 2. EQUACOES DIFERENCIAIS ORDINARIAS
dy
= f (t, y) , y(t0 ) = y0
dt
esta definida num intervalo maximo de definicao, Imax =]a, b[, cujos extremos, a, b R, verificam
(i) b = + ou
(ii) b < + e t, y(t) D quando t b ou
Note que os casos do tipo (iii) significam que a solucao explode (respectivamente, quando
t b ou t a). Quanto aos casos do tipo (ii), por exemplo
t, y(t) D quando t b
significa que qualquer ponto limite do grafico de y(t) para t [t0 , b[ (este grafico e o conjunto
{(t, y(t)) : t [t0 , b[} R2 ) pertence a fronteira de D, D. Isto e equivalente a dizer que
qualquer sucessao tn ]a, b[ tal que tn b e y(tn ) e convergente verifica:
lim tn , y(tn ) D
n+
Dem.:
Vamos provar a conclusao do teorema para o prolongamento para a direita, isto e, ate b.
Seja J o conjunto dos R tais que existe solucao y : [t0 , ] R do problema de valor
inicial 9 . Pelo teorema de Picard, J 6= . Se J nao for majorado, entao a conclusao do teorema
e satisfeita pois verifica-se o caso (i). Por outro lado, se J e majorado, como J 6= entao existe
b = sup J < +.
9
Note que se y : I R e y : I R (onde I I sao intervalos), entao a solucao y restrita a I e uma solucao
do PVI em I. Resulta da unicidade de solucao do PVI que y(t) = y(t) para qualquer t I; ou seja, a restricao de
y ao domnio de y, I, coincide necessariamente com y.
134
2.3. EXISTENCIA, UNICIDADE E PROLONGAMENTO DE SOLUCOES
Admitamos que tanto (ii) como (iii) nao se verificam. Como lim |y(t)| = + nao e verdade,
ta+
entao existe uma sucessao sn b tal que y(sn ) e limitada; sendo limitada, tal sucessao tem
uma subsucessao convergente. Isto mostra que existem sucessoes tn ]a, b[ tais que tn b e
y(tn ) e convergente.
Mas como (ii) nao se verifica, entao para pelo menos uma dessas sucessoes,
tn , y(tn ) converge para um certo (b, ) int D.
Seja < 13 dist (b, ), D ; assim sendo, B3 (b, ) e um subconjunto compacto de D. Seja
K a constante de Lipschitz de f em B3 (b, ) e
1
= min , , . (2.26)
M K
(t, y)
2
(b, w)
Figura 2.8
Seja (t, y) um termo da sucessao tn , y(tn ) tal que
(t, y) (b, )
< (2.27)
Entao o quadrado
n o
R = (t, y) : t [t , t + ] e y [y , y + ]
verifica
R B2 (t, y) B2+ (b, ) B3 (b, ),
pois, tendo em conta (2.26), 2 + 2 + < 3.
Pelo teorema de Picard (em versao melhorada) e (2.26), concluimos que a solucao y(t) admite
extensao ao intervalo [t0 , t + ] e que, tendo em conta (2.27), b t < , o que implica que:
t + > b
Mas isto e absurdo, pois contradiz o facto de que b = sup J.
A demonstracao do prolongamento para a esquerda (ate a) e analoga a anterior.
Em qualquer um dos casos, verificar que a solucao nao pode ser prolongada ate t =
(ou t = ) porque a fronteira do conjunto D e atingida pode ser facil de constatar pois a
135
CAPITULO 2. EQUACOES DIFERENCIAIS ORDINARIAS
dy
= f (t, y) , y(t0 ) = y0
dt
entao
y(t) u(t) para todo t t0
y(t) u(t) para todo t t0
Consequencias:
du
= g(t, u) , u(t0 ) =
dt
u
definida em Imax =]t0 , T [, tendo-se que lim u(t) = +. Se y(t) e solucao do PVI
tT
dy
= f (t, y) , y(t0 ) =
dt
e f (t, y) g(t, y) para todo (t, y) (observe-se que pelo teorema anterior esta condicao
implica que y(t) u(t) para todo t ), entao y(t) explode no intervalo ]t0 , T ], isto e,
y
existe ]t0 , T ] tal que lim y.(t) = + e consequentemente sup Imax =
t
136
2.3. EXISTENCIA, UNICIDADE E PROLONGAMENTO DE SOLUCOES
Exemplo 1
Considere-se o PVI
y = (1 + y 2 )f (ty) , y(0) = 0 (2.28)
em que f e uma funcao de classe C 1 (R), verificando f (x) 1 para qualquer x R.
Como a funcao (1 + y 2 )f (ty) e contnua em R2 , e a funcao
(1 + y 2 )f (ty) = 2yf (ty) + (1 + y 2 )f (ty)t
y
u = 1 + u2 , u(0) = 0 ;
resolvendo a equacao separavel e fazendo uso da condicao inicial, obtem-se a sua unica solucao:
u(t) = tg t,
137
CAPITULO 2. EQUACOES DIFERENCIAIS ORDINARIAS
Exemplo 2
Considere-se o problema de valor inicial
y = 2(sen(ety ) + 2)y , y(0) = 1 (2.30)
Sendo
f (t, y) = 2(sen(ety ) + 2)y
e facil de verificar que tanto f como f /y sao contnuas em R2 . Isto implica que f verifica
as condicoes do Teorema de Picard em D = R2 e assim (2.30) tem uma solucao unica numa
vizinhanca de t0 = 0. Temos agora que mostrar que a solucao pode ser prolongada a R. Obser-
vemos que para y(t) > 0 (isso acontecera, pelo menos, numa vizinhanca de t0 = 0), a equacao e
equivalente a:
y
= 2(sen(ety ) + 2)
y
Integrando esta igualdade de 0 a t, obtem-se:
Z t
log y(t) log y(0) = (2(sen(esy(s) ) + 2))ds
0
138
2.4. EQUACOES VECTORIAIS DE 1A ORDEM (OU SISTEMAS)
onde as solucoes sao funcoes y1 (t), ..., yn (t) : I R de classe C 1 em I. Utilizando notacao
vectorial, este sistema pode entao ser escrito de forma abreviada como a equacao vectorial
sendo
y1 (t) f1 t, y1 (t), . . . , yn (t)
.
.
y(t) =
.
e F (t, y(t)) =
.
. .
yn (t) fn t, y1 (t), . . . , yn (t)
Tal como no caso escalar (n = 1), sendo t0 I, denomina-se problema de valor inicial a
y (t) = F t, y(t) , t I
y(t0 ) = y0
onde se supoe que t0 I e y0 = y1 (t0 ), . . . , yn (t0 ) A.
def p
||(y1 , . . . , yn ) (x1 , . . . , xn )|| = (y1 x1 )2 + . . . + (yn xn )2
para todos (t, y1 , . . . , yn ), (t, u1 , . . . , un ) em subconjuntos compactos de D. Isto e equivalente a
dizer que existe L R+ tal que:
10
Recordamos que, dados dois conjuntos A e B, o produto cartesiano de A por B, denotado A B, e o conjunto
dos pares ordenados (a, b) tais que a A e b B. No nosso caso, se t R e y = (y1 , . . . , yn ) Rn , entao
(t, y) R Rn . E usual identificar (t, y) R Rn com (t, y1 , . . . , yn ) Rn+1 ; neste sentido, podemos dizer que
R Rn = Rn+1 .
139
CAPITULO 2. EQUACOES DIFERENCIAIS ORDINARIAS
O seguinte teorema tem demonstracao analoga ao teorema homonimo que enunciamos ante-
riormente para o caso escalar.
Funcoes matriciais
No seguimento, sera necessario estudar funcoes X cujo domnio e um intervalo real e cujo conjunto
de chegada e um espaco vectorial de matrizes reais (ou complexas) de dimensao n m, que aqui
denotaremos por Mnm (R) (ou C).
Genericamente, um funcao X : I R Mnm (R), com
h i
X(t) = xij (t) i=1...n
j=1...m
pode, de facto, ser interpretada como uma funcao vectorial com as n m componentes:
x11 (t), . . . , x1m (t), x21 (t), . . . , x2m (t), . . . . . . , xn1 (t), . . . , xnn (t).
Sendo assim, pode-se neste contexto utilizar os conceitos e resultados ja discutidos quando se
estudou as funcoes vectoriais. A derivada de X(t) e, entao, dada por
dX dxij
= i=1,...n ,
dt dt j=1...m
140
2.4. EQUACOES VECTORIAIS DE 1A ORDEM (OU SISTEMAS)
o resultado tem que ser deduzido (porque?). No entanto isso, e tarefa relativamente facil: calcu-
lando a derivada da componente (i, j) de X(t)Y (t), obtem-se:
m m m
d X X X
xik (t)ykj (t) = xik (t)ykj (t) +
xik (t)ykj (t) ,
dt
k=1 k=1 k=1
n
Exemplo: Dada uma funcao escalar : R R e uma matriz n n, A = aij i,j=1 , de
componentes aij R (independentes de t), vejamos como se calculam a derivada e o integral da
funcao matricial (t)A 11 .
d d n h in h in
(t)A = aij (t) = aij (t) = (t) aij = (t)A
dt dt i,j=1 i,j=1 i,j=1
Identicamente (verifique):
11
Note que (t)A e o produto do escalar (t) pela matriz constante A.
141
CAPITULO 2. EQUACOES DIFERENCIAIS ORDINARIAS
Definicao (Matriz Solucao Fundamental): Uma matriz S(t) denomina-se matriz solucao fun-
damental de (2.32) se e so se
(i) det S(t) 6= 0 para todo t I, o que significa que as colunas de S(t) sao linearmente
independentes (S(t) e nao singular) para qualquer t I;
Exemplo 1:
Considere-se a equacao vectorial
1 1
y (t) = Ay(t) sendo A = (2.33)
0 1
y = y y(t) = c1 et
d t c1 t
x x = c1 et e x = c1 e2t x(t) = e + c2 et
dt 2
Tem-se entao que a solucao geral da equacao vectorial e
c1 t t
1 t t
2 e + c2 e e e c1 def
y(t) = = 2 t = S(t)C,
c1 et e 0 c2
E agora facil de verificar que a matriz S(t) acima definida e uma matriz solucao fundamental
associada a equacao (2.33). De facto
det S(t) = 1 6= 0 t R
142
2.4. EQUACOES VECTORIAIS DE 1A ORDEM (OU SISTEMAS)
(ii) Verifica-se que yi (t) = Ayi (t), i = 1, 2 em que yi (t) representa a coluna i de S(t). De
facto, para i = 1
1 t 1 t 1 t 1 t
d 2 e 2e 1 1 2e 2e
y1 (t) = = e Ay1 (t) = =
dt et et 0 1 et et
e para i = 2
d et et 1 1 et et
y2 (t) = = e Ay2 (t) = =
dt 0 0 0 1 0 0
Observe-se que nao ha uma unica matriz solucao fundamental da equacao por exemplo,
se S(t) e uma matriz solucao fundamental qualquer matriz obtida por troca de colunas de S(t) e
tambem uma matriz solucao fundamental.
Demonstracao: (ii) e apenas outra forma de escrever a alnea (ii) da definicao de S(t).
Quanto a (i), suponhamos que existe um t I tal que S(t) e singular; isto e, para certo b
Rn \ {0}, S(t)b = 0, e derivemos uma contradicao. Como
S (t)b = A(t)S(t)b ,
Por unicidade de solucao deste PVI, y(t) 0. Conclui-se entao que S(t)b = 0 para todo o t I,
pelo que S(t) e singular para todo o t I; logo, em particular, tambem S(t0 ) e singular, o que
contradiz a hipotese.
Exemplo 2: Para obter uma matriz solucao fundamental, S(t), da equacao y = A(t)y,
podemos resolver os n problemas
y = A(t)y
com i = 1, 2, . . . n.
y(t0 ) = ei
143
CAPITULO 2. EQUACOES DIFERENCIAIS ORDINARIAS
Resulta da definicao que a matriz S(t) e invertvel para todo o t. Sendo assim
d d 1
0= S(t) S1 (t) = S (t) S1 (t) + S(t) S (t) ,
dt dt
d
pelo que S(t) dt S1 (t) = S (t) S1 (t). Desta forma:
d 1
S (t) = S1 (t)S (t) S1 (t)
dt
Atendendo a que S (t) = A(t)S(t) implica A(t) = S (t)S1 (t), entao a inversa da matriz solucao
fundamental verifica:
d 1
S (t) = S1 (t)A(t) (2.34)
dt
Temos entao que S 1 (t)y(t) = z(t) = C, com C Rn , o que nos permite concluir que:
(1) a solucao geral da equacao diferencial e y(t) = S(t)C;
(2) se y(t0 ) = y0 entao C = S 1 (t0 )y(t0 ) = S 1 (t0 )y0 , pelo que a solucao do PVI (2.35) e
y(t) = S(t)S1 (t0 )y0 .
144
2.4. EQUACOES VECTORIAIS DE 1A ORDEM (OU SISTEMAS)
Dada uma matriz solucao fundamental de y = A(t)y, pretendemos obter as solucoes da equacao
nao homogenea y = A(t)y + b(t)
h in
Teorema (Formula de Variacao das Constantes): Sendo A = aij(t) , com componentes
i,j=1
aij : I R R contnuas, b : I R Rn tambem contnua, y0 Rn e S(t) uma matriz
solucao fundamental de y = A(t)y, entao a solucao do problema de valor inicial
y = A(t)y + b(t)
(2.36)
y(t0 ) = y0
ou seja
d 1
S (t)y(t) = S1 (t)b(t) (2.38)
dt
Integrando entre t0 e t, e considerando que y(t0 ) = y0 , temos que:
Z t
1 1
S (t)y(t) S (t0 )y0 = S1 (s)b(s) ds
t0
Corolario (Formula de Variacao das Constantes para a Solucao Geral): Nas mesmas
condicoes do teorema anterior, a solucao geral da equacao
y = A(t)y + b(t)
e dada por: Z t
y(t) = S(t)C + S(t) S1 (s)b(s) ds , C Rn ; (2.39)
145
CAPITULO 2. EQUACOES DIFERENCIAIS ORDINARIAS
Rt
(onde x(s)ds representa uma primitiva da funcao vectorial x(t)).
Caso Homogeneo
Tal como anteriormente, o caso homogeneo corresponde a tomar b(t) 0 na equacao (2.40).
Vamos assim estudar a equacao
y (t) = Ay(t) (2.41)
h in
onde t R, y(t) Rn e A = aij com aij R.
i,j=1
tem por unica solucao y(t) = eat . Procedendo por analogia, definimos a exponencial de tA, que
denotamos por etA , da forma que se segue.
146
2.4. EQUACOES VECTORIAIS DE 1A ORDEM (OU SISTEMAS)
pelo que S1 (t) e tambem uma matriz solucao fundamental. (A verificacao e obvia). Uma outra
matriz solucao fundamental e:
t et et
1 e 2
X(t) = S(t)S (0) =
0 et
Note que a exponencial da matriz tA, X(t), tem uma propriedade importante e a unica matriz
solucao fundamental que verifica X(0) = I.
dy d t
= e v = et v = et Av = A et v = Ay(t).
dt dt
Tendo em conta que
tomando a parte real e a parte imaginaria de ambos os membros desta igualdade obtem-se u = Au
e u = Au.
147
CAPITULO 2. EQUACOES DIFERENCIAIS ORDINARIAS
valores proprios associados, podemos construir uma matriz solucao fundamental e da obter
eAt colocando nas colunas de S as solucoes de y = Ay dadas pela proposicao anterior; isto e:
e1 t v1 , e2 t v2 , . . . , en t vn .
X0 (t) = I
Z t
Xn+1 (t) = I + AXn (s) ds para n N
t0
X0 (t) = I
Z t
X1 (t) = I + A ds = I + tA
t0
Z t t Z t Z
2
t2
X2 (t) = I + A + sA ds = I + A ds + sA2 ds = I + tA + A2
t0 t0 t0 2
Z t 2 2 3
s t t
X3 (t) = I + A + sA2 + A3 ds = I + tA + A2 + A3
t0 2 2! 3!
Esta formula e analoga a que define a serie de Maclaurin da funcao exponencial, eat =
P (at)k
k=0 k! , para a, t R. No nosso caso trata-se de uma serie de potencias de matrizes onde,
em cada termo, aparece tA no lugar de ta. Isto leva-nos a conjecturar o seguinte:
12
Se A e uma matriz real, entao A = A. Se (, v) e um par valor proprio, vector proprio (complexo) de A,
entao (, v) e tambem um par valor proprio, vector proprio de A, pois Av = Av = Av = v = v. Neste caso,
Re et v = Re et v e Im et v = Im et v. Por cada par de vectores proprios conjugados, v e v, produzem-se
desta forma duas (nao quatro!) funcoes reais linearmente independentes, Re et v e Im et v.
13
Pode-se facilmente provar este resultado por inducao. No entanto, neste contexto isso sera desnecessario, pois
estamos apenas a usar as iteradas de Picard para formular uma conjectura cuja veracidade sera depois comprovada
por outro metodo.
148
2.4. EQUACOES VECTORIAIS DE 1A ORDEM (OU SISTEMAS)
Alem disso, a serie (2.43) converge uniformemente para t em intervalos do tipo [R, R] (para
qualquer R > 0) e verifica AeAt = eAt A, para todo o t R.
Demonstracao: Para provar este teorema, precisaremos em primeiro lugar de saber produzir
estimativas de matrizes. Sendo A = [aij ]ni,j=1 , consideramos:
1
|aij | kAk. (2.44)
n
De facto, esta funcao tem as propriedades de uma norma 14 ; mas vamos aqui provar apenas a
propriedade de kAk de que efectivamente precisamos.
Se B = [bij ]ni,j=1 e outra matriz real, entao as componentes do produto AB verificam:
Xn X n n
X 1 1
aik bkj |aik | |bik | 2
kAkkBk = kAkkBk
n n
k=1 k=1 k=1
1
Ou seja, o modulo de cada componente de AB e majorado pelo mesmo valor: n kAkkBk. Desta
forma:
1
kABk n kAkkBk = kAkkBk
n
Pela desigualdade anterior, kAk k kAkkAk1 k kAk2 kAk2 k kAkk , para k =
1, 2, 3, . . . . Como tambem kA0 k = kIk = 1 = kAk0 , resulta pois que:
Passamos agora a demonstracao da convergencia da serie. Para tal, basta provar que todas
as componentes da soma da serie (2.43) existem (em R).
(k)
Sendo ii = 1 e ij = 0 se i 6= j , e denotando cada componente (i, j) de Ak por aij , entao
as componentes de eAt sao as somas das series reais 15 :
k
t2 (2) tk (k) X t (k)
ij + tai,j + aij + + aij + = a com i, j = 1, 2, . . . n. (2.46)
2! k! k! ij
k=0
14
E facil provar que para quaisquer duas matrizes reais, A, B, de dimensao nn, se tem: (a) kAk = 0 A = 0;
(b) kcAk = |c| kAk, para c R; (c) kA + Bk kAk + kBk; (d) kABk kAk kBk.
15
O smbolo ij , designado na literatura por delta de Kronecker, representa as componentes da matriz identidade.
(0)
Note que aij = ij .
149
CAPITULO 2. EQUACOES DIFERENCIAIS ORDINARIAS
Vamos agora provar a convergencia uniforme destas series, para t num intervalo do tipo
[R, R], com R > 0. Para |t| R, e usando (2.44) e (2.45), podemos majorar cada um dos
termos das series anteriores como se segue:
k k
t (k) |t|k (k) Rk (k) Rk kAk k Rk kAkk kAkR
a =
k! ij a a =
k! ij k! ij k! n k! n n k!
Assim sendo:
d tA
e = A etA = etA A
dt
Note tambem que e0A = I. Isto conclui a demonstracao do teorema.
Dado t R e A Mni,j=1 (R), listamos aqui algumas das propriedades de eAt = etA :
(b) S(t) = eAt e a unica matriz solucao fundamental de y = Ay que verifica S(0) = I.
150
2.4. EQUACOES VECTORIAIS DE 1A ORDEM (OU SISTEMAS)
eAt B = BeAt
Demonstracao:
eAt eAt = eA 0 eA 0 = I 2 = I.
(e) (Exerccio)
(f) Considere X(t) = eAt eBt . Entao X(0) = I e (usando (e)):
X (t) = AeAt eBt + eAt BeBt = AeAt eBt + BeAt eBt = (A + B)eAt eBt = (A + B)X(t).
151
CAPITULO 2. EQUACOES DIFERENCIAIS ORDINARIAS
se A e diagonalizavel entao A = SS 1
em que
1 0 ... 0
0 2 ... 0
| ... |
=
.
e S = v1 ... vn
. | ... |
0 0 ... n
sendo 1 , ..., n os valores proprios de A e v1 , ..., vn os correspondentes vectores proprios.
Nao e dficil de demonstrar que para matrizes A e B semelhantes, se tem
Observacoes:
Como consequencia dos teoremas anteriores, dado que a matriz eAt e uma matriz
solucao fundamental da equacao y = Ay, a sua solucao e da forma y(t) = eAt C, com
C Rn . Atendendo a que eAt = Set S 1 , entao
pelo que a matriz S(t) = Set e tambem uma matriz solucao fundamental associada
a equacao. No entanto, a nao ser que a matriz S seja a matriz identidade, S(t) nao e
a matriz eAt , visto que S(0) nao e a matriz identidade.
Dada qualquer matriz A, como vimos a matriz eAt e a unica matriz solucao fundamental
associada a equacao y = Ay, S(t), que verifica S(0) = I.
Conhecida qualquer matriz solucao fundamental, S(t), associada a equacao y = Ay,
tem-se que
eAt = S(t)S1 (0)
Exemplo 1
152
2.4. EQUACOES VECTORIAIS DE 1A ORDEM (OU SISTEMAS)
Os valores proprios da matriz A sao 2 (pelo que podemos concluir desde ja que a matriz
A e diagonalizavel).
O vector proprio associado ao valor proprio 1 = 2 e uma solucao nao nula da equacao
1 1 a
(A 2I)v = 0 =0 a=b
3 3 b
pelo que podemos escolher, por exemplo v1 = (1, 1).
O vector proprio associado ao valor proprio 2 = 2 e uma solucao nao nula da equacao
3 1 a
(A + 2I)v = 0 = 0 b = 3a
3 1 b
pelo que podemos escolher, por exemplo v2 = (1, 3). Assim teremos
1 1 1 2 0
A = SS = S 1
1 3 0 2
pelo que
At t 1 1 1 1 e2t 0 3 1 1 3e2t + e2t e2t e2t
e = Se S = 2t =
4 1 3 0 e 1 1 4 3e2t 3e2t e2t + 3e2t
Calculada a matriz eAt , a solucao do PVI e
2t
At x(t) 1 3e2t + e2t e2t e2t 0 1 e e2t
y(t) = e y(0) = =
y(t) 4 3e2t 3e2t e2t + 3e2t 1 4 e2t + 3e2t
Tal como foi observado, a matriz
2t 2t
t 1 1 e 0 e e2t
Se = =
1 3 0 e2t e2t 3e2t
e tambem uma matriz solucao fundamental, pelo que poderamos escrever a solucao geral
da equacao 2t
x(t) e e2t c1
=
y(t) e2t 3e2t c2
e a posteriori calcular as constantes c1 , c2 de modo a que seja verificada a condicao inicial (o
que na pratica corresponde a determinar a matriz S 1 e multiplica-la pela condicao inicial).
153
CAPITULO 2. EQUACOES DIFERENCIAIS ORDINARIAS
Exemplo:
A matriz
1 0 0 0 0 0
0 1 2 0 0 0
0 2 3 0 0 0
A=
0 0 0 1 3 0
0 0 0 3 2 1
0 0 0 1 1 1
e uma matriz diagonal por blocos A1 , A2 , A3 , em que
1 3 0
1 2
A1 = 1 , A2 = , A3 = 3 2 1
2 3
1 1 1
154
2.4. EQUACOES VECTORIAIS DE 1A ORDEM (OU SISTEMAS)
Bloco de Jordan
Exemplo:
0 1 0 0
2 1 0
2 1 1 0 0 1 0
J1 = ; J23 = 0 2 1
; 4
J0 =
0 1 0 0 0 1
0 0 2
0 0 0 0
155
CAPITULO 2. EQUACOES DIFERENCIAIS ORDINARIAS
Exemplo:
exp J04 t = 0 1 t t2
0 0 1 t
0 0 0 1
Exponencial de uma matriz nao diagonalizavel
(A i I)viG2 = viG1
(A i I)viG3 = viG2 . . .
16
A lista de valores proprios, 1 , . . . k , pode conter repeticoes. Nesse caso se, por exemplo, 2 = 1 (e j 6= 1 ,
para j 3) entao 1 tem dois vectores proprios associados linearmente independentes, v1 e v2 (multiplicidade
geometrica igual a 2) e m1 + m2 e a multiplicidade algebrica de 1 .
156
2.4. EQUACOES VECTORIAIS DE 1A ORDEM (OU SISTEMAS)
Exemplo:
Determinar eAt sendo
2 0 1
A = 0 3 1
0 1 1
Dado que a matriz nao e nem diagonal, nem um bloco de Jordan (ou afim) nem diagonal por
blocos, teremos que determinar eAt pelo processo usual de calculo de valores e vectores proprios.
Os valores proprios de A sao as solucoes de
det(A I) = 0 ( + 2)3 = 0
Tem-se entao que 2 e o valor proprio de A com multiplicidade algebrica 3. Note-se que so depois
de calcular a sua multiplicidade geometrica (numero de vectores proprios linearmente independen-
tes associado a 2) poderemos concluir se A e diagonalizavel (se a multiplicidade geometrica
for 3) ou nao diagonalizavel (se a multiplicidade geometrica for 2 ou 1). Os vectores proprios
associados a 2 sao as solucoes nao nulas de
0 0 1 a 0
b=c=0
(A + 2I)v = 0 0 1 1 b = 0
aR
0 1 1 c 0
Entao
v = (a, b, c) = (a, 0, 0) = a(1, 0, 0)
Conclui-se que a multiplicidade geometrica do valor proprio e 1, ou seja admite apenas um vector
proprio independente, que por exemplo pode ser v = (1, 0, 0). Sendo assim a matriz A e nao
diagonalizavel, pelo que e semelhante a uma matriz formada por um unico bloco de Jordan, ou
seja:
A = SJS 1
em que
2 1 0 1 | |
J = 0 2 1 e S = 0 v1 v2
0 0 2 0 | |
sendo v1 e v2 vectores proprios generalizados de v. O primeiro vector proprio generalizado e
solucao nao nula de
0 0 1 a 1 c=1
(A + 2I)v1 = v 0 1 1 b = 0
b = 1
0 1 1 c 0 aR
Entao
v1 = (a, b, c) = (a, 1, 1) = a(1, 0, 0) + (0. 1, 1)
Podemos entao escolher, por exemplo, v1 = (0. 1, 1). O segundo vector proprio generalizado e
solucao nao nula de
0 0 1 a 0 c=0
(A + 2I)v2 = v1 0 1 1 b = 1
b=1
0 1 1 c 1 aR
157
CAPITULO 2. EQUACOES DIFERENCIAIS ORDINARIAS
Entao
v1 = (a, b, c) = (a, 1, 0) = a(1, 0, 0) + (0.1, 0)
Podemos entao escolher, por exemplo, v2 = (0.1, 0). Em consequencia
1 0 0
S = 0 1 1
0 1 0
e finalmente
t2 t2
1 2 t + 2
eAt = SeJt S 1 = e2t 0 t + 1 t
0 t t+1
Aplicando a formula (2.39), conclumos que a solucao geral da equacao (2.48) e dada por
Z t
At At
y(t) = e C + e eAs b(s) ds , C Rn
Se adicionalmente for dada a condicao inicial y(t0 ) = y0 , a solucao do PVI sera neste caso dada
por Z t
y(t) = eA(tt0 ) y0 + eAt eAs b(s) ds
t0
para todo t I.
Exemplo:
158
2.5. EQUACOES LINEARES DE ORDEM N
em que
2 0 1 1
A = 0 3 1 , b(t) = 0
0 1 1 2e2t
Recorrendo ao resultado do exemplo anterior
t2 2
1 2 t + t2
eAt = e2t 0 t + 1 t
0 t t+1
Uma solucao desta equacao e uma funcao y : I R de classe C n que a satisfaz. Aqui, I R
denota um intervalo aberto.
Uma equacao de ordem n N diz-se linear se e da forma
onde a0 (t), a1 (t),..., an1 (t) e b(t) sao funcoes reais definidas e contnuas em I.
159
CAPITULO 2. EQUACOES DIFERENCIAIS ORDINARIAS
Fazendo y = v (o que implica que v = y), verificamos que a equacao (2.50) e equivalente ao
sistema de duas equacoes de 1a ordem:
(
y = v
v = a0 (t) y a1 (t) v + b(t)
ou seja,
y = A(t)y + h(t),
em que A(t) se designa por matriz companheira da equacao (2.50).
A equacao linear homogenea de 2a ordem e a equacao (2.50) no caso especial b(t) = 0, isto
e:
y + a1 (t) y + a0 (t) y = 0 (2.51)
Como vimos, esta equacao e equivalente a:
y 0 1 y
=
v a0 (t) a1 (t) v
| {z } | {z } | {z }
y A(t) y
Aplicando agora a teoria, apresentada na seccao anterior, das equacoes vectoriais lineares, a
solucao geral de y = A(t)y e dada por:
y u1 u2 c1
=
v u1 u2 c2
| {z } | {z } | {z }
y W (t) C
160
2.5. EQUACOES LINEARES DE ORDEM N
y + a1 (t) y + a0 (t) y = 0,
entao c1 u(t)+ c2 v(t) e tambem solucao de (2.51), para quaisquer constantes (reais ou complexas)
c1 , c2 .
y + a1 y + a0 y = 0 com a0 , a1 R (2.52)
P (r) = r 2 + a1 r 1 + a0 r 0 = r 2 + a1 r + a0
dy 19 .
Vamos agora definir o operador derivada, D, por Dy = = y Entao a equacao (2.52)
dt
pode-se escrever na forma
D 2 y + a1 Dy + a0 y = 0,
que e equivalente a:
D 2 + a1 D + a0 y = 0
Eis algumas definicoes e propriedades relevantes dos operadores que iremos utilizar:
D e um operador linear i.e. D(cy1 + dy2 ) = c Dy1 + d Dy2 , onde c, d sao escalares,
y1 , y2 : I R (ou C)
19
O operador derivada e, de facto, a aplicacao D : C 1 (I) C(I) definida por Dy = y, onde I e um intervalo
aberto. Estas aplicacoes cujo domnio e um conjunto de funcoes reais (ou complexas) designam-se comunmente,
na literatura matematica, por operadores.
161
CAPITULO 2. EQUACOES DIFERENCIAIS ORDINARIAS
Notamos que o produto de operadores e, em geral, nao comutativo. Por exemplo, os opera-
dores D e Ay = f (t)y(t)
P (D) = D 2 + a1 D + a0 .
P (D) = D 2 + a1 D + a0 = (D 1 )(D 2 )
Vejamos porque. Usando a linearidade dos operadores e o facto de D comutar com o operador
produto por uma constante, cI (c R ou c C):
(D 1 )(D 2 ) = D(D 2 ) 1 (D 2 ) = D 2 D2 1 D + 1 2
= D 2 2 D1 D + 1 2 = D 2 (1 + 2 )D + 1 2
(D 1 )(D 2 )y = 0 se 1 6= 2
ea
(D 1 )2 y = 0 se 1 = 2
Vejamos agora como usar a factorizacao do polinomio diferencial para determinar a solucao
geral da equacao homogenea. Tendo em conta que D 1 e D 2 comutam 20 :
(D 1 ) (D 2 )y = 0 (D 2 ) (D 1 )y = 0
| {z } | {z }
=0 =0
162
2.5. EQUACOES LINEARES DE ORDEM N
y1 (t) = e1 t e y2 (t) = e2 t
Assim, se 1 = 2 , obtivemos estas duas solucoes (que tambem sao linearmente independentes):
Como vimos anteriormente, o espaco de solucoes da equacao (2.52) tem dimensao 2, o que
significa que a solucao geral da mesma pode ser dada por:
No caso 3, e para obter uma formula para a solucao geral real, notamos em primeiro lugar que
P (r) e um polinomio de coeficientes reais pelo que se 1 = + i (onde , R sao a parte
real e a parte imaginaria de 1 ) entao 2 = 1 = i. Entao:
Como Re e1 t e Im e1 t tambem sao solucoes de (2.52), entao duas solucoes reais linearmente
independentes sao,
Assim sendo:
163
CAPITULO 2. EQUACOES DIFERENCIAIS ORDINARIAS
Assim, duas solucoes linearmente independentes sao e2t e e2t , pelo que uma base do espaco de
solucoes de (D 2)(D + 2)y = 0 e < e2t , e2t >. Concluimos que a solucao geral da equacao
y 4y = 0 e y(t) = c1 e2t + c2 e2t , com c1 , c2 R.
(D 2 6D + 9)y = 0 (D 3)2 y = 0
e < e3t , te3t >, e a solucao geral da equacao y 6y + 9y = 0 e y(t) = c1 e3t + c2 te3t , com
c1 , c2 R.
e < et cos t, et sen t >. Desta forma, a solucao geral da equacao y + 2y + 2 = 0 e dada por
y(t) = c1 et cos t + c2 et sen t, com c1 , c2 R.
onde a0 (t), a1 (t),..., an1 (t) e b(t) sao funcoes reais definidas e contnuas em I. Considera-se:
def
y = (y0 , y1 , y2 , . . . , yn2 , yn1 ) = (y, y , y , . . . , y (n2) , y (n1) )
164
2.5. EQUACOES LINEARES DE ORDEM N
onde A(t) e a matriz companheira da equacao (2.54). Assim, a equacao de ordem n e equivalente
a equacao vectorial de 1a ordem:
y = A(t)y + h(t)
y = X(t)C
Como as colunas de X(t) sao solucoes linearmente independentes de y = A(t)y, entao X(t) e
uma matriz solucao fundamental de y = A(t)y se e so se X(t) e uma matriz wronskiana de n
solucoes linearmente independentes de
D n (y yP ) + an1 D n1 (y yP ) + a1 D(y yP ) + a0 (y yP )
= D n y + an1 D n1 y + a1 Dy + a0 y D n yP + an1 D n1 yP + a1 DyP + a0 yP
| {z } | {z }
=b(t) =b(t)
= b(t) b(t) = 0
Isto significa que a diferenca y(t) yP (t) e uma solucao da equacao homogenea; o que sugere a
solucao geral da equacao nao homogenea (2.54) e da forma
165
CAPITULO 2. EQUACOES DIFERENCIAIS ORDINARIAS
em que yG (t) e a solucao geral da equacao homogenea associada e yP (t) e uma solucao particular
da equacao nao homogenea. Ora
D n (yG + yP ) + an1 D n1 (yG + yP ) + a1 D(yG yP ) + a0 (yG yP )
= D n yG + an1 D n1 yG + a1 DyG + a0 yG + D n yP + an1 D n1 yP + a1 DyP + a0 yP
| {z } | {z }
=0 =b(t)
= 0 + b(t) = b(t)
o que mostra que y(t) = yG (t) + yP (t) e, de facto, a solucao geral da equacao nao homogenea.
Isto sugere que a solucao geral destas equacoes possa ser obtida a partir de uma combinacao
linear de solucoes apropriadamente escolhidas. Como vimos, a equacao (2.55) e uma equacao de
ordem n com b(t) 0 (isto e, homogenea), pelo que e equivalente a
y = A(t)y
onde
0 1 0 0
0 0 1 0
A(t) = .. .. .. ..
. . . .
0 0 0 1
a0 (t) a1 (t) a2 (t) an1 (t)
e a matriz companheira de (2.55). Pela teoria das equacoes vectoriais lineares, o espaco de solucoes
da equacao X = A(t)X, tem dimensao n, pelo que existem n solucoes linearmente independentes,
X1 , ..., Xn . As funcoes X1 , ..., Xn sao as colunas de uma matriz solucao fundamental de y =
A(t)y ou, equivalentemente, de uma matriz wronskiana de n solucoes linearmente independentes
da equacao homogenea (2.55). Como tal, a solucao geral de X = A(t)X e da forma
X(t) = c1 X1 (t) + + cn Xn (t) , c1 , ...cn R
ou seja
y y1 y2 yn
y
y1
y2
yn
.. = c1 .. +c2 .. + + cn ..
. . . .
(n1) (n1) (n1)
y (n1) y1 y2 yn
| {z } | {z } | {z } | {z }
X(t) X1 (t) X2 (t) Xn (t)
21
E de notar que esta propriedade e verificada por todas as equacoes lineares homogeneas (diferenciais ou de
outro tipo).
166
2.5. EQUACOES LINEARES DE ORDEM N
Dado que a solucao da equacao P (D)y = 0 e apenas a primeira componente de X(t), ou seja, y,
entao a solucao geral da equacao homogenea P (D)y = 0 e uma combinacao linear das primeiras
componentes das funcoes vectoriais X1 , ..., Xn , ou seja, de y1 , y2 , , yn .
Podemos entao concluir que o espaco das solucoes da equacao
em que 1 , ... , n sao constantes (reais ou complexas) e y1 ,..., yn sao n solucoes linearmente
independentes da equacao homogenea.
O seguinte resultado estabelece uma relacao entre os valores proprios da matriz companheira, A,
e as razes do polinomio caracterstico de (2.56):
Este resultado sugere uma relacao entre as razes de P (R) e as solucoes da equacao ho-
mogenea. Para obter essas solucoes vamos recorrer a factorizacao de P (R).
Admitindo que as razes de P () sao:
1 com multiplicidade m1
2 com multiplicidade m2
.. ..
. .
k com multiplicidade mk
167
CAPITULO 2. EQUACOES DIFERENCIAIS ORDINARIAS
entao
P (R) = (R 1 )m1 (R 2 )m2 (R k )mk ,
onde, tendo em conta que o grau de P (R) e n,
m1 + m2 + . . . + mk = n.
Tal como no caso das equacoes de ordem 2, o polinomio diferencial factoriza-se da mesma forma
que P (R):
P (D) = (D 1 )m1 (D 2 )m2 (D k )mk
Como D i comuta com D j , pode-se trocar a ordem dos factores. Entao as solucoes de
(D j )mj y = 0 com j = 1, 2, . . . , k
sao solucoes de P (D)y = 0.
Para mj = 1, obtivemos a solucao ej t .
No caso mj = 2, obtivemos duas solucoes linearmente independentes:
ej t , tej t
Para o caso geral, e util o seguinte resultado.
Caso 1: j R. Entao
ej t , tej t , t2 ej t ... , tmj 1 ej t
sao mj solucoes (reais) linearmente independentes.
Caso 2: j = j + ij C. Isto implica que j = j ij tambem e raiz de P (R). Neste
caso, obtem-se 2mj solucoes linearmente independentes,
ej t , tej t , t2 ej t ... , tmj 1 ej t
ej t , tej t , t2 ej t ... , tmj 1 ej t .
Porem, estas solucoes sao complexas.
168
2.5. EQUACOES LINEARES DE ORDEM N
O numero total de solucoes reais linearmente independentes obtidas pelo procedimento anterior
e igual ao numero de razes, contando as multiplicidades, do polinomio caracterstico; ou seja,
igual a:
m1 + m2 + + mk = n
Este procedimento permite assim obter uma base para o espaco de solucoes da equacao homogenea
(2.56) constituida apenas por funcoes reais.
Exemplo 1:
Consideremos a equacao
P (R) = R6 + R5 + R4 + R3 = R3 (R3 + R2 + R + 1)
= R3 (R + 1)(R2 + 1) = R3 (R + 1)(R i)(R + i)
e0t ,
|{z} te0t
|{z} , 2 0t
t|{z}
e
1 t t2
= 1, com multiplicidade 1
et
= i, com multiplicidade 1
169
CAPITULO 2. EQUACOES DIFERENCIAIS ORDINARIAS
com c1 , c2 , . . . , c6 R.
Para obter um problema bem posto (onde a solucao existe e e unica), sera necessario prescrever
o valor da solucao e das suas derivadas ate a ordem n 1, num ponto t0 R:
O problema de valor inicial para uma equacao de ordem n tem, entao, a forma:
(n)
y + an1 y (n1) + . . . + a1 y + a0 y = b(t)
y(t0 ) = y0,0 , y (t0 ) = y0,1 , . . . , y (n1) (t0 ) = y0,n1
y(t) = 1 + t.
Exemplo 2:
Determinar a solucao geral da equacao
y + 4y + 4y = 0 (2.57)
170
2.5. EQUACOES LINEARES DE ORDEM N
Exemplo 3:
Determinar a solucao do PVI
Comecemos por determinar a solucao geral da equacao. Fazendo y = Dy, a equacao pode ser
escrita na forma
Uma solucao da equacao (D + 6)y = 0 e e6t . Por outro lado a equacao (D + 2)y = 0 tem como
solucao e2t . Como tal a solucao geral da equacao e dada por
comecamos por discutir o metodo mais geral, e que consiste na aplicacao da formula da variacao
das constantes (2.39). Em teoria, este metodo e aplicavel a todos os problemas em que h(t)
e somente uma funcao contnua. Na pratica, contudo, pode nao ser facil obter uma formula
explcita por primitivacao (e invocando apenas funcoes elementares).
Como vimos, a equacao nao homogenea de ordem n pode ser escrita como a equacao vectorial
de ordem 1:
y y 0
y y 0
y y 0
d
. = A . + . (2.60)
dt
.
. .
. . .
y (n1) y (n1) h(t)
171
CAPITULO 2. EQUACOES DIFERENCIAIS ORDINARIAS
em que
0 1 0 ... 0
0 0 1 .... 0
A=
...
0 0 0 ... 1
a0 a1 a2 ... an1
e a ja referida matriz companheira da equacao (2.59). Sendo y1 ,...,yn solucoes linearmente
independentes da equacao homogenea associada (conforme foram determinadas na subseccao
anterior), a sua matriz Wronskiana e
y1 ... yn
y1 ... yn
W (t) =
. ... .
. ... .
(n1) (n1)
y1 ... yn
Como as colunas da matriz W (t) sao solucoes linearmente independentes da equacao homogenea
associada a (2.60), a matriz W (t) e uma matriz solucao fundamental da equacao vectorial (2.60)
pelo que, por aplicacao da formula da variacao das constantes para equacoes vectoriais, tem-se
que uma solucao particular de (2.60) sera dada por
y 0
y
0
y
Z t
0
1
. = W (t)
W (s)
. ds ,
.
.
. .
y (n1) h(s)
Exemplo:
Determinar a solucao geral da equacao
y + 2y + 2y = 2et (2.61)
172
2.5. EQUACOES LINEARES DE ORDEM N
Calculo de yG
Como foi referido, yG e a solucao de
y + 2y + 2y = 0
Calculo de yP
Para determinar yP vamos utilizar a formula da variacao das constantes. Comecamos por
observar que et cos t e et sen t sao solucoes da equacao homogenea, e como tal uma
matriz Wronskiana e dada por:
t
e cos t et sen t et cos t et sen t
W (t) = =
(et cos t) (et sen t) et (cos t + sen t) et ( sen t + cos t)
Assim Z
0
yP (t) = et cos t et sen t W 1 (t) dt = 2et
2et
que e bastante mais eficiente que o anterior. Contudo, este metodo e apenas aplicavel nos casos
em que o termo nao homogeneo, b(t), e uma funcao da forma
PA (D) = (D )p+1
173
CAPITULO 2. EQUACOES DIFERENCIAIS ORDINARIAS
O metodo dos coeficientes indeterminados para resolver a equacao P (D)y = b(t) consiste em:
1. Determinar o polinomio aniquilador, PA (D), de b(t). Seja k o seu grau.
2. Aplicar PA (D) a ambos os membros da equacao inicial, donde resulta:
P (D)y = b(t) PA (D)P (D)y = PA (D)b(t) PA (D)P (D)y = 0
Note que a aplicacao de PA (D) nao produz uma equacao equivalente a inicial. Embora
qualquer solucao de P (D)y = b(t) seja solucao de PA (D)P (D)y = 0, nem todas as solucoes
da segunda equacao resolvem a primeira.
Assim obtivemos uma equacao diferencial linear homogenea de coeficientes constantes de
ordem n + k.
3. A solucao geral da equacao PA (D)P (D)y = 0 e dada por
y(t) = 1 y1 + ... + n yn + 1 w1 + ... + p wp
em que y1 , ..., yn sao as solucoes linearmente independentes da equacao P (D)y = 0
determinadas previamente, ou seja:
yG (t) = 1 y1 + ... + n yn
Tem-se entao que existem 1 , ..., k R tais que
yP = 1 w1 + ... + p wp
e uma solucao particular de P (D)y = b(t).
4. Determinam-se os coeficientes 1 , ..., p de modo a que w = 1 w1 + ... + p wp verifique
P (D)w = b(t).
Exemplo:
Determinar a solucao do PVI
y + 3y + 2y = ex , y(0) = 0 , y (0) = 1 (2.64)
A solucao da equacao diferencial e da forma
y(x) = yG (x) + yP (x)
em que yG e a solucao geral da equacao homogenea associada, e yP e uma solucao particular da
equacao completa.
Calculo de yg
A equacao homogenea associada e
y + 3y + 2y = 0
Fazendo y = Dy, obtem-se
(D 2 + 3D + 2)y = 0 (D + 1)(D + 2)y = 0 (D + 1)y = 0 ou (D + 2)y = 0
Uma solucao da equacao (D + 1)y = 0 e ex . Por outro lado a equacao (D + 2)y = 0 tem
como solucao e2x . Como tal
yG (x) = c1 ex + c2 e2x , c1 , c2 R
174
2.5. EQUACOES LINEARES DE ORDEM N
Calculo de yP
Dado que b(x) = ex , podemos utilizar o metodo dos coeficientes indeterminados para
determinar a solucao particular yP . O polinomio aniquilador de b(x) e
PA (D) = D + 1
ou seja,
(D + 1)2 (D + 2)y = 0
A solucao geral desta ultima equacao (que e homogenea) e:
175
CAPITULO 2. EQUACOES DIFERENCIAIS ORDINARIAS
h in
com Y Rn , A = aij (t) , aij R, procurando reduzi-la a uma equacao linear homogenea
i,j=1
de ordem n equivalente.
A equacao vectorial linear de coeficientes constantes, homogenea, pode ser escrita na forma
y1 (t) = a11 y1 (t) + ... + a1n yn (t)
.. .. ..
. . .
yn (t) = an1 y1 (t) + ... + ann yn (t)
Usando o metodo de substituicao, esta equacao pode ser reduzida a uma equacao de ordem n,
linear, de coeficientes constantes, homogenea, onde a sua variavel dependente e precisamente uma
das componentes yi de Y (para algum i {1, . . . , n}).
Exemplo 1:
Dada a matriz
2 4 0
A = 1 2 0
1 2 0
vamos atraves da resolucao de equacoes homogeneas escalares de ordem n de coeficientes
constantes determinar a matriz eAt e a solucao do (PVI):
x = 2x + 4y
y = x 2y , x(0), y(0), z(0) = (1, 1, 1)
z = x + 2y
Comecemos por determinar uma matriz solucao fundamental associada ao sistema (que e ho-
mogeneo). A partir da 1a equacao,
x 2x
x = 2x + 4y y= .
4
x 2x
Substituindo y por 4 na segunda equacao, obtemos:
x 2x x 2x
y = x 2y = x 2 x = 0 x(t) = c1 + c2 t
4 4
Assim Z
x 2x c2 2c1 2c1 t c2 t
y(t) = = e z= (x + 2y)dt = + c3
4 4 2
Entao
x(t) c1 + c2 t 1 t 0 c1
c2 2c1 2c1 t = 1 1 t
y(t) =
4 2 4 2 0 c2
c2 t t
z(t) 2 + c3 0 2 1 c3
A matriz
1 t 0
S(t) = 12
1
4 t
2 0
t
0 2 1
176
2.5. EQUACOES LINEARES DE ORDEM N
e uma matriz solucao fundamental associada ao sistema mas nao e eAt (dado que para t = 0 nao
iguala a matriz identidade. Tem-se que
1
1 t 0 1 0 0 1 + 2t 4t 0
eAt = S(t)S 1 (0) = 12 14 2t 0 12 41 0 = t 1 2t 0
t
0 2 1 0 0 1 t 2t 1
Exemplo 2:
Determinar a solucao geral da equacao
1 3
Y = Y
3 1
x 2x + 10x = 0 (D 2 2D + 10)x = 0
177
CAPITULO 2. EQUACOES DIFERENCIAIS ORDINARIAS
Exemplo 3:
Vamos agora determinar a solucao geral da equacao
2 0 0 x = 2x
Y = 0 2
1 Y
y = 2y + z
0 0 2 z = 2z
Neste caso nao vamos conseguir reduzir o sistema a uma equacao de ordem 3 em qualquer uma
das variaveis, consequencia de nas duas ultimas equacoes nao ha dependencia em x e na primeira
nao haver dependencia nas variaveis y e z. No entanto conseguiremos aplicar o metodo aos
sub-sistemas
y = 2y + z
x = 2x e
z = 2z
Para o primeiro
x = 2x x(t) = c1 e2t
Para o outro sistema, podemos utilizar dois metodos: ou reduzir a uma equacao de ordem 2
(forcosamente em y) e resolve-lo como no exemplo anterior, ou como metodo alternativo que
resulta sempre que a matriz associada ao sistema e triangular, e que consiste em resolver a
equacao em z (dado que so depende de z) substituir na equacao em y (dado que, conhecida z
so depende de y). Assim
z = 2z z(t) = c2 e2t
Substituindo na equacao em y
d 2t
y = 2y + c2 e2t y 2y = c2 e2t e y = c2 y(t) = e2t (c2 t + c3 )
dt
e substituindo na equacao em x Finalmente, a solucao da equacao vectorial e dada por
c1
Y (t) = e2t c2 t + c3
c2
Por vezes usa-se a notacao L{f (t)}(s) para representar L{f }(s), em situacoes em que se designa
a funcao f pela formula que a define.
178
2.6. TRANSFORMADA DE LAPLACE
|f (t)| M et , t 0 (2.67)
para certas constantes M > 0 e R, entao a transformada de Laplace de f esta bem definida
no semi-plano complexo Re s > .
Exemplo:
Se c 0
Z Z
N
ts ts ets ecs
L{Hc (t)}(s) = H(t c)e dt = e dt = lim = , Re s > 0
0 c N s c s
179
CAPITULO 2. EQUACOES DIFERENCIAIS ORDINARIAS
(1) Linearidade
L{f + g}(s) = L{f }(s) + L{g}(s)
e para R
L{f }(s) = L{f }(s)
Em consequencia, para quaisquer , R
dn
L{f (t)}(s) = (1)n L{tn f (t)}(s)
dsn
L{f (n) (t)}(s) = f (n1) (0) sf (n2) (0) sn2 f (0) sn1 f (0) + sn L{f (t)}(s)
Demonstracao:
180
2.6. TRANSFORMADA DE LAPLACE
= L{tf (t)}(s)
(5) Integrando por partes (e atendendo a que, por hipotese, Re s > 0):
Z Z
st st
L{f (t)}(s) = e f (t) dt = e f (t) 0 + s
est f (t) dt = f (0) + sL{f (t)}(s)
0 0
Exemplos
a) Para b R, e usando a linearidade da transformada de Laplace:
eibt + eibt 1 1 1 s
L{cos(bt)}(s) = L{ }(s) = + = 2 , Re s > 0
2 2 s ib s + ib s + b2
eibt eibt 1 1 1 b
L{sen(bt)}(s) = L{ }(s) = = 2 , Re s > 0
2i 2i s ib s + ib s + b2
b) Para a e b R, e usando a propriedade da translacao da transformada de Laplace:
s+a
L{eat cos(bt)}(s) = L{cos(bt)}(s + a) = , Re s > a
(s + a)2 + b2
b
L{eat sen(bt)}(s) = L{sen(bt)}(s + a) = , Re s > a
(s + a)2 + b2
181
CAPITULO 2. EQUACOES DIFERENCIAIS ORDINARIAS
dn n!
L{tn eat }(s) = (1)n L{eat
}(s) = , Re s > a
dsn (s a)n+1
n!
L{tn }(s) = , Re s > 0
sn+1
1
L{f (t)}(s) = e2s 2
= e2s L{t}(s) = L H(t 2)(t 2) (s)
s
Y (s) = L{y(t)}(s)
obtem-se
1
Y (s) = B(s) + Q(s)
P (s)
onde P (s) e o polinomio caracterstico associado a (2.68), B(s) a transformada de Laplace
de b(t) e Q(s) um polinomio de grau menor ou igual que n1. Quando as condicoes iniciais
sao nulas, Q(s) = 0.
L{y(t)}(s) = Y (s).
Em consequencia:
y(t) = L1 {Y (s)}(t)
Diz-se que y(t) e a transformada de Laplace inversa de Y (s). Utilizando este metodo,
obtem-se a solucao, y(t), do PVI (2.68).
182
2.6. TRANSFORMADA DE LAPLACE
Exemplo:
2 n 2 o
L {b(t)} (s) = L t2 (s) L H(t 1)t2 (s) = 3 L H(t 1) (t 1) + 1) (s)
s
2 2
= 3 es L (t + 1)2 (s) = 3 es L t2 + 2t + 1 (s)
s s
2 2 2 1
= 3 es + +
s s3 s2 s
2 1
s 2 2
L {y + y} (s) = L {y} (s) + L {y} (s) = e + +
s3 s3 s2 s
2 1
s 2 2
y(0) sy(0) + s2 L {y} (s) + L {y} (s) = e + +
s3 s3 s2 s
Usando a notacao Y (s) = L {y(t)} (s), e atendendo a que y(0) = y(0) = 0, tem-se entao
2 1
s 2 2
(s2 + 1)Y (s) = e + + ,
s3 s3 s2 s
ou seja,
1 2 s 2 2 1
Y (s) = e + + .
s2 + 1 s3 s3 s2 s
183
CAPITULO 2. EQUACOES DIFERENCIAIS ORDINARIAS
2 0 2 2s + 0
F1 (s) = + 2+ 3+ 2
s s s s +1
2 d2 1 s
= + 2 +2 2
s ds s s +1
= es L 1 + 2t + t2 + cos t 2 sen t (s)
n o
= L H(t 1) 1 + 2(t 1) + (t 1)2 + cos(t 1) 2 sen(t 1) (s)
Conclui-se que
n o
Y (s) = L 2 + t2 + 2 cos t H(t 1) 1 + 2(t 1) + (t 1)2 + cos(t 1) 2 sen(t 1) (s)
(t) = 0 t R \ {0}
Z
(x) dx = 1
184
2.6. TRANSFORMADA DE LAPLACE
Se f e contnua em t = 0 entao:
Z
(t)f (t) dt = f (0)
Desta forma: Z
L {c (t)} = c (t)est dt = ecs .
Exemplo:
o que e equivalente a
(s2 + 2s + 1)Y (s) = 2e2s ,
ou seja
2 t n o
Y (s) = e2s = e2s
L 2te (s) = L 2H(t 2)(t 2)e(t2)
(s)
(s + 1)2
185
CAPITULO 2. EQUACOES DIFERENCIAIS ORDINARIAS
Entao
n
X
f (t) = Res est F (s), sj (2.70)
j=1
Im s
R
+ i R2 2
s1
sn
s
IR IR
Re s
s2
sn1
s3
+
R
i R 2
2
Sejam
+
R = {s C : |s| = R e Re s }
R = {s C : |s| = R e Re s }
as curvas de Jordan:
+ +
R = R + (IR ) ,
R = R + I R
186
2.6. TRANSFORMADA DE LAPLACE
A transformada de Laplace de f (nos pontos s C onde o limite que define o integral improprio
converge) sera entao dada por:
Z Z !
N
2i L {f (t)} (s) = lim est ezt F (z) dz dt.
N 0
R
pelo que, para esses valores de s, o limite que define L {f (t)} (s) existe e:
Z
F (z)
2i L {f (t)} (s) = dz.
z s
R
Considera-se agora R suficientemente grande, de tal forma que para alem das sigularidades
s1 , s2 , . . . , sn tambem s esta no interior da circunferencia |z| = R, e a estimativa (2.69) e
valida para |z| = R (ou seja, R R). Aplicando a formula integral de Cauchy a curva + R e a
funcao F (que e analtica nessa curva e no seu interior):
Z Z Z
F (z) F (z) F (z)
2i L {f (t)} (s) = dz dz + 2i F (s) = 2i F (s) dz.
z s + z s
R R |z|=R s
z
| {z }
=0
Como:
Z Z Z
F (z) |F (z)| M/R 2RM
dz |dz| |dz| = 0
|z|=R z s |z|=R |z s| R |s| |z|=R R (R |s|)
ou seja,
L {f (t)} (s) = F (s).
187
CAPITULO 2. EQUACOES DIFERENCIAIS ORDINARIAS
.
Este teorema de inversao pode ser util quando F (s) e uma funcao racional, isto e, F (s) = PQ(s)
(s)
,
onde P (s) e Q(s) sao polinomios. Neste caso, e como vimos na subseccao 1.10.3, basta que o
grau de Q(s) seja maior que o de P (s) para a condicao (2.69) seja satisfeita.
Exemplo 1:
s+1
Determinar a transformada de Laplace inversa de F (s) = .
s2 +s6
s+1
Como s2 + s 6 = (s + 3)(s 2), est F (s) = est (s+3)(s2) tem por singularidades s = 2 e
2
s = 3, sendo ambas polos simples. Note que o grau de s + s 6 e maior que o de s 1. Pelo
teorema de inversao da transformada de Laplace:
1 1 s+1
L {F (s)} = L = Res est F (s), 2 + Res est F (s), 3
(s + 3)(s 2)
Exemplo 2:
Sendo F (s) uma funcao que verifica as condicoes do teorema de inversao da transformada de
Laplace, provar que
Z +i
1 1
f (t) = L {F (s)}(t) = est F (s) ds para t > 0. (2.72)
2i i
Notamos em primeiro lugar que a equacao (2.71) e valida para qualquer R muito grande;
tomando o limite em ambos os membros de (2.71) quando R , entao:
Z Z ! Z Z
+i
st st
2if (t) = lim e F (s) ds + e F (s) ds = est F (s) ds + lim est F (s) ds
R IR
R i R
R
R
Resta provar que limR
R est F (s) ds = 0.
188
2.6. TRANSFORMADA DE LAPLACE
A curva R e o arco de circunferencia parametrizado por s() = Rei , com 2 3
2 +
e = arctg R22 . Podemos escrever R 1 + S + C 2 22 onde o parametro satisfaz:
= CR R R
1 ;
2 < < 2 para z() CR
3
2 << 2 para z() SR ;
3 3 2 .
2 << 2 + para z() CR
1 + C 2 , tendo em conta que ets = et Re s et para
Para estimar os integrais ao longo de CR R
s R : Z
M et Z M et
st
e F (s) ds |ds| = 2R||
C +C +
R R
R CR +CR+ R
Como | arctg x| |x|, entao R|| = R arctg R22 R R|| = ||2 2 , pelo que:
2 2
1 /R
Z
2M et ||
est F (s) ds
p 0 quando R
C +C + R 1 2 /R2
R R
O integral ao longo de SR pode ser estimado usando o metodo da prova do lema de Jordan.
Em primeiro lugar,
Z Z 3
ts 2 tR cos itR sen
e |ds| = e e R d
SR 2
Z 3 Z Z
2
tR cos tR cos(+ 2 )
= e R d = e R d = etR sen R d.
2
0 0
22 1 2
A ideia desta decomposicao baseia-se no facto de os comprimentos das curvas CR e CR nao tenderem para
quando R , o que permite uma majoracao mais simples dos integrais correspondentes. Por outro lado, o
integral ao longo de SR pode ser estimado pelo metodo que foi usado na prova do lema de Jordan.
189
CAPITULO 2. EQUACOES DIFERENCIAIS ORDINARIAS
190
Captulo 3
O objectivo de resolver uma equacao diferencial parcial e determinar uma funcao u(x1 , ..., xn ) que
verifica uma relacao de igualdade envolvendo as suas derivadas (que serao derivadas parciais).
Centraremos o nosso estudo nas equacoes diferenciais parciais lineares de segunda ordem em
domnios (espaciais) rectangulares, em que as equacoes sao afins aos tres tipos seguintes:
Equacao do Calor
u 2u 2u
=K + ... +
t x21 x2n
em que t > 0, x1 [0, L1 ],..., xn [0, Ln ], e K > 0 e a condutividade termica do material.
Este tipo de equacoes esta associado a processos envolvendo conducao termica e difusao1 .
Equacao de Laplace
2u 2u
+ ... + =0
x21 x2n
em que x1 [0, L1 ],..., xn [0, Ln ]. Este tipo de equacoes esta associado a processos
estacionarios de conducao termica e difusao, a electrostatica e ao movimento dos fludos.
Condicoes de Fronteira
Que predefinem o comportamento da funcao u na fronteira de R = [0, L1 ] ... [0, L1 ], e
que poderao ser de varios tipos:
Condicoes de Dirichlet
se definem o valor de u na fronteira de R;
1 u 2u 2u
No caso de de tratar da equacao de difusao, t
=D x2
+ ... + x2
, D > 0 e o coeficiente de difusao da
1 n
susbtancia.
191
CAPITULO 3. INTRODUCAO AS EQUACOES DIFERENCIAIS PARCIAIS
Condicoes de Neumann
se definem o valor de u
x na fronteira de R (ou seja, definem o fluxo de u na fronteira
de R);
Condicoes Iniciais
que definem o estado inicial, isto e, para a equacao do calor
u 2u
=K 2 , t > 0 , x ]0, L[
t x
sendo K > 0 a condutividade termica (ou o coeficiente de difusao). Assumiremos condicoes de
fronteira de Dirichlet homogeneas, isto e
e a condicao inicial
u(0, x) = f (x) , x ]0, L[
em que f e uma funcao seccionalmente contnua e com derivada seccionalmente contnua definida
no intervalo [0, L].
Resolveremos entao o problema de valores na fronteira e inicial
u 2u
=K 2 t > 0 , x ]0, L[
t x
u(t, 0) = u(t, L) = 0 t > 0 (3.1)
u(0, x) = f (x) x ]0, L[
Comecamos por notar que se f (x) 0 entao a solucao de (3.1) e u(t, x) 0. Se f nao e
identicamente nula entao u tambem nao o sera.
192
3.1. METODO DE SEPARACAO DE VARIAVEIS
Vamos utilizar o metodo de separacao de variaveis para determinar solucoes do problema (3.1)
da forma
u(t, x) = T (t)X(x)
Pela observacao acima feita, nem T (t) nem X(x) poderao ser identicamente nulas. Substituindo
na equacao diferencial obtem-se
2 T (t) X (x)
T (t)X(x) = K 2 T (t)X(x) T (t)X(x) = KT (t)X (x) =
t x KT (t) X(x)
Observe-se que, separadas as variaveis, pretende-se que para todos t > 0 e x ]0, L[ uma funcao
T (t) X (x)
de t ( KT (t) ) iguale uma funcao de x ( X(x) ). Para que tal se verifique e necessario que ambos
igualem uma constante, isto e, para R
T (t) X (x)
= e =
KT (t) X(x)
E conveniente notar que, se nao exigssemos condicoes de fronteira nulas, o metodo de se-
paracao de variaveis falharia neste ponto. A razao e muito simples a lei do anulamento do
produto nao seria aplicavel.
Temos entao dois problemas para resolver - correspondentes a duas equacoes diferenciais
ordinarias
X X = 0
(P1) , (P2) T = KT
X(0) = X(L) = 0
Comecamos por resolver o problema (P1). Trata-se duma equacao diferencial linear homogenea,
cuja solucao tem que verificar condicoes de fronteira nulas. Nesta situacao, a funcao nula e sempre
solucao de (P1). Existem no entanto alguns valores de para os quais essa nao e a unica solucao
de (P1).
Definicao: diz-se um valor proprio de (P1), associado a funcao propria (x), sse (x) for
uma solucao nao nula de (P1).
Para continuar a nossa resolucao, teremos que encontrar os valores propios de (P1) a fim de
determinar as suas solucoes nao nulas. Assim
X X = 0 (D 2 )X = 0
193
CAPITULO 3. INTRODUCAO AS EQUACOES DIFERENCIAIS PARCIAIS
Princpio da Sobreposicao
Observa-se que, relativamente a sobreposicoes com um numero infinito de termos, sera ne-
cessario verificar adicionalmente que a serie obtida e uniformemente convergente em subconjuntos
compactos do domnio onde a equacao diferencial e satisfeita.
e solucao da equacao do calor unidimensional que verifica condicoes de fronteira de Dirichlet nulas.
Para determinar as constantes cn teremos que utilizar a condicao de fronteira u(0, x) = f (x).
Resulta entao que:
X nx
cn sen = f (x) (3.3)
n=1
L
194
3.2. SERIES DE FOURIER
Exemplo:
Determinar a serie de Fourier da funcao f : [1, 1] R definida por
se x [1, 0[
f (x) =
se x [0, 1]
2
Na maior parte das aplicacoes, f e contnua em x = L; nos casos em que a continuidade em x = L
nao se verifica, pode-se de qualquer modo alterar a definicao da funcao f de forma a que f (L) = f (L ) e
f (L) = f (L+ ).
195
CAPITULO 3. INTRODUCAO AS EQUACOES DIFERENCIAIS PARCIAIS
Concluimos que
X 2
SFf (x) = 1 (1)n sen(nx)
n
n=1
Atendendo a que, para n par, 1 (1)n = 0, os termos de ordem par da serie anterior sao nulos:
X 4
SFf (x) = sen (2k 1)x
2k 1
k=1
Dado que tanto f como f sao funcoes seccionalmente contnuas em [1, 1] o teorema anterior
permite-nos concluir que SFf (x) esta bem definida para x [1, 1]. Pela periodicidade das
funcoes sen(nx), e facil de compreender que SFf esta bem definida para todo x R e que e
periodica de perodo 2. De seguida mostra-se alguna graficos das aproximacoes da serie de Fourier
da funcao f , isto e, o grafico de alguns termos da sucessao das somas parciais
N
X 4
SN f (x) = sen (2k 1)x
2k 1
k=1
196
3.2. SERIES DE FOURIER
0
-0.9 -0.57 -0.24 0.09 0.42 0.75
1
0
-0.9 -0.57 -0.24 0.09 0.42 0.75
1
4
Grafico da funcao (S3 f )(x) = 4 sen(x) + 3 sen(3x) + 45 sen(5x)
197
CAPITULO 3. INTRODUCAO AS EQUACOES DIFERENCIAIS PARCIAIS
0
-0.9 -0.57 -0.24 0.09 0.42 0.75
1
0
-0.9 -0.68 -0.46 -0.24 -0.02 0.2 0.42 0.64 0.86
1
P12 4
Grafico da funcao (S12 f )(x) = n=1 2n1 sen((2n 1)x)
Por ser uma funcao periodica de perodo 2, em R a soma da serie de Fourier da funcao f sera
dada pela extensao periodica de perodo 2 da funcao definida em (3.5).
198
3.2. SERIES DE FOURIER
0
-0.9 -0.68 -0.46 -0.24 -0.02 0.2 0.42 0.64 0.86
N N
1 X 1 1 X ikx
DN (x) = + cos kx = + e + eikx
2 2 2
k=1 k=1
1 iN x i(N 1)x
= e +e + + eix + 1 + eix + + eiN x
2
1 iN x
= e 1 + eix + ei2x + + ei2N x
2
2N
1 iN x X ix k
= e e
2
k=0
Como o somatorio acima obtido nao e mais do que a soma dos primeiros 2N + 1 termos da serie
199
CAPITULO 3. INTRODUCAO AS EQUACOES DIFERENCIAIS PARCIAIS
1
1 iN x 1 (eix )2N +1 ei(N + 2 )x 1 ei(2N +1)x
DN (x) = e = x
2 1 eix 2ei 2 1 eix
1 1
ei(N + 2 )x ei(N + 2 )x 1 2i
= x x
2i 2 ei 2 ei 2
1 1
= sen N + 12 x
2 sen x2
sen N + 21 x
=
2 sen x2
12
10
4
-2.85 -2.5 -2.15 -1.8 -1.45 -1.1 -0.75 -0.4 -0.05 0.3 0.65 1 1.35 1.7 2.05 2.4 2.75 3.1
Seja agora f uma funcao real, seccionalmente contnua em [, ], e admitamos que f foi
periodicamente extendida a R. 3 .
3
Ou seja, dada f : [, ] R pode-se definir f (y) para qualquer y R tendo em conta que existem k Z e
def
x [, ] tais que y = x + 2k; assim sendo, considera-se que f (y) = f (x + 2k) = f (x). O que desta forma
se obtem e, como se sabe, a extensao periodica de f a R.
200
3.2. SERIES DE FOURIER
25
20
15
10
5
-1.6 1.6
N
a0 X
SN (x) = + ak cos kx + bk sen kx
2
k=1
N
!
1 R X R R
1
= 2 f (y) dy + f (y) cos ky dy cos kx + f (y) sen ky dy sen kx
k=1
Z N
!
1 1 X
= f (y) + cos ky cos kx + sen ky sen kx dy
2
k=1
Z N
!
1 1 X
= f (y) + cos k(y x) dy
2
k=1
Z
1
= f (y)DN (y x) dy
Desta forma se deduziu uma formula integral para a sucessao das somas parciais da serie de
Fourier de f :
Z Z
1 1
SN (x) = f (y)DN (y x) dy = f (x + )DN () d, (3.7)
201
CAPITULO 3. INTRODUCAO AS EQUACOES DIFERENCIAIS PARCIAIS
120
100
80
60
40
20
20
-1.6 1.6
A formula (3.7) diz-nos, grosso modo, que SN (x) e uma media ponderada de f numa
vizinhanca de x, em que R os pesos sao dados pelo nucleo de Dirichlet, DN (x). Note que a
soma dos pesos e 1 DN () d = 1 5 . Nas figuras (3.6), (3.7) e (3.8) representa-se os
graficos de DN (x) para alguns valores de N . Pode-se observar o comportamento oscilatorio do
nucleo de Dirichlet: a medida que N cresce, as oscilacoes de DN (x) aumentam em amplitude
mas concentram-se junto de x = 0. Se f for seccionalmente C 1 entao e possvel provar, a partir
da formula (3.7), que SN (x) converge da forma descrita pelo teorema da convergencia pontual
(equacao (3.4)).
X nx
Ssen f (x) = bn sen( )
L
n=1
em que
Z L
2 nx
bn = f (x) sen( )dx
L 0 L
Esta serie e obtida, efectuando a extensao mpar de f ao intervalo [L, L], e calculando a sua
serie de Fourier. Observe-se que se uma dada funcao g e mpar, os coeficientes da serie de Fourier
5
Em rigor, o primeiro integral da equacao (3.7) designa-se por convolucao de f com DN .
202
3.2. SERIES DE FOURIER
verificam: Z L
1 nx
an = g(x) cos( )dx = 0 , n 0
L L L
Z L Z L
1 nx 2 nx
bn = g(x) sen( )dx = g(x) sen( )dx
L L L L 0 L
Pelo Teorema da convergencia pontual das series de Fourier e atendendo que se esta a utilizar a
extensao mpar de f a [L, L], conclui-se que para x [0, L]
f (x)
sendo x um ponto de continuidade de f
f (x+ ) + f (x )
sendo x um ponto de descontinuidade de f
Ssen f (x) = 2
0 se x = L
0 se x = 0
Exemplo:
em que
Z 2 Z 1
nx nx 2 4 n
bn = f (x) sen dx = (1 x) sen dx = 2 2 sen
0 2 0 2 n n 2
Conclui-se que
X 2 4 n nx
Ssen f (x) = 2 2 sen sen
n n 2 2
n=1
Pelo Teorema da convergencia pontual das series de Fourier, tem-se que em [2, 2]
f (x) se x ]0, 2]
Ssen f (x) = 0 se x = 0 (3.8)
f (x) se x [2, 0[
203
CAPITULO 3. INTRODUCAO AS EQUACOES DIFERENCIAIS PARCIAIS
em que
Z L Z L
2 2 nx
a0 = f (x)dx , an = f (x) cos( )dx
L 0 L 0 L
Esta serie e obtida, efectuando a extensao par de f ao intervalo [L, L], e calculando a sua
serie de Fourier. Observe-se que se uma dada funcao g e par os coeficientes da serie de Fourier
verificam: Z Z
1 L 2 L
a0 = g(x)dx = g(x)dx
L L L 0
Z L Z L
1 nx 2 nx
an = g(x) cos( )dx = g(x) cos( )dx
L L L L 0 L
Z L
1 nx
bn = g(x) sen( )dx = 0 n 0
L L L
Pelo Teorema da convergencia pontual das series de Fourier e atendendo que se esta a utilizar a
extensao par de f a [L, L], conclui-se que para x [0, L]
f (x) sendo x um ponto de continuidade de f
f (x+ ) + f (x )
sendo x um ponto de descontinuidade de f
Scos f (x) = 2
f (L) se x = L
f (0) se x = 0
em que Z Z
2 2 3
a0 = g(x)dx = dx =
0 2
4
204
3.3. PROBLEMA DE DIRICHLET HOMOGENEO PARA A EQUACAO DO CALOR
UNIDIMENSIONAL
e para n N
Z Z
2 2 2 n
an = g(x) cos(nx)dx = cos(nx)dx = sen
0 n 4
4
Conclui-se que
3 X 2 n
Scos g(x) = sen cos(nx)
4 n 4
n=1
em que f e uma funcao seccionalmente contnua em ]0, [. Tal como deduzimos na Seccao 3.1,
a solucao do problema (3.10) e dada por
X 2 Kt
u(t, x) = cn en sen(nx) , cn R
n=1
e para determinar as constantes (cn )nN usaremos a condicao inicial, pelo que
X
cn sen(nx) = f (x) (3.11)
n=1
3.3.1 Exemplo 1
Se a condicao inicial for
f (x) = sen(2x) 3 sen(5x)
por (3.11),
X
cn sen(nx) = sen(2x) 3 sen(5x)
n=1
205
CAPITULO 3. INTRODUCAO AS EQUACOES DIFERENCIAIS PARCIAIS
c2 = 1 , c5 = 3 e cn = 0 n N \ {2, 5}
Concluimos que a solucao de (3.10) quando f (x) = sen(2x) 3 sen(5x) e dada por
3.3.2 Exemplo 2
Se a condicao inicial for
x se 0 x 2
f (x) = x =
2 2 x se 2 < x
por (3.11),
X
cn sen(nx) = x
2 2
n=1
pelo que para determinar as constantes (cn ) precisamos de determinar a serie de senos da funcao
f (x) em [0, ]. Assim
X
Ssen f (x) = bn sen(nx)
n=1
em que
Z Z /2 Z
2 2h i 4 n
bn = f (x) sen(nx) dx = x sen(nx) dx + ( x) sen(nx) dx = 2
sen
0 0 /2 n 2
X 4 n
x = sen sen(nx)
2 2 n2 2
n=1
4 n
cn = 2
sen
n 2
x 2 e dada por
e a solucao de (3.10) quando f (x) = 2
X 4 n n2 Kt
u(t, x) = 2
sen e sen(nx)
n=1
n 2
206
3.4. PROBLEMA DE DIRICHLET NAO HOMOGENEO PARA A EQUACAO DO CALOR
UNIDIMENSIONAL
ue = 0 , ue (0) = T1 e ue (L) = T2
Vamos verificar em primeiro lugar que se u(t, x) e da forma dada em (3.13) entao e solucao de
(3.12). De facto, utilizando a linearidade da derivada
2u 2 ue 2v 2v v ue v u
K = K + K = Ku e + K =0+ = + =
x2 x2 x2 x2 t t t t
pelo que verifica a equacao diferencial de (3.12). Por outro lado
pelo que verifica a condicao inicial de (3.12). Conclui-se que u(t, x) dada em (3.13) e solucao de
(3.12). A funcao ue (x) e denominada uma solucao estacionaria de (3.12), pois nao depende de t.
A equacao ue = 0 tem como solucao ue (x) = Ax + B. Dado que ue (0) = T1 e ue (L) = T2
conclui-se que
T2 T1
ue (x) = x + T1
L
207
CAPITULO 3. INTRODUCAO AS EQUACOES DIFERENCIAIS PARCIAIS
Por outro pela Seccao 1, dado que (3.14) e o problema da equacao do calor com condicoes de
fronteira de Dirichlet homogeneas
X n2 2 K nx
v(t, x) = cn e L2
t
sen
n=1
L
em que para todo n N, (cn ) sao os coeficientes da serie de senos da funcao f (x) T2 T
L x T1
1
208
3.5. PROBLEMA DE NEUMANN HOMOGENEO PARA A EQUACAO DO CALOR
UNIDIMENSIONAL
Por outro lado, atendendo as condicoes de fronteira
u
x (t, 0) = 0 implica T (t)X (0) = 0 e como tal ou T (t) e a funcao identicamente nula ou
X (0) = 0. Dado que a primeira hipotese nao pode ocorrer (implicaria u 0) tem-se que
X (0) = 0.
u
x (t, L) = 0 implica T (t)X (L) = 0 e como tal ou T (t) e a funcao identicamente nula ou
X (L) = 0. Dado que a primeira hipotese nao pode ocorrer, tem-se que X (L) = 0.
Temos entao dois problemas para resolver correspondentes a duas equacoes diferenciais or-
dinarias
X X = 0
(P1) , (P2) T = KT
X (0) = X (L) = 0
Comecamos por resolver o problema (P1). Trata-se de um problema de valores proprios e para
os determinar teremos que encontra as solucoes nao nulas de (P1). Assim
X X = 0 (D 2 )X = 0
X (0) = 0 A = 0
X (L) = 0 B sen(x) = 0
pelo que,
B=0 X(x) 0
ou
n nx
sen(L) = 0 = X(x) = cos , com n N
L L
2 2
Temos assim que = 0, com X(x) = 1 e = 2 = nL2 e X(x) = cos nx L , para n N, sao
os valores proprios e as correspondentes funcoes proprias associadas.
Para resolver o problema (P2), utilizaremos apenas os valores proprios de (P1), dado que
para outros valores de a unica solucao de (P1) e a nula. Assim, para = 0
T = 0 T0 (t) = 1
e para cada n N
n2 2 n2 2 K
T = KT Tn (t) = e L2
t
L2
209
CAPITULO 3. INTRODUCAO AS EQUACOES DIFERENCIAIS PARCIAIS
Resolvidos (P1) e (P2), podemos concluir que as solucao da equacao do calor unidimensional, da
forma u(t, x) = T (t)X(x), que verificam condicoes de fronteira de Dirichlet nulas sao as funcoes
da forma
n2 2 K nx
u0 (t, x) = T0 (t)X0 (x) = c0 e un (t, x) = Tn (t)Xn (x) = e L2
t
sen , , nN
L
Entao
X X n2 2 K nx
u(t, x) = cn un (t, x) = c0 + cn e L2
t
cos , , cn R
n=0 n=1
L
e solucao da equacao do calor unidimensional que verifica condicoes de fronteira de Neumann nulas.
Para determinar as constantes cn teremos que utilizar a condicao de fronteira u(0, x) = f (x).
Resulta entao que:
X nx
c0 + cn cos = f (x) (3.17)
n=1
L
Concluindo-se que as constantes cn sao os coeficientes da serie de cosenos de f em [0, L], ou seja
Z L
a0 1
c0 = = f (x)dx
2 L 0
e para cada n N
Z L
2 nx
cn = an = f (x) cos dx
L 0 L
u(t, 0) = T1 , u(t, L) = T2 t>0
u(0, x) = f (x) x ]0, L[
210
3.7. A EQUACAO DAS ONDAS
Multiplicando a equacao do calor (3.18) por v e integrando em x no intervalo [0, L], obtem-se:
Z L Z L
v 2v
v dx = K v dx
0 t 0 x2
1
RL 2 dE
Definido E(t) = 2 v(t, x) dx, entao conclui-se dos resultados anteriores que
0 0. Por
dt
outro lado, pela condicao inicial E(0) = 0; alem disso, E(t) 0, para qualquer t 0. Assim
sendo, teremos necessariamente que E(t) 0, donde se conclui que:
2v
= c2 u
t2
onde u(t, x) e uma funcao da posicao e do tempo que descreve o comportamento da onda e c e
a velocidade de propagacao da onda no meio em questao.
211
CAPITULO 3. INTRODUCAO AS EQUACOES DIFERENCIAIS PARCIAIS
u(t, x)
0 x x
L
Comecamos por notar que se f (x) 0 e g(x) 0 entao a solucao de (3.19) e u(t, x) 0. Se f
ou g nao sao identicamente nulas entao u tambem nao o sera.
Tal como para a resolucao da equacao do calor unidimensional, e dado que estamos a consi-
derar condicoes de fronteira homogeneas, vamos utilizar o metodo de separacao de variaveis para
determinar solucoes do problema (3.19) da forma
u(t, x) = T (t)X(x)
Pela observacao acima feita, nem T (t) nem X(x) poderao ser identicamente nulas. Substituindo
na equacao diferencial obtem-se
2
2
2
2 T (t) X (x)
T (t)X(x) = c T (t)X(x) T (t)X(x) = c T (t)X (x) =
t2 x2 c2 T (t) X(x)
Observe-se que, separadas as variaveis, pretende-se que para todos t > 0 e x ]0, L[ uma funcao
X (x)
de t ( cT2 T(t)
(t)
) iguale uma funcao de x ( X(x) ). Para que tal se verifique e necessario que ambos
212
3.7. A EQUACAO DAS ONDAS
T (t) X (x)
= e =
c2 T (t) X(x)
Por outro lado, atendendo as condicoes de fronteira e possveis condicoes iniciais nulas (note que
pelo que ja foi referido apenas uma delas o podera ser)
Temos entao dois problemas para resolver - correspondentes a duas equacoes diferenciais
ordinarias
X X = 0
(P1) , (P2) T = c2 T
X(0) = X(L) = 0
Comecamos por resolver o problema (P1), que e um problema de valores proprios. Assim:
X X = 0 (D 2 )X = 0
X(0) = 0 B = 0
X(L) = 0 A sen(x) = 0
pelo que,
A=0 X(x) 0
ou
n nx
sen(L) = 0 = X(x) = sen , com n Z
L L
2 2
Temos assim que = 2 = nL2 e X(x) = sen nx L , para n Z, sao os valores proprios
e as correspondentes funcoes proprias associadas. Note que para os ndices n inteiros negativos
repetem-se os valores proprios e as funcoes proprias (a menos de combinacao linear). Conclui-se
2 2
que qualquer que nao seja da forma nL2 (para algum n N) nao e valor proprio de (P1), e
2 2
para cada n N, = nL2 e valor proprio de (P1) associado a funcao propria Xn (x) = sen nx
L .
213
CAPITULO 3. INTRODUCAO AS EQUACOES DIFERENCIAIS PARCIAIS
Para resolver o problema (P2), utilizaremos apenas os valores proprios de (P1), dado que
para outros valores de a unica solucao de (P1) e a nula. Assim, para cada n N
n2 2 2 n2 2 2 nct nct
T + c T =0 (D 2 + c )T = 0 Tn (t) = n sen + n cos
L2 L2 L L
Resolvidos (P1) e (P2), podemos concluir que as solucoes da equacao das ondas unidimensional,
da forma u(t, x) = T (t)X(x), que verificam condicoes de fronteira de Dirichlet nulas sao as
funcoes da forma
nx nct nct
un (t, x) = Tn (t)Xn (x) = sen n sen + n cos , nN (3.20)
L L L
Por sobreposicao, a solucao da equacao diferencial que satisfaz as condicoes de fronteira sera:
X nx nct nct
u(t, x) = sen n sen + n cos .
L L L
n=1
Procuremos agora as denominadas solucoes de dAlembert para a equacao das ondas. Aten-
dendo as igualdades trigonometricas
1 1
sen(a) sen(b) = cos(a b) cos(a + b) , sen(a) cos(b) = sen(a b) + sen(a + b)
2 2
podemos escrever
X nx nct X n n n
n sen cos = sen (x ct) + sen (x + ct)
L L 2 L L
n=1 n=1
e
X nx nct X n n n
n sen sen = cos (x ct) cos (x + ct)
n=1
L L n=1
2 L L
Pela definicao dos coeficientes das series de Fourier de senos (n ) e (n ) se, em [0, L], f e g
forem funcoes contnuas com derivadas seccionalmente contnuas, teremos
X nx X nc nx
f(x) = n sen e g(x) = n sen
n=1
L n=1
L L
214
3.8. EQUACAO DE LAPLACE BIDIMENSIONAL
Da mesma forma:
Z x+ct
X nx nct X n n ns
n sen sen = sen ds
L L 2 xct L L
n=1 n=1
Z
x+ct X
1 nn ns
= sen ds
2 xct L L
n=1
Z x+ct
1
= g(s)ds.
2c xct
2u 2u
+ 2 =0
x2 y
215
CAPITULO 3. INTRODUCAO AS EQUACOES DIFERENCIAIS PARCIAIS
Observa-se que se f (x) 0 a solucao de (3.22) e u(x, y) 0. Por outro lado, pode-se provar que
se f nao for identicamente nula entao u tambem nao o sera. Tal como nos exemplos anteriores,
216
3.8. EQUACAO DE LAPLACE BIDIMENSIONAL
e tendo em conta que este problema tem 3 condicoes de fronteira homogeneas e um domnio
rectangular, o metodo de separacao de variaveis consiste na determinacao de solucoes nao nulas
do problema (3.22) da forma:
u(x, y) = X(x)Y (y) (3.23)
Note que nem X(x) nem Y (y) poderao ser identicamente nulas, pois caso contrario u(x,y) tambem
o sera. Substituindo (3.23) na equacao diferencial obtem-se
2 2
X(x)Y (y) + X(x)Y (y) = 0 X (x)Y (y) + X(x)Y (y) = 0
x2 y 2
X (x) Y (y)
=
X(x) Y (y)
Observe-se que as variaveis aparecem separadas: pretende-se que para todos os x ]0, a[ e
(x) (y)
y ]0, b[, XX(x) , que e funcao apenas de x, iguale YY (y) , que e funcao apenas de y. Para que
tal se verifique e necessario que ambos os membros sejam iguais a uma constante; isto e, para
R:
X (x) Y (y)
= e =
X(x) Y (y)
Por outro lado, atendendo as condicoes de fronteira nulas
u(0, y) = 0 implica X(0)Y (y) = 0 e como tal ou Y (y) e a funcao identicamente nula ou
X(0) = 0. Dado que a primeira hipotese nao pode ocorrer (implicaria u 0) tem-se que
X(0) = 0.
u(a, y) = 0 implica X(a)Y (y) = 0 e como tal ou Y (y) e a funcao identicamente nula ou
X(a) = 0. Dado que a primeira hipotese nao pode ocorrer, tem-se que X(a) = 0.
u(x, b) = 0 implica X(x)Y (b) = 0 e como tal ou X(x) e a funcao identicamente nula ou
Y (b) = 0. Dado que a primeira hipotese nao pode ocorrer (implicaria u 0) tem-se que
Y (b) = 0.
Temos entao dois problemas para resolver, envolvendo cada um deles uma equacao diferencial
ordinaria de 2a ordem:
X X = 0 Y + Y = 0
(P1) , (P2)
X(0) = X(a) = 0 Y (b) = 0
Comecamos por resolver o problema (P1), que e um problema de valores proprios. Assim:
X X = 0 (D 2 )X = 0
217
CAPITULO 3. INTRODUCAO AS EQUACOES DIFERENCIAIS PARCIAIS
Como vimos no estudo da equacao do calor, os casos = 0 e > 0, combinados com as duas
condicoes de fronteira nulas, produzem apenas a solucao nula. Conclui-se que qualquer 0
nao e valor proprio de (P1). Para o caso < 0, tem-se que
X(0) = 0 B = 0
X(a) = 0 A sen(x) = 0
pelo que,
A=0 X(x) 0
ou
n nx
sen(a) = 0 = X(x) = sen , com n Z
a a
2 2
Temos assim que = 2 = na2 e X(x) = sen nx a , para n Z, sao os valores proprios
e as correspondentes funcoes proprias associadas. Note que para os ndices n inteiros negativos
repetem-se os valores proprios e as funcoes proprias (a menos de combinacao linear). Conclui-se
2 2
que qualquer que nao seja da forma na2 (para algum n N) nao e valor proprio de (P1), e
2 2
para cada n N, = na2 e valor proprio de (P1) associado a funcao propria Xn (x) = sen nx
a .
Para resolver o problema (P2), utilizaremos apenas os valores proprios de (P1), dado que
para outros valores de a unica solucao de (P1) e a nula. Assim, para cada n N
n2 2 2 n2 2 ny ny
Y 2 Y =0 D 2 Y = 0 Yn (y) = an e a + bn e a ,
a a
onde an , bn R. As solucoes que satisfazem a condicao Y (b) = 0 sao as solucoes de
nb nb
an e a + bn e a = 0,
ou seja,
2nb
bn = an e a
218
3.8. EQUACAO DE LAPLACE BIDIMENSIONAL
Entao, para cada n N, os coeficientes n sao obtidos a custa dos coeficientes da serie de senos
de f em [0, a] por Z
nb 2 a nx
n sh = f (x) sen dx.
a a 0 a
ou Z a
2 nx
n = f (x) sen dx.
a sh(nb/a) 0 a
4
X
u(x, y) = u1 (x, y)
i=1
em que u1 e solucao de
2
u 2u
+ 2 =0 x ]0, a , y ]0, b[
x2 y
u(x, 0) = f1 (x) , u(x, b) = 0 x ]0, a[
u(0, y) = 0 , u(a, y) = 0 y ]0, b[
u2 e solucao de 2
u 2u
+ 2 =0 x ]0, a , y ]0, b[
x2 y
u(x, 0) = 0 , u(x, b) = f2 (x) x ]0, a[
u(0, y) = 0 , u(a, y) = 0 y ]0, b[
219
CAPITULO 3. INTRODUCAO AS EQUACOES DIFERENCIAIS PARCIAIS
u3 e solucao de 2
u 2u
+ 2 =0 x ]0, a , y ]0, b[
x2 y
u(x, 0) = 0 , u(x, b) = 0 x ]0, a[
u(0, y) = f3 (y) , u(a, y) = 0 y ]0, b[
e u4 e solucao de
2
u 2u
+ 2 =0 x ]0, a , y ]0, b[
x2 y
u(x, 0) = 0 , u(x, b) = 0 x ]0, a[
u(0, y) = 0 , u(a, y) = f4 (y) y ]0, b[
A solucao de cada um destes problemas e obtida pelo metodo utilizado na resolucao de (3.22).
220