NOTAS DE ANLISE COMPLEXA 3 -( I Sem2017 )

Funes Elementares: Polinmios

Wilson C. Ferreira Jr.

1-Introduo

Os Polinmios constituem o conjunto mais simples de funes de varivel complexa

sob o ponto de vista computacional, uma vez que seus valores podem ser calculados por
intermdio de um algortmo finito representado canonicamente como uma sequncia de
operaes aritmticas (soma e produto). Por esta mesma razo as funes polinomiais so
tambm denominadas Funes Aritmticas. Fundamentado nesta simplicidade o matemtico
alemo Karl F.Weierstrass (1815-1897) estabeleceu as primeiras bases rigorosas da Anlise
Complexa durante o sculo XIX, um feito notvel na histria da Matemtica. De fato, as
funes ditas Analticas, que constituem no objeto central da Anlise Complexa so
exatamente aquelas funes que admitem representaes locais na forma de polinmios de
grau infinito, ou seja, sries de potncias inteiras e positivas que, de certa maneira, descrevem
algortmos aritmticos infinitos muito semelhantes s expanses decimais.
Portanto, sem necessidade de maior motivao, que existe, o estudo elementar,
geomtrico e algbrico, de polinmios complexos deve sempre preceder apresentao de
qualquer assunto terico nesta rea.
Os polinmios sero primeiramente abordados neste captulo sob um ponto de vista
elementar e estritamente algbrico baseado nas propriedades das operaes de soma, produto
e diviso, possivelmente j conhecidas do(a) leitor(a) mas, agora apresentadas sob
perspectivas mais adequadas ao presente contexto. A abordagem dita Analtica da Anlise
Complexa (ou, Aritmtica, segundo a nomeao mais sensata de Weierstrass) de certa forma
estende a lgebra dos polinomios para as sries de potncias positivas.
O que talvez no seja conhecido do/a leitor/a o ponto de vista Geomtrico que ser
introduzido neste capitulo.
O polinmio de primeiro grau, pelo seu papel especfico e importante na concepo de
derivada na teoria da anlise complexa, assim como pela sua simplicidade geomtrica, foi
estudado separadamente em captulo anterior. No presente captulo nos concentraremos no
estudo geomtrico de polinmios de grau superior iniciando pelos mais simples, os
monmios p ( z ) z n .
O tratamento das funes analticas sob o ponto de vista geomtrico, em oposio ou,
em complementao, ao ponto de vista Aritmtico de Weierstrass, tem grande apelo intuitivo
e est intimamente ligado ao matemtico francs A.L.Cauchy(1789-1857) e principalmente ao
alemo G.F.B.Riemann(1822-1866) e representa uma outra concepo fundamental da
Anlise Complexa.
Ao contrrio do Clculo elementar, a representao grfica cartesiana de funes de
varivel e valores complexos no auxilia em nada a intuio, j que seria necessrio um
espao de dimenso 4 para visualiz-las e com o qual no temos nenhuma intimidade. A
estratgia geomtrica neste caso distinta e parte dos conceitos de mapeamento e de
deformao do plano complexo.
Iniciaremos o estudo geomtrico da Anlise Complexa analisando o efeito das funes
polinomiais sobre retas e crculos no plano complexo. Esta abordagem, alm de introduzir
alguns dentre os conceitos mais importantes da matemtica, essenciais ao desenvolvimento
seguinte e posterior tanto da teoria algbrica quanto da propria teoria geomtrica de
polinmios, produz resultados importantes por si mesmos tais como, por exemplo, o Teorema
Fundamental da lgebra e o Mtodo de localizao de razes de Mikhailov-Nyquist.
Para motivar a necessidade e a importncia destes resultados apresentaremos, a ttulo de exemplos,
algumas de suas aplicaes s Equaes Diferenciais/Recursivas Ordinrias Lineares e de Coeficientes
Constantes, que constituem os fundamentos da teoria destas equaes e da Matemtica Aplicada Mecnica,
Fsica e Engenharia.
2-A Ubqua e Ambgua Funo Argumento
A representao polar dos nmeros complexos no nulos, z re i imediatamente nos impe
a tarefa de determinar o mdulo r e o argumento como funes destes nmeros. A
interpretao geomtrica para o mdulo simples e inequvoca sendo sua expresso em
coordenadas cartesianas obtida imediatamente, r x 2 y 2 .
A determinao do argumento , por outro lado, apresenta uma ambigidade inerente que
exige um tratamento mais cuidadoso envolvendo questes topolgicas do plano.
Na verdade, uma das tarefas mais fundamentais e sutis da Anlise Complexa definir uma
funo, dita Argumento, , (usualmente denotada pelo smbolo Arg ), que cumpra as seguintes
condies, to naturais quanto desejveis:
1) uma Funo,
2) Definida para todos os nmeros complexos no nulos, : C {0} R ,i.e., com Domnio
C {0} ,
3)Contnua e, principalmente,
4)Satisfazendo a igualdade: z z e i ( z ) , para z 0 .
Naturalmente, o item central de toda a questo o 4), mas os outros so tambm
importantes.
primeira vista esta tarefa pode parecer simples, pois bastaria definir ( z ) como sendo o
ngulo entre o nmero complexo (vetor no nulo) z e o eixo real positivo. Entretanto, este ngulo
no nico, pois, z re i re i ( k 2 ) , k Z so infinitas representaes polares do mesmo nmero
z . O conceito clssico e corrente de funo, devido a Richard Dedekind, exige a atribuio de um
nico e bem determinado valor funcional associado a cada ponto do seu domnio.
Esta indeterminao, se, por um lado causa certa dificuldade e estranheza inicial, por outro,
exatamente a que se encontra a fonte de um dos mais importantes conceitos topolgicos da
Anlise. Funes naturalmente relevantes que apresentam uma multiplicidade e ambigidade de
valores so um fenmeno recorrente em toda a Matemtica e especialmente na Anlise Complexa.
Exemplos tpicos destas questes j foram encontradas quando tratamos do clculo de razes. Na
literatura clssica as funes originrias desta classe de questes so denominadas Funes
Multivalentes, sendo o exemplo mais importante exatamente a Funo Argumento. A fonte usual
destas dificuldades quase sempre est relacionada necessidade de inverso de funes (bem
definidas) que no so injetivas, isto , funes que levam pontos distintos em valores iguais.
Observe que neste caso estamos tentando inverter a funo: h : R C , h( ) e i , bem definida,
mas no injetiva. No caso de razes, o objetivo era inverter funes (no injetivas) da forma
f : C C , f ( z) z n , n N .
Se, para resolvermos a questo da funo argumento, preventivamente restringimos os
valores de ( o seu contra-domnio) ao intervalo 0 2 ,(isto , restringindo o domnio de
h :: [0,2 ) C , h( ) e i ), verificamos que a sua ambigidade eliminada, mas ao custo de um
enorme sacrificio matemtico: a funo argumento ser descontnua , uma vez que ocorrero
saltos de amplitude 2 na passagem atravs da semi-reta positiva, pois,
(1 i) (1 i ) 2 quando 0 . fcil constatar que a funo argumento tal como
especificada no existe e, pelo menos uma das quatro condies impostas deve ser sacrificada:
1)Funo (segundo Dedekind) , 2)Continuidade, 3)Domnio, 4) Igualdade.
Dentre estas condies a nica que estaramos dispostos a modificar sem perda do objetivo
inicial, aquela que especifica o Domnio(3), e h vrias formas de se efetuar esta modificao
adequadamente.
A estratgia mais simples e bvia para resolver a questo de ambigidade , de fato,
restringir o domnio da funo Argumento ao Plano Rasgado que se constitui no Plano
Complexo sem a semireta real no negativa, isto , C {x ; x R } , podemos escrever todos os
seus elementos de uma nica maneira z re i ,0 2 , e, portanto definir, sem ambiguidade,
Arg 0 [ z ] . fcil verificar que esta funo bem definida, contnua e cumpre a igualdade que a
motiva.
claro que a estratgia do Plano Rasgado pode ser aplicada com a excluso de uma semi-
reta de qualquer ngulo e, com isto, definir vrias funes Argumento com diferentes domnios. Por
exemplo, dado um 0 qualquer, podemos tomar como dominio o Plano Rasgado C {re i0 ; r 0} .
Neste dominio os seus elementos tero a representao polar nica z re i com 0 0 2 e,
com isto, funo Arg0 [ z ] , definida continuamente sem qualquer ambiguidade.
Na verdade, intuitivo e fcil imaginar uma construo que amplamente generaliza esta
idia, tomando-se Planos Rasgados ao longo de linhas contnuas que ligam a origem ao infinito,
desde que elas no descrevam laos, uma construo que oportunamente nos ser til.
Exerccio:
1-Mostre, geometricamente, que possvel, por exemplo, definir sem ambiguidade uma
funo contnua Arg : D R , tal que , z z e iArg ( z ) para o domnio:
D C {( x ip ( x)), x 0}, onde p ( x) x 5 x 4 x 3 x 2 x .
2-Na verdade, verifique que, se : R R for uma funo real estritamente crescente, ento
o Plano Complexo Rasgado na linha z (r ) re i ( r ) , r 0 , pode ser um domnio, em
particular, se (r ) r quando a linha ser uma espiral.
A maneira mais importante e genial de resolver a ambigidade da Funo Argumento foi
imaginada por Riemann a partir da qual ele modificou radicalmente o conceito original de domnio
introduzindo novos objetos que revolucionariam e influenciariam a Matemtica at os dias atuais. A
construo topolgica de Riemann substitui o Plano Complexo como domnio da funo Arg por
uma Pilha Infinita de Planos Complexos preliminarmente rasgados ao longo da semi-reta
positiva, mas, em seguida sobrepostos e re-emendados como se formando um parafuso, ou uma
escada circular e infinita. Este objeto Matemtico identificado com uma Superficie abstrata
bidimensional, que, por motivos bvios e justssimos, denominada Superficie de Riemann.
nestes admirveis objetos geomtricos onde a funo Argumento finalmente encontra o seu habitat
natural e definitivo. As funes multivalentes, cujos primeiros exemplares j foram encontradas na
abordagem das razes, so de fato ubquas na Anlise Complexa e do origem a uma extraordinria
variedade de Superficies de Riemann. Mas este assunto para um Apndice.(ref.Needham).

