Você está na página 1de 13

UNIVERSIDADE FEDERAL RURAL DO RIO DE JANEIRO

INSTITUTO DE CINCIAS EXATAS (ICE)


DEPARTAMENTO DE MATEMTICA (DEMAT)
EQUAES DIFERENCIAIS (IC259)

CRITRIO DE HURWITZ COMO FERRAMENTA


PARA CLASSIFICAO DE EQUILBRIOS DE
SISTEMAS DE EQUAES DIFERENCIAIS QUANTO
ESTABILIDADE

Mario Jorge dos Reis Moura: 201021531-1


Igor Siqueira:

1. Introduo: Condies para soluo nica e mxima


2. Pontos Fixos e Estabilidade
2.1. Pontos Fixos Assintoticamente Estveis
2.2. Estabilidade dos Sistemas Lineares
2.2.1. Sistemas Lineares
2.2.2. Sistemas Quase-Lineares
2.2.3. Caso Geral
3. Critrio de Hurwitz
3.1. Introduo
3.2. Exemplos e Aplicaes

1. Introduo: Condies para soluo nica e mxima


Seja o sistema de equaes diferenciais da forma = (). Uma soluo
deste sistema uma funo diferencivel : tal que para todo ,
() = (()). O par ordenado (0 , 0 ) IR tal que (0 ) = 0 chamado
de condio inicial.
Teorema 1: Sejam um domnio, : uma funo e 0
. Ento existe uma nica soluo do sistema = (), satisfazendo a
condio inicial (0 ) = 0 .
Definio 1: Chama-se soluo mxima do sistema = () a toda
soluo definida num intervalo , denominado intervalo mximo de , tal que
se uma outra soluo em um intervalo com e = | , ento = . Em
outras palavras, mxima se no admite nenhuma extenso que tambm
seja soluo.
Ou seja, se a soluo local nica, ento a soluo mxima tambm
nica.
Lema 1: Seja contnua num domnio de . Se () uma soluo
mxima nica do sistema = () definida em ( , + ) ento a aplicao ()
tende a fronteira quando + ou .

2. Pontos Fixos e Estabilidade


Definio 2: Seja uma soluo do sistema = (). Se () = 0 para
todo , ento () = 0, para todo . Como () = (()) = (0 ), temos que
(0 ) = 0.

2.1. Pontos Fixos Assintoticamente Estveis


Definio 3: Um ponto fixo 0 do sistema = () com , estvel
quando para toda vizinhana de 0 existe uma vizinhana 1 de 0 tal que
toda soluo () com (0) 1 est definida, sendo que () est em para
todo 0.

Definio 4: O ponto fixo assintoticamente estvel se existe uma


vizinhana 1 que pode ser escolhida de tal maneira que alm das propriedades
acima, o

()

= 0 .

2.2. Estabilidade dos sistemas de equaes diferenciais


2.2.1. Sistemas Lineares
Suponhamos () = , onde uma matriz real de ordem . Ento a
origem 0 um ponto fixo de = e toda soluo da forma () =
, definida para todo . Observemos que a soluo satisfazendo a uma
determinada condio inicial nica uma vez que toda aplicao linear () =
contnua e derivvel em , com derivada contnua.

Lema 2: As seguintes afirmaes so equivalentes:


a) 0 ponto fixo assintoticamente estvel de = .
b) Todos os autovalores de tm parte real negativa.

2.2.2. Sistemas Quase-Lineares

Consideremos o sistema quase linear = + (), onde uma


matriz real de ordem , uma funo , com (0) = (0) e () = (||||),
isto ,

()
0 ||||

= 0.

Vamos utilizar o mtodo da variao de parmetros para encontrarmos


uma soluo do sistema quase-linear = + (). Sabemos previamente a
soluo do sistema linear = , ento podemos prever uma boa tentativa
para a soluo do quase-linear:
() = ()

()

onde um vetor a ser determinado. Observemos que se um vetor


constante, ento satisfaz ao sistema linear. Derivando a expresso acima
com relao a obtemos:
() = () + () = () + ()

Como () soluo do sistema quase linear = + (), ento:


() + () = () + (())
ou
() = (())
Integrando temos:

() = (()) +
0

Portanto, um candidato para a soluo do sistema quase linear :

() = [ (()) + ]

()

Para verificar que a equao anterior uma soluo do sistema em


questo, derivando () em (*):

()

= (()) +

[ (()) + ] = (()) + () = () +
0

e de fato a equao (**) uma soluo para o sistema quase linear.


Observemos que, como uma matriz de ordem e (0) = 0, ento a
soluo nula um equilbrio do sistema quase-linear.
Teorema 2 (Condio suficiente para que este equilbrio seja um ponto
fixo assintoticamente estvel):
Consideremos o sistema quase linear

= + (),

onde = { ; |||| < }, uma matriz de ordem cujos autovalores tm


parte real negativa, e () = (||||). Ento a soluo nula
assintoticamente estvel.

2.2.3. O Caso Geral


Nosso objetivo estudar a estabilidade dos equilbrios de um sistema de
equaes diferenciais da forma = (), com : IR IR de classe .

Seja 0 um equilbrio. Observemos que 0 pode ser transladado para a


origem, pois tomando = 0 , ento = ( + 0 ). Logo, = 0 o equilibrio
do sistema transladado. Podemos supor que 0 = 0.
Se uma funo de classe , com (0) = 0 ento existe uma
vizinhana de 0 tal que, para todo :
() = (0) () + (),
onde (0) a matriz Jacobiana e tem as seguintes propriedades:

