Universidade Federal de Santa Maria

Centro de Cincias Naturais e Exatas

Departamento de Matemtica

COMPARAO GEOMTRICA DE
SOLUES DE EQUAES DIFERENCIAIS
ORDINRIAS COM CURVAS GERADAS
PELA TCNICA CHAMA CURLICUE
Trabalho de Concluso de Curso II

Dionatan Ricardo Schmidt

Santa Maria, RS, Brasil

2014

COMPARAO GEOMTRICA DE
SOLUES DE EQUAES DIFERENCIAIS
ORDINRIAS COM CURVAS GERADAS
PELA TCNICA CHAMA CURLICUE

Dionatan Ricardo Schmidt

Trabalho apresentado para Banca do Curso de Matemtica da
Universidade Federal de Santa Maria como requisito parcial
para obteno do ttulo de Bacharel em Matemtica 
rea de Concentrao: Matemtica Pura.

Orientadora: Prof.

Dr.

Celene Buriol

Santa Maria, RS, Brasil

2014

Universidade Federal de Santa Maria

Centro de Cincias Naturais e Exatas
Departamento de Matemtica

A Comisso Examinadora, abaixo assinada,

aprova o Trabalho de Concluso de Curso II

COMPARAO GEOMTRICA DE SOLUES DE

EQUAES DIFERENCIAIS ORDINRIAS COM
CURVAS GERADAS PELA TCNICA CHAMA
CURLICUE

elaborado por

Dionatan Ricardo Schmidt

como requisito parcial para obteo do grau de

Bacharel em Matemtica

COMISSO EXAMINADORA:

Celene Buriol, Dr .
(Presidente/Orientadora)

Claudia Candida Pansonato, Dr .(UFSM)

Joo Paulo Lukaszczyk, Dr.(UFSM)

Santa Maria, 02 de dezembro de 2014

A Matemtica o alfabeto com o qual Deus

escreveu o Universo.

(Galileu Galilei)

Agradecimentos
Gostaria de agradecer a minha orientadora, Professora Celene Buriol, por aceitar esse
desao, e pela imensa colaborao.
Aos meus Pais, Edelar e Janete pelo incondicional apoio.
E aos meus amigos, que de uma forma ou de outra, sempre estiveram me apoiando.

Resumo
Neste trabalho apresentaremos um estudo sobre sistemas de equaes diferenciais ordinrias com coecientes constantes. Ser tambm abordado uma classe de curvas planas,
chamadas Curlicues. Na parte nal do trabalho sero feitas comparaes entre o plano de
fase de um sistema linear no homogneo com o trao de uma curva Curlicue especca.

Sumrio
Introduo

1 Curlicues

1.1

Resultados sobre Sequncias . . . . . . . . . . . . . . . . . . . . . . . . . .

1.2

Denio e Propriedades das Curlicues

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

1.3

Inserindo Sequncias Constantes . . . . . . . . . . . . . . . . . . . . . . . .

2 Equaes Diferenciais Lineares em Rn

2.1

Sistemas Lineares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.2

Construo de Retratos de Fase . . . . . . . . . . . . . . . . . . . . . . . .

12

2.3

Teoria Geral de Sistemas Lineares . . . . . . . . . . . . . . . . . . . . . . .

14

3 Comparao Entre a Soluo de um Sistema de EDO's e uma Curva

Curlicue
17
3.1

Soluo do Sistema de EDO

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

17

3.2

Construindo a Curlicue . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

19

3.3

Comparao da Soluo do Sistema de EDO e da Curlicue

. . . . . . . . .

20

3.4

Trabalhos Futuros a Serem Considerados . . . . . . . . . . . . . . . . . . .

21

Apndice

21

Referncias Bibliogrcas

23

Introduo
Neste trabalho de concluso de curso de Bacharelado em Matemtica na UFSM faremos uma comparao da soluo de um sistema de equaes diferenciais ordinrias lineares homogneas e no homogneas de coecientes constantes com uma curva especca
da classe de curvas planas chamada Curlicues, dando nfase a comparao geomtrica.
Exploraremos a soluo de sistemas de equaes diferenciais ordinrias lineares homogneas e no homognea com coecientes constantes, enfatisando a soluo geomtrica de
tal sistema.
As curvas chamadas Curlicues, so fruto de um trabalho j realizado (ver [2]). Com
as propriedades estudadas sobre as Curlicues, ser construda uma curva para fazer uma
comparao geomtrica com a curva gerada pela soluo do sistema de EDO's, que se
adapte ao dado inicial dado.
Tal trabalho foi motivado pela necessidade de criao de um projeto de concluso
de curso, e especialmente, por tentar fazer uma conexo entre dois assuntos estudados
na graduao, os quais, inicialmente no apresentavam muito nexo, mas que com um
estudo mais aprofundado, foi possvel mostrar que ambos contem particularidades que se
assemelham e se associam.
No captulo 1, sero expostas propriedades e a tcnica de gerao das Curlicues. No
captulo 2, sero expostas propriedades para obteno de solues geomtricas e analticas
de solues de equaes diferencias ordinrias lineares homogneas e no homogeneas com
coecientes constantes.