2-Geometria do Mapeamento Polinomial

Nesta primeira seo, uma funo geral f , f : 1 2 , onde k C um subconjunto do
plano complexo, ser interpretada geometricamente como um Mapeamento entre pontos de uma
regio do plano (domnio 1 ) onde percorre a varivel (independente) z , e pontos uma regio
de outro plano de chegada (contradomnio 2 ) onde chegam os valores da funo denotados pela
varivel ( dependente) w , ou seja, w f (z ) .
Se for utilizado um mesmo sistema de coordenadas para representar em um mesmo plano as
duas variveis w e z , possvel tambm visualizar a funo w f (z ) como uma Deformao
deste plano, que desloca o ponto z para uma nova posio w f (z ) , ou, para uma nova posio
representada pelo ponto w z f (z ) do mesmo plano. (Esta segunda interpretao a origem das
inmeras e importantes aplicaes da Anlise Complexa Elasticidade. Ref. Lavrentiev)
Uma terceira, e importante, maneira de interpretar geometricamente uma funo f : 1 2
, imaginar a varivel z como representante de um ponto do plano e w f (z ) como sendo um
vetor velocidade associado a este ponto, ou seja, f seria ento um Campo de Velocidades de um
fluido que escorre sobre o plano.(Esta interpretao a origem das importantes aplicaes da
Anlise Complexa Dinmica de Fluidos, Aerodinmica e etc. ref. Lavrentiev)
O conceito matemtico clssico (de Dedekind) de funo exige que para cada ponto z do
domnio (que pode ser todo o plano complexo ou, parte dele) seja associado um e um nico valor
bem determinado w f (z ) do contradomnio; uma condio denominada univalncia. No
necessrio que todos os pontos w 2 sejam atingidos por valores f ( z ) w , z 1 , e nem que
sejam atingidos apenas uma vez. Se todos os pontos do contradomnio forem atingidos pelo menos
uma vez, a funo dita sobrejetora no seu contradomnio e se a funo distingue os pontos do
domnio, isto , se z1 z 2 f ( z1 ) f ( z 2 ) , ento a funo dita injetora no seu domnio. Caso a
funo seja injetora e sobrejetora, ela dita bijetora entre 1 e 2 o que, de certa forma, se
constitui na idia mais prxima do conceito usual de Mapa Plano: isto , para cada local
geogrfico, um nico ponto do mapa, para cada ponto do mapa um nico local!
As funes polinomiais so funes de varivel complexa e valores complexos definidas
em todo o plano, f : C C , ( 1 C 2 ), caracterizadas por designarem os seus valores f (z )
construtivamente por intermdio de uma seqncia finita e fixa de operaes aritmticas (produtos e
somas) sobre a varivel z . Algebricamente, os polinmios podem ser descritos da seguinte
n
maneira genrica e cannica: f ( z ) a k z , onde a k C , k 0,1,..., n so nmeros complexos
k

k 0

fixos (coeficientes) que caracterizam o polinmio. Se a n 0 dizemos que o polinmio tem grau
n N (escreve-se grau{ p} n ), e se, por acaso, n 0 , diremos que o polinmio constante pois,
ser, de fato, uma funo constante. O conjunto de polinmios com coeficientes complexos
n
denotado por C[z] { ak z k , ak C, n N }. Em algumas circunstancias interessante escrever um polinmio

k 0

na forma (exagerada) f ( z ) a k z , desde que fique entendido que existe um ndice n0 0 , a
k

k 0

partir do qual os coeficientes so nulos, isto , a k 0 , para k n0 .

n
Embora entenda-se freqentemente que a expresso cannica f ( z ) a k z seja o prprio
k

k 0
polinmio, na verdade, esta apenas uma forma de representa-lo, ainda que a mais comum.
Podemos interpretar estas expresses como combinaes lineares finitas de elementos da base
cannica { z k , k 0,1,2... }, que, como tal, pode ser substituda por outras bases oportunamente
mais interessantes como veremos mais adiante. Mais adiante voltaremos representao
algortmica das funes polinomiais.
Para efeito de exemplificao, iniciaremos o estudo geomtrico do mapeamento
representado pelo polinmio mais simples depois da funo constante e da linear, isto , o monmio
de segundo grau: w f ( z ) z 2 . Para se ter uma viso geomtrica global da maneira como o plano
transformado por esta funo complexa necessrio concentrar a ateno sobre o seu efeito em
algumas curvas especialmente escolhidas no plano complexo z (domnio), e descritas por
trajetrias z (t ) . Estas curvas so transformadas em outras curvas no plano complexo w (imagem),
descritas pelas trajetrias w(t ) f ( z (t )) .
Considerando inicialmente os crculos descritos pela trajetria z (t ) re it no plano de sada
(domnio), verificaremos facilmente que a sua imagem w(t ) f (re it ) r 2 e i 2t descreve tambm um
crculo no plano de chegada (contradomnio), agora de raio r 2 , ou seja, a funo w f ( z ) z 2
preserva o conjunto de crculos concntricos em torno da origem, embora no cada crculo
individualmente, pois, r 2 r se r 1 e, r 2 r se r 1 . H, portanto, uma bijeo de crculos
para crculos( concntricos origem) dos planos z e w .
Entretanto,, somente o crculo unitrio, f (e it ) e i 2t , tem o seu trao preservado e, dentre
os pontos do crculo unitrio, somente o ponto z 1 preservado pela funo.
Observemos agora que ao longo do intervalo 0 t , enquanto a curva
original z (t ) re it descreve o semi-crculo unitrio superior no plano z na direo angular
positiva (anti-horria), a curva imagem w(t ) f (e it ) e i 2t descreve uma vez e completamente
todo o crculo unitrio no plano w , tambm na direo angular positiva.
Para t 2 , a curva em z (t ) e it descreve o semi-crculo unitrio inferior (na direo
angular positiva) e a sua imagem descreve mais uma vez o crculo unitrio completo (na direo
angular positiva) no plano w . Para t 2 a curva z (t ) e it retorna ao ponto de partida pela
primeira vez ( z (0) 1 z (2 ) ) assim como a curva imagem retorna ao ponto de partida,
w(0) 1 w( ) w( 2 ) mas, esta, pela segunda vez.
Uma segunda forma de visualizar o mapeamento da funo w f ( z ) z 2 examinar a sua
atuao sobre as semi-retas t {z re it ; r 0} que so levados em semi-retas
P2 t {w r 2 e i 2t ; r 0} . Variando t no intervalo 0 t , enquanto a semi-reta
t {z re it ; r 0} espana como um leque o semi-plano superior (na direo angular
positiva), a semi-reta imagem P2 t {w r e ; r 0} espana todo o plano de chegada com
2 i 2t

velocidade dupla (na direo angular positiva). E, enquanto a semi-reta t {z re it ; r 0}

