Escolar Documentos
Profissional Documentos
Cultura Documentos
CENTRO DE CINCIAS
DEPARTAMENTO DE MATEMTICA
PROGRAMA DE PS-GRADUAO
EM MATEMTICA EM REDE NACIONAL
FORTALEZA CE
2013
FORTALEZA CE
2013
___________________________________________________________________________
AGRADECIMENTOS
Agradeo, primeiramente, a Deus pela sua existncia, pela razo de todas as minhas
conquistas.
Agradeo aos meus pais, Clotnio Ponciano Lima (In Memorian) e Maria Aldair de Oliveira
Ponciano Lima, pelo apoio e criao.
Agradeo ao meu professor e orientador Marcelo Ferreira de Melo, pelas aulas, indicaes e
pronto atendimento ao trabalho de orientao e pelo compromisso contnuo durante todo o
programa de mestrado.
Agradeo aos professores, Jos Afonso de Oliveira, Marcos Ferreira de Melo, Jos Robrio
Rogrio, Jos Othon Dantas Lopes, Cleon da Silva Barroso, Jos Fbio Bezerra Montenegro
pelas aulas ministradas e dedicao neste projeto de mestrado.
Agradeo a todos os colegas do PROFMAT que contriburam nas disciplinas do mestrado.
Agradeo a CAPES pelo apoio financeiro.
Agradeo a todos os responsveis pela criao deste programa de mestrado profissional em
matemtica em rede nacional.
Enfim, agradeo a todos que de maneira direta ou indireta contriburam para que este curso de
Ps-Graduao fosse realizado e concludo.
RESUMO
Neste trabalho, consideramos variedades afins no espao vetorial para analisar e compreender
o comportamento geomtrico de conjuntos solues de sistemas de equaes lineares, de
solues de equaes diferenciais ordinrias lineares de segunda ordem resultantes de
modelagens matemticas de sistemas, etc. Verificamos caractersticas das variedades afins em
espaos vetoriais como um subespao vetorial transladado de qualquer vetor pertencente
variedade afim e fazemos uma comparao das representaes geomtricas dos conjuntos
solues das situaes-problema, citados acima, com tais caractersticas.
Palavras-chave: Variedade afim, espao vetorial, subespao vetorial, equaes lineares e
equaes diferenciais.
ABSTRACT
In this paper, we consider affine varieties in vector space to analyze and understand the
geometric behavior of sets solutions of systems of linear equations, solutions of linear
ordinary differential equations of second order resulting from mathematical modeling of
systems, etc. We observed characteristics of affine varieties in vector spaces as a subspaces
vector transferred to any vector belonging to affine variety and do a comparison of geometric
representations of the solution sets of problem situations, cited above, with such features.
Keywords: Affine variety, vector space, vector subspace, linear equations and differential
equations.
Sumrio
1
INTRODUO
VARIEDADES AFINS
POSIES RELATIVAS
SISTEMAS LINEARES
11
15
18
CONCLUSO
28
REFERNCIAS BIBLIOGRFICAS
29
Captulo 1
Introduo
O estudo de equaes lineares, comum no ensino fundamental e mdio, facilmente
compreendido quando denotamos as noes geomtricas. As solues de sistemas de
equaes lineares, por exemplo, quando associadas anlise de posies entre elementos
geomtricos, tais como retas e planos, tornam-se mais compreensveis. As equaes lineares
aparecem frequentemente na matemtica aplicada engenharia ao modelar certos fenmenos
como circuitos eltricos, sistemas com molas, movimentos oscilatrios, etc. No intuito de
compreender o comportamento das solues de problemas de modelagem ou das simples
solues de sistemas lineares, analisamos os problemas usando ferramentas matemticas
simples como matrizes, vetores, espaos vetoriais, variedades afins, dentre outras.
O presente trabalho tem como objetivo analisar e compreender o comportamento das
solues de sistemas de equaes lineares, do posicionamento relativo de elementos
geomtricos (retas, planos e hiperplanos), das solues de equaes lineares descritas atravs
da modelagem de fenmenos e de outros problemas; caracterizando esses elementos de modo
geral usando variedades afins.
No segundo captulo, apresentamos a definio de variedades afins e de maneira
simples e exemplificada mostramos como caracteriza-la usando subespaos vetoriais
transladados. Nos captulos seguintes, mostramos uma anlise de problemas e situaes
matemticas, como o conjunto soluo de sistemas de equaes lineares e as solues de
equaes diferenciais ordinrias lineares, caracterizadas usando variedades afins.
Captulo 2
Variedades Afins
A noo de subespao vetorial abrange as retas, planos e seus anlogos
multidimensionais apenas nos casos em que esses conjuntos contm a origem. Para incluir
retas, planos, etc. que no passam pela origem, tem-se a noo de variedade afim.
definio o conjunto
=
1
+
;
.
2.1
(2.1)
Um subconjunto chama-se uma variedade afim quando a reta que une dois
pontos quaisquer de est contida em . Assim, uma variedade afim se, e somente
, ,
1
+
.
(2.2)
Exemplo 2.1.2 Outro exemplo de variedade afim o conjunto com um nico ponto, pois se
um ponto de um espao vetorial qualquer e = , teremos que =
1
+
,
.
Teorema 2.1.1 Seja uma variedade afim no vazia no espao vetorial . Existe um nico
subespao vetorial % tal que, para todo tem-se = + % = + ; %. Em
dos vetores de .
) = + + + * .
(2.3)
Exemplo 2.1.5 A equao do plano dada por + + ) = 1 uma variedade afim que
contm os pontos 0 =
1,0,0, 0+ =
0,1,0 e 01 =
0,0,1. Para cada um desses pontos
existe um nico subespao vetorial tal que os elementos da variedade afim acima sero dados
pela soma dos elementos do subespao vetorial com um dos elementos citados. Para os trs
pontos acima, teremos o subespao vetorial definido pela equao + + ) = 0.
Exemplo 2.1.6 Se uma variedade afim contm o vetor zero, ento um subespao
vetorial de . De fato, como o vetor zero pertence a , pelo Teorema 2.1.1 temos que
vetores =
, , tais que + + = um subespao vetorial de
se, e somente se, = 0. Temos ainda que uma variedade afim.
. 0 = = 0. Agora, seja =
, , ; + + = 0.
0 , pois . 0 + + . 0 = 0.
Suponha que 2 =
, , e =
, , pertenam a . Ento
+ + = 0,
+ + = 0.
(2.4)
(2.5)
Portanto, 2 + .
+ + +
+ = 0.
& + +
& = 0.
(2.6)
Com isso, temos que subespao vetorial de se, e somente se, = 0. Para
+ + = ,
+ + = .
(2.7)
(2.8)
Multiplicando o primeiro lado da equao (2.7) por e o primeiro lado da equao (2.8) por
+
1
+ +
+
1
=
=
+ + +
1
+ + =
=
+
1
= .
Portanto, o vetor
2 +
1
. Assim, variedade afim.
Antes de falarmos sobre variedade afim gerada vejamos que a definio de variedade
afim diz, em (2.2), que a condio para que seja variedade afim que , ,
1
+
. Podemos escrever uma condio mais geral.
Para mostrar que essa condio mais geral vlida, tome 3 qualquer. Do
Teorema 2.1.1 temos que existe um nico subespao vetorial % tal que, para todo
Assim, mostrar que um vetor est em o mesmo que mostrar que 3 %. Sejam
, + , , 4 . Temos que 3 , + 3 , , 4 3 %. Como % subespao
vetorial, toda combinao linear de vetores de % est em %; em particular, &
3 +
&+
+ 3 + + &4
4 3 %.
Como
& + + &4 = 1,
ento
teremos
que
&
3 + &+
+ 3 + + &4
4 3 ser igual a & + &+ + + + &4 4 3 ,
que pertence a %. Ento temos que & + &+ + + + &4 4 , que conclui a verificao
da condio geral.
modo que a soma dos coeficientes das combinaes seja igual a 1. Nesse caso teremos que
5 = 1 , que um espao vetorial, consequentemente um subespao vetorial. Vale
ressaltar que uma variedade afim ser um subespao vetorial quando o vetor zero pertence a
variedade e neste exemplo notvel que o vetor
0, 0, 0 pertence a
5.
Proposio 2.2.1
5 uma variedade.
Demonstrao: Seja = =
5 3 . Cada vetor de = um vetor de
5 menos 3 , isto ,
um vetor da forma & + + & 3 = &
3 + + &
3 , que uma
% =
0 dever ser um subespao vetorial. No exemplo 2.2.1, vimos que
5 = 1 .
Portanto, % =
= 1 . Temos que 1 um espao vetorial tridimensional sobre o
conjunto dos reais e, obviamente, um subespao vetorial.
Captulo 3
Posies Relativas
Nesse captulo iremos discutir um pouco sobre as posies relativas de variedades
afins. Assim como na geometria espacial, podemos analisar as posies relativas entre as
variedades afins, ou seja, determinar se duas variedades afins so paralelas ou concorrentes ou
reversas. Para isso, temos que analisar os subespaos vetoriais aos quais as variedades afins
esto associadas. Seja uma variedade afim no espao vetorial . Sabemos que existe um
respectivamente.
Observaes.
%
+ ). Assim a questo da posio relativa das variedades afins e + , nesse caso, est
(2) A variedade afim + pode ser formada por um nico ponto, por exemplo, se e
+ forem duas retas ou uma reta e um plano.
Definio 3.3 Duas variedades afins sero chamadas reversas se elas no forem concorrentes
nem paralelas.
Exemplo 3.2 No espao tridimensional 1 sabemos que duas retas podem ser reversas,
enquanto que um plano e uma reta nunca sero reversos.
que tenha dimenso $ e que seja paralela a +. Seja D um ponto de 1. Como 1 paralela a
+ e tem dimenso $, podemos escrever:
1 = D + %
+ .
(3.1)
Em que %
+ o subespao vetorial diretor de + . Vamos mostrar que 1 e so reversas.
(3.2)
10
Suponhamos por contradio que exista um ponto 1 . Ento, a partir de (3.1) e (3.2)
conclumos que existem vetores %
+ e 7 %
tais que = @ + 7 e = D + . O
que implica em:
D = @ +
7 .
(3.3)
o subespao %
+ %
+ e como @ + , ento teremos que
+ = @ +
;%
+ %
+ <. Temos assim uma contradio, pois por hiptese 1 no esta contida em
+ . Portanto, 1 reversa a .
=
1 + &, 1 + 8, 1, 1; &, 8 . Seja + a variedade afim que passa por =
1, 1, 1, 1
+ so concorrentes, pois + a variedade afim que passa pelo ponto e tem a direo
de ? ?+ = '
1, 0, 0, 0(, ou seja, + =
1 + &, 1, 1, 1; & . A variedade afim,
gerada pela unio +, que passa pelo ponto e tem a direo de ? + ?+ dada por
+ =
1 + &, 1 + 8, 1 + F, 1; &, 8, F . Observe que
+ E , pois o
ponto @ =
1, 1, 1, 0
+ . Seja 1 a variedade afim que passa por @ =
1, 1, 1, 0 e
+ e reversa a .
Captulo 4
Sistemas Lineares
Nesse captulo iremos discutir um pouco sobre os sistemas lineares usando os
conceitos de variedades afins. Inicialmente, temos que um sistema linear um conjunto de
equaes lineares da forma + + = . Um sistema linear com # equaes e $
incgnitas representado por:
+ + =
+ + + = + N
K +
.
M + + M = M
(4.1)
est associado ao sistema linear (4.1) original. Assim, temos que o sistema linear homogneo
com # equaes e $ incgnitas representado por:
+ + = 0
+ + + = 0 N
K +
.
M + + M = 0
(4.2)
admitem pelo menos a soluo trivial, ou seja, admitem pelo menos a soluo
0, 0, , 0. De
fato, cada uma das equaes de (4.2) representam um subespao vetorial, portanto, contm o
vetor nulo. Geometricamente, essas equaes representam retas, planos ou hiperplanos que
passam pela origem do sistema cartesiano.
As equaes de (4.1) descrevem pontos, retas, planos e hiperplanos, que so exemplos
de variedades afins. Como a soluo de um sistema linear representa geometricamente a
interseo de tais elementos, ento teremos como possveis representaes das solues
elementos geomtricos como pontos, retas, planos e hiperplanos e em alguns casos o conjunto
vazio, que so variedades afins. Obviamente, segue do exemplo 2.1.3, que a interseo de
variedades afins uma variedade afim.
11
12
+
1
=
+
1
=
=
+
1
=
= .
(4.3)
indeterminao . Analisando o caso em que o sistema linear tem o nmero de equaes igual
ao nmero de incgnitas e tem infinitas solues, ou seja, os determinantes das matrizes so
iguais a zero, ento umas das equaes lineares do sistema combinao linear das outras
equaes lineares e se descartarmos tal equao, o novo sistema ter as mesmas solues do
sistema linear anterior. Assim, o sistema obtido ter o nmero de equaes menor que o
nmero de incgnitas. Nesse caso, o sistema linear homogneo associado admitir infinitas
solues, pois j sabemos que o sistema linear homogneo associado admite ao menos a
13
soluo trivial. O lema a seguir mostra que, alem da soluo trivial, um sistema linear
homogneo cujo nmero de incgnitas maior do que o nmero de equaes admite uma
soluo no trivial, ento pelas concluses que a regra de Cramer fornece tais sistemas tero
infinitas solues e representaro subespaos vetoriais.
Lema 4.1 Todo sistema linear homogneo cujo nmero de incgnitas maior do que o
nmero de equaes admite uma soluo no trivial.
# < $. Usaremos induo no nmero # de equaes. Para # = 1, temos uma nica equao
+ + = 0, com $ > 1 incgnitas. Um dos coeficientes : diferente de 0.
Mudando o nome das incgnitas, se necessrio, podemos supor que 0. Ento a equao
dada equivale a:
= VW XX + +
W
XY
WXYZX
WXY
[ \.
(4.4)
Para completar a induo, suponhamos o lema 4.1 verdadeiro para um sistema com # 1
equaes. Mudando, se necessrio, a ordem das equaes e os nomes das incgnitas, podemos
admitir que, no sistema (4.2) dado, tem-se M 0. Ento da #-sima equao resulta:
= VW ]X + +
W
]Y
W]YZX
W]Y
[ \.
(4.5)
Substituindo, em cada uma das # 1 primeira equaes, a incgnita pelo valor em (4.5),
obtemos um sistema homogneo de # 1 equaes nas $ 1 incgnitas , , [ . Pela
]Y
W]YZX
W]Y
2 + 4 + 6) = 6
^3 2 4) = 38N.
+ 2 + 3) = 3
(4.6)
2
Temos que o determinante da matriz c3
1
14
4
2
2
6
4d igual a 0, pois a primeira linha
3
2 4
6
mltipla da terceira linha. O determinante da matriz c3 2 38d, que a matriz anterior
1 2
3
com a terceira coluna substituda pelos termos independentes do sistema linear, tambm
igual a zero pelo mesmo motivo da matriz anterior. Facilmente verificamos que as outras
matrizes tambm tm determinantes iguais zero. Ento, pela regra de Cramer, temos que o
sistema admite infinitas solues. Nesse caso, umas das equaes deve ser combinao linear
das outras equaes. De fato, a primeira equao a combinao linear das segunda e terceira
equaes, pois se multiplicarmos a segunda equao por 0 e a terceira equao por 2 e
somando as novas equaes, obteremos a primeira equao. Podemos ento descartar a
3 2 4) = 38N
primeira equao e o novo sistema e
ter as mesmas solues do
+ 2 + 3) = 3
sistema inicial (4.6). As solues do novo sistema linear esto associadas as solues do
sistema linear homogneo associado
e
3 2 4) = 0N
.
+ 2 + 3) = 0
(4.7)
consequentemente, =
fVJ,
[1g
+
[1O
+
, 4J\ ; J h. Basta agora tomar uma soluo particular do sistema (4.6). Podemos
tomar uma soluo particular facilmente fazendo = 1. Teremos ento que o sistema se
resumir a e
=
V1,
1j
+
1j
+
2 4) = 41N
. Em seguida, somando as duas equaes, obtemos ) = 45 e
2 + 3) = 4
, 45\. Como a soluo do sistema (4.7) uma variedade afim caracterizada pelo
[1g
+
[1g[1j
+
, 4J + 45\ ; J h.
1j
+
, 45\, ento a
Captulo 5
Reta Tangente a um Grfico
Nesse captulo iremos discutir um pouco sobre o problema da reta tangente a um
grfico de uma funo em um determinado ponto. Sabemos que o coeficiente angular da reta
tangente ao grfico de uma funo k em um ponto R l#
k a derivada de k no ponto R.
lim
x p
f ( x) f ( p)
x p
(5.1)
f ( x) f ( p)
.
x p
(5.2)
;R, k
R<. Evidentemente, tal reta deve passar pelo ponto ;R, k
R<; assim a reta tangente fica
determinada se dissermos qual deve ser seu coeficiente angular. Consideremos, ento, a reta
mO que passa pelos pontos ;R, k
R< e ;, k
<, como mostra a figura 5.1.
16
f ( x) f ( p)
.
x p
(5.3)
Observe na figura 5.2 que medida que vai se aproximando de R, a reta mO vai se
aproximando da posio da reta T de equao:
k
R = k
R.
R.
(5.4)
transladado do vetor
0, $. Como o vetor ;R, k
R< pertence a variedade, ento teremos que
k
R = k
RR + $. Da temos que $ = k
R k
RR. Logo temos que o subespao
, k
R; ser transladado do vetor
0, k
R k
RR. Portanto, a n a variedade
Observe
que
, =
, k
R + k
R k
RR; .
= k
R + k
R k
RR = k
R + k
R.
R,
(5.5)
que
resulta
na
identidade (5.4). Outra observao importante que, por n ser variedade afim, podemos
transladar o subespao vetorial
, k
R; de qualquer vetor da variedade, ento n
, = ; + R, k
R + k
R<; .
17
(5.6)
Veja que = k
+ R, ento para obtermos k
bastaria fazer + R = &, & .
como k
1 = 2 e k
1 = 3. 1+ + 1 = 4, segue que =
, 4 2; . Obviamente,
temos que = 4 2 a equao da reta tangente ao grfico de k no ponto de abscissa 1.
conter a origem j que subespao vetorial. Assim, no caso em que n subespao, devemos
ter k
R k
RR = 0, ou seja, k
R =
o
p
p
Caso contrrio, k
R no existir e k no ser contnua no conjunto dos reais.
Captulo 6
EDOs Lineares de Segunda Ordem
Nesse captulo iremos analisar as solues de equaes diferenciais ordinrias
(EDOs) lineares de segunda ordem no homogneas como variedades afins. Iremos
considerar as EDOs lineares de segunda ordem da forma:
qr s
qO r
+ R
qO + t
= k
, u .
qs
(6.1)
Em que as funes R
, t
e k
so contnuas no intervalo u =
, (inclui-se os casos
= e = +). As funes R
, t
e k
podem at no serem contnuas em
determinados pontos, mas nesses casos devemos ter alguns cuidados. Em geral, nas situaes
fsicas que originam tais equaes, as funes R
, t
e k
so funes de varivel real
e iremos trat-las como funes reais.
qr s
qO r
+ @
qs
qO
+ D
= %
.
(6.2)
y
O
z
O
em que
= 0 so singularidades da equao. Mas iremos tratar de equaes sem pontos
de singularidade. Quanto s solues, no caso das EDOs de primeira ordem bastava uma
condio inicial para selecionar uma soluo especfica, dentre vrias solues possveis. Para
as EDOs de segunda ordem so necessrias duas condies. Quando estas condies fixam
os valores da incgnita e sua derivada no mesmo ponto, teremos o problema de valor
inicial:
" + R
+ t
= k
, u
N.
3 = 3
{
3 = 3
18
(6.3)
19
Teorema 6.1 (Existncia e Unicidade) Considere o problema de valor inicial (6.3), em que
R
, t
e k
so contnuas no intervalo aberto u . Existe uma nica funo = }
, a
para a soluo do problema de valor inicial. Portanto, a demonstrao do Teorema 6.1 exige a
utilizao de argumentos gerais, que independem do conhecimento da soluo em termos de
funes elementares. Uma possibilidade consiste em reduzir a equao de segunda ordem a
um sistema de duas equaes de primeira ordem. Mas aqui essa demonstrao foge do
objetivo do presente trabalho. Para prosseguirmos com a discusso das EDOs lineares de
segunda ordem, conveniente introduzir o conceito de operadores diferenciais e reescrever a
equao (6.1) na forma:
'( = k
,
(6.4)
= qO r + R
qO + t
,
(6.5)
'( = qO r + R
qO + t
= 0.
qr s
qs
(6.6)
=
+ + +
.
(6.7)
20
tambm ser soluo, para quaisquer nmeros reais e + . notvel que a dimenso do
espao vetorial finita (veremos a seguir), o que reduz o grau de dificuldade para as solues
da equao (6.6).
(6.8)
Caso contrrio, se a equao (6.8) s for vlida para todo u se as constantes e + forem
nulas, dizemos que as solues so linearmente independentes.
+
=
+
+
.
+
(6.9)
algum 3 u. De fato, se
e +
so duas solues linearmente dependentes da
=
+ + +
= 0, u ,
(6.10)
+
0
V \ = V \.
+
+
0
(6.11)
nulas, se e somente se, o determinante da matriz dos coeficientes for nulo. Por outro lado, se o
21
+
3
0
3
V \ = V \.
3 +
3
0
+
(6.12)
3 = 0. Porem, pelo teorema da existncia e unicidade, Teorema 6.1, se uma soluo da
equao homognea (6.6) satisfaz estas condies, ento esta soluo identicamente nula.
Isto implica que as solues
e +
so linearmente dependentes.
Teorema 6.3 Se
e +
so solues de '( = 0 em u, ento o Wronskiano
, +
dado por:
, +
= C exp p ( ) d .
x0
(6.13)
teremos
q
qO
" + R
+ t
= 0,
"+ + R
+ + t
+ = 0.
(6.14)
(6.15)
Multiplicando (6.14) por + e (6.15) por e fazendo-se a adio das duas equaes, seguese que:
Portanto,
(6.13).
q
qO
"+ + " + R
' + + ( = 0.
(6.16)
+ R
= 0 e a EDO de primeira ordem tem como soluo a identidade
C = 0) ou
, +
0 em u (se C 0) . Portanto, para discutirmos se duas solues da
22
equao (6.6) so linearmente independentes, basta calcularmos seu Wronskiano em algum
ponto de u .
ponto 3 u e consideremos
e +
solues da EDO homognea '( = 0
1 0
= 1. As funes
e +
so, assim,
0 1
forma
=
+ + +
, ou seja, que para alguma escolha das constantes e + , a
soluo }
uma combinao do tipo acima. Seja 3 u e sejam 3 e 3 os valores
assumidos por }
e sua derivada }
em 3 :
3 = }
3 e 3 = }
3 .
(6.17)
A funo }
, ento, soluo do problema de valor inicial acima. Por outro lado, como
, +
0, j que
e +
so linearmente independentes, o sistema
3
3 +
3
V \ = V \.
3 +
3
+
3
(6.18)
=
+ + +
seja uma soluo do mesmo problema de valor inicial.
(6.19)
23
A funo }
uma soluo arbitrria da EDO homognea e, com isso, temos que a
dimenso do espao de solues dois.
qs
(6.20)
+
so duas solues quaisquer de (6.20), ento ' + ( = ' (
'+ (
=
k
k
= 0, ou seja, a diferena de duas solues da equao no homognea (6.20)
soluo da equao homognea associada '( = 0. Isto nos permite escrever a soluo geral
da equao no homognea na forma:
=
+ + +
+ p
,
(6.21)
em que
e +
constituem um conjunto fundamental de solues para a equao
Conclumos, ento, que o conjunto soluo de uma EDO linear de segunda ordem
uma variedade afim, pois a soluo da EDO pode ser caracterizada por um espao vetorial
(que um subespao vetorial) transladado de um vetor que pertence a variedade afim.
Exemplo 6.1 Suponha que uma mola flexvel esteja suspensa verticalmente em um suporte
rgido e que ento uma massa # seja conectada sua extremidade livre. A distenso ou
elongao da mola naturalmente depender da massa; massas com pesos diferentes
distendero a mola diferentemente. Pela lei de Hooke, a mola exerce uma fora restauradora
em p uma mola, ento teremos que P = 20 lb/ps. Depois que uma massa # conectada a
uma mola, provoca uma distenso m na mola e atinge sua posio de equilbrio no qual seu
peso 7 igual fora restauradora Pm. Lembrando que o peso definido por 7 = #, em
que = 9,8 m/s ou = 32 ps/s, a condio de equilbrio ser # = Pm ou, simplesmente,
24
# q r = P
+ m + # = P Pm
+ #
= P .
qr O
(6.22)
O sinal negativo indica que a fora restauradora da mola age no sentido oposto ao do
movimento.
A equao (6.22) descreve um movimento harmnico simples ou movimento livre no
amortecido. O conceito de movimento harmnico simples um tanto quanto irreal, uma vez
que descrito pela equao (6.22) sob a hiptese de que nenhuma fora de retardamento age
sobre a massa em movimento. A no ser que a massa seja suspensa em um vcuo perfeito,
haver pelo menos uma fora contrria ao movimento em decorrncia do meio ambiente. No
estudo de mecnica, as foras de amortecimento que atuam sobre um corpo so consideradas
proporcionais a uma potncia da velocidade instantnea. Em particular, vamos supor que essa
fora dada por um mltiplo constante de
qO
q
qO
(6.23)
25
q rO
q r
+V \
qO
+ 2J
qO
M q
+ V \ = 0.
(6.24)
+ + = 0.
(6.24)
qr O
q r
O smbolo 2J foi usado somente para facilitar a anlise das razes da equao auxiliar
+ + 2J + + = 0. Assim teremos como razes = J J+ + . Podemos distinguir
r [ r <
+ + . 0 ;[g[g
r [r <
ser da forma
= 0 [g
+ +
.
Caso III: (subamortecimento) A soluo da equao (6.24) para o caso J+ + < 0 ser
da forma
= 0 [g V . m;J+ +
< + + . m0$;J+ +
<\.
Podemos observar que as solues em todos os trs casos so subespaos vetoriais, que
tambm so variedades afins.
Exemplo 6.2 Considere a situao do exemplo 6.1, agora com uma fora externa k
agindo
qO
+ 2J
qO
q
+ + = %
.
(6.25)
o
M
= %
teremos a EDO
(6.26)
(6.24). Dependendo de %
e dos valores iniciais do sistema devemos encontrar uma soluo
particular para a equao (6.26) e a soluo geral ser dada pela soluo da equao
homognea associada mais a soluo particular. Assim a soluo ser uma variedade afim,
26
pois podemos caracteriz-la como um subespao vetorial transladado de um vetor da
variedade afim.
Exemplo 6.3 Seja um sistema de massa mola vibrante, como o exemplo 6.2, que consiste em
uma massa (# = 1/5 kg) presa a uma mola (P = 2 lb/ps). A massa solta do repouso p
qrO
q r
+ 1,2
qO
q
+ 2 = 5m
4
, com condies iniciais
0 =
qr O
q r
+6
qO
q
qrO
q r
+
e
0 = 0.
+ 10 = 25m
4
.
+ 6 q + 10 = 0, que
qO
negativo e, portanto, teremos um sistema subamortecido que ter como soluo, de acordo
com o caso III, a combinao linear dada por 0 [1
m
+ + m0$
que um subespao
3+
m
4
+ m0$
4
que uma variedade afim. Aplicando as condies iniciais
3
3
m0$
4
.
Exemplo 6.4 Considere um circuito eltrico RLC em srie sob uma voltagem senoidal
= m0$
, como mostra figura 6.2.
q
q
27
capacitor Vy \ t, a queda de voltagem sobre o indutor q r e a queda de voltagem sobre o
qr
q r + q + y = m0$
.
qr
(6.27)
O circuito acima se assemelha a um sistema massa mola com uma fora externa. As
solues da equao (6.27) esto associadas s solues da equao homognea associada
qr
q r
q
q
<
+ .
+ + .
Resta-nos agora verificar uma soluo particular para a equao (6.27). Se a resistncia no
for nula, ou seja, 0, teremos a soluo (tp ) particular da forma:
tp = m0$
+ + m
.
(6.28)
+ =
'
1D (
+ + '
1D (+
+ + '
1D (+
F
tp = m
&, em que m0$& = e m& = .
Portanto, a soluo da EDO descrita em (6.27) uma variedade afim caracterizada por
Captulo 7
Concluso
Nesse trabalho mostramos alguns conceitos de variedades afins vistos em lgebra
Linear como a caracterizao de uma variedade afim como um subespao vetorial transladado
de um vetor qualquer pertencente variedade afim.
Associamos essa caracterstica das variedades afins com a representao geomtrica
de situaes matemticas atravs de exemplos como o posicionamento relativo de variedades
afins, as solues de sistemas de equaes lineares, a reta tangente a um grfico de uma
funo e as solues de EDO lineares homogneas e no homogneas de segunda ordem.
Verificamos que quaisquer conjuntos soluo de problemas matemticos ou situaes
matemticas, que possam ser caracterizados como subespaos vetoriais transladados de
qualquer vetor pertencente ao conjunto soluo, podem ser associados a variedades afins.
Por fim, com o conhecimento dessa ferramenta, os alunos podem compreender melhor
o comportamento de tais conjuntos solues e fazer anlises mais detalhadas dos problemas
estudados. Desse modo, podemos buscar e aprofundar ideias que envolvam essa ferramenta
no intuito de analisar e ter melhor compreenso de situaes problema que possam ser
representados geometricamente.
28
Referncias Bibliogrficas
[1] BUENO, H. P. lgebra Linear - um segundo curso. Rio de Janeiro: Sociedade Brasileira
de Matemtica, 2006.
[2] BUTKOV, E. Fsica Matemtica. Rio de Janeiro: LTC - Livros Tcnicos e Cientficos
Editora S.A., 1988.
[3] GUIDORIZZI, H. L. Um Curso de Clculo Vol. 1. 5. ed. Rio de Janeiro: LTC - Livros
Tcnicos e Cientficos Editora S.A., 2001.
[4] KREIDER, D. L.; KULLER, R. G.; OSTBERG, D. R. Equaes Diferenciais. So Paulo:
Edgard Blcher, 1972.
[5] LIMA, E. L. lgebra Linear. Rio de Janeiro: Instituto de Matemtica Pura e Aplicada,
2011. (Coleo matemtica universitria)
[6] MARTIN, P. A.; SINGER, M. L. Tpicos de lgebra Linear: Espaos Afins. So Paulo:
Instituto de Matemtica e Estatstica USP. 2007. (Apostila)
[7] OLIVEIRA, E. C. de; TYGEL, M. Mtodos Matemticos para Engenharia. Rio de janeiro:
Sociedade Brasileira de Matemtica, 2005. (Coleo textos universitrios)
[8] STEINBRUCH, A.; WINTERLE, P. lgebra Linear 2. ed. So Paulo: Pearson Education
do Brasil, 2004.
[9] TEIXEIRA, R. C. lgebra Linear. Exerccios e solues. Rio de Janeiro: Instituto de
Matemtica Pura e Aplicada, 2012. (Coleo matemtica universitria)
29