COMPACTIFICAO DE POINCAR DE CAMPOS VETORIAIS POLINOMIAIS PLANARES: TEORIA E EXEMPLOS POINCAR COMPACTIFICATION OF PLANAR POLYNOMIAL VECTOR FIELDS: THEORY

AND EXAMPLES
Alisson de Carvalho Reinol, Marcelo Messias.
Departamento de Matemtica, Estatstica e Computao, DMEC, FCT, UNESP. Caixa Postal 266, 19.060-900, Presidente Prudente, SP. E-mail: alisson_carv@hotmail.com,marcelo@fct.unesp.br, FAPESP

Palavras-Chave: Compatificao de Poincar; Disco Poincar; campos vetoriais polinomiais. Keywords: Poincar Compatification; Poincar Disc; polynomial vector fields

INTRODUO
Ao estudarmos o retrato de fase de um campo vetorial definido no plano R, podem ocorrer solues ilimitadas, que tendem para o infinito. Tais solues no podem ser estudadas globalmente, se considerarmos regies compactas do plano. Se as funes que definem o campo vetorial forem polinomiais, existe uma tcnica, conhecida como compactificao de Poincar, que nos permite associar a cada ponto do plano um ponto do disco de centro na origem e raio 1, de tal maneira que o bordo do disco, ou seja, a circunferncia {x + y = 1} , corresponde aos pontos do plano no infinito. Assim, o estudo das solues ilimitadas numa vizinhana do infinito corresponde ao estudo das solues do campo compactificado na vizinhana do bordo do disco. Neste trabalho apresentamos a tcnica de compactificao de Poincar e a utilizamos na compactificao de alguns campos vetoriais simples.

sistema de equaes diferenciais ordinrias de primeira ordem dado por

& = P( x1 , x 2 ) x , X : 1 & 2 = Q( x1 , x 2 ) x

onde P e Q so polinmios de grau n. Consideremos o R como o plano contido no espao R3 dado por ou seja, o plano ( y 1, y 2 , y 3 ) = ( x1 , x 2 ,1) , tangente no esfera ponto

S = { y R : y1 + y2 + y3 = 1}

(0,0,1), a qual ser aqui chamada esfera de Poincar. Podemos dividir a esfera em dois hemisfrios (norte, { y 3 >0} e sul, { y 3 <0}), alm do equador dado por { y 3 = 0}. A projeo do campo vetorial X de R em S obtida pela interseco da reta que passa pelo ponto ( x1 , x2 ,1) e pela origem do R3 com o hemisfrio norte (ou sul) de S (ver Fig. 1).

COMPACTIFICAO
Seja X(x 1 ,x 2 ) um campo vetorial definido no R, ao qual est naturalmente associado o
Fig. 1: Projeo central

5810

Para parametrizarmos a esfera S usamos seis grficos, dados por Uk ={yS : yk > 0}, Vk ={y S : yk < 0}, com k = 1,2,3. Os grficos locais correspondentes so

& = P(u , v) u & = Q(u , v) v

A expresso para p(X) nos grficos (V k , k ) a mesma para (U k , k ) multiplicado por (-1) d 1 , para k = 1,2,3. Para estudar X em todo o plano R suficiente trabalhar com a unio do hemisfrio norte com S= {x + y = 1} , o qual chamamos

k : U k R
definidas

k : Vk R

como

k ( y ) = k ( y ) =

ym yn , para m<n e yk yk

m,n k. Denotamos por z = (u,v) o valor de

k ( y ) ou k ( y ) para qualquer k, tal que (u,v)

ter diferentes significados, dependendo do grfico local considerado. Geometricamente, as coordenadas (u,v) podem ser vistas na Fig.2. Os pontos de S no grfico tm v = 0.

disco de Poincar.

METODOLOGIA
Neste trabalho foram utilizados os resultados da teoria qualitativa das equaes diferenciais ordinrias para a anlise das trajetrias dos sistemas (1) e (2) prximo de seu(s) ponto(s) singular(es). Os retratos de fase desses sistemas (Figs. 3 e 5) foram feitos utilizandose o software MAPLE. Em seguida, fizemos a compactificao de Poincar dos sistemas (1) e (2), utilizando as mudanas de coordenadas introduzidas na seo anterior. Com isto, pudemos obter o retrato de fase globas dos

Fig.2: Grficos locais (U k ,

), k=1,2,3, da

sistemas, no disco de Poincar (Figs. 4 e 6) .

esfera de Poincar

A expresso de p(X) no grfico local (U 1 , 1 ) dada por

RESULTADOS
Vamos determinar o retrato de fase no disco de Poincar do sistema linear &=x x (1). & = y y Inicialmente, observamos que este sistema possui apenas um ponto singular, a origem, ou seja, o ponto (0,0). Representando o sistema na forma matricial obtemos
& 1 0 x x y = , & 0 1 y

1 u 1 u & = v d uP u , + Q , v v . v v 1 u & = v d +1 P , v v v A expresso para (U 2 , 2 ) 1 u 1 u & = v d P , uQ , u v v v v u 1 & = v d +1Q , v v v e para (U 3 , 3 )

