|k>=(1/√2π)∫dx・e^(ikx)|x> 範囲[-∞,∞]
と基底ケット|k>を定義する。この時、|k>が規格化直交条件を満たす事を示せ。ただし<x'|x>=δ(x'-x)__(1)と、(1/2π)∫dx・e^{i(k-k')x}=δ(k-k')__(2)の関係を利用してよい。
上の問題を解く場合、|k>のエルミート共役は<k'|=(1/√2π)∫dx'・e^(-ik'x')<x'| だから
<k'|k>=(1/2π)∫dx'・e^(-ik'x')<x'|・∫dx・e^(ikx)|x>
となり、計算すると<k'|k>=(1/2π)∫dx・e^(ikx-ik'x') となりました。しかし本当なら(1/2π)∫dx・e^{i(k-k')x}となって(2)式の関係を使って答えへ導くのだと思います。こういう時は勝手にx'→xとおいて良いのでしょうか。そもそもエルミート共役をとる時にダッシュ記号(')を付けて区別する理由がよく分かりません。また教科書は完全性条件では∫dx・|x><x|=1とダッシュを付けていないのに対し、規格化直交条件では<x'|x>=δ(x'-x)とダッシュを付けているという違いにもピンときません。
どなたかご教授お願いします。
No.3ベストアンサー
- 回答日時:
siegmund と申します.
大学で物理の研究と教育をやっています.
> デルタ関数の性質より ∫δ(x'-x)dx'=1 だから (1/2π)e^(-ik'x')∫e^(ikx)dx
> ここでx'→xとおくと(2)式を使って答えになるため、こういう計算で良いように思えます。
ここらへんが間違っています.
任意の(適当に性質のよい)関数 f(x) に対して
∫dx f(x) = f(0)
がデルタ関数の最も重要な性質の一つです.
変数変換すれば
∫ dx' f(x'-x) = f(x)
です.
質問で f(x) に対応するのが
(1/2π) e^(-ik'x') ∫dx e^(ikx)
になっていますから
<k'|k> = (1/2π)∫dx・e^{i(k-k')x}
になります.
ここが間違っているので,積分したはずの変数が残るということになるのです.
> そもそもエルミート共役をとる時にダッシュ記号(')を付けて区別する理由がよく分かりません。
エルミート共役をとるからダッシュがつくのではなくて,規格化直交条件を調べるから片方はダッシュにして
区別しないといけないのです.
同じ基底ベクトルの内積は1で(今は連続バージョンだからデルタ関数ですが),
違う基底ベクトルの内積はゼロ,が規格化直交条件.
<k|k> では同じベクトルの内積しか調べたことになりません.
eatern27 さんのおっしゃるとおりです.
> また教科書は完全性条件では∫dx・|x><x|=1とダッシュを付けていないのに対し
こういう疑問を持たれるのは,多分線形代数の知識があやふやなのだと思います.
簡単に2次元平面に例を取りましょう.
x 方向の単位ベクトルを |e_x> = (1,0)^t,y 方向の単位ベクトルを |e_y> = (0,1)^t とします.
^t は転置を意味します.つまり上の |e_x> と |e_y> は縦ベクトル.
規格化直交条件は
<μ|ν> = δ_{μν}
ただし,μ,ν = e_x,e_y で δ_{μν} はクロネッカーのデルタ.
質問の話は連続バージョンなのでクロネッカーデルタがデルタ関数に化けています.
完全性の方は2次元平面の任意のベクトル A = (a,b)^t が e_x と e_y で表現できるということです.
実際,μ = e_x,e_y として
Σ|μ> <μ|A>
= |e_x> <e_x|A> + |e_y> <e_y|A>
= a |e_x> + b|e_y>
ですね.
質問の話は連続バージョンなので和が積分になっているのです.
No.2
- 回答日時:
いや、私はexp(-ik'x')の項が消えてなくなるなんて事を言っている訳ではなく、一般論として積分変数が積分後に残る事はない、と言っていたのですが、補足を拝見する限り、exp(-ik'x')も(x'での積分の)被積分関数(の一部)になっているんだと言った方がいいのでしょうか。
つまり、一般には∫f(x)g(x)dx≠f(x)∫g(x)dxであって、xに依存する関数f(x)をxでの積分の外に出す事はできません。従って<x'|x>はxに依存するのでxでの積分の外には出せないし、exp(-ik'x')はx'に依存するのでx'での積分の外には出せません。
>この問題の解答はありませんが、別の本の似たような問題では普通に最後の方でx'→xやk'→kのように置いて答えへ導いています。
きちんと積分を計算すればx'にxを代入する形になるのであって、何の理由もなく「置き換えよう」などとやっている訳ではありません。
この回答への補足
>つまり、一般には∫f(x)g(x)dx≠f(x)∫g(x)dxであって、xに依存する関数f(x)をxでの積分の>外に出す事はできません
それは分かっていました。
ただ他の似た問題の解答では最後の方でうまくx'→xと置き換えていたので、∫δ(x'-x)dx'=1の部分だけでx'の積分を実行したことにして、最後にx'→xと置いてxの積分をすれば一応答えの通りにはなるので、こんな感じで良いのかどうか質問しました。
原点に戻って関数の積の積分で計算をしてみましたが、積分値が発散してしまうような気がします。具体的な途中計算式が欲しいです。
No.1
- 回答日時:
><k'|k>=(1/2π)∫dx'・e^(-ik'x')<x'|・∫dx・e^(ikx)|x>
>となり、計算すると<k'|k>=(1/2π)∫dx・e^(ikx-ik'x') となりました。
この途中でx'についての積分を実行しているはずですから、x'が残る事はあり得ません。
>そもそもエルミート共役をとる時にダッシュ記号(')を付けて区別する理由がよく分かりません。
異なるk同士が直交しているという条件を考えたいと思っている時には、何らかの方法で区別できるように書かないと不要な混乱を招くだけです。
この回答への補足
前回に引き続き回答有難うございます。
途中計算で(1/2π)∫<x'|x>dx'・e^(-ik'x')∫e^(ikx)dx となります。<x'|x>=δ(x'-x)であり、
デルタ関数の性質より ∫δ(x'-x)dx'=1 だから (1/2π)e^(-ik'x')∫e^(ikx)dx
ここでx'→xとおくと(2)式を使って答えになるため、こういう計算で良いように思えます。なのでx'について積分はしましたが、ここでx'の部分(というかe^(-ik'x')の部分)が消えると答えに辿り着かない気がします。
この問題の解答はありませんが、別の本の似たような問題では普通に最後の方でx'→xやk'→kのように置いて答えへ導いています。特に条件や仮定もしていませんが、他の問題の解答のようにこの場合もx'→xとして良いのでしょうか。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 『Cの微分.2』 3 2023/02/15 19:47
- 数学 dx(t)/dt =rx(t){1-(x(t)/K)} r,Kは正の定数とすると、この微分方程式はラ 1 2022/08/11 16:25
- 物理学 ポテンシャルが有限で不連続の時、右側の波動関数をφ1(x)、左側をφ2(x)とする。境界条件の「波動 2 2023/06/04 13:53
- 数学 数学的帰納法 添付の一般項を求める問題なのですが、 赤線の部分でn=k+1としています。 そしてa( 1 2022/10/22 15:29
- 高校 存在命題の基本的な質問 1 2022/04/19 14:32
- 数学 線形代数の問題について教えて欲しいです。 3 2023/05/06 23:13
- 数学 『◯と●の帰納法』 2 2023/04/19 20:57
- 数学 加群の双線形について 2 2022/10/20 22:11
- 数学 x(t)はtの関数として、 dx(t)/dt =rx(t){1-(x(t)/K)} を両辺ラプラス変 1 2022/08/11 16:21
- 工学 制御工学についてです。 1巡伝達関数Lが L=k/(s+1)(s+2)(s+3) である。kをゲイン 2 2023/01/31 09:28
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
ミラー指数:面間隔dを求める式...
-
電荷と電束、磁荷と磁束について
-
重心と質量中心の違いについて
-
ヤコビアンが
-
波数の意味と波数ベクトル
-
大学物理の問題について
-
物理の、速度の問題です。
-
ベクトル関数の概略を図示せよ...
-
空間以外のベクトル
-
波動関数のプラスマイナスは何...
-
相対速度がさっぱりわかりません。
-
Lorentz boost
-
速度ベクトルの単位の書き方
-
なぜ、エネルギーはスカラーで...
-
物理の力や速度は何故ベクトル...
-
RL,RC並列回路のベクトル軌跡
-
ベクトル解析?!の問題につい...
-
量子力学 波動関数の実数と複素数
-
三次元極座標の位置ベクトルに...
-
変形勾配テンソル極分解した右...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
基本ベクトルと単位ベクトルの...
-
ベクトル関数の概略を図示せよ...
-
大学物理の問題について
-
空間以外のベクトル
-
重心と質量中心の違いについて
-
波数の意味と波数ベクトル
-
三相交流の仕組みが調べても理...
-
ブリュアンゾーンの物理的な意味
-
ヤコビアンが
-
物理の力や速度は何故ベクトル...
-
ミラー指数:面間隔dを求める式...
-
速度ベクトルの単位の書き方
-
電荷と電束、磁荷と磁束について
-
角速度のベクトルの方向は何故...
-
力のモーメントのつりあいで 鉛...
-
なぜ、エネルギーはスカラーで...
-
波数ベクトル
-
ベクトル量とスカラー量の判定方法
-
物理の、速度の問題です。
-
ベクトルの太文字書きについて...
おすすめ情報