UNIVERSIDADE FEDERAL DO CEAR

CENTRO DE CINCIAS
DEPARTAMENTO DE MATEMTICA
PROGRAMA DE PS-GRADUAO
EM MATEMTICA EM REDE NACIONAL

DIEGO PONCIANO DE OLIVEIRA LIMA

VARIEDADES AFINS E APLICAES

FORTALEZA CE
2013

DIEGO PONCIANO DE OLIVEIRA LIMA

VARIEDADES AFINS E APLICAES

Dissertao de Mestrado apresentada ao

Programa de Ps-Graduao em Matemtica
em Rede Nacional (PROFMAT) do
Departamento de Matemtica da Universidade
Federal do Cear, como requisito parcial para
obteno do grau de Mestre em Matemtica.
rea de concentrao: Ensino de Matemtica.
Orientador:
Prof. Dr. Marcelo Ferreira de Melo.

FORTALEZA CE
2013

Dados Internacionais de Catalogao na Publicao

Universidade Federal do Cear
Biblioteca do Curso de Matemtica
___________________________________________________________________________
L697v

Lima, Diego Ponciano de Oliveira

Variedades Afins e Aplicaes / Diego Ponciano de Oliveira Lima. - 2013.
38 f. : il. color. , enc. ;31 cm
Dissertao (mestrado) - Universidade Federal do Cear, Centro de Cincias,
Departamento de Matemtica, Programa de Ps-Graduao em Matemtica em
Rede Nacional, Fortaleza, 2013.
rea de concentrao: Ensino de Matemtica.
Orientao: Prof. Dr. Marcelo Ferreira de Melo.
1. Equaes Lineares. 2. Espaos Vetoriais. I. Ttulo.
CDD 515.352

___________________________________________________________________________

Dedico este trabalho a toda comunidade do

PROFMAT.

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.

S aqueles que se arriscam a ir mais longe,

descobriro at onde podem chegar
Osvaldo Trtora

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

2.1 Definio de Variedade Afim . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.2 Variedade Afim Gerada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

POSIES RELATIVAS

SISTEMAS LINEARES

11

RETA TANGENTE A UM GRFICO

15

EDOs LINEARES DE SEGUNDA ORDEM

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.

Seja
um espao vetorial. Se , 
e  , a reta que une os pontos ,  , por

definio o conjunto

 =
1  + ; .

Pondo  =  , podemos ver que  =  + ; .

2.1

(2.1)

Definio de Variedade Afim

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

se, cumpre a seguinte condio:

,  ,
1  +  .

(2.2)

Exemplo 2.1.1 Um exemplo bvio de variedade afim um subespao vetorial.

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  + ,
.

Exemplo 2.1.3 Se  , , 
so variedades afins, ento a interseo  =  

ainda uma variedade afim.

Exemplo 2.1.4 Sejam  , ,  ,  . O conjunto dos pontos  =

 , ,    tais

que   + +   =  uma variedade afim que no contm a origem quando  0.

Mais geralmente, o conjunto das solues de um sistema linear de # equaes com $
incgnitas uma variedade afim.

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

outras palavras, toda variedade afim 
um subespao vetorial de
transladado por um

dos vetores de .

Demonstrao: Dado  , seja % o conjunto de todos os vetores  =  , em que  .

Mostremos que % um subespao vetorial. evidente que 0 %, basta tomar  = . Alm

disso, se & e  %, ento & = &

  = '
1 & + &(  = ) , com
) =
1 & + & . Portanto, & %. Finalmente, se  =   e  * =  * 
pertencem a %, ento

) = +  + +  * .


(2.3)

Portanto )  %. Segue de (2.3) que a soma  +  * =  +  * 2 = 2

)   pertence a

%. Em seguida, mostremos que  =  + %. Veja que se  , ento  =  +

 , com

  %. Logo   + %. Assim,   + %. Por outro lado, um elemento qualquer de

 + % tem a forma  +
 , com  , logo igual a  e da  + % . Finalmente, se

% e % so subespaos vetoriais de
, tais que  + % =  + % para algum 
, provemos

