Calcolatore di Esponenziale di Matrice

Il Calcolatore di Esponenziale di Matrice calcola \(e^{At}\), la matrice di transizione di stato per il sistema lineare omogeneo \(x'(t)=Ax(t)\). È progettato per l'algebra lineare, la teoria del controllo, le equazioni differenziali, i generatori di catene di Markov e qualsiasi modello in cui una matrice costante guida l'evoluzione in tempo continuo.

Cosa significa l'esponenziale di matrice

Per un numero scalare \(a\), l'esponenziale \(e^{at}\) risolve \(x'=ax\). Per una matrice quadrata \(A\), la stessa idea funziona dopo aver sostituito le potenze di un numero con le potenze di una matrice:

Il risultato non si ottiene calcolando l'esponenziale di ogni singola voce di \(A\). La moltiplicazione tra matrici nelle potenze \(A^2,A^3,\ldots\) cattura l'accoppiamento tra le variabili, che è esattamente ciò di cui ha bisogno un sistema di ODE lineari.

Risoluzione di sistemi ODE lineari

Se \(A\) è costante e \(x(0)=x_0\), la soluzione del problema ai valori iniziali è:

Questo è il motivo per cui \(e^{At}\) è spesso chiamato matrice di transizione di stato o matrice fondamentale delle soluzioni. Ogni colonna mostra dove si sposta uno stato della base standard dopo il tempo \(t\).

Come usare il Calcolatore di Esponenziale di Matrice

1. Inserisci la matrice A. Inserisci una riga per riga, usando spazi o virgole tra le voci.
2. Scegli il tempo t. Usa un valore positivo per l'evoluzione in avanti o un valore negativo per l'evoluzione all'indietro.
3. Aggiungi x(0) quando risolvi una ODE. Il vettore deve avere lo stesso numero di voci della dimensione della matrice.
4. Calcola e ispeziona. Leggi \(e^{At}\), l'opzionale \(x(t)\), l'identità della traccia e l'animazione 2D quando A è 2×2.

Metodo numerico

Il calcolatore utilizza lo scaling and squaring con un approssimante di Padé del 13° ordine. In termini pratici, prima scala \(At\) in una matrice più piccola, valuta un'approssimazione razionale e eleva ripetutamente al quadrato il risultato per tornare alla scala temporale originale. Questo è più stabile del semplice troncamento della serie di Taylor.

Identità importante: Scaling del volume

Il determinante dell'esponenziale di matrice ha una formula di traccia compatta:

Per un sistema 2D questo descrive lo scaling dell'area sotto il flusso; per un sistema 3D descrive lo scaling del volume. Una traccia negativa tende a contrarre i volumi, mentre una traccia positiva li espande.

Quando usare questo strumento

FAQ

Il calcolatore può gestire matrici non diagonalizzabili?

Sì. Il metodo di Padé calcola direttamente \(e^{At}\), quindi non richiede la diagonalizzazione. I blocchi di Jordan e gli autovalori ripetuti sono input validi finché i numeri rimangono entro i limiti di stabilità.

Perché c'è un limite su ||At||?

Valori molto grandi di \(\|At\|_1\) possono portare a voci esponenziali enormi o overflow in virgola mobile. Il calcolatore mantiene un limite conservativo in modo che gli utenti ottengano risultati affidabili e compatibili con il browser invece di infiniti fuorvianti.

Questo strumento produce formule simboliche?

Questo strumento si concentra sugli esponenziali di matrici numeriche e sui valori di stato delle ODE. Per forme chiuse simboliche, diagonalizzazione e flussi di lavoro in forma di Jordan, utilizza un calcolatore dedicato agli autovalori o alla forma normale di Jordan.