[论文解读] Series expansion of the overlap reduction function for scalar and vector polarizations for gravitational wave search with pulsar timing arrays

Adrian Boîtier, Tanguy Giroud+2 more|arXiv (Cornell University)|Nov 24, 2021

Pulsars and Gravitational Waves Research参考文献 9被引用 8

一句话总结

本文提出一种幂级数展开方法，无需依赖短波长近似，可解析计算脉冲星时标阵列（PTA）中标量（呼吸与纵向）及矢量极化模式的重叠归约函数（ORFs）。该方法首次给出了所有角度 φ 下纵向 ORF 的解析表达式，解决了长期存在的奇异性问题，并确认在 Lω→∞ 时 φ=0 处出现发散行为，同时与已有文献中关于矢量和呼吸模式的结果一致。

ABSTRACT

In our previous work \cite{PTA2} we calculated the overlap reduction function for the tensor polarization without employing the short wavelength approximation, this was done by obtaining a power series of nested sums which is valid for all gravitational wave frequencies and pulsar distances. In this work we generalize the power-series expansion method to vector and scalar polarizations. We have compared our expression for the breathing and vector modes with previous literature. We present for the first time analytic expressions for the overlap reduction function of the longitudinal mode for all angles between the pulsar pairs.

研究动机与目标

• 开发一种通用方法，用于计算脉冲星时标阵列中非张量引力波极化模式的重叠归约函数（ORFs）。
• 解决纵向极化 ORF 在 φ=0 且 Lω→∞ 时出现的奇异性问题，此前方法在此处失效。
• 将幂级数方法从张量模式推广至矢量和标量极化模式，实现所有频率和脉冲星距离下的解析计算。
• 通过预先计算级数项以实现复用，构建一种数值高效的框架。

提出的方法

• 利用复分析与留数定理，将幂级数方法从张量极化推广至矢量和标量模式。
• 将 ORF 被积函数表示为 z = e^{iϕ} 的复函数 fM(z)，从而实现对 ϕ 的围线积分。
• 将留数分解为两部分：一部分来自多项式 PM(z)（脉冲星项），另一部分来自指数相位项 E(z)，确保极点相互抵消。
• 推导出纵向（l）、呼吸（b）和矢量（V）模式下多项式部分 PM(z) 的显式表达式。
• 使用符号计算（Mathematica）推导并简化嵌套的幂级数展开式。
• 通过与 Lee 等人 [7] 的已知解析极限以及数值积分结果对比，验证了结果的正确性。

实验结果

研究问题

• RQ1 是否可以在不使用短波长近似的情况下，对所有角度 φ（包括 φ=0）解析计算纵向标量极化的重叠归约函数？
• RQ2 矢量和呼吸模式的 ORF 与现有文献相比如何，特别是在 φ=0 附近？
• RQ3 幂级数方法是否能成功抵消纵向和矢量模式被积函数中的极点，从而确保所有 Lω 和 φ 下的收敛性？
• RQ4 该方法能否推广为通过预先计算的级数项高效计算多种极化模式的 ORFs？

主要发现

• 本文首次给出了所有角度 φ 下纵向重叠归约函数的解析表达式，解决了长期存在的解析难题。
• 当 φ→0 时，纵向 ORF 随 Lω 线性发散，与先前预期一致，并通过完整的解析处理解决了奇异性问题。
• 矢量模式 ORF 在 φ=0 处随 Lω 对数发散，与 Lee 等人 [7] 的结果一致，反驳了 Chamberlin 和 Siemens [6] 声称其保持有限的观点。
• 在 Lω 较大时，呼吸模式 ORF 在 φ=0 处收敛于 2，符合物理直觉，并与张量模式行为一致。
• 该方法成功避免了短波长近似，确保了所有 Lω 和 φ 下积分的定义良好性，并通过预先计算的级数项实现了高效计算。
• 结果与 Lee 等人 [7] 在矢量和呼吸模式下表现出强一致性，但在 φ=0 附近与 Chamberlin 和 Siemens [6] 的结果存在分歧，揭示了文献中的一处矛盾。