que se tem % = %. De fato,  %  +   + %  +   + % *  +  =  + 
(pois  %)  =   %. Portanto % %. Analogamente, v-se que % %, o que
conclui a demonstrao.

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

 =  + 0. Assim,  um subespao vetorial de
.

Dos Exemplos 2.1.4 e 2.1.6 teremos que dados  , ,  ,  , o conjunto de  de

vetores  =
 , ,    tais que   + +   =  um subespao vetorial de 
se, e somente se,  = 0. Temos ainda que  uma variedade afim.

De fato, se  um subespao vetorial, ento

0, 0, , 0 , isto ,  . 0 + +

 . 0 =  = 0. Agora, seja  =
 , ,    ;   + +   = 0.

0 , pois  . 0 + +  . 0 = 0.

Suponha que 2 =
 , ,   e  =
 , ,   pertenam a . Ento
  + +   = 0,
  + +   = 0.

(2.4)
(2.5)

Somando as equaes (2.4) e (2.5) teremos que

Portanto, 2 +  .


 +   + + 
 +   = 0.

Multiplicando a equao (2.4) por & teremos que


&  + + 
&  = 0.

Logo, da equao (2.6), &2 .

(2.6)

Com isso, temos que  subespao vetorial de  se, e somente se,  = 0. Para

mostrar que  variedade afim, suponha que 2 =

 , ,   e  =
 , ,   pertenam a

, em que  o conjunto de vetores  =

 , ,    tais que   + +   = , ou
seja,

  + +   = ,
  + +   = .

(2.7)
(2.8)

Multiplicando o primeiro lado da equao (2.7) por e o primeiro lado da equao (2.8) por

1  e somando tudo, teremos que


 +
1   + + 
 +
1   =

=
  + +    +
1 
  + +    =
=  +
1  = .

Portanto, o vetor 2 +
1  . Assim,  variedade afim.

2.2 Variedade Afim Gerada

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.

Seja 
uma variedade afim. Dados  , ,   e & , , & com & + +

& = 1, ento &  + + &  .

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  

tem-se  =  + %. Ento, para 3 , temos que % =  +

3  um subespao vetorial.

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.

Definiremos agora variedade afim gerada. Dado o subconjunto no vazio 5
, a

variedade afim gerada por 5 , por definio, o conjunto 

5 de todas as combinaes
lineares &  + + &  , com  , ,  5 e & + + & = 1.

Exemplo 2.2.1 Seja 5 = , , ) ; ) = 0. Veja que os vetores

0, 0, 1,
0, 1, 0 e

1, 0, 0 pertencem a 5. Ento, como a variedade afim 

5 gerada por 5 o conjunto de
todas as combinaes lineares de vetores que pertenam a 5; teremos que, em particular,

5 ser o conjunto das combinaes lineares dos vetores
0, 0, 1,
0, 1, 0 e
1, 0, 0, de

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: Sejam 2 = & 2 + + &6 26 e 7 = 8 7 + + 84 74 dois vetores de 

5

de modo que &: = 1, 8: = 1 e os vetores 2 , 2+ , , 26 , 7 , 7+ , , 74 pertencem a 5.

Temos que mostra que, se & + 8 = 1, ento &2 + 87 

5. Mas de fato, &2 + 87 =
&;& 2 + + &6 26 < + 8
8 7 + + 84 74  uma combinao linear de vetores de 5 cuja
soma dos coeficientes && + + &&6 + 88 + + 884 = &
&:  + 8
8:  = & + 8 =
1. Portanto, &2 + 87 
5, e 
5 variedade afim.

Proposio 2.2.2 Fixado qualquer 3 5, tem-se 

5 = 3 + %, em que % o subespao
vetorial de
gerado pelos vetores  3 , com  5.

Demonstrao: Seja = = 
5 3 . Cada vetor de = um vetor de 
5 menos 3 , isto ,
um vetor da forma &  + + &  3 = &
 3  + + &
 3 , que uma

combinao linear de vetores da forma  3 , em que  5. Isso mostra que = % =

?
5 3 , em que ?
5 3  o subespao gerado por 5 3 . Por outro lado, como 
5
variedade afim, sabemos que = ser um subespao vetorial, e, portanto, % = ?
5 3  =.

