Research Paper Notes on Superradiance

Page last edited 1,467 days ago
From Wei-Liang Qian
Jump to navigation Jump to search

Research Paper Notes on Superradiance

本文档除了包括推导,疑惑外,做读书重点的记录 <math></math>

文献列表

  • Klein's Paradox and its Resolution, Phys.Scripta 23 (1981) 1036, by A. Hansen and F. Ravndal
  • The Klein paradox and superradiance, Annals of Physics 181 (1988) 261, by C. A. Manogue
  • Radiation by uniformly moving sources, Physics-Uspekhi 39 (1996) 973, by V. L. Ginzburg
  • The many faces of superradiance, arXiv:gr-qc/9803033, by Jacob D. Bekenstein and Marcelo Schiffer
  • Reflection, Transmission, and Amplification of Sound by a Moving Medium, Jour. Acoustical Society of America 29(1957) 435, by Herbert S.
  • Interaction of a quantum field with a rotating heat bath, arXiv:1702.06231v2, by Rober Alicki and Alejandro Jenkins
  • A Modern Approach to Superradiance, arXiv:1609.06723v2, by Solomon Endlich and Riccardo Penco

Klein's Paradox and its Resolution, Phys.Scripta 23 (1981) 1036, by A. Hansen and F. Ravndal

这篇文章很精彩,它从量子力学,统计力学,二次量子化及波戈留波夫变换,和场论多个不同角度讨论了克莱因佯谬.

(3-4)

这里的结果以及之后的(15-16)都可以用标准量子力学的做法得到,比如参见苏汝铿量子力学一维势垒(2.8.1)的解法.具体就是利用波函数和波函数的导数在<math>x=0</math>点连续的条件.波函数的形式可以参见Cardoso超辐射的综述一文的(3.4)和(3.13).结果已验证,这里略去具体计算.但是,我们特别指出这里透射系数与Cardoso或者Manogue的文章不同,是用概率流的比值来定义的,具体参见这个维基页的定义.考虑到这个区别,这里波函数的振幅用<math>R,T</math>而非<math>\mathcal{R},\mathcal{T}</math>来标记.

求解过程中涉及的区别仅仅是对应的方程为克莱因高登方程与狄拉克方程,而非薛定谔方程,但是由于平面波解的形式是一致(或者类似)的,具体计算过程没有本质区别. 具体的,按本文的定义,对克莱因高登方程,反射与透射振幅都可以表达为入射振幅的函数,即

<math>{R}=\frac{p-q}{p+q}{I}=\frac{1-\kappa}{1+\kappa}{I}</math>
<math>{T}=\sqrt{\frac{q}{p}}\frac{2p}{p+q}{I}=\frac{2\sqrt{\kappa}}{1+\kappa}{I}</math>

而反射与透射系数分别为

<math>\rho\equiv \left(\fracTemplate:RTemplate:I\right)^2=\left(\frac{1-\kappa}{1+\kappa}\right)^2</math>
<math>\tau\equiv \left(\fracTemplate:RTemplate:I\right)^2=\frac{4\kappa}{(1+\kappa)^2}</math>

不失一般性,文中取了<math>I=1</math>.

为了方便不同文献间的比较阅读,对波色子的情况我们这里具体列出两个定义的差别.对波色子

<math>I=\mathcal{I}</math>
<math>{R}=\frac{1-\kappa}{1+\kappa}{I}=\mathcal{R}</math>
<math>{T}=\frac{2\sqrt{\kappa}}{1+\kappa}{I}=\sqrt{\frac{|q|}{|p|}}\mathcal{T}</math>
<math>\kappa=\frac{q}{p}</math>

对费米子

<math>I=\mathcal{I}</math>
<math>{R}=\frac{1-\kappa}{1+\kappa}{I}=\mathcal{R}</math>
<math>{T}=\frac{2\sqrt{\kappa}}{1+\kappa}{I}=\sqrt{\frac{|p|}{|q|}\frac{|E-eV+m|}{|E+m|}}\mathcal{T}</math>
<math>\kappa=\frac{q}{p}\frac{E+m}{E-eV+m}</math>

满足克莱因高登方程的波色子数学上有四个独立的解,其中两个解是物理的,对应入射波从左边或者右边进入系统在势场边界上反射与透射情况.上面给出的解对应从左边入射的情况.问题对波色子与费米子所有的解在文章的附录中给出.对于解的归一正交性的证明,本笔记没给出,但是推导过程可以参考Manogue文献中(6)的讨论.

(14)

这里是退一步,用相对论形式的经典力学来讨论克莱因佯谬问题的经典解,但是其中仍然涉及到群速度的概念.

按(13),我们有<math>\frac{E}{m}=\dot{i}_A=\dot{i}_B+\frac{eV}{m}</math>.

不失一般性,我们考虑<math>E>m>0</math>以及<math>eV>0</math>.方程(2)可以改写为<math>(E-eV)^2=m^2+q^2</math>,所以对实数<math>q</math>,我们要求<math>E>eV+m</math>或者<math>E<eV-m</math>,换言之,<math>|E-eV|>m</math>.

我们按三个区域来讨论.

首先,当势场满足<math>eV<m</math>时,由于<math>E>m</math>,我们有<math>eV<E</math>,故<math>\dot{i}_B>0</math>. 这时对任何实数<math>q</math>,都能找到对应的实数<math>E</math>.

其次,当势场满足<math>eV<2m</math>时,由<math>E>m</math>,易证<math>eV-E<m</math>.由(14),我们得到<math>\dot{i}_B>-1</math>. 另一方面,当<math>eV>E</math>时,由于<math>0<(eV-E)<m</math>,按上述(2)的讨论,<math>q</math>没有实数解,同时我们有<math>eV>m</math>和<math>\dot{i}_B<0</math> 但实际上,如果我们从一个更宽泛的条件<math>eV>m</math>出发,若假设<math>E<2m</math>,同样有<math>(eV-E)=(eV-m)+(m-E)>(0)+(-m)=-m</math>.同样满足上述(2)中<math>q</math>没有实数解的充分条件.这时<math>\dot{i}_B < 1</math>. 所以我们得到结论,在此情况下,必然存在某个入射能量满足<math>2m>E>m</math>,此时<math>q</math>没有实数解. 综上,当<math>m<eV<2m</math>,我们得到<math>-1<\dot{i}_B< 1</math>,注意到其中的上限与文中给出的数值一致. 这时,由(8),群速度也不再是实数.

最后,当势场继续增大并满足<math>eV>2m</math>,由于<math>eV-m=(eV-E)+(E-m)>m</math>,同样,我们总能找到(满足<math>E>m</math>但)足够(小)的能量,使得<math>eV-E>m</math>. 这时<math>q</math>存在实数解.这时<math>\dot{i}_B< -1</math>,与文中给出的数值一致. 按(8),此时粒子的运动速度的分母为负,换言之粒子群速度与<math>q</math>反号.注意到,这是在势场中运动的粒子而非真空中被反射的粒子,换言之,真实粒子的运动方向应该是向右的.

(16)

由(7),<math>\rho+\tau=R^2+T^2=1</math>.按(3-4)的讨论,在<math>\kappa<0</math>时,<math>T</math>为纯虚数,<math>\tau<0</math>,故<math>T^2=-|T|^2</math>.

(17)

按附录或者文章中的讨论,在<math>z>0</math>区域的波函数<math>n_1\sim e^{iqz}</math>.按(14)的讨论,此时<math>\kappa</math>或者透射系数<math>\tau</math>与<math>q</math>反号,群速度(8)与<math>q</math>也反号.由于入射粒子<math>p</math>为正,由波函数的解<math>q</math>亦为正,群速度(8)为负,这就是文中表述为向左运动的入射反粒子,同时对应的透射系数也为负.

进一步的理解,特别是完成本文的阅读后,我们指出,(17)并不是在边界条件上波函数连续的条件.按本文附录,(17)中的<math>p_1,p_2,n_1</math>分别都是波动方程在全空间的解,它们满足波动方程且在势场边界<math>z=0</math>满足波函数与一阶导数的连续条件.(17)表达的是这些解的三个解满足的一个线性关系.这个关系存在是因为<math>p_1,n_1</math>其实已经构成了一组正交完备基,故任何函数<math>p_2</math>可以表达为它们的线性组合,而因为<math>p_1,p_2</math>在<math>z<0</math>真空区域满足入射和出射波的条件,<math>n_1</math>在<math>z>0</math>势场区域满足反粒子入射波的条件,与上述讨论的物理问题一致,进一步因为<math>p_1,p_2,n_2</math>在全空间满足波函数与一阶导数的连续条件,在<math>z=0</math>这一点上必然同样满足上述条件,故<math>T,R</math>必然就是量子力学阶梯势问题的透射与反射振幅.