varre todo o plano z uma vez completa (na direo angular positiva) a semi-reta
P2 t {w r 2 e i 2t ; r 0} varre o plano w duas vezes completamente.
No fcil desenhar a ao deformadora da funo f ( z ) z 2 globalmente, mas a estas alturas podemos seguir o
mtodo de Riemann e imaginar que o plano z foi rasgado ao longo da semi-reta horizontal positiva y 0 , x 0 , retorcido (
como se fosse de material extensvel) uma vez sobre si mesmo e novamente colado pelas linhas seccionadas. ( O difcil imaginar
como isto poderia ser feito sem haver interseo do plano com ele mesmo mas, esta uma construo abstrata que somente seria
possvel imaginar em espao de dimenso 4, se tivssemos alguma intuio dele)
Do captulo anterior, sabemos que todo nmero complexo w0 0 tem exatamente duas
razes quadradas, isto , existem dois nmeros complexos distintos z1 , z 2 tais que
z1 2 w0 , z 2 2 w0 . De fato, com a interpretao geomtrica acima, constatamos que a imagem
do plano z pela funo f ( z ) z 2 cobrir todo o plano complexo w perfurado (isto , sem a
origem,( w C {0} ), completamente duas vezes e a origem w 0 ser atingida uma (e nica
vez f (0) 0 ). Portanto, esta funo sobrejetora (no plano w ) mas no injetora no plano z .
Observe que, a deformao do plano plano z no plano w , foi resultado de uma distoro
angular, e tambm de um processo radial, compresso dentro do crculo unitrio e distenso fora
dele.
Esta interpretao geomtrica no simples e puxa pela imaginao geomtrica
do(a) leitor(a), mas este um fato da vida e no da interpretao, ou seja, as funes complexas,
mesmo as elementares, representam processos geomtricos de grande riqueza plstica e
aproveitaremos dela para descrever diversos processos geomtrico-topolgicos.
Uma argumentao semelhante pode ser utilizada para entendermos a transformao
geomtrica do plano complexo realizadas por funes de potncia superior, f ( z ) z n , n N .
Como dividendo, podemos ainda analisar de forma quase semelhante o efeito geomtrico de
n 1
transformaes de inverso, ou sejam, potncias negativas f ( z ) z n . Naturalmente, estas
z
funes so definidas apenas para z 0 , o chamado plano perfurado na origem, ( C {0} ).
Esta restrio foi eliminada por uma das ideias introduzidas por Riemann que modifica o domnio e o contradomnio da
funo para a esfera de Riemann. Esta representao geomtrica sugere fortemente (quase nos impe !) o conceito de ponto do
infinito. Foi exatamente isto que Riemann fez: acrescentou (topologicamente, no algebricamente!) um, e nico, ponto (dito)
infinito ao plano complexo associado ao polo Norte pela projeo estereogrfica. como se o plano fosse enrolado sobre a esfera
restando o ponto do infinito para fechar o embrulho, como um umbigo do mundo! Assim, em anlise complexa, o infinito
passa a ter uma realidade muito concreta, e til! Com esta identificao toda funo complexa, mesmo com valores infinitos, pode
n 1
ser analisada como uma funo da esfera S 2 R 3 nela mesma. No caso f ( z ) z , n N , se pensada como funo
zn
com domnio e contradomnio na esfera de Riemann, conclumos que o Plo Sul (correspondente origem do plano, 0C )
naturalmente mapeado no Plo Norte da esfera (correspondente ao C ) e o Plo Norte no Plo Sul. As construes
geomtricas de Riemann sempre tem por finalidade renormalizar as funes, modificando domnios e contradomnios para que o
conceito de funo univalente tenha o sentido mais amplo possvel. Nestas Notas trataremos deste ponto de vista apenas a ttulo de
comentrios e no como parte da matria. Mais sobre isto em L. Ahlfors e T. Needham .

Exerccios:
1-Mostre que uma funo polinomial geral de segunda ordem, f ( z ) az 2 bz c , pode ser representada
por uma funo monomial simples de segundo grau g ( ) 2 , onde as variveis de sada e de chegada so
obtidas por intermdio de funes de primeiro grau, h1 e h2 , ou seja, f ( z ) h2 g h1 .(Mostre que, isto
significa que todas as funes polinomiais de segundo grau so geometricamente equivalentes funo
monomial simples, a menos de translaes, homotetias e rotaes). (Sugesto: Lembre-se da velha e boa
manobra matemtica chamada completamento de quadrados, utilizada para obter a frmula de Baskhara).
2-Analise geometricamente o mapeamento efetuado pela funo polinomial f ( z ) z 3 , restrigindo-a aos
crculos concntricos com relao origem e s semi-retas que partem da origem e, da, obtenha informaes
sobre existencia, quantidade e localizao de razes de terceira ordem (isto , solues da equao , z 3 w
)para qualquer valor w 0 . Com esta experiencia faa um estudo anlogo para funes polinomiais
f ( z) z n , n 1 .
n 1
3-Analise geometricamente o mapeamento realizado pela funo f : C {0} C , f ( z ) z ,
zn
n N

O texto de T. Needham contem vrias ilustraes de excelente qualidade visual sobre

deformaes do plano complexo. Consulte tambm a pgina de D. Arnold:
http://www.ima.umn.edu/~arnold/complex.html

3-Teorema Fundamental da lgebra pelo Mtodo Geomtrico de

Gauss: Deformao Homotpica
Yu.I.Manin: A demonstrao de um Teorema interessante na medida em que ela nos ensina mais do que o prprio
enunciado dele nos informa.
Annimo conhecido:Existem duas maneiras de demonstrar a veracidade de um enunciado matemtico: A primeira,
herdada dos gregos, parte de algumas verdades aceitas sem ressalvas pelo interlocutor que da conduzido
inelutavelmente, ou, coercivamente, por etapas lgicas tambm irretorquveis, aceitao final e irrevogvel da tese
proposta. O ato anlogo a um convencimento ponta de faca, impossvel de ser questionado.
A segunda maneira aparentemente mais antiga e melflua tendo seus primeiros relatos nos escritos babilnicos:
Apresentada a tese, ela em seguida correlacionada a diversas imagens, exemplos e concluses que so previamente
familiares e caras ao interlocutor e, com isto, ele , levado pela evidncia dos fatos apresentados aceitar a veracidade da
tese como altamente provvel alm qualquer dvida razovel.

O Teorema Fundamental da lgebra , sem dvida, um dos mais importantes da

Matemtica, com inmeras conseqncias e aplicaes dentro e fora dela, e tem sido demonstrado
por intermdio de vrias tcnicas e teorias, mas nenhuma to simples e convincente e que faa uso
de idias to originais e seminais quanto quela devida a Gauss, alis, a primeira! Apresentaremos
abaixo as idias geomtricas da demonstrao e alguns exemplos de suas aplicaes sem nos
fixarmos nos seus detalhes rigorosos que, neste contexto, seriam mais obscuros do que
esclarecedores.

Teorema Fundamental da lgebra: Todo polinmio no constante de coeficientes

complexos, p( z ) a0 a1z ... z n , ak C , de grau n 1 , tem uma raiz complexa, ou
seja, existe pelo menos um C para o qual p ( ) 0 .

(Observe que para efeito de determinao da existncia de razes suficiente supor a n 1 ).

 A estratgia de Gauss para a demonstrao do Teorema baseia-se fundamentalmente na
anlise geomtrica do mapeamento realizado pela funo polinomial
n 1
p : C C , w p ( z ) z n a k z k , mostrando que consideraes topolgicas necessariamente
k 0
implicam que algum ponto do plano de sada z deve ser levado origem do plano complexo w
pela funo p ( z ) .
O mapeamento de um polinmio geral pode ser extremamente complicado e, portanto,
impossvel de descreve-lo em todos os seus detalhes. Portanto, iniciaremos pelo que conhecemos
melhor, ou seja, as funes monomiais q ( z ) z n e tentaremos comparar (onde razovel) as duas
transformaes.
Para isto, fatoramos o termo principal do polinmio p ( z ) escrevendo (para z 0 ) :
a a a
p ( z ) z n 1 n 1 ... kk .... n0 z n 1 ( z )
z z z

e observamos que, de certa forma, p ( z ) z n para regies em que z muito grande, ou seja, para
( z ) muito pequeno.
Por exemplo,da seguinte desigualdade
a a a
( z ) n 1 ... n kk ..... 0n observa-se que ( z ) 10 m ser vlido para todos os z
R R R
> R , desde que R seja suficientemente grande.( Este nmero 10 m no mgico, e est apenas representando
um valor que seja suficientemente pequeno para validar a argumentao seguinte ).
Assim, restringindo os valores de z a um crculo z R e it , 0 t 2 , com R 0
suficientemente grande, podemos garantir a desigualdade: (Re it ) 10 3 .
Geometricamente, verificamos que na regio z > R podemos escrever
1 ( z ) r ( z )e i ( z ) , onde 10 3 ( z ) 10 3 , e r ( z ) 1
Portanto, p( z ) {R n r ( z )} e i n t e i ( z ) R n e i ( nt ( x ) . Variando agora 0 t 2 , razovel
imaginar que a curva descrita por wR (t ) p( R e it ) , 0 t 2 correr prxima (a menos de
pequenas ondulaes) da curva w ~ R n e i n t , 0 t 2 . Como a curva w (t ) , ser tambm
R
i 2
1)Fechada, pois wR (0) p ( R e ) p ( R ) ( p ( R e )) wR (2 ) , e 2)Contnua, e acompanha a
i0

curva circular w ~ R n e i n t , concluimos que ela tambm envolve (laceia) a origem n vezes.
( As perturbaes causadas pelo pequeno termo ( z ) podem ser imaginadas como pequenos rudos que no so
suficientes para evitar que o termo principal d as n voltas em torno da origem. Como sob o ponto de vista
geomtrico esta argumentao muito convincente, ficaremos com ela. A sua demonstrao analtica e rigorosa
causaria mais confuso do que iluminao e, portanto, um pedantismo que preferimos evitar.)
Consideremos agora o caso interessante: p (0) a 0 0 .(Pois, se p(0) a0 0 j teriamos
uma raiz imediata).
Imaginemos em seguida um processo de distoro (homotpico) que sofrem os traos das

curvas imagens wr (t ) p z r (t ) p re it , 0 t 2 , enquanto progressivamente encolhemos os
raios dos crculos no plano z ( z (t ) re it , 0 t 2 ) desde r R (muito grande), continuamente,
at um valor r r0 0 extremamente pequeno. A viso deste processo de uma seqncia de laos
fechados que inicialmente ( para r R ) realiza n voltas em torno da origem mas que progressiva,
e continuamente, vai sendo deformado (arrastado ) no plano w . Quando r se tornar
extremamente pequeno ( r r0 ), a continuidade do polinmio, como funo do plano no plano,
nos garante que todos os valores p ( z ) , z r0 ( que incluem os pontos da curva wr (t ) p re it )
estaro em uma pequena vizinhana de p (0) a 0 e no podem mais, nesta situao, enlaar a
origem , que est distante de a 0 .
 Concluindo, temos informaes sobre o lao inicial wR (t ) que d n voltas em torno da
