Feynman 物理学讲义 - Vol.III 札记 习题课

本文最后更新于 2025年1月5日 中午

这是 Feynman 物理学讲义 Vol.III 的习题课笔记,在发布的时间(2024-12-21)还有一节习题课没有上完,所以先置顶并保持更新,等到所有习题课结束之后将会取消置顶. 同时习题课笔记是以专题形式组织,并不能看出一个统一的主线,所以会考虑在开头做一个目录. 现在处于正在更新的状态,所以也请各位高手多多指教,修正错误,在下感激不尽.
所有习题课均已经结束,本文在 2024-12-28 取消置顶.
第一次习题课因为时间冲突,我没有参加.

2024-10-12 白矮星

先讲了上次作业题的答案.

讲一些课外的知识:Pauli 不相容原理,关于这个知识,比较有意思的部分是白矮星、中子星的物态方程.

本节课讲义基本上是照抄 Weinberg 的天体物理讲义,1.8和1.10两节.

描述一个恒星需要哪些参数?这是一个球对称体系,我们需要知道ρ(r)\rho(r)或M(r)M(r)、P(r)P(r)、T(r)T(r)这些物理量的分布.

白矮星和中子星的特点就是,它们的压强是由 fermion 的简并压提供的. 对于白矮星,这个压强由电子的简并压提供(在温度比较低的情况下).

首先要考虑在温度多低、密度多高的情况下,需要计及简并压的影响?在统计力学上,我们能给出一个条件:

(NV)1/3λT≫1 ,λT=h2πmkBT(\frac{N}{V})^{1/3}\lambda_T\gg1\,,\quad \lambda_T=\frac{h}{\sqrt{2\pi mk_BT}}

其中热 de Broglie 波长的量纲比较重要,这里的系数是统计力学传统的写法,可以换成别的、同一数量级的其他可能系数.

我们要做的事情和做其他统计是一样的,先找到有多少种对应的量子态(和黑体辐射类似,找 mode number between (k,k+dk)(k,k+\text{d}k) per volume).

自由电子是一列平面波,exp⁡(ik⋅x/ℏ)\exp(i\bold{k}\cdot\bold{x}/\hbar),这里k\bold{k}是动量,而不是波数.

k=2πℏnL ,n=(nx,ny,nz)⟹4πn2dn=(2πℏL)−3⋅4πk2dk×2\begin{aligned} &\bold{k}=\frac{2\pi\hbar\bold{n}}{L}\,,\quad\bold{n}=(n_x,n_y,n_z)\\\\ &\Longrightarrow4\pi n^2\text{d}n=(\frac{2\pi\hbar}{L})^{-3}\cdot4\pi k^2\text{d}k\times2 \end{aligned}

2来源于电子有两种不同的自旋.

要求压强,实际上就是找到电子在能级上面的分布,而电子是从最低能级开始排列的.

在一个白矮星中,ρ∼mpμne\rho\sim m_p\mu n_e,μ\mu是核子数比核电荷数.

ρ(r)=8πmpμh3∫0kF(r)k2dk=8πmpμ3h3kF3(r)\rho(r)=\frac{8\pi m_p\mu}{h^3}\int_0^{k_F(r)}k^2\text{d}k=\frac{8\pi m_p\mu}{3h^3}k^3_F(r)

我们目前还不知道 Fermi 动量kF(r)k_F(r)是多少,先按下不表.

对于压强,有

P(r)=13∫kvn(k)dk=8πc23h2∫0kF(r)k4k2c2+me2c4dkP(r)=\frac{1}{3}\int kvn(k)\text{d}k=\frac{8\pi c^2}{3h^2}\int_0^{k_F(r)}\frac{k^4}{\sqrt{k^2c^2+m^2_ec^4}}\text{d}k

相对论在这里出现是因为在这种星体中相对论效应是显著的.

到这里为止量子力学的知识已经讲完了,剩下的是天体物理的内容.

考虑 Newton 经典引力的静力学平衡(广义相对论是不明显的):

dP(r)dr=−GM(r)ρ(r)r2dM(r)dr=4πr2ρ(r)\begin{aligned} \frac{\text{d}P(r)}{\text{d}r}&=-\frac{GM(r)\rho(r)}{r^2}\\\\ \frac{\text{d}M(r)}{\text{d}r}&=4\pi r^2\rho(r) \end{aligned}

我们假设恒星的物态方程是P=KρΓP=K\rho^\Gamma,符合这种方程的恒星叫做“polytropes”,也就是“多方球”,这种恒星是常见的,方程形式也比较简单.

联立上述方程,得到

ddr(r2ρ(r)ddrρΓ(r))+4πGr2ρ(r)=0\frac{\text{d}}{\text{d}r}(\frac{r^2}{\rho(r)}\frac{\text{d}}{\text{d}r}\rho^\Gamma(r))+\frac{4\pi G}{r^2}\rho(r)=0

一般需要的边界条件是ρ(0)\rho(0)和ρ′(0)=0\rho'(0)=0.

后面是 Lane - Emden 方程( ̄へ ̄):

Θ=(ρ(r)ρ(0))Γ−11r2ddr(r2ddrΘ)+4πG(Γ−1)KΓρ2−Γ(r)Θ1/(Γ−1)=0ξ=(4πG(Γ−1)KΓ)1/2ρ(2−Γ)/2(r)r⟹Lane - Emden Equation1ξ2ddξ(ξ2ddξΘ(ξ))+Θ(ξ)1/(Γ−1)=0\begin{aligned} &\Theta=(\frac{\rho(r)}{\rho(0)})^{\Gamma-1}\\\\ &\frac{1}{r^2}\frac{\text{d}}{\text{d}r}(r^2\frac{\text{d}}{\text{d}r}\Theta)+\frac{4\pi G(\Gamma-1)}{K\Gamma}\rho^{2-\Gamma}(r)\Theta^{1/(\Gamma-1)}=0\\\\ &\xi=(\frac{4\pi G(\Gamma-1)}{K\Gamma})^{1/2}\rho^{(2-\Gamma)/2}(r)r\\\\ &\Longrightarrow\text{Lane - Emden Equation}\\\\ &\frac{1}{\xi^2}\frac{\text{d}}{\text{d}\xi}(\xi^2\frac{\text{d}}{\text{d}\xi}\Theta(\xi))+\Theta(\xi)^{1/(\Gamma-1)}=0\\\\ \end{aligned}

之后的计算都是数学的. (其实只是我敲不下来而已)

考虑极端相对论性情形,kF=meck_F=m_ec,得到:

ρc=8πmpμme3c33h3≈0.97×106μ g/cm3\rho_c=\frac{8\pi m_p\mu m_e^3c^3}{3h^3}\approx0.97\times10^{6}\mu\,\text{g}/\text{cm}^3

若实际上结果远小于这个值,那么就可以认为实际上粒子是极端非相对论性的.

  1. ρ(r)≪ρc\rho(r)\ll\rho_c,则

    P=8π15meh3(3h3ρ8πmpμ)5/3⟹R≈2.0×104μ−1(ρ(0)ρc)−1/6 km⟹M≈2.79μ−2(ρ(0)ρc)1/2 Msun\begin{aligned} &P=\frac{8\pi}{15m_eh^3}(\frac{3h^3\rho}{8\pi m_p\mu})^{5/3}\\\\ &\Longrightarrow R\approx2.0\times10^4\mu^{-1}(\frac{\rho(0)}{\rho_c})^{-1/6}\,\text{km}\\\\ &\Longrightarrow M\approx2.79\mu^{-2}(\frac{\rho(0)}{\rho_c})^{1/2}\,M_{\text{sun}}\\\\ \end{aligned}

  2. ρ(r)≫ρc\rho(r)\gg\rho_c,类似的一些结果……(没必要记下来啦)

    Chandrasekhar 极限:M=5.87μ−2MsunM=5.87\mu^{-2}M_{\text{sun}}.

如果真的超过了 Chandrasekhar 极限,会发生什么呢?有两种可能的机制:

  1. 中子化:e−+p⟶νe+ne^-+p\longrightarrow\nu_e+n,临界的μ≈2.15\mu\approx2.15,典型的是Fe变成Mn.
  2. 广义相对论修正:刚刚我们忽略了 GR 的效应,但是在质量过大的时候会需要考虑 GR 的修正,这会造成白矮星的爆炸.

下面简单讲一些中子星的内容.

典型的过程:(超新星爆炸)

star⟶supernova⟶neutron star\text{star}\longrightarrow\text{supernova}\longrightarrow\text{neutron star}

仅仅留下一少部分电子,用来抑制中子衰变.

剩下的部分基本上就是对白矮星的结论做一个质量参数的替换而已. 但是极端相对论性的中子星会有许多特别的性质,这时要考虑强相互作用和剧烈的广义相对论效应.

注意到这一次讲的内容其实和之前平行线出过的一道题目很像,这道题目至今还在我的积累本里面.

2024-10-19 Casimir Effect

之后上完课要看讲义的原文!四字老师的讲义和讲义原文是互补的关系,而不是包含的关系.

本节课的主题是 Casimir Effect ,参考 Schwartz 的 QFT and the SM ,15.1节.

首先我要说一句,下面的单位制似乎有一点点混乱,有的地方是几何制,有的地方又是 SI 制.

效应来源于真空能的变化,导致产生两板之间的压力. 首先需要知道量子场的真空能如何计算:类比量子场为谐振子的集合,求和.

再简化,考虑一维情形,得到波动方程:

(1c2∂2∂t2−∂2∂x2)ϕ(t,x)=0(\frac{1}{c^2}\frac{\partial^2}{\partial t^2}-\frac{\partial^2}{\partial x^2})\phi(t,x)=0

边界条件是ϕ(x=L)=ϕ(x=0)=0\phi(x=L)=\phi(x=0)=0(一维“盒子”).

猜解为ϕ(t,x)=ϕk(t)sin⁡kx\phi(t,x)=\phi_k(t)\sin kx,其中kk取离散值,为kn=nπLk_n=\frac{n\pi}{L},n=1,2,⋯n=1,2,\cdots.

代入原方程,得到模方程:ϕ¨k(t)+c2k2ϕk(t)=0\ddot{\phi}_k(t)+c^2k^2\phi_k(t)=0.

这时就可以将整个量子场看作谐振子的集合,它就是一个0+10+1维的量子场(没有空间维度),而整个问题在一个1+11+1维的空间中考虑,多出来的空间维度产生了kk.

我们知道谐振子能级EN=ℏω(N+12)E_N=\hbar\omega(N+\frac{1}{2}),N=0,1,2,⋯N=0,1,2,\cdots,其零能级不是零. 对于knk_n对应的谐振子,有能级EnNn=nπℏcL(Nn+12)E_{nN_n}=\frac{n\pi\hbar c}{L}(N_n+\frac{1}{2})(需要两个量来描述这个问题!).

在真空情况下,所有的谐振子都在最低能级,Nn=0N_n=0,∀n\forall n. 所以可以写出真空能的形式:(这个系数可能会因为光子极化而乘上一个两倍)

Evac(L)=∑n=1∞nπℏc2L=πℏc2L∑n=1∞nE_{\text{vac}}(L)=\sum_{n=1}^\infty\frac{n\pi\hbar c}{2L}=\frac{\pi\hbar c}{2L}\sum_{n=1}^\infty n