最后我们简单定性说明为什么因为<math>p_1,n_1</math>能够构成了一组正交完备基.可以这样理解,如果是傅里叶变换,那么频率<math>p</math>需要是实数才能展开任意(平方可积)函数.在这里我们考虑<math>z>0</math>区域为<math>p>0</math>的平面入射波,为了满足波动方程,在<math>z<0</math>区域的波函数并非为简单的出射(透射)波,而是必须包括出射以及(从未来的)入射波,这就是附录中的<math>p_1</math>.按上面讨论比较傅里叶变换,这样只包括了一半的基.在此基础上我们第二类基,它在<math>z<0</math>区域为<math>q>0</math>的(从未来的)平面入射波,而相应在<math>z>0</math>区域包括入射与出射波,这就是附录中的<math>n_1</math>.这包括了剩余的一半的基.综上,不难理解<math>p_1,n_1</math>可能构成一组正交完备基.又参见Manogue文献(4ab)的讨论以及(6)的具体证明.

(22)

通过引入另一个解,它(按以上讨论,在全空间而并非仅仅是边界上)满足(20),它在物理上的解释在这里不甚明白,相比较,与之后(56)的讨论似乎更为清晰.比如说,文中提到的"未来入射波"的具体涵义在场论的框架下似乎更为明确.

从数学上说,这里通过两组解的线性组合,抵消掉势场中的上述向左运动的入射反粒子,而得到物理上有意义的向右运动的出射反粒子.抵消后的结果在边界上是(21).因为入射波的振幅为1,故反粒子出射波的振幅就是它的产率.

利用<math>T,R</math>的具体形式,容易得到(22)等式的第二步,它就是把<math>\tau=T^2</math>表达式中的<math>\kappa\to -\kappa</math>并取绝对值.

(23)

这里把(19)解读为正负粒子对湮灭概率,这个概率等于真空中粒子对产生概率,因为这两个过程由同一个费曼图顶角决定.在此意义上,(23)是真空中产生的反粒子的平均数.

这个数组先除以<math>C\omega</math>,再对<math>\omega</math>积分后为

<math>\int d\omega(1+2\omega+3\omega^2+\cdots)=\omega+\omega^2+\omega^3+\cdots=\frac{\omega}{1-\omega}</math>

故这个数组为上述结果对<math>\omega</math>的导数乘以<math>C\omega</math>

<math>\bar{n}=C\omega\frac{d}{d\omega}\left(\frac{\omega}{1-\omega}\right)=\frac{C\omega}{(1-\omega)^2}</math>

(32)

这一部分,文中利用波戈留波夫变换的方法得到波函数的关系,这里最重要的结果是(38).

这里,(29-30)本质上定义了一个由自由空间与势场中的波函数构成的完备的正交空间,而这里讨论的问题中涉及两个这样的空间,它们分别由入射与出射波(由下标12标记)构成.

接着,我们把任意态的在两组基上展开,即写成(31).把系数视为产生消灭算符,而把态视为场算符.这就是本文所谓的二次量子化.

因为两组基分别都是完备的,所以对应的两组产生消灭算符之间必然存在线性关系,这就是(32).而其中的系数,比如(33),可以通过在(32)的左右两边左乘等式右边算符的复共轭并在真空态上求期待值得到.本质上(33-34)无非就是两组基之间的线性关系的具体表述.我们注意到,这里涉及的基和内积的定义,都受到正交完备性的限制,并不是平庸的,具体参见文章的附录.

(36-37)

这里,(36)是由1空间的产生消灭算符的正交完备关系(35)得到的,而(37)由2空间属性决定.它们导致了展开系数(33-34)满足的关系,换言之,这四个系数并不是独立的.

(38)

如文中所述,我们再次将(32)带回场算符的表达式,得到了波函数满足的关系.而其中的(38c)正与之前讨论的(17)对应.

注意到这些关于波函数间的展开关系是严格的,并非只在势场的边界点<math>z=0</math>处成立.

(41)

这个关系式未能具体证明.

(43-44)

这就是把(36-37)利用(41)重新表达,但是这个结果有更为直接的物理上的后果.

(45-47)

最后一部分,文章从场论的角度来讨论克莱因佯谬.具体的,利用S矩阵方法计算相关的散射振幅,从而进一步计算本文中涉及的相关物理量,比如真空中粒子对产生概率,真空激发粒子平均数等.

按定义,不论是单粒子态,多粒子态还是真空态,其<math>|\mathrm{in}\rangle</math>与<math>|\mathrm{out}\rangle</math>空间的态之间的内积被定义为S矩阵的矩阵元.

在文中,指标1用于标记<math>|\mathrm{in}\rangle</math>态,而指标2用于标记<math>|\mathrm{out}\rangle</math>态.这样才能保证<math>\langle \mathrm{out}|\mathrm{in}\rangle=\langle \mathrm{in}|S|\mathrm{in}\rangle</math>这个S矩阵的定义.

我们指出,在量子场论中,由于存在某种相互作用,使得无限过去的<math>|\mathrm{in}\rangle</math>空间的真空态<math>|\mathcal{O}_1\rangle</math>演化到无限将来并不等于<math>|\mathrm{out}\rangle</math>空间的真空态<math>|\mathcal{O}_2\rangle</math>.类似的,在真空态<math>|\mathcal{O}_1\rangle</math>上通过产生算符增加了某些单粒子状态后经过无限长时间的演化,体系并不等于在真空态<math>|\mathcal{O}_2\rangle</math>上增加相应的粒子态.因此,我们在相互作用图像中考虑相互作用顶点对体系演化的贡献,计算<math>|\mathrm{in}\rangle</math>与<math>|\mathrm{out}\rangle</math>空间中粒子态的散射振幅.在这里,这种相互作用并不存在,我们也无法通过相互作用顶角计算相关的散射振幅.实际上,我们能够计算散射振幅是因为我们解析的知道<math>|\mathrm{in}\rangle</math>与<math>|\mathrm{out}\rangle</math>空间与相应粒子产生消灭算符的具体关系(32).

(50)

这是把之前的展开关系(32a)作用在真空<math>|\mathcal{O}_1\rangle</math>上,并利用(49)即得.注意到,<math>|\mathrm{in}\rangle</math>与<math>|\mathrm{out}\rangle</math>态就是之前波戈留波夫变换方法中涉及的两个不同的基1和2,所以可以利用这个展开关系.

(51-52)

这是粒子产生过程的散射振幅,故我们考虑初态真空态<math>|\mathcal{O}_1\rangle</math>与含有粒子对的末态<math>|b_2^\dagger a_2^\dagger\mathcal{O}_2\rangle</math>的内积.这就是等式的第一步.

等式第二步就是利用了(50),粒子产生消灭算符的对易关系,以及真空到真空的散射振幅的定义(52).后者被定义成指数形式,是因为考虑了连接真空图的贡献<math>W</math>.

(53-54)

这里概率等于散射振幅的模的平方,这里利用了之前导出的关系(42).而(54)仅仅是简单的数学结果,因为<math>iW</math>在(52)的指数上,所以<math>W</math>的实部对应幅角,在对(52)取模时没有任何贡献.

如文中指出,这个结果与之前推导(23)时的讨论完全一致.

(55)

这里文中有typo,这个式子应该是<math>\langle\mathcal{O}_2|a_2 a_1^\dagger|\mathcal{O}_1\rangle</math>.这点可以从代入(32a)后得到(56)的结果确认.

(56-58)

等式右边的第一项,从数学上看正比与真空到真空的散射振幅,文中称为直接散射.但是从它算符的来源来看,它是<math>|\mathrm{in}\rangle</math>空间真空与<math>|\mathrm{out}\rangle</math>空间的出射态与入射态的内积.注意到后者的物理意义很蹊跷,因为入射态一般应该属于<math>|\mathrm{in}\rangle</math>空间.

