本文以《loss cone.pdf》手写笔记为主线,统一符号、补全中间步骤,并区分严格恒等式、受控近似与模型假设。主要讨论黑洞主导的 Kepler 势、单质量恒星和非共振两体弛豫;最后扩展到二维能量—角动量演化及恒星穿盘耗散。
核心问题是:哪些轨道会被中心移除,恒星如何扩散进入这些轨道,以及移除与补给如何共同改变恒星分布?
推导顺序为
轨道几何⟶Rlc⟶(AR,BRR)⟶角动量扩散⟶Flc⟶N(E,t)⟶n(r,t).
这里有两条相互关联但不能混同的演化链:能量弛豫决定恒星在不同半长轴上的分布;角动量弛豫决定同一能量层内有多少恒星进入损失锥。
阅读路线:
- 第 1–3 节:背景与变量。 从 Kepler 轨道进入损失锥几何,再建立尖峰密度、能量分布和半长轴分布之间的联系。
- 第 4–5 节:核心推导。 从随机速度踢动推到角动量 Fokker–Planck 方程、对数分布和空损失锥通量。
- 第 6–8 节:有限周期与捕获率。 理解 q、有效边界、归一化及捕获率随半长轴的变化。
- 第 9 节:采样与密度重建。 将解析分布转换为轨道样本和可比较的空间密度。
- 第 10–13 节:时间演化。 处理二维倾斜边界、一维 sink 闭合、盘漂移及耗散率标度。
- 第 14–16 节:实现与一致性。 明确守恒、边界处理以及笔记中需要区分的概念。
1. 符号、分布函数与适用范围
1.1 统一采用正的束缚能
设黑洞质量为 M∙,单颗恒星质量、半径分别为 m⋆,R⋆。忽略恒星自引力对轨道势的贡献时,
Φ(r)=−rGM∙,ψ(r)≡−Φ(r)=rGM∙.
比机械能 E 为负,而正的比束缚能定义为
E=2v2+Φ=−2aGM∙,E≡−E=ψ−2v2=2aGM∙>0.(1)
因此 a 减小意味着 E 增大。后文所有能量通量均以增大 E 为正方向;若改用 E<0,必须同步转换导数、漂移和通量的符号。
比角动量记作 J=∣r×v∣,对应手写笔记中的 L。同能量圆轨道满足
Jc2(E)=GM∙a=2E(GM∙)2.
引入无量纲角动量
R≡Jc2J2=1−e2,0≤R≤1.(2)
用 r 表示空间半径,用 a 表示半长轴,用 R 表示角动量变量,避免将三者写成同一个 R。
径向周期在 Kepler 势中等于轨道周期,且与 R 无关:
P(E)=2πGM∙a3=(2E)3/22πGM∙.(3)
1.2 f、N 和 N 不是同一个量
采用数目相空间分布函数 f,使
dN⋆=f(r,v,t)d3rd3v.
在球对称且已对轨道相位平均的描述中,
N(E,R,t)=J(E,R)f(E,R,t),J=4π2PJc2.(4)
其中 NdEdR 是该轨道区间内的恒星数。因而:
| 量 | 定义/含义 |
|---|
| f | 每单位六维相空间体积的恒星数 |
| N(E,R) | 每单位 dEdR 的恒星数 |
| Nout(E) | 损失锥外每单位 dE 的恒星数 |
| Flc(E) | 每单位时间、每单位 dE 的移除数,规定为正 |
| n(r) | 每单位空间体积的恒星数 |
特别地,本文始终定义
Nout(E,t)=∫Rlc(E)1N(E,R,t)dR.(5)
它是角动量积分,不是除以区间长度之后的平均。后面处理有效边界时,这个积分下限不能随意改成 R0。
2. 从近心点条件得到损失锥边界
2.1 空间移除尺度
潮汐破坏尺度由黑洞潮汐加速度与恒星自引力比较得到:
rt3GM∙R⋆∼R⋆2Gm⋆⟹rt∼R⋆(m⋆M∙)1/3.
精确系数取决于恒星内部结构和潮汐破坏判据。用 rcap 表示与直接捕获相对应的有效尺度,可以在牛顿轨道模型中写
rlc=max(rt,rcap).
若关注强相对论捕获,应直接采用适当的临界角动量 Jcap,而不能把事件视界半径直接代入牛顿公式。人为设置的近心点截断也可用同样的数学边界描述,但不能自动解释为真实潮汐破坏尺度。
2.2 临界角动量
刚好擦过移除球面的轨道在近心点满足 rp=rlc、vr=0,因此
−E=2rlc2Jlc2−rlcGM∙,
从而
Jlc2=2GM∙rlc−2Erlc2=GM∙(2rlc−arlc2).(6)
在 a≫rlc 时,第二项相对较小,于是
Jlc2≃2GM∙rlc.
也可以直接从 rp=a(1−e) 得到
elc=1−arlc,
Rlc(a)=1−elc2=2arlc−(arlc)2≃a2rlc.(7)
式 (7) 的精确表达适用于 a≥rlc。当 a<rlc 时,所有轨道的近心点都已小于移除半径,不存在通常意义上的存活角动量区间,不能继续外推这个表达式。
损失锥轨道满足
R<Rlc⟺rp<rlc.
注意右边是近心点条件,不是恒星此刻的空间位置条件 r<rlc。位于较大半径的恒星也可以已经处在损失锥轨道上。
2.3 速度空间中的“锥”
在给定位置 r,令速度与径向的夹角为 θ,则
J=rvsinθ.
小角度时
θlc2≃r2v2Jlc2.
在黑洞主导区,取 v2∼GM∙/r,得到 θlc2∼rlc/r,这里仅表示尺度关系,具体系数取决于采用的速度。低角动量区域在速度空间呈锥状,这就是 loss cone 名称的来源。
3. 恒星尖峰、能量分布与半长轴分布
这一节建立后续损失锥计算所需的背景恒星库。仅给出 n(r),并不等于已经给出了 N(E,R)。
3.1 从 f(E)∝Ep 推出 n(r)
先考虑各向同性背景
f(E)=f0Ep,p>−1.
对速度积分:
n(r)=4π∫02ψf0(ψ−2v2)pv2dv.
取 x=v2/(2ψ),有
v2dv=2ψ3/2x1/2dx.
故
n(r)=4π2f0ψp+3/2∫01x1/2(1−x)pdx=4π2f0B(23,p+1)ψp+3/2.
由于 ψ∝r−1,
n(r)∝r−γ,γ=p+23.(8)
于是 p=1/4 对应
f(E)∝E1/4,n(r)∝r−7/4.(9)
这个关系要求 Kepler 势、各向同性和足够宽的幂律区间;有限的内外截断会改变边缘附近的密度形状。
3.2 为什么弛豫背景会出现 7/4 指数
先作尺度估计。两体弛豫时间满足
tr∼G2m⋆2nlnΛv3.
在 v∝r−1/2、n∝r−γ 的情况下,
tr∝rγ−3/2.
每个对数半径区间的恒星数为 dN⋆/dlnr∝nr3,每颗星的束缚能尺度为 GM∙m⋆/r。若通过弛豫传递的能量流近似与半径无关,
E˙heat∼tr(nr3)(GM∙m⋆/r)∝r7/2−2γ.
令指数为零得到 γ=7/4。
这是对指数的物理解释,不代替完整能量空间 Fokker–Planck 稳态解。它也没有假定数目流很大:尖峰的能量输运、近似零的能量空间数目流,以及角动量空间的有限捕获流,可以在相应近似下共存。
3.3 从能量分布到半长轴分布
各向同性时,固定 E 的 N 与 R 无关。Kepler 势下由式 (3)、(4),
J(E)=2π3(GM∙)3E−5/2.
对完整角动量区间积分,
dEdN⋆=Jf∝Ep−5/2.
利用 E=GM∙/(2a) 和绝对 Jacobian
dadE=2a2GM∙,
得到
dadN⋆=dEdN⋆dadE∝a1/2−p.(10)
所以 p=1/4 时
dadN⋆∝a1/4,dlnadN⋆∝a5/4.
虽然 4πr2n(r)∝r1/4 具有相同指数,但它描述空间壳层计数,不能用“令 r=a”来替代上述轨道相空间推导。两者的归一化和边界效应一般不同。
3.4 热偏心率分布
固定能量的各向同性分布满足 p(R∣a)=1。由 R=1−e2,
p(e∣a)de=p(R∣a)∣dR∣,p(e∣a)=2e,0≤e<1.(11)
因此“热偏心率”并不是令 e 均匀,而是令 e2 或 R 均匀。引入损失锥以后,存活恒星的偏心率分布还会发生改变。
4. 从随机散射到 Fokker–Planck 方程
4.1 二阶展开为何产生 drift 和 diffusion
暂时固定能量,记 w(y∣R) 为在短时间 Δt 内角动量变量变化 y=ΔR 的转移概率密度。粒子数守恒给出
N(R,t+Δt)=∫N(R−y,t)w(y∣R−y)dy.
将乘积在 R 处展开:
N(R−y)w(y∣R−y)=Nw−y∂R(Nw)+2y2∂R2(Nw)+⋯.
对 y 积分,并用 ∫wdy=1,得到
ΔtN(t+Δt)−N(t)=−∂R(NΔt⟨ΔR⟩)+21∂R2(NΔt⟨(ΔR)2⟩)+⋯.
在弱散射、Markov 和扩散近似下,定义单位时间矩
AR=Δt→0limΔt⟨ΔR⟩,BRR=Δt→0limΔt⟨(ΔR)2⟩,
得到
∂t∂N=−∂R∂(ARN)+21∂R2∂2(BRRN).(12)
这里的 drift 是一阶矩项;它可以来自变量变换的几何性质,并不一定意味着有外加耗散力。
4.2 低角动量时的一阶矩
在固定 r 的局部散射中,令 vt 为相对径向方向的二维切向速度。暂时忽略能量改变对 Jc 的影响,
R=Jc2r2vt2,
ΔR=Jc2r2(2vt⋅Δvt+∣Δvt∣2).
在 R≪1 的领先阶,切向踢动近似各向同性。定义
Bvt≡Δt→0limΔt⟨∣Δvt∣2⟩.
若忽略更高阶的系统切向漂移,线性项平均为零,故
ARlocal≃Jc2r2Bvt.(13)
即使 ⟨Δvt⟩=0,平方变量 vt2 的平均增量仍然为正。这就是一阶漂移不能直接删去的原因。
4.3 二阶矩以及关键的因子 2
计算 (ΔR)2 时,只保留平均后为 O(Δt) 的项:
BRRlocal≃Jc44r4Δt→0limΔt⟨(vt⋅Δvt)2⟩.
二维切向各向同性意味着沿任一切向轴的方差为总方差的一半,所以
⟨(vt⋅Δvt)2⟩=2vt2⟨∣Δvt∣2⟩.
代入 r2vt2/Jc2=R,得到
BRRlocal≃2RJc2r2Bvt=2RARlocal.(14)
这些是小 R、固定能量约化下的领先阶结果。包含能量变化的完整坐标变换还会产生额外漂移和交叉扩散项,不能由式 (13)、(14) 直接推定。
4.4 轨道平均与 D(E)
轨道平均按恒星在不同半径的停留时间加权:
⟨X⟩orb=P1∮Xdt=P2∫rpra∣vr∣X(r)dr.
定义
D(E)≡R→0lim2RBRRorb=R→0limPJc22∫rpra∣vr∣r2Bvtdr.(15)
于是
ARorb≃D,BRRorb≃2DR.
D 的量纲为时间的倒数,通常满足 D∼tr−1,但比例系数由轨道平均和背景分布决定。
4.5 drift 如何与扩散项组合
将上式代入式 (12),在固定能量下 D 与 R 无关:
∂tN=−D∂RN+D∂R2(RN)=−D∂RN+D(2∂RN+R∂R2N)=D∂R(R∂RN).
因此
∂tN=D(E)∂R(R∂RN).(16)
drift 没有消失,而是已经包含在这个保守形式中。若直接删去一阶矩,反而会多出错误的 D∂RN。
5. 通量、空损失锥与对数稳态
5.1 先固定通量符号
写成连续性方程
∂tN=−∂RFR,FR=−DR∂RN.(17)
若 N 随 R 增大,则 FR<0:恒星向更低角动量流动。定义正的损失率
Flc=−FR(Rlc)>0.(18)
5.2 空损失锥的吸收边界
若恒星一旦进入损失锥,在被散射出来之前就先经过近心点并被移除,可近似取
N(Rlc)=0.
准稳态角动量分布满足
∂R(R∂RN)=0,
逐次积分得到
R∂RN=C,N=ClnR+B.
利用吸收边界,B=−ClnRlc,故
N=ClnRlcR.
再用式 (5) 归一化,
Nout=C∫Rlc1lnRlcRdR=C[RlnRlcR−R]Rlc1=C[lnRlc1−1+Rlc].
因此
N(R∣E)=ln(1/Rlc)−1+RlcNoutln(R/Rlc).(19)
这一归一化在所采用的对数模型内是精确的;将小 R 扩散系数一直外推到 R=1 本身仍是一种近似。
5.3 空损失锥通量
由 ∂RN=C/R,
Flc=DC=ln(1/Rlc)−1+RlcDNout≃ln(1/Rlc)DNout.(20)
末式要求 ln(1/Rlc)≫1。它表示:一个弛豫时间内,进入损失锥的只是能量层中大约 1/ln(1/Rlc) 的恒星。
5.4 “稳态”需要补给,或只能理解为局部准稳态
式 (19) 有非零的恒定向内通量,因此也要求大角动量端有补给。若同时要求封闭系统的 FR(1)=0、没有源项且 ∂tN=0,则恒定通量只能为零;再结合吸收边界,只剩零解。
因此应区分:固定外部恒星库支持的真正稳态;以及总恒星数缓慢减少、低角动量区已经接近对数形状的局部准稳态。不能将非零通量的严格稳态与封闭反射边界同时使用。
6. 空/满损失锥:时间尺度与 q
6.1 角动量改变时间可以比能量弛豫时间短
由 BRR=2DR,要使 R 改变自身量级,所需时间约为
tR∼BRRR2∼DR∼Rtr,
这里省略了定义依赖的阶一系数。于是损失锥边缘有
tR,lc∼DRlc≪tr.
这解释了为什么一个系统的能量分布尚未充分弛豫,低角动量分布仍可能已接近准稳态。
6.2 定义与物理意义
定义
q(E)≡Rlc(E)P(E)D(E).(21)
在边界附近,一个周期内的方差为
⟨(δR)2⟩P≃2DRlcP=2qRlc2.
因此 q 衡量单次轨道周期内的扩散相对于损失锥宽度的强弱,也有尺度关系
q∼(JlcδJ)2∼tR,lcP.
| 区间 | 物理图像 | 边界处理 |
|---|
| q≪1 | 单周期扩散小;进入后通常先被移除 | 近似 N(Rlc)=0 |
| q≫1 | 单周期可反复跨过边界;角动量补给较快 | 需有限周期边界层 |
满损失锥不表示黑洞持续吞掉所有恒星,而表示低角动量区的占据接近未耗尽的分布。
6.3 满损失锥率与有限区间归一化
若固定能量层的各向同性分布为 Niso,损失锥内共有 NisoRlcdE 颗恒星。每个周期移除一次的估计给出
Ffull≃PNisoRlc.
因为 Nout=Niso(1−Rlc),若用锥外总数归一化,则
Ffull≃PNout1−RlcRlc≃PNoutRlc.(22)
末式是窄损失锥近似。由于 R=J2/Jc2 已经是角动量的平方,锥内比例是 Rlc,不再额外平方。
7. 有效边界与统一通量公式
7.1 R0 是外侧解的外推零点
有限周期效应允许 N(Rlc)>0。常用匹配方法保留锥外对数形式,令
N(R)=ClnR0R,R0<Rlc.
定义
α(q)≡lnR0Rlc,R0=Rlce−α(q).(23)
R0 不是新的物理捕获半径,也不意味着可以将对数外侧解在整个锥内当作真实分布。
笔记采用的边界层表达为
α(q)=ξ(q)q,ξ(q)=1−4m=1∑∞j0,m2e−j0,m2q/4,(24)
其中 j0,m 为 J0 的第 m 个正零点。这一特殊函数关系来自轨道相位分辨的边界层问题,不能仅由轨道平均的式 (16) 推出;这里将它作为匹配输入。其形式可与 Merritt 的综述式 (28) 对照。
7.2 小 q 极限为什么出现 q
在 q→0 时,需要大量 Bessel 模式。由 j0,m 的大阶间隔约为 π,对式 (24) 求导有
ξ′(q)=m=1∑∞e−j0,m2q/4≃π1∫0∞e−x2q/4dx=πq1.
结合 ξ(0)=0,
ξ(q)≃π2q,α(q)≃2πq.
因此
q≪1:R0→Rlc;q≫1:ξ→1,α→q,R0≃Rlce−q.
数值实现时,大 q 下宜直接保存 α 和 lnR0=lnRlc−α,避免计算极小的指数导致下溢。小 q 时应使用渐近式或足够多的模式,防止 1−级数的消减误差。
7.3 必须保持物理积分下限不变
仍定义锥外数目为式 (5)。则
Nout=C∫Rlc1lnR0RdR=C[lnR01−1−RlclnR0Rlc+Rlc].
记
Z(E)=lnRlc1−1+Rlc+(1−Rlc)α(q).(25)
则锥外归一化后的结果为
N(E,R)=ZNout[lnRlcR+α],Rlc≤R≤1.(26)
只有当归一化定义改成对数学区间 [R0,1] 积分时,分母才是 ln(1/R0)−1+R0。这与式 (5) 是不同的定义,不能将 Rlc 机械地全部替换为 R0。
7.4 通量与耗尽时间
对数解有 Flc=DC,所以
Flc=ZDNout,tloss≡FlcNout=DZ.(27)
该表达将边界层匹配与锥外对数近似结合;保留 Z 的有限区间项并不使整个模型超出小损失锥近似的适用范围。
边界值为
N(Rlc)=ZNoutα.
利用 D=qRlc/P 和 α=q/ξ,可重写为
Flc=Pξ(q)RlcN(Rlc).(28)
等价的 Robin 边界条件是
N(Rlc)=αRlc∂RN∣lc.(29)
7.5 两个不同的“过渡条件”
窄损失锥且只保留主要项时,
Z≃ln(1/Rlc)+ξ(q)q.
相对于式 (22) 的满锥率,
FfullFlc≃ln(1/Rlc)+q/ξ(q)q.(30)
因此应区分:q∼1 表示单周期扩散已能跨越损失锥;而捕获通量要接近满损失锥极限,通常需 q≳ln(1/Rlc)。当这个对数很大时,两种条件并不相同。
另外 N(Rlc)/Nout=α/Z 是边界分布值相对角动量积分的比值,不是“处在损失锥内的恒星比例”。后者必须对真实锥内分布积分。
8. 弛豫系数与捕获通量的半长轴标度
8.1 Coulomb logarithm 的来源
弱引力散射在冲量近似下给出
δv∼bvGm⋆,dΓ∼2πbdbnv.
因而
dtd⟨(δv)2⟩∼∫(δv)2dΓ∼vG2m⋆2n∫bminbmaxbdb.
定义
lnΛ=lnbminbmax,tr∼d⟨(δv)2⟩/dtv2∼G2m⋆2nlnΛv3.
若 bmax∼r、bmin∼Gm⋆/v2 且 v2∼GM∙/r,则 Λ∼M∙/m⋆。这是量级估计,不是所有背景都严格成立的常数处方。
8.2 7/4 尖峰中的 q(a)
在无边界效应的单质量尺度区间内,
n∝r−7/4⟹tr∝r1/4.
若轨道平均保留相同尺度行为,D(a)∝a−1/4。结合 P∝a3/2 和 Rlc≃2rlc/a,
q(a)∝a9/4.(31)
因此小半长轴通常更接近空损失锥,大半长轴更容易进入快速补给区域。但靠近 a∼rlc、势不再 Kepler 化或背景明显耗尽时,这个标度不能继续使用。
8.3 哪些半长轴贡献较多捕获事件
要比较每个对数半长轴区间的事件率,应写
dlnadN˙lc=adadEFlc=EFlc.
对于尚未显著耗尽的背景,dN⋆/dlna∝a5/4。于是
dlnadN˙lcempty∼ln(1/Rlc)DdlnadN⋆∝ln[a/(2rlc)]a,
dlnadN˙lcfull∼PRlcdlnadN⋆∝a−5/4.
在两个渐近区间之间,通量往往在过渡附近较大;峰值位置还取决于边界、背景归一化与真实扩散系数,不能仅凭 q=1 精确定位。
9. 从理论分布到轨道采样和空间密度
9.1 三种角动量样本代表不同模型
固定 a,记 b=Rlc(a)。三种常见条件分布为
piso(R∣a)=1,0≤R≤1;
pcut(R∣a)=1−b1,b≤R≤1;
plog(R∣a)=Zln(R/b)+α,b≤R≤1.(32)
它们分别表示原始各向同性样本、在各向同性样本中条件化保留存活轨道、以及受扩散补给影响的锥外准稳态样本。硬截断没有包含边界附近的对数耗尽。
由 Jacobian,
p(e∣a)=2ep(1−e2∣a),0≤e≤1−rlc/a.
如果从原始样本直接删除损失锥恒星,dN⋆/da 也会乘上存活比例;如果为每个 a 重采样直到凑满固定数量,则保持了原来的能量层数目。二者回答的问题不同,归一化方式必须事先说明。
9.2 可直接用于采样的累积分布
若 dN⋆/da∝a1/4,在 [amin,amax] 内令 u∼U(0,1),则
a=[amin5/4+u(amax5/4−amin5/4)]4/5.(33)
对数角动量分布的 CDF 为
G(R)=ZRln(R/b)−R+b+α(R−b).(34)
它满足 G(b)=0、G(1)=1 且单调。可用二分法求解 G(R)=u;使用 α 的表达无需显式计算 R0。
9.3 轨道相位必须按时间采样
生成空间快照时应令平近点角 M∼U(0,2π),然后解 Kepler 方程
M=ue−esinue,r=a(1−ecosue),
其中 ue 是偏近点角。不能令真近点角或空间半径均匀,因为恒星在远心点附近停留更久。
等价地,一条轨道在 dr 内的时间概率为
p(r∣a,e)dr=P∣vr∣2dr,vr2=2(rGM∙−E)−r2J2.(35)
其支持区间为 a(1−e)≤r≤a(1+e)。
9.4 从 N 重建 n(r)
在球平均意义下,
n(r,t)=4πr21∫dE∫dRN(E,R,t)P∣vr∣21{rp≤r≤ra}.(36)
一个高偏心率轨道同时贡献多个空间半径,因此 N(E,t) 的局部耗尽不会在 n(r,t) 中表现为同位置的一对一截断。解释密度曲线时,应先弄清楚改变的是能量层数目、角动量条件分布,还是轨道相位采样。
10. 完整二维方程与随能量变化的边界
10.1 二维 Fokker–Planck 的保守形式
令 xi=(E,R),定义 Ai=⟨Δxi⟩/Δt 和 Bij=⟨ΔxiΔxj⟩/Δt。完整方程为
∂tN=−i∑∂i(AiN)+21i,j∑∂i∂j(BijN)=−∂EFE−∂RFR.(37)
其中
Fi=AiN−21j∑∂j(BijN).
用 N=Jf 也可写成
Fi=−j∑Dij∂jf−Dif,(38)
其中
Dij=21JBij,Di=21j∑∂j(JBij)−JAi.
这里 Dij 是通量形式的系数,Bij 是单位时间二阶矩,而第 4 节的 D(E) 是约化角动量扩散率。三者不能混用。由二阶矩的定义,DER=DRE。
10.2 对角动量积分时的 Leibniz 项
记 b(E)=Rlc(E),并令
FE=∫b(E)1FEdR.
对式 (37) 在物理存活区间积分,假设边界不显含时间,
∂tNout=−∫b1∂EFEdR−FR(1)+FR(b).
Leibniz 法则给出
∂EFE=∫b1∂EFEdR−b′FE(b).
因此若圆轨道端无外流,FR(1)=0,有
∂tNout=−∂EFE−Slc,Slc=b′FE(b)−FR(b).(39)
Slc 才是穿过倾斜边界的总损失率。只写 −FR(b) 会遗漏能量漂移或扩散跨越边界的贡献。若 b=b(E,t),还需在演化方程右边加入 −N(b)∂tb。
10.3 边界斜率
由式 (7) 与 a=GM∙/(2E),
b(E)=GM∙4Erlc−(GM∙)24E2rlc2,
b′(E)=GM∙4rlc(1−GM∙2Erlc)=GM∙4rlc(1−arlc).(40)
10.4 吸收边界上的有效法向扩散系数
若采用严格吸收边界 f(E,b(E),t)=0,沿边界求导得
∂Ef∣b=−b′∂Rf∣b.(41)
边界上的 Dif 消失,将式 (41) 代入式 (38)、(39),可得
Slc=K⊥∂Rf∣b,(42)
K⊥=[DRR−b′(DER+DRE)+(b′)2DEE]b.(43)
对称扩散矩阵时,中间项为 −2b′DER。这个组合是协方差在横跨边界方向上的二次型,因此对物理的半正定扩散矩阵必有 K⊥≥0。
式 (41) 只在吸收边界上成立,不能未经假设就把它推广到整个 R 区间。对有限 q 的 Robin 边界,f(b) 一般非零,也不能直接沿用这组吸收边界化简。
11. 怎样得到一维能量方程中的 sink
11.1 最简准稳态闭合
若角动量分布随能量层数目的改变快速调整,且能量—角动量耦合可以忽略,则用式 (27) 写
∂tNout=−∂EFE−tloss(E)Nout,tloss=Z/D.(44)
这是闭合模型:tloss 不是随意指定的寿命,而是由角动量扩散、轨道周期和边界匹配导出的有效耗尽时间。
若忽略能量通量且 tloss 固定,则
Nout(E,t)=Nout(E,0)e−t/tloss(E).
这个指数式只适用于固定背景系数、无能量补给的闭合近似。若恒星本身提供散射背景,密度改变还会反馈到 D,便不是固定时间尺度的简单指数。
11.2 笔记中积分耗尽时间的成立条件
若某个一维约化问题满足
F=k(R)∂Rf,f(b)=0,
且 F 在区间内近似不变,则
f(R)=F∫bRk(R′)dR′.
代入 Nout=∫b1JfdR,得到
T=∫b1J(E,R)[∫bRk(E,R′)dR′]dR,F=TNout.(45)
在 Kepler 势、固定能量、小角动量扩散模型中,J 与 R 无关,k=JDR,于是
T=D1∫b1ln(R/b)dR=Dln(1/b)−1+b,
与空损失锥结果一致。
如果引入倾斜边界坐标 u=R−b(E),相应法向通量是
Fu=FR−b′FE.
只有再额外假设沿边界的梯度及漂移贡献可忽略,才可能用法向扩散系数构造类似的一维阻力积分。边界上的导数关系本身不足以证明全区间的一维闭合。 对强能量耦合、强耗散或瞬态演化,应保留二维方程。
12. 恒星穿盘耗散:从冲量到轨道漂移
盘作用引入方向性。以下先给单次穿盘的局部估计,再说明如何进入轨道演化方程。
12.1 穿盘冲量与扫掠柱密度
设气体速度为 vg,恒星相对气体速度为 vrel=v−vg。采用几何截面的阻力模型,
Fdrag=−CDAeffρdvrelvrel.
其中 CD 为无量纲系数,Aeff≃πR⋆2 是一种选择;引力聚焦或气体尾迹显著时需要修改。
若穿越过程中速度和盘结构变化不大,垂直穿盘速度为 vz,则
∫ρddt≃∣vz∣Σ.
因此
Δv≃−λvrel,λ=CDm⋆AeffΣ∣vz∣vrel.(46)
它要求 λ≪1、穿越时间短于周期,以及明确的两次离散穿盘几何。对近共面嵌入轨道,∣vz∣→0 所导致的形式发散意味着近似失效,而不是阻力真的无穷大。
12.2 由冲量推到能量和角动量变化
冲量过程中位置近似不变,因此
ΔE=v⋅Δv+21∣Δv∣2,ΔE=−ΔE,
ΔJ=r×Δv.
一阶近似给出
ΔE≃λv⋅(v−vg).
阻力消耗相对气体的动能,但恒星自身的轨道能变化还涉及气体的运动,因此不应对所有交会几何都先验指定 ΔE>0。
轨道平均漂移可由一个周期内各次穿盘相加:
E˙d=P1k∑ΔEk,J˙d=P1k∑ΔJk.
由 E∝a−1,
E˙d=−Eaa˙d.(47)
再由 R=J2/(GM∙a),
R˙d=R(J21dtd(J2)d−aa˙d)=R(2JJ˙d−aa˙d),(48)
其中 J˙d 表示角动量大小的变化率;d(J2)/dt 是角动量平方的导数。也可直接使用向量形式
R˙d=GM∙a2J⋅J˙d−Raa˙d.
这说明耗散并不必然只沿低角动量方向输运;a 与 J 同时改变,偏心率可能减小,也可能在特定几何下增大。
12.3 弛豫与盘漂移的联合方程
确定性盘作用应作为平流通量加入:
∂tN=−∂E(FErel+E˙dN)−∂R(FRrel+R˙dN)−Sremove.(49)
无边界外流、无 Sremove 时,盘漂移本身守恒恒星总数,只重新分配轨道。
二维 (E,R) 不能完整描述盘作用:穿盘冲量还依赖轨道倾角、交点位置以及近心点方向。因此需要显式演化这些变量,或规定并检验对它们的平均方案。此时重建的 n(r) 通常只是球平均密度。
12.4 为什么不能直接把 2fv/P 当作恒星死亡率
令 fv=∣Δv∣/v 表示单次穿盘速度的相对改变。若每周期穿盘两次,则
tv−1∼P2fv
是速度变化率的量级;它并不是恒星数目的移除概率率。
若模型只追踪尚未被盘捕获的球状恒星族,可以另外引入
Sremove=tcap,dN,
但 tcap,d 需由明确的捕获判据与轨道演化计算决定。将它估成 P/(2fv) 是额外处方,不是从冲量力学自动得到的结论。若既显式演化盘漂移,又用同一耗散过程设置额外 sink,还需避免重复移除。
13. 自引力调节的盘:检查耗散率标度
13.1 从 Q 推出 Σ 和 ρd
设盘柱半径为 ϖ,Ω2=GM∙/ϖ3,h=H/ϖ。薄盘近似中,
Q=πGΣcsΩ,cs=HΩ.
因此
Σ=πGQHΩ2=πQϖ2hM∙,ρd≃2HΣ=2πQϖ3M∙.(50)
这里 ρd≃Σ/(2H) 采用简单垂直厚度估计;真实垂直结构会改变阶一系数。
13.2 速度冲量和耗散时间的径向依赖
在 Aeff=πR⋆2、几何速度比为阶一的条件下,式 (46) 给出
fv∼QCDhm⋆M∙(ϖR⋆)2×几何因子.(51)
若 h,Q、恒星参数和几何因子固定,并以 a 代表穿盘半径的尺度,
fv∝a−2,P∝a3/2.
所以每单位时间的速度耗散率满足
tv−1∼P2fv∝a−7/2,tv∝a7/2.(52)
若只记“每次穿盘冲量”的指数而遗漏再除以 P,就会得到错误的时间率标度。对于偏心轨道,应分别使用真实穿盘半径计算各次冲量,不能在定量计算中直接以 a 替代。
13.3 稳态 αSS 盘与 h(ϖ)
用 αSS 表示黏滞参数,与第 7 节的 α(q) 区分。远离内边界、忽略内边界修正时,
M˙=3πνΣ,ν=αSScsH=αSSH2Ω.
代入式 (50),
M˙=GQ3αSSH3Ω3=Q3αSSh3M∙Ω.
因此
Q=M˙3αSSh3M∙Ω,h=(3αSSM∙ΩQM˙)1/3.(53)
若自引力调节区内 Q,M˙,αSS 近似常数,则 h∝ϖ1/2。此时式 (51) 改为 fv∝ϖ−3/2,对应 tv−1∝a−3;不能继续使用常 h 模型的 a−7/2。
一种连续的分段模型是:内区指定 hin(ϖ),由式 (53) 求 Qin;在 Qin(ϖsg)=Qsg 处与外区 Q=Qsg 匹配。改变内外区黏滞参数时,还需重新检查接点的 h、Σ 连续性。
有效温度若由局部黏滞辐射估计,则
σSBTeff4=8πϖ33GM∙M˙(1−ϖϖin).
Teff 不是直接决定 cs 的中面温度;用它进一步推导盘厚度需要辐射转移与垂直结构模型。
13.4 与弛豫竞争
在常 h,Q 的尺度模型中,tv∝a7/2,而未耗尽尖峰的 tr∝a1/4,所以
trtv∝a13/4.
盘作用相对于两体弛豫可能在内区迅速增强。但决定分布是否耗尽,应比较同一自由度的输运/捕获时间:能量漂移时间对能量补给时间,角动量或倾角变化时间对相应弛豫时间。仅比较一个速度变化时间与 tr,只能作初步定位。
14. 数值实现:让方程、边界与守恒一致
14.1 有限体积更新
对 (Ei,Rj) 网格,若 Nij 是单元平均的坐标空间数密度,则
dtdNij=−ΔEiFE,i+1/2,j−FE,i−1/2,j−ΔRjFR,i,j+1/2−FR,i,j−1/2−Sij.(54)
盘漂移通量使用迎风侧状态。例如在能量界面,
FEd=E˙d{Nleft,Nright,E˙d>0,E˙d<0.
要注意:E˙>0 对应更束缚的轨道、即更小的 a。若网格改成 a 或 lna,方向、单元体积和分布函数 Jacobian 都需同步转换。
14.2 不能只检查平流 CFL
一个常见的显式平流限制是
Δt≲CCFLmin(∣E˙d∣ΔE,∣R˙d∣ΔR).
多维合并更新需考虑两个方向的总流出率。若扩散也显式处理,还需满足形如
Δt≲Cdiffmin(BEEΔE2,BRRΔR2)
的限制;具体常数及交叉扩散约束由离散方法决定。对显式 sink,还要避免单步移除超过单元内现存恒星数。
14.3 损失锥必须用一种一致的移除机制
可选择以下描述:
- 锥外二维域:以吸收或有限周期匹配边界移除恒星,统计穿越物理边界的通量。
- 包含锥内的域:以与轨道相位/周期相容的机制在锥内移除,再由扩散补给。
- 一维能量闭合:不显式解析角动量方向,用 Nout/tloss 作为 sink。
若同时施加二维吸收通量与描述同一损失的全能量层 sink,就会重复计数。对倾斜边界还要用式 (39) 的法向通量,而不是只累计矩形网格的角动量方向通量。
14.4 有物理意义的核对
| 核对项 | 应满足的结果 |
|---|
| 轨道边界 | 用 e=1−rlc/a 算得的 1−e2 与式 (7) 一致 |
| 角动量归一化 | 式 (32) 对物理存活区间积分为 1 |
| 空损失锥 | q→0 时 N(b)→0,且通量趋向式 (20) |
| 满损失锥 | q→∞ 时锥外分布趋于均匀,通量趋向式 (22) |
| 无吸收的纯盘漂移 | 无外边界流出时总恒星数守恒 |
| 二维总守恒 | 恒星数变化等于边界净通量加体积源/汇 |
| 基准尖峰 | 在远离采样截断的尺度区间恢复 n∝r−7/4 |
| 坐标变换 | dN/da=(dN/dE)∣dE/da∣,积分总数不变 |
| 扩散矩阵 | 对称、半正定,并给出非负的 K⊥ |
密度曲线出现内区下降,只说明某些轨道对该空间区域的贡献减少。要归因于 loss cone、盘捕获或能量迁移,必须同时检查各过程的通量、总数和边界预算。
15. 需要从笔记中明确区分的几点
| 容易混淆的写法或解释 | 本文采用的处理 |
|---|
| E 有时表示负机械能,有时表示正束缚能 | 全文使用 E=−E>0 |
| R 同时表示空间半径与角动量变量 | 空间用 r 或 ϖ,角动量用 R |
| 将 ρ(r)4πr2dr 直接写成半长轴分布 | 由 f、相空间体积和能量 Jacobian 推导 dN/da |
| 认为零平均速度踢动意味着无 drift | 平方变量产生非零一阶矩;式 (13) 是其来源 |
| 认为 R<Rlc 等于当前 r<rlc | 它对应的是近心点将进入移除区域 |
| 将有效零点代入公式,同时仍使用原归一化定义 | 固定积分下限,重新得到式 (25) 的 Z |
| 把 N(b)/Nout 当作锥内恒星比例 | 它只是边界值与积分的比,锥内比例需单独积分 |
| 把 q∼1 当作通量完全达到满锥值 | 通量饱和还受 ln(1/b) 控制 |
| 严格对数稳态同时使用封闭反射外边界 | 必须明确外部补给,或采用局部准稳态解释 |
| 积分二维 FP 时忽略下限随能量变化 | 保留 b′FE,计算边界法向流 |
| 用吸收边界导数关系消去全区间的能量梯度 | 只能在边界使用;内部闭合须另作假设 |
| 将穿盘速度衰减直接写成恒星数目 sink | 首先作为轨道漂移;只有明确移出所追踪族群时才设 sink |
| 用静态采样差异解释时间演化 | 条件分布改变、恒星数减少与时间演化分别处理 |
16. 公式之间的完整联系
给定 M∙,m⋆,rlc 和背景 f 后,先由轨道几何求 Rlc,由两体散射及轨道平均求 D,再计算 q=PD/Rlc。边界匹配给出 α(q),锥外归一化给出 Z,最终得到
Flc(E,t)=Z(E,t)D(E,t)Nout(E,t).
它可以进入一维能量方程,也可以作为二维计算的极限检验。若加入盘耗散,则先从真实穿盘冲量求 E˙d、R˙d 及必要的倾角演化,再与弛豫通量共同推进分布。最后用轨道停留时间加权,将 N(E,R,t) 转换为空间密度。
由此,尖峰背景提供恒星库,弛豫提供能量与角动量输运,损失锥规定中心吸收边界,而盘耗散提供额外的定向轨道演化。每一部分都有自己的变量、时间尺度和守恒关系;把这些接口写清楚,才能一致地解释中心密度的保持、削弱或重建。
附录:原笔记对应与参考依据
本文主体推导来自《loss cone.pdf》,按物理依赖关系重排,没有将笔记中的探索性图形或参数试验当成已验证结果。
| 原 PDF 页码 | 本文位置 |
|---|
| 1–2、5–9 | 第 1–2、4–7 节:轨道边界、随机散射、角动量扩散与损失通量 |
| 3–4 | 第 3、9 节:尖峰背景、热偏心率、硬截断与对数采样 |
| 10–12 | 第 3、6–8、11 节:归一化、时间尺度、q 与弛豫系数 |
| 13–15 | 第 10–11 节:二维通量、倾斜边界与一维闭合的条件 |
| 16–19 | 第 12–13 节:穿盘耗散、自引力盘结构与径向标度 |
| 20–21 | 第 12、14–15 节:盘漂移、有限体积格式及诊断 |
| 22 | 空白页 |
特殊函数边界匹配的外部核对来源:David Merritt, Loss Cone Dynamics (2013), §2.2,尤其式 (28)。论文全文。本文的物理区间归一化、Jacobian、边界法向通量和耗散率标度均在正文中展开计算,以所声明的定义和假设为准。