Appendix/Ramblings/51BiPolytropeStability/BetterInterface

From jetwiki
Jump to navigation Jump to search

Better Interface for 51BiPolytrope Stability Study

Content Pointing to Previous Work

Tilded Menu Pointers

  1. Murphy & Fiedler (1985b): SSC/Stability/MurphyFiedler85
    1. Interface Conditions as promoted by Ledoux & Walraven (1958)
    2. Numerical Integration
      1. General Approach
      2. Special Handling at the Center
      3. Special Handling at the Interface
    3. Reconcile Approaches
  2. Excellent Foundation (no pointer from Tiled Menu): SSC/Stability/Biipolytropes
  3. Our Broader Analysis: SSC/Stability/BiPolytropes/HeadScratching
  4. Succinct Discussion: SSC/Stability/BiPolytropes/SuccinctDiscussion

Ramblings: Analyzing Five-One Bipolytropes

  1. Assessing the Stability of Spherical, BiPolytropic Configurations
  2. Searching for Analytic EigenVector for (5,1) Bipolytropes
  3. See (below) Discussing Patrick Motl's 2019 BiPolytrope Simulations
  4. Continue Search
  5. Renormalize Structure
  6. Renormalize Structure (Part 2)
  7. More Carefully Exam Step Function Behavior
  8. More Focused Search for Analytic EigenVector if (5,1) Bipolytropes
  9. Do Not Confine Search to Analytic Eigenvector
  10. Clean, Methodical Examination
  11. Rethink Handling of n = 1 Envelope
  12. Improved Treatment of Core-Envelope Interface

Solid Foundation

Here we pull primarily from the chapters labeled II and III, above.

Entire Configuration

Beginning with the familiar,

Adiabatic Wave (or Radial Pulsation) Equation

d2xdr02+[4r0(g0ρ0P0)]dxdr0+(ρ0γgP0)[ω2+(43γg)g0r0]x=0

where,

g0

=

GMr*(r*)2[ρc3/5(KcG)1/2],

if we adopt the variable normalizations,

ρ*

ρ0ρc

;    

r*

r0[Kc1/2/(G1/2ρc2/5)]

P*

P0Kcρc6/5

;    

Mr*

Mr[Kc3/2/(G3/2ρc1/5)]

the LAWE takes the form,

0

=

d2xdr*2+r*dxdr*+[(σc2γg)𝒦1αg𝒦2]x,

where,

{4(ρ*P*)Mr*(r*)}

      ,      

𝒦1

2π3(ρ*P*)

      and      

𝒦2

(ρ*P*)Mr*(r*)3,

σc2

3ω22πGρc

      ,      

αg

(34γg).

 

Core

Given that, in the core, γg=6/5 and,

r*

=

(32π)1/2ξ,

we can rewrite the LAWE to read,

0

=

d2xdξ2+ξdxdξ+(14π)[5σc2𝒦1+2𝒦2]x,

where,

𝒦1

=

2π3(1+13ξ2)1/2,

=

42ξ2(1+13ξ2)1,

𝒦2

=

(4π3)(1+13ξ2)1.

Structure at the Interface

Once μe/μc and ξi have been specified, other parameter values at the interface are:

θi

=

(1+13ξi2)1/2,

ηi

=

(μeμc)3θi2ξi,

Λi

=

1ηiξi3,

A

=

ηi(1+Λi2)1/2,

B

=

ηiπ2+tan1(Λi),

ηs

=

B+π.

Linearized Perturbation at the Interface

At all radial locations throughout the equilibrium configuration, the three spatially dependent quantities — pδp/P*,dδρ/ρ*, and xδr/r* — are related to one another via the set of linearized governing relations, namely,

Linearized
Equation of Continuity
r0dxdr0=3xd,

Linearized
Euler + Poisson Equations
P0ρ0dpdr0=(4x+p)g0+ω2r0x,

Linearized
Adiabatic Form of the
First Law of Thermodynamics

p=γgd.

Combining the 2nd and 3rd equations, we find,

(4x+γgd)g0+ω2r0x = P0ρ0d(γgd)dr0



At the interface, presumably the dimensional structural variables, P* and r* have the same values, whether viewed from the perspective of the core or from the perspective of the envelope. But ρ* has a different value, depending on the point of view. Specifically,

ρ*|env = (μeμc)ρ*|core.

Hence, from the perspective of the core, the linearized equation of continuity may be written as,

[r0dxdr0+3x]core = δρ[ρ*]core;