origem e sobre o lao final wr (t ) que est contido em um disco isolado da origem. O que
0

aconteceu entre o comeo e o fim deste processo, se entendemos que o lao foi continuamente
deformado ao longo do plano? A concluso bvia: Algum lao intermedirio tem de interceptar a
origem no plano w pelo menos uma vez, isto , para algum crculo intermedirio r * , r0 r * R ,
h um ponto que foi levado pelo polinmio na origem, uma raiz do polinmio. Assim fica
demonstrada (geometricamente) a existncia de uma raiz para o polinmio.XX
Embora a argumentao acima possa parecer geometricamente convincente, admite-se que
h algumas passagens que so passveis de dvida, especialmente a concluso de que a curva
imagem em um grande crculo realmente descreva um lao de n , voltas em torno da origem.
Este argumento delicado porque a representao matemtica do conceito de lao no to
simples quanto parece. Para dirimir esta suspeita, nada mais razovel e indicado do que realizar
algumas experincias matemticas, isto , computacionais, e isto o que propem os prximos
exerccios.

Exerccio (Matematica Experimental):

Para tornar a argumentao geomtrica acima mais concreta, interessante executar computacionalmente o
procedimento, com exposio grfica das curvas imagens para cada r
, com polinmios cujas razes so conhecidas e
outros cujas razes no so conhecidas. Faa um filme ( onde r o tempo) dos traos das curvas

C r p(re it ) , 0 t 2 iniciando com r R 1 (isto , muito grande, a seu critrio) at r r0 1
(muito pequeno) para os seguintes polinmios e tente detectar aproximadamente algum valor de r (pode haver mais
de um) em que o lao (novelo) intercepta a origem no plano w .
a- p( z ) z 1 .
2

Escrevemos
1 e i 2t 1
p ( z ) z 2 1 2 re it , (t ) 2t (t ), onde 0 (t ) arg 0 1 desde que
z R 2 4
faamos , digamos, R 10 e arg 0 w seja a funo de argumento adequada. Observe que
d
0 e (0) 0, (2 ) 4 ) , ou seja, a funo angulo (t ) sempre crescente o que significa
dt
que o vetor diretor e i (t ) realiza duas voltas completas enquanto o vetor diretor e it realiza uma volta.
1 1
Por outro lado, digamos, se para r r0 0,2 , teremos p ( z ) z 1 , z 0,04 , o que
2 2

5 25
significa que os valores de p ( z ) para z 0,2 esto todos em um disco de raio 0,04 em torno do ponto
p (0) 1 ; bem distante da origem . No necessrio repetir este tipo de estimativa para fazer experincias
computacionais; basta seguir a argumentao de Gauss.
1 2 1 1
b- p( z ) z z z . ( Este polinmio ter uma interessante interpretao probabilstica mais
3

2 4 8
frente ).
c- p( z ) z 5 z 4 2 z 3 z 2 z 2
d- p ( z ) z 5 5 z 4 10 z 3 11z 2 7 z 2
OBSERVAO: Para que os grficos das curvas desenhados na tela do computador ou, impressos,
tenham um valor geomtrico interpretativo necessrio que sejam feitos em escalas apropriadas, isto , que sejam
suficientemente grandes mas que caibam no espao visual disponvel. Para determinar estas escalas, a experincia a
melhor conselheira, sempre.

4-Conseqncias Algbricas do Teorema Fundamental da lgebra

A primeira conseqncia deste Teorema o seguinte resultado que relaciona uma
propriedade funcional (zeros) com a estrutura algbrica de um polinmio:
1- Teorema: Dado um polinmio complexo de grau n 1 , p( z ) a0 ..... a n z n , um
nmero complexo raiz de p ( z ) se e somente se p ( z ) for divisvel por z , ou
seja, se for possvel escrever p( z ) ( z ) q( z ) , onde q ( z ) um polinmio.
 Demonstrao: A demonstrao deste teorema se baseia no algortmo para a diviso de polinmios.
Considere ento um nmero complexo qualquer e o polinmio de primeiro grau d ( z ) z . O
algoritmo de diviso de p ( z ) por d ( z ) z segue um protocolo:
1)Se grau{ p} 1 , p( z ) a 0 ..... a n z , a n 0 , multiplicamos (maliciosamente) d ( z ) z
n

n 1 n 1
por a n z ( z ) tenha grau{r1 } n 1 .
para que o polinmio resto r1 ( z ) p ( z ) a n z
2)Se grau{r1 } grau{d } 1 ,terminamos o processo e escrevemos p ( z ) ( z )q ( z ) r , com um
nmero complexo r , pois, neste caso, grau{r1 } 0 .
3)Caso contrrio, teremos r1 ( z ) bm z ....., com 1 m n 1 e repetimos o mesmo procedimento
m

anterior, obtendo r2 ( z ) r1 ( z ) bm z
m 1
( z ) de grau{r2 } m 1 .
4)Este processo obviamente terminar no mximo com n etapas (talvez, antes) at que o resto seja um
r
polinmio de grau zero, ou seja, um nmero complexo . Reunindo todo o processo, obteremos um quociente
n 1
q ( z ) b0 ..... bn 1 z ( obviamente de grau n 1 ) com o qual podemos escrever
p ( z ) ( z )q ( z ) r e de onde fica clara a afirmao do teorema pois, ser raiz de p ( z ) , se e somente se,
r 0 , o que equivalente a dizer p ( z ) divisvel por z . Observe que podemos escrever o resultado da
p( z) r
diviso tambm na forma: q( z ) onde bn 1 a n .
z z
Exerccio:
Verifique se z i raiz dos polinmios abaixo utilizando o critrio da diviso tal como demonstrado acima:
1) p ( z ) z 4 2 z 3 2 z 2 2 z 1 ,
2) p ( z ) 3 z 3 iz .

A seguir, como conseqncia quase imediata teremos o seguinte importante resultado que
determina completamente a estrutura algbrica fatorizada dos polinmios, que so originalmente
definidos por somas:

2-Teorema: (Fatorao de Polinmios Gerais em polinmios de Primeiro Grau)

Todo polinmio complexo de grau n 1 , p( z ) a0 ..... a n z pode ser fatorado como
n

produto de polinmios de primeiro grau na forma: p( z ) a n ( z 1 ) ( z n ) .

Demonstrao:
Suponhamos que 1 seja uma raiz. Aplicando o resultado acima podemos escrever ,
p ( z ) ( z 1 ) q1 ( z ) onde q1 ( z ) b0 ...... bn 1 z n 1 , e , em particular, bn 1 a n , ou seja, o
coeficiente de maior grau do dividendo herdado pelo quociente desta diviso.
Se n 1 e q1 ( z ) tem grau 1 , repetimos o mesmo argumento, agora com q1 ( z ) e sua raiz 2
( garantida pelo teorema fundamental da lgebra), escrevendo p ( z ) ( z 1 ) ( z 2 ) q 2 ( z ) . Portanto, aps n
etapas semelhantes obteremos o ltimo polinmio q n ( z ) a n , de grau zero, ou seja,
p ( z ) ( z 1 ) ( z n ) a n , o que prova a afirmao do teorema.
Exerccio:
Verifique que z i e z 1 , so razes do polinmio p ( z ) z 4 2 z 3 2 z 2 2 z 1 ,
e decomponha-o em produtos de primeiro grau.

Uma importante conseqncia do teorema acima o seguinte

3-Teorema: Todo polinmio complexo de grau n 1 tem exatamente n razes, algumas

podendo ser repetidas.
n
Demonstrao: Suponha que p ( z ) a k z k tenha grau n 1 , ou seja, a n 0 .Usando o resultado
k 0

acima temos p ( z ) a n ( z 1 ) ( z n ) . Ento para qualquer complexo distinto das razes

explicitadas acima, isto , k , k 1,..., n , p ( ) a n ( 1 ) ( n ) que obviamente
diferente de zero, pois nenhum dos fatores se anula e no existe produto nulo nos complexos sem que algum
 fator seja nulo.Com isto, vemos que a decomposio p( z ) a n ( z 1 ) ( z n ) do polinmio nica
e utiliza todas as suas razes.

Observaes:
1)Observe que a contagem das razes se d pelas vezes que comparece na fatorao e no pelos seus valores
distintos. Assim, por exemplo, p ( z ) z 5 ( z 0) ( z 0) ( z 0) ( z 0) ( z 0) tm 5 razes, todas
elas com um nico valor k 0 , k 1,2,3,4,5. ).
2)O conhecimento das n razes de um polinmio de grau n 1 da forma p ( z ) z a n 1 z ... a 0
n

(isto , com coeficiente de maior grau fixo, a n 1 ) equivalente a conhecer o polinmio, ou seja, no s ele
determina suas razes, como elas determinam o polinmio. Se polinmio de grau n tiver a forma
p ( z ) a n z n a n 1 z ... a 0 , ento sua fatorao ser da forma:. p ( z ) a n ( z 1 ) ( z n ) e as
suas razes e o coeficiente de maior ordem determinam o polinmio.
3) Em particular, um polinmio p ( z ) z a n 1 z ... a 0 com coeficientes reais pode ser identificado
n

