NOTAS DE ANLISE MATEMTICA III-D

A Equao Secular
Departamento de Matemtica
FCT-UNL
Antnio Patrcio
NOTAS DE ANLISE MATEMTICA III-D A equao secular 1
A EQUAO SECULAR
Existem vrios mtodos para resolver sistemas homogneos de equaes diferenciais ordinrias
lineares de primeira ordem com coecientes constantes. Um desses processos utiliza a denominada
equao secular, a qual uma equao diferencial (ordinria) associada ao polinmio caracterstico da
matriz do sistema.
Considere-se o sistema homogneo de equaes diferenciais ordinrias lineares de primeira ordem com
coecientes constantes,
XXX

=AAAXXX (1)
ou
XXX

(t) =AAAXXX(t),
onde
(1)
XXX(t) :=
_
_
_
_
_
_
_
_
_
_
x
1
(t)
x
2
(t)
.
.
.
x
n
(t)
_
_
_
_
_
_
_
_
_
_
, XXX

(t) :=
_
_
_
_
_
_
_
_
_
_
x

1
(t)
x

2
(t)
.
.
.
x

n
(t)
_
_
_
_
_
_
_
_
_
_
e AAA :=
_
_
_
_
_
_
_
_
_
_
a
11
a
12
a
1n
a
21
a
22
a
2n
.
.
.
.
.
.
.
.
.
.
.
.
a
n1
a
n2
a
nn
_
_
_
_
_
_
_
_
_
_
M
n
(R)
(x
1
(t), x
2
(t), . . . , x
n
(t) so as funes incgnitas e n N).
As solues do sistema (1) so as sequncias de n funes,
(
1
,
2
, . . . ,
n
),
onde
j
: R R, com j = 1, . . . , n, tais que:
1) para cada j = 1, . . . , n, existe

j
(t), para todo t R;
2) para todo t R,
_
_
_
_
_
_
_
_
_
_

1
(t)

2
(t)
.
.
.

n
(t)
_
_
_
_
_
_
_
_
_
_
=
_
_
_
_
_
_
_
_
_
_
a
11
a
12
a
1n
a
21
a
22
a
2n
.
.
.
.
.
.
.
.
.
.
.
.
a
n1
a
n2
a
nn
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_

1
(t)

2
(t)
.
.
.

n
(t)
_
_
_
_
_
_
_
_
_
_
.
bem conhecido (veja-se, por exemplo, Boyce [3]) que o conjunto das solues do sistema (1) um espao
vectorial real de dimenso nita n N. Por outro lado, no que respeita existncia e unicidade de soluo
(veja-se, novamente, Boyce [3]), para cada ponto (t
0
, (b
1
, b
2
, . . . , b
n
)) RR
n
, existe uma, e uma s, soluo
(
1
,
2
, . . . ,
n
) do sistema (1) que satisfaz as condies inicias:
1
Estamos a denotar o conjunto das matrizes quadradas de ordem n N com entradas no conjunto R por M
n
(R).
Antnio Patrcio Dez-2009 (V1)
2 A equao secular NOTAS DE ANLISE MATEMTICA III-D
_
_
_
_
_
_
_
_
_
_

1
(t
0
)

2
(t
0
)
.
.
.

n
(t
0
)
_
_
_
_
_
_
_
_
_
_
=
_
_
_
_
_
_
_
_
_
_
b
1
b
2
.
.
.
b
n
_
_
_
_
_
_
_
_
_
_
.
Denio. Considerado o sistema (1), o polinmio caracterstico da matriz AAA o polinmio
(2)
de grau n N
na indeterminada ,
p
AAA
() := |AAAIII
n
| =

a
11
a
12
a
13
a
1n
a
21
a
22
a
23
a
2n
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
a
n1
a
n2
a
n3
a
nn

R[].
Chama-se equao secular associada ao sistema de equaes diferenciais (1) equao diferencial (ordinria)
linear com coecientes constantes e de ordem n N,
p
AAA
(D)u = 0,
onde p
AAA
(D) designa o operador diferencial com coecientes constantes associado ao polinmio p
AAA
().
Exemplo 1. Considerando o sistema de equaes diferenciais,
_

_
x

= x y
y

= x +y

_
_
_
x

(t)
y

(t)
_
_
_ =
_
_
_
1 1
1 1
_
_
_
. , .

AAA
_
_
_
x(t)
y(t)
_
_
_, (2)
tem-se
p
AAA
() =

1 1
1 1

=
2
2 +2,
pelo que
0 = p
AAA
(D)u = (D
2
2D +2)u = u