sendo que a equao caracterstica dada por:

1 = 0 . Assim, os autovalores associados ao ponto

5811

singular do sistema so 1 = 1 e 2 = 1 , donde segue que a origem um ponto de sela (ver Fig. 3).

Fig.4: Retrato de fase no disco de Poincar do sistema (1).

Agora, vamos estudar o retrato de fase no

Fig.3: Retrato de fase do sistema (1): (0,0) um ponto de sela

disco de Poincar do sistema

& = x y x & = y + x y

A expresso para o campo vetorial p(X) no grfico local U 1

& = 2u u . & = v v

(2).

Resolvendo o sistema x y = 0 y + x = 0 obtemos que os pontos singulares como sendo (0,0) e (-1,-1). Agora, analisaremos as trajetrias prximas aos pontos crticos deste sistema. Cosiderando F ( x, y ) = x y e G ( x, y ) = y + x . Note que F e G tm derivadas parciais contnuas at segunda ordem. Logo, o sistema quase linear em uma vizinhana de um ponto crtico (x 0 ,y 0 ) e o sistema linear correspondente ser dado por
F ( x0 , y 0 ) & x x y = & G ( x0 , y 0 ) x F ( x0 , y 0 ) x y . G y ( x0 , y 0 ) y

De maneira anloga ao anterior, verificamos que o sistema possui um nico ponto singular em U 1 , a origem, e que seus autovalores so

1 = 2 e 2 = 1 . Como os autovalores so
reais e negativos, temos um n estvel no infinito. Como o grau de X mpar, a origem de V 1 , tambm, um n estvel. A expresso para p(X) no grfico local U 2
& = 2u u , &=v v

Que possui um nico ponto singular, a origem, com autovalores 1 = 1 e 2 = 2 , donde temos um n instvel. O mesmo verdade para a origem de V 2 . Desenhando o retrato de fase do sistema (1) no disco de Poincar obtemos a Fig. 4. Observe que projetamos o hemisfrio norte da esfera de Poincar para o disco de Poincar paralelo ao eixo y 3 . Note que as nicas separatrizes do sistema so aquelas da sela na origem, que esto contidas nos eixos invariantes x=0 e y=0.
5812

Para (x 0 ,y 0 ) = (0,0), temos

& 1 0 x x y = & 0 1 y

sistema linear cuja equao caracterstica dada por

1 = 0 .
Desta forma, teremos como autovalores

1, 2 = 1 .

Como os autovalores so reais com sinais diferentes, temos um ponto de sela. Para (x 0 ,y 0 ) = (-1,-1), temos
& 1 2 x x y = . & 2 1 y

infinitos adicionais. A nica separatriz do sistema (2) so as separatrizes da sela (0,0). Para localizar tais separatrizes suficiente desenhar a curva H(x,y) = 0, j que H(0,0) = 0. Assim, o retrato de fase do sistema (2) no disco de Poincar dado na Fig.6.

A equao caracterstica dada por

+ 3 = 0 .
Assim, 1, 2 = 3i sero os autovalores. Como os dois autovalores so imaginrios puros, temos um centro ou uma espiral. Neste caso, trata-se de um centro, pois o sistema hamiltoniano. As trajetrias podem ser vistas na Fig.5.
Fig. 6: Retrato de fase no disco de Poincar do sistema (2).

CONCLUSO
Com este trabalho estudamos alguns conceitos da teoria qualitativa das equaes diferenciais ordinrias, criada por Henri Poincar (1854-1912), aplicados a um sistema linear, sistema (1), e um sistema no-linear,
Fig.5: Retrato de fase do sistema (2)

sistema (2). Utilizamos a compactificao de Poincar para determinar os pontos singulares no infinito, estudar sua estabilidade e, assim, desenhar o retrato de fase global dos sistemas estudados, no disco de Poincar.

Agora, calcularemos os pontos singulares infinitos. Seja X o campo vetorial associado a (2). Ento, a expresso para p(X) no grfico local U 1
& = 1 + 2uv + u u & = v + u v v Fazendo anlise anloga a feita anteriormente para o sistema (2), observamos que o sistema acima possui um nico ponto singular, (-1,0), o qual um n instvel no infinito. Uma vez que o grau de X 2, o ponto diametricamente

REFERNCIAS
[1]

ARTS,

J.C.,

DURMOTIER,

F.,

LLIBRE, J. Qualitative Theory of Planar Differential Systems. Springer-Verlag, 2006.

[2]

BOYCE,

W.

E.,

DIPRIMA, elementares

R.C. e

Equaes

diferenciais

oposto um n estvel em V 1 . A expresso para p(X) no grfico local U 2

& = 1 2uv u u & = v u v v

problemas de valores de contorno. 7 ed. Rio de Janeiro: LTC, 2002.

[3] SOTOMAYOR, J. Lies de Equaes

Diferenciais Ordinrias. Rio de Janeiro: Projeto Euclides, IMPA/CNPq, 1979. singulares

5813

Uma vez que a origem de U 2 no um ponto singular no existem pontos