M

etodo subham
onico de Melnikov
Hildeberto Eulalio Cabral
UFPE
Centro de Ciencias Exatas e da Natureza
Departamento de Matematica
31 de agosto de 2009

Sum
ario

ii

SUMARIO


SUMARIO

1 Introduc c
ao

Vamos considerar um sistema Hamiltoniano com dois graus de liberdade da forma

1
1 2
H(x1 , x2 , y1 , y2 ; ) = y12 + V0 (x1 ) +
y2 + 2 x22 + V1 (x1 , x2 ) + O(2 ),
2
2
que descreve a dinamica de um sistema que e uma perturbac
ao de um sistema mecanico
com potencial V0 (x1 ) acoplado com um oscilador harmonico.
Introduzindo as coordenadas acao-
angulo (I, ) no plano (x2 , y2 ),
r

2I
x2 =
cos , y2 = 2I sin ,

e fazendo x1 = x e y1 = y, o Hamiltoniano nas vari

aveis canonicas x, y, I, torna-se
r
2I
1 2
H(x, y, I, ; ) = y + V0 (x) + I + V1 (x,
cos ) + O(2 ),
2

e e periodico em com perodo 2.

Fixando a energia, H(x, y, I, ; ) = h, suponha que podemos resolver esta equac
ao em
relacao a I para obter
I = K(x, y, ; h, ).
Desenvolvendo em serie de potencias de , obtemos
K = K0 (x, y, ; h) + K1 (x, y, ; h) + O(2 ),
com K0 e K1 dados por

1
1 2
K0 =
h y V0 (x) ,

1
K1 = V1

x,

!
2I
cos .

Como
Hx + HI Kx = 0,

Hy + HI Ky = 0,

usando como a nova variavel independente e denotando por 0 a derivada em relac

ao a ,
y 0 = y/
de modo que as equac
temos x0 = x/
,
,
oes do movimento
x = Hy ,

y = Hx ,

I = H ,

= HI ,

quando este e restrito `a superfcie de energia h sao dadas por

0 = Kx =

K0
K1
+
+ O(2 ),
y
y

0 = Ky =

K0
K1

+ O(2 ).
x
x

(1)

Este e um sistema Hamiltoniano dependente do tempo ; ele e uma perturbac

ao de um
sistema Hamiltoniano autonomo no plano com a perturbac
ao sendo 2-periodica em .
Vamos admitir agora que o potencial V0 (x) tem um mnimo nao-degenerado (ou um
maximo nao-degenerado) como mostrado na figura abaixo. As orbitas do sistema naoperturbado sao dadas por
1 2
y + V0 (x) = h ,
2

K0 = .


SUMARIO

2
O valor de K0 correspondente ao
equilbrio e c = hV0 (a) . Na vizinhanca do ponto de mnimo as
orbitas sao periodicas, dependentes
do parametro e vamos supor que
o perodo e uma funcao diferenciavel
() com derivada positiva, 0 () >
2
0; () cresce desde o valor
, onde

p 00
= V0 (a), que e o perodo das
oscilacoes lineares.

Regio com rbitas peridicas de perodo crescente

Para cada par de inteiros positivos, relativamente primos, m and n com m > n, existe
m
uma u
nica soluc
ao do sistema nao-perturbado com perodo 2. Entao, m 2 tambem e
n
um perodo desta soluc
ao e como este e um perodo do sistema perturbado podemos naturalmente colocar a questao de se achar uma solucao m 2-periodica do sistema perturbado.
O problema e ent
ao descobrir para que pares de inteiros m e n esta bifurcacao a partir de
m
uma soluc
ao n 2-periodica do sistema nao-perturbado ocorre.
A tecnica a ser usada e o metodo de Melnikov que vamos descrever a seguir.

2 The Subharmonic Melnikov Method

Consideremos o sistema nao-aut

onomo no plano
x = f (x) + g(x, t, ),

(2)

onde f (x) e g(x, t, ) sao de classe C 2 , sao limitadas em conjuntos limitados, e g e T-periodica
em t. Suponhamos ale disso que o sistema nao-perturbado, isto e, quando = 0, tenha as
seguintes propridades:
(1) ele e um sistema Hamiltoniano com um equilbrio hyperbolico em x0 .
(2) Existe uma regiao preenchida por solucoes periodicas do sistema nao-perturbado,
que se expandem desde o equilbrio.
(3) O perodo desta famlia de solucoes periodicas e uma funcao diferenciavel da area da
regiao limitada pela orbita e tem derivada positiva em relacao `a area.
Seja x (t), 1 < < 0 a famlia de solucoes periodicas do sistema nao-perturbado, com
condicoes iniciais x (0) sobre um arco que emana do equilbrio.
Denotemos por T o perodo da solucao x (t). Seja x (t) uma solucao periodica do
sistema nao-perturbado com perodo T = m
n T e consideremos, para cada , a integral
Z nT

f (x (t + t0 )) g(x (t + t0 ), t, 0)dt.
M (t0 ) =
0

M (t

0)

e chamada a integral de Poincare-Melnikov da solucao ressonante x (t).

O metodo e expresso no seguinte teorema que e dado em Guckenheimer & Holmes ([1],
Ch. 4), numa forma ligeiramente diferente. Apresentaremos uma demonstracao que difere
da que aparece nesta referencia e que tem um enfoque mais geometrico.


SUMARIO

Teorema 0.0.1 Seja x (t) uma soluc

ao do sistema n
ao-perturbado com perodo T = m
n T.

Se M (t0 ) tem um zero simples em t0 , ent