while, from the perspective of the envelope, the linearized equation of continuity may be written as,

[r0dxdr0+3x]env = δρ[ρ*]core(μeμc)1

Try again

From here, we know …

Pργg

=

exp[s(γg1)/μ¯].

And, from my discussions with Patrick Motl, we find …

CORE:   Throughout the core,

P*

=

(1+ξ23)3

    and    

ρ*

=

(1+ξ23)5/2

    and    

γg

=

65.

Hence, independent of the radial location, ξ, throughout the core,

s/μ¯|core

=

5ln(5).

ENVELOPE:   Throughout the envelope,

P*

=

θi6[ϕ(η)]2

    and    

ρ*

=

(μeμc)θi5[ϕ(η)]

    and    

γg

=

2.

Hence, independent of the radial location, η, throughout the envelope,

s/μ¯|env

=

ln[(μeμc)2θi4]

=

ln[(μeμc)2(1+ξi23)2].

Envelope

Given that, throughout the envelope γg=2 and,

r*

=

(μeμc)1θi2(2π)1/2η,

we can rewrite the LAWE to read,

0

=

d2xdη2+ηdxdη+12πθi4(μeμc)2[(σc22)𝒦1𝒦2]x,

where,

𝒦1

=

2π3(μeμc)θi1[ηAsin(ηB)],

=

2[1+ηtan(ηB)],

𝒦2

=

4π(μeμc)2θi4[1ηtan(ηB)]1η2.

Entropy as a Step Function

Useful Chapters:

Review

The unit — or, Heaviside — step function, H(x), is defined such that,

