FORMA CANÔNICA DE JORDAN

Transcrição

1 FORMA CANÔNICA DE JORDAN Álgebra Linear (MAT-27) Ronaldo Rodrigues Pelá IEFF-ITA 4 de novembro de 2011

2 Roteiro Motivação 1 Motivação

4 Matrizes Quase Diagonalizáveis Nem toda matriz de M n (C) é diagonalizável. Nem todo operador T : V V é diagonalizável. Ideia Dada uma matriz A, encontrar uma matriz M de modo que M 1 AM seja o mais próximo possível de uma diagonal. No caso mais simples, quando A é diagonalizável, basta tomar os autovetores para formar as colunas de M e com isso M 1 AM é perfeitamente diagonal. Mas num caso geral, podem faltar autovetores e uma forma diagonal se torna impossível (vamos nos ocupar deste caso agora).

6 Convenção Inicial Estaremos trabalhando sobre o corpo C. Em R, uma parte dos resultados que veremos é válida, mas nem todos. Mas por que então trabalhar em C, se o mundo é real? Por várias razões: Um número real pode ser entendido como um caso particular de número complexo. Um polinômio real sempre admite raiz complexa, mas nem sempre admite raiz real.

7 Se uma matriz A tem s autovetores LI, então ela é semelhante a uma matriz J que está na forma canônica de Jordan, com s blocos na diagonal. J J J = M 1 AM = 0 0 J J s

8 Bloco de Jordan Cada bloco possui um autovetor, um autovalor e números 1 bem acima da diagonal J i = Bloco de Jordan λ i λ i λ i λ i λ i

9 Exemplo J = Motivação J = Autovalor duplo λ 1 = 8 com um autovetor associado u 1 = [ ] T ao qual corresponde o bloco J 1. Autovalor triplo λ 2 = 0 com dois autovetores associados u 3 e u 5 aos quais correspondem os blocos de Jordan J 2 e J 3. Se J tivesse cinco autovetores (LI), todos os blocos seriam 1 1 e J seria diagonal.

10 Questão Motivação Se A é uma matriz 5 5, sob que condições a sua forma canônica de Jordan será este mesmo J? J = Em outras palavras: quando existirá um M tal que M 1 AM = J? Primeiro requisito: A deve compartilhar os mesmos autovalores 8, 8, 0, 0, 0. Mas a matriz diagonal com estes autovalores não é similar a J!

11 Buscando a resposta Reescrevendo M 1 AM = J como AM = MJ: A [x 1 x 2 x 3 x 4 x 5 ] = [x 1 x 2 x 3 x 4 x 5 ] Resolvendo as multiplicações, uma coluna por vez: Ax 1 = 8x 1 Ax 2 = 8x 2 + x 1 Ax 3 = 0x 3 Ax 4 = 0x 4 + x 3 Ax 5 = 0x 5

12 Resposta Ax 1 = 8x 1 Ax 2 = 8x 2 + x 1 Ax 3 = 0x 3 Ax 4 = 0x 4 + x 3 Ax 5 = 0x 5 Agora podemos reconhecer as condições: 1 A deve ter três autovetores genuínos: x 1, x 3 e x 5 associados aos autovalores 8, 0 e 0. 2 A deve ter dois autovetores generalizados: x 2 e x 4 associados aos autovalores 8 e 0. Note que: (A 8I)x 2 = x 1 (A 0I)x 4 = x 3

14 Autovetores generalizados O aparecimento de x 2 e x 4 no exemplo anterior nos motiva a redefinir o conceito de autovetor. Autovetor generalizado Dada uma matriz A M n (C) e um autovalor λ, uma matriz coluna não nula x M n 1 (C) é um autovetor generalizado de ordem k associado a λ quando (A λi) k x = O e (A λi) k 1 x O Nota: um autovetor genuíno é um autovetor generalizado de ordem 1.

15 Cadeia de autovetores generalizados Seja v (k) um autovetor generalizado de ordem k associado a λ: (A λi) k v (k) = O (A λi) k 1 v (k) O Considere v (k 1) = (A λi)v (k). Assim: (A λi) k 1 v (k 1) = O (A λi) k 2 v (k 1) O v (k 1) é autovetor generalizado de ordem k 1.

16 Cadeia de autovetores generalizados Dado um v (k) autovetor generalizado de ordem k associado a λ, é possível construir uma cadeia de autovetores generalizados de ordem menor que k: {v (k), v (k 1),..., v (1) } v (j) = (A λi)v (j+1) j = k 1, k 2,..., 1 Indutivamente, prova-se que os outros vetores da cadeia são autovetores generalizados. Note que v (1) é um autovetor genuíno! Pode-se mostrar com relativa facilidade que a cadeia é LI.

