Na álgebra linear, a matriz companheira de Frobenius do polinômio mônico
é a matriz quadrada definida como
Alguns autores usam a transposta desta matriz, , que é mais conveniente para alguns propósitos, como em relações de recorrência lineares (veja abaixo).
é definida a partir dos coeficientes de , enquanto o polinômio característico bem como o polinômio mínimo de são iguais a . Neste sentido, a matriz e o polinômio são "companheiros".
Semelhança com a matriz companheira Qualquer matriz A com entradas num corpo F possui polinômio característico , que por sua vez possui a matriz companheira . Estas matrizes estão relacionadas da seguinte forma.
As seguintes afirmações são equivalentes: A é semelhante sobre F a , isto é, A pode ser conjugada com sua matriz companheira por matrizes em GLn(F); o polinômio característico coincide com o polinômio mínimo de A, isto é, o polinômio mínimo tem grau n; a transformação linear faz de um -módulo cíclico, possuindo uma base da forma ; ou, de forma equivalente, como -módulos.
Se as condições acima forem válidas, diz-se que A é uma matriz não derrogatória.
Nem toda matriz quadrada é semelhante a uma matriz companheira, mas toda matriz quadrada é semelhante a uma matriz diagonal de blocos feita de matrizes companheiras. Se exigirmos também que o polinômio de cada bloco diagonal divida o seguinte, eles serão determinados de forma única por A, e isso fornece a forma canônica racional (ou forma normal de Frobenius) de A.
Diagonalização As raízes do polinômio característico são os autovalores de .
Se houver n autovalores distintos , então é diagonalizável como , onde D é a matriz diagonal e V é a matriz de Vandermonde correspondente aos λs:
De fato, um cálculo razoavelmente complexo mostra que a transposta possui autovetores com , o que decorre de . Assim, sua matriz de mudança de base diagonalizadora é , o que significa que . Tomando a transposta de ambos os lados obtemos . Podemos ler os autovetores de com a partir da equação : eles são os vetores coluna da matriz de Vandermonde inversa . Esta matriz é conhecida explicitamente, fornecendo os autovetores , com coordenadas iguais aos coeficientes dos polinômios de Lagrange
Alternativamente, os autovetores escalonados possuem coeficientes mais simples.
Se possuir raízes múltiplas, então não é diagonalizável. Em vez disso, a forma canônica de Jordan de contém um bloco de Jordan para cada raiz distinta; se a multiplicidade da raiz for m, então o bloco é uma matriz m × m com na diagonal e 1 nas entradas imediatamente acima da diagonal. Neste caso, V torna-se uma matriz de Vandermonde confluente.
Sequências recursivas lineares Uma sequência recursiva linear definida por para tem o polinômio característico , cuja matriz companheira transposta gera a sequência:
O vetor é um autovetor desta matriz, onde o autovalor é uma raiz de . Definir os valores iniciais da sequência iguais a este vetor produz uma progressão geométrica que satisfaz a recorrência. No caso de n autovalores distintos, uma solução arbitrária pode ser escrita como uma combinação linear dessas soluções geométricas, e os autovalores de maior norma complexa fornecem uma aproximação assintótica.
De EDO linear para sistema de EDOs lineares de primeira ordem
De forma semelhante ao caso acima de recursões lineares, considere uma EDO linear homogênea de ordem n para a função escalar :
Isto pode ser equivalentemente descrito como um sistema acoplado de EDOs lineares homogêneas de ordem 1 para a função vetorial :
onde é a matriz companheira transposta para o polinômio característico
Aqui, os coeficientes também podem ser funções, não apenas constantes.
Se for diagonalizável, então uma mudança de base diagonalizadora transformará isso num sistema desacoplado equivalente a uma EDO linear homogênea de primeira ordem escalar em cada coordenada.
Uma equação não homogênea
é equivalente ao sistema:
com o termo não homogêneo .
Novamente, uma mudança de base diagonalizadora transformará isso num sistema desacoplado de EDOs lineares não homogêneas de primeira ordem escalares.
Matriz de deslocamento cíclico No caso de , quando os autovalores são as raízes da unidade complexas, a matriz companheira e sua transposta reduzem-se à matriz de deslocamento cíclico de Sylvester, uma matriz circulante.
Mapa de multiplicação em uma extensão de corpo simples Considere um polinômio com coeficientes em um corpo , e suponha que seja irredutível no anel de polinômios . Em seguida, a adjunção de uma raiz de produz uma extensão de corpo , que também é um espaço vetorial sobre com base padrão . Então o mapeamento de multiplicação linear sobre
tem uma matriz n × n com respeito à base padrão. Como e , esta é a matriz companheira de :
Assumindo que esta extensão é separável (por exemplo, se tem característica zero ou é um corpo finito), tem raízes distintas com , de modo que
e tem o corpo de decomposição . Agora não é diagonalizável sobre ; em vez disso, devemos estendê-lo para um mapa linear sobre em , um espaço vetorial sobre com base padrão , contendo os vetores . O mapeamento estendido é definido por .
A matriz permanece inalterada, mas, como acima, ela pode ser diagonalizada por matrizes com entradas em :
para a matriz diagonal e a matriz de Vandermonde V correspondente a . A fórmula explícita para os autovetores (os vetores coluna escalonados da matriz de Vandermonde inversa ) pode ser escrita como:
onde são os coeficientes do polinômio de Lagrange escalonado
Complexidade teórica: cálculo por multiplicação rápida de matrizes É possível calcular a matriz companheira de maneira rápida com o uso de algoritmos de multiplicação rápida de matrizes num tempo para . Os respectivos algoritmos são fornecidos por Storjohann.
Ver também Endomorfismo de Frobenius Teorema de Cayley-Hamilton Subespaço de Krylov
Referências
Categoria:Matrizes Categoria:Teoria de matrizes Categoria:Formas normais de matrizes