a) ;
b) () = (||||)
Assim, numa vizinhana de 0, o sistema se escreve como um sistema
quase-linear () =

1
() +
2 (0)

() (considerando o polinmio de Taylor de

em 0 , cujo grau 1). A estabilidade ento pode ser obtida via anlise dos
autovalores da matriz Jacobiana. Em outras palavras:
Critrio de Estabilidade: Seja o sistema = () com : IR IR , e 0
um equilbrio. Se todos os autovalores de (0) tiverem parte real negativa
ento 0 um equilbrio assintoticamente estvel.
3. Critrio de Hurwitz
3.1. Introduo
O estudo da estabilidade atravs dos autovalores nos leva ao estudo dos
zeros do polinmio caracterstico de (0 ) . Para sistemas de dimenso seria
interessante encontrarmos um mecanismo que proporcionasse uma maneira
fcil e gil de dizermos quais os sinais da parte real dos autovalores.
O mecanismo usado o Critrio de Hurwitz. Embora ele no diga quais
so as razes, este critrio pode dizer quando um polinmio tem todas as
razes (os autovalores) com parte real negativa, sem calcul-las.
Seja o polinmio () = 0 + + , com , 0 > 0. A partir de
seus coeficientes e para = 1, , construmos os seguintes determinantes:

Estamos supondo = 0, para > .


A matriz que d origem ao determinante conhecida como Matriz de
Hurwitz.
Teorema 3 (Critrio de Hurwitz): Sejam , = 1, , , 0 > 0 e o
polinmio

() = 0 + + .

Ento, () estvel se e somente se > 0 para = 1, 2, , .


Sejam = (), com : IR IR de classe e 0 um ponto de
equilbrio. Suponhamos que seja de nosso interesse saber se 0 um ponto
fixo assintoticamente estvel. Para isto, consideremos a Jacobiana de em 0 ,
isto , a matriz (0 ) . Precisamos conhecer a parte real de seus autovalores.
Se todos os autovalores tiverem parte real negativa, ento 0 um ponto
assintoticamente estvel.

Lema 2: Seja o polinmio () = 0 + + , . Dizemos que


estvel se todos os seus zeros tm parte real negativa.
Lema 3: Se o polinmio () = 0 + + estvel ento , =
1, 2, tm o mesmo sinal.
Lema 4: Um polinmio estvel quando todas as suas razes tm parte
real negativa.
Precisamos analisar as razes do polinmio caracterstico () = 0 +
+ de (0 ). Para descobrir se os autovalores da matriz Jacobiana tm
parte real negativa, devemos encontrar as matrizes de Hurwitz, a partir dos
coeficientes do polinmio caracterstico da Jacobiana. Caso todos os
coeficientes

sejam

positivos

podemos

afirmar

que

equilbrio

assintoticamente estvel.
3.2. Exemplos e aplicaes
a) Equao de Lorenz
Ao estudar a dinmica dos fluidos, Lorenz desenvolveu o seguinte
sistema:
= +
=
= +
A varivel est relacionada intensidade do movimento do fluido,
enquanto as variveis e esto relacionadas a variaes de temperatura na
direo horizontal e vertical. Os parmetros , e so todos reais e positivos.
Os pontos de equilbrio so 1 = (0,0,0) (para qualquer valor de ), 2 =
(, , 1) e 3 = (, , 1), sendo = ( 1). Para isto utilizaremos:

que a Matriz Jacobiana de 1, 2 , , com respeito as variveis 1 , 2 , , .

Estabilidade do equilbrio :

Calculando a matriz Jacobiana neste ponto obtemos

= |
0

0
1 0 |
0

Seu polinmio caracterstico


() = + ( + 1 + )2 + ((1 + ) + ( + 1)) + (1 )
Para < 1 temos que todos os coeficientes de () so positivos. Ento
podemos utilizar o Critrio de Hurwitz.
Encontrando as matrizes de Hurwitz:

Como > 0 para = 1, 2, 3, temos pelo Critrio de Hurwitz que o


equilbrio 1 estvel.

b) Estabilidade de polinmios (computacional)


Vamos verificar se o polinmio
5 + 10 4 + 33 3 + 47 2 + 38 + 15
estvel. Podemos aplicar o Critrio de Hurwitz, pois todos os termos do
polinmio so positivos. Construindo as matrizes com estes coeficientes e
calculando seus determinantes obtemos:

Pelo Critrio de Hurwitz, o polinmio estvel.


1

De fato. Fatorando obtemos ( + 2 + 23) ( + 2 23) ( + 1)( + 3)( + 5), de


1
2

forma que todas as razes

1
23

1
2

, +

e, por definio, o polinmio estvel.

1
23

, 1, 3, 5 tm parte real negativa

Referncias Bibliogrficas:

a) R.S.Gilcia;

Critrio

de

Hurwitz

Estabilidade

de

Equilbrios

(Dissertao de Mestrado UFMG);

Livros
a) BOYCE,

W.;

DIPRIMA,

R. Equaes

Diferenciais Elementares

Problemas de Valores de Contorno, 7 edio, 1999.

Sites
a) http://www.professores.uff.br/gbenitez/Aula_6.pdf

b) http://www.ime.unicamp.br/~laeciocb/notas%20de%20aula_mt624%2
0(1).pdf