Calculadora de Exponencial de Matrizes

A Calculadora de Exponencial de Matrizes calcula \(e^{At}\), a matriz de transição de estado para o sistema linear homogêneo \(x'(t)=Ax(t)\). Ela foi projetada para álgebra linear, teoria de controle, equações diferenciais, geradores de cadeias de Markov e qualquer modelo onde uma matriz constante impulsiona a evolução em tempo contínuo.

O que significa a Exponencial de Matriz

Para um número escalar \(a\), a exponencial \(e^{at}\) resolve \(x'=ax\). Para uma matriz quadrada \(A\), a mesma ideia funciona após substituir as potências de um número pelas potências de uma matriz:

O resultado não é obtido exponenciando cada entrada de \(A\). A multiplicação de matrizes nas potências \(A^2,A^3,\ldots\) captura o acoplamento entre as variáveis, que é exatamente o que um sistema de EDOs lineares necessita.

Resolvendo Sistemas de EDOs Lineares

Se \(A\) for constante e \(x(0)=x_0\), a solução do problema de valor inicial é:

É por isso que \(e^{At}\) é frequentemente chamada de matriz de transição de estado ou solução de matriz fundamental. Cada coluna mostra para onde um estado da base padrão se move após o tempo \(t\).

Como usar a Calculadora de Exponencial de Matrizes

1. Insira a matriz A. Coloque uma linha por linha, usando espaços ou vírgulas entre as entradas.
2. Escolha o tempo t. Use um valor positivo para evolução para frente ou um valor negativo para evolução para trás.
3. Adicione x(0) ao resolver uma EDO. O vetor deve ter o mesmo número de entradas que a dimensão da matriz.
4. Calcule e inspecione. Leia \(e^{At}\), o \(x(t)\) opcional, a identidade do traço e a animação 2D quando A for 2×2.

Método Numérico

A calculadora usa escalonamento e quadratura com um aproximante de Padé de 13ª ordem. Em termos práticos, ela primeiro escala \(At\) para uma matriz menor, avalia uma aproximação racional e eleva o resultado ao quadrado repetidamente para retornar à escala de tempo original. Isso é mais estável do que simplesmente truncar a série de Taylor.

Identidade Importante: Escalonamento de Volume

O determinante da exponencial da matriz tem uma fórmula de traço compacta:

Para um sistema 2D, isso descreve o escalonamento da área sob o fluxo; para um sistema 3D, descreve o escalonamento do volume. Um traço negativo tende a contrair volumes, enquanto um traço positivo os expande.

Quando usar esta ferramenta

FAQ

A calculadora pode lidar com matrizes não diagonalizáveis?

Sim. O método Padé calcula \(e^{At}\) diretamente, portanto não requer diagonalização. Blocos de Jordan e autovalores repetidos são entradas válidas, desde que os números permaneçam dentro dos limites de estabilidade.

Por que existe um limite para ||At||?

Valores muito grandes de \(\|At\|_1\) podem levar a entradas exponenciais enormes ou estouro de ponto flutuante. A calculadora mantém um limite conservador para que os usuários obtenham resultados confiáveis e amigáveis ao navegador, em vez de infinitos enganosos.

Isso produz fórmulas simbólicas?

Esta ferramenta foca em exponenciais de matrizes numéricas e valores de estado de EDO. Para formas fechadas simbólicas, diagonalização e fluxos de trabalho de forma de Jordan, use uma calculadora dedicada de autovalores ou de forma normal de Jordan.