而等式右边的第二项,正比于正反粒子对产生过程(51),其中注意到对易关系<math>b_2 a_2=-\epsilon a_2 b_2</math>.

由于末态中并没有在势场中产生反粒子,故文中指出,从物理上说,上述两个过程(费曼图或者散射振幅)贡献之和,才对应于(55)中讨论的弹性散射过程.故在某种意义上,第二项中<math>|\mathrm{out}\rangle</math>空间里势场中的反粒子出射末态是用于抵消第一项中<math>|\mathrm{out}\rangle</math>空间里真空中粒子的入射末态.坦诚而言,具体解释不清楚.

最后,带入之前的结果(51-52),我们得到(56)的右边为

<math>\left(A^*+\epsilon B^*(-\epsilon)\left(-\frac{B}{A}\right)\right)\langle\mathcal{O}_2|\mathcal{O}_1\rangle=\left(\frac{A^*A+\epsilon B^*B}{A}\right)\langle\mathcal{O}_2|\mathcal{O}_1\rangle=\left(\frac{1}{A}\right)e^{iW}</math>

其中最后一步利用了(36).

(59)

文中指出,之前统计力学分析中用到的概率归一在场论的语言中体现为S矩阵的幺阵性.这只需在(59)左侧的算符乘积中插入完整的<math>|\mathrm{out}\rangle</math>空间的基,再用<math>|\mathrm{out}\rangle</math>空间真空<math>|\mathcal{O}_2\rangle</math>在两边相夹求期待值.容易想象,等式左边,所有的非零贡献都对应于不同数目的正负粒子对产生的过程,而等式右边是1.这就是(24).

(60)

这里与(51)的计算类似,但很不相同,后者是要计算<math>|\mathcal{O}_1\rangle</math>在演化后,得到<math>|a_2^\dagger b_2^\dagger\mathcal{O}_2\rangle</math>的概率.

这里是要计算粒子数算符<math>\hat{n}_2=a_2^\dagger a_2</math>在真空<math>|\mathcal{O}_1\rangle</math>演化后的态上的期待值.显然,上述态并不是<math>|\mathrm{out}\rangle</math>空间的真空态<math>|\mathcal{O}_2\rangle</math>,否则我们不可能得到任何非平庸的真空粒子对产生.实际上,仔细思考后发现,这个态正是<math>|\mathcal{O}_1\rangle</math>,这是因为我们在海森堡(相互作用)图像内工作.由此,我们得到表达式(60).

(61)

将(32c)代入,注意到只有<math>\tilde{B}^*b_1^\dagger</math>项才有贡献.并利用(41)与(39-40)即得这个结果.

The Klein paradox and superradiance, Annals of Physics 181 (1988) 261, by C. A. Manogue

这篇文章从场论与波戈留波夫变换为主要出发点,讨论克莱因佯谬与超辐射.

(4ab)

这里给出了从左向右入射以及从右向左入射的,以构造数学上的完备基.这个做法与Hansen文献中完备基的选择类似.我们注意到,在表面上,透射波的波矢的符号在两篇文献中有所不同.而实际上,如本文(5)下方的讨论中指出的,波矢符号其实应该由物理上有意义的波包群速度决定(由文中可知,这是由波尔提出的,在克莱因的最早的讨论中已被采用),而后者还与<math>\omega</math>所在区域与势场的渐进行为有关.在此意义上,这种定义上的不确定性是在所难免的,因为波包的具体符号往往与所讨论问题的具体细节有关.

这里给出的是三维空间(或者四维闵可夫斯基时空)中的解,因为体系具有平移不变性,故与一维问题比较,这组解没有本质区别.

Fig.1

除了用水平线划分出区域I-IV外,图中给出的曲线是势场形式,它在两头<math>x\to\pm\infty</math>分别趋近于<math>\pm\frac{eV}{2}</math>,在中间部分可以有比较随意的函数形式.

(5)

结合Fig.1,首先考察在势场渐进区域<math>x\to\pm\infty</math>的性质. 在<math>x\to +\infty</math>有(5)的第二式,易知,如果<math>r</math>为实数,则<math>\omega > \frac{eV}{2}+\sqrt{k^2+m^2}</math>或者<math>\omega < \frac{eV}{2}-\sqrt{k^2+m^2}</math>,这对应区域I和区域III,IV,V.而在区域II中<math>r</math>为虚数.对区域III,IV,V可给出类似的讨论,即<math>q</math>为实数对应I,II,III,V区域,<math>q</math>为虚数对应IV区域.

接着文中给出讨论,入射波(4a)成立的条件是入射波对应的<math>q</math>不能为虚数,故只能对应区域I,II,III,IV.

最后,文中提到一个重要的思想,<math>q,r</math>的符号是无法由(5)决定的,也不能人为指定,而是应该由问题中涉及的物理上有意义的波包群速度决定.

(6)