2u

+2u
a equao secular associada ao sistema (2).
Estamos em condies de enunciar:
Proposio 1. Se a sequncia (
1
,
2
, . . . ,
n
) uma soluo do sistema de equaes diferenciais (1), ento
para cada j {1, . . . , n}, a funo
j
soluo da equao secular,
p
AAA
(D)u = 0.
2
Estamos a denotar o conjunto dos polinmios na indeterminada com coecientes reais por R[].
Antnio Patrcio Dez-2009 (V1)
NOTAS DE ANLISE MATEMTICA III-D A equao secular 3
Prova. Por uma propriedade conhecida da teoria das matrizes (cf. Apostol [1]),
adj(AAA)AAA = |AAA|III
n
.
Em particular
adj(AAAIII
n
)(AAAIII
n
) = |AAAIII
n
|III
n
.
Pelas propriedades dos operadores diferenciais com coecientes constantes,
adj(AAADIII
n
)(AAADIII
n
) = |AAADIII
n
|III
n
e, desta forma,
p
AAA
(D)
_
_
_
_
_
_
_
_
_
_

2
.
.
.

n
_
_
_
_
_
_
_
_
_
_
= |AAADIII
n
|III
n
_
_
_
_
_
_
_
_
_
_

2
.
.
.

n
_
_
_
_
_
_
_
_
_
_
= adj(AAADIII
n
)(AAADIII
n
)
_
_
_
_
_
_
_
_
_
_

2
.
.
.

n
_
_
_
_
_
_
_
_
_
_
= adj(AAADIII
n
)
_
_
_
_
_
_
_
_
_
_
AAA
_
_
_
_
_
_
_
_
_
_

2
.
.
.

n
_
_
_
_
_
_
_
_
_
_

_
_
_
_
_
_
_
_
_
_

2
.
.
.

n
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
=
_
_
_
_
_
_
_
_
_
_
0
0
.
.
.
0
_
_
_
_
_
_
_
_
_
_
,
como se pretendia mostrar.
Exemplo 2. Determine-se a soluo do problema de valores iniciais:
_

_
x

= x y
y

= x +y
e
_

_
x(0) = 1
y(0) = 0
. (3)
Ora, pelo Exemplo 1,
Antnio Patrcio Dez-2009 (V1)
4 A equao secular NOTAS DE ANLISE MATEMTICA III-D
u

2u

+2u = 0 (4)
a equao secular associada a este sistema de equaes diferenciais e, como fcil concluir,
u(t) = Ae
t
cos t +Be
t
sent (A, B R)
a sua soluo geral. Se (
1
(t),
2
(t)) for a soluo do problema de valores iniciais (3), ento, em particular,
pela Proposio 1, as funes
1
(t) e
2
(t) so solues da equao secular (4). Logo,

1
(t) = A
1
e
t
cos t +B
1
e
t
sent e
2
(t) = A
2
e
t
cos t +B
2
e
t
sent,
para certas constantes reais A
1
, A
2
, B
1
e B
2
. Ora,
_

_
1 =
1
(0) = A
1
0 =
2
(0) = A
2
=
_

1
(t) = e
t
cos t +B
1
e
t
sent

2
(t) = B
2
e
t
sent
.
Por outro lado, da primeira equao do sistema (3) resulta, para todo t R,
(e
t
cos t +B
1
e
t
sent)

= (e
t
cos t +B
1
e
t
sent) (B
2
e
t
sent)
_

_
B
1
= 0
B
2
= 1
.
Finalmente,
_
_
_

1
(t)

2
(t)
_
_
_ =
_
_
_
e
t
cos t
e
t
sent
_
_
_
a soluo procurada.
Exemplo 3. Determine-se a soluo geral do sistema de equaes diferenciais,
XXX

=
_
_
_
_
_
_
2 1 3
0 2 1
0 0 2
_
_
_
_
_
_
XXX +
_
_
_
_
_
_
1 t
1 +2t
0
_
_
_
_
_
_
, (5)
sabendo-se que
X
p
X
p
X
p
(t) :=
_
_
_
_
_
_
t
t
0
_
_
_
_
_
_
uma soluo particular deste sistema. Ora, neste exemplo,

2 1 3
0 2 1
0 0 2