com um ponto P ( 1 ,......., n ) no espao R n . Com isto, razovel suspeitar que a probabilidade de
escolher aleatoriamente um polinmio e que ele resulte com razes repetidas, nula! Para ilustrar a idia,
considere a magreza da linha 1 2 no espao R 2 comparada com toda a extenso do plano no caso de
grau 2. Portanto, a menos que haja algum processo determinstico (humano ou matemtico) por detrs da escolha
de um polinmio, podemos considera-lo na prtica sempre como tendo razes distintas. Ou, pensando de outra
forma, se um polinmio montado para ter razes coincidentes, um pequeno rudo na sua estrutura
(coeficientes) destruir esta propriedade.

Para efeito de clculos que realizaremos mais tarde, so tambm teis o seguintes teoremas:

4-Teorema: Se p ( z ) for um polinmio p( z ) a n z n ..... a 0 de grau n e se anula em

n 1 pontos distintos, ento p ( z ) 0 z C , ou seja, p (z ) o polinmio identicamente
nulo.
Demonstrao: Como j vimos acima, um polinmio de grau n s poder se anular em suas razes que so no
mximo n pontos distintos e, talvez menos pontos se houver multiplicidade de razes. Se o polinmio tem
grau n e se anula em mais de n pontos distintos, ele s poder ser nulo.

5-Teorema: Se dois polinmios p ( z ) e q ( z ) com, grau[ p ] N e grau[q] N ., tm os

mesmos valores em N 1 pontos distintos, ento eles so idnticos, isto ,
p ( z ) q ( z ) z C e, portanto, tem o mesmo grau.
Demonstrao: Basta tomar o polinmio h( z ) p ( z ) q ( z ) que tem grau N e se anula em N 1
pontos distintos, de onde vem que h( z ) identicamente nulo. Isto mostra que igualdade funcional entre
polinmios decidida com o teste de igualdade de valores em apenas um nmero finito de pontos (quaisquer)
no plano complexo.

6-Teorema: Princpio de identidade dos polinmios: Se dois polinmios quaisquer

kN kN
p( z) ak z k e q( z)
k 0
b
k 0
k z k de graus N

tiverem os mesmos valores p ( z j ) q ( z j ) em N 1 pontos distintos z j , 1 j N 1 ,

ento, necessariamente, a k bk 0 k N . Em particular, se assumirem os mesmos valores em todo
o plano complexo (igualdade funcional), eles sero idnticos: a k bk 0k N.
Demonstrao: Exerccio.

Em muitas situaes temos um polinmio de coeficientes reais e gostaramos de fator-

lo em polinmios reais de menor grau possvel. Como j vimos, nem sempre poderemos
utilizar somente polinmios de grau 1 como fatores, pois razes complexas podem
ocorrer. O teorema seguinte nos d a resposta adequada a esta questo.
 7-Teorema: Se p R[z ] , isto , se p ( z ) for um polinmio de coeficientes reais (
n
p ( z ) a k z k , a k R ) ento suas razes complexas comparecem em pares conjugados,
k 0
ou seja, se p ( ) 0 ento p ( ) 0 . Neste caso podemos fatora-lo em polinmios reais de
grau 1 correspondentes s razes reais e de grau 2 correspondentes aos pares complexos no
reais.
Demonstrao: Basta recolhermos todos os pares complexos com partes imaginrias no nulas , da
decomposio p ( z ) a n ( z 1 ) ( z n ) e juntar seus respectivos fatores (complexos) na forma:
( z )( z ) z 2 2Re[ ] z
2
, que um polinmio real de grau 2. Enfim, um polinmio de
coeficientes reais pode ser escrito na forma:
p( x) a n ( x r1 ) ( z rm )x 2 2c1 x d1 x 2 2c s x d s , onde temos m razes reais
s k , k , onde c k Re k , d k k
2
rk e pares de razes complexas conjugadas e,
obviamente, m 2 s n .

O conjunto das funes complexas polinomiais de grau n , para um n 0 , fixo,

n

denotado por Pn [C ] p ( z ) a k z , a k C constitui um espao vetorial com escalares
k

k 0
complexos considerando as operaes usuais de soma e multiplicao por escalares. Como
de se esperar o conjunto de n 1 funes {1, z , z 2 ,...., z n } forma uma base deste espao
que, portanto, tem dimenso n 1 . Para demonstrar esta ltima afirmao basta lembrar o
resultado acima sobre identidade de polinomios, ou seja, que no possivel obter duas
funes polinomiais identicas com coeficientes distintos. Embora a base cannica seja
utilizada com mais frequencia para caracterizar um polinomio, nem sempre esta a melhor
forma de representa-los, e outras bases podem ser mais convenientes para outros propositos.
E existe uma grande variedade delas, algumas das quais sero abordadas dependendo da
conveniencia. Uma variao simples mas, importante, destas bases so as que utilizam
monmios com raizes no nulas como por exemplo {1, z z 0 , z z 0 ,...., z z 0 } que se
2 n

k n
diz centrada em z 0 . Um polinomio p ( z ) a
k 0
k z k pode ser expresso nesta nova base

bastando para isto escrever

k

k n k n n n
p ( z ) a k z z 0 z 0 a k C k , j z 0 z z 0 a k C k , j z 0 z z 0
k k j j k j j

k 0 k 0 j 0 j 0 k j
k n n
Ou, modificando os ndces escrevemos p ( z ) bk ( z z 0 ) , onde bk C r ,k a r z 0
k r k
.
k 0 r k
(Esta transformao mais fcil de ser feita do que escrita).
Tambm conveniente em alguns casos (por exemplo, na interpolao de Lagrange) utilizar
uma base com n razes distintas, ou seja,
1, z 1 , z 1 z 2 , ....., z 1 z 2 z n . Neste caso, fcil obter a
n
transformao pois, se p( z ) c 0 c k ( z 1 ) ( z k ) , podemos calcular os coeficientes
k 1
c k recursivamente:, p( 1 ) c0 , p ( 2 ) c 0 c1 ( 2 1 )......... ..
Exercicios:
Escreva o polinomio p( z ) z 5 3iz 3 2 z 1 nas bases: a) z 1
k
,0k 5 , e b)
1, z, z ( z 1), z ( z 1)( z 2), z ( z 1)( z 2)( z 3), z ( z 1)( z 2)( z 3)( z 4) .
O estudo de polinmios uma rea importante da Matemtica por sua diversas aplicaes. A
importncia destas funes pode ser inferida pelo prestigio e quantidade de nomes de matemticos
que so atribudos s diversas bases de polinmios: Legendre, Tchebytchev, Gegenbauer e etc. (ref.
Trefethen, Davis)

5- Localizao de Razes em Regies do Plano Complexo

O teorema fundamental da lgebra no indica, nem sugere explicitamente, como obter
frmulas ou algortmos para o clculo de razes de um polinmio e, primeira vista, a mera garantia
de existencia delas tende a parecer intil para determina-las. Porm, nada mais enganoso!
Como j foi mencionado no capitulo I, a questo sobre a existncia de frmulas para o
clculo de razes de um polinmio p ( z ) a 0 .... a n z na forma F (a 0 , a1 ,......, a n ) onde F
n

seria uma funo algbrica elementar (isto , constituda apenas por composio de funes
racionais ( diviso de polinmios), com radiciao, potncias fracionrias) foi negativamente
fechada para equaes de grau maior do que 6 pelo matemtico noruegus N.H. Abel (1802-1829).
(Isto, em 1824 , quando ele tinha ainda 21 anos, e aps quase 3 sculos de busca incessante pelos mais influentes
matemticos. A biografia de Abel uma histria notvel sob os pontos de vista humano, matemtico e filosfico, alm
de instrutiva. v. Stubhaug, Pesic, Alekseev-Arnold).
Mas, claro que esta surpreendente inexistncia de frmulas elementares para razes de
polinmios significa somente que a restrio imposta para a representao das razes por uma
frmula ( isto , que F ( a 0 , a1 ,......, a n ) seja uma funo algbrica) muito forte ou seja, muito
exigente. O prprio Abel avanou consideravelmente no estudo de uma classe no elementar e
importante de funes, chamadas elpticas, com o objetivo de construir uma frmula mais
sofisticada para razes polinomiais, mas esta outra histria. Gauss mostrou, e ns repetimos sua
argumentao acima, que qualquer polinmio tem raiz; a funo F (a 0 , a1 ,......, a n ) que pode
no ser to simples quanto se supunha, ou como se desejava! Portanto, j que as razes sempre
existem e, no havendo frmulas elementares para calcul-las, resta-nos procurar mtodos que
permitam localiza-las. O teorema fundamental da lgebra resolve a questo de existncia e o
Mtodo Geomtrico de Gauss utilizado na sua demonstrao permitir o desenvolvimento de
mtodos de clculo aproximado das razes de polinmios. Se no por sua elegncia, esta
demonstrao tem tambm vantagens de ordem prtica!

6a-Localizao de Razes com Respeito Retas : Mtodo de Mikhailov-Nyquist

