然后我导出toI=Zlog-uloglcTT(η)qTT(η)dη=2θi(^cTq)sin(2θiη)+(cTq)θiη-(cTˇq)cos(2θiη)圆木l,式中,^c,ˇq在(4.23)中给出。同样地,我们有i=Zulwvλ,0dζ=2θi(^cTc)sin(2θiη)+(cTc)θiη-(cTˇc)cos(2θiη)圆木l,其中(4.23)中也给出了ˇc。这些导致δ的表达式(4.28)。接下来,我们计算(B.5)中的A±in,其中F在(B.1)中定义。同样,在变量η=logζ中,我们得到了A±(η)=Z~v(η) e-ηW(η)~F(η)eηdη+C±,其中v±表示η坐标中的v±和Wronskian简化为W(η)=θie2θrη。我们发现F(η)=e-2η+θrηqTT(η),其中q在(4.23)中定义。然后我们得到∧A+(η)=-~q-2θiη+~q-4θisin(2θiη)+q+4θicos(2θiη)+C++A-(η) =+~q+2θiη+~q+4θisin(2θiη)-~q-4θicos(2θiη)+C-.常数C±由边界条件(3.15)和(3.17)确定。和以前一样,我们可以-= 0.因此,从(B.2)中,我们有vλ,1由(4.29)给出,使用(4.30)-(4.31)中的C+和A±的定义。C织女星的显式计算在实际情况下,我们将使用(4.20)从方程(D.1)中计算˙C°。首先,使用(4.15)和(4.16),我们发现σπ±=0,σ+ γσπ±u - γσπ±,在哪里0,σ:= σ在引理5.1中计算。此外,从同样的方程式我们也得到了σL=(1+L)σπ-= (1+1)0,σ+ γσπ-u - γσπ-,σU=1.-λ+Uσπ+=1.-λ+U0,σ+ γσπ+u - γσπ+.从(4.5)我们得到σku=σU1-γ, σkl=σL1-γ、 从(4.3)我们得到了˙θ±=σθ±(1)-θ±) + (1 - γ)0,σσθ±+u -σ ,由(4.20)可知˙c±=±v′(L)σL±v(五十) ˙θ对数LσL1-γv′(L)Kl˙θ五、(五十) L+v′\'(L)σL+v′(五十) ˙θ对数L.这些用于计算σV=˙c+V+(ζ)+˙θ+c+V+(ζ)对数ζ+˙c-五、-(ζ) +˙θ-C-五、-(ζ) 对数ζ。(C.1)D命题5.2的证明在ro otsθ±为真的情况下,我们有σV=˙c+ζθ++c+˙θ+ζθ+对数ζ+˙c-ζθ-+ C-˙θ-ζθ-对数ζ。