H(x)={0;x<01;x>0


[MF53], Part I, §2.1 (p. 123), Eq. (2.1.6)

Heaviside Function

In evaluating this function at x=0, we will adopt the half-maximum convention and set H(0)=12. As has been pointed out in, for example, a relevant Wikipedia discussion, the derivative of the unit step function is,

dH(x)dx

=

δ(x),

where, δ(x) is the Dirac Delta function.

Perturbed Density

Let,

ζ

rri1

[ρ*]eq

H(ζ)ρenv*+H(ζ)ρcore*;

and, more generally after a perturbation, δρ(ζ),

ρ*=[ρ*]eq+δρ

=

[ρ*]eq{1+δρ[ρ*]eq}=[ρ*]eq{1+deiωt}.

Hence, in the linearized version of the continuity equation, we recognize that,

deiωt

=

δρ[ρ*]eq.

CORE:

ρcore*

=

(1+ξ23)5/2

    and    

γg

=

65

    and    

𝒮cores(γg1)/μ¯|core

=

ln(5).

ENVELOPE:

ρenv*

=

(μeμc)θi5[ϕ(η)]

    and    

γg

=

2

    and    

𝒮envs(γg1)/μ¯|env

=

ln[(μeμc)2(1+ξi23)2].

Perturbed Pressure

P*

=

(ρ*)γgexp[s(γg1)/μ¯]

[P*]eq

H(ζ)Penv*+H(ζ)Pcore*;

and, more generally after a perturbation, δP(ζ),

P*=[P*]eq+δP

=

[P*]eq{1+δP[P*]eq}=[P*]eq{1+peiωt}.

Hence, in the linearized version of the first law of thermodynamics, we recognize that,

peiωt

=

δP[P*]eq.

Obtaining Perturbed Density from Perturbed Pressure

Given that, quite generally,

Pργg

=

exp[s(γg1)/μ¯],

let's define the density-like quantity,

𝒬*

e𝒮/γ[P*]1/γg,

in which case,

ρeq*

H(ζ)[𝒬eq*]env+H(ζ)[𝒬eq*]core.

What happens if we perturb the pressure? In either region (core or envelope),

𝒬*

=

e𝒮/γ[Peq*]1/γg[1+δPPeq*]1/γge𝒮/γ[Peq*]1/γg[1+1γgδPPeq*]=[Qeq*][1+1γgδPPeq*].

As a result,

ρ*=ρeq*+δρ

H(ζ)[𝒬*]env+H(ζ)[𝒬*]core

 

=

H(ζ){[Qeq*][1+1γgδPPeq*]}env+H(ζ){[Qeq*][1+1γgδPPeq*]}core

 

=

H(ζ)[Qeq*]env+H(ζ)[Qeq*]core

 

 

+H(ζ){[Qeq*][1γgδPPeq*]}env+H(ζ){[Qeq*][1γgδPPeq*]}core

 

=

ρeq*+H(ζ){[Qeq*][1γgδPPeq*]}env+H(ζ){[Qeq*][1γgδPPeq*]}core

δρρeq*

=

H(ζ)ρeq*{[Qeq*][1γgδPPeq*]}env+H(ζ)ρeq*{[Qeq*][1γgδPPeq*]}core

Set of Linearized Equations

Borrowing from an accompanying discussion, we have …

Linearized
Equation of Continuity
r0dxdr0=3xd,

Linearized
Euler + Poisson Equations
P0ρ0dpdr0=(4x+p)g0+ω2r0x,

Linearized
Adiabatic Form of the
First Law of Thermodynamics

p=γgd.

Rearranging terms in the "Linearized Euler + Poisson Equations" as follows …

1ρ0dpdr0

=

1P0[(4x+p)g0+ω2r0x]

we realize that the expression on the RHS has the same value at the interface, whether you're viewing the equation from the point of view of the core or the envelope; and we recognize as well that ρ0 is a simple step function at the interface. Hence, letting a prime indicate differentiation with respect to r0, we can write,

H(ζ)(p)env+H(ζ)(p)core

=

[ρ0]coreP0[(4x+p)g0+ω2r0x]{H(ζ)[μeμc]+H(ζ)}.

Analogously, the "Linearized Equation of Continuity" can be rewritten as,

H(ζ)(x)env+H(ζ)(x)core

=

3xr01r0{H(ζ)[pγg]env+H(ζ)[pγg]core}.

Now, given that ζ=(r0/ri1), we see that,

dH(ζ)dr0

=

H(ζ)ζdζdr0=ro1δ(ζ);

and,

dH(ζ)dr0

=

H(ζ)ζdζdr0=ro1δ(ζ).

Hence, differentiation of the "Linearized Equation of Continuity" gives,

ddr0[H(ζ)(x)env]+ddr0[H(ζ)(x)core]

=

[3r0x3xr02]1r0ddr0{H(ζ)[pγg]env+H(ζ)[pγg]core}+1r02{H(ζ)[pγg]env+H(ζ)[pγg]core}.

(x)envddr0[H(ζ)]+H(ζ)(x)env+(x)coreddr0[H(ζ)]+H(ζ)(x)core

=

[3r0x3xr02]+1r02{H(ζ)[pγg]env+H(ζ)[pγg]core}.

 

 

1r0[pγg]envddr0{H(ζ)}1r0{H(ζ)[pγg]env}1r0[pγg]coreddr0{H(ζ)}1r0{H(ζ)[pγg]core}

(x)env[δ(ζ)r0]+H(ζ)(x)env(x)core[δ(ζ)r0]+H(ζ)(x)core

=

[3r0x3xr02]+1r02{H(ζ)[pγg]env+H(ζ)[pγg]core}.

 

 

1r0[pγg]env{δ(ζ)r0}1r0{H(ζ)[pγg]env}+1r0[pγg]core{δ(ζ)r0}1r0{H(ζ)[pγg]core}

From the Perspective of the Core

When r0/ri1 — that is, from the perspective of the core while including the interface,

(x)core[δ(ζ)r0]+H(ζ)(x)core

=

[3r0x3xr02]+1r02{H(ζ)[pγg]core}.

 

 

1r0[pγg]env{δ(ζ)r0}+1r0[pγg]core{δ(ζ)r0}1r0{H(ζ)[pγg]core}

And examining only the interface, where δ(ζ)=1 while H(ζ)=0,

(x)core[δ(ζ)r0]

=

[3r0x3xr02]1r0[pγg]env{δ(ζ)r0}+1r0[pγg]core{δ(ζ)r0}

(x)core

=

[3x3xr0]1r0[pγg]env+1r0[pγg]core

From the Perspective of the Envelope

When r0/ri1 — that is, from the perspective of the envelope while including the interface,

(x)env[δ(ζ)r0]+H(ζ)(x)env

=

[3r0x3xr02]+1r02{H(ζ)[pγg]env}.

 

 

1r0[pγg]env{δ(ζ)r0}1r0{H(ζ)[pγg]env}+1r0[pγg]core{δ(ζ)r0}

Focus on Nonlinear Continuity Equation

A spherical shell of core density, ρ0, where the inner radius of the shell is (r0Δr) and its outer radius is (r0+Δr) has a shell mass given by the expression,

(Δm)core

=

4π3ρ0[(r0+Δr)3(r0Δr)3]

 

=

4π3ρ0r03[(1+Δrr0)3(1Δrr0)3]

[34πρ0r03](Δm)core

=

[1+2Δrr0+(Δrr0)2](1+Δrr0)[12Δrr0+(Δrr0)2](1Δrr0)

 

=

[1+3Δrr0+3(Δrr0)2+(Δrr0)3][13Δrr0+3(Δrr0)2(Δrr0)3]

 

=

[6Δrr0+2(Δrr0)3]

(Δm)core

=

[4πρ0r033][6Δrr0+2(Δrr0)3].

Similarly, as viewed from the perspective of the envelope, it has a shell mass of,

(Δm)env

=

4π3(μeμc)ρ0[(r0+Δr)3(r0Δr)3]

 

=

(μeμc)[4πρ0r033][6Δrr0+2(Δrr0)3].

Better yet, pick the two edges of the shell, r+ and r, and let r0(r++r)/2 and Δr=(r+r)/2. Given the value of ρ0, the unperturbed mass in the shell is given by the above expression, that is,

(Δm)0

=

[4πρ0r033][6Δrr0+2(Δrr0)3].

Now, let r+(r+)0+(δr+),r(r)0+(δr), and, ρ0(ρ0)0+(δρ). We then have,

2r0

=

[(r+)0+(δr+)]+[(r)0+(δr)]=2(r0)0+[δr++δr];

2Δr

=

[(r+)0+(δr+)][(r)0+(δr)]=2(Δr)0+[δr+δr];

Δrr0

=

2(Δr)0+[δr+δr]2(r0)0+[δr++δr]=(Δr)0(r0)0×{1+[δr+δr2(Δr)0]}{1+[δr++δr2(r0)0]}1

 

(Δr)0(r0)0×{1+[δr+δr2(Δr)0]}{1[δr++δr2(r0)0]}

 

(Δr)0(r0)0×{1+[δr+δr2(Δr)0][δr++δr2(r0)0]}

In order for the shell to have the same Δm in both the unperturbed and perturbed cases, the following relation must hold:

[8π(ρ0)0(r0)033]{3(Δr)0(r0)0+[(Δr)0(r0)0]3}

=

{π[(ρ0)0+δρ][2r0]323}

 

 

×2{3Δrr0+(Δrr0)3}

Work With Pair of First-Order Linearized Equations

Equilibrium Structures Using Preferred Normalizations

Working from our earlier "new" normalization — which was done in the context of our examination of the B-KB74 conjecture — that is, by setting,

New Normalization
ρ~ ρ[(KcG)3/21Mtot]5;
P~ P[Kc10G9Mtot6];
r~ r[(KcG)5/2Mtot2],
M~r MrMtot;
H~ H[Kc5/2G3/2Mtot].

and after adopting the notation,

𝓂surf (2π)1/2θi1(η2dϕdη)s=(2π)1/2Aηsθi,

(see definitions of A, ηs, and θi given below) we have throughout the core,

ρ~ =

𝓂surf5(μeμc)10(1+13ξ2)5/2;

P~ =

𝓂surf6(μeμc)12(1+13ξ2)3;

r~ =

𝓂surf2(μeμc)4(32π)1/2ξ;

M~r =

𝓂surf1(μeμc)2(23π)1/2ξ3(1+13ξ2)3/2.

For later use, note that,

ρ~P~M~rr~2 =

[𝓂surf5(μeμc)10(1+13ξ2)5/2][𝓂surf6(μeμc)12(1+13ξ2)3]

   

×[𝓂surf1(μeμc)2(23π)1/2ξ3(1+13ξ2)3/2][𝓂surf4(μeμc)8(32π)1ξ2]

  =

𝓂surf2(μeμc)4(1+13ξ2)1ξ(23π3)1/2

  =

2[ξr~](1+13ξ2)1ξ

Note as well that,

r~3M~r =

[𝓂surf1(μeμc)2(23π)1/2ξ3(1+13ξ2)3/2]1[𝓂surf2(μeμc)4(32π)1/2ξ]3

  =

[𝓂surf(μeμc)2(432π)1/2ξ3(1+13ξ2)3/2][𝓂surf6(μeμc)12(32π)3/2ξ3]

  =

[𝓂surf5(μeμc)10(34π)(1+13ξ2)3/2]

Similarly, throughout the envelope, we find,

ρ~

=

𝓂surf5(μeμc)9θi5ϕ;

P~

=

𝓂surf6(μeμc)12θi6ϕ2;

r~

=

𝓂surf2(μeμc)3θi2(2π)1/2η;

M~r

=

𝓂surf1θi1(2π)1/2(η2dϕdη),

where,

ϕ = A[sin(ηB)η],
dϕdη = Aη2[ηcos(ηB)sin(ηB)],

and,

θi = (1+13ξi2)1/2,
ηi = (μeμc)3θi2ξi,
Λi = ξi3[(μeμc)11θi2ξi21],
A = ηi(1+Λi2)1/2,
B = ηiπ2+tan1(Λi),
ηs=π+B = π2+ηi+tan1(Λi).

Keep in mind, as well, that,

νMcoreMtot = (μeμc)23[ξi3θi4Aηs],
qrcoreR = (μeμc)3[ξiθi2ηs].

Linearized Equations With Preferred Normalizations

Review and Elaborate

Linearized
Equation of Continuity
r0dxdr0=3xd,

Linearized
Euler + Poisson Equations
P0ρ0dpdr0=(4x+p)g0+ω2r0x,

Linearized
Adiabatic Form of the
First Law of Thermodynamics

p=γgd.

The LHS of the "linearized Euler + Poisson" equation is rewritten as,

LHS=P0ρ0dpdr0 =

[Kc10G9Mtot6]1P~[(KcG)3/21Mtot]5ρ~1[(KcG)5/2Mtot2]dpdr~

  =

P~ρ~dpdr~[Kc10G9Mtot6][G15/2Kc15/2Mtot5][Kc5/2G5/2Mtot2]

  =

P~ρ~dpdr~[Kc5G4Mtot3];

and,

g0=GMrr02 =

GMtotM~r[(KcG)5/2Mtot2]2r~2

  =

M~rr~2[(KcG)5/2Mtot2]2GMtot

  =

M~rr~2[Kc5G4Mtot3].

Therefore, multiplying the full equation through by [Kc5G4Mtot3] gives,

P~ρ~dpdr~ =

(4x+p)M~rr~2+[Kc5G4Mtot3][(KcG)5/2Mtot2]1ω2r~x

  =

(4x+p)M~rr~2+τc2ω2r~x,

where the square of the characteristic timescale,

τc2

[Kc15/2G13/2Mtot5].

ASIDE:  Building on an associated discussion, the square of the dimensionless frequency also can be represented by the expression,

σc23ω22πGρc =

3ω22πρ~c[(GKc)15/2Mtot5]G1=3τc2ω22πρ~c,

where,

ρ~c =

msurf5(μeμc)10.

Hence we can write,

dpdr~ =

ρ~P~M~rr~2[(4x+p)+τc2ω2(r~3M~r)x]

  =

ρ~P~M~rr~2[(4x+p)+σc2(2π3ρ~cr~3M~r)x].


Focusing on the core …

As demonstrated earlier, the leading term on the RHS of this expression can be rewritten to give,

dpdr~ =

2[ξr~](1+13ξ2)1ξ[(4x+p)+σc2(2π3ρ~cr~3M~r)x]

dpdξ =

2(1+13ξ2)1ξ[(4x+p)+σc2(2π3ρ~cr~3M~r)x].

Noting as well that,

ρ~c(r~3M~r) =

msurf5(μeμc)10[𝓂surf5(μeμc)10(34π)(1+13ξ2)3/2]=34π(1+13ξ2)3/2,

we have,

dpdξ =

2(1+13ξ2)1ξ[(4x+p)+σc22(1+13ξ2)3/2x].

At the Center

All σ2

According to our discussion in an appendix chapter, starting from the center of the equilibrium configuration, the displacement function can be represented by a power-series expression of the form,

x

1[(n+1)𝔉60]ξ2,

where, 𝔉(σc2/γ2α), and (see, for example, here),

ξ

=

msurf2(μeμc)4(2π3)1/2r~.

Note that, at the center of our (nc,ne)=(5,1) bipolytrope, γg=6/5, so α=1/3. Hence, for this particular investigation, the central boundary condition is,

x

1[σc212+115]ξ2

 

1[σc212+115][msurf4(μeμc)8(2π3)]r~2.

Also, the derivative of this displacement function is,

dxdξ

2[σc212+115]ξ.

Hence,

p=γc[3x+ξdxdξ]

65{3[1(σc212+115)ξ2]2(σc212+115)ξ2}

 

=

185[153(σc212+115)ξ2].

Furthermore, we find,

(4x+p)

=

4[1(σc212+115)ξ2]185[153(σc212+115)ξ2].

 

=

[2054(σc212+115)ξ2]+[185+6(σc212+115)ξ2]

 

=

25+2(σc212+115)ξ2.

Hence we have,

dpdξ =

2(1+13ξ2)1ξ{25+2(σc212+115)ξ2+σc22(1+13ξ2)3/2[1(σc212+115)ξ2]}

  =

2(1+13ξ2)1ξ{24+2(5σc2+4)ξ2+σc22(1+13ξ2)3/2[60(5σc2+4)ξ2]}160

  =

130(1+13ξ2)1ξ{24+8ξ2+10σc2ξ2+30σc2(1+13ξ2)3/2σc22(1+13ξ2)3/2(4+5σc2)ξ2}

  =

130(1+13ξ2)1ξ{[24+8ξ2+10σc2ξ2]+(1+13ξ2)3/2[30σc22σc2ξ252σc4ξ2]}

  =

115(1+13ξ2)1ξ[12+4ξ2+5σc2ξ2]+σc2ξ30(1+13ξ2)1/2[302ξ252σc2ξ2]

Just σ2 = 0

If we set σc2=0, we have,

p

=

185+25ξ2

dpdξ

=

45ξ.

Alternatively, from immediately above,

dpdξ|σc2=0 =

115(1+13ξ2)1ξ[12+4ξ2+5σc2ξ20]+σc2ξ300(1+13ξ2)1/2[302ξ252σc2ξ2]

  =

1215(1+13ξ2)1ξ[1+13ξ2]

  =

45ξ.

Yes! It matches!

Summary

Moving from the center, outward thorough the core — that is, interior to the interface — we can assign values of x(ξ) and p(ξ) using the following approximate (exact if σc2=0) relations:

x

1[σc212+115]ξ2;

p

185[153(σc212+115)ξ2].

For all radial shells throughout the entire bipolytropic configuration, the pair of first derivatives can be evaluated using the following relations:

dxdr~

=

1r~[3x+pγg];

dpdr~ =

ρ~P~M~rr~2[(4x+p)+σc2(2π3ρ~cr~3M~r)x].

Near the center, this pressure-derivative expression can be checked against the relation,

dpdξ =

115(1+13ξ2)1ξ[12+4ξ2+5σc2ξ2]+σc2ξ30(1+13ξ2)1/2[302ξ252σc2ξ2];

notice that, in order to make this comparison, you need to multiply this last expression through by the ratio,

ξr~ =

𝓂surf2(μeμc)4(2π3)1/2.

The comparison should be especially accurate in the case of σc2=0.

At the Interface

See below.

At the Surface

Drawing from a separate discussion, the surface boundary condition is,

r0dxdr0

=

(43γg+ω2R3GMtot)xγg        at         r0=R,

that is,

dlnxdlnr~|s

=

α+ω2R3γgGMtot,

where (see also, here),

α

34γg.

Note that since,

R3

=

r~s3[G15/2Kc15/2Mtot6],

in terms of our adopted normalizations, the frequency-squared term should be rewritten as,

ω2R3γgGMtot

=

r~s3[ω2τc2γg].

Note as well that, at the surface of our (nc,ne)=(5,1) bipolytrope, γg=2, so α=+1. Hence, for this particular investigation, the surface boundary condition is,

dlnxdlnr~|s

=

12[r~s3ω2τc2]1

 

=

r~s36[2πρ~cσc2]1

 

=

r~s36[2πρ~cσc2]34πr~s3ρ~mean1

 

=

14(ρ~cρ~mean)σc21.

This result should be compared with our separate discussion of eigenfunction details.

Discretize for Numerical Integration

General Discretization

First Approximation

Now, let's set up a grid associated with a uniformly spaced spherical radius, where the subscript J denotes the grid zone at which all terms in the finite-difference representation of the governing relations will be evaluated. More specifically,

r~J1 =

r~JΔr~

      and       r~J+1 =

r~J+Δr~;

also,

(dxdr~)J

(xJ+1xJ1)2Δr~

      and       (dpdr~)J

(pJ+1pJ1)2Δr~.

And at each grid location, the governing relations establish the local evaluation of the derivatives, that is,

(dxdr~)J =

1r~J[3x+pγg]J,

      and       (dpdr~)J =

ρ~JP~J[(4x+p)M~rr~2+τc2ω2r~x]J.

So, integrating step-by-step from the center of the configuration, outward, once all the variable values are known at grid locations J and (J1), the values of x and p at (J+1) are given by the expressions,

xJ+1 =

xJ12Δr~{1r~[3x+pγg]}J,

      and       pJ+1 =

pJ1+2Δr~{ρ~P~M~rr~2[(4x+p)+σc2(2π3ρ~cr~3M~r)x]}J.

Then we will obtain the "xJ" and "pJ" values via the average expressions,

xJ =

12(xJ1+xJ+1),

      and       pJ =

12(pJ1+pJ+1).

Consider implementing a more implicit finite-difference analysis. Wherever a "J" index appears in the source term, replace it with the average expressions. The general form of the source term expressions is,

xJ+1 =

xJ1+2Δr~{𝒜xJ+pJ}

  =

xJ1+Δr~{𝒜[xJ+1+xJ1]+[pJ+1+pJ1]}

xJ+1[1Δr~𝒜] =

xJ1[1+Δr~𝒜]+Δr~[pJ+1+pJ1],

where,

𝒜

3r~,

      and      

1γgr~;

and,

pJ+1 =

pJ1+2Δr~{𝒞xJ+𝒟pJ}

  =

pJ1+Δr~{𝒞[xJ+1+xJ1]+𝒟[pJ+1+pJ1]}

pJ+1[1Δr~𝒟] =

pJ1[1+Δr~𝒟]+Δr~𝒞[xJ+1+xJ1],

where,

𝒞

{𝒟[4+σc2(2π3ρ~cr~3M~r)]}J,

      and       𝒟

{ρ~P~M~rr~2}J.

In both cases, the two unknowns are xJ+1 and pJ+1. Combining this pair of equations gives,

xJ+1[1Δr~𝒜] =

xJ1[1+Δr~𝒜]+Δr~[pJ1]+Δr~[1Δr~𝒟]1{pJ1[1+Δr~𝒟]+Δr~𝒞[xJ+1+xJ1]}

xJ+1{1Δr~𝒜Δr~[1Δr~𝒟]1[Δr~𝒞]} =

xJ1[1+Δr~𝒜]+Δr~[pJ1]+Δr~[1Δr~𝒟]1{pJ1[1+Δr~𝒟]+Δr~𝒞[xJ1]},

which determines xJ+1, which then allows the straightforward determination of pJ+1. Via the average expressions, we can also then determine — and record — the self-consistent values of xJ and pJ.


Dropping terms 𝒪[(Δr~)2] and higher gives,

xJ+1[1Δr~𝒜]J

xJ1[1+Δr~𝒜]J+Δr~J[pJ1],

and, in turn,

pJ+1[1Δr~𝒟]J

pJ1[1+Δr~𝒟]J+Δr~𝒞J[xJ1]+Δr~𝒞J[xJ+1].

Second Approximation

Let's assume that we know the three quantities, xJ1,xJ, and (xJ)'(dx/dr~)J and want to project forward to determine, xJ+1. We should assume that, locally, the displacement function x is quadratic in r~, that is,

x =

a+br~+cr~2

dxdr~ =

b+2cr~,

where we have three unknowns, a,b,c. These can be determined by appropriately combining the three relations,

(xJ)' =

b+2cr~J,

xJ =

a+br~J+cr~J2,

xJ1 =

a+b(r~JΔr~)+c(r~JΔr~)2.

We have,

b =

(xJ)'2cr~J,

a =

xJ+[(xJ)'2cr~J]r~J+cr~J2,

a =

xJ1+[(xJ)'2cr~J](r~JΔr~)+c(r~JΔr~)2.

Combining the last two expressions gives,

xJ+[(xJ)'2cr~J]r~J+cr~J2 =

xJ1+[(xJ)'2cr~J](r~JΔr~)+c(r~JΔr~)2

xJ+(xJ)'r~Jcr~J2 =

xJ1+(xJ)'(r~JΔr~)2cr~J(r~JΔr~)+c[r~J22rJΔr~+(Δr~)2]

xJcr~J2 =

xJ1(xJ)'Δr~+c[r~J22rJΔr~+(Δr~)22r~J2+2r~J(Δr~)]

c(Δr~)2 =

xJxJ1(xJ)'Δr~.

Therefore, also,

b =

(xJ)'[xJxJ1(xJ)'Δr~]2r~J(Δr~)2,

a =

xJ(xJ)'r~J+[xJxJ1(xJ)'Δr~]r~J2(Δr~)2

Hence,

xJ+1 =

a+b(r~J+Δr~)+c(r~J+Δr~)2

  =

xJ(xJ)'r~J+[xJxJ1(xJ)'Δr~]r~J2(Δr~)2+(r~J+Δr~){(xJ)'[xJxJ1(xJ)'Δr~]2r~J(Δr~)2}

   

+(r~J+Δr~)2[xJxJ1(xJ)'Δr~]1(Δr~)2

  =

xJ(xJ)'r~J+{r~J2+2r~J(r~J+Δr~)+(r~J+Δr~)2}[xJxJ1(xJ)'Δr~]1(Δr~)2

  =

xJ(xJ)'r~J+[2r~J+Δr~]2[xJxJ1(xJ)'Δr~]1(Δr~)2.

