09.02.2017 Views

lgebra Linear, Elon Lages Lima

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Seção 22 Equações a Diferenças Finitas 303<br />

Em termos das coordenadas v k = (x k ,y k ), temos<br />

x k = 2 5 [3k+1 +(−2) k−1 ] e y k = 1 5 [3k+1 −(−2) k+1 ].<br />

No caso em que dim E = 2, o problema de calcular efetivamente a<br />

solução do sistema v k+1 = Av k pode ser resolvido em todos os casos,<br />

como mostraremos agora.<br />

Tendo visto o caso em que o espaço E possui uma base de autovetores<br />

do operador A: E→E, vamos agora (supondo sempre dim E=2)<br />

examinar os casos em que tal base não existe. Há duas possibilidades,<br />

que são as seguintes:<br />

Primeira. O polinômio característico de A possui uma raiz real<br />

dupla λ, mas A ≠ λI. (Evidentemente, quando A = λI todo vetor<br />

não-nulo em E é autovetor de A, logo este caso já foi visto.)<br />

Segunda. O polinômio característico de A possui raízes complexas<br />

λ+iµ e λ−iµ (com i = √ −1 e µ ≠ 0).<br />

Consideremos o primeiro destes dois casos.<br />

Existe um vetor não-nulo u ∈ E tal que Au = λu. Além disso,<br />

somente os múltiplos de u podem ser autovetores de A. (Com efeito,<br />

sendo λ o único autovalor de A, se existisse um autovetor v não<br />

múltiplo de u, teríamos uma base {u,v} ⊂ E com Au = λu, Av = λv,<br />

donde A = λI.)<br />

Tomemos um vetor v tal que {u,v} ⊂ E seja uma base. Então<br />

Av = αu + βv com α ≠ 0 pois v não é autovetor. Se fôr α ≠ 1,<br />

substituímos v por w = α −1 v e obtemos uma nova base {u,w} ⊂ E<br />

tal que Au = λu, Aw = u + γw. Na base {u,w}, A tem a matriz<br />

triangular [ ] λ 1<br />

,<br />

0 γ<br />

cujos autovalores são λ, γ. Segue-se que γ = λ. Assim, temos<br />

{<br />

Au = λu<br />

Aw = u+λw<br />

e a matriz de A na base {u,w} é m =<br />

[ ] λ 1<br />

.<br />

0 λ<br />

(*)

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!