Comportamento assinttico para solues de

certas equaes diferenciais funcionais peridicas

Juliano Ribeiro de Oliveira

SERVIO DE PS-GRADUAO DO ICMC-USP

Data de Depsito: 27 de Fevereiro de 2008
Assinatura:

Comportamento assinttico para solues de

certas equaes diferenciais funcionais peridicas

Juliano Ribeiro de Oliveira

Orientador: Prof. Dr. Miguel Vincius Santini Frasson

Dissertao apresentada ao Instituto de Cincias

Matemticas e de Computao  ICMC/USP, como
parte dos requisitos para obteno do ttulo de
Mestre em Matemtica.

USP - So Carlos
Fevereiro/2008

Aos meu pais Joo e Ana.

Agradecimentos
Agradeo toda minha famlia, pelo apoio e unio.

De maneira especial

aos meus pais Joo e Ana pela grande educao que me deram.
querida tia Gercina que sempre ajudou na minha criao.

minha

Ao meu irmo

pelo companheirismo e amizade. minha namorada Tamiris, que teve que

suportar a distncia que nos separou durante esses anos, e sua famlia que
sempre me apoiou.
Agradeo a todos os meus amigos, em especial, ao Pimenta, com quem
estudo desde 1999, quando zemos o SENAI, depois a faculdade e agora
o mestrado.

Ao cabeudo do Alex, companheiro de cidade natal, futebol,

brincadeiras e trapalhadas. Ao Cludio, com quem dividi a mesma repblica

durante este tempo. Ao Hartmamm e ao Ubarana, companheiros de sala e
de aventuras na bolsa de valores. Ao sempre irreverente Juliano Oler. Ao
Dusse, tambm companheiro de rep. minha turma (Giu, Duzinho, Thiago,
Leito, Lucas, Thas, Wescley, Yuri). Ao pessoal do futebol (Prof. Marcelo
Saia, Aldcio, Chalapa, Sandro da cantina, Walter, Joo Paulo, Cssio,
Lacassa, Fernando, Pedro, Kengi, Homero, Jean).
Agradeo tambm a todos os professores, funcionrios e amigos de todas
escolas nas quais j estudei, ao pessoal da E.E. Prof. Ivo Liboni, onde estudei 11 anos, da escola prossionalizante SENAI, da UNESP de Presidente
Prudente, e agora do ICMC-USP. Gostaria de agradecer Capes pelo apoio
nanceiro.

Por m, agradeo de maneira especial ao meu orientador Mi-

guel Vincius Santini Frasson, que me ajudou muito nesta caminhada, teve
pacincia e que at disps de seu tempo livre para me ajudar.

Resumo
Estamos interessados em estudar o comportamento assinttico das solues
de uma classe de Equaes Diferenciais Funcionais (EDF) lineares e autnomas do tipo neutro, onde os coecientes, na parte no neutra, so funes
peridicas de perodo comum

e os retardamentos so mltiplos de

Para

isto, utilizamo-nos da teoria espectral de operadores aplicada ao chamado

operador monodrmico : C C ,
um passo de tamanho

cuja ao evoluir um dado estado

Calculamos o resolvente deste operador, donde

inferimos todas as propriedades espectrais que nos permitem determinar o

comportamento assinttico das solues.

Mostramos a importncia de se

determinar autovalores dominantes para a obteno das estimativas, e mostramos resultados neste sentido. Estudamos em detalhe trs exemplos que
ilustram a teoria e demonstram sua aplicabilidade.

Palavras-chave:

Equaes diferenciais funcionais, equaes peridicas, com-

portamento assinttico, teoria espectral, dominncia de autovalores.

Abstract
We are interested in the study of the asymptotic behavior of the solutions of
a class of linear autonomous Functional Dierential Equations (FDE) of neutral type, where the coecients of the non neutral part are periodic functions
with common period

and the time delays are multiples of

We employ

monodromic
operator : C C , whose action is to evolve a given state one step of size
the spectral theory for linear operators applied to the so called

We compute the resolvent of this operator, from where we infer the spec-

tral properties that allows us to determine the asymptotic behavior of the

solutions.

We show the importance to determine whether an eigenvalue is

dominant, in order to obtain the estimates for the correspondet solution, and
we show results in this direction. Finally we study in detail three examples
that illustrate the theory and demonstrate its applicability.

Keywords:

Functional dierential equations, periodic equations, asymptotic

behavior, spectral theory, dominance of eigenvalues.

Sumrio
Apresentao

11

Teoria Bsica de Equaes Diferenciais Funcionais

13

1.1

Introduo . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

13

1.2

Teoria qualitativa . . . . . . . . . . . . . . . . . . . . . . . . .

16

1.3

Sistemas lineares gerais . . . . . . . . . . . . . . . . . . . . . .

17

1.4

Operador soluo para sistemas lineares

18

Sistemas Peridicos

21

2.1

Sistemas peridicos com retardamento

2.2

. . . . . . . . . . . .

. . . . . . . . . . . . .

21

Sistemas peridicos neutros

. . . . . . . . . . . . . . . . . . .

28

31

Teoria espectral . . . . . . . . . . . . . . . . . . . . . . . . . .

31

3.2

O operador monodrmico

3.3

Uma Classe de Sistemas Peridicos

3.1

Comportamento assinttico

. . . . . . . . . . . . . . . . . . . .

34

. . . . . . . . . . . . . . . . . . .

38

Algumas Aplicaes

43

4.1

Um exemplo estudado

. . . . . . . . . . . . . . . . . . . . . .

43

4.2

Exemplo sem autoespaos de dimenso nita . . . . . . . . . .

47

4.3

Certas equaes peridicas simples

48

. . . . . . . . . . . . . . .

A Dominncia de Razes de Equaes Caractersticas

51

A.1

Uma condio para a dominncia de razes . . . . . . . . . . .

52

A.2

Uma equao simples . . . . . . . . . . . . . . . . . . . . . . .

55

Referncias

59

ndice Remissivo

61

10

Apresentao
Estamos interessados no estudo das solues das Equaes Diferenciais Funcionais (EDF) do tipo neutro, na forma

d
x(t) +
dt

ci x(t i)

= a(t)x(t) +

i=1

(1)

bi (t), i = 1, 2, . . . , k , so contnuas e -peridicas, ci ,

i = 0, 1, . . . , k , (assumimos c0 = 1) so nmeros reais, no necessariamente
no-nulos. Notamos que os retardamentos so mltiplos do perodo .
Sob a restrio de que as constantes ci , i = 1, . . . , k , so nulas, o comonde as funes

a(t)

bi (t)x(t i),
i=1

portamento assinttico das solues de (1) foi estudado por Hale & Verduyn
Lunel [6] e Frasson & Verduyn Lunel [3]. Baseamo-nos principalmente nas
idias usadas em [3], implementando as adaptaes necessrias para incorporar os retardamentos na parte neutra.
Para esta classe de equaes, recentemente Philos & Purnaras [8] publicaram resultados interessantes. Este trabalho inspirou a forma da equao (1)
estudada neste trabalho.
O mtodo que empregamos o estudo do comportamento assinttico
baseado na anlise das propriedades espectrais do operador monodrmico,
que evolui um determinado estado, partindo de

t=0

at

t = .

Mostramos

que o comportamento assinttico obtido desde que se conhea que um

determinado autovalor
existe

>0

do operador monodrmico dominante, isto ,

tal que todo outro autovalor

satisfaz

|| < |0 |

. Tambm,

no pode ser autovalor de um operador soluo da equao diferena

associado a (1).

No Apndice A, apresentamos resultados que implicam a

dominncia de um determinado zero de funes que tipicamente aparecem

como equaes caractersticas de equaes diferenciais funcionais.
Em [8], utilizando-se de outros meios distintos dos nossos, seus autores obtm o comportamento assinttico das solues que podem ser obtidos com a

11

combinao dos resultados aqui apresentados no Captulo 3 e no Apndice A.

Nossos resultados so mais gerais, visto que pode-se obter a dominncia por
outros meios. Na Seo 4.1, por exemplo, estudamos uma EDF em que no
seria possvel derivar o comportamento assinttico das solues utilizando-se
apenas os resultados contidos em [8], pois no h zero que satisfaa a hiptese (P(0 )) do Teorema 1 de [8]. No entanto, fomos capazes de encontrar o
autovalor dominante e derivar o comportamento assinttico das solues.
Esta dissertao est organizada da seguinte maneira.

No Captulo 1,

apresentamos brevemente a teoria bsica das Equaes Diferenciais Funcionais, com ateno especial s equaes lineares. No Captulo 2, apresentamos
a teoria das EDF lineares peridicas retardadas com forma bastante geral,
como encontramos no livro de Hale & Verduyn Lunel [6], assim como generalizaes que funcionam tambm para equaes lineares peridicas do tipo
neutro. No Captulo 3, generalizamos alguns resultados de Frasson & Verduyn Lunel [3], calculando o operador monodrmico associado equao (1)
e seu resolvente.

Da, utilizando da teoria de operadores lineares, obtive-

mos as estimativas necessrias. No Captulo 4, estudamos em detalhe trs

exemplos, que ilustram a aplicabilidade dos resultados. No primeiro exemplo, tivemos que provar a dominncia de um determinado autovalor para
derivarmos o comportamento assinttico das solues. No segundo exemplo,
mostramos uma classe de equaes onde todos os autovalores do operador
monodrmico so autovalores tambm dos operadores referentes equao
neutra associada. Finalmente, estudamos uma classe de equaes retardadas
peridicas com um retardamento, obtendo resultados que generalizam outros
resultados na literatura. Apresentamos ainda um apndice onde so mostrados resultados auxiliares para a obteno da dominncia de um zero de uma
funo. Um destes resultados foi usado no terceiro exemplo do Captulo 4.

