![](http://oshiete.xgoo.jp/images/v2/pc/qa/question_title.png?e8efa67)
expの中に行列が入った式は同様に行列として扱われるようなのですが、
この意味が分かりません。
http://oshiete1.goo.ne.jp/qa937701.html
例えばこのページでは
(1) Z(β) = Σ exp[-βE(n)]
という式と
(2) Z(β) = Tr exp[-βH]
という式が等価だというように書かれていますが、例えばexpに行列を入れて対角項はどうなるのでしょうか?
そもそも行列はただの数字ではないので行列には出来ないと思うのですが・・・
どなたか教えて下さい。
No.4ベストアンサー
- 回答日時:
No.3です。
少し追加説明させてもらいます。今の場合、Hがエルミートということに注意してください。
一般にエルミート行列Aは適当なユニタリ行列Uを用いて
U†AU=B ・・・(イ)
のように対角行列Bに変換できます。
Bの対角成分はAの固有値なのでTrBがAの固有値のAnの和であることは理解できるかと思います。
一方(イ)の左辺のトレースの計算ですが、少し詳しくやってみましょう。
行列Aの(i,j)成分をA_ijなどと書くことにします。
Tr(U†AU)=Σ_i (U†AU)_ii=Σ_iΣ_jΣ_k (U†_ij)(A_jk)(U_ki)
=Σ_kΣ_iΣ_j (U_ki)(U†_ij)(A_jk)=Σ_k (UU†A)_kk=Tr(UU†A)=Tr A ・・・(ロ)
最後の等式でUがユニタリ行列であること[U†=U^(-1)]を使いました。
結局、エルミート行列のトレースはユニタリ変換で不変で、Aが対角化されていなくても
TrA=TrB=Σ_n An ・・・(ハ)
であることが示されました。さらに
(U†AU)^k=U†(A^k)U=B^k ・・・(ニ)
が成り立ち、B^kは対角行列で対角成分は(An)^kなので上記と同様の議論により
Tr(A^k)=Tr(B^k)=Σ_n (An)^k ・・・(ホ)
が成り立ちます。
No.6
- 回答日時:
私は数学専門ではありませんから、易しいことを申し上げます。
指数関数 e^x はテーラー展開出来ます。
展開式の中の x の部分に行列 A を入れれば。よいのです。
これを定義と思っています。
定義はどのようにしてもよい訳ですが。その定義を用いた計算をしたり、定理を考えた時に、数学で用いられる色々な事象と矛盾しない定義がよいのでしょう。
複素数の場合とか、マクローリン展開との関係とか、難しいことは専門家の方にお願いいたします。
No.3
- 回答日時:
expのテーラー展開によって行列のexpを定義します。
つまりAを行列とすると、expAはべき級数
expA=Σ_k (1/k!)A^k (Σ_kはkについて和をとるという意味です) ・・・(1)
によって定義されます。
expのトレースも、べき級数の形でトレースをとればよいわけです。
実例を挙げると、
exp[-βH]=Σ_k (1/k!)(-βH)^k ・・・(2)
∴ Tr exp[-βH]=Σ_k (1/k!)Tr(-βH)^k ・・・(3)
ここでHの固有値をEnとすると
Tr(-βH)^k=Σ_n (-βEn)^k ・・・(4)
なので
Tr exp[-βH]=Σ_nΣ_k (1/k!)(-βEn)^k=Σ_n exp[-βEn] ・・・(5)
を得ます。
回答ありがとうございます。
でも、
ここでHの固有値をEnとすると
Tr(-βH)^k=Σ_n (-βEn)^k ・・・(4)
の部分が理解出来ません。
この式が成り立つためには、行列Hが対角化されていないと成り立たないのではないでしょうか?
トレースには固有値を足し算する性質はなかったように思うのですが・・・
![](http://oshiete.xgoo.jp/images/v2/common/profile/M/noimageicon_setting_01.png?e8efa67)
No.2
- 回答日時:
質問文が意味不明になっているのは、
(たとえば、
>そもそも行列はただの数字ではないので行列には出来ないと思うのですが・・・
って、行列が行列にできないって何の話でしょう?)
基本的に質問者様が、行列の指数関数をご存知ないという単純な話と察します。そういう関数が定義されているだけの話です。たとえば、
http://kyokan.ms.u-tokyo.ac.jp/~tsuboi/sk2-2007/ …
といった感じです。
No.1
- 回答日時:
> そもそも行列はただの数字ではないので行列には出来ないと思うのですが・・・
「指数には出来ない」ですよね.
出来ないというより,どう定義するかだけだと思います.
例えば,オイラーの公式として有名な
e^{iθ} = cosθ + isinθ
という式でも指数に虚数がはいっていて,
虚数乗ってどういうことだ?となるかもしれませんが,
e^z = Σ z^n/n!
で定義されています.
ご質問の行列の場合も同様で
e^A = Σ A^n/n!
で定義されています.
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- Visual Basic(VBA) vbaで条件付き書式を設定したときの適用範囲について 1 2023/07/17 23:14
- 物理学 量子力学 球面調和関数 導出 方位角成分 微分方程式の解 2 2022/07/02 13:40
- Excel(エクセル) マクロだと数式が表示される 2 2022/09/10 14:48
- 数学 離散フーリエ逆変換が周波数分割数をNにできる理由について 4 2022/09/18 12:56
- 物理学 しかし、ハイゼンベルクの式はフーリエ級数にはなっていない qn(t)=ΣQ(n;m)exp{iω(n 1 2022/05/03 09:31
- Visual Basic(VBA) VBA 最終行まで数式をコピーする 3 2023/01/03 15:44
- Excel(エクセル) Countifよりも早く重複数をカウントする方法ありますか? 18 2022/07/04 13:39
- 物理学 電磁気学の問題について教えて欲しいです. 1 2023/05/05 17:01
- 物理学 二重障壁の計算 1 2023/03/05 16:49
- Excel(エクセル) 表示形式、文字列セル(列)に数式を入力するには マクロ 1 2022/09/18 10:53
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
bcc(面心立方体)の四面体位置で...
-
物理の有効数字2桁
-
この問題の(2)が 衝突直後の速...
-
FEMのモード法と直接法の違...
-
高さHのビルの屋上から初速v₀で...
-
線形代数 ブロック行列の余因子...
-
y' = xy^2 - 9x という微分方程...
-
電気回路
-
高校の理科の答えの書き方
-
131Iの生物学的半減期が7日の時...
-
1次熱伝導方程式を差分法で解...
-
整数で答えよ、のように書かれ...
-
expの肩に行列が入るとどうなり...
-
ダイアモンドの結晶構造因子に...
-
偏微分の問題
-
水素原子の波動関数の直交性に...
-
変数分離が成功したからといっ...
-
pHについてです
-
全微分のdx,dyの意味
-
答えまでの過程と解答があって...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
bcc(面心立方体)の四面体位置で...
-
物理の有効数字2桁
-
二次元流れにおいて、流体のx、...
-
てこの計算問題 輪軸の応用問題
-
熱力学の問題で、(6)について、...
-
pHについてです
-
局所ヌセルト数から平均ヌセル...
-
保存力→ポテンシャル→力 の計...
-
整数で答えよ、のように書かれ...
-
高校の理科の答えの書き方
-
高さHのビルの屋上から初速v₀で...
-
大学物理の電位差計式抵抗
-
水素原子の波動関数の直交性に...
-
算数の問題がわかりません。
-
単振動の運動方程式の解
-
たたみ込み積分って名前つける...
-
変数分離が成功したからといっ...
-
FEMのモード法と直接法の違...
-
斜面を上る運動 摩擦なし
-
1リットルは1辺が1cmの立方体が...
おすすめ情報