A localizao de razes com respeito ordenada vertical ( eixo imaginrio ) uma questo
fundamental no estudo de estabilidade de solues de equaes diferenciais. (v. Bassanezi-Ferreira).
Nesta seo apresentaremos o chamado mtodo geomtrico de Mikhailov que se baseia
essencialmente nas idias geomtricas de Gauss.
Observe que uma reta no uma curva fechada no sentido estrito do termo mas, sob o ponto de vista de Riemann ( que
identifica o plano complexo com a superfcie de uma esfera), toda reta uma curva fechada que passa pelo ponto
( o polo Norte da esfera de Riemann). Portanto, no de todo surpreendente que a mesma idia possa ser empregada
neste caso.
Iniciemos experimentalmente com a funo f ( z ) z , onde Re 0 , para evitar que o
campo f (z ) se anule sobre o eixo imaginrio descrito pela trajetria orientada ( de baixo para
cima): z (t ) it , t .
Assim, o argumento do vetor w(t ) f z (t ) f it it realizar uma rotao no valor
de quando z (t ) it percorre o eixo vertical para t . Esta rotao ser no sentido
positivo (anti-horrio) se Re 0 e negativo ( sentido horrio) se Re 0 . (Verifique estas
afirmaes com um esboo grfico que, esclarece a idia, simples e, ajuda a lembrar dos sinais corretos ). Portanto,
o sentido da variao do arg[ w(t )] nos fornece um critrio simples que indica a localizao de
com respeito ao eixo de ordenadas verticais, isto , o chamado eixo imaginrio.
Generalizemos esta argumentao para um polinmio geral de grau n 1 escrito na forma
p ( z ) ( z 1 ) ( z n ) . ).
 Observemos antes que w(t ) p z (t ) p (it ) it a n 1 it ....... a 0 , pode ser
n n 1

calculado computacionalmente de forma direta, sem necessidade de resolver nenhuma equao.

Observe ainda que a curva resultante no plano w ter primeira coordenada (parte real) dada pelas
potncias pares de t e a coordenada vertical (parte imaginria) pelas potncias mpares de t .
Se todas as razes do polinmio estiverem esquerda do eixo imaginrio, isto , se
Re k 0 , ento, calculando a variao de
arg[w(t )] arg(it 1 ) (it n ) arg[(it 1 )] arg[(it n )]
podemos concluir facilmente que cada termo arg[(it k )] contribuir com uma variao de no
sentido positivo o que resultar em um acrscimo total no argumento de w(t ) p z (t ) de n .
Por outro lado, se pelo menos uma das razes, digamos k 0 estiver localizada direita do eixo
imaginrio ( Re k 0 0 ), o termo arg[(it k 0 )] no apenas deixar de contribuir para a variao
positiva, mas contribuir com uma variao negativa; neste caso a variao total de
arg[ w(t )] arg[ pit ] arg(it 1 ) (it n ) arg[( it 1 )] arg[(it n )]
ser (n 2) . De uma forma geral se e razes estiverem do lado esquerdo e d do lado direito,
e d n , teremos uma variao total de arg[ wt ] e d .
Portanto, a localizao da razes de um polinmio com respeito aos semiplanos
determinados pela reta vertical z (t ) it , t , ( eixo das ordenadas/imaginrio)
completamente resolvida pela observao do nmero e sentido das rotaes totais que o vetor
w(t ) p (it ) realiza com respeito a origem, ou, o que d no mesmo, o nmero de laos que a
curva descrita por w(t ) p (it ) efetua na origem.
Observao Computacional:
Este procedimento depende da representao grfica da curva que, em geral, obtida computacionalmente. Entretanto,
como impossvel representar graficamente toda a curva (infinita), necessrio escolher um intervalo finito m t m para sua
efetiva computao mas que, por outro lado, produza toda a informao desejada. A questo prtica : Como escolher m ?
Para isto, observemos que com valores muito grandes de t 0 ( t ) o argumento de w(t ) se estabiliza ( ou seja, no
h mais rotao de w(t ) ) pois,

arg[w(t )] arg[ p z (t ) ] arg it a n1 it
n n 1
....... a0

a a in
arg[(it ) n ] arg1 n 1 .... 0 n arg[(it ) n ] arg[t e n 2
]n .
it (it ) 2
Para t , necessrio discriminar a paridade do grau do polinmio. Se for de grau par n 2q , ento



in in
arg[ w(t )] arg (it ) n arg t 2 q e arg e n , mas se for de grau mpar, n 2q 1 , ento
2 2
2

in

in

arg[w(t )] arg (it ) n argt 2 q 1e 2 arg e 2 n .
2

Assim, podemos prever o ngulo de entrada e o ngulo de sada da curva. Antes da entrada e depois da sada nada de
interessante acontece curva, em termos de rotao.
Por exemplo, um polinmio de grau 5 p ( z ) z 5 a 4 z 4 .... a 0 sempre produzir um grfico de Mikhailov

w(t ) p (it ) que dever entrar ( t ) pelo ngulo 5 arg[i ] e dever sair ( t ) pelo ngulo
2

5 arg[i ] .
2
claro que o Mtodo de Mikhailov desenvolvido para o eixo vertical das ordenadas, pode
ser igualmente repetido para qualquer reta do plano complexo. Ou seja, se z (t ) z 0 t , z 0 , C
for a parametrizao de uma reta no plano complexo, podemos analisar a localizao das razes de
um polinmio p (z ) com respeito aos semi-planos definidos por ela simplesmente pela rotao da
curva w(t ) p ( z 0 t ) .
Exerccios:
 n 1
1-Mostre que para um polinmio de coeficientes reais p ( z ) z a n 1 z .... a0 , a k R , basta
n

obter apenas a representao grfica da curva w(t ) p (it ) , t 0 , ou, ento da curva
w(t ) p (it ) , 0 t .
2-Considere um polinmio de segundo grau p ( z ) z 2 2z 1 , R e determine a regio do plano
complexo S R para cujos valores de S ,o polinmio p (z ) assintoticamente estvel, isto , suas razes
1, 2 , so tais que Re 1, 2 0 . Utilize para isto a frmula de Baskhara e o Mtodo de Mikhailov, comparando os
resultados.
3-Analise a localizao das razes do polinmio abaixo com respeito ao eixo imaginrio pelo mtodo
geomtrico de Mikhailov.
p( z ) z 2 2 z 2 z 3 z 4 4 z 3 z 2 6 z 18
2

4-Analise a localizao das razes do polinmio acima com respeito s retas

a- z (t ) 2 it
b- z (t ) (1 i )t
pelo mtodo geomtrico de Mikhailov.
6B*- Interpretao de uma funo complexa como Campo Vetorial: ndice de Rotao
Sendo o plano complexo, antes de tudo, um campo vetorial, podemos interpretar o nmero
complexo z como sendo um ponto, ou uma posio geomtrica do plano domnio e, o nmero
complexo w f (z ) como um vetor associado ao ponto z , no plano domnio. Observe que,
geometricamente, z e w tem interpretaes bem diferentes ( um como ponto,e o outro como
vetor) embora sejam igualmente nmeros complexos, e vetores do plano. De certa maneira, neste
cenrio, toda a ao se passa no prprio plano complexo z ; pois no se cogita de um outro
plano w , como no caso anterior. A interpretao de funes complexas como mapeamento
muito mais comum na Anlise Complexa, mas a sua interpretao como campo vetorial tm vrias
aplicaes importantes e deve ser destacada para que a distino fique bem estabelecida; nada
impede todavia que se passe de uma para outra interpretao no estudo de uma mesma funo,
dependendo da convenincia. A matemtica insinua mas no impe interpretaes; isto fica
totalmente por conta da imaginao, livre arbtrio e risco do observador.
Considerando a funo da seo anterior, f ( z ) z 2 , podemos representar este campo
vetorial na forma usual do clculo elementar de vrias variveis na seguinte maneira:
F ( x, y ) F1 ( x, y ) , F2 ( x, y ) , F1 ( x, y ) x 2 y 2 , F2 ( x, y ) 2 xy . A simplicidade formal da
representao complexa marcante mas no a sua nica vantagem, a grande vantagem ser
fornecida pela anlise complexa. (A propsito, experimente fazer o mesmo com o campo vetorial plano
f ( z ) z 5 , ou f ( z ) z 5 (2 i ) z 4 3 z 3 z e i 5 , e compare as duas representaes).
A interpretao de uma funo f (z ) como campo vetorial plano nos possibilita introduzir
um conceito importante: o de ndice de um campo com relao a (ou, sobre) uma curva fechada
orientada. Para isto, consideremos uma curva fechada C orientada, descrita pela trajetria
z t z (t ) , 0 t 1 , z (0) z (1) , ( que a percorre no sentido da orientao de C) , situada no domnio da

funo f e suponhamos ainda que f ( z ) 0 , se z C. J que este campo nunca se anula sobre a
curva C, considere agora o ngulo (t ) arg f ( z (t )) iniciando com o argumento principal para
t 0 , isto , 0 arg f ( z 0 ) 2 , e, da por diante, seguindo continuamente com a funo (t )
. Observe que esta condio de continuidade implica em particular que, no caso de t t1 e (t ) 2 , o valor
de (t1 ) dever ser tomado como (t1 ) 2 , e no o valor principal do argumento, ou seja, 0 , o que
determinaria uma descontinuidade de (t ) em t1 . Esta uma condio natural mas, como tudo em matemtica,
deve ser explicitada se no for uma conseqncia lgica. Assim, por exemplo, se f ( z ) z 2 , para a curva C

descrita pela trajetria z (t ) re it , temos (t ) arg re i 2 t 2t .