Vale ressaltar que % o menor subespao contendo 5 3 . Logo conclumos que % = =.

Exemplo 2.2.2 Seja 5 = , , ) ; ) = 0. Tomemos o vetor 0 =

0, 0, 0 5, ento

% = 
  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

nico subespao vetorial %
tal que, para todo  , teremos  =  + ;  %. O

subespao vetorial % ser chamado de espao diretor de  e ser denotado por %
  e a
variedade afim  tem a mesma dimenso de %
 .

Sejam  e + variedades afins com subespaos diretores %

  e %
+ ,

respectivamente.

Definio 3.1 Dizemos que a variedade afim  paralela variedade afim + se %

 
%
+  ou se %
+  %
 .

Exemplo 3.1 Seja  uma variedade afim em um espao vetorial
. Se  um ponto de
,

AAAA %
  paralela a  e contem o ponto .
ento a variedade afim + = @
; @

Observaes.

(1) Se  + dizemos que  e + so paralelas.

(2) A variedade afim formada por um ponto  pertencente a um espao vetorial

paralela a qualquer variedade afim de
, pois o subespao diretor de  0, que
est contido em qualquer subespao vetorial de
.

Definio 3.2 As variedades afins  e + sero chamadas de variedades afins concorrentes se

elas no forem paralelas e tiverem pelo menos um ponto em comum.

Suponhamos que as variedades afins  e + (pertencentes ao espao vetorial
) sejam

concorrentes, ento consideremos  um ponto comum entre elas. Se B um ponto qualquer

AAAAA pertence ao subespao vetorial %
  (ou a
da variedade afim  (ou de +), ento o vetor B
8

%
+ ). Assim a questo da posio relativa das variedades afins  e + , nesse caso, est

relacionada com o estudo dos subespaos %

  e %
+  pertencentes ao espao vetorial
.
Observaes.

(1) Se as variedades afins  e + se interceptam, ento a sua interseo,  +, uma

variedade afim que passa por um ponto que pertence a  e + e tem %

  %
+ 

como espao vetorial diretor.

(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.

Conforme a dimenso do espao vetorial aumenta h possibilidade da existncia de

variedades afins reversas com dimenso maior que 1. Veremos agora um teorema que mostra
uma maneira de construir variedades afins reversas.

Teorema 3.1 Sejam  e + variedades afins concorrentes e no paralelas de dimenses # e

$, respectivamente. Seja 
 +  a variedade afim gerada pela unio das duas variedades
afins dadas. Ento qualquer variedade afim que no esteja contida em 
 +  que tenha

dimenso $ e que seja paralela a + reversa a .

Demonstrao: Chamemos de 1 a variedade afim que no esteja contida em 

 + ,

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.

Observe que 1 no paralela a , pois seno teramos %

+  %
  ou %
  %
+  e,
assim, + seria paralela a  . Vamos mostrar agora que 1 e  no se interceptam. Por

hiptese, + e  so concorrentes. Consideremos ento um ponto @ +  e teremos:

 = @ + %
 .

(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)

De onde conclumos que D @ + ;%

  + %
+ <. Como o subespao diretor de 
 + 

o subespao %
  + %
+  e como @ + , ento teremos que 
 +  = @ +

;%
  + %
+ <. Temos assim uma contradio, pois por hiptese 1 no esta contida em

 + . Portanto, 1 reversa a .

Exemplo 3.3 Considere o espao vetorial E . Seja 0 , 0+ , 01 , 0E  a base cannica do E .

Sejam ? = '0 , 0+ ( e ?+ = '0 , 01 ( subespaos vetoriais do E . Seja  a variedade afim que

passa pelo ponto  =
1, 1, 1, 1 e tem a direo de ? , ento teremos que

 =
1 + &, 1 + 8, 1, 1; &, 8 . Seja + a variedade afim que passa por  =
1, 1, 1, 1

e tem a direo de ?+ , ou seja, + =

1 + F, 1, 1 + G, 1; F, G . As variedades afins  e

+ 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

tem a direo de ?+ , ou seja, 1 =

1 + I, 1, 1 + J, 0; I, J . Temos que 1 paralela a

+ 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)

Podemos escrever o sistema acima como  = ; em que  MO ,  M e

  . Quando fazemos  = 0, dizemos que o sistema linear homogneo e o novo sistema

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)

