pdfファイルを張り付ける
pdffileはここからお借りしました。
http://www.texample.net/media/tikz/examples/PDF/seismic-focal-mechanism-in-3d-view.pdf
つぎはsvgファイル
これはここからお借りした。
http://blackicemedia.com/presentations/2013-02-hires/img/awesome_tiger.svg
直接書き込むと
行列指数関数の性質(メモ)
行列指数関数に対して次の性質が成り立ちます。
\[
\begin{align}
&\exp O=E\\
\nonumber\\
&\exp A\exp B=\exp(A+B)\;(AB=BA\text{のとき})\\
\nonumber\\
&\exp X\exp (-X)=E
\end{align}
\]
\((1)\)は行列指数関数の定義から明らかです。
\((2)\)は簡単に証明できて、\(AB=BA\)より
\[
\begin{align}
\text{(左辺)}&=\sum_{i=0}^\infty\sum_{j=0}^\infty \frac{A^i}{i!}\frac{B^j}{j!}\\
&=\sum_{n=0}^\infty\sum_{i=0}^{n}\frac{A^i}{i!}\frac{B^{n-i}}{(n-i)!}\\
&=\sum_{n=0}^\infty\sum_{i=0}^{n}\frac{1}{n!}\frac{n!}{i!(n-i)!} A^iB^{n-i}\\
&=\sum_{n=0}^\infty\frac{1}{n!}\left(\sum_{i=0}^{n}\frac{n!}{i!(n-i)!} A^iB^{n-i}\right)\\
&=\sum_{n=0}^\infty\frac{1}{n!}(A+B)^n\\
\nonumber&=\text{(右辺)}
\end{align}
\]
\((3)\)は\((1),(2)\)からすぐ導けます。
行列の正則関数(メモ)
前回の記事
行列の指数関数について(メモ) - MAEA2’s diary
の\( (11) \)式からわかるように、行列の指数関数の性質について調べるには、各ジョルダンブロックの
指数関数について調べればよいことがわかりました。
行列の指数関数は、\(\exp(z)\)の展開式から定義しました。
これはべき級数の形をしています。
そこで一般のべき級数についても前回の記事と同じ結果が導けるのでそれを示しておきます。
いま、複素べき級数
\[
\begin{align}
f(z)=\sum_{n=0}^\infty a_nz^n\; (z\in\mathbb{C})
\end{align}
\]
に対して、行列べき級数を
\[
\begin{align}
f(A)=\sum_{n=0}^\infty a_nA^n\; (A\in M_n(\mathbb{C}))
\end{align}
\]
で定義します。
これに対してもジョルダン標準形による分解ができて, \( P:\text{正則} \)があって
\[
\begin{align}
\nonumber f(A)&=P\left(\sum_{n=0}^\infty a_n\left(\bigoplus_{1\leq i\leq r,1\leq j \leq s_i}J(\lambda_i,j)\right)^n \right) P^{-1}\\
&=P\bigoplus_{1\leq i\leq r,1\leq j \leq s_i}\sum_{n=0}^\infty a_n\left(J(\lambda_i,j)\right)^n P^{-1}\\
&=P\left(\bigoplus_{1\leq i\leq r,1\leq j \leq s_i}f\left(J(\lambda_i,j)\right) \right) P^{-1}
\end{align}
\]
よって\(f(A)\)がどうなるかを調べたかったら各\(f\left(J(\lambda_i,j)\right) \)を調べればよいことがわかります。
いま\( J(0,m)=J_m \)と書くことにすると、\(J_m\)は\(m\)次のべき零行列となっていることと
\( J(\lambda_i,j)=\lambda_i E+J_j\)と分解できることと二項定理から
\[
\begin{align}
&\left( J(\lambda_i,j)\right)^n=\sum_{k=0}^{j-1}\frac{n_k}{k!}{\lambda_i}^{n-k}J_j^k
\: \left(\text{ただし} n_k=\frac{n!}{(n-k)!}\right)
\end{align}
\]
が成り立ちます。
\((4)\)を\( (3) \)に代入して
\[
\begin{align}
&P\left(\bigoplus_{1\leq i\leq r,1\leq j \leq s_i}\sum_{n=0}^\infty a_n\left(J(\lambda_i,j)\right)^n\right)P^{-1} \\
=&P\left(\bigoplus_{1\leq i\leq r,1\leq j \leq s_i}\sum_{n=0}^\infty a_n \left( \sum_{k=0}^{j-1}\frac{n_j}{k!}{\lambda_i}^{n-k}J_j^k\right)\right)P^{-1}\\
=&P\left(\bigoplus_{1\leq i\leq r,1\leq j \leq s_i}\sum_{k=0}^{j-1}\left(\sum_{n=0}^\infty a_n n_j{\lambda_i}^{n-k}\right)\frac{1}{k!}J_j^k\right)P^{-1}
\end{align}
\]
ここで
\[
\begin{align}
\sum_{n=0}^\infty a_n n_j{\lambda_i}^{n-k}=f^{(k)}(\lambda_i)
\end{align}
\]
なので\((9)\)を\((8)\)に代入して
\[
\begin{align}
P\left(\bigoplus_{1\leq i\leq r,1\leq j \leq s_i}\sum_{k=0}^{j-1}f^{(k)}(\lambda_i)\frac{1}{k!}J_j^k\right)P^{-1}
\end{align}
\]
よって、このようにして定義した行列のべき級数は、元の複素べき級数\(f(z)\)の収束半径に依存することが
わかりました。
このようにして定義される関数を行列の正則関数といいます。
行列の指数関数について(メモ)
行列の指数関数を考えます。
それは普通の指数関数のTaylor展開からの類推で定義できて
\[A \in M_n(\mathbb{C})\]
とするとき(\(M_n(\mathbb{C})\)はn次複素正方行列全体の集合)
\[
\exp(A)=\sum_{k=0}^\infty \frac{(A)^k}{k!}
\]
で定義されます。
これがうぇるでぃふぁいんどであるかを確かめたいのですが、
一気にはできないので、ちょっとずつ考えていこうと思います。
始めに行列の直和の記法を導入します。
行列が
\[
A=\begin{pmatrix}
A_1&&&&\large{O}\\
&A_2&&&\\
&&\ddots&&\\
&&&\ddots&\\
\large{O}&&&&A_r\\
\end{pmatrix}
\]
という形になっているとき(ブロック対角型)であるとき
\[
\begin{align}
A&=A_1\oplus A_2\oplus\cdots\oplus A_r\\
&= \bigoplus_{i=1}^{r}A_i
\end{align}
\]
と書くことにします。
さて線形代数の結果から、任意のn次複素正方行列\(A\)に対して
\[
\begin{align}
P^{-1}AP=\nonumber &J(\lambda_1,k_{11})\oplus J(\lambda_1,k_{12})\oplus \cdots \oplus J(\lambda_1,k_{1s_1})\\
\nonumber &J(\lambda_2,k_{21})\oplus J(\lambda_1,k_{22})\oplus \cdots \oplus J(\lambda_2,k_{2s_1})\\
\nonumber &\cdots\cdots\cdots\cdots\cdots\cdots\cdots\cdots\cdots\cdots\cdots\cdots\\
&J(\lambda_r,k_{r1})\oplus J(\lambda_r,k_{r2})\oplus \cdots \oplus J(\lambda_2,k_{rs_1})\\
\nonumber\\
=&\bigoplus_{1\le i\le r,1\le j\le s_i}J(\lambda_i,k_{ij})
\end{align}
\]
となる正則行列\(P\)が存在します。各\(J(\lambda_i,j)\)は
\[
J(\lambda_i,j)=
\overbrace{
\begin{pmatrix}
\lambda_i&1&0&\cdots&&&0\\
0&\lambda_i&1&0&\cdots&&0\\
&&\ddots&&&&\\
&&&\ddots&&&\\
&&&&\ddots&&\\
0&\cdots&\cdots&\cdots&\cdots&\lambda_i&1\\
0&\cdots&\cdots&\cdots&\cdots&0&\lambda_i
\end{pmatrix}}^{j}\:\text{(\(j\)次正方行列)}
\]
という形の行列です。
このとき
\[
\begin{align}
P^{-1}A^kP=&\left(P^{-1}AP\right)^k\\
=&\left(\bigoplus_{1\le i\le r,1\le j\le s_i}J(\lambda_i,k_{ij})\right)^k\\
=&\bigoplus_{1\le i\le r,1\le j\le s_i}\left(J(\lambda_i,k_{ij})\right)^k
\end{align}
\]
が成り立ちます。
よって、行列の指数関数はジョルダン標準形を用いて書くことができて、
\[
\begin{align}
\exp(A)&=\sum_{k=0}^\infty \frac{(A)^k}{k!}\\
&=\sum_{k=0}^\infty \left(\displaystyle\bigoplus_{1\le i\le r,1\le j\le s_i}\frac{\left(J(\lambda_i,k_{ij})\right)^k}{k!}\right)\\
&=\displaystyle\bigoplus_{1\le i\le r,1\le j\le s_i}\left(\sum_{k=0}^{\infty}\frac{\left(J(\lambda_i,k_{ij})\right)^k}{k!}\right)\\
&=\displaystyle\bigoplus_{1\le i\le r,1\le j\le s_i}\exp(J(\lambda_i,j))
\end{align}
\]
となります。
よって行列指数関数の性質を調べるには、各ジョルダンブロックの行列指数関数について調べればよいことになります。
つづきはまた
2×2行列であそぶ(構成しよう)
行列がなくなってしまった!
行列が高校数学の指導要領からはずれてしまいましたね。
行列は大学に入ったら必ず使うし、とっても役に立つと思うんですが。
代わりに複素平面に関する内容がもう少し増えるみたいです。
不思議な行列
次のような行列を考えます。
さて、この行列にはどのような性質があるでしょうか。
まず試みにとした場合を考えてみましょう。
つまりこれはこのような行列です。
ご覧のとおり二次の単位行列となります。
ここで、この行列をと置いておきましょう。
どのような行列に対しても
が成り立ちます。
積の演算に関してこのような性質を満たすような元を単位元といいます。
なのでは行列の積の演算における単位元となります。
実際、に対して
となっているので、その性質が成り立っていることがわかります。
では今度は逆にとしてみましょう。
これは次のような行列です。
この行列の二乗を考えるととても面白い性質が観察できます。
実際にやってみましょう。
いまとおけば、
が成り立っています。
つまりを二乗すると行列の積の単位元の倍になるのです。
さらに、を使うと、任意のに対して
次のような分解を考えることができます。
この分解を利用しての積を考えると
お気づきの方もいると思いますがこの行列は複素数と性質がとてもよく似ています。