행렬 지수 계산기

행렬 지수 계산기는 제차 선형 시스템 \(x'(t)=Ax(t)\)에 대한 상태 전이 행렬인 \(e^{At}\)를 계산합니다. 이 도구는 선형 대수학, 제어 이론, 미분 방정식, 마르코프 연쇄 생성기 및 상수 행렬이 연속 시간 진화를 주도하는 모든 모델을 위해 설계되었습니다.

행렬 지수의 의미

스칼라 숫자 \(a\)에 대해 지수 \(e^{at}\)는 \(x'=ax\)를 풉니다. 정사각 행렬 \(A\)에 대해서도 숫자의 거듭제곱을 행렬의 거듭제곱으로 대체하면 동일한 개념이 적용됩니다.

결과는 \(A\)의 각 항목에 지수를 취해서 얻어지는 것이 아닙니다. 거듭제곱 \(A^2,A^3,\ldots\)에서의 행렬 곱셈은 변수 간의 결합을 포착하며, 이는 선형 ODE 시스템에 정확히 필요한 것입니다.

선형 ODE 시스템 풀기

\(A\)가 상수이고 \(x(0)=x_0\)인 경우, 초기값 문제의 해는 다음과 같습니다.

이것이 \(e^{At}\)가 종종 상태 전이 행렬 또는 기본 행렬 해라고 불리는 이유입니다. 각 열은 표준 기저 상태가 시간 \(t\) 후에 어디로 이동하는지 보여줍니다.

행렬 지수 계산기 사용 방법

1. 행렬 A를 입력합니다. 항목 사이에 공백이나 쉼표를 사용하여 한 줄에 한 행씩 입력합니다.
2. 시간 t를 선택합니다. 순방향 진화에는 양수 값을, 역방향 진화에는 음수 값을 사용합니다.
3. ODE를 풀 때 x(0)를 추가합니다. 벡터는 행렬 차원과 동일한 수의 항목을 가져야 합니다.
4. 계산 및 확인합니다. \(e^{At}\), 선택적 \(x(t)\), 대각합 항등식, 그리고 A가 2×2인 경우 2D 애니메이션을 확인합니다.

수치 해석 방법

계산기는 13차 Padé 근사와 함께 스케일링 및 스퀘어링(Scaling and Squaring) 기법을 사용합니다. 실질적으로, 먼저 \(At\)를 더 작은 행렬로 스케일링하고 유리 함수 근사를 평가한 다음, 결과를 반복적으로 제곱하여 원래 시간 스케일로 되돌립니다. 이는 단순히 테일러 급수를 자르는 것보다 더 안정적입니다.

중요한 항등식: 부피 스케일링

행렬 지수의 행렬식은 간결한 대각합 공식을 갖습니다.

2D 시스템의 경우 이는 흐름 하에서의 면적 스케일링을 설명하고, 3D 시스템의 경우 부피 스케일링을 설명합니다. 음수 대각합은 부피를 수축시키는 경향이 있는 반면, 양수 대각합은 부피를 팽창시킵니다.

이 도구를 사용하는 경우

자주 묻는 질문 (FAQ)

계산기가 대각화 불가능한 행렬도 처리할 수 있습니까?

네. Padé 방법은 \(e^{At}\)를 직접 계산하므로 대각화가 필요하지 않습니다. 조르단 블록과 중근 고유값은 수치가 안정성 한계 내에 있는 한 유효한 입력입니다.

왜 ||At||에 제한이 있습니까?

\(\|At\|_1\) 값이 매우 크면 지수 항목이 거대해지거나 부동 소수점 오버플로가 발생할 수 있습니다. 계산기는 사용자가 오해의 소지가 있는 무한대 대신 신뢰할 수 있는 브라우저 친화적 결과를 얻을 수 있도록 보수적인 경계를 유지합니다.

기호 공식(Symbolic formula)을 생성합니까?

이 도구는 수치 행렬 지수 및 ODE 상태 값에 집중합니다. 기호로 된 폐형식(Closed form), 대각화 및 조르단 표준형 워크플로의 경우 전용 고유값 또는 조르단 표준형 계산기를 사용하십시오.