Uma observao importante sobre os sistemas lineares homogneos que eles

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

Proposio 4.1 Seja ? = ;  =  o conjunto soluo de um sistema de equaes lineares.

S uma variedade afim.

Demonstrao: Sejam ,  ?. Para todo , teremos:


 +
1  =  +
1  =
=  +
1  =
= .

(4.3)

O que mostra que a reta  +

1  est em ?. Portanto, ? uma variedade afim.

O subespao vetorial associado a ? o ncleo de ?, ou seja, P0

? = ;  = 0 o

subespao vetorial associado a variedade afim ?. Como  = 0 o sistema linear homogneo

associado ao sistema linear  = , ento as solues do sistema linear no homogneo esto

associadas s solues do sistema linear homogneo e podem ser escritas como ? =

Q;R , R+, , R < +
 , + , ,  ;
 , + , ,   P0
?S, em que a soluo ;R , R+, , R <
uma soluo particular do sistema linear no homogneo.

Para resolver os sistemas de equaes lineares utilizamos o mtodo de escalonamento

ou a regra de Cramer. A regra de Cramer um dos mtodos mais tradicionais para resolver
sistemas de equaes lineares. Ela apresenta a vantagem de fornecer explicitamente os valores
das incgnitas como quociente de dois determinantes. Mas, por outro lado, possui dois
inconvenientes em comparao com o mtodo de escalonamento. O primeiro que ela s se
aplica quando o determinante da matriz do sistema diferente de zero, ou seja, quando
sistema possui uma nica soluo. O segundo inconveniente o custo operacional: d mais
trabalho, por exemplo, calcular quatro determinantes do que escalonar uma matriz 3x3. Mas
podemos tirar uma concluso importante quando os determinantes so iguais zero.
Conclumos que o sistema possui infinitas solues, pois teremos nos quocientes a
3
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.

Demonstrao: Consideremos o sistema (4.2), de # equaes com $ incgnitas, em que

# < $. 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)

Atribuindo arbitrariamente valores no nulos s $ 1 incgnitas  , , [ e calculando 

atravs da expresso (4.4), obtemos uma soluo no trivial

 , ,   para a equao dada.

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

hiptese de induo, este sistema admite uma soluo no trivial

& , , &[ , pois $ 1 >
# 1. Pondo & = VW ]X & + +
W

]Y

W]YZX
W]Y

& , , &[ , &  do sistema (4.2) proposto.

Exemplo 4.1 Seja o sistema linear

&[ \, obtemos uma soluo no trivial

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)

Somando as duas equaes obtemos a equao 4 ) = 0. Da, temos que ) = 4 e,

consequentemente,  =
fVJ,