No captulo 3 sero apresentadas as comparaes geomtricas

enunciadas nos captulos 1 e 2 desse trabalho.

Captulo 1
Curlicues
1.1

Resultados sobre Sequncias

(xn ) como a soma de sua

parte inteira [xn ] = sup{m Z|m xn } e sua parte fracionria {xn } = xn - [xn ]. Claramente, 0 {xn } < 1. O estudo de xn mod 1 o estudo da sequncia {xn } no intervalo
[0, 1).

Seja

xn

uma sequncias de nmeros reais, podemos decompor

Denio 1.1.1. A sequncia (xn ) equidistribuda mod 1, se para cada a, b com 0

a < b < 1 temos que:

#{xn ; {xn } [a, b] : 0 n < N }

=ba
N
N
lim

(xn ) equidistribuida no intervalo [0, 1)

ento ela densa, pois, caso contrrio, existiriam x [0, 1) e  > 0 tais que I (xn ) = ,
I
com I = (x , x + ). Logo SN = 0 para todo N N, o que nos d:
De imediato, percebe-se que se uma sequncia

I
limN SN
=0

Proposio 2.0.1:

A sequncia

onde

I
SN
=

(n), n N,

#{xn ;{xn }I:0n<N }

N

equidistribuda mod 1 se e somente se,

irracional.
Prova. () Trivial
() observamos que, para

irracional e

h 6= 0

inteiro, temos

e2ih = 1
Assim

N
X

e2ihn =

n=1

N
X
n=1

Transformando em uma soma de P.G. nita

e(2ih)n

(e2ihN 1)e2ih
(e2ih 1)
Portanto

1
N

N
X

e2ihn |

2ihN 1)e2ih