这里出现了紫外发散,因为我们认为空间无限可分,波长可以无限小. 所以我们需要一个截断,这叫做正规化.

其实这里可以直接用那个著名的公式∑∞n=1n=−1/12\underset{n=1}{\overset{\infty}{\sum}}n=-1/12,但是这样显然非常不好.

空间中某一处的真空能:

Etotal=Evac(a)+Evac(L−a)F=−dEtotalda=(1a2−1(L−a)2)πℏc2∑n=1∞n\begin{aligned} E_{\text{total}}&=E_{\text{vac}}(a)+E_{\text{vac}}(L-a)\\\\ F&=-\frac{\text{d}E_{\text{total}}}{\text{d}a}\\\\ &=(\frac{1}{a^2}-\frac{1}{(L-a)^2})\frac{\pi\hbar c}{2}\sum_{n=1}^{\infty}n \end{aligned}

我们漏掉了什么?

漏掉了一个物理上的考量:板是由原子构成的,频率过高的量子场(光子)与板之间不可能有相互作用,波长太小会使得它们直接从板中间穿过去,所以应该将这些高频的信号略去(截断).

接下来讲正规化的方法. 如果我们不正确地做正规化,而是强行随便截断一些量,这样并没有理由,也不能得知是不是正确的.

硬截断(Hard Cut-off)

直接将ω>πΛc\omega>\pi\Lambda c的项全部忽略掉(π\pi只是让结果变得更好看的一个数而已).

ωnmax⁡=nmax⁡πcL=πΛc⟹nmax⁡=ΛL\omega_{n\max}=\frac{n_{\max}\pi c}{L}=\pi\Lambda c\Longrightarrow n_{\max}=\Lambda L

这样直接算的话会发现结果为零,这显然是零阶的结果,然而并没有什么作用;要想得到更进一步的结果,需要对nmax⁡n_{\max}向下取整,nmax⁡′=⌊ΛL⌋n_{\max}'=\lfloor\Lambda L\rfloor,最后结果为

Evac(a)=πℏc4a⌊Λa⌋(⌊Λa⌋+1)E_{\text{vac}}(a)=\frac{\pi\hbar c}{4a}\lfloor\Lambda a\rfloor(\lfloor\Lambda a\rfloor+1)

但是这个函数会上下振荡(高斯振荡),所以考虑引入一个量x∈[0,1)x\in[0,1),x=Λa−⌊Λa⌋x=\Lambda a-\lfloor\Lambda a\rfloor,则最后的总能量为:

Etotal=πℏc4[Λ2L−x(1−x)a]E_{\text{total}}=\frac{\pi\hbar c}{4}[\Lambda^2L-\frac{x(1-x)}{a}]

当LL非常大时,xx随着aa的振荡越来越快,板已经感受不到随着距离变化如此高频的空间振荡,所以对上面的式子的一个空间周期做平均,∫x(1−x)dx/∫dx=1/6\int x(1-x)\text{d}x/\int\text{d}x=1/6,得到

Etotal(a)=πℏc4LΛ2−πℏc24aF(L)=−πℏc24L2\begin{aligned} E_{\text{total}}(a)&=\frac{\pi\hbar c}{4}L\Lambda^2-\frac{\pi\hbar c}{24a}\\\\ F(L)&=-\frac{\pi\hbar c}{24L^2} \end{aligned}

在三维情况下的结果这里只写出,但是不做具体计算:F(L)=−π2ℏc240L2AF(L)=-\frac{\pi^2\hbar c}{240L^2}A,AA是面积.

我们合理地对这个结果提出质疑:直接截断的粗暴方式是正确的吗?

下面尝试另外两种正规化的方式.

热核正规化

叫这个名字是因为方程形式很像热传导.

我们知道高频的量子场肯定不会全部作用到板上,考虑用指数函数表达频率越高对板的作用越弱:

Evac(a)=ℏ2∑nωne−ωn/πΛ=πℏc2a∑n=1∞ne−εn ,ε=1Λa≪1=πℏc2a∂ε(∑n=1∞e−εn)=πℏc2ae−ε(1−e−ε)2\begin{aligned} E_{\text{vac}}(a)&=\frac{\hbar}{2}\sum_{n}\omega_ne^{-\omega_n/\pi\Lambda}\\\\ &=\frac{\pi\hbar c}{2a}\sum_{n=1}^\infty ne^{-\varepsilon n}\,,\quad \varepsilon=\frac{1}{\Lambda a}\ll1\\\\ &=\frac{\pi\hbar c}{2a}\partial_\varepsilon(\sum_{n=1}^\infty e^{-\varepsilon n})\\\\ &=\frac{\pi\hbar c}{2a}\frac{e^{-\varepsilon}}{(1-e^{-\varepsilon})^2} \end{aligned}

Taylor 展开,还是得到和上面硬截断一样的结果. (我还没打完字就被擦掉了,悲)

这一次的EtotalE_{\text{total}}的零点发生了变化,但是这是不可观测的,所以完全不影响结果,可以通过重整化消除.

还不满意?

再试一种正规化

这一次,

Evac(a)=ℏ2∑nωn(ωnμ)−s=ℏ2(πca)1−sμ2∑n=1∞n1−s\begin{aligned} E_{\text{vac}}(a)&=\frac{\hbar}{2}\sum_n\omega_n(\frac{\omega_n}{\mu})^{-s}\\\\ &=\frac{\hbar}{2}(\frac{\pi c}{a})^{1-s}\mu^2\sum_{n=1}^\infty n^{1-s} \end{aligned}

其中μ\mu是一个大小无关紧要的能标.

这里出现了 Riemann ζ\zeta 函数,还是1/121/12的系数,这也是之前那个臭名昭著的公式的来源.

证明结果确实与正规化无关

假设:

Evac(a)=πℏc2∑nnaf(naΛ)E_{\text{vac}}(a)=\frac{\pi\hbar c}{2}\sum_n\frac{n}{a}f(\frac{n}{a\Lambda})

这是一般的,ff可以是各种函数. 那么对于另外一边,得到

Evac(L−a)=πℏc2(L−a)Λ2∑nn(L−a)2Λ2f(n(L−a)Λ)E_{\text{vac}}(L-a)=\frac{\pi\hbar c}{2}(L-a)\Lambda^2\sum_n\frac{n}{(L-a)^2\Lambda^2}f(\frac{n}{(L-a)\Lambda})

这里稍稍变形一下,是有用的.

上面两个求和都可以连续化,想象在一个曲线ff下的面积,实际上就是上面两个求和式的结果. 在L→∞L\to\infty的极限下,有

Evac(L−a)=L→∞πℏc2LΛ2∫dx⋅xf(x)−πℏc2aΛ2∫dx⋅xf(x)E_{\text{vac}}(L-a)\overset{L\to\infty}{=}\frac{\pi\hbar c}{2}L\Lambda^2\int\text{d}x\cdot xf(x)-\frac{\pi\hbar c}{2}a\Lambda^2\int\text{d}x\cdot xf(x)

定义能量密度ρ=πℏc2Λ2∫dx⋅xf(x)\rho=\frac{\pi\hbar c}{2}\Lambda^2\int\text{d}x\cdot xf(x),总能量为:

Etotal(a)=ρL+πℏc2a[∑nnf(naΛ)−∫dn⋅nf(naΛ)]E_{\text{total}}(a)=\rho L+\frac{\pi\hbar c}{2a}[\sum_nnf(\frac{n}{a\Lambda})-\int\text{d}n\cdot nf(\frac{n}{a\Lambda})]

这里对积分变量做了换元.

这是一个无穷求和和无穷积分的差值,本来显然是00,但是频率贡献一定有上限,所以上限不会是严格的正无穷,可以展开为所谓 Euler - Maclaurin 级数,即:

∑nF(n)−∫0Ndn⋅F(n)=F(0)+F(N)2+F′(N)−F′(0)12+⋯+Fj−1(N)−Fj−1(0)j!+⋯\begin{aligned} \sum_nF(n)-\int_0^N\text{d}n\cdot F(n)&=\frac{F(0)+F(N)}{2}+\frac{F'(N)-F'(0)}{12}\\\\ &\quad +\cdots+\frac{F^{j-1}(N)-F^{j-1}(0)}{j!}+\cdots \end{aligned}

在这里,F(n)=nf(naΛ)F(n)=nf(\frac{n}{a\Lambda}),得到最后的总能量表达式:

Etotal=ρL−πℏc24af′(0)−B44!3πℏc2a3Λ2f′′(0)−⋯E_{\text{total}}=\rho L-\frac{\pi\hbar c}{24a}f'(0)-\frac{B_4}{4!}\frac{3\pi\hbar c}{2a^3\Lambda^2}f''(0)-\cdots

只要lim⁡x→∞xf(j)(x)=0\underset{x\to\infty}{\lim}xf^{(j)}(x)=0(∀j\forall j)(这个是 Euler - Maclaurin 级数展开成立的必要条件),结果一定是一样的.

说明一下,这里的量纲有相当多的问题……可以不用管.

2024-10-26 WKB 近似

参考 Griffiths 的量子力学书,Chapter 9.

考虑一个定态,Schrodinger 方程:

ℏ22md2ψdx2+V(x)ψ(x)=Eψ(x)⟹ℏ22md2ψdx2=−p2ℏ2ψ\begin{aligned} \frac{\hbar^2}{2m}\frac{\text{d}^2\psi}{\text{d}x^2}+V(x)\psi(x)&=E\psi(x)\\\\ \Longrightarrow\frac{\hbar^2}{2m}\frac{\text{d}^2\psi}{\text{d}x^2}&=-\frac{p^2}{\hbar^2}\psi \end{aligned}

其中,p=2mE−V(x)p=\sqrt{2mE-V(x)}.

当VV是一个常数时,我们会得到一个平面波,这是 trivial 的;但是我们想要在VV随着xx变化时获得一个类似于平面波的结果,这时我们就需要近似,也就是 WKB 近似.

推导:假设这个波函数有一个“长得像”平面波的解,ψ(x)=A(x)eiϕ(x)\psi(x)=A(x)e^{i\phi(x)}. 当然这里有一个前提,就是E>VE>V,因为我们需要一个实数的波数;但是虚数的波数实际上是允许的,只是需要一次解析延拓. 让我们先从实数波数的情况开始.

代入 Schrodinger 方程,得到