WRONG!! Try again …

Third Approximation

Let's assume that we know the three quantities, xJ1,xJ, and (xJ)'(dx/dr~)J and want to project forward to determine, xJ+1. We should assume that, locally, the displacement function x is quadratic in r~, that is,

x =

a+br~+cr~2

dxdr~ =

b+2cr~,

where we have three unknowns, a,b,c. These can be determined by appropriately combining the three relations,

(xJ)' =

b+2cr~J,

xJ =

a+br~J+cr~J2,

xJ1 =

a+b(r~JΔr~)+c(r~JΔr~)2.

The difference between the last two expressions gives,

xJxJ1 =

[br~J+cr~J2][b(r~JΔr~)+c(r~JΔr~)2]

  =

bΔr~+c(2r~JΔr~Δr~2).

Combining this with the first of the three expressions then gives,

Δr~[(xJ)'2cr~J]+c(2r~JΔr~Δr~2)

=

xJxJ1

c(2r~JΔr~Δr~2)c[2r~JΔr~]

=

xJxJ1(xJ)'Δr~

cΔr~2

=

xJxJ1(xJ)'Δr~

c

=

1Δr~2[xJ+xJ1+(xJ)'Δr~].

Hence,

b

=

(xJ)'2cr~J

 

=

(xJ)'+2r~JΔr~2[xJxJ1(xJ)'Δr~];

a

=

xJbr~Jcr~J2

 

=

xJ{(xJ)'+2r~JΔr~2[xJxJ1(xJ)'Δr~]}r~J{1Δr~2[xJ+xJ1+(xJ)'Δr~]}r~J2

 

=

xJ(xJ)'r~J{2r~J2Δr~2[xJxJ1(xJ)'Δr~]}+{r~J2Δr~2[xJxJ1(xJ)'Δr~]}

 

=

xJ(xJ)'r~Jr~J2Δr~2[xJxJ1(xJ)'Δr~].

As a result,

xJ+1 =

{a}+(r~J+Δr~){b}+(r~J+Δr~)2{c}

  =

{xJ(xJ)'r~Jr~J2Δr~2[xJxJ1(xJ)'Δr~]}+(r~J+Δr~){(xJ)'+2r~JΔr~2[xJxJ1(xJ)'Δr~]}

   