*Exerccios:
Determine o ndice da funo complexa ( campo vetorial) f ( z ) z 2 iz 1 com respeito s seguintes
curvas fechadas usando uma representao grfica ( computacional, de preferencia, ou manual):
 1 it
a-A curva com trao e orientao descrita pela trajetria z (t ) e , 0 t 2 ,
2
11 it
b- A curva com trao e orientao descrita pela trajetria z (t ) 5e
it
e , 0 t 2
2
c- A curva C cujo trao o quadrado de vrtices ( 3,3) com orientao no sentido anti-horrio.

O ndice de um campo f com relao a uma curva fechada orientada C, que se denota por
ind C f ser definido geometricamente ( e intuitivamente) como o nmero de voltas completas
que o campo efetua durante o percurso da curva no seu sentido dado. Ainda no exemplo acima,
temos ind C z 2 . Se a curva for o mesmo crculo, mas com a outra orientao (sentido horrio) ,
2

que denotaremos por C , ento, ind C z 2 .

2

Uma boa referncia introdutria sobre o conceito de ndices de campos o texto R.Courant-
F.John (Introduction to Analysis vol. 1 e 2 ), e uma referncia com uma enorme riqueza de
informaes e excelente leitura M.A.Krasnoselskii. No contexto especfico da anlise complexa
veja L.Ahlfors.

6 C*-Localizao de Razes com Respeito a Crculos, Polgonos e Curvas Fechadas

Simples
A delimitao de regies no plano complexo que contenham as razes de um polinmio uma tarefa crucial
no apenas para o clculo numrico destas razes, mas tambm sob o ponto de vista terico, especialmente com respeito
a questes de estabilidade de solues de equaes a diferena ou diferenciais. (. V. Bassanezi-Ferreira).
Para tratarmos disso, voltaremos ao conceito de ndice, que j era utilizado de certa forma por Gauss, e
consideremos o caso simples, mas fundamental, do seu clculo para a funo (campo vetorial) f ( z ) z com
respeito curvas fechadas que no passam por .
Analisaremos inicialmente o ndice de f ( z ) z com respeito a crculos concntricos origem, sentido
positivo.
Tomemos a trajetria z (t ) re it que descreve o crculo no sentido positivo, e tomemos para comear o caso
r , ou seja, quando o ponto for interior ao crculo. No difcil concluir (talvez com a ajuda de um esboo
simples) que o argumento do vetor w(t ) f ( z (t )) z (t ) re it realiza um acrscimo positivo de 2 ,
isto , ind C r [ f ( z )] 1 , e este resultado vlido para qualquer crculo que tenha no seu interior.
Por outro lado, se agora considerarmos r , ou seja, exterior ao crculo, tambm no
difcil concluir que o argumento do vetor w(t ) re it f ( z (t )) R (t ) e i ( t ) manter um valor dentro de um
cone de viso de abertura M , ou seja, (t1 ) (t 2 ) M ( t1 , t 2 0 t1 t 2 2 ). (O cone
mais aberto ( M ) conforme o ponto se aproxima do crculo pelo lado de fora). Isto significa em particular
que o argumento de w(t ) jamais completar uma volta, nem no sentido negativo (horrio) nem no sentido positivo
(anti-horrio).
Esta mesma argumentao, na verdade, pode ser refeita para qualquer curva fechada simples (sem auto-
interseo), como elipses e polgonos e outras bem mais complicadas.
A importncia fundamental do conceito de ndice consiste em que conhecendo apenas os valores da funo
f ( z ) z sobre uma curva fechada e orientada, podemos determinar se interior ou exterior regio
envolvida pela curva.
Exerccios:
1-Esquematize e faa diversas experincias grficas baseado(a) neste tipo de argumentao.
2-Mostre, com esboos grficos, que se uma curva fechada z (t ) for convexa (isto , sem reentrncias)
ento, para um ponto exterior regio delimitada por ela, teremos sempre (t1 ) (t 2 ) , onde
w(t ) z (t ) R (t ) e i ( t ) .
2-Analise a questo acima para curvas no convexas e sem auto-intersees.

n 1
Seja agora um polinmio de grau n 1 da forma p ( z ) z a n 1 z ...... a 0 , que pelo teorema
n

fundamental da lgebra pode ser escrito como p ( z ) ( z 1 ) ( z n ) e consideremos o seu ndice com
respeito um crculo orientado descrito pela trajetria z (t ) re it 0 t 2 . Para isso, teremos que construir o
grfico da curva fechada ( lao) w(t ) p z (t ) p ( re it ) , o que computacionalmente realizado de forma
direta, sem necessidade de resolver nenhuma equao.
Se todas as razes do polinmio estiverem dentro do crculo, calculando

arg[ w(t )] arg (re it 1 ) (re it n ) arg[(re it 1 )] arg[(re it n )] ,
podemos concluir, facilmente, de acordo com a discusso anterior, que cada termo arg[( z k )] contribuir com um
acrscimo de 2 , resultando assim em um acrscimo total de n 2 para o argumento de w(t ) p z (t ) . Por
outro lado, se pelo menos uma das razes estiver localizada exteriormente ao crculo percorrido, tambm podemos
concluir que a variao total do argumento de w(t ) p z (t ) ser menor do que n 2 .

Portanto, conclumos que a anlise grfica do arg[ w(t )] arg p z (t ) suficiente para localizar as
razes do polinmio p (z ) com respeito ao interior do crculo descrito por z (t ) re it . Este resultado pode ser
considerado uma grande barganha pois obtemos uma informao crucial sobre a localizao de razes sem resolver
nenhuma equao, apenas pelo clculo direto e, relativamente simples, dos valores do polinmio nos pontos das curvas.
Exerccios:
1)Considere os polinmios
a- p ( z ) z 2 1 .
1 2 1 1
b- p ( z ) z z z .
3

2 4 8
c- p ( z ) z 5 z 4 2 z 3 z 2 z 2
e, utilizando a teoria do ndice, localize suas razes com respeito s curvas:
1 it
a- z (t ) e 0 t 2
2
b- z (t ) 2e it 0 t 2
c- z (t ) 5e it 9e it 0 t 2 .
Observao: Atente bem para a escala dos grficos para no confundir pequenos laos com pontos (escala
muito grande) ou, deixar de ver os laos ( escala muito pequena).
2-Verifique o nmero de razes dos polinmios acima definidos que se encontram no tringulo formado pelos
vrtices: A 5 4i , B 3i , C 7 , pelo mtodo de Mikhailov e pelo argumento do ndice.

Teoremas que estabelecem condies para que razes de um polinmio se localizem todas dentro do crculo
unitrio so importantes em matemtica, pura e aplicada, especialmente na teoria de estabilidade de solues de
equaes a diferenas e anlise numrica.

Notas
1-A propsito e coincidentemente dois matemticos dentre os mais importantes do sculo XX, Isadore Singer e
Michael Atiyah, acabam de ganhar o Nobel de Matemtica , que se chama Abel (US$875,000 dlares bancados
pela Academia de Cincias da Noruega em homenagem ao prprio N.H.Abel) principalmente por conta de um trabalho
que eles realizaram nas dcadas de 1960/70 ( Teorema do ndice !) e que consistia exatamente em um mtodo
( sofisticado e abstrato, por certo) para a contagem do nmero de solues de equaes diferenciais parciais. Como se
pode ver, h vrias coincidncias com as idias e os personagens citados acima. Para maiores detalhes consulte:
http://www.abelprisen.no/en/prisvinnere/ )
2-Veremos mais adiante como esta argumentao pode ser estendida para determinar a localizao de razes de
funes complexas que so, de certa forma, extenses de polinmios; um assunto de grande importncia para vrias
questes da Matemtica, pura e aplicada.( v. Dellnitz). interessante observar ainda que um dos problemas
matemticos mais antigos e, importante pela suas inmeras e surpreendentes conexes com diversas reas da
Matemtica e da Fsica, refere-se exatamente localizao dos zeros (razes) de uma determinada funo de varivel
complexa, chamada funo zeta de Riemann. Este problema foi formulado por G.F.B.Riemann em 1859 e permanece
em aberto at hoje ( 21Maro 2005). Consulte a respeito, referncias como Derbyshire, Havil e, se voc estiver
precisando de algum dinheiro extra, una o til ao agradvel e visite tambm o stio do Clay Institute of Mathematics que
estabeleceu prmios de US$1milho para a resoluo de qualquer problema de uma lista de sete, um deles a hiptese de
Riemann

7-Operadores Diferenciais Lineares de Coeficientes Constantes

Uma das aplicaes mais bsicas e importantes das funes de varivel complexa, e
particularmente de polinmios, a resoluo explcita e elementar de equaes diferenciais
lineares de coeficientes constantes. Esta classe de equaes diferenciais ( e sistemas de
equaes) utilizada como modelos matemticos para a representao de oscilaes de
 dispositivos mecnicos, eltricos e fsicos em geral sendo fundamentais tanto para o estudo