A′′+2iA′ϕ′+iAϕ′′−A(ϕ′)2=−p2ℏ2AA''+2iA'\phi'+iA\phi''-A(\phi')^2=-\frac{p^2}{\hbar^2}A

将实部和虚部分离,就得到两个稍微简单一些的方程:

A′′A=(ϕ′)2−p2ℏ22A′ϕ′+Aϕ′′=0\begin{aligned} &\frac{A''}{A}=(\phi')^2-\frac{p^2}{\hbar^2}\\\\ &2A'\phi'+A\phi''=0 \end{aligned}

先解后面一个方程,凑一个全微分,就解得A=C/∣ϕ′∣A=C/\sqrt{|\phi'|},其中C=constC=\text{const}.

代入前面一个方程,我们发现解这个方程相当困难,于是引入 WKB 近似的条件,也就是ψ\psi类似平面波,其振幅变化很小,直接忽略A′′/AA''/A这一项,解得

ϕ(x)=±1ℏ∫p(x)dx\phi(x)=\pm\frac{1}{\hbar}\int p(x)\text{d}x

所以 WKB 近似结果是

ψ(x)=C∣ϕ′∣e±iℏ∫p(x)dx\psi(x)=\frac{C}{\sqrt{|\phi'|}}e^{\pm\frac{i}{\hbar}\int p(x)\text{d}x}

当然如果pp是一个虚数,也就是E<VE<V的情况,只是把相因子中的ii去掉,再根据物理允许的条件去判断最终的结果.

但是我们会遇到一个问题:假若中间有一段区域的VV变化非常快,以至于变化周期小于波长的量级,那么 WKB 近似将不再适用. 我们只能考虑 Connection Formula ,也就是用两边连接的方式把这一段也处理掉. 这是 WKB 近似中数学上最困难的部分.

对于某一处变化很快的VV,用小段线性的势能替代原来的势函数.

−ℏ22md2ψpdx2+(E+xV0′)ψp=Eψpd2ψpdx2=α3xψp ,α=(2mℏ2V0′)1/3\begin{aligned} &-\frac{\hbar^2}{2m}\frac{\text{d}^2\psi_p}{\text{d}x^2}+(E+xV_0')\psi_p=E\psi_p\\\\ &\frac{\text{d}^2\psi_p}{\text{d}x^2}=\alpha^3x\psi_p\,,\quad \alpha=(\frac{2m}{\hbar^2}V_0')^{1/3} \end{aligned}

令z=αxz=\alpha x,化简

d2ψpdz2=zψp\frac{\text{d}^2\psi_p}{\text{d}z^2}=z\psi_p

这是 Airy 方程. 方程的解是ψp(x)=aAi(αx)+bBi(αx)\psi_p(x)=aA_i(\alpha x)+bB_i(\alpha x)(后一项应该略去). 这是一个 Patching Wave Function,用来连接其两端比较平缓变化的波函数.

考虑在两边的平滑区域(我们假设左边是E>VE>V,右边是E<VE<V),所以两边的解分别为:

ψ(x)={1P(x)[Beiℏ∫x0p(x)dx+Ce−iℏ∫x0p(x)dx] ,x<01P(x)De−1ℏ∫x0p(x)dx ,x>0\psi(x)=\left\{\begin{array}{lr} \frac{1}{\sqrt{P(x)}}[Be^{\frac{i}{\hbar}\int_x^0p(x)\text{d}x}+Ce^{-\frac{i}{\hbar}\int_x^0p(x)\text{d}x}]\,,\quad x<0\\\\ \frac{1}{\sqrt{P(x)}}De^{-\frac{1}{\hbar}\int_x^0p(x)\text{d}x}\,,\quad x>0 \end{array}\right.

这里BB,CC和DD均为待定常系数. 为了连接这两个解,我们之前的 Patching Wave Function 里面的积分需要被计算出来,有:

p(x)=2m(E−E−V0′x)=ℏα3/2−x∫0x∣p(x′)∣dx′≈ℏα3/2∫0xx′dx′=23ℏ(αx)3/2ψ(x)≈Dt0α3/4x1/4e−23(αx)3/2ψp(x)≈aπ(αx)1/4e−23(αx)3/2+⋯\begin{aligned} &p(x)=\sqrt{2m(E-E-V_0'x)}=\hbar\alpha^{3/2}\sqrt{-x}\\\\ &\int_0^x|p(x')|\text{d}x'\approx\hbar\alpha^{3/2}\int_0^x \sqrt{x'}\text{d}x'=\frac{2}{3}\hbar (\alpha x)^{3/2}\\\\ &\psi(x)\approx\frac{D}{\sqrt{t_0}\alpha^{3/4}x^{1/4}}e^{-\frac{2}{3}(\alpha x)^{3/2}}\\\\ &\psi_p(x)\approx\frac{a}{\sqrt\pi(\alpha x)^{1/4}}e^{-\frac{2}{3}(\alpha x)^{3/2}}+\cdots \end{aligned}

最后对ψp\psi_p用到了渐近展开.

这样就能确定出a=4π/αℏ⋅Da=\sqrt{4\pi/\alpha\hbar}\cdot D. 原点附近的函数和原点右边的函数接上了.

一个矛盾:渐近展开应该在变量很大的时候成立,而线性势近似应该在距离原点很近的时候进行,这里是不是有问题?答案是我们渐近展开的变量用的是αx\alpha x而不是单纯的xx,这个矛盾不存在.

我们再次对原点左边的函数做同样的操作,这里可以发现aa和BB、CC分别的关系,四个待定的参数aa、BB、CC和DD只有一个是独立的. 简单整理一下得到:

B=−ieiπ/4D ,C=ie−iπ/4D ,a=4παℏDB=-ie^{i\pi/4}D\,,\quad C=ie^{-i\pi/4}D\,,\quad a=\sqrt{\frac{4\pi}{\alpha\hbar}}D

由此得到 WKB 近似的一般结果:

ψ(x)≈{2Dp(x)sin⁡[1ℏ∫xx2p(x′)dx′+π4] ,x<x2Dp(x)exp⁡[−1ℏ∫x2x∣p(x′)∣dx′] ,x>x2\psi(x)\approx\left\{\begin{array}{lr} \frac{2D}{\sqrt{p(x)}}\sin[\frac{1}{\hbar}\int_x^{x_2}p(x')\text{d}x'+\frac{\pi}{4}]\,,\quad x<x_2\\\\ \frac{D}{\sqrt{p(x)}}\exp[-\frac{1}{\hbar}\int_{x_2}^{x}|p(x')|\text{d}x']\,,\quad x>x_2 \end{array}\right.

这里做了一个平移,把原点移到了x2x_2这个点的位置.

这里的DD可以理解为归一化所需要的系数. 同时 Griffiths 说了一句令人费解的话:“可以在解完两个区域的解之后直接将中间的连接函数扔掉.”(这个,不需要了.jpg)

反正波函数的形式并不重要,重要的是中间的相因子,它可以直接确定能级的分布. 能级的分布有如下式子决定:

∫0a2m(En−V(x))dx=nπℏ\int_0^a\sqrt{2m(E_n-V(x))}\text{d}x=n\pi\hbar

这决定了相因子在何时等于π\pi.

对于谐振子,我们也可以这样算:p(x)=2m(E−12mω2x2)p(x)=\sqrt{2m(E-\frac{1}{2}m\omega^2x^2)}(V(x)=12mω2x2V(x)=\frac{1}{2}m\omega^2x^2,x>0x>0;若x<0x<0,则V=+∞V=+\infty). 计算积分得到

∫0x2p(x)dx=πE2ω\int_0^{x_2}p(x)\text{d}x=\frac{\pi E}{2\omega}

刚好是谐振子能级的一半(因为这个势能也只有右边一半):En=(2n−12)ℏωE_n=(2n-\frac{1}{2})\hbar\omega(n∈Z+n\in\Z_+).

四字老师本来要助教讲 Bogoliubov Transformation ,但是老师觉得非常困难,需要先学二次量子化,于是不讲了.

2024-11-09 作业和考试讲评 & instanton

Homework 5,这几次作业比上课进度快了一整节课,所以大家做不出来很正常.

75.2 题,因为还没有讲 Pauli 矩阵,所以很难用一个标准的方法做出来. Pauli 矩阵是

σx=(0110) ,σy=(0−ii0) ,σz=(100−1)\sigma_x=\begin{pmatrix} 0&1\\1&0 \end{pmatrix}\,,\quad\sigma_y=\begin{pmatrix} 0&-i\\i&0 \end{pmatrix}\,,\quad\sigma_z=\begin{pmatrix} 1&0\\0&-1 \end{pmatrix}

这时ΔH=−μσ⃗⋅B⃗=−μ(σxBx+σyBy+σzBz)\Delta H=-\mu\vec{\sigma}\cdot\vec{B}=-\mu(\sigma_xB_x+\sigma_yB_y+\sigma_zB_z),这就是 Hamiltonian 的一般形式. 这是很标准的量子力学做法,任何一门课都会讲.

在这种方法下,新的本征值是

∣+1⟩′=14+22(1+21) ,∣−1⟩′=14+22(−11+2)\ket{+1}'=\frac{1}{\sqrt{4+2\sqrt2}}\begin{pmatrix} 1+\sqrt2\\1 \end{pmatrix}\,,\quad\ket{-1}'=\frac{1}{\sqrt{4+2\sqrt2}}\begin{pmatrix} -1\\1+\sqrt2 \end{pmatrix}

总的态是∣t⟩=a∣+1⟩′ei(μB/ℏ)t+b∣−1⟩′e−i(μB/ℏ)t\ket{t}=a\ket{+1}'e^{i(\mu B/\hbar)t}+b\ket{-1}'e^{-i(\mu B/\hbar)t},初始条件∣t=0⟩=∣+z⟩=(10)\ket{t=0}=\ket{+z}=\begin{pmatrix}1\\0\end{pmatrix}.

75.3 题,用 Pauli 矩阵很容易就看出这里的 Hamiltonian 是一个匀强磁场产生的.

H=(0−A−A0)=−AσxH=\begin{pmatrix} 0&-A\\-A&0 \end{pmatrix}=-A\sigma_x

在这里,两个本征态是

∣+x⟩=12(11) ,∣−x⟩=12(1−1)\ket{+x}=\frac{1}{\sqrt2}\begin{pmatrix} 1\\1 \end{pmatrix}\,,\quad\ket{-x}=\frac{1}{\sqrt2}\begin{pmatrix} 1\\-1 \end{pmatrix}

随时间变化的态∣t⟩=a∣+x⟩ei(A/ℏ)t+b∣−x⟩e−i(A/ℏ)t\ket{t}=a\ket{+x}e^{i(A/\hbar)t}+b\ket{-x}e^{-i(A/\hbar)t},初态∣t=0⟩=∣+z⟩\ket{t=0}=\ket{+z}. 之后照常计算.

76.1 题,Einstein 系数. 对于两个能级,有三种跃迁效应,分别是自发辐射(AI,IIA_{\text{I,II}})、吸收(BII,IB_\text{II,I})、受激辐射(BI,IIB_{\text{I,II}}),其中后面两种就是共振跃迁所对应的方式.

根据热平衡的条件,得到:

0=dN2dt=−dN1dt=N1AI,II−N2BII,IJ(ω0)+N1BI,IIJ(ω0)0=\frac{\text{d}N_2}{\text{d}t}=-\frac{\text{d}N_1}{\text{d}t}=N_1A_\text{I,II}-N_2B_\text{II,I}J(\omega_0)+N_1B_\text{I,II}J(\omega_0)

同时存在 Boltzmann 分布:

N2N1=eℏωkBT\frac{N_2}{N_1}=e^{\frac{\hbar\omega}{k_BT}}

解得J(ω0)J(\omega_0).

Homework 6,和上课讲到的氨分子激射器一样,写出 Hamiltonian 之后推导.

重点讲一下期中考试的最后一道题:问问下面几个问题

1kg=?GeV ,1cm=?(eV)−1 ,1Hz=?eV1\text{kg}=?\text{GeV}\,,\quad1\text{cm}=?(\text{eV})^{-1}\,,\quad1\text{Hz}=?\text{eV}

很简单的做法是用常数补全上面式子的量纲,然后取自然单位制c=ℏ=1c=\hbar=1.

  1. 一个质子质量差不多是1GeV1\text{GeV},然后 Avogadro 常数是102310^{23}量级,所以1kg1\text{kg}是102610^{26}量级.
  2. ……

接下来讲 instantons. 想象一个时间演化xi→xfx_i\to x_f,这个概率幅是⟨xf∣e−Ht/t1∣xi⟩\braket{x_f|e^{-Ht/t_1}|x_i},但是这里和其他算法的不同之处在于,我们擦去了所有的“ii”,这相当于将时间轴tt旋转到虚数轴上,是一种解析延拓.

其实我们这样做只是想把时空变成 Euclidean 空间,可以回想一下狭义相对论下的 Mincowsky 空间是如何写的(r⃗=(x1,x2,x3,ict)\vec{r}=(x_1,x_2,x_3,ict)).

这样,对时间积分之后得到

N∫[dx]e−SE/ℏN\int[\text{d}x]e^{-S_E/\hbar}

取m=1m=1,则 Hamiltonian 成为H=p2/2+V(x)H=p^2/2+V(x). 这里“++”号的来源是动量也乘上一个−i-i,导致作用量中动能和势能的符号变成一样的. 所以四字上课的时候会说,时间乘上一个ii相当于在VV上乘一个−-号.

我们这样做的目的,源于∫0∞eitdt\int_0^\infty e^{it}\text{d}t是不良好定义的,所以我们直接让这个积分作用在一个绝对收敛的围道上.

这个延拓的物理意义在于,在量子力学中的某个隧穿过程(想想氨分子双态系统的势能函数,势能为VV)的驻点解,等效于一个经典力学中势能为−V-V的运动过程. 这种经典力学中的对应效果叫做一个 instanton(瞬子),因为这个过程相当地快.

这种方法实际上算起概率幅来还是比较困难的,因为经典对应解可能有无穷多个,比如直接到终点、往返一次到终点、往返两次到终点、……,这些可能性必须进入积分式中,所以这个方法的用武之地在量子场论.

2024-11-23 Heisenberg Model (Bethe Ansatz)

讲一下作业. 上一次作业的第一题第二问英文版答案是和题目无关的. 但是如果真的想要根据题目条件解出σ⃗\vec{\sigma},可以假设为

σ⃗=(ca−iba+ib−c)=aσ1+bσ2+cσ3\vec{\sigma}=\begin{pmatrix} c&a-ib\\a+ib&-c \end{pmatrix}=a\sigma_1+b\sigma_2+c\sigma_3

因为σ⃗\vec{\sigma}是 Hermitian 矩阵,同时根据第一个条件σ⃗×σ⃗=2iσ⃗\vec{\sigma}\times\vec{\sigma}=2i\vec{\sigma},能得到矩阵的 trace 是零,所以八个自由度减少到三个,恰好是三个 Pauli 矩阵的组合.

但是aa、bb、cc能够组成一个旋转,只要这样就能满足σ⃗⋅σ⃗=−3I\vec{\sigma}\cdot\vec{\sigma}=-3I.

剩下两个题目都比较简单,第二题是一个简单的三态系统,而最后一题是一个四态系统,只用求 Hamiltonian 的特征值就能够解决.

其中,最后一个题目能够拓展到NN个原子,会得到能谱还是E+2Acos⁡δE+2A\cos\delta,其中δ=2nπ/N\delta=2n\pi/N,n=1,⋯ ,N−1n=1,\cdots,N-1.


一维 Heisenberg Model 的 Hamiltonian 是

H=−∑i,jJijs⃗i⋅s⃗j=−A2∑nσ⃗n⋅σ⃗n+1H=-\sum_{i,j}J_{ij}\vec{s}_i\cdot\vec{s}_j=-\frac{A}{2}\sum_n\vec{\sigma}_n\cdot\vec{\sigma}_{n+1}

其中前面一个式子是任意维度的通式. 同时,书中还引入了自旋交换算符:

Smn=12(σ⃗m⋅σ⃗n+1)S_{mn}=\frac{1}{2}(\vec{\sigma}_m\cdot\vec{\sigma}_n+1)

若做一个能量零点的 shift,Hamiltonian 能够写成

H=−A∑n(Sn,n+1−1)H=-A\sum_n(S_{n,n+1}-1)

这里再引入升降算符,为

σ+=σx+iσy2 ,σ−=σx−iσy2\sigma_+=\frac{\sigma_x+i\sigma_y}{2}\,,\quad\sigma_-=\frac{\sigma_x-i\sigma_y}{2}

其作用是σ+∣−⟩=∣+⟩\sigma_+\ket{-}=\ket{+},σ−∣+⟩=∣−⟩\sigma_-\ket{+}=\ket{-},对任意的量子系统都能定义这样的算符. 当自旋为同向时,系统为真空态(能量最低),因为Sn,n+1S_{n,n+1}的本征值只能是±1\pm1(考虑这个东西的平方). 之后我们能够将 Hilbert 空间分类,按照自旋向下的粒子数目将各个态分类,对于单粒子态的第nn个态(第nn个粒子自旋向下,其他粒子自旋向上),有∣n⟩=σn−∣vac⟩\ket{n}=\sigma_{n-}\ket{\text{vac}}. 本征态:

∣ψ⟩=∑n=1Na(n)∣n⟩=∑n=1Neikn∣n⟩\ket{\psi}=\sum_{n=1}^Na(n)\ket{n}=\sum_{n=1}^Ne^{ikn}\ket{n}

(这里将格点之间的间距直接取为11.)其能量是 Hamiltonian 对本征态作用的结果,有

E=2A(1−cos⁡k) ,kN=2mπ ,m=0,1,⋯ ,N−1E=2A(1-\cos k)\,,\quad kN=2m\pi\,,\quad m=0,1,\cdots,N-1

这里用到循环边界条件. 这个解像一个平面波.

上面是课堂上已经讲过的内容,现在我们来研究双粒子态,这种情况的维数是CN2C^2_N,任意一个态是∣n1,n2⟩\ket{n_1,n_2}. 本征态是

∣ψ⟩=∑n1,n2a(n1,n2)∣n1,n2⟩\ket{\psi}=\sum_{n_1,n_2}a(n_1,n_2)\ket{n_1,n_2}

这个系数如何求解?这就要用到今天讲到的 Bethe Ansatz.

原来 ansatz 这个德语词是“坐在前面”的意思……

课上讲过,单粒子态能够看作一个准粒子,双粒子看作两个准粒子的叠加,为eikn1eikn2e^{ikn_1}e^{ikn_2},但是这样做的后果是忽略了系统中间的相互作用,这不是一个好的 ansatz. 我们想在我们的 ansatz 中加入这个修正,对于两个粒子的相互作用,动量和能量都是守恒的,但是这里有一个对称性,所以唯一可能的情况是两者的动量和能量相互交换,所以 Bethe 的 ansatz 写成一个交换项:

a(n1,n2)=c1ei(k1n1+k2n2)+c2ei(k2n1+k1n2)a(n_1,n_2)=c_1e^{i(k_1n_1+k_2n_2)}+c_2e^{i(k_2n_1+k_1n_2)}

将这个 ansatz 代入本征方程,有两种情况:

  1. n2>n1+1n_2>n_1+1,两者不相邻,方程为

    Ea(n1,n2)=−A[a(n1−1,n2)+a(n1+1,n2)+a(n1,n2−1)+a(n1,n2+1)−4a(n1,n2)]\begin{aligned} Ea(n_1,n_2)&=-A[a(n_1-1,n_2)+a(n_1+1,n_2)+a(n_1,n_2-1)\\\\ &\quad+a(n_1,n_2+1)-4a(n_1,n_2)] \end{aligned}

  2. 两粒子相邻(n2=n1+1n_2=n_1+1),为

    Ea(n1,n1+1)=−A[a(n1−1,n1+1)+a(n1,n1+2)−2a(n1,n1+1)]\begin{aligned} Ea(n_1,n_1+1)&=-A[a(n_1-1,n_1+1)+a(n_1,n_1+2)\\\\ &\quad-2a(n_1,n_1+1)] \end{aligned}

如果定义一个没有物理意义的事实:a(n,n)+a(n+1,n+1)=2a(n,n+1)a(n,n)+a(n+1,n+1)=2a(n,n+1),则第一个方程实际上已经包含了第二个方程.

将 ansatz 代入解第一个方程,得到

c1c2=−1+ei(k1+k2)−2eik11+ei(k1+k2)−2eik2=cos⁡(k1+k2)/2−ei(k1+k2)/2cos⁡(k1+k2)/2−e−i(k1+k2)/2\frac{c_1}{c_2}=-\frac{1+e^{i(k_1+k_2)}-2e^{ik_1}}{1+e^{i(k_1+k_2)}-2e^{ik_2}}=\frac{\cos(k_1+k_2)/2-e^{i(k_1+k_2)/2}}{\cos(k_1+k_2)/2-e^{-i(k_1+k_2)/2}}

这里能够发现c1c_1和c2c_2互为共轭,只相差一个幅角ϕ\phi,有2cot⁡ϕ/2=cot⁡k1/2−cot⁡k2/22\cot\phi/2=\cot k_1/2-\cot k_2/2.

现在,Bethe Ansatz 能够写成:

a(n1,n2)=ei(k1n1+k2n2+ϕ2)+ei(k2n1+k1n2−ϕ2)a(n_1,n_2)=e^{i(k_1n_1+k_2n_2+\frac{\phi}{2})}+e^{i(k_2n_1+k_1n_2-\frac{\phi}{2})}

现在代入周期性边界条件:a(n1,n2)=a(n1,n2+N)a(n_1,n_2)=a(n_1,n_2+N),得到k1k_1和k2k_2应该满足的条件为

{Nk1=2πm1+ϕNk2=2πm2−ϕ\left\{\begin{array}{lr} Nk_1=2\pi m_1+\phi\\ Nk_2=2\pi m_2-\phi \end{array}\right.

这里态的个数已经超过CN2C_N^2了,需要排除一些情况. 首先,m1,m2=0,⋯ ,N−1m_1,m_2=0,\cdots,N-1,同时k1≤k2k_1\leq k_2;当k1=k2k_1=k_2时,ϕ=±π\phi=\pm\pi,所以m1=m2±1m_1=m_2\pm1或者m2m_2,若是前者就会导致a=0a=0,解是 trivial 的,应该全部舍去,……(助教说忘记为什么要舍去其他一些解了)

最后我们剩下m1=0,1,⋯ ,m2−2m_1=0,1,\cdots,m_2-2个态,一共CN−12C_{N-1}^2个,还少了N−1N-1个态——这是束缚态,这里的k1k_1和k2k_2不一定是实数.

仍然成立的是

eiϕ=c1c2=−1+ei(k1+k2)−2eik11+ei(k1+k2)−2eik2e^{i\phi}=\frac{c_1}{c_2}=-\frac{1+e^{i(k_1+k_2)}-2e^{ik_1}}{1+e^{i(k_1+k_2)}-2e^{ik_2}}

周期性边界条件还是成立,现在我们假设k1=u+ivk_1=u+iv,k2=u−ivk_2=u-iv(这里不是真的认为两者共轭,因为uu、vv都有可能是复数!但是这个形式我们很喜欢)代入循环条件得到

u=πN(m1+m2) ,ϕ=π(m2−m1)+iNvu=\frac{\pi}{N}(m_1+m_2)\,,\quad\phi=\pi(m_2-m_1)+iNv

uu是一个实数. 回代有

eiπ(m2−m1)e−Nv=−cos⁡u−e−vcos⁡u−eve^{i\pi(m_2-m_1)}e^{-Nv}=-\frac{\cos u-e^{-v}}{\cos u-e^{v}}

在NN很大的情况下,LHS 为00,近似下vv也是实数,因为e−v≈cos⁡ue^{-v}\approx\cos u.(这里我们用到vv的实部是大于零的,当然如果小于零就是反过来而已)

最终得到 ansatz 是

a(n1,n2)={ei(n1+n2)k/2cosh⁡v(N2+n1−n2) ,m1+m2 is evenei(n1+n2)k/2sinh⁡v(N2+n1−n2) ,m1+m2 is odda(n_1,n_2)=\left\{\begin{array}{lr} e^{i(n_1+n_2)k/2}\cosh v(\frac{N}{2}+n_1-n_2)\,,\quad m_1+m_2\text{ is even}\\\\ e^{i(n_1+n_2)k/2}\sinh v(\frac{N}{2}+n_1-n_2)\,,\quad m_1+m_2\text{ is odd} \end{array}\right.

(k=2uk=2u)束缚态的个数刚好是N−1N-1个,束缚态在n1=n2n_1=n_2时取最高值,获得一个峰,这是典型的束缚行为.

束缚态的能量是:

E=2A(2−cos⁡k1−cos⁡k2)=2A(2−cos⁡(u+iv)−cos⁡(u−iv))=A(1−cos⁡(k1+k2))\begin{aligned} E&=2A(2-\cos k_1-\cos k_2)\\\\ &=2A(2-\cos(u+iv)-\cos(u-iv))\\\\ &=A(1-\cos(k_1+k_2)) \end{aligned}

束缚能就是上面的能量与两个自由粒子能量的差值.

下面考虑rr粒子态. 将两粒子态的 Bethe Ansatz 推广,得到:

∣ψ⟩=∑n1<⋯<nra(n1,⋯ ,nr)∣n1,⋯ ,nr⟩a(n1,⋯ ,nr)=∑pexp⁡(i∑j=1rkpjnj+i2∑j<lϕpjpl)\ket{\psi}=\sum_{n_1<\cdots<n_r}a(n_1,\cdots,n_r)\ket{n_1,\cdots,n_r}\\ a(n_1,\cdots,n_r)=\sum_p\exp(i\sum_{j=1}^rk_{p_j}n_j+\frac{i}{2}\sum_{j<l}\phi p_jp_l)

其中外面的求和号下面的pp是 permutation 之意,每两个粒子交换都带来一个交换项.

其实这种情况的解和二粒子情况没有本质区别,能谱E=2A∑ri=1(1−cos⁡ki)E=2A\underset{i=1}{\overset{r}{\sum}}(1-\cos k_i). 最终得到CN−r+1rC_{N-r+1}^r种散射态和CNr−CN−r+1rC_N^r-C_{N-r+1}^r个束缚态.

2024-12-07 Wigner 定理

助教生病,平移一周习题课. 先讲一讲作业.

上上次作业:作业第一题,主要问题是大家可能不清楚μe\mu_e、μp\mu_p的值,实际上,

μe=−eℏ2mege ,μp=eℏ2mpgp\mu_e=-\frac{e\hbar}{2m_e}g_e\,,\quad\mu_p=\frac{e\hbar}{2m_p}g_p

其中geg_e可以用量子场论计算,ge∼1g_e\sim1;gpg_p难以计算,因为质子并不是基本粒子,但是实验测量的结果是gp∼2.79g_p\sim2.79,这两个量被称为“反常磁矩”.

第二题与课堂上的例子不同的地方在于,这里每个位置有两个能级,所以应该能写出两组方程. 之后求和做计算即可.

第三题和课上讲过的情况类似,也是有三个方程和其他位置的方程不同,猜解即可.

上一次作业:第一题很神奇,虽然不知道为什么能写成四态系统,但是按照题目的提示来写就行.

第二题和第三题是简单地解 Schrodinger 方程. 注意第三题,势能V(x)V(x)是奇函数还是偶函数需要分类讨论,这影响了波函数的奇偶性;之后数值求解的时候进行无量纲化.


对称变换大多是“unitary”的,或者说“酉”的. unitary 算符的条件是⟨Uψ∣Uφ⟩=⟨ψ∣φ⟩\braket{U\psi|U\varphi}=\braket{\psi|\varphi}.

一个特例是时间反演算符,它的定义是Θ−1e−iHt/ℏΘ=eiHt/ℏ\Theta^{-1}e^{-iHt/\hbar}\Theta=e^{iHt/\hbar}. 将这个定义式展开到一阶,会得到:

Θ−1(−iH)Θ=iH\Theta^{-1}(-iH)\Theta=iH

中间保留ii是因为我们提前知道ii不能被简单地提出来. 推导得到

−iHΘ=ΘiH⟹−HΘ=ΘH-iH\Theta=\Theta iH\Longrightarrow-H\Theta=\Theta H

作用到某一个能量本征态上会产生负的能量:

HΘ∣E⟩=−ΘH∣E⟩=−ΘEH\Theta\ket{E}=-\Theta H\ket{E}=-\Theta E

任意大的能量都能对应某一个任意负的能量,能量没有下限,这是不物理的. 所以我们要求Θ\Theta反线性,也就是满足这样的条件:

U(α∣ψ⟩+β∣φ⟩)=α∗U∣ψ⟩+β∗U∣φ⟩U(\alpha\ket{\psi}+\beta\ket{\varphi})=\alpha^*U\ket{\psi}+\beta^*U\ket{\varphi}

但是如果一个算符反线性,就一定不是酉的,理由是如果一个算符既是反线性又是酉的,会有

α∗⟨ψ∣φ⟩=⟨ψ∣Uαφ⟩=α⟨ψ∣φ⟩\alpha^*\braket{\psi|\varphi}=\braket{\psi|U\alpha\varphi}=\alpha\braket{\psi|\varphi}

这不成立,假设于是也不成立.

如果我们想让时间反演还是对称变换的话,它就必须是反酉的,也就是⟨Uψ∣Uφ⟩=⟨ψ∣φ⟩∗\braket{U\psi|U\varphi}=\braket{\psi|\varphi}^*.

Wigner 定理说:对于任何一个对称变换,我们总能在 Hilbert 空间中找到一个变换,它要么是线性的(linear)、酉的(unitary),要么是反线性的(anti-linear)、反酉的(anti-unitary).

首先我们需要知道什么叫做对称变换. 在物理世界中,描述某一个物体的状态,用的是 Hilbert 空间中的一条射线R[ψ]={c∣ψ⟩∣∣c∣=1,c∈C}R[\psi]=\{c\ket{\psi}||c|=1,c\in\mathbb{C}\}(注意不是态矢量,因为相差一个幅角的态矢量是等价的).

某一个变换T:R→TRT:R\to TR,满足将某两个状态∣ψ1⟩\ket{\psi_1}、∣ψ2⟩\ket{\psi_2}从R1R_1、R2R_2映射到TR1TR_1、TR2TR_2中之后,有∣⟨ψ1∣ψ2⟩∣2=∣⟨ψ1′∣ψ2′⟩∣2|\braket{\psi_1|\psi_2}|^2=|\braket{\psi_1'|\psi_2'}|^2成立. 对称变换UU保证射线上的某一个点(态矢量)会映射到对应的那一条射线上. 实际上我们的任务就是将这样的变换构造成线性酉变换和反线性反酉变换的形式.

在RαR_\alpha和TRαTR_\alpha空间中分别取正交归一基,∣⟨ψα∣ψβ⟩∣2=δαβ|\braket{\psi_\alpha|\psi_\beta}|^2=\delta_{\alpha\beta},则变换之后的还是正交归一基.

现在取一个新的射线,它上面的一个态矢量是γ1α=12(∣ψ1⟩+∣ψα⟩)∈Sα\gamma_{1\alpha}=\frac{1}{\sqrt2}(\ket{\psi_1}+\ket{\psi_\alpha})\in S_\alpha,我们同样能在TSαTS_\alpha中找到一组正交归一基,γ1α′=∑cαβ∣ψβ′⟩\gamma_{1\alpha}'=\sum c_{\alpha\beta}\ket{\psi_\beta'}. 这里我们相位的选择是自由的(一条射线上就是不同相位的某一个态矢量),所以我们一开始只知道∣cαα∣=∣αα1∣=12|c_{\alpha\alpha}|=|\alpha_{\alpha1}|=\frac{1}{\sqrt2},但是现在能得到cαα=c1α=12c_{\alpha\alpha}=c_{1\alpha}=\frac{1}{\sqrt2},现在可以定义酉变换:

Uψα=ψα′ ,Uγ1α=γ1α′U\psi_\alpha=\psi_\alpha'\,,\quad U\gamma_{1\alpha}=\gamma_{1\alpha}'

现在已经确定了UU作用在基矢量上面的效果,对于任意的一个态矢量射线RR,都有

U∣ψ⟩=∑αcαU∣ψα⟩=∑αcα′U∣ψα′⟩U\ket{\psi}=\sum_\alpha c_\alpha U\ket{\psi_\alpha}=\sum_\alpha c_\alpha' U\ket{\psi_\alpha'}

对于任何一个cαc_\alpha和cα′c_\alpha',有∣⟨ψα∣ψ⟩∣2=∣cα∣2=∣⟨ψα′∣ψ′⟩∣2=∣cα′∣2|\braket{\psi_\alpha|\psi}|^2=|c_\alpha|^2=|\braket{\psi_\alpha'|\psi'}|^2=|c_\alpha'|^2,这就和之前对基矢量的操作是一样的.

对于γ1α\gamma_{1\alpha},有

∣⟨γ1α∣ψ⟩∣2=∣⟨Uγ1α∣ψ′⟩∣2⟹∣cα+c1∣2=∣cα′+c1′∣2|\braket{\gamma_{1\alpha}|\psi}|^2=|\braket{U\gamma_{1\alpha}|\psi'}|^2\\ \Longrightarrow|c_\alpha+c_1|^2=|c'_\alpha+c_1'|^2

最后一个式子等价于说:

cαc1=cα′c1′ or cαc1=(cα′c1′)∗\frac{c_\alpha}{c_1}=\frac{c_\alpha'}{c_1'}\text{ or }\frac{c_\alpha}{c_1}=(\frac{c_\alpha'}{c_1'})^*

下面证明了如果选择前者,所有基矢量都必须选前者;反之亦然.

真没看懂

于是对称变换只能有两种定义. 若取第一种情况,则c1=c1′c_1=c_1',cα=cα′c_\alpha=c_\alpha',有

U∣ψ⟩=U(∑αcα∣ψα⟩)=∑αcα∣ψα⟩U\ket{\psi}=U(\sum_\alpha c_\alpha\ket{\psi_\alpha})=\sum_\alpha c_\alpha\ket{\psi_\alpha}

取第二种情况,c1=c1∗c_1=c_1^*,cα=cα∗c_\alpha=c_\alpha^*,有

U∣ψ⟩=U(∑αcα∣ψα⟩)=∑αcα∗∣ψα⟩U\ket{\psi}=U(\sum_\alpha c_\alpha\ket{\psi_\alpha})=\sum_\alpha c_\alpha^*\ket{\psi_\alpha}

证明这个变换是酉的:

⟨Uψ∣Uφ⟩=∑α∑βAα∗Bβ⟨Uψα∣Uψβ⟩=∑α∑βAα∗Bβδαβ=∑αAα∗Bα=⟨ψ∣φ⟩⟨Uψ∣Uφ⟩=∑α∑βAαBβ∗⟨Uψα∣Uψβ⟩=∑α∑βAαBβ∗δαβ=∑αAαBα∗=⟨ψ∣φ⟩\begin{aligned} \braket{U\psi|U\varphi}&=\sum_\alpha\sum_\beta A_\alpha^*B_\beta\braket{U\psi_\alpha|U\psi_\beta}\\ &=\sum_\alpha\sum_\beta A_\alpha^*B_\beta\delta_{\alpha\beta}\\ &=\sum_\alpha A_\alpha^*B_\alpha=\braket{\psi|\varphi}\\\\ \braket{U\psi|U\varphi}&=\sum_\alpha\sum_\beta A_\alpha B_\beta^*\braket{U\psi_\alpha|U\psi_\beta}\\ &=\sum_\alpha\sum_\beta A_\alpha B_\beta^*\delta_{\alpha\beta}\\ &=\sum_\alpha A_\alpha B_\alpha^*=\braket{\psi|\varphi} \end{aligned}

实际上,这只是说,所有的对称变换都能找到线性酉变换、反线性反酉变换的表示,不代表其他表示是不行的,但是这已经够了,因为我们从此没必要去寻找其他的表示.

2024-12-14 Wigner - Eckart 定理

第十次作业比较简单. 第一题是纯粹的计算题. 第二题是自由粒子的 Gauss 波包,其实之前计算过,这里只是再使用 Schrodinger 方程计算一遍,直接将解代入方程,并要求xx的同幂次项系数相同,得到一个关于a(t)a(t)和c(t)c(t)的微分方程组,最后得解. 之后做 Fourier 变换时,记住要求系数关系.


今天的内容:Wigner - Eckart 定理

从角动量算符开始说起. 一般来说,量子力学中的算符是把经典力学中的对应物理量算出来,然后将动量算符p^\hat{p}和坐标算符x^\hat{x}的形式代入就得到算符.

角动量是J^i=εijkx^jp^k\hat{J}_i=\varepsilon_{ijk}\hat{x}_j\hat{p}_k,其中x^j=xj\hat{x}_j=x_j,p^k=−iℏ∂k\hat{p}_k=-\text{i}\hbar\partial_k,其对易子是[xi,pj]=iℏ[x_i,p_j]=\text{i}\hbar. 所以我们能计算角动量算符的对易子:

[Ji,Jj]=iℏεijkJk ,[J2,Jz]=0[J_i,J_j]=\text{i}\hbar\varepsilon_{ijk}J_k\,,\quad[J^2,J_z]=0

(这里参考的是 Weinberg 的量子场论书,所以以下将记号∣j,m⟩\ket{j,m}写成ψjm\psi_j^m.)

我们想到能够用角动量算符构造一个升降算符:

[J3,J1±iJ2]=iℏJ2±i(−iℏ)J1=±ℏ(J1±iJ2)[J_3,J_1\pm\text{i}J_2]=\text{i}\hbar J_2\pm\text{i}(-\text{i}\hbar )J_1=\pm\hbar(J_1\pm\text{i}J_2)

所以

J3(J1±iJ2)ψjm=(m±1)ℏ(J1±iJ2)ψjmJ_3(J_1\pm\text{i}J_2)\psi_j^m=(m\pm1)\hbar(J_1\pm\text{i}J_2)\psi_j^m

这相当于升降某一个态. 有

(J1±iJ2)ψjm=ℏj(j+1)−m2∓mψjm±1(J_1\pm\text{i}J_2)\psi_j^m=\hbar\sqrt{j(j+1)-m^2\mp m}\psi_j^{m\pm1}

更普遍地来说,从mm变到m′m'的算符应该是

J⃗ψjm=ℏ∑m′J⃗m′,m(j)ψjm′\vec{J}\psi_j^m=\hbar\sum_{m'}\vec{J}_{m',m}^{(j)}\psi_j^{m'}

在这里,[J3(j)]m′,m=mSm′,m[J_3^{(j)}]_{m',m}=mS_{m',m},对易子

[J1(j)±iJ2(j)]m′,m=j(j+1)−m2∓m⋅δm′,m±1[J_1^{(j)}\pm\text{i}J_2^{(j)}]_{m',m}=\sqrt{j(j+1)-m^2\mp m}\cdot\delta_{m',m\pm1}

实际上这给出2j+12j+1维的一个群表示. 现在定义算符OjmO_j^m为

[J3,Ojm]=ℏmOjm[J1±iJ2,Ojm]=ℏj(j+1)−m2∓m⋅Ojm±1[J⃗,Ojm]=ℏ∑m′J⃗m′,m(j)Ojm′\begin{aligned} &[J_3,O_j^m]=\hbar mO_j^m\\\\ &[J_1\pm\text{i}J_2,O_j^m]=\hbar\sqrt{j(j+1)-m^2\mp m}\cdot O_j^{m\pm1}\\\\ &[\vec{J},O_j^m]=\hbar\sum_{m'}\vec{J}_{m',m}^{(j)}O_j^{m'} \end{aligned}

计算是自然的,但是问题在于为什么要这样定义算符. 实际上,这里的算符定义有一种等价的表述,更为直观:

P(αβγ)OjmP†(αβγ)=∑m′Dm′,m(j)(αβγ)Ojm′P(\alpha\beta\gamma)O_j^mP^\dagger(\alpha\beta\gamma)=\sum_{m'}D_{m',m}^{(j)}(\alpha\beta\gamma)O_j^{m'}

题外话:为什么有一个 dagger?

这是幺正变换作用到算符上面的固定表达,想想其实是:

O∣ψ⟩⟶(POP†)(P∣ψ⟩)=P(O∣ψ⟩)O\ket{\psi}\longrightarrow(POP^\dagger)(P\ket{\psi})=P(O\ket{\psi})

下面的定义在意思上就像:这个算符像自旋 - jj 一样旋转.

下面讲讲这个算符可以干什么. 一个简单的情况是这个算符就是一个标量,它和其他算符的对易子是[Ji,S]=0[J_i,S]=0.

更复杂一点的例子是矢量算符,

[J3,Vm]=ℏmVm[J1±iJ2,Vm]=ℏ2−m2∓m⋅Vm±1\begin{aligned} &[J_3,V^m]=\hbar mV^m\\\\ &[J_1\pm\text{i}J_2,V^m]=\hbar\sqrt{2-m^2\mp m}\cdot V^{m\pm1} \end{aligned}

如果看不出这是什么,可以用下面的坐标变换变到 Descartes 坐标下进行理解,

V+1=−V1+iV22 ,V−1=V1−iV22 ,V0=V3V^{+1}=-\frac{V_1+\text{i}V_2}{\sqrt2}\,,\quad V^{-1}=\frac{V_1-\text{i}V_2}{\sqrt2}\,,\quad V^0=V_3

(想想自旋 - 1 的旋转矩阵!)

另一个常见的矢量算符是球谐函数的第一阶Yl=1m(x^)Y_{l=1}^m(\hat{x}),对于张量算符,可以通过把变量换成一个任意矢量算符得到.

/Theorem/ (Wigner - Eckart 定理)

(Φj′′m′′,OjmΨj′m′)=cj,j′(j′′,m′′;m,m′)(Φ∥O∥Ψ)(\Phi_{j''}^{m''},O_j^m\Psi_{j'}^{m'})=c_{j,j'}(j'',m'';m, m')(\Phi\parallel O\parallel\Psi)

小括号表示内积,cj,j′(j′′,m′′;m,m′)c_{j,j'}(j'',m'';m, m')是 Clebsch - Gordan 系数,在我之前的笔记中写成Cj′,m′;j′′,m′′j,mC^{j,m}_{j',m';j'',m''}. 后面一串∥\parallel的意思后面会提到,现在只需知道这和mm无关.

这是 Weinberg 的记号规定,大师和正常人可能不太一样.

Weinberg 给出了一个“独家证明”,方法很有意思,虽然并不一定很严谨. 现在定义

Ωj,j′m,m′=OjmΨj′m′\Omega_{j,j'}^{m,m'}=O_j^m\Psi_{j'}^{m'}

那么会有

JiΩj,j′m,m′=[Ji,Ojm]Ψj′m′+OjmJiΨj′m′=ℏ∑m′′[Ji(j)]m′′mΩj,j′m,m′+ℏ∑m′′[Ji(j)]m′′m′Ωj,j′m,m′\begin{aligned} J_i\Omega_{j,j'}^{m,m'}&=[J_i,O_j^m]\Psi_{j'}^{m'}+O_j^mJ_i\Psi_{j'}^{m'}\\\\ &=\hbar\sum_{m''}[J_i^{(j)}]_{m''m}\Omega_{j,j'}^{m,m'}+\hbar\sum_{m''}[J_i^{(j)}]_{m''m'}\Omega_{j,j'}^{m,m'} \end{aligned}

证明实际上已经完成了,因为这里定义的新的态,被角动量算符作用之后表现就像两个粒子组成的二粒子态,Ωj,j′m,m′∼∣j,m⟩⊗∣j′,m′⟩\Omega_{j,j'}^{m,m'}\sim\ket{j,m}\otimes\ket{j',m'},这就是上面 C - G 系数的来由.

但是我们还需要说明为什么后面的东西和mm无关. 这里再定义Ωj,j′;j′′m′′\Omega_{j,j';j''}^{m''},意思是由jj、j′j'两个总角动量的粒子合成的、总角动量为j′′j''、zz分量为m′′m''的一个态,那么

OjmΨj′m′=∑j′′,m′′cj,j′(j′′,m′′;m,m′′)Ωj,j′;j′′m′′O_j^m\Psi_{j'}^{m'}=\sum_{j'',m''}c_{j,j'}(j'',m'';m,m'')\Omega_{j,j';j''}^{m''}

得到

ℏj(j+1)−m2∓m(ϕjm±1,ψjm±1)=(ϕjm±1,(J1±iJ2)ψjm)=((J1∓iJ2)ϕjm±1,ψjm)=ℏj(j+1)−m2∓m(ϕjm,ψjm)\begin{aligned} &\hbar\sqrt{j(j+1)-m^2\mp m}(\phi_j^{m\pm1},\psi_j^{m\pm1})\\\\ &=(\phi_j^{m\pm1},(J_1\pm\text{i}J_2)\psi_j^m)\\\\ &=((J_1\mp\text{i}J_2)\phi_j^{m\pm1},\psi_j^m)\\\\ &=\hbar\sqrt{j(j+1)-m^2\mp m}(\phi_j^m,\psi_j^m) \end{aligned}

这证明这个内积和mm无关. 最后的(Φ∥O∥Ψ)=(Φjm,Ψjm)(\Phi\parallel O\parallel\Psi)=(\Phi_j^m,\Psi_j^m),与mm无关.


下面是一个简单的应用——光的吸收和发射.

首先知道跃迁概率是

Γ(a→b)=4(Ea−Eb)3c3ℏ4∣(b∣D∣a)∣2\Gamma(a\to b)=\frac{4(E_a-E_b)^3}{c^3\hbar^4}|(b|D|a)|^2

这个证明与本课无关,按下不表. 其中D=∑nenx^nD=\sum_n e_n\hat{x}_n,Dx=12(−D+1+D−1)D_x=\frac{1}{\sqrt2}(-D^{+1}+D^{-1}),Dy=i2(D+1+D−1)D_y=\frac{\text{i}}{\sqrt2}(D^{+1}+D^{-1}),Dz=D0D_z=D^0.

所以(b∣Dm∣a)∝cja,1(jb,mb;ma,m)(b|D^m|a)\propto c_{j_a,1}(j_b,m_b;m_a,m),显然会有一些要求,比如∣ja−jb∣≤1|j_a-j_b|\le1,ja+jb≥1j_a+j_b\ge1,∣ma−mb∣≤1|m_a-m_b|\le1.

则

⟨Ojm⟩=12j′+1∑m′(ψj′m′,Ojmψj′m′)=12j′+1[∑m′cj,j′(j′,m′;m,m′)](ψ∥O∥ψ)\begin{aligned} \braket{O_j^m}&=\frac{1}{2j'+1}\sum_{m'}(\psi_{j'}^{m'},O_j^m\psi_{j'}^{m'})\\ &=\frac{1}{2j'+1}[\sum_{m'}c_{j,j'}(j',m';m,m')](\psi\parallel O\parallel\psi) \end{aligned}

所以

∑m′,m′′cj,j′′(j′,m′;m,m′′)cjˉ,j′′(j′,m′;mˉ,m′′)=2j′+12j+1δjjˉδmmˉ\sum_{m',m''}c_{j,j''}(j',m';m,m'')c_{\bar{j},j''}(j',m';\bar{m},m'')=\frac{2j'+1}{2j+1}\delta_{j\bar{j}}\delta_{m\bar{m}}

同时还有一个更简单的结论,是

c0,j′′(j′,m′;0,m′′)=δj′j′′δm′m′′∑m′cj,j′(j′,m′;m,m′)=(2j′+1)δj0δm0\begin{aligned} c_{0,j''}(j',m';0,m'')&=\delta_{j'j''}\delta_{m'm''}\\\\ \sum_{m'}c_{j,j'}(j',m';m,m')&=(2j'+1)\delta_{j0}\delta_{m0} \end{aligned}

2024-12-21 氢原子的 SO(4) 对称性

作业讲评:三个题都是 Feynman 书中第十八章的内容. 84.1 题按照书中的记号应该记作

a⟨+∣Ry(θ)∣0⟩=12asin⁡θa\braket{+|R_y(\theta)|0}=\frac{1}{\sqrt2}a\sin\theta

即得到答案.

84.3 题,光子自旋为 1,质子自旋为±12\pm\frac{1}{2},总角动量取值只能有两种,释放之后的状态也只能有两种. 第二问中,使用自旋32\frac{3}{2}的旋转矩阵,得到总的概率:

P(θ)=∣a∣2∣c∣2∣⟨12∣Ry3/2(θ)∣12⟩∣2+∣a∣2∣d∣2∣⟨−12∣Ry3/2(θ)∣12⟩∣2+∣b∣2∣c∣2∣⟨12∣Ry3/2(θ)∣32⟩∣2+∣b∣2∣d∣2∣⟨−12∣Ry3/2(θ)∣32⟩∣2\begin{aligned} P(\theta)&=|a|^2|c|^2|\braket{\frac{1}{2}|R_y^{3/2}(\theta)|\frac{1}{2}}|^2+|a|^2|d|^2|\braket{-\frac{1}{2}|R_y^{3/2}(\theta)|\frac{1}{2}}|^2\\ &\quad+|b|^2|c|^2|\braket{\frac{1}{2}|R_y^{3/2}(\theta)|\frac{3}{2}}|^2+|b|^2|d|^2|\braket{-\frac{1}{2}|R_y^{3/2}(\theta)|\frac{3}{2}}|^2 \end{aligned}

化简即可.

问题:角动量守恒吗?

实际上是指的激发态的质子的总角动量旋转θ\theta角得到的12\frac{1}{2}的那一个分量才能释放π0\pi^0,在这个方向上角动量是守恒的.

和上面 84.1 一样,原子自旋为00,旋转θ\theta角方向的那个++的分量才有能力释放光子.

84.5 题,原子释放右旋光a⟨+∣Ry(θ)∣+⟩a\braket{+|R_y(\theta)|+},左旋光a⟨−∣Ry(θ)∣+⟩a\braket{-|R_y(\theta)|+}. 第一问中不区分自旋,所以两者是概率相加,左旋光前面的宇称系数正负号不重要,所以无法区分;而第二问是xx-yy方向偏振,末态概率幅是:

a⟨+∣Ry(θ)∣+⟩+Pa⟨−∣Ry(θ)∣+⟩a\braket{+|R_y(\theta)|+}+Pa\braket{-|R_y(\theta)|+}

这里测量的是一个纯态,PP的正负对总概率的分布有影响.

问题:宇称变换的作用?

……无结果


讲氢原子的 SO(4) 对称性. 能级nn的简并度应当是:

∑l=0n−1(2l+1)=n2\sum_{l=0}^{n-1}(2l+1)=n^2

旋转矩阵的维数应该是2l+12l+1维的,因为矩阵元应该是⟨m∣j⟩\braket{m|j},mm的取值有2l+12l+1种. 可以看出,能级的简并度和角动量的简并度差距很大.

如果一个群G∣ψ⟩=∑R∣ψ⟩G\ket{\psi}=\sum R\ket{\psi},GG称为群的一个表示. 不可约表示指的是和 Hamiltonian 对易的群表示. 可以看出,每一个不可约表示都确定了一个能级,H=IEH=IE,所以不可约表示的维数一定小于等于能级的简并度.

但是在氢原子中,则不仅仅是小于,而是远远小于,这个差距太大、要求太松以至于我们认为还有更强的对称性,也就是所谓的 SO(4) 对称性 —— Laplace-Runge-Lenz 矢量.

在经典力学中,这个守恒量意味着轨道闭合. 在量子力学中我们应该要能找到对应,量子力学中的对应版本是

M⃗=p⃗×L⃗m−Ze2rr⃗\vec{M}=\frac{\vec{p}\times\vec{L}}{m}-\frac{Ze^2}{r}\vec{r}

但是量子力学中的守恒量应该要是 Hermitian,所以要改写成:

M⃗=p⃗×L⃗−L⃗×p⃗2m−Ze2rr⃗\vec{M}=\frac{\vec{p}\times\vec{L}-\vec{L}\times\vec{p}}{2m}-\frac{Ze^2}{r}\vec{r}

为验证它是 Hermitian,需要计算它和 Hamiltonian 的对易子,这个计算相当复杂,在这里可能要略去. 几个非常重要的性质:

[AB,C]=A[B,C]+[A,C]B[x,f(p)]=iℏdfdp[f(x),p]=iℏdfdx[A×B,C]=A×[B,C]+[A,C]×B[AB,C]=A[B,C]+[A,C]B\\ [x,f(p)]=\text{i}\hbar\frac{\text{d}f}{\text{d}p}\\ [f(x),p]=\text{i}\hbar\frac{\text{d}f}{\text{d}x}\\ [A\times B,C]=A\times[B,C]+[A,C]\times B

经过恐怖的计算,得到[M⃗,H]=0[\vec{M},H]=0. 更加恐怖的计算表明:

M2=2mH(L2+ℏ2)+Z2e4M^2=\frac{2}{m}H(L^2+\hbar^2)+Z^2e^4

可以计算[Mi,Lj][M_i,L_j],记住,一个矢量和转动的对易,都是iℏεijkMk\text{i}\hbar\varepsilon_{ijk}M_k;同时也能计算[Mi,Mj][M_i,M_j]的计算,[Mi,Mj]=−iℏεijk⋅2mHLk[M_i,M_j]=-\text{i}\hbar\varepsilon_{ijk}\cdot\frac{2}{m}HL_k,MM自己无法构成一个闭合的代数;所以我们考虑[Li,Lj]=iℏεijkLk[L_i,L_j]=\text{i}\hbar\varepsilon_{ijk}L_k,闭合.

如果引入算符N⃗=(−m2H)1/2M⃗\vec{N}=(-\frac{m}{2H})^{1/2}\vec{M},则HH能够被消去,构成一个闭合的代数. 其中1/21/2指数是合理的,因为束缚态的HH正定 ⟹\Longrightarrow HH的逆正定 ⟹\Longrightarrow HH的逆有平方根(线性代数课上讲过).

这个新构成的群有六个自由度,它的代数有六个生成元[Ni,Lj]=iℏεijkNk[N_i,L_j]=\text{i}\hbar\varepsilon_{ijk}N_k,刚好就对应着 4 维空间中的角动量:在 3 维的角动量上加上L14=x1p4−x4p1L_{14}=x_1p_4-x_4p_1、L24=x2p4−x4p2L_{24}=x_2p_4-x_4p_2、L34=x3p4−x4p3L_{34}=x_3p_4-x_4p_3三个分量,得到一个四维的转动群,这个转动群的生成元就是这六个角动量的分量,所以两个群代数上相同,群同构,所以这个群就是 SO(4) 群.

注意:这里并没有所谓的第四个坐标,只是我们用N⃗\vec{N}、L⃗\vec{L}构造出来的这个李代数和 SO(4) 完全同构而已,x4x_4是为了说清楚 SO(4) 的六个生成元才提到的.

如果引入

I⃗=L⃗+N⃗2 ,K⃗=L⃗−N⃗2\vec{I}=\frac{\vec{L}+\vec{N}}{2}\,,\quad\vec{K}=\frac{\vec{L}-\vec{N}}{2}

那么它们分别和自己构成一个闭合的代数,[Ii,Ij]=iℏεijkIk[I_i,I_j]=\text{i}\hbar\varepsilon_{ijk}I_k,[Ki,Kj]=iℏεijkKk[K_i,K_j]=\text{i}\hbar\varepsilon_{ijk}K_k,这是 SO(3) 的代数,所以我们说 SO(4) 是两个 SO(3) 的直积.

同时I⃗\vec{I}、K⃗\vec{K}也有关系,I⃗2−K⃗2=L⃗⋅N⃗=0\vec{I}^2-\vec{K}^2=\vec{L}\cdot\vec{N}=0,两者的本征值是一样的,记为i=ki=k.

为什么要做上面这么多计算?因为就像谐振子的产生湮灭算符一样,我们用这种方法可以代数上的看出能级量子化这一事实,避免复杂的微分方程计算.

在这里,

I⃗2+K⃗2=12(L2−m2HM2)=12(−ℏ2−Z2e4m2H)\vec{I}^2+\vec{K}^2=\frac{1}{2}(L^2-\frac{m}{2H}M^2)=\frac{1}{2}(-\hbar^2-\frac{Z^2e^4m}{2H})

而

H=−Ze2m212(i2+k2)+ℏ2=−Ze2m2ℏ2(2j+1)2H=-\frac{Ze^2m}{2}\frac{1}{2(i^2+k^2)+\hbar^2}=-\frac{Ze^2m}{2\hbar^2(2j+1)^2}

2j+1=1,2,⋯ ,n2j+1=1,2,\cdots,n,在这个对称性下,我们讲到的不可约表示的维数和能级的简并度之间的空缺全部被填满,所以系统所有的对称性都被找到.

2024-12-28 Bell 不等式

作业:只有一个小问题,为什么不同能级发出的辐射强度是相同的?

因为所有的跃迁都一定会到基态去,而选择定则对跃迁做出了限制,所以跃迁的过程只能是 3d →\to 2p →\to 1s,这两个过程的原子数是一样的(甚至是相同的原子),所以发出的光子数是一样多,光强自然一样.

另外一题直接套公式就做完了.


接下来讲 Bell 不等式. 它来源于人们对于“测量”的一些思考.

考虑一个总自旋∣0,0⟩\ket{0,0}的纠缠态(两个态的合成),分解为下面的纠缠:

∣ψ⟩=12(∣+1−2⟩−∣−1+2⟩)\ket{\psi}=\frac{1}{\sqrt2}(\ket{+_1-_2}-\ket{-_1+_2})

如果我们把这两个粒子 1 和 2 移开,使它们距离非常遥远,那么测量 1 粒子就能知道 2 粒子的态 —— 这本身并不离奇,因为经典中也能实现:用一黑一白两个棋子也能做到.

但是量子力学说,测量导致“塌缩”,那么这里的表述就变成:测量 1 粒子的状态,2 粒子的状态立即被塌缩. 这是超距作用,是不可接受的.

如果坚持局域性,假定测量 1 的时候,2 的波包一定不塌缩,那么这就要求分开两个粒子的一瞬间,2 的状态(zz方向自旋)就已经被确定;但是如果是这样,我们就能再测量 1 的xx方向自旋分量,从而精确地推知 2 的xx方向自旋 —— 这违背了不同方向角动量分量算符不对易的基本原理. 这是 EPRB paradox.

最简单的解释当然是测量 1 时 2 的波包同时塌缩,但是一开始人们并不想接受这个“超距作用”的事实. 所以出现了很多对于量子力学的修正,其中一个就是讲义中的局域隐变量理论:考虑一个概率ρ(λ)\rho(\lambda),其中λ\lambda是隐变量,这里ρ(λ)≥0\rho(\lambda)\geq0,∫ρ(λ)dλ=1\int\rho(\lambda)\text{d}\lambda=1.

隐变量理论认为,纠缠态不是两个态的叠加,而是很多态的叠加:

1→ℏ2S(a^,λ) ,2→−ℏ2S(a^,λ)1\to\frac{\hbar}{2}S(\hat{a},\lambda)\,,\quad2\to-\frac{\hbar}{2}S(\hat{a},\lambda)

其中每一个自旋依赖于λ\lambda,a^\hat{a}是aa方向的自旋. 在这里,如果取a^\hat{a}是zz方向,那么 2 确实应该相反;但是测量xx分量并不会导致 2 的xx方向自旋也被得知,因为还有很多种可能,2 只要是−ℏ2S(z^,λ)-\frac{\hbar}{2}S(\hat{z},\lambda)就行了.

为了证明这个理论正确,需要用它预言一些可观测的实验现象. 在隐变量理论下,期望值:

⟨(s1⋅a^)(s2⋅b^)⟩=−ℏ4∫ρ(λ)S(a^,λ)S(b^,λ)dλ\braket{(s_1\cdot\hat{a})(s_2\cdot\hat{b})}=-\frac{\hbar}{4}\int\rho(\lambda)S(\hat{a},\lambda)S(\hat{b},\lambda)\text{d}\lambda

在经典量子力学理论中,上面的期望应该这样计算:

−(s1⋅a^)(s1⋅b^)=−ℏ24a^⋅b^−iℏ2(a^×b^)⋅s1-(s_1\cdot\hat{a})(s_1\cdot\hat{b})=-\frac{\hbar^2}{4}\hat{a}\cdot\hat{b}-\text{i}\frac{\hbar}{2}(\hat{a}\times\hat{b})\cdot s_1

(这是算符的性质,我们只是用s1s_1做计算,之后再将s2=−s1s_2=-s_1代入)后一项为零,所以如果要让隐变量理论符合当前的量子力学,这里必须有等式:

ℏ4∫ρ(λ)S(a^,λ)S(b^,λ)dλ=ℏ24a^⋅b^\frac{\hbar}{4}\int\rho(\lambda)S(\hat{a},\lambda)S(\hat{b},\lambda)\text{d}\lambda=\frac{\hbar^2}{4}\hat{a}\cdot\hat{b}

Bell 发现,如果从这个结果出发构造一个更复杂的情况,可以证明隐变量理论一定得出与当前量子力学不符的结果.

Bell 考虑引入一个新的方向c^\hat{c},则

⟨(s1⋅a^)(s2⋅b^)⟩−⟨(s1⋅a^)(s2⋅c^)⟩=ℏ24∫ρ(λ)dλ⋅S(a^,λ)S(b^,λ)[1−S(b^,λ)S(c^,λ)]\begin{aligned} &\braket{(s_1\cdot\hat{a})(s_2\cdot\hat{b})}-\braket{(s_1\cdot\hat{a})(s_2\cdot\hat{c})}\\\\ &=\frac{\hbar^2}{4}\int\rho(\lambda)\text{d}\lambda\cdot S(\hat{a},\lambda)S(\hat{b},\lambda)[1-S(\hat{b},\lambda)S(\hat{c},\lambda)] \end{aligned}

根据绝对值不等式,应有

∣⟨(s1⋅a^)(s2⋅b^)⟩−⟨(s1⋅a^)(s2⋅c^)⟩∣≤ℏ24∫ρ(λ)dλ⋅∣S(a^,λ)S(b^,λ)[1−S(b^,λ)S(c^,λ)]∣\begin{aligned} &|\braket{(s_1\cdot\hat{a})(s_2\cdot\hat{b})}-\braket{(s_1\cdot\hat{a})(s_2\cdot\hat{c})}|\\\\ &\leq\frac{\hbar^2}{4}\int\rho(\lambda)\text{d}\lambda\cdot |S(\hat{a},\lambda)S(\hat{b},\lambda)[1-S(\hat{b},\lambda)S(\hat{c},\lambda)]| \end{aligned}

同时上面式子中的S(a^,λ)S(b^,λ)S(\hat{a},\lambda)S(\hat{b},\lambda)可以取最大,直接取11是最方便的,这样就得到最初的 Bell 不等式,为

∣⟨(s1⋅a^)(s2⋅b^)⟩−⟨(s1⋅a^)(s2⋅c^)⟩∣≤ℏ24+⟨(s1⋅b^)(s2⋅c^)⟩|\braket{(s_1\cdot\hat{a})(s_2\cdot\hat{b})}-\braket{(s_1\cdot\hat{a})(s_2\cdot\hat{c})}|\leq\frac{\hbar^2}{4}+\braket{(s_1\cdot\hat{b})(s_2\cdot\hat{c})}

通过一些很特殊的构造,可以找到违背传统量子力学的结果. 一个例子是取a^⋅b^=0\hat{a}\cdot\hat{b}=0,c^=12(a^+b^)\hat{c}=\frac{1}{\sqrt2}(\hat{a}+\hat{b}),这样量子力学能计算得到

ℏ242≤ℏ24−ℏ242\frac{\hbar^2}{4\sqrt2}\leq\frac{\hbar^2}{4}-\frac{\hbar^2}{4\sqrt2}

实验上可以观测,确定实际上隐变量理论正确还是经典的量子力学正确.

但是在历史上,人们做的验证 Bell 不等式的实验是使用 Ca 原子释放两个光子,实际上仍然和上面讲的类似,稍微复杂一些.

依然用隐变量理论刻画这个过程,得到S(a^,λ)=±1S(\hat{a},\lambda)=\pm1(光子是零质量的,只能有两种分量),所以

⟨S1(a^)S2(b^)⟩=∫dλ⋅ρ(λ)S1(a,λ^)S2(b^,λ)\braket{S_1(\hat{a})S_2(\hat{b})}=\int\text{d}\lambda\cdot\rho(\lambda)S_1(\hat{a,\lambda})S_2(\hat{b},\lambda)

同样构造 Bell 不等式:

⟨S1(a^)S2(b^)⟩−⟨S1(a^)S2(b′^)⟩+⟨S1(a′^)S2(b^)⟩+⟨S1(a′^)S2(b′^)⟩=∫dλ⋅[S1(a^,λ)S2(b^,λ)−S1(a^,λ)S2(b′^,λ)+S1(a′^,λ)S2(b^,λ)+S1(a′^,λ)S2(b′^,λ)]\begin{aligned} &\braket{S_1(\hat{a})S_2(\hat{b})}-\braket{S_1(\hat{a})S_2(\hat{b'})}+\braket{S_1(\hat{a'})S_2(\hat{b})}+\braket{S_1(\hat{a'})S_2(\hat{b'})}\\\\ &=\int\text{d}\lambda\cdot[S_1(\hat{a},\lambda)S_2(\hat{b},\lambda)-S_1(\hat{a},\lambda)S_2(\hat{b'},\lambda)\\ &\quad+S_1(\hat{a'},\lambda)S_2(\hat{b},\lambda)+S_1(\hat{a'},\lambda)S_2(\hat{b'},\lambda)] \end{aligned}

上式左边的量因为角动量守恒的限制,会≤2\leq2. 而传统量子力学给出:

⟨S1(a^)S2(b^)⟩=12[cos⁡2θ−sin⁡2θ−sin⁡2θ+cos⁡2θ]=cos⁡2θ\braket{S_1(\hat{a})S_2(\hat{b})}=\frac{1}{2}[\cos^2\theta-\sin^2\theta-\sin^2\theta+\cos^2\theta]=\cos2\theta

其中θ\theta为a^,b^\hat{a},\hat{b}之夹角. 同样构造观测量

⟨S1(a^)S2(b^)⟩−⟨S1(a^)S2(b′^)⟩+⟨S1(a′^)S2(b^)⟩+⟨S1(a′^)S2(b′^)⟩=cos⁡2θab−cos⁡2θab′+cos⁡2θa′b+cos⁡2θa′b′≤22\begin{aligned} &\braket{S_1(\hat{a})S_2(\hat{b})}-\braket{S_1(\hat{a})S_2(\hat{b'})}+\braket{S_1(\hat{a'})S_2(\hat{b})}+\braket{S_1(\hat{a'})S_2(\hat{b'})}\\\\ &=\cos2\theta_{ab}-\cos2\theta_{ab'}+\cos2\theta_{a'b}+\cos2\theta_{a'b'}\leq2\sqrt2 \end{aligned}

实验上测量得到的结果更加接近传统量子力学的结果,所以这种隐变量理论被排除. 当然还有很多其他的隐变量理论,这里不详细讨论.


课后问题:

aa、bb、a′a'、b′b'需要有关系吗?

我们只是想要一个尽可能大的结果以方便实验,所以这是一个多元函数极值和几何问题,不等式确实是任意时候都成立的,但是我们想要最显著的结果.


Feynman 物理学讲义 - Vol.III 札记 习题课
https://physnya.top/2024/12/28/feynman-3-exercise/
作者
菲兹克斯喵
发布于
2024年12月28日
更新于
2025年1月5日
许可协议