作者xgcj (xgcj)
看板Physics
标题Re: [闲聊] 复数空间
时间Sun Nov 14 16:27:59 2010
量子力学里面最重要的核心概念
莫过於我们的位置和动量之间的对易关系了
^ ^
[ x , Px ]=i h_bar
现在我们有两个可观察量 x和他的共轭量 Px
他们两个之间会有个i
为什麽要有i呢?
(1)为了使两个算符都是Hermitian operator
(2)不确定性原理
----------------------------------------------------------------------------
(1)
^
首先我们知道<Ψ|x|Ψ>是一个可观察量 如果我们现在要建立一个和
^
x 对易後差个常数的运算子 那我们要怎麽建立呢??
^ *
这里我们先假定 x = x 然後|Ψ>=Ψ(x) <Ψ|=Ψ(x)
^ ∞ *
内积<Ψ|O|Ψ>=∫Ψ(x)O(x)Ψ(x)dx
-∞
^ ^
很明显的 我们如果要找到 一个Px算符跟不对易不可能直接用
x的多项式去组合出来 那我们又很想要一种算符 他可以作用
在我们的Ψ(x)上面 而又和 x 不对易 很明显地 只能用微分算符
^ d
假设Px=c*----- 我们将他和x对易後 作用在Ψ(x)上面
d x
d d
(x*c*——— -———*c*x)Ψ(x)=-cΨ(x)
d x d x
现在我们知道如果要建立一个对易後不为0的算符我们必须要使用
微分算符 在量子力学里 我们要求每个可观察量都必须是Hermitian
那我们就来看看要如何选取我们的常数
d
因为Px=c*—— 而他又必须是要Hermitian 所以令
d x
∞ * d * |+∞ ∞ d *
<Ψ|Px|Ψ>=∫Ψ(x)--Ψ(x)dx*c=c*Ψ(x)*Ψ(x)| -∫c--Ψ(x)*Ψ(x)dx
-∞ d x |-∞ -∞ d x
^^^^^^^^^^^^^^^^^
=0
∞ * d * ∞ * d *
=-∫ (c --Ψ(x)) *Ψ(x)dx=∫ Ψ(x)(-c --Ψ(x))dx
-∞ d x -∞ d x
* *
上式必须要等於 <Ψ|Px|Ψ>也就是-c 要等於c
一个数字等於本身的负共轭 那她一定是一个纯虚数
所以c=i*(某一个实数)
经过这样的推导 我们知道 如果要找到一个和x不对易 但同时又要满足
Hermitian性质的算符 我们只能选择 一个纯虚数*微分算符 的这种形式
----------------------------------------------------------------------------
(2)
首先 在我们量子力学里的空间是一个内基空间 所以有科西不等式
*
<Ψ|A|A|Ψ><Ψ|B|B|Ψ> >=<Ψ|A|B|Ψ><Ψ|A|B|Ψ>
写好看一点 *
<AΨ|AΨ><BΨ|BΨ> >= <AΨ|BΨ><AΨ|BΨ>
=<AΨ|BΨ><BΨ|AΨ>
我们知道两个互为共轭的复数相乘 一定大於虚部的平方
(a+bi)(a-bi)=a^2+b^2>=b^2
所以<AΨ|BΨ><BΨ|AΨ> >={(1/(2i))(<AΨ|BΨ>-<BΨ|AΨ>)}^2
AB-BA [A,B]
={|<Ψ|————|Ψ>|}^2={<Ψ|———|Ψ>}^2
2 i 2 i
得到了一个关系
[A,B]
<AΨ|AΨ><BΨ|BΨ> >={<Ψ|———|Ψ>}^2
2 i
1
我们可以将他视为<A^2><B^2> >= ——|<[A,B]>|^2
4
统计上所谓的标准差是所有位置和平均位置差的方均根
ΔX=√(<(x-<x>)^2>)
(ΔA)^2(ΔB)^2=(<(A-<A>)^2>)(<(B-<B>)^2>)
>= (1/4)|<[A-<A>,B-<B>]>|^2
=(1/4)|<[A,B]-[A,<B>]-[<A>,B]+[<A>,<B>]>|
<A> <B>是数字所以全部对易掉
=(1/4)|<[A,B]>|^2
^ ^ d
x=x Px=(h_bar/i)--- [x,Px]=i h_bar
d x
(ΔX)^2(ΔPx)^2 >=(1/4)|<[x,Px]>|^2=[(h_bar)^2]/4
最後可以得到ΔXΔPx >= (h_bar)/2
这条不确定性原理的不等式
在上面的推导中 我们发现了 [x,Px]=i h_bar 这条式子中的
i的含意 除了要保证我们两共轭力学量要Hermitian外
同时也保证我们的不确定性原理
更重要的事 他还间接暗示了我们 量子力学里的二项性
-----------------------------------------------------------------------------
从前面的推导中 我们知道如果要有 互为共轭的物理量 我们一定要引进虚数
後面的推导 则是跟我们暗示不确定性原理和共轭量对易子之间的关系
结论:一定会有虚数
--
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.113.68.211
※ 编辑: xgcj 来自: 140.113.68.211 (11/14 16:28)
1F:推 waddler:帮推 直接在这打字也太辛苦了吧 XD 11/14 16:48
2F:推 HDT:嗯 所以我宁愿用word打好数学式 然後转成PDF上传 11/14 16:52
3F:推 condensed:mgtsai兄和xgcj兄的回顾都很精采,两方说法并不冲突啊。 11/14 18:38
4F:推 hanabiz:天啊 钓出好多高手 11/14 19:05
5F:推 kuromu:高手出现啦 11/14 19:51
6F:推 enunion:第二个理由感觉是循环证法 正因为我们设想x,p不可能测量 11/18 00:17
7F:→ enunion:而不互相干涉 才会使得x,p 不commute 也就是说 我们是 11/18 00:17
8F:→ enunion:先确立不确定性 才设定commutation relation的存在 11/18 00:18
9F:→ enunion:现在你用尾去证头 当然成立 11/18 00:19
10F:→ enunion:当不确定性不存在时 x,p commute 就完全不能讨论i的存在了 11/18 00:20
11F:→ enunion:因此i 的存在是否跟不确定原理有关 我觉得说法要保留 11/18 00:21
12F:→ enunion:但i的存在跟波动性质 有绝对的关系 11/18 00:22
13F:→ enunion:至於波动性跟不确定性有没有关连 或者等价 还有待高人指点 11/18 00:23
14F:→ xgcj:我应该这麽说 不确定性原理=>不commute要求为一可观察量=> 11/18 01:23
15F:→ xgcj:要有i出现 当然量子力学里面 不只这个地方有i 11/18 01:23
16F:→ xgcj:我想它既然是一个自恰的理论 那就不能从其他地方导出 所以我 11/18 01:24
17F:→ xgcj:也只能证明 他的公理和物理之间的一些连接 11/18 01:25
18F:→ sneak: m 08/13 15:54
21F:→ sneak: m 11/09 11:59