[1g
+

[1O
+

. Portanto, o sistema (4.7) ter como soluo o subespao vetorial

, 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

. Assim, teremos como soluo particular do sistema linear (4.6) o vetor

, 45\. Como a soluo do sistema (4.7) uma variedade afim caracterizada pelo

subespao vetorial fVJ,

[1g
+

, 4J\ ; J h transladado do vetor V1,

soluo do sistema ser dado por fVJ + 1,

[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.

Ento, inicialmente, iremos definir a derivada de uma funo k em um ponto R e, em seguida,

iremos analisar a reta tangente ao grfico de k no ponto R usando variedades afins.
Definio 5.1 Seja k uma funo e R um ponto de seu domnio. O limite

lim
x p

f ( x) f ( p)
x p

(5.1)

quando existe e finito, denomina-se derivada de k em R e indica-se por k

R. Assim
k
R = lim
x p

f ( x) f ( p)
.
x p

(5.2)

Se k admite derivada em R, ento diremos que k derivvel ou diferencivel em R.

Consideremos agora o problema de definir reta tangente ao grfico de k no ponto

;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.

Figura 5.1 Coeficiente angular da reta mO

15

16

O coeficiente angular de mO ser dado por:

f ( x) f ( p)
.
x p

(5.3)

Quando  tende a R, o coeficiente angular de mO tende a k

R.

Figura 5.2 A reta mO tendendo a reta n.

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)

A reta n da forma  = # + $, em que # = k

R e $ . Obviamente teremos

que n uma variedade afim caracterizada pelo subespao vetorial

, k
R;  

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

afim dada por

, k
R  +
0, k
R k
RR;  .

De fato, teremos que os vetores da variedade afim n sero da forma:

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

pode ser dado por Q

, k
R + ;R, k
R<;  S, pois o vetor ;R, k
R< pertence a
variedade. Dessa forma, temos que os vetores da variedade afim n sero da forma:


,  = ; + R, k
R + k
R<;  .

17
(5.6)

Veja que  = k
 + R, ento para obtermos k
  bastaria fazer  + R = &, & .

Substituindo  em (5.6) teremos  = k

R
& R + k
R. Portanto, a identidade (5.6) seria
dada por
,  = ;&, k
R
& R + k
R<; & , que resulta novamente na equao da
reta n.

Exemplo 5.1 Seja a funo k

 =  1 + . A reta tangente ao grfico da funo k no ponto

de abscissa 1 a variedade afim dada por  = Q;, k

1 + k
1 k
1<;  S. Assim,

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.

Se quisermos que a reta n seja um subespao basta fazermos $ = 0, pois n dever

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 =

. No caso em que R = 0, devemos ter k

R = 0.

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.

Em geral as EDOs lineares de segunda ordem aparecem sob a forma:




qr s
qO r

+ @


qs
qO

+ D
 = %
.

(6.2)

Nos intervalos u em que 

 0 a equao (6.2) se reduz a equao (6.1) atravs da diviso

membro a membro por 

 . Temos ento R
  = x
O, t
  = x
O e k
 = x
O. Os pontos
w
O

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

Em que 3 um ponto qualquer de u e 3 e 3 so nmeros reais arbitrrios. Para cada

situao teremos uma soluo nica para a EDO.

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

qual soluo deste problema no intervalo u .

Aqui no existe, em geral, um mtodo construtivo capaz de fornecer uma expresso

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)

em que denota o operador diferencial definido por:

qr

para qualquer funo }

 com duas derivadas contnuas no intervalo u.
Comearemos pela equao homognea

'( = qO r + R
  qO + t
  = 0.
qr s

qs

(6.6)

Relativamente a EDO no homognea (6.4), a equao (6.6) denominada EDO homognea

associada. Se soubermos resolver a equao homognea associada, ser possvel resolver a
equao no homognea original. Uma propriedade da equao (6.6) que o conjunto de suas

solues constitui um espao vetorial sobre o conjunto dos reais. Isto , se 

 e +
  so

solues da equao (6.6), ento a combinao linear


  =  
  + + +
 .

(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).

Teorema 6.2 O conjunto soluo da equao '( = 0 constitui um espao vetorial de

dimenso dois sobre o conjunto dos reais.

Veremos inicialmente alguns conceitos importantes para a demonstrao.

Definio 6.1 Dizemos que duas solues 

 e +
  da equao (6.6) no intervalo u so

linearmente dependentes se existirem constantes  e + , no simultaneamente nulas, tais que:


  =  
  + + +
  = 0,  u.

(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.

Definio 6.2 Definimos o Wronskiano W

y , y+ 
x das solues 
 e +
 por:

 , + 
  =


  +
 
= 
+
 +
 
 .

 +


(6.9)

Uma condio necessria e suficiente para que duas solues 

 e +
  da

equao (6.6) sejam linearmente dependentes que o Wronskiano

 , + 
 se anule em

algum 3 u. De fato, se 
  e +
  so duas solues linearmente dependentes da

equao (6.6), ento existem constantes  e + , no simultaneamente nulas, que verificam a

identidade (6.8). Diferenciando a identidade (6.8) obtemos:


 =  
 + + +
 = 0,  u ,

(6.10)


 +
 
0

V \ = V \.

  +
  +
0

(6.11)

que justamente com a equao (6.8), fornece o sistema:

satisfeito pelas solues 

 e +
 em  u, para certos valores, no ambos nulos, de 

e + . um resultado fundamental de lgebra linear que o sistema linear homogneo (6.11)

admite solues no triviais, ou seja, solues com constantes  e + no simultaneamente

nulas, se e somente se, o determinante da matriz dos coeficientes for nulo. Por outro lado, se o

21

Wronskiano de duas solues 

 e +
 se anular em algum 3 u , ento existem duas
constantes  e + , no simultaneamente nulas, tais que:


  +
3  
0
 3
V \ = V \.

3  +
3 
0
+

(6.12)

Para esta escolha de  e + , definimos a funo 

 =  
 + + +
, que uma
soluo da equao (6.6). Alem disto, esta soluo satisfaz as condies iniciais 
3  = 0 e


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)

Em que C uma constante que depende das solues 

  e +
 , mas no da varivel  .

Demonstrao: Diferenciando a identidade

 , + 
 = 
+
 +

,

teremos

q
qO

=  + +  "+ +  + " =  "+ + " . Como 

 e +
 so

solues da equao (6.6), ento teremos que:

" + 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

Conclumos, em consequncia do Teorema 6.3, que ou

 , + 
 = 0 em u (se

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 .

Definio 6.3 Duas solues 

 e +
  da EDO homognea '( = 0 constituem um

conjunto fundamental de solues se elas forem linearmente independentes.

Para verificarmos a existncia de um conjunto fundamental de solues tomemos um

ponto 3 u e consideremos 
 e +
 solues da EDO homognea '( = 0

satisfazendo as condies iniciais 

3  = 1, 
3  = 0, +
3  = 0 e +
3  = 1. A
existncia destas solues garantida pelo Teorema 6.1; alm disto, o Wronskiano destas
solues em 3 dado por
 , + 
 =

1 0
= 1. As funes 
 e +
 so, assim,
0 1

linearmente independentes e formam um conjunto fundamental de solues.

Demonstrao do Teorema 6.2: J mostramos acima a existncia de duas solues

linearmente independentes. Resta-nos mostrar que a dimenso do espao de solues da

equao '( = 0 dois. Suponha ento que 

 e +
 constituam um conjunto
fundamental de solues da equao '( = 0 e seja }
 uma soluo qualquer desta
equao. Devemos mostrar que }
  est includa no conjunto de combinaes lineares da

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)