按文中给出的内积的定义,如果我们直接利用度规空间的高斯定理(如参见Eric Poisson进阶广义相对论(3.3.1)),可以把面积分化为体积分,这样(我们用<math>\sim</math>取代原文中的<math>'</math>以避免混淆)

<math>\int_\Sigma d\Sigma_\mu(w^*{\tilde{w}^\mu}-\tilde{w}{{w^*}^\mu}) =\int dV (w^*{\tilde{w}^\mu}_\mu-\tilde{w}{{w^*}^\mu}_\mu)=\int dV \left\{w^*\left[((\omega-e\Phi)^2-k^2)\tilde{w}+\frac{d^2}{dx^2}\tilde{f}(x)\right]-\tilde{w}^*\left[((\omega-e\Phi)^2-k^2)w+\frac{d^2}{dx^2}f(x)\right]\right\}=\int dV m^2(w^*\tilde{w}-\tilde{w}^* w)=0</math>.

其中我们在第一步等号中利用了运动方程(2),并代入了波函数<math>w_{\mathrm{in}}</math>的一般表达式(3)上面一式,但不涉及<math>f(x)</math>的具体形式(4ab),最后一步等式利用了<math>f(x)</math>满足的方程方程(3).不难注意到,即便仅仅利用克莱因高登方程(2),我们同样可以得到上述结论.

在此意义上,内积结果始终为零.这与书中的结论直接有矛盾.我们知道,在实际计算中,物理上我们需要引入一个满足正交归一性的内积定义(6). 下面我们先尝试按文中的定义具体计算这个内积,再对所得结果给出讨论.

首先,我们把积分曲面取为类时的,即

<math>(w,\tilde{w})=-i\int (w^*\nabla_0 \tilde{w}-\tilde{w}\nabla_0 w^*)dxdydz=\int \left[(\omega-e\Phi)+(\tilde{\omega}-e\tilde{\Phi})\right]w^* \tilde{w}dxdydz</math>

这里我们需要具体考虑波函数的形式,即(3-4).进一步,对<math>\int dydz</math>的积分,由于积分<math>\int d\mathbf{y}\frac{1}{(2\pi)^2}e^{i\mathbf{k}\cdot\mathbf{y}}=\int dydz\frac{1}{(2\pi)^2}e^{i(k_y y+k_z z)}</math>,得到因子<math>\delta^2(\mathbf{k}-\mathbf{\tilde{k}})</math>.而与频率有关的因子<math>\delta(\omega-\tilde{\omega})</math>更为复杂些.

考虑(6)的第一式,即<math>\vec{w}_{\mathrm{in}}</math>的正交归一.若仅仅考虑入射波,则情况较为简单,我们存在积分

<math>\int \frac{1}{2\pi}dx e^{i(q-\tilde{q})x}=\delta(q-\tilde{q})=\mathrm{det}\left|\frac{d\omega}{dq}\right|\delta(\omega-\tilde{\omega})=\epsilon\frac{|q|}{\omega+eV/2}\delta(\omega-\tilde{\omega})</math>.

上述计算中利用了<math>\delta</math>函数的换元公式.上述积分范围形式上为全空间,物理上可以理解为对局域非常接近平面波的波包积分.

注意到如文中所述,我们实际上的确只需对入射波的部分进行归一.上述结果中<math>\epsilon</math>就是(6-7)中出现的因子,分子上<math>|q|</math>与归一因子<math>\vec{N}</math>中的相应项抵消,而考虑到频率与势场必须相等的条件,<math>\vec{N}</math>中的因子<math>2</math>与上式分母中的<math>(\omega+eV/2)</math>因子正好与前面<math>(w,\tilde{w})</math>表达式中的<math>[(\omega-e\Phi)+(\tilde{\omega}-e\tilde{\Phi})]=2(\omega-e\Phi)</math>因子相消.因此我们具体证明了文中的结果(6).

我们注意到,在上述计算<math>\int dx</math>的过程中,虽然我们没有完全严格的对全空间积分,但是对<math>\int dydz</math>部分产生的<math>\delta^2(\mathbf{k}-\mathbf{\tilde{k}})</math>因子明确的提示这个计算结果与高斯定理得到的结果本质上不同.仔细考察计算过程,我们注意到在当前的问题中,波函数并不在四维时空边界上消失,这导致上述对高斯定理的使用并不是正确的.我们唯一可以确信的,是内积<math>(w,\tilde{w})</math>是一个洛伦兹不变量,故而,如文中所述,我们可以方便的选择类时曲面以完成积分的具体计算.

(12)

如文中的讨论,这里涉及到存在外势场时场算符的展开表达式.其中频率的正负号以及归一系数的符号是问题的关键.在本文中,前者的积分范围将直接写成正负无穷大范围中被色散关系(5)所允许的对应范围,注意到,这能够在势场消失时回到一般场论的场算符展开形式.另外,归一系数的符号直接影响到对应产生消灭算符的对易关系.

我们注意到按(5),对于<math>x<0</math>区域,<math>\omega</math>为实数的区域对应于<math>|\omega|>m</math>的两个区域被势场抬高了<math>eV/2</math>,分别对应区域I,和区域III,IV,V.这种外势场造成的平移,使得我们不能简单的用<math>\omega</math>的正负号来判断,比如在上面的例子中,原本对应反粒子的频率<math>\omega</math>就会同时涉及正负区域.因此,(12)中对频率的积分不可能统一写成零到无穷大.但是,另一方面,因为上述积分在势场为零时必须与标准场论中场算符的展开形式一致,因此在(12)式中的频率范围在积分后本质上仍只能包括全部实域的一半.

另外,(12)中的求和以及积分,除了频率<math>\omega</math>,二动量<math>\mathbf{k}</math>外,还涉及<math>\leftrightarrow</math>.二动量中的<math>k_y,k_z</math>分量的范围同样是正负无穷大,而<math>q,r</math>只能包含一个方向,因为最后一个指标<math>(\leftarrow,\rightarrow)</math>正对应波函数解(4ab)中从左边及右边入射的情况.但是如文中所述,在某些区域,<math>q,r</math>的符号取决于群速度,故不总是正号,因此在(12)中形式上也取为正负无穷大的范围.

最重要的,我们尝试讨论一下(12)导致的产生消灭算符的对易关系. 对于场论的标准做法,可以参见Mandl&Shaw一书的相关内容及笔记.

我们首先反过来,证明从产生消灭算符的对易关系可以得到场算符的对易关系,这个证明相对简单. 由文中(12)的定义

<math>\phi(x)=\sum\limits_{\leftrightarrow}\int d\omega d^2k[a_{\mathrm{in}}(\omega,k,\leftrightarrow)u_{\mathrm{in}}(\omega,k,\leftrightarrow|x)+b^\dagger_{\mathrm{in}}(\omega,k,\leftrightarrow)v_{\mathrm{in}}(\omega,k,\leftrightarrow|x)]</math>.

按共轭场算符的定义,我们有

<math>\pi\equiv \frac{\partial\mathcal{L}}{\partial\phi_{,0}}=-{{\phi^*}_,}^0=\dot{\phi}^\dagger=\sum\limits_{\leftrightarrow}\int d\omega d^2k[a^\dagger_{\mathrm{in}}(\omega,k,\leftrightarrow)\dot{u}^*_{\mathrm{in}}(\omega,k,\leftrightarrow|x)+b_{\mathrm{in}}(\omega,k,\leftrightarrow)\dot{v}^*_{\mathrm{in}}(\omega,k,\leftrightarrow|x)]</math>.

其中,由(2)上面一式,具体的我们有

<math>{u_{\mathrm{in}}}_{,0}(\omega,k,\leftrightarrow|x)\equiv {\dot{u}_{\mathrm{in}}}=(\partial_0-ieA_0){u_{\mathrm{in}}}=(-i\omega-ieA_0){u_{\mathrm{in}}}=(-i\omega+ie\Phi){u_{\mathrm{in}}}=-i(\omega-e\Phi){u_{\mathrm{in}}}</math>
<math>{u^*_{\mathrm{in}}}_{,0}(\omega,k,\leftrightarrow|x)\equiv {\dot{u}^*_{\mathrm{in}}}=(\partial_0+ieA_0){u^*_{\mathrm{in}}}=i(\omega-e\Phi){u^*_{\mathrm{in}}}</math>
<math>{{u^*_{\mathrm{in}}}_{,}}^0(\omega,k,\leftrightarrow|x)=(\partial^0+ieA^0){u^*_{\mathrm{in}}}=-i(\omega-e\Phi){u^*_{\mathrm{in}}}=-{u^*_{\mathrm{in}}}_{,0}=- {\dot{u}^*_{\mathrm{in}}}</math>

注意到,运算中交换偏导和复共轭的顺序不会改变最后的结果.

我们指出,由于势场的存在,对应于正反粒子的波函数<math>u_{\mathrm{in}},v_{\mathrm{in}}</math>下面的关系是不等式(等式不成立)<math>u^*_{\mathrm{in}}(\omega,k,\leftrightarrow|x)\ne v_{\mathrm{in}}(\omega,k,\leftrightarrow|x)</math>.考虑正反粒子和入射方向同时改变时,我们有下面的不等式<math>\dot{v}_{\mathrm{in}}(\omega,k,\rightarrow|x)\ne -\dot{u}_{\mathrm{in}}(\omega,k,\leftarrow|x)</math>,<math>\dot{v}_{\mathrm{in}}(\omega,k,\rightarrow|x)\ne-\dot{u}_{\mathrm{in}}(\omega,k,\rightarrow|x)</math>.在验证上述关系时,我们考虑了入射波区域的波矢,标势,以及反粒子的频率与正粒子频率的关系.但是,我们指出,虽然由于势场的存在,反粒子的频率可正可负,但是它必须在势场为零是正数.实际上,注意到正粒子与反粒子的频率是成对出现的,它们满足<math>\pm(\omega-e\Phi)</math>,因此我们有关系<math>\dot{v}_{\mathrm{in}}(\omega,k,\leftrightarrow|x)=-(\omega-e\Phi)v_{\mathrm{in}}(\omega,k,\leftrightarrow|x)</math>.

我们需要证明的场算符对易关系是

<math>[\phi(t,x,y),\pi(t,x',y')]=[\phi(t,x,y),\dot{\phi}^\dagger(t,x',y')]=i\delta(x-x')\delta(y-y')</math>.

将产生消灭算符的对易关系代入上述对易式后,发现剩余的波函数部分具有形式

<math>

\sum\limits_{\leftrightarrow}\sum\limits_{\leftrightarrow'}\int d\omega d\omega' d^2k d^2k'(u_{\mathrm{in}}(\omega,k,\leftrightarrow|x)\dot{u}^*_{\mathrm{in}}(\omega',k',\leftrightarrow'|x')[a_{\mathrm{in}}(\omega,k,\leftrightarrow),a^\dagger_{\mathrm{in}}(\omega',k',\leftrightarrow')]+v_{\mathrm{in}}(\omega,k,\leftrightarrow|x)\dot{v}^*_{\mathrm{in}}(\omega',k',\leftrightarrow'|x'))[b^\dagger_{\mathrm{in}}(\omega,k,\leftrightarrow),b_{\mathrm{in}}(\omega',k',\leftrightarrow')]+0+0</math>

<math>

=\sum\limits_{\leftrightarrow}\int d\omega d^2k(u_{\mathrm{in}}(\omega,k,\leftrightarrow|x)\dot{u}^*_{\mathrm{in}}(\omega,k,\leftrightarrow|x')-v_{\mathrm{in}}(\omega,k,\leftrightarrow|x)\dot{v}^*_{\mathrm{in}}(\omega,k,\leftrightarrow|x'))</math>

注意到上述表达式与波函数内积的定义有相似之处但不仅相同,其实上述形式是"正负"频率基<math>u_{\mathrm{in}}(\omega,k,\leftrightarrow|x),v_{\mathrm{in}}(\omega,k,\leftrightarrow|x)</math>的完备性形式.换言之,

<math>\sum\limits_{\leftrightarrow}\int d\omega d^2k \left[u_{\mathrm{in}}(\omega,k,\leftrightarrow|x)\left(u_{\mathrm{in}}(\omega,k,\leftrightarrow|x'),{w}_{\mathrm{in}}(\omega',k',\leftrightarrow'|x')\right)- v_{\mathrm{in}}(\omega,k,\leftrightarrow|x)\left(v_{\mathrm{in}}(\omega,k,\leftrightarrow|x'),{w}_{\mathrm{in}}(\omega',k',\leftrightarrow'|x')\right)\right]</math>
<math>=\sum\limits_{\leftrightarrow}\int d\omega d^2k \left[u_{\mathrm{in}}(\omega,k,\leftrightarrow|x)\epsilon_{\leftrightarrow'}\delta(\omega-\omega')\delta^2(k-k')\delta_{wu}+ v_{\mathrm{in}}(\omega,k,\leftrightarrow|x)\epsilon_{\leftrightarrow'}\delta(\omega-\omega')\delta^2(k-k')\delta_{wv}\right]</math>
<math>=\left[u_{\mathrm{in}}(\omega',k',\leftrightarrow'|x)\delta_{wu}+v_{\mathrm{in}}(\omega',k',\leftrightarrow'|x)\delta_{wv}\right]</math>
<math>=\int dx' \delta^3(x-x')w_{\mathrm{in}}(\omega',k',\leftrightarrow'|x')</math>

注意到上式第一步<math>v_{\mathrm{in}}</math>前的负号来源于(6)中的<math>\epsilon</math>因子,即反粒子对应负的归一常数.而另一方面,

<math>\sum\limits_{\leftrightarrow}\int d\omega d^2k \left[u_{\mathrm{in}}(\omega,k,\leftrightarrow|x)\left(u_{\mathrm{in}}(\omega,k,\leftrightarrow|x'),{w}_{\mathrm{in}}(\omega',k',\leftrightarrow'|x')\right)- v_{\mathrm{in}}(\omega,k,\leftrightarrow|x)\left(v_{\mathrm{in}}(\omega,k,\leftrightarrow|x'),{w}_{\mathrm{in}}(\omega',k',\leftrightarrow'|x')\right)\right]</math>
<math>=\sum\limits_{\leftrightarrow}\int d\omega d^2k (-i\int d^3x')\left[u_{\mathrm{in}}(\omega,k,\leftrightarrow|x)\left( u^*_{\mathrm{in}}(\omega,k,\leftrightarrow|x')\dot{w}_{\mathrm{in}}(\omega',k',\leftrightarrow'|x')-\dot{u}^*_{\mathrm{in}}(\omega,k,\leftrightarrow|x'){w}_{\mathrm{in}}(\omega',k',\leftrightarrow'|x')\right)- v_{\mathrm{in}}(\omega,k,\leftrightarrow|x)\left(v^*_{\mathrm{in}}(\omega,k,\leftrightarrow|x')\dot{w}_{\mathrm{in}}(\omega',k',\leftrightarrow'|x')-\dot{v}^*_{\mathrm{in}}(\omega,k,\leftrightarrow|x'){w}_{\mathrm{in}}(\omega',k',\leftrightarrow'|x')\right)\right]</math>
<math>=\sum\limits_{\leftrightarrow}\int d\omega d^2k (2i\int d^3x')\left[u_{\mathrm{in}}(\omega,k,\leftrightarrow|x)\left( \dot{u}^*_{\mathrm{in}}(\omega,k,\leftrightarrow|x'){w}_{\mathrm{in}}(\omega',k',\leftrightarrow'|x')\right)- v_{\mathrm{in}}(\omega,k,\leftrightarrow|x)\left(\dot{v}^*_{\mathrm{in}}(\omega,k,\leftrightarrow|x'){w}_{\mathrm{in}}(\omega',k',\leftrightarrow'|x')\right)\right]</math>
<math>=\sum\limits_{\leftrightarrow}\int d\omega d^2k (2i\int d^3x')\left[u_{\mathrm{in}}(\omega,k,\leftrightarrow|x)\dot{u}^*_{\mathrm{in}}(\omega,k,\leftrightarrow|x')- v_{\mathrm{in}}(\omega,k,\leftrightarrow|x)\dot{v}^*_{\mathrm{in}}(\omega,k,\leftrightarrow|x')\right]{w}_{\mathrm{in}}(\omega',k',\leftrightarrow'|x')</math>

其中利用了(6)式证明涉及到的,当内积不为零时两项的贡献一致的结果,

与上述结果相比,除了因子(-2)外,我们的确发现(无耻之尤)

<math>\sum\limits_{\leftrightarrow}\int d\omega d^2k (2i)\left[u_{\mathrm{in}}(\omega,k,\leftrightarrow|x)\dot{u}^*_{\mathrm{in}}(\omega,k,\leftrightarrow|x')- v_{\mathrm{in}}(\omega,k,\leftrightarrow|x)\dot{v}^*_{\mathrm{in}}(\omega,k,\leftrightarrow|x')\right]=\delta^3(x-x')</math>

而利用场论中的标准手续,我们首先证关系

<math> a(\omega,k,\leftrightarrow)=\int d^3x u^*_{\mathrm{in}}(\omega,k,\leftrightarrow|x)(i\dot\phi(x)+(\omega-e\Phi)\phi(x)) </math>
<math> b(\omega,k,\leftrightarrow)=\int d^3x v_{\mathrm{in}}(\omega,k,\leftrightarrow|x)(i\dot\phi^\dagger(x)+(\omega-e\Phi)\phi^\dagger(x)) </math>

利用

<math>\phi(x)=\sum\limits_{\leftrightarrow}\int d\omega d^2k[a_{\mathrm{in}}(\omega,k,\leftrightarrow)u_{\mathrm{in}}(\omega,k,\leftrightarrow|x)+b^\dagger_{\mathrm{in}}(\omega,k,\leftrightarrow)v_{\mathrm{in}}(\omega,k,\leftrightarrow|x)]</math>.
<math>\dot{\phi}(x)=\sum\limits_{\leftrightarrow}\int d\omega d^2k[a_{\mathrm{in}}(\omega,k,\leftrightarrow)\dot{u}_{\mathrm{in}}(\omega,k,\leftrightarrow|x)+b^\dagger_{\mathrm{in}}(\omega,k,\leftrightarrow)\dot{v}_{\mathrm{in}}(\omega,k,\leftrightarrow|x)]

</math>

<math>=\sum\limits_{\leftrightarrow}\int d\omega d^2k[-i(\omega-e\Phi)a_{\mathrm{in}}(\omega,k,\leftrightarrow)u_{\mathrm{in}}(\omega,k,\leftrightarrow|x)+i(\omega-e\Phi)b^\dagger_{\mathrm{in}}(\omega,k,\leftrightarrow)v_{\mathrm{in}}(\omega,k,\leftrightarrow|x)]

</math>. 以及

<math>\phi^{\dagger}(x)=\sum\limits_{\leftrightarrow}\int d\omega d^2k[a{\dagger}_{\mathrm{in}}(\omega,k,\leftrightarrow)u^*_{\mathrm{in}}(\omega,k,\leftrightarrow|x)+b_{\mathrm{in}}(\omega,k,\leftrightarrow)v^*_{\mathrm{in}}(\omega,k,\leftrightarrow|x)]</math>.
<math>\dot{\phi}^{\dagger}(x)=\sum\limits_{\leftrightarrow}\int d\omega d^2k[i(\omega-e\Phi)a^{\dagger}_{\mathrm{in}}(\omega,k,\leftrightarrow)u^*_{\mathrm{in}}(\omega,k,\leftrightarrow|x)-i(\omega-e\Phi)b_{\mathrm{in}}(\omega,k,\leftrightarrow)v^*_{\mathrm{in}}(\omega,k,\leftrightarrow|x)]

</math>.

<math>

\int d^3x u^*_{\mathrm{in}}(\omega,k,\leftrightarrow|x)(i\dot\phi(x)+(\omega-e\Phi)\phi(x)) </math>

<math>

=i\sum\limits_{\leftrightarrow'}\int d\omega' d^2k' a_{\mathrm{in}}(\omega',k',\leftrightarrow') \int d^3x (u^*_{\mathrm{in}}(\omega,k,\leftrightarrow|x)\dot{u}_{\mathrm{in}}(\omega',k',\leftrightarrow'|x)-\dot{u}^*_{\mathrm{in}}(\omega,k,\leftrightarrow|x){u}_{\mathrm{in}}(\omega',k',\leftrightarrow'|x)) </math>

<math>

=-\sum\limits_{\leftrightarrow'}\int d\omega' d^2k' a_{\mathrm{in}}(\omega',k',\leftrightarrow')(u_{\mathrm{in}}(\omega,k,\leftrightarrow|x),{u}_{\mathrm{in}}(\omega',k',\leftrightarrow'|x)) </math>

<math>

=-a(\omega,k,\leftrightarrow) </math> 在上式的推导中,不难发现由于正交关系(6),<math>b^\dagger(\omega,k,\leftrightarrow)</math>前的系数正好抵消(没有具体写出),而<math>a(\omega,k,\leftrightarrow)</math>前的系数正好给出正交关系.但是最后结果差了一个负号.

利用上述结果计算比如<math>[a_{\mathrm{in}}(\omega',k',\leftrightarrow'),a^\dagger_{\mathrm{in}}(\omega,k,\leftrightarrow)]</math>容易发现也差了一个因子2,具体的,结果是之前有个<math>1/2</math>因子.与之前的结果一致.综上,文中(12)前面似乎的确差了因子<math>\frac{1}{\sqrt{2}}</math>.

(17ab)

注意到这里与(4ab)的区别是动量(且群速度)的方向相反但频率不变,(4ab)与对应的反粒子的区别是动量方向不变但频率相反.与其他文献一样,(17ab)被定义为<math>|\mathrm{out}\rangle</math>空间,是另一组完备基.

(22)

容易发现,这个结果就是守恒流零分量的期待值(13)直接有关.

同时,这个结果与之前Hansen得到的结果是一致的,具体讨论参见Cardoso综述的笔记.

比较费米子的结果,即正文部分最后一个公式.等式右边包含四个透射振幅,这是因为旋量场波函数含有四个独立分量.在有的文献中,通过对波函数形式的特殊化取法,只写出一个透射振幅.

Radiation by uniformly moving sources, Physics-Uspekhi 39 (1996) 973, by V. L. Ginzburg

这是Ginzburg关于这个题目给出的一个讲座的总结.

(9-10)

真空中的方程(9)没有解与QED中不存在外线在质壳上的三线顶角树图的结果一致.而媒质放宽了"质壳"的要求,使得问题(10)存在解.

(14)

利用洛伦兹变换矩阵,并注意到<math>\omega(\theta)=k</math>,从<math>\omega(\theta)\to \omega_{00}</math>,就是对光子四动量的零分量,即频率的洛伦兹变换<math>\omega_{00}\equiv\omega'=\omega\gamma-k\cdot(\gamma v/c)=\omega(1-(v/c)\cdot\hat{k})</math>.

The many faces of superradiance, arXiv:gr-qc/9803033, by Jacob D. Bekenstein and Marcelo Schiffer

(9)

这里从之前的质点运动学关系(6-8)出发,把质点视为热力学体系,把随动系中的质量解读为随动系中的内能,考虑热力学体系不涉及外力做功而仅包含辐射的热量交换形式,这样得到内能与熵的关系,从而进一步得到熵随时间的变化(9).

(11)

等式右边第一项<math>\ln</math>中是强度量,但是粒子数是通过粒子流强度乘以面积和频率间隔,在取了对数后占主导的就是它.如文中所述,在辐射主导熵变的情况下,这部分贡献并不重要.

(12)

在计算熵变,如果入射粒子流占主导,其贡献远大于自发(热)辐射对的影响,那么,(9)式的第一项中去掉正定的因子外的部分必须大于零,这就是(12).

这个结果从物理上把反常多普勒效应与超辐射联系起来.如文中所述,吸收系数为负,反射系数大于1.这就是超辐射.我们注意到,这个推导中仅涉及经典物理:相对论,能动量守恒,宏观物理辐射与反射模型,热力学第二定律.并没有涉及量子力学的运动方程以及反粒子.

文中指出,经典范畴内的超辐射对应于量子力学中的受激辐射,后者可通过微扰论进行讨论,参见如Sakurai高等量子力学.同时,在量子力学中,我们知道受激辐射与自发辐射可通过热平衡条件联系起来,得到爱因斯坦关系.在经典情况下,这个关系正对应了,通过热力学第二定律建立起来的,反常多普勒效应与超辐射的关系.但是,爱因斯坦关系是建立在热平衡前提下的,而一般情况下,运动中的超辐射系统并不处于热平衡.

(14)

这个在金兹伯格条件附近的展开是指<math>a</math>在该点为零点.

文章指出,我们可以排除掉<math>a</math>在该点附近为奇点从而改变符号的可能.由热力学第一定律,不可能吸收比入射更多的粒子,系数系数小于1.如果为奇点,<math>a</math>必须发散,这个条件不可能被满足.退一步来说,即便由于某种特殊的量子效应吸收系数大于1,也不可能趋于无穷大.

(15)

由(14)的零点,<math>\omega=v\cdot k=vk \cos\theta</math>,注意到<math>v\equiv v_{\mathrm{g}}</math>,<math>\frac{\omega}{k}=v_{\mathrm{ph}}=\frac{c}{n}</math>,以及<math>c=1</math>.最后注意到波前的张角与辐射波矢角度互补,有<math>\sin\Theta_C=\cos\theta=\frac{1}{vn}</math>.

对于这个例子,文中指出,对基本粒子而言,无内部自由度,静质量不变,所以反常多普勒效应只可能发生在上述角度.另外,上述论述只考虑了能动守恒,而由II.A的讨论,不同角度(指锥面上角度的不同)的光子的发射对应于熵增,所以的确是自发过程.

(20)

值得指出,类似于在媒质中的超光速运动,因为物体的运动速度是大于这些声子的速度,即声速,按(20),虽然声子的方向与物体运动速度方向的夹角必须小于一个角度,换言之,声子向前运动并被以超辐射的形式放大,它们仍然落后于物体,按这个思路,考虑到(19)中证明了自发超辐射处于物体身后的"马赫锥"的锥面上,不难发现这些超辐射声子必然处于马赫锥之中.这是对文中前面部分对马赫锥内部区域的声学涨落的物理解释.我们指出,对超辐射的这些理解源于对经典体系运动学,所以与马赫锥能联系上是很自然的结果.这部分文字读来颇有朗道的教材的大师风范.

(22)

与之前的讨论相比较,旋转物体的超辐射涉及到两个不同之处.第一是电子波的角动量.第二是旋转物理的内能(热力学中内能不包括整体转动),角动量与总能量的关系.

对于第一点,Jackson的经典电动力学(9.144)附近的讨论来源于电磁波的球谐函数展开分量的磁矩的直接计算.书中同时给出了其量子力学解释,即单位光子能量对应能量<math>\hbar\omega</math>携带<math>z</math>方向角动量<math>m\hbar</math>.

(23)

参见朗道力学(39.13).我们注意到,在(39.13)的推导中,旋转的非惯性系无非是作为一种广义坐标来处理的,而拉式力学对任何广义坐标成立.

(27abc)

两阶完全反对称张量<math>F^{\alpha\beta}</math>包括6个独立分量,当<math>\beta=0</math>时,对应电场,当<math>\alpha,\beta</math>都取类空分量时,对应磁场.因为物质的四速度为<math>u^\beta</math>,所以在它的随动系中<math>F^{\alpha\beta}u_\beta</math>是电场,<math>H^{\alpha\beta}u_\beta</math>是电位移矢量<math>D^\alpha</math>,<math>\rho u_\beta</math>对应四电流零分量.

而按这个思路<math>*F^{\alpha\beta}u_\beta</math>的<math>\alpha</math>(空间)分量应该为<math>\frac12\varepsilon^{\alpha\beta\gamma}F_{\beta\gamma}</math>,其中<math>\varepsilon^{\alpha\beta\gamma}</math>为(空间)三阶完全反对称张量.其中因子<math>\frac12</math>是因为两个完全反对称张量的缩并,结果中所有项都被重复了一次.不难发现<math>*F^{\alpha\beta}\equiv \frac12 \varepsilon^{\alpha\beta\gamma\delta}F_{\gamma\delta}</math>.如果<math>\beta=0</math>那么空间部分的反对称张量就是上面讨论中涉及的因子.

(29)

容易验证,这个协变四速度是从对应的逆变四速度通过度规升降指标获得,且满足归一条件.

(30a-f)

这些等式的第一步等号就是直接将(28-29)代入(27ab).

而第二步等号给出的定义并不平庸,物理和数学上都有一些意义.原则上,这里涉及两个问题.

我们先给出一些简单的,但是具体计算中经常用到的数学形式.柱坐标中的电磁场表达式为

<math>

\vec{E} = - \left( \frac{\partial V}{\partial r} + \frac{\partial A_r}{\partial t} \right)\hat{r} \ - \left( \frac{1}{r}\frac{\partial V}{\partial \phi} + \frac{\partial A_\phi}{\partial t} \right)\hat{\phi} - \left( \frac{\partial V}{\partial z} + \frac{\partial A_z}{\partial t} \right)\hat{z} </math> 和

<math>

\vec{B} = \left( \frac{1}{r}\frac{\partial A_z}{\partial \phi} - \frac{\partial A_\phi}{\partial z} \right)\hat{r} \ +\left(\frac{\partial A_r}{\partial z} - \frac{\partial A_z}{\partial r} \right)\hat{\phi} \ +\frac{1}{r}\left(\frac{\partial (r A_\phi)}{\partial r} - \frac{\partial A_z}{\partial r} \right)\hat{z}. \ </math> 平直空间的柱坐标中的度规为

<math>(g_{\mu \nu})=

\begin{pmatrix} -1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & r^2 & 0\\ 0 & 0 & 0 & 1 \end{pmatrix},</math> 它的逆为

<math>(g^{\mu \nu})=

\begin{pmatrix} -1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 1/r^2 & 0\\ 0 & 0 & 0 & 1 \end{pmatrix}.</math>

第一个问题是从直角坐标到柱坐标的变换带来的问题.这个问题的关键在于注意到柱坐标中的基矢并不是单位矢量,具体操作中,<math>E_\phi</math>被定义为电场沿着<math>\hat{\phi}</math>方向上的分量,并不对应任何矢量或者一形式的分量.具体的讨论参见比如Schutz的广义相对论引言第五章的最后部分.这里,我们计算电磁张量的一个分量,比如(30a)中的<math>F^{02}</math>,并把它与上述<math>E_\phi</math>比较,由于坐标基<math>\vec{e}_2=r\hat{\phi}</math>,对应平直空间中的情况,我们有<math>F^{02}=E^2=\frac{E_\phi}{r}</math>.这与(30a)形式上完全一致.我们指出,这一点与弯曲空间本质上无关,但是与张量的定义和变换形式密切相关.

具体的讨论参见这个stackexchange问题和解答.

第二个问题来源于如何计算随圆柱转动的坐标系中的电磁场,这是非惯性系,度规也不在对应平直空间.在实验室坐标系中,我们可以利用平直度规(28)计算电磁场协变与逆变分量的关系,而在转动坐标系中,计算还进一步涉及到从实验室到转动坐标系的坐标变换.后者的度规,如果取圆盘中心为坐标原点,可以参考朗道经典场论(第五版)的(89.2).

<math>ds^2=-(1-\Omega^2r^2)dt^2+2\Omega rd\phi dt+dr^2+r^2d\phi^2+dz^2</math>

这个度规可以由实验室坐标系中柱坐标的度规

<math>ds^2=-d{t'}^2+d{r'}^2+{r'}^2d{\phi'}^2+d{z'}^2</math>

通过坐标变换得到,只需注意到<math>t'=t,r'=r,z'=z,\phi'=\phi+\Omega t</math>,代入即得上述度规.如书中所述,常数场与静态场是不同的(参见(88.1)附近的讨论),旋转体对应的度规是常数度规(度规不依赖于时间),但并非静态(度规对时间反演不变,这样<math>g_{0\alpha}</math>不全为零)的.书中进一步指出,对于时间空间度规交叉分量不为零的坐标系,无法定义世界时间(坐标系不同空间点之间对钟的规定).

如何在上述非惯性系或者弯曲空间中合理的定义电磁场,并得到表达式(30a-f)第二步等号的内容,牵涉到一个在前面讨论中估计被忽略的要点. 因为<math>F^{02}</math>实际上是一个两阶张量(的分量),而<math>E^2</math>是一个一阶张量(的分量,或逆变矢量),所以两者相等的关系,即便在平直空间中成立,是不可能在任意坐标系中成立的. 实际上,上述质疑是完全正确的.一般情况下,我们需要选择一个以四速度<math>u_\beta</math>运动的观测者,电磁场的定义,只有对这个观测者才是有具体涵义的.实际上,这个定义就是(27abc).

显然,在观测者的局域随动系,四速度是<math>(1,0,0,0)</math>,所以我们形式上回到了之前讨论的平直空间中的定义. 而在物理上一个非平庸的选择就是观测者在现有的坐标系中并不是静止的,这里(30a-f)中定义的电磁场就是相对于匀速转动的物体静止的观测者而言的. 与上述情况不同,在本文中等式右边的量<math>E_r,E_\phi,\cdots</math>并不是总被定义为沿着相应单位基矢方向的分量,而有时被定义为平直空间中柱坐标下的相应表达式的形式. 因为作为主观选择的定义,的确存在一定的任意性. 而文中指出,它们虽然不是张量,却是物理的,我们并不敢苟同(!)

最后我们简述表达式(30a-f)的推导.方程的左边是在实验系中给出的,它对应度规(28),利用电磁场的定义来得到等式最后一步的结果.注意到柱坐标的完全反对称张量中有个<math>\mathrm{det}\left(\frac{\partial(r,\theta,\phi)}{\partial(x,y,z)}\right)=\sqrt{|\mathrm{det}(g_{\mu\nu})|}=r</math>因子.

对(30a),按定义<math>E^2\equiv F^{2\mu}u_\mu=F^{20}u_0=F^{02}\gamma =\frac{\gamma}{r}E_\phi</math>,其中最后一步等式,是注意到<math>F^{02}\gamma=\gamma( \partial^0 A^2 - \partial^2 A^0 )= \gamma(-\partial_0 A^2 - \frac{1}{r^2}\partial_2 A^0) = -\frac{\gamma}{r}\frac{\partial A_\phi}{\partial t}-\frac{\gamma}{r^2}\frac{\partial V}{\partial \phi}=\frac{\gamma}{r}E_\phi</math>,其中<math>E_\phi=- \left( \frac{1}{r}\frac{\partial V}{\partial \phi} + \frac{\partial A_\phi}{\partial t} \right)</math>来自上述柱坐标中的形式,所以<math>F^{02}=r^{-1}E_\phi</math>.

对(30b),类似的<math>B^2\equiv \frac12 \varepsilon^{2\beta\gamma\delta}F_{\gamma\delta}u_\beta=\frac12 \varepsilon^{2 0 \gamma\delta}F_{\gamma\delta}u_0=\frac12 \varepsilon^{2013}F_{13}u_0-\frac12 \varepsilon^{2031}F_{31}u_0= \varepsilon^{2013}F_{13}u_0=r F_{13}u_0=r F^{13}u_0=r F_{13}(-\gamma)=r F_{31}\gamma=r \gamma{B_\phi}</math>其中最后一步,比较磁场在球坐标中的矢势表达式,<math>B_\phi=\left(\frac{\partial A_r}{\partial z} - \frac{\partial A_z}{\partial r} \right)</math>,这样得到了文中的结果.

对(30c),类似的<math>E^1\equiv F^{1\mu}u_\mu=F^{10}u_0+F^{12}u_2=F^{10}(-\gamma)+F^{12}(\Omega r^2\gamma)=(F^{01}+\Omega r^2F^{12})\gamma=E^1=E_r</math>,即得(30c).注意到这里无法打开表达式<math>F^{01},F^{12}</math>并与柱坐标下的表达式<math>E_r=- \left( \frac{\partial V}{\partial r} + \frac{\partial A_r}{\partial t} \right)</math>进行比较,而是直接借鉴平直柱坐标情况下的关系<math>E^1=E_r</math>.否则,若仅考虑占主导的<math>F^{01}</math>项,则将导致相差一个<math>\gamma</math>因子.

对(30d),类似的<math>B^1\equiv \frac12 \varepsilon^{1\beta\gamma\delta}F_{\gamma\delta}u_\beta=\frac12 \varepsilon^{1 0 \gamma\delta}F_{\gamma\delta}u_0+\frac12 \varepsilon^{1 2 \gamma\delta}F_{\gamma\delta}u_2=\varepsilon^{1032}F_{32}u_0+\varepsilon^{1203}F_{03}u_2= rF_{32}u_0+rF_{03}u_2=(F^{23}-F^{03}\Omega)r^3\gamma\equiv r^2{B_r}</math>,其中最后的定义与平直柱坐标下的关系<math>F^{23}=\frac1r \left( \frac{1}{r}\frac{\partial A_z}{\partial \phi} - \frac{\partial A_\phi}{\partial z} \right)=\frac1r B_r</math>有些类似但是和上面一样差了个<math>\gamma</math>因子.

因此等式右边最后一步不妨简单的接受为定义.又参见(34ab)的讨论.

(31ab)

以电场为例,这里(31a)相当于电场旋度为零,包含2个独立的方程;而(31b)相当于电位移矢量的散度为自由电荷密度,对应1个方程;总共2+1=3个方程对应电场的三个分量.

(32a-33d)

如文中所述,将<math>\phi'=\phi-\Omega t</math>代入试解形式,得到时间因子前面的系数是<math>(\omega-m\Omega)</math>,接着将对<math>\phi</math>偏导替换为<math>(im)</math>,即可推知运动方程.

对(32a),我们考虑<math>F_{[02,1]} =\partial_1F_{02}+\partial_0F_{21}+\partial_2F_{10}=-\frac{\partial (F^{02}r^2)}{\partial r}+\frac{\partial (F^{21}r^2)}{\partial t}+\frac{\partial F^{01}}{\partial \phi} =-\frac{\partial (F^{02}r^2)}{\partial r}+(-i\omega)(F^{21}r^2)+(im){ F^{01}}</math>,此即(32a).

(32bcd)等其他方程可以类似的证明.

对(33a),考虑等式右边,将(27c)取<math>\alpha=0</math>,并考虑(30a)中定义的<math>E_\phi</math>.最后等式左右都乘以<math>r</math>即得文中结果.注意到等式右边第二项漏了因子<math>(4\pi)</math>.

(33bcd)等其他方程可以类似证明.

(34ab)

这里讨论了方程的解.简单起见,在形式解<math>f(r)e^{i(m\phi+kz-\omega t)}</math>中取了<math>k=0</math>.按文中的讨论,逻辑是非常清晰的.但是本质上构造解的最初假定显示了高逼格的数学才能.

文中首先找到两支解,分别称为AE和AM模式.

针对AE模式,可以把所有的场分量与辅助变量表达为<math>F^{03}</math>的表达式,然后导出后者的径向方程为(37).

在这里我们讨论一下旋转媒质的性质是在哪里进入运动方程的,其实这就是(30a-f),因为介电常数和磁感应常数并不是指两个张量间成线性,而是在与媒质四速度缩并后才成正比的关系.容易理解,上述性质与(30)最后一步等式中定义的变量并无关系,后者仅仅是辅助变量而已.比较其他运动方程,比如(31),并不与媒质有关.

(39ab)

这就是用物理意义的(震荡的)实部来去掉震荡的复数.然后,如文中所述,求时间平均值.

(40)

这就是简单的把(39ab)相乘,注意到四项中两项在时间平均后为零,剩下的两项相因子部分正好抵消,得到(40).

(43)

这个结果就是对(41)积分,并代入了能量流的表达式(40).这个积分的先决条件是<math>\mu\ne 0</math>,否则流在原点发散,积分下限为<math>\frac00</math>不定式.

由朗道一书中由热力学第二定律得到的电导系数,介电系数和磁感应系数的性质,体系具有超辐射.这里再一次把超辐射与热力学第二定律联系了起来.

(45)

这就是(37)中的一个因子,使得圆柱内的方程(37)退化到圆柱外的真空方程(44).

(48ab)

这里的一个重要结论是,当没有耗散时,介电常数和磁感应常数为实数,而电导率为零.这是反射振幅<math>\rho</math>的模为1,故不存在超辐射.因为(48ab)是一般情况下的结果,所以在此意义上耗散是超辐射存在的必要条件.

注意到,耗散的物理本质是过程的不可逆性,这与本文之前基于热力学第二定律对超辐射条件的推导是完全自洽的.

Reflection, Transmission, and Amplification of Sound by a Moving Medium, Jour. Acoustical Society of America 29(1957) 435, by Herbert S. Ribner

这篇文献是关于流体力学或者空气动力学方面的超辐射的例子,相关计算在朗道的流体力学中也给出了讨论.我们知道,马赫锥是与超辐射紧密相关的,这与本文的结论是一致的.注意到,本文处理的是流体力学方程,而非粒子的能动量守恒关系.因此,从数学上看,本文与卡莱茵佯谬或者转动媒质的电磁波超辐射更为接近.

(1)

这里的问题假定见Fig.1.在实验室参照系中,上方媒质以速度<math>U</math>向右(我们称为<math>x</math>方向)运动,下方媒质静止.入射波从下方媒质中以入射角<math>\alpha</math>入射.如文中所述,入射波可能激发出涟漪.我们可以想象涟漪的起伏必然与入射波的波纹相匹配,具体的,两者的相邻波峰必然相互匹配.因此,涟漪中波峰沿着<math>x</math>轴的传播速度在入射波方向上的投影必然与入射波的传播速度相同.而因为入射波是以声速传播的,涟漪必然以超声速传播.

注意到,在一般情况下,涟漪的运动速度远远大于上述媒质的速度<math>U</math>,使得<math>U</math>仍然是超声速的.当<math>U</math>绝对值小于声速时,如文中论证,将发生全反射现象.

(3)

在空气动力学研究中,我们经常把客体(比如飞机的机翼)取为参照系.这里,我们把(激发出的)涟漪取为参照系.这时,上下媒质都以超声速向左运动,所以,如Fig.1右图所示,反射波与折射波在这个参照系中都对应着马赫锥(这里并非锥面但是物理意义是很类似的)角度.我们注意到,这两个角度的确定并不牵涉到任何动力学分析.

同时,利用实验室系中的反射定律(4)与相对速度的定义(2),我们得到了反射与折射角<math>\alpha',\alpha</math>如何被入射角<math>\alpha</math>与相对运动速度<math>U</math>决定的关系,即,移动媒质情况下的反射与折射定律.

我们附带指出,由(4),我们知道实验室系中的涟漪速度与<math>U'</math>(涟漪系中静止媒质的速度)绝对值相同,这是自然的.

(6)

这里<math>f</math>是波动的函数形式,重要的是其自变量反应了波的传播方向.波动的具体形式文章在,比如(15)式给出.

注意到这里并没有涉及时间振动因子.表面上,由于在边界上所有波的振动的时间依赖必须一致,否则不可能满足连续性条件,所以这个共同的时间因子可以被略去不写.但是这也意味着,本文不可能像朗道一书那样从色散关系的角度来讨论超辐射.

(7)

没有从网上找到Ackeret原理的具体阐述.与朗道一书中给出的推导比较,我们相信,这个关系由动力学决定,换言之,要从波动方程出发才能得到这个关系.

(8-9)

不难发现这里给出的两个边界条件与朗道一书中指出的边界条件完全一致.

Interaction of a quantum field with a rotating heat bath, arXiv:1702.06231v2, by Rober Alicki and Alejandro Jenkins

本文考虑粒子与旋转热源相互作用导致的超辐射.文章利用了密度矩阵,KMS条件,Markovian主方程等工具.并讨论了不少实例,包括海波与霍金辐射.

A Modern Approach to Superradiance, arXiv:1609.06723v2, by Solomon Endlich and Riccardo Penco

本文使用有效场论,讨论超辐射.值得好好学习呀!


本文档除了包括推导,疑惑外,做读书重点的记录 <math></math>