Afirmao:

Sejam f : R R funes continuas definidas em todo R onde f T -peridica e g limitada

e (decrescente ou T -peridica) com a imagem de f contida na imagem de g.
Ento a equao (1 ) u0 = f (t) + g(u) tem pelo menos uma soluo peridica.
Demonstrao
Como f continua definida em todo R, temos que f continua em [0, T ], logo existe mximo
e mnimo de f em [0, T ].
Sejam m = min{f (t)} e M = max{f (t)}, ento = inf{g(u)} m e = sup{g(u)} M .
[0,T ] [0,T ]
Como f e g so funes continuas pelo teorema de Peano temos que existe soluo da equao
(1 ).
Assim,
a) Suponha l cte:
Pela definio de soluo inferior temos que 0 f (t) + g(l), logo f (t) g(l).
Da, g(l) cota inferior de f , logo g(l) m.
Sendo m e g continua, segue que, existe l0 R tal que g(l0 ) = m.
Portanto, l l0 .
b) Suponha u cte:
Pela definio de soluo superior temos que 0 f (t) + g(u), logo f (t) g(u).
Da, g(u) cota superior de f , logo g(u) M .
Sendo M e g continua, segue que, existe u0 R tal que g(u0 ) = M .
Portanto, u u0 .
encia,
Em consequ
1) f T-peridica por hiptese.
2) l l0 talque g(l0 ) = min{f (t)} soluo inferior de (1 ),
[0,T ]
u u0 talque g(u0 ) max{f (t)} soluo superior de (1 ).
[0,T ]

3) l(0) = l0 l0 = l(T ) e u(0) = u0 u0 = u(T )

4) l(t) = l0 u0 = u(t), para todo t R, pois
como g(l0 ) = min{f (t)} max{f (t)} = g(u0 )
[0,T ] [0,T ]

4.1) No caso g T -peridica podemos tomar l0 [T , 0] eu0 [0, T ], da l0 u0 .

4.2) No caso g decrescente g(u0 ) g(l0 ) implica l0 u0 .
Portanto, de (1)-(4) usando o teorema 1 tem pelo menos uma soluo peridica.
Teorema 1 Considere a equao (2 ) v 0 = f (t, v) onde f (t + T, v) = f (t, v). Se (2 ) tem
solues u(superior) e l(inferior) tais que:
1. l(0) l(T ), u(0) u(T ),
2. l(t) l(t), para todo t [0, T ].
Ento (2 ) tem uma soluo peridica.
Usando tambm o teorema 1 segue-se que a equao (3 ) u0 = f (t) + g(un ), n R, com
as mesmas hipteses da afirmao, tem uma soluo peridica quando n impar.
Porm, para n par, s podemos garantir a exist
encia de soluo peridica de (3 ) quando g
peridica mas, no necessariamente para g decrescente.

1
Exemplos:

1) u0 = sen2 (t) + cos(u2 ):

2) u0 = sen(t) tan1 (u):