Research Paper Notes on Gravitational Waves

Research Paper Notes on Gravitational Waves

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

文献列表

 * Kludge gravitational waveforms for a test-body orbiting a Kerr black hole, by Stanislav Babak et al., arXiv:gr-qc/0607007
 * The Gravitational Wave Stress-Energy (pseudo)-Tensor in Modified Gravity, by Alexander Saffer, Nicolás Yunes, and Kent Yagi, arXiv:1710.08863

Kludge gravitational waveforms for a test-body orbiting a Kerr black hole, by Stanislav Babak et al., arXiv:gr-qc/0607007
本文讨论EMRI极限下的引力波发射的计算.上述极限对应小质量客体绕大质量致密星体旋进的运动时发射的引力波,旋进运动可以基本视为测地线运动(以及对应的修正),而引力波发射通过解适当坐标下的爱因斯坦方程得到,后者等式右边的源,即能动张量,主要由小质量客体的运动所决定.

(1abcd)

注意到这里的测地线方程是坐标的一阶,而非二阶方程.这是因为自变量是纺射参数$$\tau$$的函数.方程的初始条件与(形式上为两阶的)测地线方程一样,仍然是初始时空坐标和对应的四速度.(c.f.这与正则坐标下哈密顿方程是一阶方程并无任何直接关系,因为这里仅涉及坐标的方程,而完全没有涉及到任何正则动量的方程.)

(10abc)

这里考虑的是对测地线方程的修正.

它可以有两个物理来源.按龚云贵老师的说法,由于引力波辐射的能量损失,造成粒子运动状态的变化.这可以类似经典电动力学中在电磁场中做加速运动的电子由于电磁辐射导致的运动状态的变化.比如在匀强磁场中运动的电子并不能保持圆周运动,因为后者是加速运动会导致韧致辐射,能量损失使得电子动量减少,运动轨迹发生变化.我们进一步给出两点讨论.第一,考虑到韧致辐射完全可以在平直空间中发生,这种机制本质上与弯曲空间无关,因为任何耗散机制都会引起其测地线方程的变化.第二,这种机制本质上不是任何经典理论可以描述的,经典电动力学虽然可以从能量守恒的角度对此作出讨论,但是真正能从第一性原理导出上述过程的是量子电动力学.一般的,这是因为任何经典理论,除了唯象的方法以外,无法第一性的导出耗散,或者粒子数不守恒的过程.

按赵文的说法,考虑爱因斯坦方程由于在外援微扰下度规的扰动.其零阶展开对应(粒子的)测地线方程.从测地线方程解出粒子的运动轨迹代回爱因斯坦方程,可以得到度规展开的一阶项所满足的方程.展开的一阶项对应引力波辐射,如果将得到的度规扰动的一阶项的解代回爱因斯坦方程,并保留到度规展开的二阶项,可以再次得到考虑了度规扰动的测地线方程.注意到,保留到度规展开一阶项的测地线方程(应该!?)是平庸的,这是因为考虑了粒子的作用量对度规的一阶展开系数为零,而(度规扰动的爱因斯坦)方程对应作用量对度规(扰动)的变分.

The Gravitational Wave Stress-Energy (pseudo)-Tensor in Modified Gravity, by Alexander Saffer, Nicolás Yunes, and Kent Yagi, arXiv:1710.08863
(7)

按最小作用量原理,这里的零阶背景和二阶微扰满足的方程对应于不同的初始条件(边界条件).这对应于Goldstein一书第二版P.365第8-6节中讨论的,虽然其上下文是针对粒子运动的情况.书中计算了不同的物理过程的作用量的差别,其中不同的物理过程的初末态显然是不同的.

而按刘云旗的提示,这里的问题可以按下面的方式来理解.把零阶的背景度规看做是度规,而把二阶微扰看做是物质场,两者之前是有非最小耦合的.这样,零阶作用量对背景度规的变分就得到没有物质场(即微扰)时度规满足的方程,把展开到二阶的作用量(即把作用量按各阶泛函微分,如同傅里叶级数的形式展开)对背景度规的变分得到存在微扰情况下(主要是针对相应的问题的边界条件)度规的方程.这时的方程相当于爱因斯坦方程,爱因斯坦张量等于能动张量,故与之前的情况比对,多出来的新的部分就是微扰,即引力波,对应的能动张量.

最后提及,把展开到二阶的作用量对物质场变分得到存在微扰情况下微扰满足的方程,即物质场的方程:克莱因高登方程等.另外对微扰的一阶变分对作用量无贡献,因为作用量对背景度规变分为零,这个条件意味着把背景度规代入一阶变分得到零.

(17)

这里考虑把爱因斯坦方程中把度规展开后,考虑一阶贡献对应的方程.

爱因斯坦方程的左边的爱因斯坦张量,按展开阶数,可以为零阶,一阶和二阶.因为没有物质场,等式右边对任何阶数都为零.其中零阶度规是闵可夫斯基度规.闵可夫斯基度规是平直空间的真空解,所以零阶背景度规对应的爱因斯坦张量自然的为零.

刘云旗说,(17)就是把爱因斯坦张量中的度规换为度规的一阶微扰得到的表达式.但是问题是这个表达式必须等价爱因斯坦张量的一阶项的贡献,所以其中必然还涉及到零阶度规的贡献啊?即便注意到度规就是闵可夫斯基张量,只会起到抬升和降低指标的作用,所以不会明显的出现,但是为什么这样得到的结果与直接代入度规的一阶项等价呢?戴德昌提示,爱因斯坦张量是联络的函数,而在某种指标选择下(选择只有下分量的联络),可以把联络写成只含有度规的导数的形式,而闵可夫斯基度规的导数都是零,故不出现.具体的表达式Wheeler的书里可能会有.

另外,对于一阶贡献,我们得到了一个可以把一阶微扰表达为横向无迹(TT)的规范形式,此即(21).

(18)

这里考虑爱因斯坦方程中把度规展开后,考虑两阶项贡献对应的方程.按爱因斯坦场方程,等式左边为爱因斯坦张量,右边为物质场能动张量.

现在把二阶项对爱因斯坦张量的两种贡献分别写到等式的左右两边.第一种贡献是来自二阶展开,第二种贡献来自一阶平方项.因为考虑的是二阶小量,不存在其他可能.

但是 为什么 一阶项的短波平均就是能动张量呢?戴德昌提示,这个结果并不是显然的,在Wheeler的书中有讨论和证明.

(32)

虽然(31)是守恒流的形式,但是为什么(32)中它的平均值是能动张量呢?刘云旗说,因为这时问题中唯一涉及到的守恒量.

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