| (e

n=1

N (e2ih 1)

|e2ihN |+|1|
N |(e2ih 1)|
Como

(e2ih 1)

independe de

N,

2ihN

| = | Ne(e2ih1
|
1)

2
N |(e2ih 1)|

podemos concluir pelo Teorema 1, que

N
1 X 2ihn
e
=0
lim
N N
n=1

Assim para todo

Proposio 2.0.2:
a sequncia

xn

h 6= 0
Seja

inteiro, e

xn

irracional,

equidistribuida mod 1.

uma sequncia de nmeros reais equidistribuda mod 1, ento

densa.

xn
(x0 , x0 + ) {xn } =
Prova: Suponha que

no seja densa, isto , existe

x0 (0, 1]

 > 0,

tais que

#{xn [x0 , x0 + ] : 0 n < N }

= 0 6= 2
N
N
lim

n N
Portanto, toda sequncia equidistribuda mod 1 densa. Mas no vale a recproca.
O teorema a seguir de grande importncia no estudo das sequncias equidistribudas.

Teorema 1.1.1. (Critrio de Weyl):Uma sequncia xn equidistribuda se, e somente

se, para todo k Z - {0}

N
1 X
exp(2kixn ) = 0
N N
n=0

lim

Sua demostrao encontrada em

[1]

Assim, para entender as propriedades de equidistribuio de uma sequncia xn suPN

ciente estimar o tamanho da soma exponencial
n=0 exp(2kixn ). Em outras palavras,

este critrio nos diz que ao fazermos uma sequncia

trio no plano complexo
quando

(xn )

girar em torno do crculo uni-

vezes o centroide obtido desses pontos se aproxima da origem

se torna grande.

Exemplo 1:

(xn ) uma sequncia de nmeros reais equidistribuda

c 6= 0, a sequncia (cxn ) equidistribuda mod 1.

Seja

para todo inteiro

Resoluo: Pelo Teorema 1 sabemos que, sendo

(xn )

mod 1. Ento,

uma sequncia de nmeros reais

equidistribuda mod 1, ento

N
1 X 2ihxn
e
=0
lim
N N
n=1
Para
onde

h 6= 0. Mas,
h0 Z, h0 6= 0.

sabemos que esse resultado vale para todo inteiro

ch0 ,

com

h0 6= 0,

Portanto

N
N
1 X 2ich0 xn
1 X 2ih0 (cxn )
lim
e
e
=0
= lim
N N
N N
n=1
n=1
Logo, pelo Teorema 1,

1.2

(cxn )

equidistribuda mod 1.

Denio e Propriedades das Curlicues

Denio 1.2.1. Seja x = (xn )

n=0 uma sequncia de nmeros reais. Chamamos Curlicue

curva (x) = ([0, )) R2 C tal que:

(0) = (0, 0)
Pn1
exp(2ixk ) n = 1, 2, ...
(n) = k=0
(t) linear se n t n + 1

Deste modo, a curlicue gerada traando-se segmentos unitrios consecutivos cujo

n-simo

ponto determinado a partir do ponto anterior e pelo ngulo

2un

com relao

a horizontal.
Note que

exp(2ixn ) = exp(2i(bxn c+{xn })) = exp(2i{xn }), assim (xn ) = ({xn }),

ou seja, a curlicue gerada por uma sequncia igual a curlicue gerada pela sequncia das
partes fracionrias de seus termos.

Exemplo 2:

A sequncia

at o comprimento

5000

(n2 ) dene a curlicue (n2 ) cuja imagem no plano complexo

encontra-se na Figura 2.1:

Na sequncia trazemos algumas denies complementares que nos ajudam a caracterizar as

curlicues.

Figura 1.1:

curlicue 5000 (n2 )

Denio 1.2.2. Seja d(, ) a distncia euclidiana. Para A C e  > 0 denimos:

DiamA = sup{d(x, y); x, y A}
Uma curva

(n)

dita limitada se

Diam < e ilimitada

(n) ilimitada.

se

Diam = .

A curlicue

limitada enquanto a curlicue

Denio 1.2.3. (i) Uma curva ilimitada supercial se

t
=
t Diamt
Onde t a parte inicial de com comprimento t.
lim

(ii) Uma curva limitada supercial se

Area
lim
=
0

Onde  = {y; x , d(x, y) < }.

No caso ilimitado entendemos que para a curva ser supercial o seu comprimento deve
apresentar um crescimento mais rpido do que o seu dimetro. J para o caso limitado
 deve manter-se sucientemente maior do que o  quando este tende

a rea do conjunto
a zero.

Teorema 1.2.1. Uma sequncia (xn ) equidistribuda se, e somente se, o curlicue (qxn )
planar para cada inteiro positivo q .
Demonstrao.
q

Seja

x = (xn ) uma sequncia de nmeros reais, e para todo inteiro positivo

considere

zn (q) =

n1
X

exp(2iqxk )

k=0
Suponha incialmente que
mos os casos quando

(qx)

(qx)

supercial, para todo

limitada e ilimitada.

q Z+ .

Feito isso, analisare-

Para o caso limitado, temos que

|zn (q)| Diamn (qx)

()

Diamn (qx)
=0
n
n
lim

(),

Para o caso ilimitado, tambm vale

limn

e por hiptese

n
=
Diamn (qx)

e portanto

limn

Diamn (qx)
=0
n

Logo, o limite acima vlido em ambos os casos. Segue ento, da desigualdade

limn
O que implica, pelo Critrio de Weyl, que
Supondo agora que
+

(xn )

(),

que

|zn (q)|
=0
n

(xn )

equidistribuida.

equidistribuda temos que, pelo critrio de Weyl, para todo

qZ

limn

|zn (q)|
= 0.
n

fcil ver que

Diamn (qx) 2 max |zk (q)|.

0k<n

Isto , para o

n=k

tal que temos o mximo

uma circunferncia de rao

|zk (q)|,

|zn (q)|,

ao envolvermos a curlicue com

ela conter toda curlicue em seu interior. E uma vez

que

limn

max0k<n |zk (q)|

=0
n

temos

limn

Diamn (qx)
=0
n

Que equivalente denio de curva supercial para o caso ilimitado.

Resta agora mostrar para o caso limitado.

Para tal, basta mostrar que qualquer

sequncia que possua innitos termos com parte fracionria diferentes determinam uma
curva supercial.

1.3

Inserindo Sequncias Constantes

Uma maneira fcil de construirmos sequncias que no so equidistribudas , a partir

de uma sequncia

an

equidistribuda, considerar uma sequncia

b2n = 0
7

bn

da seguinte forma

b2n+1 = an
ou seja,

bn = (0, a1 , 0, a2 , 0, ...).

Dessa forma

(bn )

no uma sequncia equidistribuda, pois

(x 15 ,x+ 51 )

SN

O exemplo acima nos motivou a estudar o comportamento das

sequncias

(bn )

curlicues

1
, N N.
2
associadas

dadas por:

bpn+k = ck , k = 0, 1, 2, . . . , p 2
bpn+p1 = an
onde

2 p N, ck R

tribuda.

so constantes e

Dessa forma, inserimos

p1

an

(1.1)

(1.2)

so os termos de uma sequncia equidis-

sequncias constantes em uma sequncia

(an )

equidistribuda.

Exemplo 3:

Considere

an = n

bn

dada por:

b3n = 0
1
4
= an

b3n+1 =
b3n+2
Assim,

(bn ) = (0, 1/4, a0 , 0, 1/4, a1 , . . .).

Figura 1.2:

120 (n)

110 (bn )

Denio 1.3.1. Seja (xn ) uma sequncia real. A direo do curlicue (xn ) denida
pelo vetor

SN
N N

v(xn ) = lim

quando este existe e no nulo. Onde

SN =

N
X

exp(2ixn ).

n=0

Captulo 2
Equaes Diferenciais Lineares em Rn
2.1

Sistemas Lineares

Neste captulo sero expostos sistemas de equaes diferenciais ordinrias lineares de

primeira ordem, homogneas e no homogneas, em sua verso mais simples, a saber, com
coecientes constantes, ou autnomas.

Ser dada enfaze, e os resultados obtidos sero

em cima de sistemas de equaes lineares

genarilao para sistemas

2 2,

com coecientes contantes, sem perca de

n n.

Iniciaremos estudando os campos lineares

f (x) = TA (x) = A.x = Ax,

f = TA (x) : Rn Rn dado pela ao A.x = Ax da matriz
real A = (aij )nn sobre o vetor x, ou seja, pelo produto da matriz A como o vetor-coluna
n 1 formado pelas coordenadas (cannicas) de x Rn . Dizemos que um caminho
x : R Rn soluo da equao diferencial linear autnoma
onde o operador linear

x0 = Ax
se

derivvel em

e, para cada

t R,
x0 (t) = Ax(t).

Dada uma soluo

x : R Rn

de

x0 = Ax,

dizemos que o ponto

x(0) Rn

condio inicial da soluo.

Teorema 2.1.1. Se A = (aij )nn uma matriz real ento, para cada ponto x0 Rn ,
existe uma nica soluo do problema de valor inicial x0 = Ax, x(0) = x0 .
A demonstrao encontrada em

[1].

Uma caracterstica conspcua dessas equaes lineares

todas suas solues um espao vetorial, subespao do
n
caminhos de R em R .

x0 = Ax que o
n
espao F (R, R )

conjunto de
de todos os

Denio 2.1.1. Duas matrizes reais A, B M (n), onde M (n) o espao vetorial
das matrizes n n reais, so linearmente conjugadas (ou, simplesmente, conjugadas) ou,
ento, semelhantes, se existe uma matriz invertvel Q M (n) tal que AQ = QB , ou seja,
tal que
9

A = QBQ1 .
Q

Nesse caso, dizemos que

conjuga

e podemos escrever

AB

para indicar a

existncia de uma conjugao.

Proposio 3.0.1:

Se

y 0 = By

as solues de

Q conjuga as matrizes reais A, B M (n), ento Q transforma

x0 = Ax. Mais precisamente, se A = QBQ1 ,

nas solues de

ento so equivalentes as armaes:

y(t)

uma soluo de

Qy(t)

y 0 = By ;

uma soluo de

Demonstrao.

A matriz

x0 = Ax.

independe de

t,

portanto derivando

x(t) = Qy(t)

obte-

mos(pela regra da cadeia)

x0 (t) = Qy 0 (t) = QBy(t) = AQy(t) = Ax(t).

Como

invertvel, a demonstrao da recproca anloga.

Proposio 3.0.2:Sejam A M (n)

tais que

escrevendo

invertvel e

Qei = vi ,

uma matriz diagonalizvel, com

Q AQ = D = diag(1 , ..., n ).
si : R Rn denido por

Ento, dado

Q, D M (n)
1 i n e

o caminho

si (t) = ei t Qei = ei t vi , t R,
a soluo de

x0 = Ax

Demonstrao.
X
j ej t ej ,

com valor inicial

A soluo geral de

com

y(0) =

j ej .

x(0) = vi .

y 0 = Dy

dada por

Pela Proposio 3.0.1, a

y(t) = (1 e1 t , ..., n en t ) =
0
soluo geral de x = Ax

dada por

X
X
X
x(t) = Qy(t) = Q
j ej t ej =
j ej t Qej =
j ej t vj ,
X
Com x(0) =
j vj = Q(1 , ..., n ). Em particular, tomando y(0) = ei , a soluo
i t
y(t) = e ei de y 0 = Dy fornece a soluo bsica si (t) = ei t vi de x0 = Ax.

bsica

Para procedermos com nossos resultados das solues de equaes diferenciais lineares
x0 = Ax, vamos aprofundar alguns argumentos de lgebra Linear.

do tipo

Proposio 3.0.3:

Seja

v Rn

um autovetor de

A M (n)

Ento

x(t) = et v, t R,
a soluo de

x0 = Ax, x(0) = v .

Demonstrao.

Basta derivar

x(t) = et v ,

para obtermos

x0 = et v = et v = et Av = Ax(t).

10

com autovalor

R.

Teorema 2.1.2. Se a matriz A M (n) tem n autovalores distintos, ento A diagona-

lizvel.

Demonstrao.

A tem n autovalores distintos 1 , 2 , ..., n R associados aos autovalores v1 , v2 , ..., vn R ento, pelo lema 1.7 de [2], esses autovetores v1 , v2 , ..., vn formam
n
uma base de R e, pelo proposio 1.4 de [2], A diagonalizvel.
Se

Teorema 2.1.3. (Forma Cannica de Jordan 2 2). Dependendo das razes 1 e 2

do polinmio caracterstico pA () de uma matriz 2 2 real A M (2), ocorre exatamente
um dos seguintes casos de classes de equivalncia de semelhana de matrizes:
(1) Se 1 , 2 so reais e 1 6= 2 , ento A

1 0
0 2

, sendo as colunas da matriz

de conjugao linear dadas por quaisquer auto-vetor associados aos autovalores 1

e 2 ;
(2) Se 0 = 1 = 2 real e


(a) dim Nuc(0 I A) = 2, ento A

1 0
0 2

= 0 I ;


1 0
(b) dim Nuc(0 I A) = 1, ento A
, sendo as colunas da matriz de
0 2
conjugao linear dadas por qualquer vetor u fora do espao Nuc(I A) e o
autovetor v = Au 0 u de A associado ao autovalor 0 ;

(3) Se 1 = a+ib
aib, com a, b R e b 6= 0, so nmeros complexos conjugados,
 e 2 = 
ento A

a b
b a

, sendo as colunas da matriz de conjugao linear dadas pelas

partes real e imaginria de qualquer autovetor complexo de A associado ao autovalor

1 .
A demostrao encontrada em

Corolrio 3.12.
complexo associado

[1].

w Cn um
a + ib, com b 6= 0.
Sejam

autovetor complexo de
Seja

w = u + iv

A M (n)

com autovalor

a decomposio de w, onde

1
1
e v = (w w)

u = (w + w)
2
2i
so os nicos vetores em

Rn tais que w = u + iv , com u, v Rn ,

(
x(t) = eat [(cosbt)u (senbt)v]
y(t) = eat [(senbt)u + (cosbt)v]

denem as nicas solues de

x0 = Ax,

A demostrao encontrada em

com

x(0) = u e y(0) = v ,

[1].

11

(2.1)
ento

(2.2)

respectivamente.

2.2

Construo de Retratos de Fase

Faremos agora, descrio geomtrica das solues da equao linear vetorial

x0 = Ax, x(0) = (k1 , k2 )

no plano. dividimos a descrio geomtrica do comportamento das solues de

x0 = Ax

em trs casos, de acordo com a classicao algbrica dada no Teorema de Jordan, isto ,
de acordo com a quantidade 2,1 ou 0 de autovalores distintos de

A M (2),

mas daremos

enfase em apenas um caso especico, que ser tilizado no prximo captulo. Obeserve
2
0
que cada soluo x = (x1 , x2 ) : R R de x = Ax pode ser identicada com uma curva
parametrizada no plano, denominada rbita, que simplesmente o conjunto de pontos

{(x1 (t), x2 (t))|t R},

munido de uma orientao dada pelo sentido de percurso com t crescente, desde

+.

at

Pela unicidade das solues, por cada ponto do plano passa uma nica rbita e,

dadas quaiquer duas rbitas, ou elas coincidem ou so disjuntas.

Esboando algumas dessas curvas parametrizadas denidas por solues de equaes no
plano, obtemos o retrato de fase da equao diferencial, cujo objetivo dar uma idia do
comportamento global da totalidade das solues da equao, com diferentes condies
iniciais.

Seja

A M (2)

tem dois autovalores complexos conjugados, digamos

Q M (2)

ento, pela forma cannica de Jordan, existe uma matriz real

Q AQ =

a b
b a

X(t) = e Q

tal que


.

(2.3)

Decorre dos resultados estudados at agora que a soluo de

at

a ib, b 6= 0,

cosbt senbt
senbt cosbt



x0 = Ax


dada por

k1
k2

(2.4)

= Q(k1 , k2 ). Se quisermos ser mais explcitos, podemos tomar Q = (u, v)

(R ) = M (2), onde u, v R2 so as partes real e imaginria do autovetor complexo
w = u + iv , dado por Aw = (a + ib)w.
com x(0)
2 2

Em particular, obtemos as solues explcitas

de

x0 = Ax,

com

x(t) = eat [(cosbt)u (senbt)v]

(2.5)

y(t) = eat [(senbt)u + (cosbt)v]

(2.6)

x(0) = u, y(0) = v ,

j fornecidas, at em

Rn .

corolrio 3.12.

A tem dois autovalores

a = 0. Com uma mudana

Estudaremos o caso em que o polinmio caracterstico da matriz

comlexos conjugados

1 = a + bi

2 = a bi,

com

b 6= 0

de coordenadas lineares, o sistema equivalente ao sistema

x =

a b
b a
12


x.

Utilizando coordenadas polares, as solues do sistema acima podem ser escritas da seguinte forma:

(t) = reat (cosb(t ), senb(t )).

2
se a = 0 e (t) 6= (0, 0).
b
A soluo simplesmente ca girando em torno de (0, 0) sobre uma circunferncia, perodica
2
, centrada na origem, sem convergir.
b

Observemos que essa soluo peridica de perodo

Figura 2.1: Retrado de fase com autovetores complexos cannicos

13

b < 0.

2.3

Teoria Geral de Sistemas Lineares

Mostraremos agora alguns breves resultados sobre o conceito central da teoria de

equaes lineares, apresentaremos alguns resultados de exponenciais de matrizes.
ta
A idia inicial a de estender a expresso da soluo x(t) = e x0 da equao escalar
x0 = ax a uma expreso da soluo x(t) = etA x0 da equao vetorial 0 x = Ax. Usando a
expanso em srie de Taylor

X
1 j
a
e =
j!
j=0
a

da exponencial escalar, observamos que, para estender essa denio diretamente exponencial de uma matriz, para tal, oferecido toda informao pertinente em [2].

Os

espaos euclidianos no so, em geral, lgebras vetoriais, mas a presena de um produto

n2
no espao de matrizes M (n), que linearmente isomorfo a R , faz desse particular espao
vetorial uma lgebra vetorial.
Denimos a norma e operador como

||A|| = sup |Ax| = sup |Ax|

|x|1
para

A M (n). | . |

(2.7)

|x|=1

a norma euclidiana de

Rn

como pode ser constatado em [2], essa

norma trabalha muito bem em parceria com o produto de matrizes, pois vale a propriedade
fundamental

||AB|| ||A|| ||B||

Para as potncias

Am

de

A M (n),

(2.8)

por induo resulta

||Am || ||A||m , para cada m N

A propriedade (3.1) da norma de operador em

M (n)

faz de

(2.9)

M (n)

uma lgebra vetorial

normada.
Assim podemos denir a matriz exponencial de uma matriz

A M (n)

por

X1
1
1
1
Aj .
e = I + A + A2 + A3 + ... + Aj =
2!
3!
j!
j!
j=0
A

(2.10)

Agora queremos ver se esta exponencial denida acima converge ou no no espao normado

M (n),

isto , desejamos saber se o conceito est bem denido.

No caso geral, temando a norma

|| . ||

de operador de

M (n),

obtemos

X
X
X
1 j
1
1
j
||A ||
||A||j = e||A||
|| A || =
j!
j!
j!
j=0
j=0
j=0

(2.11)

A srie que dene a exponencial , portanto, absolutamente convergente e, assim, pelo

lema 9.5 de [2], tambm converge. Isso mostra que a exponencial de uma matriz est bem
denida.

14

tA

Proposio 3.0.4:
tA

emM (n) e t 7 e

Dados uma matriz A

x0 em Rn so derivveis e

d tA
e = AetA M (n),
dt
A demostrao encontrada em

M (n)

x0 Rn ,

os caminhos

d tA
e x0 = AetA Rn
dt

t 7

(2.12)

[1].

Teorema 2.3.1. Se A M (n) e x0 Rn , ento o caminho

x(t) = etA x0 ,

t R,

(2.13)

Denem a nica soluo de x0 = Ax com condio inicial x(0) = x0 .

A demostrao encontrada em

[1].

Consideremos agora o sistema linear no homogneo da forma:

x0 (t) = Ax(t) + b(t)

onde

x1 (t)
a11
x2 (t)

..

0
x (t) = .. ; A = .
.
an1
xn (t)

(2.14)

b1 (t)
a1n
b2 (t)

.
. ; b(t) = .
.
.
.
ann
bn (t)

(2.15)

Temos que vale o seguinte resultado:

Lema 1.

Sejam

sistema homogneo

Demonstrao.

x1 (t)

x2 (t) solues
0
associado x = Ax(t)
e

de

3.14

ento

(t) = x1 (t) x2 (t)

soluo do

De fato:

x01 (t) = Ax1 (t) + b(t)

(2.16)

x02 (t) = Ax2 (t) + b(t)

(2.17)

logo

0 (t) = x01 (t) x02 (t) = Ax1 (t) + b(t) Ax2 (t) b(t)
= A(x1 (t) x2 (t)) = A(t)

Teorema 2.3.2. Sejam xc (t) soluo geral de

e (t) soluo particular de

x0 (t) = Ax(t),

(2.18)

x0 (t) = Ax(t) + b.

(2.19)

Ento a soluo geral X(t) de 3.14 dada por

X(t) = xc (t) + (t).

15

(2.20)

Demonstrao.
soluo de

Temos que x1 (t) e (t) so solues de 3.14, segue do lema 1 que x(t)(t)
X 0 (t) = Ax(t). logo

X(t) (t) = c1 x1 (t) + + cn xn (t)

onde

x1 (t), , xn (t)

seque de

3.21

so

solue L.I. de

X 0 (t) = Ax,

(2.21)

mas

c1 x1 (t) + + cn xn (t) = xc (t)

(2.22)

X(t) = xc (t) + (t)

(2.23)

que

16

Captulo 3
Comparao Entre a Soluo de um
Sistema de EDO's e uma Curva
Curlicue
Neste captulo iremos construir as solues geometricas de um sistema linear de equaes diferenciais ordinrias, com coecientes constantes, e faremos uma construo de
curvas com a tcina denominada Curlicues, com nfase em uma comparao geomtrica
entre a soluo geomtrica da equao diferencial e a curva obtida pela tcnica Curlicue.

3.1

Soluo do Sistema de EDO

Nesta seo vamo apresentar e resolver analtica e geometricamente o sistema linear de

equaes diferenciais.
O sistema de quaes diferencias lineares, com coecientes constantes, a ser considerado ser

(
x0 (t) = y(t) + 1
y 0 (t) = x(t)

com condio inicial

Clculo de

(3.1)

x(0) = 1, y(0) = 1.

xc (t):
(
x0 (t) + y(t) = 0
y 0 (t) x(t) = 0
  


sen(t) cos(t)
c1
At c1
xc (t) = e
=
c2
cos(t) sen(t)
c2

Consideremos


p (t) =

17

A0
B0

(3.2)

(3.3)

Para determinar

A0

isto

B0

Assim temos que

substituimos em

0
0

A0 = 0

0p (t)

0 1
1 0

B0
A0

B0 = 1,

(3.1)



+

e obtemos que

A0
B0

1
0

0
1


+

1
0

(3.4)

1 B0
A0


.

(3.5)

logo


p (t) =

(3.6)

Portanto a soluo geral do sistema

x(t)
y(t)


=

sen(t) cos(t)
cos(t) sen(t)



c1
c2


+

0
1


.

(3.7)

Aplicando a condio inicial

Segue de

(3.8)

x(0)
y(0)


=

0 1
1 0



c1
c2


+

0
1


=

c2
c1 + 1


.

(3.8)

e da condio inicial que:

c2 = x(0) = 1 c2 = 1
c1 + 1 = y(0) = 1 c1 = 0
logo a soluo geral do sistema

x(t)
y(t)


=

(3.1)

sen(t) cos(t)
cos(t) sen(t)



0
1


+

0
1


=

cos(t)
sen(t) + 1

Figura 3.1: Soluo geomtrica do sistema de EDO

18


(3.9)

3.2

Construindo a Curlicue

Primeiramente, para construo da Curlicue, vamos apresentar dois resultados, mas

antes lembremos do seguinte.

k
X

e2ian =

n=0

k
X
[cos(2an ) + isen(2an )].

(3.10)

n=0

Como temos uma bijeo entre

R e C,

tomando a parte real do somatrio acima como

eixo das abscissas, e a parte complexa como o eixo das ordenadas, podemos assim, escrever
em forma vetorial.

k
k
X
X
(
cos(2an ),
sen(2an )).
n=0

(3.11)

n=0

A curlicue a qual iremos fazer a comparao geomtrica com o sistemas de EDO's ser
a seguinte.

699
X
n=0

!
699
2n X 1
2n
1
cos(
),
sen(
)
111.40
700 n=0 111.40
700

(3.12)

Figura 3.2: Curlicue 3.12

Utilizando o software Maple, plotando apenas os pontos aos quais cada vetor soma
corresponde.

1
esta inserida para diminuir o espaamento entre os
111.40
pontos, ou seja, fazer com que os pontos quem cada vez mais prximos, tendo assim uma
Notamos aqui, que a frao

melhor denio da gura que esta sendo formada pelos segmentos que ligam os pontos
gerados.

19

3.3

Comparao da Soluo do Sistema de EDO e da

Curlicue

Em uma anlise geomtrica incial podemos notar que as duas curvas so muito coincidentes, como mostra a gura 4.3, a seguir:

Figura 3.3: Soluo e campo de solues da EDO e Curlicue gerada

A comparao a qual iremos fazer ser uma comparao pontual, com apenas alguns
pontos a serem considerados.

Como a gerao geomtrica da Curlicue para

pontos,

t(tempo) pontos no so
correspondentes, escolheremos n do somatrio correspondente a t da soluo do sistema de
e a gerao geomtrica da soluo do sistema de EDO para

EDO para termos o mesmo ponto correspondente do plano cartesiano, que apresentado
na tabela a seguir, onde ser mostrado a norma da diferena entre o ponto

(x, y) do vetor

da Curlicue, e da soluo do sistema.

Soluo Sistema de EDO

Curlicue

(cos(t), sen(t) + 1)
t=0
(1, 1)
t=1
(0.54030, 1.84147)
t=2
(0.41615, 1.90920)
t=3
(0.98999, 1.14112)
t=4
(0.65364, 0.24321)
t=5
(0.28366, 0.04108)
t=6
(0.96017, 0.72058)

Equao 3.12

n = 176
(1.00455, 1.00455)
n = 285
(.55917, 1.83223)
n = 399
(0.41726, 1.90687)
n = 510
(0.98593, 1.13876)
n = 621
(0.65012, 0.24399)
n = 34
(0.30070, 0.04486)
n = 144
(0.96486, 0.72106)
20

Norma da Diferena dos vetores

0.00632
0.02110
0.00245
0.00474
0.00360
0.01744
0.00471

Podemos observar que depois de calculada a diferena entre o ponto gerado pela soluo da EDO e o ponto gerado pela Curva Curlicue, e calculando a norma deste vetor
diferena, ou seja, seu comprimento, ele muito pequeno. Conjectura-se que fazendo um
ajuste mais preciso da Curlicue, pode-se diminuir o erro entre a norma da diferena do
vetor para algo to pequeno quanto se queira.

3.4

Trabalhos Futuros a Serem Considerados

A ideia que para problemas futuros, se tenha um melhor entendimento de como so

geradas as Curlicues, principalmente onde se trata de inserir subsequncias constantes.
O objetivo seria comparar a soluo de um sistema de EDO's(cuja soluo analtica
explcita seja muito trabalhosa, ou impossvel de se obter) com uma Curlicue especca.
Nesse caso se compararia, se possvel, o campo de direes da soluo de tal sistema com
uma Curlicue apropriadamente construida, a m de se obter propriedades analticas da
soluo do sistema.

21

Apndice

Programas em Maple e Matlab

Para plotar a Curlicue com os segmentos lingando os pontos um a um, utilizamos (em
Matlab):

Figura 3.4: Cdigo em Matlab para gerar Curlicues

Programa para gerar a soluo de sistemas de EDO's e os campos de direes da

soluo (em Maple).

> with(DEtools);
> eq1 := dif f (x(t), t) = y(t) 1;
> eq2 := dif f (y(t), t) = x(t);
> ini1 := x(0) = 1, y(0) = 0;
> DEplot(eq2, eq1, [x(t), y(t)], t = 0..8, [[ini1]],
> linecolor = blue, stepsize = 0.5e 1, color = gray);

22

O Comando para a gerao da Curlicue pontualmente (em Maple):

> with(DEtools);
> x = ([sum((1/(111.40)) cos(( k)/350), k = 0..n 1), n = 1..700])
> y = ([sum((1/(111.40)) sin(( k)/350), k = 0..n 1)], n = 1..700);
> pointplot({seq(x, y)});

23

Referncias Bibliogrcas
[1] C.I. Doering e A.O. Lopes,

Equaes Diferenciais Ordinrias. Rio de Janeiro:

IMPA,

2007
[2] F. M. Dekking end M. Mendes France. Artigo,

geometrical viewpoint. Berlin, 1826

[3] T. Ali e S. Dionatan. Artigo,

Uniform distribution modulo one: a

Um Estudo sobre Curlicues. So Paulo, 2014

Equaes Diferenciais Elementares e Problemas de Valores

de Contorno. Rio de Janeiro, 1999

[4] W. Boyce e R. Diprima,

[5] J.M. Deshouillers,

Geometric aspects of Weyl sums. Warsaw, 1985

[6] M. V. Berry and J. Goldberg. Article,

Renormalization of curlicues.

1987

24

rehovot. israel,