= (2 )
3
,
Antnio Patrcio Dez-2009 (V1)
NOTAS DE ANLISE MATEMTICA III-D A equao secular 5
pelo que a equao secular do sistema homogneo associado ao sistema (5) a equao diferencial,
(2 D)
3
u = 0, (6)
a qual admite a soluo geral
u(t) = Ae
2t
+Bte
2t
+Ct
2
e
2t
(A, B, C R)
Se (
1
,
2
,
3
) for uma soluo arbitrria do sistema homogneo associado ao sistema (5), ento, pela
Proposio 1,
1
,
2
e
3
so solues da equao secular (6). Logo, para todo t R,
_
_
_
_
_
_

1
(t)

2
(t)

3
(t)
_
_
_
_
_
_
= e
2t
_
_
_
_
_
_
A
1
A
2
A
3
_
_
_
_
_
_
+te
2t
_
_
_
_
_
_
B
1
B
2
B
3
_
_
_
_
_
_
+t
2
e
2t
_
_
_
_
_
_
C
1
C
2
C
3
_
_
_
_
_
_
,
para certas constantes reais A
1
, A
2
, A
3
, B
1
, B
2
, B
3
, C
1
, C
2
e C
3
. Ora,
_
_
_
_
_
_

1
(t)

2
(t)

3
(t)
_
_
_
_
_
_
= e
2t
_
_
_
_
_
_
2A
1
+B
1
2A
2
+B
2
2A
3
+B
3
_
_
_
_
_
_
+te
2t
_
_
_
_
_
_
2B
1
+2C
1
2B
2
+2C
2
2B
3
+2C
3
_
_
_
_
_
_
+t
2
e
2t
_
_
_
_
_
_
2C
1
2C
2
2C
3
_
_
_
_
_
_
e, por outro lado,
_
_
_
_
_
_

1
(t)

2
(t)

3
(t)
_
_
_
_
_
_
=
_
_
_
_
_
_
2 1 3
0 2 1
0 0 2
_
_
_
_
_
_
_
_
_
_
_
_
e
2t
_
_
_
_
_
_
A
1
A
2
A
3
_
_
_
_
_
_
+te
2t
_
_
_
_
_
_
B
1
B
2
B
3
_
_
_
_
_
_
+t
2
e
2t
_
_
_
_
_
_
C
1
C
2
C
3
_
_
_
_
_
_
_
_
_
_
_
_
= e
2t
_
_
_
_
_
_
2A
1
+A
2
+3A
3
2A
2
A
3
2A
3
_
_
_
_
_
_
+te
2t
_
_
_
_
_
_
2B
1
+B
2
+3B
3
2B
2
B
3
2B
3
_
_
_
_
_
_
+t
2
e
2t
_
_
_
_
_
_
2C
1
+C
2
+3C
3
2C
2
C
3
2C
3
_
_
_
_
_
_
.
Ento, necessariamente,
A
2
= B
1
+6C
1
, A
3
= 2C
1
, B
2
= 2C
1
, B
3
= 0, C
2
= 0 e C
3
= 0
e, por conseguinte,
_
_
_
_
_
_

1
(t)

2
(t)

3
(t)
_
_
_
_
_
_
= A
1
_
_
_
_
_
_
e
2t
0
0
_
_
_
_
_
_
+B
1
_
_
_
_
_
_
te
2t
e
2t
0
_
_
_
_
_
_
+C
1
_
_
_
_
_
_
t
2
e
2t
6e
2t
+2te
2t
2e
2t
_
_
_
_
_
_
(A
1
, B
1
, C
1
R)
a soluo geral do sistema homogneo associado ao sistema (5). Logo,
Antnio Patrcio Dez-2009 (V1)
6 A equao secular NOTAS DE ANLISE MATEMTICA III-D
XXX =
_
_
_
_
_
_
t
t
0
_
_
_
_
_
_
+A
1
_
_
_
_
_
_
e
2t
0
0
_
_
_
_
_
_
+B
1
_
_
_
_
_
_
te
2t
e
2t
0
_
_
_
_
_
_
+C
1
_
_
_
_
_
_
t
2
e
2t
6e
2t
+2te
2t
2e
2t
_
_
_
_
_
_
(A
1
, B
1
, C
1
R)
a soluo geral do sistema completo (5).
Referncias
[1] Apostol, T.M., Calculus, Vol. 2, John Wiley & Sons, Inc., 2
a
Ed., 1969.
[2] Birkhoff, G. & Rota, Gian-Carlo, Ordinary Dierential Equations, John Wiley & Sons, Inc., 4
a
Ed., 1989.
[3] Diprima, R. e Boyce, W.E., Elementary Dierential Equations and Boundary Value Problems, John Wiley & Sons,
Inc., 8
a
Ed., 2005.
Antnio Patrcio Dez-2009 (V1)