記事ソース/エルミート行列とユニタリー行列の関係
をテンプレートにして作成
査読
rst2hooktail
進行表
執筆中
かぎマニュ
物理のかぎプロジェクト
トップ
最近の更新
ヘルプ
開始行:
#rst2hooktail_source
=========================================================...
エルミート行列とユニタリー行列の関係
=========================================================...
量子力学でもお馴染みの話です。
エルミート行列 $H$ ならば、ユニタリー行列 $U$ で挟むこと...
では、逆にユニタリー行列 $U$ で対角化できる行列 $A$ は、...
という疑問に答えるのがこの記事です。簡単の為、3次行列で...
条件を整理する
==================
列ベクトル $\bm{x}_1,\bm{x}_2,\bm{x}_3$ をユニタリー行列...
つまり、
<tex>
U = \begin{pmatrix}
& & \\
\bm{x}_1 & \bm{x}_2 & \bm{x}_3 \\
& &
\end{pmatrix} \tag{##}
</tex>
です。すると、その逆行列は、エルミート共役(共役転置)をダ...
<tex>
U^{-1}=U^\dagger = \begin{pmatrix}
& \bm{x}_1^\dagger & \\
& \bm{x}_2^\dagger & \\
& \bm{x}_3^\dagger &
\end{pmatrix} \tag{##}
</tex>
となります。対角化された行列を次のように $\Lambda$ としま...
<tex>
\Lambda = \begin{pmatrix}
\lambda_1 & & \\
& \lambda_2 & \\
& & \lambda_3
\end{pmatrix} \tag{##}
</tex>
さあ、準備ができた
======================
すると、 正方行列の三連続積の展開_ でやったように、
行列を展開 [*]_ できます。
.. [*] どうやらこれを、スペクトル展開と呼ぶようです。
<tex>
A &= U \Lambda U^{-1} \\
&= \lambda_1 \bm{x}_1 \bm{x}_1^\dagger + \lambda_2 \bm{x}...
&= \sum_{i=1}^3 \lambda_i \bm{x}_i \bm{x}_i^\dagger \tag{...
</tex>
この $\bm{x}_i \bm{x}_i^\dagger$ はダイアド積と呼ばれる積...
具体的に
<tex>
\bm{x} = \begin{pmatrix}
\alpha \\
\beta \\
\gamma
\end{pmatrix} \tag{##}
</tex>
と置くと、 $\ast$ を複素共役とするなら、
<tex>
\bm{x}\bm{x}^\dagger &=
\begin{pmatrix}
\alpha \\
\beta \\
\gamma
\end{pmatrix}
\begin{pmatrix}
\alpha^\ast & \beta^\ast & \gamma^\ast
\end{pmatrix} \\
&=
\begin{pmatrix}
|\alpha|^2 & \alpha \beta^\ast & \alpha \gamma^\ast \\
\alpha^\ast \beta & |\beta|^2 & \beta \gamma^\ast \\
\alpha^\ast \gamma & \beta^\ast \gamma & |\gamma|^2
\end{pmatrix} \\
&= (\bm{x}\bm{x}^\dagger)^\dagger \tag{##}
</tex>
となり、見事にこれは、エルミート行列の条件、 $ H=H^\dagge...
その和である $A$ も当然、エルミート行列です。
つまり、ユニタリー行列で対角化できるならば、その行列 $A$ ...
.. [*] さらに強く言うなら、エルミート行列はユニタリー行列...
今日はこの辺で、お疲れさまでした。
.. _正方行列の三連続積の展開: http://hooktail.sub.jp/math...
@@author:クロメル@@
@@accept:2013-04-20@@
@@category:物理数学@@
@@id:herUni@@
終了行:
#rst2hooktail_source
=========================================================...
エルミート行列とユニタリー行列の関係
=========================================================...
量子力学でもお馴染みの話です。
エルミート行列 $H$ ならば、ユニタリー行列 $U$ で挟むこと...
では、逆にユニタリー行列 $U$ で対角化できる行列 $A$ は、...
という疑問に答えるのがこの記事です。簡単の為、3次行列で...
条件を整理する
==================
列ベクトル $\bm{x}_1,\bm{x}_2,\bm{x}_3$ をユニタリー行列...
つまり、
<tex>
U = \begin{pmatrix}
& & \\
\bm{x}_1 & \bm{x}_2 & \bm{x}_3 \\
& &
\end{pmatrix} \tag{##}
</tex>
です。すると、その逆行列は、エルミート共役(共役転置)をダ...
<tex>
U^{-1}=U^\dagger = \begin{pmatrix}
& \bm{x}_1^\dagger & \\
& \bm{x}_2^\dagger & \\
& \bm{x}_3^\dagger &
\end{pmatrix} \tag{##}
</tex>
となります。対角化された行列を次のように $\Lambda$ としま...
<tex>
\Lambda = \begin{pmatrix}
\lambda_1 & & \\
& \lambda_2 & \\
& & \lambda_3
\end{pmatrix} \tag{##}
</tex>
さあ、準備ができた
======================
すると、 正方行列の三連続積の展開_ でやったように、
行列を展開 [*]_ できます。
.. [*] どうやらこれを、スペクトル展開と呼ぶようです。
<tex>
A &= U \Lambda U^{-1} \\
&= \lambda_1 \bm{x}_1 \bm{x}_1^\dagger + \lambda_2 \bm{x}...
&= \sum_{i=1}^3 \lambda_i \bm{x}_i \bm{x}_i^\dagger \tag{...
</tex>
この $\bm{x}_i \bm{x}_i^\dagger$ はダイアド積と呼ばれる積...
具体的に
<tex>
\bm{x} = \begin{pmatrix}
\alpha \\
\beta \\
\gamma
\end{pmatrix} \tag{##}
</tex>
と置くと、 $\ast$ を複素共役とするなら、
<tex>
\bm{x}\bm{x}^\dagger &=
\begin{pmatrix}
\alpha \\
\beta \\
\gamma
\end{pmatrix}
\begin{pmatrix}
\alpha^\ast & \beta^\ast & \gamma^\ast
\end{pmatrix} \\
&=
\begin{pmatrix}
|\alpha|^2 & \alpha \beta^\ast & \alpha \gamma^\ast \\
\alpha^\ast \beta & |\beta|^2 & \beta \gamma^\ast \\
\alpha^\ast \gamma & \beta^\ast \gamma & |\gamma|^2
\end{pmatrix} \\
&= (\bm{x}\bm{x}^\dagger)^\dagger \tag{##}
</tex>
となり、見事にこれは、エルミート行列の条件、 $ H=H^\dagge...
その和である $A$ も当然、エルミート行列です。
つまり、ユニタリー行列で対角化できるならば、その行列 $A$ ...
.. [*] さらに強く言うなら、エルミート行列はユニタリー行列...
今日はこの辺で、お疲れさまでした。
.. _正方行列の三連続積の展開: http://hooktail.sub.jp/math...
@@author:クロメル@@
@@accept:2013-04-20@@
@@category:物理数学@@
@@id:herUni@@
ページ名:
Modified by
物理のかぎプロジェクト
PukiWiki 1.4.6
Copyright © 2001-2005
PukiWiki Developers Team
. License is
GPL
.
Based on "PukiWiki" 1.3 by
yu-ji
Powered by PHP 5.3.29 HTML convert time to 0.002 sec.