「よくわかる量子力学」(東京図書)サポート掲示板 †
よくわかる量子力学サポートページに戻る
- mathjaxを使って、TeX形式で数式を打てるようにしてあります。$または$$(もちろんほんとは全角じゃなく半角の「ドル」です)で囲んで入力してください。
- spam避けに、httpを含む文章と、英字のみの文章は登録できなくしてあります。
p190の運動エネルギーについて †
TK? 00:57:48)
真ん中あたりの「運動エネルギーが負であると解釈できる領域」という文章の「運動エネルギー」という主語は、x>0における、つまり、のことを指していると解釈して大丈夫でしょうか?
式から式へ †
松見池の鴨? 19:29:06)
演算子の複合の上の方ににをかけるとありますが、なぜ上側を選んだのでしょうか?上側の方の固有値の方が下側より大きくなるからでしょうか?よろしくお願いします。
- よりも上がないので、を掛けると0になるからです。上の方にの説明があります。 -- 前野?
- なるほど!確かに上側を選ぶとの順になって0になりますね…では別に下側を選んだとしても答えは変わらないのでしょうか? -- 松見池の鴨?
- なるほど!確かに上側を選ぶとの順になって0になりますね…では別に下側を選んだとしても答えは変わらないのでしょうか? -- 松見池の鴨?
- がどうなるか考えなくてはいけないので、考えることが増えます。下を選ぶならを持ってくると楽。 -- 前野?
- なるほど!ありがとうございました。 -- 松見池の鴨?
形式的証明としては? †
物理のヒヨコ? 04:16:01)
お早うございます、お世話になります。
P.338の【問3-3】で、「形式的証明しては」とありますが、「形式的証明としては」とかの様な気もするのですが?
- そうですね「形式的証明としては」に訂正します。 -- 前野?
P269の一文について †
松見池の鴨? 00:05:16)
,はと交換するから~の文の意味がよくわかりません…交換することがの固有値を変えないことにつながるのはなぜでしょうか?よろしくお願いします。
- 演算子をA,Bとして、交換するとはということ。今の固有値がである状態があった(つまり)としたら、なので、つまり、よってによって固有値は変わりません。 -- 前野?
- なるほど!理解出来ました。ありがとうございます。 -- 松見池の鴨?
規格?正規? †
物理のヒヨコ? 02:14:55)
今晩は、お世話になります。
P.149の下の方で、「このような基底を規格直交基底と呼ぶ」と書いてありますが、その直後に「「正規」とは、同じもの同士の内積・・・」とも書いてあるのですが、どちらが正しいのでしょうか?
- この文脈であは「規格」と「正規」は同じなので、後ろの正規は「規格または正規」と読み替えて下さい。つまりどっちも正しいです -- 前野?
- 分かりました。正規の所にどちらでも良いという意味で(規格)と付け加えて置きます(書き込む)。お答え有難うございました。 -- 物理のヒヨコ?
(6.19)式 †
物理のヒヨコ? 04:09:28)
お早うございます、お世話になります。
出版後に発見されたミスを記載するところに、
「P.124の(6.19)式の右辺にマイナスが必要です」
と書かれていますが、もしかして(6.20)式のことですか?
- すいません、その訂正がかなり前のなので、(6.19)の正しい式を書いておきますと、です。(6.20)はです。 -- 前野?
- とすると、【問6-5】の答えである(D-25)式の -iℏ/2m[∂ψ*/∂x・ψ - ψ*・∂ψ/∂x](a~b)の - は [ ] の中に入れないのですね。返答ありがとうございました。 -- 物理のヒヨコ?
交換関係の中に残す? †
物理のヒヨコ? 03:26:32)
今晩は、お世話になります。
P.119の最後の方で「━(省略)━ 後ろにあるもの(今の場合^C)を後ろに出して前にあるもの(今の場合^B)を前に出したものになる」とありますが、
「━(省略)━ 後ろにあるもの(今の場合^C)を後ろに出して前にあるもの(今の場合^B)を交換関係の中に残したものになる」の様な気もするのですが、勘違いでしょうか?
- すいません、これは確かにおっしゃるとおりで、私の書き間違いですね。 -- 前野?
dx †
[[物理のヒヨコ ]] 01:32:12)
今晩は、お世話になります。
P.112 式(5.22)の2行目の積分は、もしかして dx が抜けていませんか?
- すいません、確かに抜けてます。 -- 前野?
- あと、前から疑問だったのですか、波動関数 ψ に対する複素共役 ψ* や、固有ベクトル (x、y)← 縦 に対する(x*、y*)← 横や、ケットベクトル -- 物理のヒヨコ?
- |ψ > に対する < ψ|ブラベクトルなどの共役転置したベクトルは、元のベクトル空間の元に対応する双対ベクトル空間の元と見なしても良いのでしょうか? -- 物理のヒヨコ?
- はい、そうですよ。 -- 前野?
- やはりそうでしたか!お答え有難うございます。 -- 物理のヒヨコ?
束縛と散乱 †
井上 恭輔? 11:02:33)
「よくわかる量子力学」ページ197に「束縛状態とは、名前のとおり、粒子がポテンシャルに束縛されて「遠く」に行けない状態である。波動関数がでになるような場合と考えてもよい。」とあります。これをそのまま受け取ると(自由粒子問題での)ガウス波束の定める状態は束縛状態であることになってしまいます。
- 修正案その1。ためしに、「位置期待値が時刻で遠方に行く」を散乱の定義にするのはどうでしょうか。いえ、波数(の役目をするパラメータ)がのガウス波束のように位置期待値が一定で位置標準偏差が時とともに減ることも散乱に含めようと思います。そこで、どれだけ大きい半径有限の範囲(区間)をとってもとなることを散乱とするのはどうでしょうか。束縛は、ある程度大きい範囲をとるとがによらずずっとに近い(井戸からの染み出しが小さい)こととするのはどうでしょうか。 -- 井上 恭輔?
- 修正案その2。「の固有関数のうち遠方で落ちるもの(絶対値2乗積分が正で有限の値)やその重ね合わせであらわされる状態が束縛状態」、「の固有関数のうち遠方で落ちない(絶対値2乗積分が)ものたちを積分の意味で重ね合わせて、絶対値2乗積分が正で有限の値となった関数であらわされる状態が散乱状態」はどうでしょうか。教科書の定義では「固有関数」、「重ね合わせ」という言葉が抜けていたということでしょうか。 -- 井上 恭輔?
- 「遠くに行けない」ということで表現できているつもりだったのですが、確かに後ろの「で0になるような場合」だけを見ると「一瞬そうだがその後広がる場合」が排除できてないかもしれませんね。「0である状態が続くような場合」と簡単な修正をしておこうと思います。 -- 前野?
演習問題2-4 ヒント・解答についてのご質問 †
ℏ? 20:55:46)
p2wにある式で、x=1/r とおいた時に、なぜ積分範囲のr は 1/x ではなく x が正しいのですか?
また、 x=1/r としたときに、p13wにある式の最後の等号はなぜ成立するのですか?
よろしくお願いします。
- rの積分ではなくxの積分にしたので、その積分範囲が表しているのは、xです。1/xにしたらむしろ間違いです。 -- 前野?
- (F.13)の最後の等号は、とを代入して整理すれば出てきます。 -- 前野?
- 自分の間違いを理解することができました。ありがとうございます。 -- ℏ?
演習問題11-1 解答 式について †
じょせふ? 18:50:26)
演習問題11-1の解答において、\式は\(\int dx\psi_1^*a^\dagger\psi_0=e^{i\omega t}\) とならないでしょうか?
- 演習問題11-1の解答において、,の時間項の違いを考慮すると、式は とならないでしょうか? -- じょせふ?
- 時間依存性も考えたらそうなります。ここでは時間依存性を見てない計算をしてます。 -- 前野?
- ご返答ありがとうございます。11.2.2節の式では時間項を考慮して古典力学的運動に対応した状態を考えていると思いますが、これと演習問題11-1において時間依存性を見ずに重ね合わせたとは別物ということでしょうか? -- じょせふ?
- 別というか、演習問題の解答の方では(そう書いておくべきでしたが)時間依存の部分を省略しているということです。 -- 前野?
- 理解いたしました。ご解答ありがとうございます。 -- じょせふ?
P353 D.38式 †
picky? 11:56:05)
P353のD.38式の第4項の分子は符号を挟んで左右逆ですか?
p.159 <x+a|のテイラー展開について †
機械屋? 20:19:41)
7.76式までは理解できたのですが、テイラー展開との結びつきがわかりませんでした。
どこ周りでどのような導出なのでしょうか。
お手数ですがご教示よろしくお願い致します。
- テイラー展開と同じ式です。 -- 前野?
- aに関するテイラー展開でa=0周りの展開だったのですね。ありがとうございました。 -- 機械屋?
式について †
RJ? 02:21:36)
p.276の
右辺2行目で …と記載されていますが、虚数iはφの微分で出てくるものの、θの微分では出てこいないので、iの係数は不要ではないでしょうか?また、1行目の頭の虚数iも不要ではないでしょうか?
P349 †
匿名? 17:38:07)
P349のD2式2段目において、部分のアスタリスクを外すと3段目のようにとなり、aにアスタリスクが付かないのはどうしてでしょうか?
よろしくお願いします。
- D2式ではなくD22式です。訂正します。 --
- 問題文にも書いてありますが、aは実数です。エルミートな演算子の固有値は実数になります。 -- 前野?
- Aがエルミートであることを見落としていました。ありがとうございます。 --
波動関数 †
坊ちゃん? 10:20:23)
波動関数はハミルトニアンに対する固有関数である、という認識は間違いでしょうか?
このように認識していたため、p122の問い6-2で、Hと書かずに一般化してAと書かれた意味が分かりませんでした。ψやφが波動関数であるからAはハミルトニアンではないかと思ってしまいました。
お忙しい中恐縮ですが、ご教授願えますと幸いです。よろしくお願いいたします。
- 間違いです。ハミルトニアンの固有関数を使って波動関数を求めることがよくあるのでそういう勘違いをしている人がいるようですが、一般の波動関数はいろんなハミルトニアンの固有関数の重ね合わせでいいので、波動関数=固有関数ではまったくありません。 -- 前野?
- ご返答いただきありがとうございます。 -- 坊ちゃん?
- ハミルトニアンの固有関数の重ね合わせで波動関数ψ、φが得られるとき、p122の問い6-2での演算子Aがハミルトニアンでないということがあり得るのでしょうか? --
- Aは一般的な演算子なんですから、ハミルトニアンでないことなんていくらでもありえます。 -- 前野?
- ここまで、質問させていただいてもうひとつ疑問が生まれました。波動関数は一つの系に対して一つに決まるものではないのでしょうか? -- 坊ちゃん?
- 一つに決まるってどういう意味ですか? あと「一つの系」ってのはどういう意味ですか? ハミルトニアンが一つ決まっても波動関数はもちろんひとつには決まりません。 -- 前野?
- 「一つのハミルトニアンが与えられれば波動関数が一意的に得られる」という意味で、「波動関数が一つの系に対して一つに決まる」と言いました。期待値を求めるときには波動関数を用いるので、波動関数が複数あったら期待値も複数出てきてしまうことにはならないのでしょうか? -- 坊ちゃん?
- 「一つのハミルトニアンが与えられれば波動関数が一意的に得られる」なんてことは全くありません。ハミルトニアンを決めただけでは系の状態は一つに決まりません。それは量子力学じゃなくて古典力学でも同じです。同様にハミルトニアンを決めたって期待値は決まりません。同じハミルトニアンを持っている系でも、いろんなエネルギー期待値はありえます。これも古典力学でも同じことです。 -- 前野?
- 理解できました。お忙しい中、丁寧に説明していただき誠にありがとうございました。 -- 坊ちゃん?
p95 †
マータン? 20:22:24)
測定器が測定した時点で波動関数が収縮していたとするなら、崩壊時期はその時点で決まっているという事でしょうか。どうか宜しくお願いいたします。
- 「崩壊時期」って崩壊が起こった時間、という意味ですか? それならある程度は決まったと言っていいと思います(ぴったりは確定しないでしょうけど)。 -- 前野?
- 測定器が作動した時点で波動関数は収縮して、いつ崩壊するか決まるという理解で合ってますでしょうか。どうか宜しくお願いします。 -- マータン?
- ちょっと、どこにマータンさんの疑問があるのかがわからないのですが、測定器が作動した時点で収縮した結果は「もう崩壊している」か「まだ崩壊してないか」なので、「いつ崩壊するか」というのが未来の話を含むのなら、それは決まってません。「いつ崩壊したのか」ということならば、「崩壊してた」と観測されたならある程度の幅を持って決まった、というのは上に書いた通りです。 -- 前野?
p158の 7.73の導出 †
A? 17:35:08)
7.73式は7.72式の公式を使って変形していると思うのですが、そのまま当てはめると∂/∂xではなくd/d(x-x')がでてきてしまいその先が分かりません。どのように計算すれば良いか教えてください。よろしくお願いします。
- この場合変数はxしかないのだから偏微分と常微分の違いはありません。 -- 前野?
- x'は変数では無いということでしょうか?公式の引数xと、x-x'を対応させるところまでは問題ありませんか? -- A?
- ああ、x' を心配してたのですか。今の場合、デルタ関数はの関数なので、という偏微分は、を変数と見てと同じです。ですからそれは公式ののがに変わったものと同じです。 -- 前野?
- 納得できました。ありがとうございます! -- A?
演習問題3-1の解答について †
マータン? 13:35:20)
位相速度が光速を超えると思いますが、許される理由が分かりません。どうか宜しくお願いします。
- ヒントなどに書いてあるとおり、情報伝達速度は群速度の方で、そっちが光速を超えてなければ何も問題ないです。相対論で光速を超えてはいけないというのは情報の伝達速度です。 -- 前野?
- ありがとうございました。因みに位相速度が光速を超えるというのはどの様な解釈になりますでしょうか。 -- マータン?
- 解釈と言われても何を答えればよいのやら? そもそも波動関数の位相にも物理的意味はないし、位相速度に物理的意味はないんです。 -- 前野?
- 波動関数の位相速度には意味が無いとの認識がありませんでした。納得出来ました。ありがとうございました。 -- マータン?
が現れる理由について †
R8xt*$P!y9BC6DvP? 05:00:27)
古典力学において運動量は空間並進の生成子であり、ハミルトニアンは時間並進の生成子でしたので、それによる類推からも運動量演算子は空間微分に、ハミルトニアンは時間微分に対応すると理解できるのではないかと思います。
例えば、微小量 だけ 方向に空間並進させる演算子を とすると、これを の級数に展開して得られる に現れる演算子 (ケットベクトルに作用するときの表式)が得られると理解しています。
しかし、そもそも生成子の定義で がくくりだされていることが不自然に思えてしまいます。この係数はいったいどこから来たのでしょうか。
他にも正準量子化 は「古典力学におけるポアソン括弧を量子力学における交換関係に移行する」などと説明されますが、何の説明も無しに唐突に が付け加えられている印象があります。
シュレディンガー方程式も であれば綺麗なのにと主観的には思いますが、実際には となっています。
もちろん数式を追っていけば運動量演算子やハミルトニアンの期待値が運動量やエネルギーに対応することはわかりますし、 が各所に現れている状態で理論が整合していることも理解できますのでそれで納得してくれと言われればそれまでなのですが、 にはどのような意味があるか気になってしまいます。
もし などとしておけば などが成り立つので「このように書いておけば理論から を消せるけれど、古典力学で通常使われている運動量やエネルギーと対応させるために をわざわざ書く表式を採用しているのかな」とも少し考えましたが、自由粒子のハミルトニアン がこれでは のようになるので結局 が出現しており、この定数はこういった小手先の変更で消えるものではないもっと本質的なものなのだと感じられます。
思考を垂れ流すようなまとまりのない質問で申し訳ありませんが、コメントをいただけると大変助かります。よろしくお願いします。
- すみません。ket や coloneqq などの非対応のコマンドを使ってしまいましたが、|・⟩ や := に読み替えて解釈してください。 -- R8xt*$P!y9BC6DvP?
- まず、がないと次元が合いませんから、そんな式は不合理です。そもそも(あるいは)が導入されたのはプランクのやドブロイのがあって、それが実験的に正しいとわかっていたからで、根拠なしに出てきた係数ではないです。このあたりは本にもじっくり書いたつもりです。 -- 前野?
- 非対応コマンドについては修正しました。 -- 前野?
問6-1 について †
イチロー? 17:04:11)
基礎的なことかと思いますが、解答ののテーラー展開がよく分かりません。なぜx=0として後ろにB^x-1をかけたのでしょうか。このようなテーラー展開はあまり見慣れないです。
また、問題の方だとfダッシュが前からかけられており、解答だと後ろから掛けられていますが、それらは同じなのですか?
- すみません、訂正です。x=0としてB^を後ろからかけたのでした。 -- イチロー?
- 演算子と演算子なら順番が変わると意味が違いますが、演算子と数なので順番はどっちでも同じです。 -- 前野?
- f'も[A,B]も演算子だと思っていたのですが、違うのですか? あと、上に書いたテーラー展開についても解説していただいてよろしいでしょうか。 -- イチロー?
- は演算子ですが、それを展開してのようにしたときのに対応する部分がです。こちらは数です。 -- 前野?
- これは普通のテイラー展開とやっていることは一緒です。をにを代入したものだと考えます。を求めたければどうするか?といえば、「両辺を階微分したあとでとおいて両辺を比較する」という操作をします(これがそもそものテイラー展開の定義みたいなもの)。 -- 前野?
- 階微分することで右辺はとなりますが、にすれば最初の項以外は消えます。 -- 前野?
- お返事ありがとうございます。D-20式に関しては納得できました。まだD-21式がよくわかりません。1月29日の前野先生の一個目の返信についてです。確かにa0,a1...に対応する部分は数だと思います。でもBハット^n-1は演算子ですよね?だったら後ろfダッシュは演算子となり、前から掛かるか後ろから掛かるかで変わるんじゃないのですか? -- イチロー?
- 訂正:だったら、fダッシュ(Bハット)は演算子となり、前から掛かるか後ろから掛かるかで変わるのではありませんか? -- イチロー?
- 問題の設定として「がと交換する場合」を考えているので、でも順番は関係ありません。こうでない場合は、大変複雑になります。 -- 前野?
p89 波動関数の絶対値の2乗にはちゃんと物理的意味がある について †
こめお? 12:13:53)
p89の下から9行目から11行目で、粒子1個の場合でも波動関数の絶対値の2乗には物理的意味がある証拠として、「実際なら1個の粒子を見つけようとすると、どこか一点に見つかる」とありますが、なぜこれがその証拠となるのか、理解できません。
お忙しいところ恐縮ですが、解説お願いいたします。
- その次の文章の「そして〜」以下まで含めて「物理的意味がある」と読んでください。「たくさん粒子がある場合の密度を表しているのだ(よって粒子が一個のときは意味がない)」という考えに対する反対として「1個の粒子であってもその粒子が見つかる確率を表しているんだから意味はちゃんとある」と反論してます。 -- 前野?
- 納得できました。お忙しいところありがとうございました。 -- こめお?
p99 波の向きについて †
クリロナ? 17:38:30)
p99の波動関数が複素数で表されるとなぜ波の向きが分かるのか、理解できません。p99の下の真ん中の図は、t=0のときexpとなる波動関数の話をしているのですよね?その場合、なぜ矢印の向きに波が進んでると言えるのでしょうか?
- 時間発展の方はexpになるので、掛算するとexp)になります。この式を見て「位相が同じ値を取る場所は、tが増えるとxが減る」ということを読み取ると「時間が立つとxが負の方向に進む」と判断できます。expの方はexp)になるのでxの正の方向に進むと判断できます。 -- 前野?
- 要は、の形にx,tが入っているとその波は正の方向に進み、の形にx,tが入っているとその波は負の方向に進むということです。expの部分だけでなく、後ろにexpもあるということを見て判断してください。 -- 前野?
- よく分かりました。ありがとうございました! -- クリロナ?
一次元調和振動子の級数展開による解法について †
R8xt*$P!y9BC6DvP? 22:55:54)
級数展開による解法で用いた仮定(解は の形で書かれるだろう、 は整級数で書かれるだろう、など)は、その仮定に至る経緯はある程度説明されています(その説明はとても助かります)が、結局のところはそう仮定したら要件を満たす解の列 が得られて、それが直交完全性を成すからこの仮定でよかったのだろう、という話に尽きると割り切って考えても大丈夫でしょうか。
- 直交完全(規格化すればさらに正規)性がほしいのは ではなく波動関数の列 のほうでした(エルミート多項式自体も同様の条件を満たしますが)。 -- R8xt*$P!y9BC6DvP?
- すいません、気づくのが遅くて返事遅れました。直交性を満たすのはやってみたらそうだったというよりは、エルミートな演算子の固有値が違えばその関数は直交するということは前もって知っているので、最初からの目論見どおり、という感じです。 -- 前野?
- いえいえ、お忙しい中質問にご回答くださいまして大変ありがたいです(といいつつ恐縮ですが、一つ下の質問にも答えていただければ幸いに存じます)。 直交性が出てくるのはエルミート演算子の性質から明らかなことで、規格化条件については係数を調節すればいいだけなので問題にはならず、さらに(固有値・固有関数を求める演算子が現実に観測できる量に対応するものであれば)出てくる固有関数系は完全系となるので、いつでも正規直交完全系が得られますね。ありがとうございます。 -- R8xt*$P!y9BC6DvP?
古典系のハミルトニアンから量子系のハミルトニアンを与えることについて †
R8xt*$P!y9BC6DvP? 22:24:42)
解析力学において、最も分かりやすく と置いたラグランジアンをルジャンドル変換して得られるハミルトニアン はたまたま系の力学的エネルギーを表しますが、「よくわかる解析力学」にも書かれているとおり、一般的にはハミルトニアンは系のエネルギーと一致しないのですよね。
一般的なハミルトニアン を に移行することでも「普通の」ハミルトニアンと同様な量子力学の議論は可能なのでしょうか。また、正準交換関係はデカルト座標とそれに共役な運動量に限らず一般の正準変数の組に対しても成り立つのでしょうか。
よろしくお願いいたします。
- すいませんもう一つ見落としてました。デカルト座標でない場合にうまくいかない事があるということh、本にも書いてあります。 -- 前野?
- 例えば259ページの議論。 -- 前野?
- 例えば259ページの議論。 -- 前野?
軽微な誤記 †
R8xt*$P!y9BC6DvP? 13:06:02)
p.342 の問い 11-4 のヒントの中で が に置き換わってしまっているとっころがあります。
- すいません、たしかに間違ってますね(なんでこんなミスをしたのだろう?)。ご指摘ありがとうございます。 -- 前野?
軽微な誤記 †
R8xt*$P!y9BC6DvP? 15:18:57)
p.183 の脚注の前の最後の一行に とありますが、この部分は だと思われます。
- 間違ってますね。御指摘ありがとうございます。 -- 前野?
運動量演算子の導出 †
R8xt*$P!y9BC6DvP? 16:56:58)
p.159 の補足について、前ページに記載の という関係は および状態ベクトルや演算子の定義のみから導かれ、それを用いて補足内で書かれているように式変形を行えば運動量の期待値を与える演算子が と表されることが(波動関数の具体的な形を知らずとも)分かりますから、p.82 で(天下り的に波動関数の形を与えることで)行っていた の置き換えはより根源的な原理である正準交換関係から導かれるものだった(したがって、説明のために必要だったけれども原理的に言えば波動関数を指数関数の形で書かれることを仮定して運動量演算子がこうなることを説明する必要は無かった)と考えてよいでしょうか?
- また、p.158 の の第 3 式を両辺をそのまま の関係を使って変形したのは、変数 が という形で一箇所だけ出てくるようにしたい(そうすれば左辺の と同じ形が作れる)ために行った、ただの数学的な技巧だと割り切って考えて大丈夫でしょうか? -- R8xt*$P!y9BC6DvP?
- 日本語が不自然でした。上記のコメント中の「両辺を『そのまま』〜」の「そのまま」は不要です。 -- R8xt*$P!y9BC6DvP?
- 物理で何を定義にして、何を「定義から導かれるもの」と考えるかを選ぶ自由度は常になるので、「正準交換関係から」と考えても別にいいです。その場合は「正準交換関係を満たすという演算子は、運動量を表す」ことをなにか他の論点から持ってくる必要があります。波動関数の形と実験的に知られるをよりどころとしないのならば。 -- 前野?
- 2つ目の質問。を使ったのはという演算子がとの間にはさまったときに何が起こるかを見たかったので、左辺をの形にしたかったということです。その結果としてがδ関数の中だけになったというのはその通りですね。 -- 前野?
- ありがとうございます。 -- R8xt*$P!y9BC6DvP?
記法について †
R8xt*$P!y9BC6DvP? 13:55:29)
p.132 の式 6.36 は演算子を表すハットを省略せずに書くと
となりますか?
- はいそうです。 -- 前野?
- ありがとうございます。 -- R8xt*$P!y9BC6DvP?
ブラ・ケットと線形代数における複素ベクトル空間の標準内積について †
昔の物理学生? 10:19:06)
P148のブラとケットの内積の定義と線形代数における複素ベクトル空間の標準内積の定義を比較すると異なっています。
複素ベクトル空間の標準内積では、
a,bをベクトル
ai,biをベクトルa,bの成分
とすると、
a・b=Σaibi*のようにベクトルbの成分が共役複素数になっています。
(参考:大学教養線形代数、加藤文元、P243、テキスト線形代数、小寺平治、P124、など)
これは、ブラケットは、線形代数における複素ベクトル空間の標準内積とは異なる概念である、ということを意味するのでしょうか。
それとも、ブラケットは、内積とは異なる何かの要素を持っているということなのでしょうか。
- 左右のどっちを複素共役にするかは、単に「流儀」の問題で、本質的じゃありません。 -- 前野?
- 物理の教科書では左に*がつく場合がほとんどです。どっちの流儀を採用しているかに気をつけておけばよくて、本質的な概念の違いはありません。 -- 前野?
- なるほど!「流儀」の問題ということならば納得です。有難うございました! -- 昔の物理学生?
物質波の捉え方 †
大学生? 16:48:03)
いま、第 3 章までを読み終わりました(以下の質問が、本書のこれ以降の内容を読み進めていけば明らかになることでしたらすみません)。
まさに「概念の壁」に阻まれている状態で、物質波が何なのか分かっていません。以下のような考えを抱いてしまっていますが、これは正しくないと自分でも分かります。アドバイスを頂けたら幸いです。
1. 技術の進歩によってミクロな現象を観察できるようになったところ、古典力学では説明できない現象がたくさん確認された。実験結果を整理すると、どうやら架空の「波動」を考えるとうまく説明できるようだ。
2. この「波動」は直接に観測できる物理量ではないが、(例えば電磁気学でも直接に観測できる量ではない電場というものの存在を信じて なるものを導入して議論をしていくように)空間中に波が存在することを空想することにする(ただし電場は試験電荷 に働くクーロン力 を測定すればその値を調べられるのに対し、この複素数の「波」は実験を行ってもその絶対値の情報しか得られないという点において電場とは本質的に異なる)。
3. 自由粒子を考えると、この粒子は古典的には等速直線運動をする。これはレーザー光が直進する(ただし遠くのスクリーンにレーザーポインターを向けると分かるようにこの光は完璧に直進するわけではなく若干ぼやける)のと同じように、実空間で の幅(≒ 粒子の広がり/大きさ)の中にある各点が波源となって一斉に球面波を出すと位相が停留する部分のみが残って平面波のように波が進行するからである。この平面波の波数が粒子の速度に対応している。ただし、レーザーポインターの光のように粒子に対応する波束も拡散していく。(しかし、p.20 の図を見るとレーザー光は単色波であっても絶対にわずかには拡散してしまうように見えますが、p.60 の図を見ると粒子に対応する波束が崩れていくのは複数の位相速度の異なる単色波が重なり合うために起きる現象だと考えられるので解釈に齟齬があります。)
4. 自由粒子ではなく一般にポテンシャルの勾配がある場合も考えると、物質波にとってのポテンシャルは電磁波にとっての媒質の屈折率のようなもので、ポテンシャルによって物質波が屈折させられる現象が起きる。粒子の速度が変わる現象はこのことにより説明される。
思考が電磁波の例に引き摺られすぎていていて正しくない考えに陥っているのでしょうか。正しい方向を示して頂けると幸いです。
- 1.2.についてはその考えでよいです。3.については、「レーザー光単色波であっても絶対にわずかには拡散してしまうように見えます」というのは「見えます」ではなく、本当にそうです(拡散します)。レーザーだから拡散しないということはありません(遠くにいけば拡散します)。つまりは程度の問題です。 -- 前野?
- 粒子に対応する波束が拡散していく、というのはそのとおりです。現実においてそうでないように見えるのは、4.で述べていくポテンシャルの勾配によって閉じ込められているので拡散しきらないという場合もあるし、後で出てくる「波動関数の収縮」により収縮することがあるからだとも言えます。 -- 前野?
pp.18-19 に対応する物理的な状況について †
R8xt*$P!y9BC6DvP? 13:13:02)
p.18 にて「平面波としてやってきたので、AB 上では位相が揃ってい」た波が、p.19 では注釈 2 で説明されているように「3 次元の球面波の特徴」を用いて扱われています。ここから線分 AB 上の各点からそれぞれ球面波が出ている状況を想像しました。これに関して 4 点質問があります。
1. この状況は太陽のような(といっても太陽光は単色ではないので太陽を巨大な単色の光源に置き換えて考えるものとします)遠くの光源からやってくる光を狭いスリットに通したときなどに実現すると考えてよいでしょうか。
2. 小さい箱の中に光っている電球(同様に単色の光を出すと考えます)を入れ、箱にスリットを開けたときにこの状況は実現しますか?
太陽光は球面波ですが、十分離れたところから発せられるために地上に届く際には平面波と近似できるので 1. は成り立つと思います。しかし同じく球面波を出す小さい箱の中の電球と箱に開けられたスリットは十分離れているとは言えないため 2. は成り立たないと考えています。
3. ビーム状のレーザー光は(その断面にあたる狭い範囲の中では)平面波だと考えられますが、ここで行っている考察はそのようなレーザー光が直進性を持つことの説明にもなっていますか?
具体例を 3 つ挙げましたが、要するにこの状況がどのような場合に実現するのかがよく分かっていないということです。このような状況は日常的に頻繁に実現することなのでしょうか?
また、積分すると「真ん中だけが効く」ことは直感的には分かりますがうまく証明できていません。直感的に数式を処理していると間違えることもあるので論理的に説明を与えたいと考えているのですが、どのようにすればよいでしょうか(積分の結果は初等関数では表せないような気がしますが……)。
よろしくお願いいたします。
- 1.の状況で考えていいですが、2.の状況でもほぼ同様です(3.でも).というのは光の波長は数百ナノメートルと短いので、目でみて「細いスリット」「細いレーザー」と思っても光の波長に比べれば十分に長い(幅の間に光の波長が無数に入る)からです。波長の短さのおかげで、わりとかんたんに実現する状況になってます。 -- 前野?
- 真ん中だけが効くことは、真面目に積分するのは大変なので、「真ん中以外は消し合う」ことを理解してくれれば十分です。 -- 前野?
V0の値 †
独学者? 11:58:25)
第10章の最後の方のデルタ関数による反射の議論で少し気になったのですが、このようなモデル化をした場合、Voの値はどれくらいのオーダーと考えれば良いのでしょうか。ke^2くらいでしょうか。よろしくお願いします
- どういうモデルを考えているかで違う話なので、考えているモデルに合うように決めればいいです。ここでやっているのは1次元なので、実際の物理というよりは練習問題のためのモデルです。3次元のクーロンの法則とは話がだいぶ違います。 -- 前野?