12

CAPTULO 1

Teoria Bsica de
Equaes Diferenciais Funcionais
Neste captulo, introduzimos a teoria bsica das Equaes Diferenciais Funcionais (EDF), com uma discusso de suas principais propriedades.

Apre-

sentaremos alguns resultados sobre existncia, unicidade, continuao e dependncia contnua de solues das equaes diferenciais funcionais. Quando
h existncia e unicidade de solues de uma EDF, ca motivada a denio do chamado operador soluo, que um semigrupo fortemente contnuo.
Estudaremos algumas propriedades destes operadores.

1.1 Introduo
Em muitas aplicaes, assume-se que o sistema considerado governado pelo
princpio da causalidade, isto , o estado futuro do sistema determinado
somente pelo presente, sendo independente do passado. Se assumimos que
o sistema governado por uma equao envolvendo o estado e a taxa de
variao deste estado, ento geralmente consideramos equaes diferenciais
ordinrias ou parciais. Entretanto, num exame mais detalhado do sistema,
torna-se aparente que o princpio da causalidade sempre uma primeira
aproximao da situao real e que um modelo mais realista incluiria a dependncia em algum estado passado do sistema. Tambm, pela natureza de
alguns problemas, no faz sentido que no se considere o passado.

Isto

conhecido h muito tempo mas a teoria para tais sistemas tem sido bastante
desenvolvida apenas recentemente. Este o ramo das Equaes Diferenciais
Funcionais. Para uma exposio introdutria, veja [6, 1]

13

Um sistema dos mais simples modelado nestes moldes pode ser descrito
pela equao diferencial

x(t) = Ax(t) + Bx(t r),

onde

A, B

r > 0

so constantes e

escalar.

(1.1)
A primeira questo que

nos vem qual o problema de valor inicial para a equao (1.1), isto ,
qual a quantidade mnima de informao que devemos dar para que a
equao (1.1) dena

x(t)

para algum

0?

Com um pouco de reexo

chega-se concluso de que uma funo deve ser especicada para todo
intervalo
resolver
o estado

[t r, t].

[r, 0]. Conhecida a soluo em um intervalo [t r, t], podemos

x(t), podendo assim integrar a equao. Ento natural tomar

em determinado instante t como sendo a histria da soluo em

Isto motiva a olhar a equao (1.1) como um sistema dinmico em

[r, 0].

um espao de funes denidas em

A seguir, apresentaremos uma

pequena introduo teoria bsica destas equaes.

def

C = C([r, 0], Rn ) o espao de Banach das funes contnuas de

[r, 0] (r > 0) a valores em Rn , munido da norma do supremo. Se R,
A > 0 e x C([ r, + A], Rn ), para qualquer t [, + A], denimos
xt C por xt () = x(t + ), para [r, 0]. Do Teorema da Representao
Seja

de Riesz (veja por exemplo Royden [9] ou Rudin [10]), toda aplicao linear
n
contnua L : C R pode ser representada por

L =

r
0

d()(),

(1.2)

uma funo de variao limitada em [0, r], normalizada tal que

(0) = 0 e contnua direita em (0, r), a valores no espao de matrizes
def
Rnn . Este conjunto de funes denotado NBV = NBV([0, r], Rnn ). Podemos estender trivialmente NBV em R fazendo () = 0 se < 0 e
() = (r) se > r. Em (1.2), a notao d antes do integrando enfatiza
que uma matriz e um vetor coluna, e portanto a integral um vetor
coluna. Quando tratar-se de uma famlia de operadores lineares L(t), ento
para cada t ca determinado (t, ) NBV e L(t) ca escrita como
onde

L(t) =

r
0

d(t, )().

Um operador na forma (1.2) dito

matriz

(0) no nulo.

atmico em 0

(1.3)

se o determinante da

Grosso modo, um operador atmico em

14

0 quando

h uma dependncia explcita do valor de

(0) em L.

No caso de famlias de

operadores, como em (1.3), temos denies similares. Uma famlia

forma (1.3) dita

>0

Seja

L(t)

na

uniformemente atmica em 0 se, para cada > 0, existir

tal que

Var[0,] (t, ) (t, 0) < ,

RC

atmico em

um conjunto aberto e

se

D : Rn

contnua. Dizemos que

for Frchet-diferencivel, junto com suas derivadas

D2 denota a derivada
D2 = D2 (t, ) atmico em 0.

de primeira e segunda ordens, e se

segunda varivel, ento

t.

de

com relao

RC um conjunto aberto. Dadas funes contnuas D : Rn

f : Rn , sendo D atmica em 0, a relao
Seja

d
D(t, xt ) = f (t, xt )
dt

(1.4)

equao diferencial funcional neutra, EDFN(D, f ). A funo D

operador diferena para a EDFN(D, f ). Equaes diferenciais da

dita uma
dita o

forma (1.4) com

=0

x(t) = f (t, xt ),

so conhecidas como

x0 =

equaes diferenciais funcionais retardadas

(EDFR).

Uma soluo para o problema de valor inicial para a EDFN(D, f )

d
D(t)xt = f (t, xt )
dt
x =

(1.5)

x() = x( ; , ) contnua e denida num intervalo [r, +A),

D(t)xt seja continuamente diferencivel e as relaes em
(1.5) esto satisfeitas. Da mesma forma, dizemos que x() uma soluo que
passa por (, ).
Se D(t, ) = D0 (t) + g(t) e f (t, ) = L(t) + h(t) onde D0 (t) e L(t)
so lineares em ento, a EDFN(D, f ) dita linear . linear homognea
se g 0 e h 0, caso contrrio dita linear no-homognea . Se D(t, ) e
f (t, ) no dependem de t, ento a EDFN(D, f ) dita autnoma .
uma funo
para

A > 0,

tal que

Como um exemplo, observamos que a equao diferencial linear

d
[x(t) + C(t)x(t 1)] = A(t)x(t) + B(t)x(t 1),
dt
15

t 0,

n n, pode ser escrita

na forma (1.4) tomando-se r = 1, D(t) = (0) + C(t)(1) e f (t, ) =
A(t)(0) + B(t)(1). O operador D(t) pode ser escrito na forma

onde

A, B

so funes cujos valores so matrizes

D(t) =
tomando

(t, ) = 0 se

1 (isto
= 1).

r
0

d(t, )()

0, () = I

, h saltos de tamanho

0 < < 1 e (t, ) = I + C(t) para

I e C(t) respectivamente em = 0 e
se

r > 0, x funo real, D = (0) 2 (r)

o par (D, f ) dene uma EDF N dada pela

Como outro exemplo, sejam

e

f : R

equao

contnua, ento

d
[x(t) x2 (t r)] = f (t, xt ).
dt

1.2 Teoria qualitativa

Nesta seo enunciaremos sem demonstraes os teoremas bsicos sobre existncia, unicidade e dependncia contnua com relao s condies iniciais.
As demonstraes destes resultados podem ser encontradas em [6, cap. 2].

Se um aberto de R C e (, )
, ento existe uma soluo da EDFN(D, f ) que passa por (, ). Alm
disso, se f : Rn for lipschitziana na segunda varivel em subconjuntos
compactos de , ento, para qualquer (, ) , existe uma nica soluo
da EDFN(D, f ) que passa por (, ).

Teorema 1.1 (Existncia e Unicidade)

Sejam R C aberto, um subespao de um espao de Banach, e D : Rn , f : Rn

satisfazendo as seguintes hipteses:
Teorema 1.2 (Dependncia Contnua)

1. D(t, , ) atmico em zero para cada (t, ) uniformemente com

respeito a .
2. D(t, , ) e f (t, ) so contnuas em (t, ) para cada e
tambm contnua em (t, , 0 ) para (t, ) .
3. A EDF N D(, 0 ), f (, 0 ) tem uma nica soluo denida num intervalo [ r, b) que passa por (, ) .
16

Ento existe uma vizinhana N = N (, , 0 ) de (, , 0 ) tal que para qualquer ( , , ) N , todas solues x( , , ) da EDF N (D(, ), f (, ))
que passam por ( , ) existem em [ r, b] e xt ( , , ) contnua em
(t, , , 0 ) para t [, + A] e [ , , ] N (, , 0 ).
Se

x,

denida num intervalo

denidas em

[, a),

uma soluo da EDFN(D, f ), sendo

R C , e se para cada (, ) existir uma

(, ), dizemos que x continuao de x se:

nica

soluo que passa por

1. existe um

b>a

tal que

denido em

2.

coincide com

3.

satisfaz a EDFN(D, f ) em

em

[ r, a),

[ r, b),

[, b).

x no-continuvel se tal continuao no existe. Neste caso,

o intervalo [, a) ento denominado intervalo maximal de existncia da
soluo de x. A existncia de uma soluo no-continuvel segue do bem
Uma soluo

conhecido Lema de Zorn. conhecido que o intervalo maximal de existncia

aberto.

Suponhamos que R C seja aberto, (D, f )

dene uma EDFN(D, f ) em , W seja fechado e limitado, e que exista
uma -vizinhana de W em . Se f mapeia W em um conjunto limitado
de Rn , D(t, ) e D (t, ) (derivada em relao a ) so uniformemente
contnuas em W , D uniformemente atmico em 0 em W , e x uma soluo
no-continuvel da EDFN(D, f ) em [ r, b), ento existe um t [a, b) tal
que (t , xt ) W .
/
Teorema 1.3 (Continuao)

1.3 Sistemas lineares gerais

Para

onde

(, ) R C , consideremos o sistema linear

d D(t)x = L(t)x + h(t),

t
t
t
dt

x =
h Lloc
1

e para todo

t R, D(t) : C Rn

L(t) : C Rn

(1.6)

so dados

por

D(t) = (0)

0
r

d[(t, )](),

17

L(t) =

0
r