ao existe um n
umero positivo (m, n) tal que para
0 < || < (m, n), o sistema perturbado (2) tem uma soluca
o peri
odica com perodo mT ,
com condic
ao inicial pr
oxima de x (t0 ) e que permanece pr
oxima de x (t + t0 ), para todo o
tempo.
Para a demonstracao deste teorema, vamos primeiro provar um lema.
Seja x (t, t0 ) a solucao do sistema perturbado com a mesma condic
ao inicial que x (t +

t0 ), i.e., x (0, t0 ) = x (t0 ). Entao, por um resultado standard em expansoes assint

oticas (Cf.
A.N. Tikhonov et al., [3], Ch. VII), existe um (m, n) > 0 tal que para todo || < (m, n) a
aproximacao
x (t, t0 ) = x (t + t0 ) + x1 (t, t0 ) + O(2 ),
e valida uniformemente para t no intervalo [0, nT ], com x1 (t, t0 ) dado pela equac
ao variacional
x 1 (t, t0 ) = Df (x (t + t0 )) x1 (t, t0 ) + g(x (t + t0 ), t), x1 (0, t0 ) = 0.
Lemma Com a notac
ao acima, temos
(1) f (x (t0 )) [x (nT , t0 ) x (0, t0 )] = M (t0 ) + O(2 ).
(2) f (x (t0 ))[x (nT , t0 )x (0, t0 )] = M (t0 )f (x (t0 )) x 1 (nT , t0 )+O( 2 )+O(2 ),
onde = nT nT e uma func
ao diferenci
avel crescente de .
Proof Temos
Z

f (x (t0 ))

[x (nT , t0 )

x (0, t0 )]

=
0

nT

d
[f (x (t + t0 )) x (t, t0 )]dt.
dt

Em vista da expressao acima para x (t, t0 ) e da equac

ao que x1 (t, t0 ) satisfaz, o integrando
torna-se
Df (x (t + t0 )) f (x (t + t0 )) x (t + t0 ) + [Df (x (t + t0 )) f (x (t + t0 )) x1 (t, t0 )
+f (x (t + t0 )) Df (x (t + t0 )) x1 (t, t0 )] + f (x (t + t0 )) g(x (t + t0 ), t) + O(2 ).
A primeira parcela e igual a
a

dt [f (x (t + t0 )) x (t + t0 )]

enquanto que a segunda e igual

[ trace Df (x (t + t0 ))]f (x (t + t0 )) x1 (t, t0 ).

Por conseguinte, segue-se o item (1) porque nT e um perodo de x (t + t0 ), e o traco e
zero uma vez que o sistema nao-perturbado e hamiltoniano.
Agora, o item (2) segue de (1) e das seguintes igualdades
x (nT , t0 ) x (0, t0 ) =
x (nT , t0 ) x (0, t0 ) x (nT , t0 ) + O( 2 ),
e

x (nT , t0 ) = f (x (t0 )) + x 1 (nT , t0 ) + O(2 ).

Demonstra
c
ao do Teorema 0.0.1 Seja V (, t0 , ) = x (nT , t0 ) x (0, t0 ), e considere
os conjuntos de nvel zero k and das func
oes diferenciaveis
(, t0 , ) = f (x (t0 )) V (, t0 , )


SUMARIO

4
e
(, t0 , ) = f (x (t0 )) V (, t0 , ).

Entao, V (, t0 , ) anula-se exatamente na intersecc

ao de k e . Note that o conjunto
de nvel zero de V consiste precisamente dos pontos (, t0 , ) para os quais x (0, t0 ) e a
condicao initcial de uma solucao mT -periodica do sistema -perturbado.
Para todo t0 , temos (, t0 , 0) = 0 e, assim, a reta (, t0 , 0) esta contida no conjunto
. Agora, em coordenadas acao-angulo dentro da regiao no entorno do equilbrio,
I = I(, t0 ),

= (, t0 ),

temos que
f (x (0)) = (0, f2 ()),

x (nT ) x (0) = (0, (I))

sendo I uma funcao crescente de e (I) uma func

ao decrescente de I. Como

(, t0 , 0) = f (x )
(x (nT ) x (0))|= = f2 () 0 (I)I 0 () 6= 0,

o teorema das funcoes implcitas mostra que, numa vizinhanca de t0 = t0 , = 0, e o

grafico de uma funcao diferenciavel, = (t0 , ).

Fazendo = e (,
t0 , ) = 1 ((), t0 , ), o Lema acima mostra que (,
t0 , ) =

e uma func

M (t0 ) + O(). Agora,

ao diferenci avel de (, t0 , ) e (,
t0 , 0) = M (t0 ), de
modo que se t0 e um zero simples de M (t0 ), o teorema das func
oes implcitas novamente

mostra que o conjunto S: (,

t0 , ) = 0 define uma superfcie suave, grafico de uma func
ao
1

C , t0 = t0 (, ), numa vizinhanca de = 0, = 0, t0 = t0 (0, 0).

Finalmente, notemos que that a aplicac
ao C 1
G(, t0 , ) = ((), t0 , )
tem uma inversa C 1 , G1 (, t0 , ) = ( 1 (), t0 , ), definida para 6= 0. Do modo como
G e definida e pela posicao da superfcie , vemos que a superfcie G1 ( (, t0 , 0))
intersecta a superfcie S ao longo de uma curva suave.
Por conseguinte, numa vizinhanca suficientemente pequena de
t0
(, t0 , 0), o conjunto G(S) = k
intersecta ao longo de uma
curva suave = (), t0 = t0 (),
e
cada ponto da qual e uma condicao
inicial de uma solucao mT -periodica
a
do sistema perturbado (ao aplicar
o teorema das funcoes implcitas
A curva de condies iniciais de solues subharmnicas
poderemos ser obrigados a diminuir
o n
umero (m, n)). QED