양정부호인 행렬A≥0 와 실수t∈R 에 대해 A 의 t-거듭제곱t-power을 다음과 같이 정의한다.
At:=exp(tlogA)
여기서 exp 와 log 는 각각 행렬 지수와 행렬 로그다.
설명
일반적으로 행렬의 거듭제곱 At 은 자연수 t∈N 에 대해 행렬곱을 t번 취하는 것으로 정의되고, A 가 가역행렬인 경우 역행렬 A−1 가 존재해서 정수 t∈Z 에 대해 일반화될 수 있다.
여기에 한 발 더 나아가, A 가 양정부호 행렬인 경우 그 행렬 로그 logA 가 존재하고 모든 고유값이 양수기 때문에 At 를 실수 t 에 대해 자연스럽게 일반화할 수 있다. 모든 고유값이 양수라는 것과 At 의 존재성이 어떤 관계가 있는지는 다음의 정리의 증명 과정에서 쉽게 납득할 수 있을 것이다.
정리
양정부호 행렬 A 와 실수 t 에 대해 At 가 유일하게 존재한다.
증명
에르미트 행렬 공간과 양정부호 행렬의 컨벡스 셋을 각각 Hn 과 Pn 이라 나타도록 하자. t 가 실수로 가정된만큼 증명 과정에서 함부로 etE=eteE 와 같은 연산을 사용할 수 없음에 주의하라.
에르미트 행렬 X∈Hn 은 스펙트럴 이론에 의해 X=QDQ∗ 로 대각화할 수 있다. 이때 Q 는 유니터리 행렬이고, D 는 A 의 고유값으로 이루어진 대각행렬이다. 따라서 다음이 성립한다.
expX=====eXk=0∑∞k!1Xkk=0∑∞k!1QDkQ∗Q[k=0∑∞k!1Dk]Q∗QeDQ∗
보조정리 2: 행렬과 행렬 지수의 고유값
X=QDQ∗ 의 고유값들을 d1,⋯,dn 이라 나타내면, 다시 말해 expX=QeDQ∗ 에서 D=diag(d1,⋯,dn) 라고 두면 다음이 성립한다.
eX===Qk=0∑∞k!1d1000⋱000dnkQ∗Q∑kd1k/k!000⋱000∑kdnk/k!Q∗Qed1000⋱000ednQ∗
다음의 필요충분조건을 같은 방법으로 유도할 수 있다.
X=Qd1000⋱000dnQ∗⟺eX=Qed1000⋱000ednQ∗
구체적인 형태
양정부호 행렬 A 에 행렬 로그 log:Pn→Hn 를 취한 logA 는 에르미트 행렬이므로 마찬가지로
t⋅logA=t⋅UEU∗=U[tE]U∗
와 같은 유니터리 대각화가 가능하다. λ1,⋯,λn 을 A 의 고유값이라 하면 여기서 E 는 그 고유값 각각에 로그를 취하고 대각행렬로 둔 diag(logλ1,⋯,logλn) 이고, 구체적인 At 의 꼴을 확인할 수 있다.
At====exp(tlogA)UetEU∗Uetlogλ1000⋱000etlogλnU∗Uλ1t000⋱000λntU∗∵Lemma 1∵Lemma 2
증명과정에서 At 의 존재성은 스펙트럴 이론과 행렬 로그가 전단사라는 점을 통해 확인할 수 있고, 대각행렬이 양수의 거듭제곱으로 깔끔하게 나타나서 다른 At 가 존재할 수 없음을 확인할 수 있다. 예로써 양정부호 행렬 A 의 제곱근 행렬A 는 유일하게 존재할 것이다.