+(r~J2+2r~JΔr~+Δr~2){1Δr~2[xJ+xJ1+(xJ)'Δr~]}

  =

xJ(xJ)'r~J+r~J2{1Δr~2[xJ+xJ1+(xJ)'Δr~]}+(xJ)'(r~J+Δr~)2r~J(r~J+Δr~){1Δr~2[xJ+xJ1+(xJ)'Δr~]}

   

+(r~J2+2r~JΔr~+Δr~2){1Δr~2[xJ+xJ1+(xJ)'Δr~]}

  =

xJ+(xJ)'Δr~+[r~J22r~J(r~J+Δr~)+(r~J2+2r~JΔr~+Δr~2)]{1Δr~2[xJ+xJ1+(xJ)'Δr~]}

  =

xJ+(xJ)'Δr~+[xJ+xJ1+(xJ)'Δr~]

  =

xJ1+2(xJ)'Δr~.

GOOD! This is the same as our first approximation expression stated above.


This is test ...

Δr~ xJ xJ1 (xJ)' (xJ1)'
0.001936393 -4.695376 -4.547832 -116.0119 -76.19513
xJ+1 =

xJ1+2(xJ)'Δr~=4.997121.

Part 2

For a continuation (part 2) of this discussion, go here.

See Also

Tiled Menu

Appendices: | VisTrailsEquations | VisTrailsVariables | References | Ramblings | VisTrailsImages | myphys.lsu | ADS |