d[(t, )]().

onde, por sua vez, os ncleos

satisfazem as seguintes armaes.

: R R Rnn , (t, ) (t, ), mensurvel em (t, ) e

loc
cada t R, (t, ) NBV. Alm disso, existe um m L1 (R) tal

i. O ncleo
para
que

Var[r,0] (t, )

m(t).

: R R Rnn , (t, ) (t, ), mensurvel em (t, )

e para cada t R, (t, ) NBV, sendo de variao limitada em no
intervalo [r, 0] uniformemente em t, e tal que t D(t) contnua
para cada . Alm disso, uniformemente no-atmico em zero, isto
, dado
> 0, existe um > 0 tal que

ii. O ncleo

Var[,0] (t, ) < ,

tR

Assim, temos o seguinte teorema que nos mostra a existncia de uma

nica soluo global.

Sejam e como acima. Dados R, C([r, 0], Rn ),

e h L1 ([, ), Rn ), existe uma nica funo x(; , ) denida continuamente em [ r, ) que satisfaz o sistema (1.6) em [, ).
Teorema 1.4
loc

Para estes sistemas podemos exibir estimativas para o crescimento da

soluo. Este resultado encontra-se em [6], como Corolrio 1.1 de seu nono
captulo.

Suponhamos que as hipteses acima sobre , e h estejam satisfeitas. Se x( ; , , h) a soluo do sistema (1.6) em [, ) tal que x = ,
ento existem constantes positivas C e tais que
Lema 1.5

|x(t; , , h)|

Cet || +

|h(s)|ds ,

1.4 Operador soluo para sistemas lineares

Suponhamos que as condies do Teorema 1.1 para a unicidade de solues
estejam satisfeitas. Para qualquer

(, ) ,
18

existe um

t,

e uma funo

que uma soluo no-continuvel da EDFN(D, f ) em

passa por

(, ).

Seja

[ r, t, ) que
= { C : (, ) }. Se

denido por

falarmos somente de solues no-continuveis, podemos denir um operador

T (t, ) : C

tal que para cada

s ,

t [, t, )

T (t, ) = xt (, ).
Este operador ser dito

operador soluo da EDFN(D, f ).

(1.7)
Queremos escre-

ver o operador soluo de uma EDFN como perturbao, por meio de um

operador compacto, de um outro operador soluo.
Consideremos a Equao Diferena (ED)

Dyt 0,
onde

linear, contnuo e atmico em

0.

0,
Se

(1.8)

CD = { C : D = 0},

ento

TD (t),
CD , onde TD (t) = yt () com yt () sendo a soluo de (1.8) que
passa por (0, ).
n
Seja f : C R uma funo contnua e TD,f (t) o semigrupo denido pela
EDFN(D, f ),
d
Dxt = f (xt ),
t 0.
dt
a equao diferena (1.8) dene um semigrupo de operadores lineares

0,

em

Ento podemos enunciar um teorema para a representao do semigrupo

associado equao (1.7), que se encontra em [6, Teo. 3.7.3].

Sejam D : C Rn linear, limitado e atmico em 0, =

(1 , . . . , n ) uma n-upla de funes tal que D = I , e = I D. Se f
completamente contnua e TD,f (t) um operador limitado para cada t > 0,
ento

Teorema 1.6

TD,f (t) = TD (t) + U (t)

onde U (t) : C C , t

0, compacto.

19

20

CAPTULO 2

Sistemas Peridicos
O propsito deste captulo apresentar a teoria geral para sistemas peridicos
lineares com retardamento, e estend-la a uma classe de sistemas peridicos
para equaes neutras.

2.1 Sistemas peridicos com retardamento

Esta primeira parte foi extrada do oitavo captulo de Hale & Verduyn Lunel [6] e apresenta uma teoria bastante anloga teoria de Floquet para EDO.
Estes autores argumentam que no possvel fazer de forma completa tal
teoria (Floquet) para o caso das EDFR. Entretanto, possvel denir multiplicadores caractersticos e explorar a compacidade do operador soluo para
mostrar que a representao de Floquet existe no autoespao generalizado
de um multiplicador caracterstico.

L : R L(C, Rn ) satisfaa
> 0 tal que L(t + ) = L(t)

Suponhamos que
e que exista um

as condies da Seo 1.3

para todo

t.

Nesta seo,

consideramos o sistema

x(t) = L(t)xt

(2.1)

e a extenso na qual existe uma teoria de Floquet.

s R, C , existe uma soluo x = x(s, ) da equao (2.1) denida em [s, ) e xt (s, ) contnua em t, s e . Seja T (t, s) =
xt (s, ) para todo t s e C . O operador T (t, s) satisfaz a propriedade
de semigrupo T (t, s)T (s, ) = T (t, ) para todo t
s e a periodicidade
Para qualquer

da Equao (2.1) implica que

T (t + , s) = T (t, s)T (s + , s)
21

(2.2)

para todo

s.

Seja

:CC

o operador monodrmico denido por

= T (, 0).
Seja

o menor inteiro positivo tal que

r.

Portanto,

m = T (m, 0)

um operador compacto, visto que no caso das EDFR, a soluo ganha

diferenciabilidade com o passar do tempo

t.

O teorema espectral polinomial

e a teoria de operadores compactos implicam que o espectro

()

de

um conjunto compacto contvel do plano complexo com o nico ponto de

0. Tambm, se = 0 est em (), ento

est no espectro pontual P () de , isto , existe um = 0 em C tal que
= . Todo = 0 em P () dito um multiplicador de Floquet ou
multiplicador caracterstico da equao (2.1) e todo tal que = e dito

acumulao possvel sendo

expoente caracterstico

da equao (2.1).

= e um multiplicador caracterstico da equao (2.1) se, e s

se, existe um = 0 em C tal que T (t + , 0) = T (t, 0) para todo t 0.

Lema 2.1

Demonstrao: ()Se = e C,
= .

Fazendo

s=0

ento existe um

= 0

em

tal que

em (2.2) temos

T (t + , 0) = T (t, 0)
para todo

t.

() Basta tomar

t = 0.

m compacto (ver por exemplo [11]), para qualquer multiplicador

caracterstico de (2.1), existem dois subespaos E e Q de C tais que as
Como

seguintes propriedades so satisfeitas:

1.

2.

E Q = C ;

3.

E E , Q Q ;

4.

(|E ) = {}, (|Q ) = () \ {}.

de dimenso nita;

A dimenso

d = 1,

dizemos

E
que

de

multiplicidade do
um autovalor simples .
dita a

22

multiplicador

Quando

 = {1 , . . . , d } uma base para E . Pela propriedade (3),

E , ento pode ser escrito como combinao de e assim existe uma
matriz d d M = Md tal que = M , cujo nico autovalor, pela
propriedade (4), = 0. Portanto, existe uma matriz d d B = B
1
tal que B =
ln M . Denamos o vetor P (t) com elementos em C por
Bt
P (t) = T (t, 0)e . Ento, para t 0,
Seja

P (t + ) = T (t + )eB(t+) = T (t, 0)T (w, 0)eB(t+)

= T (t, 0)eB(t+) = T (t, 0)M eB(t+)
= T (t, 0)eB eB eBt = T (t, 0)eBt
= P (t);
isto ,

R.

P (t)

-peridica.

A funo

Podemos estender

P (t)

periodicamente para

em

xt (0, ) = T (t, 0) = P (t)eBt

est bem denida para

equao (2.1) em

R.

tR

e cada coluna desta matriz uma soluo da

Em resumo, temos o seguinte resultado.

Se um multiplicador caracterstico da equao (2.1) e uma

base para E de dimenso d , existe uma matriz d d B tal que (eB ) =
{} e uma funo matricial n d P (t), com cada coluna em C , P (t + ) =
P (t), t R tal que se = b (combinao linear), ento xt () denida
para t R e
Lema 2.2

xt (0, ) = P (t)eBt b.

Portanto, em particular, = e um multiplicador caracterstico da equao (2.1) se, e s se, existe uma soluo no-nula da equao (2.1) da forma
x(t) = p(t)et

onde p(t + ) = p(t).

E , como xt (0, )() = x(0, )(t + ) = xt+ (0, )(0), r
0, segue que P (t)() = xt (0, )()eBt = xt+ (0, )(0)eBt = P (t + )(0)eB ,

0. Portanto, se pormos P (t + ) = P (t + )(0), ento () =

B

x0 (0, )() = P (0)() = P ()(0)e = P ()eB e

Para

x(0, )(t) = P (t)eBt b,

23

t R,

= b.

Portanto, as solues da Equao (2.1) com valor inicial em E so de tipo

Floquet, ou seja, se = e , as solues so da forma e

vezes um polinmio
com coecientes peridicos em

de perodo

Se T (t, 0)b = 0 para

t tal que T (t, 0)b = 0 e m t,

Tambm necessitamos da seguinte observao:

algum t, ento

1,

b = 0.

ento

De fato, se existe um

0 = T (m, 0)b = m b = M n b.

Como o autovalor de

Mn

= 0,

ento

b = 0.

Denimos os multiplicadores caractersticos da Equao (2.1) comeando

com tempo inicial

0.

Para justicar esta escolha precisamos mostrar que os

s R, seja
= 0, ((s)), existem

multiplicadores no dependem do tempo inicial. Para qualquer

(s) = T (s + , s).

Como antes, para todo

dois subespaos fechados

E (s)

Q (s)

de

tal que as propriedades (1)-(4)

so vlidas com as devidas mudanas de notao. Seja

(s)

uma base para

E (s), (s)(s) = (s)M (s), (M (s)) = {}. Como para o caso s = 0,

podemos denir T (t, s)(s) para todo t R. Para qualquer real
( )T (, s)(s) = T ( + , )T (, s)(s)
= T ( + , s)(s)
= T (, s)T (s + , s)(s)
= T (, s)(s)M (s).
Se

