朗道量子化 是指均匀磁场中带电粒子的回旋轨道发生的量子化。这些带电粒子能量在一系列分立的数值中取值,形成朗道能级。朗道能级是简并的 ,每一能级上电子的电子数量与外加磁场的强度成正比[ 1] :267 。由朗道量子化可以得出外磁场会导致材料中电子性质的振荡[ 1] 。这一理论是由苏联物理学家列夫·朗道 于1930年提出的[ 2] 。
朗道量子化可以通过准经典的方法部分导出[ 1] :255-258 。这里采用量子力学 的方法进行推导:
考虑一个带电粒子组成的二维系统。这些粒子无内部相互作用,所带电荷为q ,自旋量子数为S ,并被限制在x-y 平面内一个面积A = Lx Ly 的区域内。
对这一系统施加一个沿z 轴的均匀磁场 B = ( 0 0 B ) {\displaystyle \mathbf {B} ={\begin{pmatrix}0\\0\\B\end{pmatrix}}} 。由于自旋对于这个二维系统没有影响[ 3] ,因而在下面的推导中将忽略自旋。在CGS 单位制下,这个系统的哈密顿算符 为:
H ^ = 1 2 m ( p ^ − q A ^ / c ) 2 . {\displaystyle {\hat {H}}={\frac {1}{2m}}({\hat {\mathbf {p} }}-q{\hat {\mathbf {A} }}/c)^{2}.} 式中 p {\displaystyle \mathbf {p} } 为正则 动量算符 , A ^ {\displaystyle {\hat {\mathbf {A} }}} 为磁场的磁矢势 ,与磁感应强度 的关系为:
B = ∇ × A ^ . {\displaystyle \mathbf {B} =\mathbf {\nabla } \times {\hat {\mathbf {A} }}.\,} 给定磁场的磁矢势具有一定的规范自由度。当 A ^ {\displaystyle {\hat {\mathbf {A} }}} 被添加一个标量场 的梯度 时,波函数 的整体相位也会随着标量场产生一定的变化,但由于哈密顿算符具有规范不变性 ,系统的物理性质并不受选定的规范影响。为了简便计算,这里选择朗道规范 :
A ^ = ( 0 B x 0 ) . {\displaystyle {\hat {\mathbf {A} }}={\begin{pmatrix}0\\Bx\\0\end{pmatrix}}.} 式中B =|B |,x 为位置算符x 方向上的分量。
在这一规范下,系统的哈密顿算符为:
H ^ = p ^ x 2 2 m + 1 2 m ( p ^ y − q B x ^ c ) 2 . {\displaystyle {\hat {H}}={\frac {{\hat {p}}_{x}^{2}}{2m}}+{\frac {1}{2m}}\left({\hat {p}}_{y}-{\frac {qB{\hat {x}}}{c}}\right)^{2}.} 算符 p ^ y {\displaystyle {\hat {p}}_{y}} 与这一哈密顿算符是对易 的。这是因为在选定规范时,算符 y ^ {\displaystyle {\hat {y}}} 被忽略掉了,因而算符 p ^ y {\displaystyle {\hat {p}}_{y}} 可被它的本征值ħky 替代。
如果设定回旋频率 ωc = qB/m ,那么可以得出此时哈密顿算符为:
H ^ = p ^ x 2 2 m + 1 2 m ω c 2 ( x ^ − ℏ k y m ω c ) 2 . {\displaystyle {\hat {H}}={\frac {{\hat {p}}_{x}^{2}}{2m}}+{\frac {1}{2}}m\omega _{c}^{2}\left({\hat {x}}-{\frac {\hbar k_{y}}{m\omega _{c}}}\right)^{2}.} 这与量子谐振子 的哈密顿算符基本一致,但势能的最小值需要在位置表象 中移动x 0 = ħky /mωc 。
注意到谐振子势能的平移并不会影响到系统的能量,也就是说这一系统的能量与标准的量子谐振子一致:
E n = ℏ ω c ( n + 1 2 ) , n ≥ 0 . {\displaystyle E_{n}=\hbar \omega _{c}\left(n+{\frac {1}{2}}\right),\quad n\geq 0~.} 由于能量与量子数ky 无关,因而会存在一定的简并态 。
由于 p ^ y {\displaystyle {\hat {p}}_{y}} 与哈密顿算符是对易的,因而系统的波函数可以表示为y 方向上动量的本征值与谐振子本征矢 | ϕ n ⟩ {\displaystyle |\phi _{n}\rangle } 的乘积,但 | ϕ n ⟩ {\displaystyle |\phi _{n}\rangle } 也需要在x 方向上移动x 0 ,即:
Ψ ( x , y ) = e i k y y ϕ n ( x − x 0 ) . {\displaystyle \Psi (x,y)=e^{ik_{y}y}\phi _{n}(x-x_{0})~.} 总之,电子的状态可以通过n 与ky 这两个量子数表征。
朗道量子化所造成的效应只能在平均内能小于能级间差值,即kT ≪ ħωc 时才能被观测到。简单来说就是温度较低,外磁场较强。
每个朗道能级都具有一定的简并度,因为量子数ky 的取值情况为:
k y = 2 π N L y {\displaystyle k_{y}={\frac {2\pi N}{L_{y}}}} , 式中N 为整数。N 所允许的取值受到振子的运动中心坐标x0 的影响。振子的运动必须在系统范围内,也就是说0 ≤ x0 < Lx 。这给出了N 的取值范围:
0 ≤ N < m ω c L x L y 2 π ℏ . {\displaystyle 0\leq N<{\frac {m\omega _{c}L_{x}L_{y}}{2\pi \hbar }}.} 对于带电量q = Ze 的粒子来说,N 的上限可以表记为磁通量 的比值:
Z B L x L y ( h c / e ) = Z Φ Φ 0 , {\displaystyle {\frac {ZBL_{x}L_{y}}{(hc/e)}}=Z{\frac {\Phi }{\Phi _{0}}},} 式中 Φ0 = h/e 为磁通量的基本量子,Φ = BA 是系统的磁通量,面积A = Lx Ly 。
因而对于自旋为S 的粒子,每个朗道能级的简并度的最大值D 为:
D = Z ( 2 S + 1 ) Φ Φ 0 . {\displaystyle D=Z(2S+1){\frac {\Phi }{\Phi _{0}}}~.} 上述讨论只是在有限尺度内给出的粗略的结果,严格来说,谐振子解只对在x 方向上不受限的系统有效,如果系统尺度Lx 是有限的,那个方向上的束缚态条件会导致磁场中的非标准量子化情况。原则上,两个都是埃尔米特方程的解 。多电子对于朗道能级的填充仍是研究热点之一[ 4] 。
一般来说,朗道能级可以在电子系统中被观察到,其中Z =1,S =1/2。随着磁场增强,越来越多的电子会占据朗道能级。最高的朗道能级的占据情况会导致多种电子性质振荡,如德哈斯-范阿尔芬效应 及舒布尼科夫-德哈斯效应 。
如果考虑到塞曼效应 的话,那么每个朗道能级都会分裂为一对能级:一个为自旋向上的电子占据的能级,一个是自旋向下的电子占据的能级。此时每个自旋朗道能级的简并度就会是磁通量的比率:D = Φ/Φ0 。两个能级与分裂前的能级间隔是相同的: 2μB B = ħω 。然而在多个能级被占满时,系统的费米能 与基态的能量却是大致相同的,因为塞曼效应造成的影响,在这些能级相加时会被抵消掉。
在上面的推导过程中,x 与y 似乎并不对称。然而,考虑到系统的对称性,并没有物理量能表征这两个坐标的区别。在对x 与y 进行适当的内部变换后,可以得到相同的结果。
此外,上述推导中电子在z 方向上运动受限的情形尽管在实验中确实存在,如二维电子气 。但这一假设并不基本。如果电子在z 方向上可以自由移动,那么波函数还需要乘以一个因子exp(ikz z ),能量对应地需要加上(ħ kz )2 /(2m ) 。这一项会“填入”能级间隙,从而减小量子化的效果。但在垂直于磁场的平面x -y 上的运动仍是量子化的。
选定对称规范:
A ^ = 1 2 ( − B y B x 0 ) {\displaystyle {\hat {\mathbf {A} }}={\frac {1}{2}}{\begin{pmatrix}-By\\Bx\\0\end{pmatrix}}} 对于哈密顿算符进行去量纲 化:
H ^ = 1 2 [ ( − i ∂ ∂ x − y 2 ) 2 + ( − i ∂ ∂ y + x 2 ) 2 ] {\displaystyle {\hat {H}}={\frac {1}{2}}\left[\left(-i{\frac {\partial }{\partial x}}-{\frac {y}{2}}\right)^{2}+\left(-i{\frac {\partial }{\partial y}}+{\frac {x}{2}}\right)^{2}\right]} 实际值可以通过引入 q {\displaystyle q} 、 c {\displaystyle c} 、 ℏ {\displaystyle \hbar } 、 B {\displaystyle \mathbf {B} } 及 m {\displaystyle m} 等常数得出。
引入算符
a ^ = 1 2 [ ( x 2 + ∂ ∂ x ) − i ( y 2 + ∂ ∂ y ) ] {\displaystyle {\hat {a}}={\frac {1}{\sqrt {2}}}\left[\left({\frac {x}{2}}+{\frac {\partial }{\partial x}}\right)-i\left({\frac {y}{2}}+{\frac {\partial }{\partial y}}\right)\right]} a ^ † = 1 2 [ ( x 2 − ∂ ∂ x ) + i ( y 2 − ∂ ∂ y ) ] {\displaystyle {\hat {a}}^{\dagger }={\frac {1}{\sqrt {2}}}\left[\left({\frac {x}{2}}-{\frac {\partial }{\partial x}}\right)+i\left({\frac {y}{2}}-{\frac {\partial }{\partial y}}\right)\right]} b ^ = 1 2 [ ( x 2 + ∂ ∂ x ) + i ( y 2 + ∂ ∂ y ) ] {\displaystyle {\hat {b}}={\frac {1}{\sqrt {2}}}\left[\left({\frac {x}{2}}+{\frac {\partial }{\partial x}}\right)+i\left({\frac {y}{2}}+{\frac {\partial }{\partial y}}\right)\right]} b ^ † = 1 2 [ ( x 2 − ∂ ∂ x ) − i ( y 2 − ∂ ∂ y ) ] {\displaystyle {\hat {b}}^{\dagger }={\frac {1}{\sqrt {2}}}\left[\left({\frac {x}{2}}-{\frac {\partial }{\partial x}}\right)-i\left({\frac {y}{2}}-{\frac {\partial }{\partial y}}\right)\right]} 这些算符的对易关系为:
[ a ^ , a ^ † ] = [ b ^ , b ^ † ] = 1 {\displaystyle [{\hat {a}},{\hat {a}}^{\dagger }]=[{\hat {b}},{\hat {b}}^{\dagger }]=1} . 哈密顿算符可记为:
H ^ = a ^ † a ^ + 1 2 {\displaystyle {\hat {H}}={\hat {a}}^{\dagger }{\hat {a}}+{\frac {1}{2}}} 朗道能级序数 n {\displaystyle n} 是 a ^ † a ^ {\displaystyle {\hat {a}}^{\dagger }{\hat {a}}} 的本征值。
角动量z 方向上的分量为:
L ^ z = − i ℏ ∂ ∂ θ = − ℏ ( b ^ † b ^ − a ^ † a ^ ) {\displaystyle {\hat {L}}_{z}=-i\hbar {\frac {\partial }{\partial \theta }}=-\hbar ({\hat {b}}^{\dagger }{\hat {b}}-{\hat {a}}^{\dagger }{\hat {a}})} 利用其与哈密顿算符可对易,即 [ H ^ , L ^ z ] = 0 {\displaystyle [{\hat {H}},{\hat {L}}_{z}]=0} ,我们选定 L ^ z {\displaystyle {\hat {L}}_{z}} 的本征值 − m ℏ {\displaystyle -m\hbar } 为使 H ^ {\displaystyle {\hat {H}}} 与 L ^ z {\displaystyle {\hat {L}}_{z}} 对角化的本征函数。易见,在第 n {\displaystyle n} 个朗道能级上存在 m ≥ − n {\displaystyle m\geq -n} 。然而 m {\displaystyle m} 的值可能非常大。在下面将推导系统表现出的有限简并度。
使用 b ^ † {\displaystyle {\hat {b}}^{\dagger }} 可以使 m {\displaystyle m} 减小一个单位同时使 n {\displaystyle n} 保持不变,而 a ^ † {\displaystyle {\hat {a}}^{\dagger }} 则可以使 n {\displaystyle n} 增大一个单位,同时令 m {\displaystyle m} 减小一个单位。类比量子谐振子,可以得到:
H ^ | n , m ⟩ = E n | n , m ⟩ {\displaystyle {\hat {H}}|n,m\rangle =E_{n}|n,m\rangle } E n = ( n + 1 2 ) {\displaystyle E_{n}=\left(n+{\frac {1}{2}}\right)} | n , m ⟩ = ( b ^ † ) m + n ( m + n ) ! ( a ^ † ) n n ! | 0 , 0 ⟩ {\displaystyle |n,m\rangle ={\frac {({\hat {b}}^{\dagger })^{m+n}}{\sqrt {(m+n)!}}}{\frac {({\hat {a}}^{\dagger })^{n}}{\sqrt {n!}}}|0,0\rangle } 在朗道规范与对称规范下,每个朗道能级上的简并轨道分别以量子数ky 及 m {\displaystyle m} 表征,每个朗道能级上单位面积的简并度是相同的。
可以证明选定下面这个波函数时,也可以得到上面得到的结果:
ψ n , m ( x , y ) = ( ∂ ∂ w − w ¯ 4 ) n w n + m e − | w | 2 / 4 {\displaystyle \psi _{n,m}(x,y)=\left({\frac {\partial }{\partial w}}-{\frac {\bar {w}}{4}}\right)^{n}w^{n+m}e^{-|w|^{2}/4}} 式中 w = x + i y {\displaystyle w=x+iy} 。
特别地,对于最低的朗道能级,即 n = 0 {\displaystyle n=0} 时,波函数为任意一个解析函数 与高斯函数 的乘积: ψ ( x , y ) = f ( w ) e − | w | 2 / 4 {\displaystyle \psi (x,y)=f(w)e^{-|w|^{2}/4}} 。
进行这样的规范变换:
A → → A → ′ = A → + ∇ → λ ( x → ) {\displaystyle {\vec {A}}\to {\vec {A}}'={\vec {A}}+{\vec {\nabla }}\lambda ({\vec {x}})} 运动学动量的定义为:
π ^ = p ^ − q A ^ / c {\displaystyle {\hat {\pi }}={\hat {\mathbf {p} }}-q{\hat {\mathbf {A} }}/c} 式中 p ^ {\displaystyle {\hat {\mathbf {p} }}} 为正则动量。哈密顿算符是规范不变的,因而 ⟨ π ^ ⟩ {\displaystyle \langle {\hat {\pi }}\rangle } 与 ⟨ x ^ ⟩ {\displaystyle \langle {\hat {x}}\rangle } 也会在规范变换后保持不变,但 ⟨ p ^ ⟩ {\displaystyle \langle {\hat {\mathbf {p} }}\rangle } 会受到规范变换的影响。
为了考察规范变换带来的影响,设磁矢势为 A {\displaystyle A} 与 A ′ {\displaystyle A'} 时的量子态为 | α ⟩ {\displaystyle |\alpha \rangle } 与 | α ′ ⟩ {\displaystyle |\alpha '\rangle } 。
由于 ⟨ x ^ ⟩ {\displaystyle \langle {\hat {x}}\rangle } 和 ⟨ π ^ ⟩ {\displaystyle \langle {\hat {\pi }}\rangle } 是规范不变的,可以得到:
⟨ α | x ^ | α ⟩ = ⟨ α ′ | x ^ | α ′ ⟩ {\displaystyle \langle \alpha |{\hat {x}}|\alpha \rangle =\langle \alpha '|{\hat {x}}|\alpha '\rangle } ⟨ α | π ^ | α ⟩ = ⟨ α ′ | π ′ ^ | α ′ ⟩ {\displaystyle \langle \alpha |{\hat {\pi }}|\alpha \rangle =\langle \alpha '|{\hat {\pi '}}|\alpha '\rangle } ⟨ α | α ⟩ = ⟨ α ′ | α ′ ⟩ {\displaystyle \langle \alpha |\alpha \rangle =\langle \alpha '|\alpha '\rangle } 设算符 G {\displaystyle {\mathcal {G}}} 会使 | α ′ ⟩ = G | α ⟩ {\displaystyle |\alpha '\rangle ={\mathcal {G}}|\alpha \rangle } ,则:
G † x ^ G = x ^ {\displaystyle {\mathcal {G}}^{\dagger }{\hat {x}}{\mathcal {G}}={\hat {x}}} G † ( p ^ − e A ^ c − e ∇ → λ ( x ) c ) G = p ^ − e A ^ c {\displaystyle {\mathcal {G}}^{\dagger }\left({\hat {p}}-{\frac {e{\hat {A}}}{c}}-{\frac {e{\vec {\nabla }}\lambda (x)}{c}}\right){\mathcal {G}}={\hat {p}}-{\frac {e{\hat {A}}}{c}}} G † G = 1 {\displaystyle {\mathcal {G}}^{\dagger }{\mathcal {G}}=1} 综上所述:
G = exp ( i e λ ( x → ) ℏ c ) {\displaystyle {\mathcal {G}}=\exp \left({\frac {ie\lambda ({\vec {x}})}{\hbar c}}\right)}