Matemática universitária — Graduação 2 · Bachelor Year 2
3Redução de endomorfismos
Para entender um endomorfismo, procure as direções que ele apenas estica. Este capítulo constrói a maquinaria — autovalores, polinômios característico e minimal, o lema da decomposição em núcleos — e suas recompensas: critérios de diagonalização e de triangularização, Cayley–Hamilton, a decomposição de Dunford e o cálculo de potências e exponenciais de que o Capítulo 16 se alimentará. Em todo o capítulo, é um -espaço vetorial de dimensão finita ( ou ) e , .
3.1 Autovalores e autovetores
Definição 3.1
é um autovalor de quando para algum (um autovetor); o autoespaço é . O conjunto dos autovalores é o espectro . Um subespaço é estável quando ; os autoespaços são estáveis, e os subespaços estáveis permitem endomorfismos induzidos .
Teorema 3.2 (Independência dos autoespaços)
Autovetores associados a autovalores dois a dois distintos formam uma família livre; equivalentemente, a soma dos autoespaços ( distintos) é direta. Em particular, tem no máximo autovalores.
Demonstração. Por indução sobre . Suponha com , sendo o enunciado conhecido para . Aplique e subtraia vezes a relação:
logo, por indução, cada , isto é, para , e então . Somas diretas de espaços não nulos num espaço de dimensão têm no máximo parcelas. ∎
Definição 3.3 (Polinômio característico)
— calculado em qualquer base como , um polinômio mônico de grau , invariante por semelhança (Teorema 2.17). Suas raízes em são exatamente os autovalores ( é autovalor não injetivo ), e
A multiplicidade algébrica de um autovalor é sua multiplicidade como raiz de ; a multiplicidade geométrica é , e .
Demonstração dos fatos enunciados. As afirmações sobre os coeficientes: desenvolva pela fórmula das permutações; a permutação identidade contribui com , e toda outra permutação fixa no máximo posições diagonais, contribuindo com grau : os dois coeficientes de topo são os anunciados; dá o termo constante .
Geométrica algébrica: seja e complete uma base de numa base de ; a matriz de é triangular superior por blocos com bloco superior esquerdo , logo : a multiplicidade de vale ao menos . ∎
Exemplo 3.4 (Mesmo , geometria diferente)
As matrizes
têm o mesmo polinômio característico , o mesmo traço, o mesmo determinante, o mesmo espectro — e no entanto não são semelhantes: a primeira tem de dimensão (multiplicidade geométrica ), a segunda de dimensão . O polinômio característico enxerga apenas multiplicidades algébricas; as dimensões dos autoespaços são o invariante mais fino, e o polinômio minimal arbitra ( contra ). Moral para toda discussão de diagonalizabilidade: seleciona os candidatos, mas são os núcleos que depositam os votos.
Definição 3.5 (Diagonalizável, triangularizável)
é diagonalizável quando tem uma base de autovetores (matricialmente: semelhante a uma matriz diagonal); triangularizável quando sua matriz em alguma base é triangular superior.
Teorema 3.6 (Critérios de diagonalizabilidade)
As afirmações seguintes são equivalentes:
- é diagonalizável;
- ;
- se decompõe sobre e para todo autovalor;
- (suficiente, não necessária) tem raízes distintas em .
Demonstração. (1 2): uma base de autovetores se separa em bases dos e, reciprocamente, concatenar bases das parcelas diretas dá uma base de (o Teorema 3.2 torna a soma direta; a igualdade de dimensões faz dela o espaço todo).
(2 3): na base diagonal, se decompõe com multiplicidades correspondentes. Reciprocamente, suponha que se decomponha com em toda parte; então a soma direta dos autoespaços (direta pelo Teorema 3.2) tem dimensão
a igualdade do meio porque o grau de um polinômio que se decompõe é a soma das multiplicidades de suas raízes: a soma é todo o . Note onde cada hipótese trabalhou: a decomposição preencheu o grau, a igualdade das multiplicidades preencheu as dimensões.
(4 1): autovalores distintos dão autovetores independentes (Teorema 3.2): uma base. ∎
Método 3.7 (Decidir a diagonalizabilidade)
Na prática, teste nesta ordem — cada etapa pode encerrar o serviço. (1) Um polinômio anulador com raízes simples e que se decompõe se apresenta sozinho (, , )? Se sim: diagonalizável, sem cálculo algum (Corolário 3.17 adiante). (2) Calcule ; se ele tiver raízes distintas em : diagonalizável (Teorema 3.6 (4)). (3) Caso contrário, apenas para cada raiz múltipla , compare com a multiplicidade : qualquer déficit mata a diagonalizabilidade; a igualdade em toda parte a demonstra. Nunca calcule autoespaços de raízes simples (sua dimensão está forçada a ser ), e nunca triangularize só para decidir.
Exemplo 3.8 (A diagonalização posta a trabalhar)
, com a matriz de uns: de (Exemplo 2.19), , com autoespaços e o plano : dimensões , diagonalizável (Teorema 3.6 (2)). Potências sem nenhuma matriz de mudança de base: com o projetor sobre ,
(Confira : .) A lição final: quando os autoespaços estão visíveis, os projetores espectrais calculam potências mais depressa do que jamais fará — e a fórmula exibe a dinâmica: cresce como ao longo de e fica parado no plano ortogonal.
Teorema 3.9 (Triangularização)
é triangularizável sobre se e somente se se decompõe sobre . Em particular, todo endomorfismo de um -espaço vetorial é triangularizável.
Demonstração. () O polinômio característico de uma matriz triangular é : decompõe-se.
() Indução sobre . Como se decompõe, ele tem uma raiz : escolha um autovetor . Numa base que começa por , a matriz é , e : também se decompõe. Pela hipótese de indução aplicada à matriz , existe uma invertível com triangular superior; conjugar a matriz inteira por a triangulariza. ∎
Exemplo 3.10 (Triangularizando à mão)
: , e é a reta gerada por : um único autovalor, um autoespaço de dimensão um — não diagonalizável, mas triangularizável (Teorema 3.9). Complete a base com e calcule:
de modo que, na base , a matriz é . A lição final: a diagonal de estava forçada (as duas entradas têm de ser o autovalor duplo ); só a entrada do canto dependia da escolha de , e reescalar pode torná-la qualquer valor não nulo — o resistente “” é a sombra da parte nilpotente que Dunford vai isolar.
3.2 Polinômios de um endomorfismo
Definição 3.11
Para , ponha . A aplicação é um morfismo de álgebras (Definição 1.33); seu núcleo é um ideal de , não nulo (a família é ligada no de dimensão ), logo gerado por um único polinômio mônico : o polinômio minimal (Teorema 1.26).
Proposição 3.12
- ; os autovalores de são raízes de todo polinômio anulador, e as raízes de são exatamente os autovalores.
- Se é estável, .
Demonstração. (1) A divisibilidade é a definição de gerador. Se , , então , logo : os autovalores são raízes dos anuladores, em particular de . Reciprocamente, se é raiz, com (o grau de é mínimo): escolha com ; então exibe o autovetor .
(2) , e aplique (1) a . ∎
Exemplo 3.13 (Polinômios minimais achados à mão)
O polinômio minimal se calcula testando graus sucessivos. Para a matriz de uns : (o grau está fora), e , logo
grau , decompõe-se, raízes simples — é diagonalizável com espectro (Corolário 3.17 adiante), confirmando Exemplo 2.19 sem um único determinante. Para a matriz de troca de Exemplo 3.15: e dão . Nos dois casos o padrão é o mesmo: adivinhe uma identidade de grau baixo a partir da estrutura (o posto um força ; uma involução força ) e depois verifique que nenhum divisor próprio anula. Os polinômios minimais são em geral achados, e não calculados a partir de .
Teorema 3.14 (Lema da decomposição em núcleos)
Se com os dois a dois coprimos, então
e as projeções sobre as parcelas são polinômios em .
Demonstração. Basta tratar o caso e fazer indução. Bézout em (Teorema 1.26): , de modo que, para todo ,
Se : (polinômios em comutam), logo e, simetricamente, : a soma preenche ; as duas parcelas ficam dentro de (). Diretividade: dá . As fórmulas para exibem as projeções como e . ∎
Exemplo 3.15 (O lema dos núcleos com projetores explícitos)
Seja (troca as duas primeiras coordenadas). Então : o polinômio anula , seus fatores são coprimos e Bézout é explícito:
Seguindo a demonstração do Teorema 3.14, as projeções sobre e são os polinômios em
Verificação: , , , e as imagens são o plano (vetores simétricos, autovalor ) e a reta (antissimétricos, autovalor ). O lema dos núcleos não é um enunciado de existência: os coeficientes de Bézout são as fórmulas dos projetores.
Exemplo 3.16 (Os projetores também calculam a exponencial)
A mesma matriz de troca, um dividendo adiante. Como com projetores ortogonais no sentido algébrico (), toda potência obedece a , e a série exponencial se reagrupa por projetor:
(Confira : a identidade; derivada em : .) A decomposição espectral converte uma série de matrizes em duas séries escalares — exatamente o mecanismo que o Capítulo 16 vai acionar em todo sistema diagonalizável, e a razão pela qual as funções hiperbólicas governam acoplamentos simétricos.
Corolário 3.17 (Diagonalizabilidade pelo polinômio minimal)
é diagonalizável se decompõe sobre com raízes simples algum polinômio anulador de se decompõe com raízes simples.
Demonstração. Se com ( distintos), o lema dá : uma soma direta de autoespaços, logo é diagonalizável (Teorema 3.6). Reciprocamente, um diagonalizável é anulado por (que anula cada autoespaço), o qual se decompõe com raízes simples; e o divide tendo as mesmas raízes (Proposição 3.12): é exatamente esse produto. ∎
Exemplo 3.18
As projeções satisfazem : anuladas por , que se decompõe com raízes simples — diagonalizáveis com espectro , e : a análise geométrica do primeiro ano, redemonstrada em uma linha. As simetrias (, anulador ): diagonalizáveis quando , espectro . Um endomorfismo com e : anulado por , não necessariamente diagonalizável — o critério o detecta (a raiz dupla precisa ser testada: diagonalizável se e somente se além disso ).
Exemplo 3.19 (O corpo decide: uma rotação em )
Seja o quarto de volta em torno do eixo :
Sobre : o único autovalor é , com autoespaço igual ao eixo — uma reta de vetores fixos e nenhuma outra redução: não é diagonalizável nem triangularizável em ( não se decompõe). Sobre : três autovalores distintos , de modo que é diagonalizável, com autovetores e . A geometria era audível na álgebra: as rotações do plano não têm direções invariantes reais, e os autovalores complexos de módulo guardam o ângulo () que a matriz real só consegue exprimir misturando coordenadas.
Exemplo 3.20 (Minimal contra característico)
Para : mas , pois (verifique na base canônica), ao passo que nenhum dos fatores sozinho anula . Para o bloco de deslocamento , isto é, : e — a raiz dupla é genuinamente necessária, pois não é diagonalizável do lado (). Regra prática: e têm as mesmas raízes (Proposição 3.12); a multiplicidade em mede o tamanho do maior bloco nilpotente, e a de a dimensão total do subespaço característico.
Teorema 3.21 (Cayley–Hamilton)
; por consequência, e .
Demonstração. Fixe e seja maximal com livre; escreva
e ponha , de modo que . Complete a família livre numa base de : nela, tem a forma por blocos , em que é a matriz companheira de , cujo polinômio característico é (desenvolva ao longo da primeira coluna, por indução sobre ). Logo , e
O argumento vale para todo : . ∎
Exemplo 3.22 (Cayley–Hamilton em ação)
: , logo . Toda potência de desaba para uma combinação de e :
e a inversa vem de brinde: dá
A lição final: Cayley–Hamilton comprime toda a álgebra em — , por maiores que sejam as potências de que você precise.
Observação 3.23 (Armadilhas comuns)
(i) Autovalores não se somam: não é , e uma soma de matrizes diagonalizáveis não precisa ser diagonalizável — é soma de duas matrizes diagonalizáveis (cada uma com autovalores distintos) e não é diagonalizável; só as famílias que comutam se comportam bem (Exercício 3.9). (ii) “ se decompõe” é uma hipótese sobre o corpo: uma rotação plana tem , que se decompõe sobre , não sobre — diagonalizável em , não triangularizável em . (iii) A desigualdade vai da geométrica à algébrica, nunca ao contrário; testar apenas nada prova sobre a diagonalizabilidade. (iv) não é : a igualdade vale exatamente quando cada autovalor tem uma única cadeia de blocos (por exemplo, as matrizes companheiras, no problema de fim de semana deste capítulo); usar onde é necessário infla todo cálculo de potências. (v) As partes e de Dunford são polinômios em — uma decomposição com as propriedades certas mas com não é a de Dunford e nunca é única.
Observação 3.24 (Onde este capítulo é usado)
A redução é o cavalo de batalha do resto do livro: potências e exponenciais de matrizes movem os sistemas diferenciais lineares do Capítulo 16; o teorema espectral do Capítulo 12 é a diagonalização tornada ortogonal; as funções geradoras (Capítulo 23) redemonstram analiticamente as assintóticas de recorrência do problema de fim de semana deste capítulo. No volume do terceiro ano de graduação, o mesmo programa roda em dimensão infinita: a teoria espectral dos operadores compactos autoadjuntos, na qual sequências de autovalores substituem os espectros finitos, e a teoria de Perron–Frobenius das matrizes positivas, que explica por que os autovalores dominantes de problemas de contagem são positivos e simples.
3.3 Nilpotentes e a decomposição de Dunford
Proposição 3.25 (Endomorfismos nilpotentes)
Para com que se decompõe, as afirmações seguintes são equivalentes: ; para algum ; ; ; é triangularizável com diagonal nula. Um endomorfismo nilpotente tem , e o índice satisfaz .
Demonstração. faz de todo autovalor uma raiz de : espectro (não vazio quando se decompõe — sobre sempre). Então (todas as raízes nulas) e Cayley–Hamilton dá ; a triangularização (Teorema 3.9) põe zeros na diagonal (a diagonal carrega os autovalores). Reciprocamente, seja estritamente triangular superior: para . Mostramos por indução que
isto é, cada potência empurra a região nula uma diagonal acima. Para essa é a hipótese. Para o passo,
e cada termo se anula: ou (o primeiro fator é por indução), ou , e nesse caso mata o segundo fator. Em a condição vale para todos : . O polinômio minimal divide e a anulação define o índice. ∎
Teorema 3.26 (Decomposição de Dunford)
Suponha que se decomponha sobre (automático para ). Então existe um único par com
e além disso e são polinômios em .
Demonstração. Existência. Escreva ( distintos) e ponha , os subespaços característicos. Por Cayley–Hamilton e pelo lema dos núcleos (Teorema 3.14),
com projeções polinomiais em ; cada é estável (polinômios em comutam com ). Defina : um polinômio em , diagonalizável (ele age como em , logo se decompõe em seus autoespaços). Então é um polinômio em (logo comuta com ) e, em cada , age como , com aí: em cada parcela, logo é nilpotente.
Unicidade. Seja outro par desse tipo. Como e comutam entre si, eles comutam com , logo com todo polinômio em — em particular com e . Então é diagonalizável (duas aplicações diagonalizáveis que comutam são simultaneamente diagonalizáveis: Exercício 3.9) e é igual a , que é nilpotente: se e , a comutatividade autoriza o desenvolvimento binomial
no qual todo termo morre: ou (primeiro fator nulo), ou (segundo fator nulo), e uma das duas condições sempre vale. Um nilpotente diagonalizável é nulo (seu espectro é e ele é diagonal em alguma base): , . ∎
Exemplo 3.27 (Potências e exponenciais)
: , um único autovalor , autoespaço de dimensão : não diagonalizável. Dunford: , , . Então
pelo binômio de Newton para elementos que comutam, resp. pela série exponencial (Capítulo 16) separada em parcelas que comutam. A redução transforma dinâmica matricial em dinâmica escalar.
Observação 3.28 (Perspectivas dentro deste volume)
A redução é um entroncamento; eis os quatro ramais a observar. No Capítulo 5, normas adaptadas transformam “todos os autovalores de módulo ” em “alguma norma de operador ”, fazendo os espectros governarem a convergência de potências e séries. No Capítulo 16, a receita do Exemplo 3.27 torna-se a solução geral de : Dunford separa em blocos do tipo polinômio vezes exponencial, e a estabilidade se lê nas partes reais dos autovalores. No Capítulo 12, um produto escalar impõe o que a mera álgebra linear não consegue: as matrizes simétricas tornam-se ortogonalmente diagonalizáveis, sem nenhuma parte nilpotente. E no Capítulo 23, as assintóticas de autovalor dominante do problema de fim de semana deste capítulo reaparecem analiticamente, como a menor singularidade de uma função geradora — duas línguas para uma mesma taxa de crescimento.
3.4 Exercícios
Exercício 3.1 ★
Diagonalize (autovalores, bases dos autoespaços, invertível):
Solução
Solução de Exercício 3.1.
: . Autovetores: para : ; para : . Logo dá .
, em que é a matriz de uns. tem posto com para e no plano : o espectro de é com autoespaços (dimensão ) e (dimensão , base ). com essas três colunas dá .
Exercício 3.2 ★
Mostre que não é diagonalizável, de duas maneiras: pelos autoespaços e pelo polinômio minimal.
Solução
Solução de Exercício 3.2.
Autoespaços: , único autovalor ; é a reta : dimensão , logo não é diagonalizável (Teorema 3.6).
Polinômio minimal: divide e , logo : uma raiz dupla, logo não é diagonalizável (Corolário 3.17).
Exercício 3.3 ★
Seja tal que . Prove que é diagonalizável, determine os espectros possíveis e calcule como combinação de e .
Solução
Solução de Exercício 3.3.
: decompõe-se com raízes simples, logo é diagonalizável (Corolário 3.17), com . Espectros possíveis: (), () ou .
Potências: procure . Nos autoespaços, isso se lê e : resolvendo, , :
(Válido para os três espectros: as identidades valem autovalor a autovalor.)
Exercício 3.4 ★★
Seja diagonalizável e um subespaço estável. Prove que é diagonalizável (restrinja um polinômio anulador com raízes simples e que se decompõe).
Solução
Solução de Exercício 3.4.
diagonalizável: sobre o espectro anula , decompõe-se e tem raízes simples. Então : a restrição é anulada por um polinômio que se decompõe com raízes simples, logo é diagonalizável (Corolário 3.17).
Exercício 3.5 ★★
(Fibonacci) Seja . Diagonalize sobre e deduza a fórmula de Binet para a sequência de Fibonacci (, , ):
Solução
Solução de Exercício 3.5.
, de raízes e (distintas): diagonalizável, com autovetores e . A recorrência dá . Decomponha nos autovetores: com . Aplicar multiplica cada componente própria pela -ésima potência de seu autovalor; lendo a segunda coordenada:
(Confira: dá .)
Exercício 3.6 ★★
Sejam com diagonalizável e invertível (). Prove que é diagonalizável. Dê um contraexemplo quando não é invertível.
Solução
Solução de Exercício 3.6.
Seja um anulador de que se decompõe com raízes simples (o espectro de ). Como é invertível, não é autovalor de (), logo todos os . Então
anula : . Suas raízes (raízes quadradas complexas) são duas a duas distintas porque os são distintos e não nulos ( daria ). Decompõe-se com raízes simples: é diagonalizável.
Contraexemplo sem invertibilidade: : é diagonalizável, não é.
Exercício 3.7 ★★
Calcule a decomposição de Dunford, e para
Solução
Solução de Exercício 3.7.
com o deslocamento (, ), , : isso é a decomposição de Dunford ( diagonal, nilpotente, e comutam; a unicidade faz dela a decomposição). Binômio com termos que comutam:
Exercício 3.8 ★★
Seja com para algum . Prove que é diagonalizável e que seus autovalores são raízes -ésimas da unidade. Deduza que uma matriz complexa invertível de ordem finita semelhante a uma matriz triangular com diagonal de uns é a identidade.
Solução
Solução de Exercício 3.8.
anula e se decompõe sobre com as raízes distintas : é diagonalizável (Corolário 3.17) e seus autovalores, raízes de , são raízes -ésimas da unidade.
Se além disso é semelhante a uma matriz triangular com diagonal de uns: todos os autovalores valem , e , diagonalizável com único autovalor , é .
Exercício 3.9 ★★★
(Diagonalização simultânea) Sejam diagonalizáveis e que comutam. Prove que eles são simultaneamente diagonalizáveis: alguma base diagonaliza os dois. (Cada autoespaço de é estável por ; diagonalize aí as restrições de , usando Exercício 3.4.)
Solução
Solução de Exercício 3.9.
Escreva (Teorema 3.6). Cada é estável por : para , . A restrição de a é diagonalizável (Exercício 3.4): escolha uma base de formada de autovetores de . Concatenando essas bases sobre todos os obtém-se uma base de cujos vetores são autovetores de ambos (por pertencerem a ) e (por construção).
Exercício 3.10 ★★★
Seja . Prove que é diagonalizável se e somente se todo subespaço -estável tem um subespaço suplementar -estável. (Para : aplique a propriedade a , a soma de todos os autoespaços; se um suplementar estável fosse não nulo, triangularizar produziria um autovetor de dentro de — contradizendo .)
Solução
Solução de Exercício 3.10.
() Seja diagonalizável e estável. Então é diagonalizável (Exercício 3.4): tem uma base de autovetores, que se estende, dentro de cada autoespaço global , a uma base de (teorema da base incompleta dentro de , partindo da parte da base de que aí se encontra — note que , pois é diagonalizável). Os vetores acrescentados geram um suplementar estável (cada um está em algum , logo o espaço que geram é estável por ).
() Seja (um subespaço estável) e um suplementar estável. Se : se decompõe sobre , logo tem um autovetor (Teorema 3.9 ou diretamente a existência de uma raiz); mas todo autovetor de está em , logo : contradição. Portanto e : os autoespaços preenchem , isto é, é diagonalizável.
Exercício 3.11 ★★★
(Raio espectral à la Gelfand, aperitivo da análise que vem) Seja com os dois autovalores de módulo . Prove que entrada a entrada quando . (Triangularize: com triangular superior; calcule explicitamente — distinga autovalores iguais e distintos — e majore.)
Solução
Solução de Exercício 3.11.
Triangularize: , , . Então , e basta que .
Autovalores distintos: a indução dá
e cada entrada tende a ().
Autovalores iguais (): e ; a entrada , pois (a geométrica vence a polinomial). Nos dois casos entrada a entrada, logo (a multiplicação matricial por fixas é contínua nas entradas — cada entrada do produto é uma combinação linear fixa).
Exercício 3.12 ★★
Seja com (). Mostre que e que é diagonalizável se e somente se . (Lembre do Exercício 2.5 que .)
Solução
Solução de Exercício 3.12.
tem dimensão (teorema do núcleo e da imagem), logo é autovalor de multiplicidade geométrica , e é divisível por (Definição 3.3: geométrica algébrica). Escreva ; sendo o coeficiente de igual a , obtemos : .
Se : o autovalor é raiz de , logo carrega um autovetor; os autoespaços de e de têm dimensões e , com soma : eles preenchem , e é diagonalizável (Teorema 3.6). Se : pelo Exercício 2.5, com : é um nilpotente não nulo, e um nilpotente diagonalizável é nulo (Proposição 3.25): não é diagonalizável.
3.5 Problema: recorrências lineares e matrizes companheiras
Uma recorrência linear é uma potência de matriz disfarçada, e a redução a converte em fórmulas fechadas, taxas de crescimento e estimativas de erro. Este problema de fim de semana desenvolve o dicionário — matrizes companheiras de um lado, o operador de deslocamento no espaço das sequências do outro — demonstra o teorema fundamental das recorrências lineares (a solução geral é sobre as raízes do polinômio característico) e gasta os dividendos em aproximação diofantina de , na contagem de passeios e palavras, e num anel de sequências acopladas que só a diagonalização simultânea consegue desembaraçar.
Problema 3.1
Problema de fim de semana — o teorema fundamental das recorrências lineares
Fixe , escalares com , o polinômio mônico e a recorrência
A matriz companheira de é
Parte I — O dicionário companheiro.
- Mostre que uma sequência satisfaz se e somente se os vetores satisfazem , e portanto .
- Prove que (desenvolva ao longo da primeira coluna e faça indução sobre ), e depois que também (passe a , para o qual é cíclico, e note que uma matriz e sua transposta têm o mesmo polinômio minimal).
- Mostre que, para cada raiz de , o vetor gera o autoespaço de associado a ; deduza que todo autoespaço de tem dimensão e que é diagonalizável se e somente se tem raízes distintas.
- Suponha que tenha raízes distintas . Mostre que as sequências geométricas formam uma base do espaço das soluções de , de modo que toda solução é para constantes únicas.
- Resolva completamente: , , .
Parte II — O operador de deslocamento e o teorema fundamental. Seja o -espaço vetorial de todas as sequências complexas e o deslocamento, .
- Mostre que o conjunto solução de é e que ele tem dimensão exatamente (leve uma solução a seus valores iniciais).
- Explique por que o lema da decomposição em núcleos (Teorema 3.14) se aplica a no espaço de dimensão infinita sem nenhuma mudança, e escreva a decomposição resultante de para ( distintos, todos não nulos pois ).
Para e , mostre que
de dimensão . (Calcule com e use que baixa o grau; para a dimensão, majore-a por pelos valores iniciais.)
(O teorema fundamental das recorrências lineares) Conclua: se com os distintos e não nulos, as soluções de são exatamente as sequências
com polinômios unicamente determinados.
- Resolva completamente: , , , e confira a resposta em .
Parte III — Raízes dominantes e dividendos diofantinos.
- Suponha as raízes simples com para , e com . Mostre que e .
- (Pell) Defina , , . Mostre que satisfaz , logo ; relacione isso com o determinante de .
Deduza a estimativa de erro
e mostre que ela decai geometricamente com razão (ache os autovalores de e o crescimento de ).
- (Crescimento geral) A partir da questão 9, prove: (a) se toda raiz satisfaz , então com ; (b) se existe uma única raiz de módulo máximo e , então — confira isso na solução da questão 10.
Parte IV — Contando passeios e palavras. Para um grafo finito com conjunto de vértices , a matriz de adjacência tem se é uma aresta, e caso contrário.
- Prove que é o número de passeios de comprimento de até (sequências de arestas, cada passo ao longo de uma aresta).
(O triângulo) Para o grafo completo com vértices, : usando o espectro de (Exemplo 2.19), mostre que
e confira os dois em listando os passeios.
- (Palavras sem ) Seja o número de palavras binárias de comprimento sem dois consecutivos. Codifique as palavras por sua última letra para obter uma matriz de transferência, mostre que , deduza (Fibonacci, Exercício 3.5) e dê a taxa de crescimento .
- (O caminho) Para o grafo caminho , mostre que os autovalores de são com autovetores e , e deduza que o número de passeios de comprimento de uma ponta à outra é : zero para ímpar, e para par. Confira em .
- (Fórmula do traço) Mostre que o número total de passeios fechados de comprimento (todos os pontos de partida) é , e verifique-o no triângulo.
Parte V — Um anel de sequências: diagonalização simultânea. Fixe , seja e seja o deslocamento cíclico: (índices módulo , colunas indexadas por ).
- Mostre que é a matriz companheira de , deduza e que é diagonalizável com os autovalores simples e autovetores .
- Uma matriz circulante é . Mostre que todas as circulantes comutam, que a base diagonaliza todas elas simultaneamente, e que os autovalores de são , .
- Deduza e verifique que recupera a fatoração de Exercício 2.8.
- (A média do colar) Seja com : cada um de números dispostos em anel é substituído pela média de seus dois vizinhos. Mostre que os autovalores de são e que o coeficiente de em é a média (some as coordenadas dos ).
- Conclua: para ímpar, converge para o vetor constante cujo valor é a média dos valores iniciais; para , exiba o autovalor responsável pela não convergência e a obstrução exata (um coeficiente de média alternada que deve se anular).
- (Síntese) Em uma frase cada: como a matriz companheira converte a análise de em redução; onde o lema da decomposição em núcleos não precisou de dimensão finita; por que os autovalores dominantes governam as taxas de crescimento e o erro diofantino; por que as potências da matriz de adjacência contam passeios; e o que se ganha com matrizes que comutam. Nomeie os dois cumes: o teorema fundamental das recorrências lineares e — para as matrizes positivas da Parte IV, no volume do terceiro ano de graduação — o teorema de Perron–Frobenius.
Solução
Solução de Problema 3.1.
1. As primeiras coordenadas de são (a superdiagonal desloca), e a última é . Assim vale para todo se e somente se as últimas coordenadas coincidem para todo , isto é, se e somente se vale. Iterando, .
2. Desenvolva ao longo da primeira coluna: as duas entradas não nulas são (posição ) e (posição ). O primeiro menor tem a forma para os coeficientes ; o segundo menor é triangular superior com diagonal : determinante , com sinal vindo da posição. A indução sobre (base : ) dá
Para : como para qualquer polinômio, e têm os mesmos anuladores, logo o mesmo polinômio minimal. Para : as colunas se leem , …, , de modo que é a base canônica: livre. Um polinômio de grau tem então (é uma combinação não trivial de vetores da base): . Como com : .
3. Para : as linhas a de dão , isto é, vezes as primeiras entradas de ; a última linha dá . Logo . Reciprocamente, as equações para leem-se : todo autovetor é proporcional a — todo autoespaço tem dimensão exatamente . Diagonalizável se e somente se as dimensões dos autoespaços somam (Teorema 3.6), se e somente se há autovalores distintos, se e somente se tem raízes distintas (os autovalores são as raízes de ).
4. Cada resolve : . Liberdade: uma combinação nula para é um sistema de Vandermonde (Exercício 2.11) nos : todos os . O espaço das soluções tem dimensão (questão 6, cuja demonstração é elementar e independente): soluções livres formam uma base, e as coordenadas são únicas.
5. : solução geral . Condições iniciais: , : , :
(Confira: e .)
6. é a sequência : ela se anula se e somente se vale, de modo que o conjunto solução é , um subespaço. A aplicação , , é linear, injetiva (a recorrência determina a partir dos primeiros valores, por indução) e sobrejetiva (defina recursivamente a partir de dados iniciais quaisquer): dimensão .
7. A demonstração do Teorema 3.14 usa apenas: a identidade de Bézout em e o fato de que polinômios num endomorfismo fixo comutam. Nenhum dos dois menciona a dimensão do espaço ambiente: o lema vale palavra por palavra para . Logo
8. Para : tem -ésimo termo , com de grau (os termos dominantes se cancelam). Iterando, , e quando : o conjunto da direita está contido no núcleo. Ele é um subespaço de dimensão : as sequências , , são livres, pois para todo força (dividindo por ) o polinômio a se anular em todo , logo a ser nulo. Reciprocamente, : desenvolvendo , a equação é uma recorrência linear de ordem (coeficiente dominante ), de modo que fica determinada por como na questão 6. A igualdade das dimensões conclui.
9. Combine as questões 7 e 8: toda solução se decompõe de modo único como soma de elementos dos , isto é, com ; os são únicos porque a decomposição é direta e, dentro de cada parcela, os coeficientes de são coordenadas na base (questão 8). Verificação de bom senso nas dimensões: .
10. : soluções . Dados iniciais: , , logo :
Confira: e .
11. Escreva ; cada razão tem módulo , logo o colchete tende a : . Em particular para grande, e
12. Calcule:
Com : . Estruturalmente: e a aplicação linear multiplica o fator por e o fator por (calcule: ); o produto é multiplicado por a cada passo.
13. Como ,
usando (indução: ambos crescem), logo . Autovalores de : , de raízes ; como tem componente não nula no autovetor dominante (todas as entradas positivas), com (questão 11). Logo o erro é : decaimento geométrico de razão .
14. (a) Da questão 9: , e cada para : some as constantes. (b) Sejam e , de coeficiente dominante . Então com , e
(a geométrica vence a polinomial). Logo
Confira na questão 10: para a razão é
15. Indução sobre . Para , conta os passeios de comprimento . Passo: um passeio de comprimento de a é um passeio de comprimento de até algum vértice seguido de uma aresta :
16. , em que é a projeção sobre ao longo do plano (, pois ). Então e, como e são projeções complementares,
o que dá as duas fórmulas exibidas. Em : diagonal (passeios para os dois vizinhos ); fora da diagonal (o único passeio pelo terceiro vértice).
17. Sejam o número de palavras admissíveis de comprimento terminadas em , resp. em . Acrescentando uma letra: um pode seguir qualquer coisa, um só pode seguir um :
Somando, (ou: condicione na primeira letra). Com , : por indução (, , mesma recorrência). Crescimento: as raízes de são (Exercício 3.5), e a componente em é não nula (os são positivos e ), logo a questão 11 dá .
18. . Verificação:
autovalores (). Decomponha na base de autovetores e leia a terceira coordenada, ou use a simetria: com , , verifica-se , de modo que, para ,
zero para ímpar (grafo bipartido: as pontas estão a distância par), e para par. Em : , o que corresponde aos dois passeios e .
19. Os passeios fechados de comprimento a partir de são ; somando sobre obtém-se . Triangularizando (sobre ), é triangular com diagonal : . Triângulo: : o espectro , coerente com a questão 16.
20. As colunas de : para e ; renomeando na ordem isso é exatamente a matriz companheira de (, os demais ). Questão 2: . As raízes () são as raízes -ésimas distintas da unidade: é diagonalizável (questão 3, ou Exercício 3.8: ). Autovetores: .
21. As circulantes são polinômios em , e polinômios numa matriz fixa comutam entre si. Cada é autovetor de toda potência: , logo
a base (livre: Vandermonde nos distintos, Exercício 2.11) diagonaliza todas as circulantes de uma só vez, com os autovalores enunciados.
22. O determinante é o produto dos autovalores (diagonalize): . Para , , , e :
e : exatamente a fatoração de Exercício 2.8.
23. é uma circulante (), com autovalores na mesma base . Coordenadas: escreva . As coordenadas de somam , o que vale para e caso contrário (soma geométrica de razão ). Somando as coordenadas de : , logo , a média.
24. . Para ímpar, para todo (o ângulo nunca vale nem ), de modo que todos os termos exceto tendem a : , o vetor constante igual à média — promediar num anel ímpar iguala tudo. Para os autovalores são : o termo com oscila para sempre. A obstrução é a média alternada: multiplicando as coordenadas de por e somando, o mesmo cálculo de soma geométrica dá : o processo converge se e somente se , e então converge para a média.
25. A matriz companheira converte uma recorrência escalar de ordem numa recorrência vetorial de primeira ordem, de modo que as fórmulas fechadas viram enunciados sobre — o terreno de casa da redução (questões 1–5). O lema da decomposição em núcleos é álgebra polinomial pura (Bézout mais comutação), logo ele reparte mesmo com de dimensão infinita (questões 7–9). Os autovalores dominantes governam o crescimento porque toda outra contribuição é geometricamente desprezível após a normalização — e é também por isso que o erro de Pell decai como o quadrado da raiz dominante (questões 11–14). As potências da matriz de adjacência contam passeios porque a multiplicação de matrizes soma sobre os vértices intermediários, de modo que os espectros contam passeios fechados (questões 15–19). Matrizes que comutam compartilham uma base de autovetores, e uma única base de Fourier diagonaliza toda a álgebra das circulantes de um golpe só (questões 20–24). Cumes: o teorema fundamental das recorrências lineares (questão 9); e, para matrizes não negativas, a razão pela qual raízes dominantes como ou são automaticamente reais, positivas e simples é o teorema de Perron–Frobenius, demonstrado no volume do terceiro ano de graduação.