M = I N ,

ento

nilpotente e

[I ( )]T (, s)(s) = T (, s)(s)N.

T (t, s)(s)b = 0 implica que b = 0, segue que (( )) e
dimenso de E ( ) pelo menos to grande quanto a dimenso de E (s).
como podemos inverter s e , obtemos o seguinte lema.

Como

a
E

Os multiplicadores caractersticos da Equao (2.1) so independentes do tempo inicial e se (s) uma base para E (s), ento T (t, s)(s)
uma base para E (s) para todo t R.
Lema 2.3

Sejam, agora,

Q =

(t, Q (t)),

(2.3)

tR

E =

(t, E (t)).
tR
24

(2.4)

ento temos o lema seguinte, cuja demonstrao pode ser encontrada em [6].

Para o sistema (2.1)

1. Os conjuntos E (t) e E (s) so difeomorfos e os conjuntos Q (s) e
Q (s) so homeomorfos para todo t, s R.

Lema 2.4

2. O conjunto E em (2.4) difeomorfo a R E (0) e o conjunto Q em

(2.3) homeomorfo a R Q (0).

3. Se t L(t, ) tambm contnua, ento Q difeomorfo a R Q (0).

Estes difeomorsmos so denidos por (, ) (, g()), R,
E (), (, ) (, h()), R, Q (), onde g e h so continuamente diferenciveis.
Notemos que se

= e

simples, i.e.

d = 1,

ento

matriz descrita anteriormente, referente ao tempo inicial

def

= (0) = {1 }

P (t)

s,

M (s),

que a

idntica a

assume a forma simples

et P (t) = T (t, 0)1 .

A projeo espectral sobre

E (s)

ao longo de

(2.5)

Q (s)

pode ser representada

por uma integral de Dunford (Veja Gohberg, Goldberg & Kaashoek [5])

P (s) =

1
2i

(zI (s))1 dz

um crculo pequeno tal que

1
(s)) dentro de .
onde

a nica singularidade de

(2.6)

(zI

O prximo resultado relata a representao de Floquet em cada auto-

xt (s, ) para qualquer C . Suponhamos que () =

{0}{m } onde {m } nito ou enumervel e cada m = 0. Para n (),
sejam Pn (s) : C En (s), I Pn (s) : C Qn (s) as projees induzidas
por En (t) e Qn (t) denidas anteriormente e satisfazendo as propriedades

espao da soluo

(1)(4).

Sejam j , j = 1, 2, . . ., os autovalores no-nulos do operador

monodrmico (s) ordenados por decrescimento de seus valores em mdulo,
e C . Se um nmero real dado, ento existem constantes positivas
e N tais que para t s

Teorema 2.5

xt (s, )

Pn (s)xt (s, )
|n

|>e

25

N e( )(ts) .

(2.7)

Demonstrao:

Seja

= 1 , 2 , . . . , k

k = k()

um inteiro tal que

|k+1 | < e ,

e denimos

E (s) =

E (s)

Q (s) =

Ento, temos

|k |

C = E Q.

Q (s).

Seja

Rk (s) =

Pj (s).
j=1

T (t, s), e como Rk (s) Q (s), temos

que T (t, s)Rk (s) Q para todo C . Alm disso, existe uma constante
N0 tal que Rk (s)
N0 . Se tal que e(2 ) = |k+1 |, ento o raio

Pela invarincia do operador soluo

espectral de

def

(s) = (s)|Q (s)

e(2 ) .

(2 )

Portanto, pela denio do raio espectral,

e para algum

m>0

limn (s)n

1/n

temos

(s)m Rk (s)

e( )m Rk (s) .

def

T (, s) = T (, s)|Q (s) , s

s + , um operador limitado
para cada , pelo princpio da limitao uniforme, existe um N1 tal que
T (, s)
N1 para s s + . Seja t s dado e kt o maior inteiro tal
que s + kt m
t, ento

Como

T (t, s)Rk (s) = T (t, s + kt m)T (s + kt m, s)Rk (s)

mN1 (s)m

kt

Rk (s)

mN1 e( )kt N0
N e( )(ts) ,
onde

N = mN1 N0 .

Isto prova a estimativa exponencial (2.7).

A soluo x = 0 da Equao (2.1) uniformemente assintoticamente estvel se, e s se, todos os multiplicadores caractersticos da
Equao (2.1) tm mdulo menor do que 1.

Corolrio 2.6

26

Demonstrao: () Segue do Teorema 2.5 com = 0.

() consequncia da representao de Floquet associado com qualquer

multiplicador caracterstico.

De maneira similar obtemos

A soluo x = 0 da Equao (2.1) uniformemente estvel se,

e s se, todos os multiplicadores caractersticos da equao (2.1) tm mdulo
menor ou igual a 1. Alm disso, se um multiplicador com || = 1, ento
todas as solues da equao (2.1) com valor inicial em E so limitadas.

Corolrio 2.7

Para operadores monodrmicos, a denio de

plicador caracterstico inspirada na condio
Assim, um autovalor

de

()

dito

dominante

|| > |d |

dominncia

|| > e

de um multi-

(ver teorema 2.5).

>0

se existir

= = d .

tal que
(2.8)

Esta denio de dominncia equivalente das EDF autnomas, se considerarmos os expoentes caractersticos em vez dos multiplicadores caractersticos.

Seja d = ed um autovalor simples e dominante de (s). Se

P (t) como em (2.5), ento existem constantes positivas N e tais que o
comportamento assinttico da soluo x(t; 0, ) dado por

Teorema 2.8

ed t xt (0, ) c()P (t)

N e t ,

0,

onde c() denido de tal forma que Pd (0) = c()1 .

Demonstrao:

Se

difeomorcamente

= e um autovalor simples de , como T (t, s) mapeia

Ed (s) em Ed (t), segue da equao (2.5) que
Pd (t)xt (0, ) = Pd T (t, 0)
= T (t, 0)Pd (0)
= c()ed t P (t).

Portanto, o resultado segue do Teorema 2.5

27

2.2 Sistemas peridicos neutros

Estes resultados tm generalizaes naturais para EDFN. Consideremos a
EDFN linear peridica

d
D(t)xt = L(t)xt ,
(2.9)
dt
onde D(t) e L(t) so famlias, contnuas em t, de operadores lineares contnuos, e existe > 0 tal que D(t + ) = D(t), L(t + ) = L(t) para
todo t. Alm disso, D(t) atmico em zero. Seja TD,L (t, ), t
, o
operador soluo da equao (2.9). Um nmero complexo dito um multiplicador caracterstico da EDFN (2.9) se um autovalor de tipo nito
de TD,L ( + , ), isto , um ponto isolado do espectro de TD,L ( + , ),
cujo autoespao generalizado tem dimenso nita.
plicadores caractersticos so independentes de

Como antes, os multiPara cada multiplicador

caracterstico e cada R, existe uma decomposio C = E Q , onde

E = N (TD,L ( + , ) I)k , Q = R(TD,L ( + , ) I)k , e E tem
dimenso nita d. Se uma base para E , ento existem matrizes B e
C (t), respectivamente d d e n n, sendo B constante, o espectro de eB
sendo o conjunto {}, e C (t + ) = C (t). Ento para todo = b E ,
temos que

TD,L (t + , ) = C (t)eB t b.

Desta forma, existe uma representao de Floquet no autoespao generalizado

do multiplicador caracterstico

A representao dada pelo Teorema 1.6 vlida para a equao (2.9).

De fato, podemos determinar uma constante k tal que para qualquer R,

existe um = (1 , . . . , n ) com D() = I , e |j |

k , j = 1, 2, . . . , n.

Se = I D(), ento

TD,L (t, ) = TD (t, ) + U (t, ),

onde

U (t, )

compacto para

equao diferena

D(t)yt = 0.

TD (t, )

o operador soluo da

Usando o mesmo tipo de raciocnio como para o caso autnomo, se

eaD

TD ( + , ), pode-se mostrar que qualquer no espectro

TD ( + , ) com || > eaD um autovalor normal e, assim, um multipli-

o raio espectral de
de

cador caracterstico da equao (2.9). Alm disso, existe somente um nmero

a
nito de multiplicadores caractersticos satisfazendo || > e
para todo
28

a > aD . Neste caso, o espao C pode ser decomposto como C = E,a Q,a ,
onde E,a e Q,a so invariantes sob TD ( +, ), o espectro de TD ( +)|E,a
consiste somente em multiplicadores tais que ||
ea , o espectro de
TD ( + )|Q,a ca contido no disco de centro em 0 e raio e(a ) para algum
> 0. Portanto, existe uma constante K tal que
TD,L (t, )|Q,a

Ke(a )(t) ,

Da mesma forma, existem matrizes

C,a (t) -peridica,

B,a

C,a (t),

,a

sendo

constante e

t R,

E,a e os nicos autovalores

caractersticos da equao (2.9) com ||

uma base para

multiplicadores

B,a

tais que

TD,L (t + , ),a = C,a (t)eB,a t ,

onde

de

eB,a

so os

Para terminar o captulo, enunciamos dois resultados apresentados na

seo anterior, cujas provas so idnticas, bastando ressaltar que, enquanto
no caso das EDFR, automtico que todo elemento no nulo do espectro do
tipo nito, e que h sempre um nmero nito destes cujo mdulo ultrapassa
qualquer valor, isto deve ser pedido por hiptese no caso neutro. Notamos que
os mesmos conceitos de projeo espectral, como apresentados nas equaes
(2.5) e (2.6), estendem-se naturalmente para o caso das EDFN. A denio
de autovalor dominante encontra-se em (2.8).

Sejam j , j = 1, 2, . . ., os autovalores no-nulos do operador

monodrmico (s) ordenados por decrescimento de seus valores em mdulo,
e C . Se um nmero real dado tal que existe um nmero nito de
autovalores de (s) tais que seus mdulos ultrapassem e , ento existem
constantes positivas e N tais que para t s
Teorema 2.9

xt (s; )

Pn (s)xt (s; )

N e( )(ts) .

|n |>e

Seja d = ed um autovalor simples e dominante de (s). Se

P (t) como em (2.5), ento existem constantes positivas N e tais que o
comportamento assinttico da soluo x(t; 0, ) dado por
Teorema 2.10

ed t xt (0, ) c()P (t)

N e t ,

onde c() denido de tal forma que Pd (0) = c()1 .

29

0,

30

CAPTULO 3

Uma Classe de Sistemas Peridicos

Neste captulo estudaremos com mais profundidade o comportamento assinttico de uma classe de equaes diferenciais funcionais, para a qual fomos
capazes de calcular explicitamente o resolvente de um operador monodrmico, obtendo as informaes necessrias sobre seu espectro. Fomos capazes
de demonstrar vrios resultados da teoria espectral de forma independente,
e obtivemos um resultado sobre estimativas precisas para o comportamento
assinttico das solues destas equaes, tendo por hiptese o conhecimento
da dominncia de um expoente caracterstico. Estes resultados, em combinao com resultados sobre a dominncia de razes de equaes caractersticas
em [4], nos permitem obter resultados inditos que estendem resultados em
[3, 8].

3.1 Teoria espectral

Consideremos a seguinte equao linear neutra peridica

d
x(t) +
dt

ci x(t i)

= a(t)x(t) +

i=1

(3.1)

i=1

bi (t), i = 1, 2, . . . , k , so contnuas e -peridicas, ci ,

c0 = 1) so nmeros reais, no necessariamente
no nulos. Notamos que os retardamentos so mltiplos do perodo . Nestas condies, tomamos por espao de fase o conjunto C = C([k, 0], R).
Usando a mudana de variveis abaixo, podemos eliminar o termo a(t)x(t)
onde as funes