17 Receita para obter a Considere uma matriz A M n (C). Obtenha os seus autovalores: λ 1,..., λ p (contados sem multiplicidade). Obtenha seus autovetores: u 1,..., u r. Caso mais simples: se há n autovetores LI, então A é diagonalizável, sua forma canônica de Jordan é J = diag(λ 1,..., λ n ). A matriz M = [u 1... u n ], formada pelos autovetores de A, é tal que M 1 AM = J.

18 Receita para obter a Suponha agora que A não é diagonalizável. Considere um caso complicado: um autovalor λ cuja multiplicidade geométrica q é menor que a algébrica m. Existe um conjunto x (1) λ,1,..., x(1) λ,q de autovetores (genuínos) LI. Precisamos obter os m q autovetores generalizados (não genuínos). Na verdade, precisamos obter todas as cadeias de autovetores generalizados.

19 Receita para obter a Para tanto, para cada autovetor x (1) λ,j associado a este λ, tente resolver (A λi)x (2) λ,j = x(1) λ,j. Se não for possível, pare e tente novamente para outro autovetor. Mas se for possível, você encontrou um autovetor generalizado de ordem 2. Para este x (2) λ,j, tente resolver novamente (A λi)x (3) λ,j = x(2) λ,j e prossiga enquanto for possível. Você deverá achar uma cadeia de k autovetores generalizados. Associada a esta cadeia, teremos um bloco de Jordan de tamanho k.

20 Receita para obter a Vamos construir agora a matriz M tal que M 1 AM = J. Em analogia com o caso em que A é diagonalizável, inferimos que M deve ser constituída pelos autovetores genuínos e generalizados. Relembrando: λ 1, λ 2,..., λ p são os autovalores de A. Cada autovalor tem multiplicidade algébrica m i e multiplicidade geométrica q i, mas agora isto não é o mais importante para construir M. Cada autovalor λ i tem r i cadeias de autovetores generalizados: C λi,1, C λi,2,..., C λi,r i. Cada cadeia C λi,j tem k i,j autovetores generalizados.

21 Receita para obter a C λi,j = [x (1) λ i,j x (2) λ i,j... x (k i,j) λ i,j ] M = [C λ1,1... C λ1,r 1... C λp,r p ] Assim: M 1 AM = J, onde J é J = J λ1,1... Jλ1,r1... Jλp,rp Cada J λi,j é uma bloco de Jordan k i,j k i,j.

22 Aviso Motivação Atenção O professor adverte: usar a inteligência é melhor que seguir este algoritmo...

23 Coisas importantes Número de blocos de Jordan = número de autovetores LI. Associado ao mesmo autovalor, pode haver mais de um bloco de Jordan (com tamanhos que, em princípio, podem ser diferentes). Associado a uma certa cadeia de autovetores generalizados de comprimento k, temos um bloco de Jordan de tamanho k. Um autovalor pode ter mais de uma cadeia de autovetores generalizados (com tamanhos diferentes, inclusive).

24 Semelhança de Matrizes Teorema Duas matrizes A e B de M n (C) são semelhantes se e somente se suas formas canônicas de Jordan forem iguais, a menos possivelmente do posicionamento dos blocos.

26 Polinômio característico Seja p A (t) o polinômio característico da matriz A (n n). Já vimos (teorema de Cayley-Hamilton) que: p A (A) = O p A é um polinômio de grau n. Será que existe um polinômio m A de grau menor que n tal que: m A (A) = O? A resposta é: sim, em muitos casos. Veja o caso das matrizes Identidade e Nula. Este polinômio é conhecido como polinômio mínimo. Vejamos como obtê-lo a partir da forma canônica de Jordan.

27 Polinômio mínimo Conhecidos os autovalores λ 1,..., λ p (contados sem multiplicidade) da matriz A, o polinômio mínimo de A é: p m A (t) = (λ i t) n i i=1 onde n i é o tamanho do maior bloco de Jordan associado a λ i. Usando a forma canônica de Jordan de A, segue que: m A (A) = O Note que as potências neste polinômio anulam todos os blocos de Jordan de A e, por isso, m A (A) = O.

28 Exemplo Motivação As matrizes A = B = Têm o mesmo polinômio característico p(λ) = (3 λ) 3 Mas diferentes polinômios mínimos: C = m A (λ) = (3 λ) m B (λ) = (3 λ) 2 m C (λ) = (3 λ) 3