de inmeros problemas em Engenharia e Fsica como tambm na teoria matemtica geral
das equaes diferenciais. Apresentaremos aqui os elementos bsicos desta rea e sua
conexo com o material deste captulo.
O modelo mecnico introduzido por Galileo, Huygens no sculo XVII e formalizado
no contexto do Calculo Diferencial por Newton para um sistema massa-mola-viscosidade
serve de prottipo para obtermos equaes diferenciais que descreve o modelo bsico a
partir do qual muito da teoria de oscilaes se desenvolve. Neste modelo uma massa pontual
m est apoiada sobre uma superficie horizontal sem atrito de contato e conectada por uma
mola a uma posio fixa direita.Sem deformao da mola a posio da massa est na
origem: para um deslocamento positivo (para a direita) a mola comprimida e, para um
deslocamento negativo (para a esquerda) a mola distendida. Em qualquer dos casos a mola
reage com uma fora proporcional sua deformao e no sentido de restaurar a posio, ou
seja, no sentido contrrio deformao. Alm disso, supomos que h um atrito viscoso
exercido sobre a massa por um meio fluido em que ela est imersa na forma de uma fora
proporcional sua velocidade e contrria ao movimento. Levando em conta apenas estes
aspectos e a segunda lei de Newton, se x(t ) o deslocamento da massa a partir da origem
no instante t , podemos escrever:
d 2x dx
m 2 c kx . O problema tem por objetivo caracterizar a funo incognita
dt dt
que descreve o movimento da massa, x(t ) , uma vez indicadas a sua posio inicial
dx
x(0) x0 .e sua velocidade inicial, (0) v0 . Para resolver a questo nos fixaremos na
dt
equao diferencial para determinarmos a classe de funes que a satisfazem. Para isto,
modificaremos a notao matemtica e adotaremos a notao operacional de Heaviside,
d d2
escrevendo a operao (funcional) derivada na forma D, 2 D 2 , etc. , o que a
dt dt
simplifica consideravelemente. Assim a equao diferencial acima pode ser escrita na forma
funcional especialmente sugestiva
mD 2
cD k x 0
onde a operao efetuada sobre a funo incognita auto-explicativa. Pela sua notvel
semelhana com a simbologia de um polinmio, designaremos esta operao operador polinomial
de derivao e o associaremos ao polinomio algbrico p( ) m2 c k . Para sacramentar esta
associao escreveremos a operao diferencial na forma p ( D) mD 2 cD k .
Como em toda equao matemtica, o foco deve sempre estar na operao que a define.
Neste caso, iniciaremos por analisar a atuao do operador polinomial sobre funes exponenciais
complexas da forma e t , C , j que estas se comportam especialmente bem com relao
operao derivada. E , de fato, facil concluir a importante, mas simples propriedade:
.
p ( D)et mD 2 e t cDe t ke t m 2 c k et p ( )e t
Portanto, se procuramos as funes que so anuladas pelo operador diferencial
p (D ) , (isto , as solues da equao diferencial p ( D ) x 0 ),basta que tomemos as
funes e t , onde uma raiz do polinomio algebrico (associado) p ( ) m2 c k .
Assim, se 1e 2 so as razes do polinmio algbrico p( ) m2 c k , dispomos de
duas solues, que denominaremos bsicas e a1t e e 2t . Sendo p (D) uma operao linear,
todas as combinaes lineares z (t ) c1e 1t c 2 e 2t , c1 , c 2 C tambm sero solues.
Com isto, podemos avaliar a importnicia da possibilidade de calcularmos raizes de
polinomios para a resoluo de equaes diferenciais ordinarias. A teoria de EDO de fato
prova que havendo duas raizes distintas (o que a situao genrica, como j sabemos) a
 classe de solues decrita acima na forma z (t ) c1e 1t c 2 e 2t , c1 , c 2 C , contem todas
as solues possiveis da equao. Para obtermos a soluo (real) do problema Fsico, basta
impor as condies iniciais de posio e velocidade que determinaro os coeficientes
indeterminados c1 , c 2 C e a Matemtica far o resto para que obtenhamos uma soluo
real (que complexa!).
Exerccio:
Considere o Modelo mecnico de um sistema massa-mola-viscosidade descrito pela equao

diferencial
x 2 x 2x . Obtenha a funo que representa a oscilao resultante da liberao da massa aps
seu deslocamento de duas unidades de comprimento esquerda e, partindo do repouso. (Matematicamente, isto
significa que a soluo x (t ) especfica deste problema, deve satisfazer s condies iniciais

x (0) 2 , x (0) 0 , alm da equao diferencial).

A soluo de problemas no-hmogneos, isto , da forma geral P ( D ) x f , onde x(t ) a

funo incognita e f (t ) uma funo conhecida que representa a influencia exterior sobre o
sistema, no pode ser resolvida em termos elementares para f (t ) muito geral.
(Para se convencer disto basta lembrar que no Calculo Elementar a soluo para o simples problema
dx
Dx f ( p ( ) ) significaria obter a integral indefinida da funo f (t ) em termos elementares, um
dt
problema na maioria das vezes impossivel e frequentemente dificlimo. de se esperar que para operadores polinomiais
de ordem superior a dificuldade s deve aumentar!)
Portanto, necessrio ser mais especfico. Isto se consegue considerando a classe de funes

f (t ) e it para R que representam oscilaes com frequencia e periodo
2
2
T 1
ou, f (t T ) f (t ) .

2
Mas a propriedade fundamental dos operadores diferenciais polinomiais , nos fornece
1
imediatamente uma resoluo (dita particular) de P ( D) x e it , na forma: x0 (t ) e it .
P (i )
Acrescentando a ela todas as solues da equao homognea, a soluo geral da equao no
1
homognea toma a forma : x(t ) e it c1e 1t c 2 e 2t , onde os coeficientes c1 , c 2 so
P (i )
numeros complexos arbitrarios.
A estrategia de Fourier, que representa grande parte da funes interessantes f (t ) na forma
de superposies de oscilaes, isto , sries ou integrais de Fourier (respectivamente na forma

f (t ) a

k e ikt ou, f (t ) a ( k )e
ikt
dk ) possibilita a resoluo da equao diferencial para todas

estas funes. Para maiores informaes a respeito do Mtodo Operacional de Heaviside e suas
aplicaes consulte Bassanezi-Ferreira.
Exerccio:
Considere o Modelo mecnico de um sistema massa-mola-viscosidade vertical preso ao teto e

submetido fora gravitacional constante f (t ) mg ,e descrito pela equao diferencial
x 2 x 2x mg .
Utilizando o Mtodo Operacional, obtenha a funo que representa a oscilao resultante do deslocamento da
massa em duas unidades de comprimento para cima (a partir da sua posio de no deformao da mola) e,
liberando-a do repouso. (Matematicamente, isto significa que a soluo x (t ) especfica deste problema, deve

satisfazer s condies iniciais x (0) 2 , x (0) 0 , alm da equao diferencial. Observe que
f (t ) mge 0it .
REFERNCIAS:
Histria: http://www-history.mcs.st-andrews.ac.uk/history/
Referencias na Rede: http://archives.math.utk.edu/
L. Ahlfors-Complex Analysis, McGraw-Hill 1966
V.Alekseev-Abels Theorem in Problems and Solutions, Springer 2004. (Based on Vladimir
Arnolds Lectures)
D. Arnold- http://www.ima.umn.edu/~arnold/complex.html
R.C.Bassanezi-W.C.Ferreira Jr.-Equaes Diferenciais e Aplicaes, Harbra, 1988
E. Barber-Polynomials, Springer
G.Birkhoff-S.MacLane- Modern Algebra, AmMathSoc 2000 (ed. Original 1941)
W.Chinn-N.Steenrod-Introduction to Elementary Topology, MAA Press
Clay Institute of Mathematics: http://www.claymath.org/millennium/.
R.Courant-Clculo Diferencial e Integral, vol. 2, Ed. Globo, P. Alegre 1958
P.Davis-Interpolation and Approximation, Dover
M.Dellnitz-O.Schtze-Q.Zheng-Locating all the Zeros of an Analytic Function of one
Complex Variable , online: http://math-www.uni-paderborn.de/~agdellnitz ( 2000)
J.Derbyshire-Prime Obsession: Bernhard Riemann and the Greatest Unsolved Problem in
Mathematics, J. Henry Press 2003 online: http://www.nap.edu/catalog/10532.html
( resenha: Nature 09Oct2003 pg. 562).
U.Forys-Biological Delay Systems and the Mikhailov Stability Criterion, J.Biol.Syst. 12(1),
2004, 45-69
J.Havil- Gamma, Princeton Univ. Press, 2001
P. Henrici-Applied and Computational Complex Analysis, vol. 1 ,J.Wiley
M.A.Krasnoselskii & al.- Plane Vector Fields, Pergamon 1966.
A.Kurosch-Curso de lgebra Superior, Ed. Mir 1968 (trad. do russo).
C.Lanczos-Applied Analysis, Dover 1988 (ed. Orig. 1956).
(Lanczos, um autor que sempre deve ser consultado pela sua clareza expositiva e criatividade. Em particular, neste contexto
consulte os captulos sobre polinmios e series de potncias. )
T. Needham-Visual Complex Analysis, Oxford Univ. Press
P. Pesic-Abels Proof: An Essay on the Sources and Meaning of Mathematical
Unsolvability, MIT Press 2003.( v. tambm resenha do livro e comentrios por L. Garding em Notices of
Am.Math.Soc. 51(3) March 2004 pg. 331-332)
H.Schwerdtfeger-The Geometry of Complex Numbers, Dover
A.Stubhaug-Niels Hendrik Abel, Springer 2000
L.Trefethen-D.Bau-Numerical Linear Algebra, SIAM
L.N.Trefethen-Chebychev Methods..