i = 0, 1, . . . , k ,

a(t)

bi (t)x(t i),

(assumimos

da equao (3.1).

31

Lema 3.1

Seja A =

a(s)ds. Pela mudana de variveis

t

y(t) = exp

t0

a(s)ds x(t + t0 ),

(3.2)

a equao (3.1), sujeita a condio inicial xt0 = pode ser reescrita como o
problema de valor inicial
d
y( ) +
dt

ci eiA y( i) =

i=1
k

bi ( t0 ) ci a( t0 ) eiA y( i).

(3.3)

i=1

sujeito condio y0 = , com

t0

() = exp

Demonstrao:

Temos que, para

a(s)ds ().

0,

x(t) +

ci x(t i)
i=1

= y(t t0 )e

t
t0

a(s)ds

ci y(t t0 i)e

ti
t0

a(s)ds

i=1
k

= y(t t0 ) +

ci y(t t0 i)e

t
ti

a(s)ds

t
t0

a(s)ds

i=1

Pela periodicidade de

a(t),
k

= y(t t0 ) +

t
tn

a(s)ds = n

iA

ci e

a(s)ds.

y(t t0 i) e

i=1

32

t
t0

Assim

a(s)ds

(3.4)

Tambm,

ti
t0

bi (t)x(t i) =
i=1

bi (t)y(t t0 i)e
i=1
k

bi (t)y(t t0 i)e
i=1
k

iA

bj (t)e

a(s)ds

t
a(s)ds
ti
t
t0

y(t t0 i) e

t
a(s)ds
t0

a(s)ds

(3.5)

i=1

= t t0 ,

Finalmente, de (3.1), usando (3.4), (3.5) e fazendo

d
0=
x(t) +
dt
=

d
dt

obtemos que

ci x(t i) a(t)x(t)
i=1

bi (t)x(t i)
i=1

ci eiA y(t t0 i) e

y(t t0 ) +

t
t0

a(s)ds

i=1
t
t0

+ a(t)y(t t0 )

bi (t)y(t t0 i) e

a(s)ds

i=1

d
y( ) +
dt

ci eiA y( i)

i=1
k

ci eiA y( i)

+ a( + t0 ) y( ) +
i=1
k

a( + t0 )y( )

bi (t)y( i) e

+t0
t0

a(s)ds

i=1

d
=
y( ) +
dt
k

iA

ci e

ci eiA y( i)

y( i) + a( + t0 )

i=1

i=1

eiA bi ( + t0 )y( i) e

+t0
t0

a(s)ds

i=1
Assim, encontrar

x que satisfaa (3.1) equivalente a encontrar uma soluo

de (3.3).

33

Portanto podemos supor, sem perda de generalidade, que

a(t) = 0

em

(3.1), sendo suciente analisar a equao

d
x(t) +
dt

ci x(t i)

i=1

bj (t)x(t j).

(3.6)

j=1

3.2 O operador monodrmico

Seja

(s) : C C

o operador monodrmico

(s) = T (s + , s),

i.e.,

((s)) = xs+ (; s, ),
Como o comportamento assinttico das solues independente do tempo

s, podemos colocar s = 0 e denir = (0). Integrando a equao dibj , temos a seguinte representao
.

inicial

ferencial (3.6) e usando a periodicidade de

para

()() =

(0) +

ci (i)
i=1

ci ( (i 1))
i=1

+
i=1

+
0

bi (t)(t i)dt,

( + ),

Podemos calcular explicitamente o resolvente de

Teorema 3.2

por

0,

O resolvente (zI )1 do operador monodrmico dado

(zI )1 () = (1/z)[zI 0 ]1 () + G,z (0) + G,z (),

para

(3.7)

0e

1
(zI ) () = m (zI )1 ( + m) +
z
1

34

m1
j=0

( + j)
z j+1

(3.8)

para

0, m = 1, . . . , k 1, onde

+ m

G,z () =

z k1
()

Cz
k

i1

i1

i=2 j=1
k
l=1

1
zl
k

( j)

z ij

i=2 j=1

z 2k1
+
2
Cz

()

ci

1
z

1
z

()d

ci z jil

((j + 1))

bi ()
( j)d
z ij

1
z

bl ()

i1

1
z

i=2 l=1 j=1

bl ()

1
z

( j)d ,
(3.9)

em que Cz o polinmio (lembrar que c0 = 1)

k

ci z ki

Cz =

(3.10)

i=0

e t = t
s
s

1
z

dado por
1
t z
s

Demonstrao:

Dado

= exp

C,

i=1

z ki
Cz

suponha que

bi ()d .

(3.11)

(zI )1 = .

Ento

= z .
Suponhamos a princpio que

seja diferencivel.

Da representao de

segue o sistema de equaes

() = z() ( + ),

() = z () + k ci ( (i 1))

i=1
k
i=1 bi ()(

(i 1))

() = z() (0)

(3.12)

(3.13)
(3.14)

35

Usando (3.12) indutivamente, para

derivando em relao a

l = 1, 2, . . . , k 1

0,

obtemos

( l) =

1
() +
zl

( l) = l () +
z

1
z lj+1

j=1
l

1
z lj+1

j=1

( j)

(3.15)

( j)

(3.16)

Substituindo (3.15) e (3.16) em (3.13) e usando a frmula de

Cz

dada em

(3.10), vem que

() = z () +

i=1 ci (

k
1
i=1 ci z i1 ()

= z () +

Cz
()
z k1

i1 ci

j=1 z ij (

k
i=1

k
1
i=1 bi () z i1 ()

i1 1

j=1 z ij (

k
1
i=1 bi () z i1 ()

k
i=1 bi ()(

(i 1))

(i 1))

j)

i1 1
j=1 z ij (

j)

j)

i1 1
j=1 z ij (

j)

Portanto, obtemos a equao diferencial ordinria linear

()

i=1

k1

z
Cz

z ki
bi ()()
Cz
k

i1

()

i=1 j=1

ci
z

( j) +

ij

i1

i=1 j=1

bi ()
( j)
z ij

(3.17)

Consideremos a parte homognea da EDO (3.17),

()

k
i=1

z ki
bi ()() = 0.
Cz

(3.18)

1
t 1
a soluo fundamental da EDO (3.18), i.e., (t) = s
(s)
z
z
1
1
s
t
uma soluo de (3.18) e s
= 1. Podemos calcular s z explicitamente,
z
obtendo a frmula (3.11). Da frmula das variaes das constantes, obtemos

Seja

t
s

() =

1
z

() + G,z (),
36

(3.19)

onde

z k1
G,z () =
Cz

1
z

i1

ci

()

z ij

i=1 j=1
k

( j)

i1

+
i=1 j=1

bi ()
( j) d
z ij

(3.20)

Temos que

d s

1
z

visto que

=
i=1

1
z

z ki
bi ()
s
Cz

1
z

d s

soluo de (3.18) e

1
z

1
z

=
i=1

= 1/
s

z ki
bi () s

Cz

1
z

(3.21)
1
. Agora, integrando
z

por partes,

1
z

( a)d = ( a)

+
i=1

1
z

z ki
Cz

( a)
bi ()

Usando (3.22), podemos eliminar a derivada

1
z

( a)d.

(3.22)

de (3.20), e empregando

(3.21), obtemos a frmula em (3.9).

Falta ainda obtermos

() em (3.19).

Fazendo

= 0 em (3.19) e usando

a condio de fronteira (3.14), obtemos

() = z 0

1
z

donde

() = zI 0

() + G,z (0)

() G,z (0)

(3.23)

Usando (3.23) em (3.19), obtemos (3.7).

De (3.15) obtem-se (3.8). Para

1
nalizar a prova, notemos que a expresso para (zI ) , na frmula
(3.7), bem denida para

e podemos abandonar a suposio de que

seja diferencivel, usando o fato de que o conjunto das funes diferenciveis

denso em

C.
37

3.3 Comportamento assinttico

A representao para o resolvente de

nos fornece informaes importantes

sobre as propriedades espectrais do operador. Temos que

()\{0} = {z C | z 0

1
z

=0

ou

Cz = 0}

(3.24)

Segue que todo elemento no nulo do espectro isolado, por ser zero de funes inteiras no nulas. Da representao (3.7), tendo em vista a frmula
1

em (3.11), se z0 ()\{0} tal que Cz0 = 0, h uma singupara

z
1
laridade essencial em (zI )
para z = z0 , e no temos a decomposio
espectral em autoespaos generalizados de dimenso nita, como discutido

z0 ()\{0} e Cz0 = 0, fcil ver que z = z0

(zI )1 . De [11, Teo. V.10.1]

no captulo 2. No caso em que

um plo (de ordem nita) do resolvente

segue a existncia da decomposio espectral em autoespaos generalizados

de dimenso nita, que a imagem da projeo espectral que discutimos
a seguir.

Quando o autoespao generalizado associado a um multiplicador

caracterstico

unidimensional, dizemos que

simples.

Alm disso, usando a representao de Dunford da projeo espectral

de

sobre um autoespao generalizado

E , ()\{0},

P = Resz= (zI )1
podemos calcular explicitamente a projeo espectral de

(3.25)

usando o clculo

de resduos. O lema a seguir nos d uma condio suciente para um multiplicador caracterstico seja simples e uma frmula explcita para a projeo
espectral sobre o autoespao generalizado unidimensional.

Seja () \ {0} tal que C = 0, onde C dado em

que seja um zero simples da equao
Lema 3.3

z 0

1
z

= 0.

(3.10)

,e

(3.26)

Ento o autoespao generalizado E unidimensional, gerado pela funo

1
1 () = , e a projeo espectral P : C E dada por

P =

d
(z
dz

1
z

)|z=

38

() + G, (0)

1 .

(3.27)

Demonstrao:

Seja

C = 0

tal que

e tal que

= 0.

Se

simples ento a funo

z (z )[z 0

z=

analtica numa vizinhana de

lim (z )[z

1
0 z

]1

1
z

z 0

= lim
z
z
z 0

= lim

1
z

d
(z
dz

Como

C = 0,

1
z

)|z=

1
(3.28)

1
G,z e z , dadas respectivamente por (3.9)

z = . De (3.25), e da frmula explcita para o

as expresses

e (3.11), so analticas em
resolvente de

( 0

1
z

dada por (3.7)(3.8), e da discusso acima, vem que a funo

z (z )[zI ]1
z = .
[, 0],

analtica numa vizinhana de

Por

ser simples, para

de (3.25) e (3.28), temos

P () = lim (z )(zI )1 ()
z

= lim (z ) (1/z)[z 0 ]1 () + G,z (0) + G,z ()

Agora estudaremos

d
(z
dz

P ()

1
z

)|z=

() + G, (0)

(3.29)

+ m
0, m = 1, . . . , k 1.
bj (t) so -peridicas, de (3.11), segue que

no caso

Da hiptese em que as funes

t (1/z) satisfaz
s
1
t (1/z)
s

= t+j
s+j

j Z.

Da,

+m
w

= 0

(m1) 1

(m2)

+m
+m

(3.30)

39

m1 (+j)
, em (3.8), analtica em
j=0
z j+1

Temos tambm que a expresso

z = .

De (3.8), (3.29) e (3.30), obtemos

P () = lim (z )(zI )1 ()
z

1
(zI )1 ( + m) +
zm

= lim (z )
z

m1
j=0

( + j)
z j+1

1
lim (z )(zI )1 ( + m)
m z
1
1
d
1
1
= m +m dz (z 0 z )|z=
() + G, (0)

d
(z
dz

1
z

)|z=

() + G, (0)

(3.31)

Notemos que as frmulas (3.29) e (3.31) so a mesma, eliminando qualquer

restrio sobre

Como

unidimensional e

seguem as consideraes sobre

tem imagem em

E ,

e a frmula (3.27).

A seguir apresentamos resultados sobre o comportamento assinttico das

solues, como aplicao dos teoremas 2.9 e 2.10. A denio de autovalor
dominante encontra-se em (2.8), na pgina 27.

Teorema 3.4 Se d um autovalor simples e dominante de , ento o comportamento assinttico da soluo x() de (3.6), sujeita condio inicial
x0 = , dado por

lim
t

d
(z
dz

x(t; 0, ) =

Demonstrao:

1
z

)|z=

Pelo Lema 3.3, temos que

c(),

() + G, (0) .

(3.32)

usado no Teorema 2.10, p-

gina 29, dado por

c() =

d
(z
dz

1
z

)|z=

() + G, (0) .

(3.33)

Temos que

d t

dt

=
j=1

kj
bj (t) t

40

(3.34)

e, de (3.30), para

inteiro,

ti

Agora se tomamos

1 t

x(t) = t

(3.35)

(3.36)

ento, usando (3.34) e (3.35) e a periodicidade das funes

d
x(t) +
dt
=

ci x(t i)
i=1

d
t

dt

ci ki

i=0

x(t)

bj (t)x(t j)
j=1

=
Portanto

vem que

x0 = 1 .

bj ,

ci ti

+
i=1
k
j=1

bj (t)ti

i=1
k

bj (t)
C

bj (t)
i=1

1
t

= 0.

soluo de (3.6), na pgina 34, e satisfaz a condio inicial

Logo

[T (t, 0)1 ]() = t+

e do Lema 2.2, na pgina 23 e de (2.5), na pgina 25, vem que a funo

a valores em

C,

[P (t)]() = et t+

-peridica,

(3.37)

e como contnua e dada por uma exponencial, satisfaz

0 < c1
para certas constantes positivas

c1

[P (t)]()
e

c2 .

c2

Seque que

1
1
= t t
[P (t)](0)
e

1
.
c1

(3.38)

Da estimativa fornecida pelo Teorema 2.10, pgina 29, usando que

P (t)

dada por

e (3.38), obtemos a seguinte seqncia de implicaes

> 0,

et xt (0, ) c()P (t)

N e t ,

= lim et x(t; 0, ) c()et t

= lim
t
t

x(t; 0, ) = c()

Da ltima relao e de (3.33), segue (3.32).

41

=0

|(0)| <

42

CAPTULO 4

Algumas Aplicaes
4.1 Um exemplo estudado
Consideremos como primeiro exemplo a equao diferencial

d
x(t) x(t 1) = cos2 (2t)x(t 1)
dt
Podemos tomar o perodo

como

1.

(4.1)

Estamos interessados em estudar o

comportamento assinttico de solues de (4.1), aplicando os resultados das

sees anteriores. Para comear, calculamos o espectro no nulo do operador
s
monodrmico, dado pela frmula (3.24). necessrio que calculemos t ,
que a soluo fundamental de

cos2 (2t)
y = 0.
(z 1)

Resolvemos esta equao para obtermos

t = exp
0

1
t sen(4t)
+
z1 2
8

0 =
1

1
1
1 = exp
2(z 1)
0

Da, temos

(4.2)

De (4.1) tiramos que

Cz = z 1
43

(4.3)

Portanto, de (3.24), (4.2) e (4.3), obtemos que o espectro do operador monodrmico para a EDFN peridica (4.1)

()\{0} = { C | exp

1
2(1)

=0

ou

= 1}

(4.4)

Analisemos os zeros da equao caracterstica

z exp
Fazendo

1
=0
2(z 1)

(4.5)

= e
e = exp

1
1
2ki =
(2ki) 1)
1)
2(e

2(e

Portanto, sem perda de generalidade, podemos analisar os zeros

de (4.5)

atravs da equao (por expoentes caractersticos)

=
que equivale a

1
2(e 1)

(4.6)

2(e 1) 1 = 0

(4.7)

Usando mtodos simples do Clculo, obtemos que a funo x f (x)

1
estritamente decrescente, limx f (x) = 1/2, limx0 f (x)
2(ex 1)

, limx0+ f (x) = +

limx f (x) = 0.

=
=

Como a funo identidade

crescente, segue que existem duas razes reais, uma positiva, qual chamamos

0 ,

e outra negativa. O valor de

caracterstico

aproximadamente 0,6034. O expoente

simples pois

d
[2(e
d

1) 1]=0 =

1
+ 20 e0 > 0.
0

A seguir, provaremos que o expoente caracterstico

nha que

= a + bi

0 dominante. Supoa > 0. Sem perda de

seja outra raiz de (4.7) tal que

generalidade, podemos supor

0.

Tomando as partes real e imaginria em

(4.7), obtemos o sistema

2aea cos b 2bea sen b = 2a + 1

2aea sen b + 2bea cos b = 2b
44

(4.8a)
(4.8b)

Fazendo

a(4.8a) + b(4.8b)

b(4.8a) + a(4.8b),

temos

2ea (a2 + b2 ) cos b = a + 2(a2 + b2 )

2ea (a2 + b2 ) sen b = b
Fazendo, agora

(4.9a)
(4.9b)

((4.9a))2 + ((4.9b))2
2

4e2a (a2 + b2 )2 = a + 2(a2 + b2 ) + b2

= a2 + 4(a2 + b2 )a + 4(a2 + b2 )2 + b2
=

(a2 + b2 )(1 + 4a) + 4(a2 + b2 )2

(a2 + b2 )2
1 + 4a
= 2
+4
a + b2

4e2a =

De (4.10) obtemos uma relao entre

semos (4.10) em busca de

a.

b.

Suponhamos que

(4.10)

e anali4

Assim

1 + 4a
2 + 4 =: h(a)
a2 +
16

4e2a

(4.11)

Utilizando as ferramentas do Clculo, mostra-se que, em [0, ), a funo

h() tem um mximo global para x

= ( 1 + 2 1)/4 e portanto

mx

h(x)

4(1 + 2 + 1 + 2 )

,
h(xmx ) =
1 + 2 1 + 2

x [0, ).

(4.12)

De (4.11) e (4.12) vem que

a
Logo, se

1
1 + 2 + 1 + 2

ln
2
1 + 2 1 + 2

raiz de (4.7) com

| Im |

/4,

0,313 < 0
Re < 0 .

Suponhamos

(temos sen b > 0 e

agora, que = a + bi raiz de (4.7) tal que 0 < b
4
cos
cos b > 0). Multiplicando (4.8b) por exp bsen bb /2 sen b, obtemos

a+

b cos b
sen b

exp a +

b cos b
sen b

ento

b
exp
sen b

b cos b
.
sen b

(4.13)

Usando a funo W de Lambert, veja (A.21), pgina 55, verica-se facilmente

W (x)
que x = W (x)e
implica

W (x) =

1
1
1
.
x
1 + W (x)
45

(4.14)

Aplicando estas consideraes a (4.13), vem que

b
b cos b
+W
e
a=
sen b
sen b

b cos b
sen b

:= g(b)

(4.15)

a como funo de b, 0 < b < /4. Queremos mostrar que, para

0 < b < /4, teremos a < 0 . Para tanto, calculamos a derivada de g() na
que dene

frmula (4.15).

b
e
sen b

sen b cos b + b
g (b) =
+W
sen2 b

b cos b
sen b

sen2 b b2
e
sen3 b

b cos b
sen b

Multiplicando ambos os lados por sen b > 0, usando (4.14), a abreviao W

cos
b
W sen b exp bsen bb > 0, as relaes1 (sen b b cos b) > 0 e (b2 sen2 b) >
temos

=
0,

$
b cos b

$$
sen b
b
sen2 b b2
sen$$
1
$ b e sen b
+
g (b) sen b = cos b +
e
1 1+W
$$
sen b
b
sen2 b
1
2
2
2
2
2

b sen b cos b + + sen b + 1+W (b sen b)

b
b
=
b sen b
1
sen b(sen b b cos b) + 1+W (b2 sen2 b)
=
>0
b sen b
b cos b

Portanto

g(b)

estritamente crescente para

0 < b < /4.

Vem que

2 /4
a < g(/4) = + W
e
0,16 < 0
4
4
Logo, o expoente caracterstico

caracterstico 0 = e 0 .

dominante, assim como o multiplicador

Estamos em posio de aplicarmos o Teorema 3.4. Dada uma

1 Para

b>0

temos

(sen b b cos b) > 0

pois

46

tan b > b

(b2 sen2 b) > 0

C,

pois

b > sen b.

comportamento assinttico da soluo

x(t; 0, )

de (4.1) dado por

1
1 + t sen(4t)
+
x(t; 0, )
t
1 0
2
8
2(0 1)2

=
2(0 1)2 + exp([2(0 1)]1 )
(0)
1
(1)
(1) +
exp
0 1
2(0 1) 0 1
0
s sen(4s)
1
1
+
+
cos2 (2s) exp
2
(0 1) 1
1 0 2
8
lim exp

ds .

Fazemos ainda a observao de que, com relao equao (4.1), no

seria possvel derivar o comportamento assinttico das solues utilizando-se
apenas os resultados contidos em Philos & Purnaras [8], visto que no h
zero

(necessariamente deveria ser um zero dominante da equao caracte-

rstica nos expoentes equivalente a (4.7)) que satisfaz a hiptese (P(0 )) do

Teorema 1 de [8], semelhante condio (A.19) ne pgina 54, que implica a
dominncia de um determinado autovalor, sob certas condies estritas.

4.2 Exemplo sem autoespaos de dimenso nita

Seja

f : R R

uma funo contnua

1-peridica

tal que

1
0

f (t)dt = 0.

Considere a equao diferencial peridica

d
x(t) x(t 1) = f (t)x(t 1).
dt
Seja

s
t

(4.16)

a soluo fundamental de

y(t) =

1
f (t)y(t).
(z 1)

Ento

1
s z
t

= exp

t
s

f (s)ds
,
(z 1)

(4.17)

e a equao caracterstica da Equao (4.16) dada por

z 0
1

1
z

=z1=0
47

z = 1.

Como em (4.16),

c1 = 1

k = 1,

por (3.10) temos

Cz = z 1.
Logo,

()\{0} = {1}.

z = 1, sendo zero de Cz , faz com que (zI )1

essencial em z = 1. Como discutido na pgina 38,

Mas

tenha uma singularidade

no podemos aplicar a teoria aqui apresentada para calcular o comportamento assinttico das solues de (4.16).

4.3 Certas equaes peridicas simples

Estamos interessados em estudar o comportamento assinttico das solues
do problema de valor inicial

x(t) = a(t)x(t) + b(t)x(t 1),

xt0 = ,
onde

a(t)

b(t)

(4.18)

1-peridicas.

so funes reais contnuas

Pelo Lema 3.1,

pgina 32, pelas mudanas de variveis

y(t) = exp

t0
t

a(s)ds x(t + t0 ),

() = e

t0

a(s)ds

()

(4.19)

temos que (4.18) equivalente ao seguinte PVI

y(t) = b(t)eA y(t 1)

x0 = ,

onde

A=

0
1

a(s)ds.

Da representao (3.11) temos

t
s
pois em (4.20),
obtemos

(4.20)

k = 1

1
z

eA
z

= exp

Cz = z .
0
1

t
s

Fazendo

1
z

b()d ,
B =

0
1

(4.21)

b()d

D = eA B ,

= eD/z .

Assim a equao caracterstica de (4.20) dada por

z eD/z = 0 z = eD/z .
48

(4.22)

Fazendo

z = e

obtemos

e = eD/e

2k =

D
D
= 2k ,

e
e

sendo suciente analisar a equao

De = 0.
Se

e1 < D,

ento, pelo Lema A.3, pgina 55,

(4.23)

0 = W (D) = W (eA B)

simples e dominante, onde a funo W dada em (A.21) na Pgina 55. Em

1
B
particular, se B > e
e B = A, ento 0 = W (Be ) = B . Pelo Lema 3.3,

vem que o autoespao generalizado unidimensional associado a 0 = e 0

1

gerado pela funo 1 () = 1

. Temos ento, pelo Teorema 3.4,
z
pgina 40, que o comportamento assinttico da soluo y( ; 0, ) de (4.20)

dado por

lim y(t)e

eA
0

t
0

b()d

1
eA
=
(0) +

0 (0 + D)
0

0
1

b(s)e

eA
0

0
s

b()d

(s)ds .

Finalmente, voltemos equao original, usando (4.19). Assim o comportamento assinttico da soluo

lim x(t)e

eA
0

t
t0

x( ; t0 ; )

b( t0 )d

t
(
t0

da equao (4.18) dado por

t0 )d

eA
1
=
(0) +
0 (0 + D)
0

0
1

b(s)e

eA
0

49

0
s

b( )d

0
s

a( )d

(s)ds .

50

APNDICE A

Dominncia de Razes de Equaes

Caractersticas
No estudo do comportamento assinttico das solues de uma EDF importante determinarmos se um certo zero da equao caracterstica dominante.
A funo

(z) = z 1

r
0

ez d()

r
0

ez d(),

(A.1)

aparece tipicamente como equao caracterstica no estudo das EDF. Restringindo as funes

e a funes escada, podemos escrever (A.1) na forma

n

(z) = z 1 +

zl

cl e

+a+

bj ezj .

(A.2)

j=1

l=1

Neste trabalho por exemplo, na Seo (4.1), estudamos a dominncia das

razes da equao

2(e 1) 1 = 0,

(A.3)

o que nos custou para mostrar a dominncia de um certo zero. Esta equao
equivale equao

(1 e )

e
= 0.
2

(A.4)

A funo no lado esquerdo de (A.4) pode ser escrita na forma (A.2), tomando

n = m = 1,
b1 = 1/2.

os retardamentos

1 = 1 = 1

e os coecientes

c1 = 1, a = 0

Em Frasson [4], foi dada uma condio suciente para que um determinado zero das funes (A.1) e (A.2) seja simples e dominante. Veja tambm

51

Frasson & Verduyn Lunel [3]. Inclumos tambm um resultado sobre uma
funo tpica em equaes caractersticas de equaes simples, que apareceu
primeiro em Frasson & Verduyn Lunel [3]. Daremos estes resultados aqui,
com suas provas. Estes resultados, em conjunto com os resultados do captulo 3 fornecem extenses aos resultados em Philos & Purnaras [8], sendo
resultados inditos.

A.1 Uma condio para a dominncia de razes

Para estudarmos (A.1) denimos uma funo auxiliar

V (z) =

r
0

1 + |z| e

d||() +

r
0

V : C [0, )

ez d| |(),

onde || e | | denotam respectivamente as funes variao total

por

(A.5)

na

equao (A.1).

Teorema A.1

Suponha que z0 C seja um zero de () em

(A.1)

tal que

V (z0 ) < 1.

(A.6)

Ento z0 um zero simples e dominante de ().

Demonstrao:
mos

Para mostrarmos que

d
(z) = 1 +
dz

r
0

z0

um zero simples de

ez (1 + z)d() +

r
0

(),

calcule-

ez d().

Ento podemos estimar

d
(z0 )
dz

r
0

ez0 (1 + z0 )d() +

r
0

ez0 d()

1 V (z0 ) > 0,
Que mostra que

z0

um zero simples de

dominante. Para isso, seja

0<<1

().

Resta-nos provar que

z0

tal que

V (z0 ) < .
52

(A.7)

Podemos reescrever (A.7) para obter

ez0 d||()

>0

Seja

1
|z0 |

>

tal que

ez0 d| |() .

1
,

1<er
e

ez0 d||() +

(A.8)

(A.9)

o semiplano direito dado por

= {z C : Re z > Re z0 } .
Para

temos que

|ez |
z

Seja

Portanto, para

z0

Como

e z0
.

e Re z0 e

z0

o seguimento de reta que liga

(z0 ) = 0,

r,
z
z0

z,

(A.11)

que est contido em

de (A.11),

dw =

e z0
|z z0 |.

dw

(A.12)

obtemos que

z0 = z0

r
0

ez0 d() +

que podemos usar para reescrever

(z) = (z z0 ) 1
= (z z0 ) 1
+ z0

(A.10)

r
0

r
0

(z)

r
0

ez0 d(),

(A.13)

como segue.

ez d() + z0 z0

ez d()

r
0

ez d()

ez d()

ez0 ez d() +
53

r
0

ez0 ez d().

Assim podemos estimar

|(z)|

|z z0 | 1
z0

Para

z ,

r
0

z0

d() +

r
0

ez0 ez d() .

(A.14)

de (A.11), chegamos a

ez d()

ez d()

ez d()

ez0 d||().

(A.15)

Da (A.8) e (A.15), obtemos

ez d() >

1
|z0 |

ez0 d||() +

r
0

ez0 d| |() .
(A.16)

Usando (A.12), estimamos

z0

r
0

ez0 ez d() +
|z z0 |
|z0 |

Finalmente, se

r
0

r
0

ez0 ez d()
r

ez0 d||() +

|z z0 | > 0,

ez0 d| |() .

de (A.14), (A.16) e (A.17) temos

|(z)| > 0.
Portanto o nico zero de

()

(A.17)

(A.18)

que est dentro do semiplano direito

z0 .

Isto completa a demonstrao.

No caso da funo caracterstica ser da forma (A.2), o teorema A.1 toma
a forma do corolrio a seguir, que apareceu inicialmente em [3, Lema B.1].

Corolrio A.2

Se z0 um zero de
n

(A.2)

tal que

|cl |(1 + |z0 |l ) ez0 l +

|bj |j ez0 j < 1,

j=1

l=1

ento z0 um zero simples e dominante

54

(A.2)

(A.19)

Demonstrao:

()

A equao caracterstica

dada em (A.2) pode ser co-

locada na forma (A.1) se colocamos as funes

respectivamente com saltos de tamanho

cl

em

e como funes escada

l e bj em j . Portanto as

funes variao total | | e || so igualmente funes escada com saltos de

tamanho

|cl | em l

|bj | em j

respectivamente. Ento a condio

V (z0 ) < 1

no Teorema A.1 pode ser escrita como (A.19) e segue o resultado.

A.2 Uma equao simples

Agora restringimos nossa ateno funo

a be = 0,
onde

a, b R

b = 0.

(A.20)

Esta funo apareceu como equao caracterstica de

EDF estudadas por Driver [2] e Kordonis, Niyianni & Philos [7].
x
Para x [1, ) nos temos que x xe uma funo estritamente cres1
1
cente com imagem em [e , ). Ns denotamos sua inversa como W () .
Simbolicamente, temos

y = xex , x
Para

e1 < y < 0,

1 x = W (y).

(A.21)

a equao

y = xex
tem duas solues reais. Observamos que
ento (A.22) no admite soluo real

x.

W (y) a maior delas.

(A.22)
Se

y < e1

O teorema a seguir foi tirado de Frasson [4], e um pequeno melhoramento

do Lema B.3 em Frasson & Verduyn Lunel [3].

Teorema A.3

Se e1 < b ea , ento a equao

(z) = z a be z

(A.23)

tem um zero real, simples e dominante z = d dado por

1
d = a + W (b ea ),

onde a funo W dada por

(A.21)

1 A funo W () conhecida como a funo W

de Lambert. Nos sistemas de computao

algbrica Maple e Mathematica, podemos acessar esta funo sob os nomes

ProductLog

(A.24)

respectivamente.

55

LambertW

Demonstrao:

Podemos reescrever

(z) = 0

na forma equivalente

(z a) e(za) = b ea .

(A.25)

Ento a representao (A.24) para d e a no existncia de razes reais de

1
(A.23) quando e
> b ea segue da discusso sobre a funo W . Dife-

(z)

renciando

com respeito a

as propriedades da funo

z,

W (),

calculando seu valor em

z = d

e usando

obtemos

d
(d ) = 1 + W (b ea ).
dz
d
d2
(d ) = 0 se, e s se, e1 = b ea . Temos | dz2 (z)| > 0
dz
para todo z C. Assim, com a hiptese do teorema, d um zero simples
Portanto

de

(z).

Notemos tambm que segue da representao (A.24) que,

b d

b, e d = a for b = 0. Resta-nos
d dominante. Suponhamos primeiro que e1 < b ea < 0
b < 0). Recordando a equao (A.5), temos

uma funo estritamente crescente em

provar que
(portanto

V (d ) = |b| ed = |W (b ea )|.
e1 < b ea < 0

(A.26)

V (d ) < 1, assim as hipteses do

d um zero simples e dominante
de (z). Consideramos agora o caso b > 0. Ento d > a. Suponha que
z = x + iy outro zero de com x, y nmeros reais e y > 0. As equaes
para as partes real e imaginria para z so dadas por
Quando

temos que

Corolrio A.2 esto satisfeitas e segue que

x a b cos( y)e x = 0,
y + be x sin( y) = 0.
Denimos

= b cos( y).
b

(A.27)
(A.28)

A equao (A.27) torna-se

x a x = 0.
be

(A.29)

0, ento (A.29) e os argumentos j dados implicam que x a < d .

b
Se > 0 ento (A.28) e y > 0 implicam que y = k para todo inteiro
b
k e portanto < b, mas isto de novo implica que x < d . Para termos a
b
dominncia, devemos mostrar que existe um
> 0 tal que, se z outro zero
de (A.23), ento Re z < Re d . Suponhamos por absurdo que tal
no
existe. Assim existe uma sequncia zn de zeros de () tais que Re zn d .

Se

56

Como

()

uma funo analtica, seus zeros so isolados, e portanto a

nica possibilidade que

| Im zn | ,

um zero simples e dominante de

().

57

Im zn
b > 0, d

mas (A.28) mostra-nos que

um conjunto limitado, o que absurdo. Portanto, tambm no caso

58

Referncias Bibliogrcas
[1] Richard Bellman and Kenneth L. Cooke.

ons.

Dierential-dierence equati-

Academic Press, New York, 1963.

[2] R. D. Driver, D. W. Sasser, and M. L. Slater.

ax(t) + bx(t )

with small delay.

The equation

x (t) =

Amer. Math. Monthly, 80:990995,

1973.
[3] Miguel V. S. Frasson and Sjoerd M. Verduyn Lunel. Large time behaviour of linear functional dierential equations.

rator Theory, 47(1):91121, 2003.

Integral Equations Ope-

[4] M.V.S. Frasson. On the dominance of roots of characteristic equations

for neutral functional dierential equations. Preprint, 2008.

Classes
of linear operators. Vol. I, volume 49 of Operator Theory: Advances and
Applications. Birkhuser Verlag, Basel, 1990.

[5] Israel Gohberg, Seymour Goldberg, and Marinus A. Kaashoek.

Introduction to functionalApplied Mathematical Sciences.

[6] Jack K. Hale and Sjoerd M. Verduyn Lunel.

dierential equations,

volume 99 of

Springer-Verlag, New York, 1993.

[7] I.-G. E. Kordonis, N. T. Niyianni, and c. G. Philos. On the behavior
of the solutions of scalar rst order linear autonomous neutral delay
dierential equations.

Arch. Math. (Basel), 71(6):454464, 1998.

[8] Ch. G. Philos and I. K. Purnaras.

delay dierential equations.

Periodic rst order linear neutral

Appl. Math. Comput.,

117(2-3):203222,

2001.
[9] H. L. Royden.

Real analysis.

Macmillan Publishing Company, New

York, third edition, 1988.

59

[10] Walter Rudin.

Real and complex analysis.

McGraw-Hill Book Co., New

York, third edition, 1987.

[11] Angus Ellis Taylor and David C. Lay.

sis.

Introduction to functional analy-

John Wiley & Sons, New York-Chichester-Brisbane, second edition,

1980.

60

ndice Remissivo
Multiplicador

Atomicidade em zero, 14

caracterstico, 22, 27

uniformemente atmico, 15

de EDFN, 28

uniformemente no atmico, 18

simples, 38

Autovalor

de Floquet, 22

de tipo nito, 28

Multiplicidade, 22

dominante, 27
simples, 22

C , espao
Cz , 35
eaD ,

N,

das funes contnuas, 14

raio espectral de

ncleo de operador, 28

NBV, funes de variao limitada normalizadas, 14

TD ( + , ),

28

1
, 35, 36
z
Operador

t
s

diferena, 15

EDFN

monodrmico, 22

autnoma, 15

soluo, 19

linear, 15

, operador monodrmico, 22
P , projeo espectral, 25, 38
P (), espectro pontual de ,

homognea, 15
no-homognea, 15
EDFR, 15

E ,

22

Q ,

Expoente
caracterstico, 22, 27

R,

G,z ,

imagem de operador, 28

Representao de Floquet, 25

Funo

22

(),

de Lambert, 45, 55

espectro de

22, 38

Soluo
35

continuao, 17

L, operadores lineares contnuos, 21

Lloc , funes localmente integrveis,
1
17

de tipo Floquet, 24
no-continuvel, 17

T (t, s),

61

operador soluo, 19

22

TD (t), 19, 28
TD,f (t), 19, 28
W,

45, 55

x( ; , ),
xt , 14

15

62