29 Exemplo Motivação As matrizes A = B = Têm o mesmo polinômio característico p(λ) = (3 λ) 5 E também o mesmo polinômio mínimo: m(λ) = (3 λ)

31 Encontre por inspeção as formas canônicas de Jordan de [ ] A = B =

32 Respostas J A = J B = [ ]

33 Encontre em 3 passos as formas canônicas de Jordan de [ ] A = B =

34 Respostas J A = J B = [ ]

35 Exemplo Motivação Encontre uma matriz M tal que M 1 AM esteja na forma canônica de Jordan: A =

36 Exemplo Motivação Autovalores de A: Autovetores de A: λ 1 = 1 m 1 = 2 q 1 = 1 λ 2 = 2 m 2 = 1 q 2 = 1 u 1 = u 2 = 5 3 1

37 Exemplo Motivação Precisamos encontrar um autovetor generalizado associado a λ 1 = 1. Sendo u 1 = u (1) 1 e resolvendo (A I)u (2) 1 = u (1) 1, temos: u (2) 1 = 0 1 0

38 Exemplo Motivação Conclusão: tomando temos M = M 1 AM = Confiamos o suficiente na Matemática (ou somos muito preguiçosos) para fazermos as contas...

39 Exercício Motivação Encontre a forma canônica de Jordan de A = os elementos faltantes são nulos. Dica: [ ] B C det = det(b) det(d) 0 D para B e D quadradas.

40 Exercício Motivação Resposta A =

42 Potenciação Consideremos a matriz A escrita em sua forma canônica de Jordan: A = MJM 1 Para elevar a matriz a uma certa potência, temos A n = MJ n M 1. Mas obter J n é fácil, pois: n J J1 n J J2 n J n = 0 0 J = 0 0 J3 n J s Js n A questão agora é: como elevar um certo bloco de Jordan à n-ésima potência.

43 Potenciação Começamos com o exemplo mais simples possível: [ ] λ 1 J = 0 λ Para este caso, temos: [ ] [ J 2 λ 2 2λ = 0 λ 2 J 3 λ 3 3λ 2 = 0 λ 3 ] [ J 4 λ 4 4λ 3 = 0 λ 4 ] Por indução se chega a: [ J n λ n nλ n 1 = 0 λ n ]

44 Potenciação J 2 = Complicando um pouco mais: λ 1 0 J = 0 λ λ λ 2 2λ 1 λ 3 3λ 2 3λ 0 λ 2 2λ J 3 = 0 λ 3 3λ 2 J 4 = 0 0 λ λ 3 Por indução se chega a: λ J n n nλ n 1 n(n 1) = 2 0 λ n nλ n λ n λ n 2 λ 4 4λ 3 6λ 2 0 λ 4 4λ λ 4

45 Potenciação Repetindo o raciocínio para um bloco p p: Sendo f(x) = x n Potência de um bloco de Jordan p p f (λ) f (p 2) (λ) f(λ)... 1! (p 2)! f (p 3) (λ) J n 0 f(λ)... = (p 3)! f (p 1) (λ) (p 1)! f (p 2) (λ) (p 2)! f(λ) f (λ) f(λ)

46 Funções mais gerais O que vimos antes sobre potenciação de uma matriz pode ser generalizado para funções mais gerais. Suponha que se conheça a forma canônica de Jordan de A = MJM 1. Será que f(a) = Mf(J)M 1? A resposta é depende. Se a função f for uma função polinomial f(a) = a 0 I + a 1 A a n A n, então podemos dizer que f(a) = Mf(J)M 1. Este resultado ainda continua válido no caso em que f(a) é escrita como uma série de potências convergente, como por exemplo: exp(a), sinh(a), log(a). Mas há exceções, como por exemplo f(a) = A T...

47 Funções mais gerais No caso em que f(a) = Mf(J)M 1, então f(j) = f(j 1 ) f(j 2 ) f(j 3 ) f(j s ) Mas como calcular f(.) de um certo bloco de Jordan? Exatamente como antes!

48 Funções mais gerais Função de um bloco de Jordan p p Sendo f(x) uma função continuamente diferenciável f (λ) f (p 2) (λ) f(λ)... 1! (p 2)! f (p 3) (λ) 0 f(λ)... f(j) = (p 3)! f (p 1) (λ) (p 1)! f (p 2) (λ) (p 2)! f(λ) f (λ) f(λ)