tem soluo nica e, portanto, possvel escolher  e + de forma que a identidade


 =  
  + + +
 seja uma soluo do mesmo problema de valor inicial.

Usaremos o Teorema 6.1 para concluir que as solues }

 e 
 so a mesma

funo no intervalo u . Portanto, para uma escolha adequada de  e + teremos:

}
 =  
  + + +
.

(6.19)

23

A funo }
 uma soluo arbitrria da EDO homognea e, com isso, temos que a
dimenso do espao de solues dois.

Consideraremos agora a EDO linear de segunda ordem no homognea

'( = qO r + R
 qO + t
 = k
,  u,
qrs

qs

(6.20)

em que u um intervalo aberto e as funes R

, t
 e k
 so contnuas em u . Se 
 e

+
  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

homognea associada,  e + so constantes arbitrrias e p

  uma soluo particular de
(6.20).

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

% oposta direo do alongamento e proporcional distenso m. De forma simples, % = Pm,

em que P constante de proporcionalidade conhecida como constante da mola. A mola

essencialmente caracterizada pelo nmero P. Por exemplo, se uma massa de 10 libras alonga

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,

# Pm = 0. Se a massa for deslocada por uma quantidade  de sua posio de equilbrio, a

fora restauradora da mola ser ento P

 + m, como mostra a figura 6.1.

24

Figura 6.1 Sistema deslocamento aps equilbrio.

Supondo que no haja foras de retardamento sobre o sistema e supondo que a massa vibre
sem a ao de outras foras externas, podemos igualar % com a fora resultante do peso e da
fora restauradora. Portanto, teremos:

# 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

. Quando no houver outras foras externas

agindo sobre o sistema, segue da segunda lei de Newton que

# q r = P 8 q ,
qr O

qO

(6.23)

em que 8 positivo e chamado constante de amortecimento e o sinal negativo uma

consequncia do fato de que a fora amortecedora age no sentido oposto do movimento.
Dividindo-se a equao (6.23) por #, obtemos a equao diferencial homognea:

25
q rO
q r

+V \

qO

+ 2J

qO

M q

+ V \  = 0.

(6.24)

+ +  = 0.

(6.24)

Fazendo M = 2J e M = + , teremos a EDO linear homognea de segunda ordem:

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

trs casos possveis, dependendo do sinal de J+ + .

Caso I: (superamortecido) A soluo da equao (6.24) para o caso J+ + > 0 ser da

forma 
 =  . 0 ;[gg

r [ r <

+ + . 0 ;[g[g

r [r <

Caso II: (amortecimento crtico) A soluo da equao (6.24) para o caso J+ + = 0

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

sobre a massa. Incluindo k

 na equao (6.23) resulta na equao:
# q r = P 8 q + k
.
qr O

qO

Dividindo a equao (6.25) por # e fazendo M = 2J , M = + e

linear no homognea de segunda ordem:

qr O
q r

+ 2J

qO
q

+ +  = %
.

(6.25)
o

M

= %
 teremos a EDO

(6.26)

As solues da equao (6.26) esto associadas s solues da equao homognea associada

(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

abaixo da posio de equilbrio. O movimento amortecido (8 = 1,2) e est sendo forado

por uma fora externa peridica (k

 = 5m
4 ) que comea em = 0. Assim teremos a
equao

 qrO
q r

+ 1,2

qO
q

+ 2 = 5m
4 , com condies iniciais 
0 =

Multiplicando a equao dada por 5, obtemos a equao

qr O
q r

+6

Temos que resolver inicialmente a equao homognea associada

qO
q

qrO
q r


+

e 
0 = 0.

+ 10 = 25m
4 .

+ 6 q + 10 = 0, que
qO

tem  + + 6 + 10 = 0 como equao auxiliar. O discriminante da equao auxiliar

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

vetorial. Uma soluo particular da EDO no homognea 3+ m

4  +  m0$
4 , ento
+

teremos que a soluo geral ser dada pelo subespao vetorial 0 [1

 m + + m0$ 

transladado do vetor 3+ m

4  +  m0$
4 , ou seja, 
 = 0 [1
 m + + m0$ 
+

3+

m
4  +  m0$
4  que uma variedade afim. Aplicando as condies iniciais
3

encontramos os valores de  e + , e assim, 

 = 0 [1 V m  m0$ \ 3+ m
4  +

3


m0$
4 .

Exemplo 6.4 Considere um circuito eltrico RLC em srie sob uma voltagem senoidal

 =
m0$
, como mostra figura 6.2.

Figura 6.2 Circuito eltrico RLC em srie.

Iremos descrever o estado do sistema em termos da carga t no capacitor como funo do

tempo, em vez de em termos da corrente . Como =

q
q

, a queda de voltagem atravs do

27
capacitor Vy \ t, a queda de voltagem sobre o indutor q r e a queda de voltagem sobre o


qr

resistor q . Assim, pela segunda lei de Kirchhoff, teremos a equao:

q

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

+ = 0, que tem a equao auxiliar  + +  + = 0 cujas solues so dadas

por  = + V+\ y. De acordo com as possibilidades da expresso V+\ y

podemos ter o circuito acima analisado como um sistema superamortecido ou com

amortecimento crtico ou com subamortecimento, como mostra o exemplo 6.1. Assim,
dependendo do caso, a equao homognea ter como soluo um dos subespaos vetoriais
mostrados no exemplo 6.1, com as devidas substituies. Por exemplo, se o circuito tiver um
amortecimento crtico, a soluo da equao homognea ser da forma 0 [;

<
+ .


+ + .

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)

Substituindo (6.28) em (6.27) iremos obter os valores para  e + . Assim obtemos:

 =

+ =

'
1D (

+ + '
1D (+ 


+ + '
1D (+ 

Introduzindo as abreviaes F = y e + = + + V y \ , a soluo particular



pode ser escrita como tp = r m0$

 r m
, ou ainda mais simplesmente,

F
tp = m
&, em que m0$& = e m& = .

Portanto, a soluo da EDO descrita em (6.27) uma variedade afim caracterizada por

um subespao vetorial transladado de um vetor da variedade afim.

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