SSC/VariationalPrinciple

From jetwiki
Jump to navigation Jump to search


Ledoux's Variational Principle

Variational
Principle

All of the discussion in this chapter will build upon our derivation elsewhere of the,

LAWE:   Linear Adiabatic Wave (or Radial Pulsation) Equation

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

We will draw heavily from the papers published by Ledoux & Pekeris (1941) and by S. Chandrasekhar (1964), as well as from pp. 458-474 of the review by P. Ledoux & Th. Walraven (1958) in explaining how the variational principle can be used to identify the eigenvector of the fundamental mode of radial oscillation in spherically symmetric configurations. In an associated "Ramblings" appendix, we provide various derivations that support this chapter's relatively abbreviated presentation.

Ledoux and Pekeris (1941)

Historically, by the 1940s, the LAWE was a relatively familiar one to astrophysicists. For example, the opening paragraph of a 1941 paper by Ledoux & Pekeris (1941, ApJ, 94, 124), reads:

Paragraph extracted from P. Ledoux & C. L. Pekeris (1941)

"Radial Pulsations of Stars"

ApJ, vol. 94, pp. 124-135 © American Astronomical Society

Ledoux & Pekeris (1941, ApJ, 94, 124)
Ledoux & Pekeris (1941, ApJ, 94, 124)

If we divide their equation (1) through by Xr=Γ1Pr and recognize that,

dXdr=dXdmdmdr=Γ1g0ρ,

we obtain,

d2ξdr2+[4rg0ρP]dξdr+ρΓ1P[σ2+(43Γ1)g0r]ξ=0.

Clearly, this 2nd-order, ordinary differential equation is the same as our derived LAWE, but with a more general definition of the adiabatic exponent that allows consideration of a situation where the total pressure is a sum of both gas and radiation pressure.

Multiplying this last equation through by Γ1Pr4, and recognizing that,

(r4Γ1P)d2ξdr2

=

ddr[r4Γ1Pdξdr]dξdrddr[r4Γ1P]

we can write,

0

=

ddr[r4Γ1Pdξdr]dξdrddr[r4Γ1P]+(Γ1Pr4)[4rg0ρP]dξdr+ρ[σ2r4+(43Γ1)g0r3]ξ

 

=

ddr[r4Γ1Pdξdr][4r3Γ1P+Γ1r4dPdr]dξdr+[4r3Γ1P+Γ1r4dPdr]dξdr+[σ2ρr4(43Γ1)r3dPdr]ξ

(checked for n = 5) ==>

=

ddr[r4Γ1Pdξdr]+[σ2ρr4+(3Γ14)r3dPdr]ξ

 

=

ddr[Γ1Pr4dξdr]+[σ2r4ρ+4Gm(r)rρ+3Γ1r3dPdr]ξ.

Assuming that Γ1 is uniform throughout the configuration, this last expression is the same as equation (3) of Ledoux & Pekeris (1941), while the next-to-last expression is identical to equation (58.1) of Ledoux & Walraven (1958).

Stability Based on Variational Principle

Here we derive the Lagrangian directly from the governing LAWE. We begin with the next-to-last derived form of the LAWE that appears above in our review of the paper by Ledoux & Pekeris (1941) and, following the guidance provided at the top of p. 666 of S. Chandrasekhar (1964, ApJ, 139, 664), we multiply the LAWE through by the fractional displacement, ξ. This gives, what we will henceforth refer to as, the,

Foundational Variational Relation

σ2ρr4ξ2

=

ξddr[r4Γ1Pdξdr](3Γ14)r3ξ2(dPdr).

Chandrasekhar's Approach

Next, in an effort to adopt the notation used by Chandrasekhar (1964), we make the substitution, ξψ/r3, and regroup terms to obtain,

σ2ρψ2r2

=

(ψr3)ddr[r4Γ1Pddr(ψr3)](3Γ14)(ψ2r3)(dPdr)

 

=

(ψr3)ddr[rΓ1Pdψdr3Γ1Pψ](3Γ14)(ψ2r3)(dPdr)

 

=

(43Γ1)(ψ2r3)(dPdr)(ψr3)ddr[rΓ1Pdψdr]+3Γ1(ψ2r3)dPdr+3Γ1P(ψr3)dψdr

 

=

4(ψ2r3)(dPdr)+3Γ1P(ψr3)dψdr{ddr[rΓ1P(ψr3)dψdr]rΓ1Pdψdrddr(ψr3)}

 

=

4(ψ2r3)(dPdr)+3Γ1P(ψr3)dψdr+Γ1Pr2[dψdr]2[3Γ1Pψr3]dψdrddr[Γ1Pψr2(dψdr)]

 

=

4(ψ2r3)(dPdr)+Γ1Pr2[dψdr]2ddr[Γ1Pψr2(dψdr)].

Let's check to see whether the terms in the RHS of this last expression sum to zero when we plug in the appropriate functions for the marginally unstable, n = 5 configuration. In particular (replacing ξ with x, and setting r=a5ξ), we start with knowing,

θ5=(3+ξ23)1/2;        

dθ5dξ=ξ3(3+ξ23)3/2;        

x=(35ξ235);        

dxdξ=2ξ35;        

ψ=a53ξ3x;        

dψdξ=a53[3ξ2x+ξ3(dxdξ)]=a53ξ23(32ξ2).


Then,

RHS

=

4[a56ξ6x2a53ξ3]Pca5dθ6dξ+Pc(n+1n)θ6a54ξ2{dψdξ}2Pca5ddξ{(n+1n)θ6a53ξ3xa53ξ2(dψdξ)}

RHSPca52

=

4[ξ3x2]dθ6dξ+(n+1n)θ6ξ2{ξ23(32ξ2)}2ddξ{(n+1n)θ6ξ3xξ2[ξ23(32ξ2)]}

 

=

233ξ3x2(3+ξ23)5/2[ξ3(3+ξ23)3/2]+(n+1n)(ξ3)2(3+ξ23)3(32ξ2)2

 

 

ddξ{(n+1n)(3+ξ23)3ξ3x3(32ξ2)}

 

=

2334ξ4x2(13+ξ2)4+(2325)ξ2[(32ξ2)2(3+ξ2)3](2335)ddξ{ξ3x[(32ξ2)(3+ξ2)3]}

5(3+ξ2)4[RHS]232Pca52

=

22325ξ4x2+ξ2(3+ξ2)(32ξ2)2

 

 

3(3+ξ2)4{ξ3[(32ξ2)(3+ξ2)3]dxdξ+3ξ2x[(32ξ2)(3+ξ2)3]+ξ3x[2ξ(3+ξ2)3]23ξ4x[(32ξ2)(3+ξ2)4]}

 

=

ξ2(3+ξ2)(32ξ2)222325ξ4x23ξ3(32ξ2)(3+ξ2)[2ξ35]

 

 

3ξ2{3(32ξ2)(3+ξ2)2ξ2(3+ξ2)23ξ2(32ξ2)}x

52(3+ξ2)4[RHS]232ξ2Pca52

=

5(3+ξ2)(32ξ2)222ξ2(15ξ2)2+2ξ2(32ξ2)(3+ξ2)

 

 

+[2ξ2(3+ξ2)+23ξ2(32ξ2)3(32ξ2)(3+ξ2)](15ξ2)

 

=

(35+5ξ2)(34232ξ2+ξ4)22ξ2(3252235ξ2+ξ4)+2ξ2(33+23ξ2ξ4)

 

 

+[23ξ2+2ξ4+233ξ223ξ43(33+23ξ2ξ4)](15ξ2)

Coefficients of various powers of ξ:

ξ0:

   

355355=0

ξ2:

   

2335+345223252+233+2325+23452335+34

 

   

=325[23+32+2+23223]+32[23+322252]=325[17]32[517]=0

ξ4:

   

352325+2335+223+235232523233+232+325

 

   

=35[123+23+223+3]+23[2132+3]=235235=0

ξ6:

   

52222+233=0

Multiplying through by dr, and integrating over the volume gives,

0R(σ2ρψ2)drr2

=

0R[Γ1P(dψdr)2+4ψ2r(dPdr)]drr2[Γ1Pψr2(dψdr)]0R,

which is identical to equation (49) of Chandrasekhar (1964), if the last term — the difference of the central and surface boundary conditions — is set to zero.

Note that if we shift from the variable, ψ, back to the fractional displacement function, ξ, the last term in this expression may be written as,

Γ1Pψr2(dψdr)

=

Γ1Prξddr[r3ξ]

 

=

Γ1Prξ[3r2ξ+r3dξdr]

 

=

Γ1Pr3ξ2[3+dlnξdlnr].

So, as is pointed out by Ledoux & Walraven (1958) in connection with their equation (57.31), setting this expression to zero at the surface of the configuration is equivalent to setting the variation of the pressure to zero at the surface. Quite generally, this can be accomplished by demanding that,

dlnξdlnr|surface=3.

(An accompanying chapter provides a broader discussion of this and other astrophysically reasonable boundary conditions that are associated with solutions to the LAWE.)

Ledoux & Walraven Approach

Returning to the above Foundational Variational Relation, we can also write,

σ2ρr4ξ2

=

ξddr[r4Γ1Pdξdr](3Γ14)r3ξ2(dPdr)

 

=

r4Γ1P(dξdr)2(3Γ14)r3ξ2(dPdr)ddr[r4Γ1Pξ(dξdr)]

0Rσ2ρr4ξ2dr

=

0Rr4Γ1P(dξdr)2dr0R(3Γ14)r3ξ2(dPdr)dr[r4Γ1Pξ(dξdr)]0R

If the last term (boundary conditions) is set to zero, then we may also write,

σ2

=

0Rr4Γ1P(dξdr)2dr0R(3Γ14)r3ξ2(dPdr)dr0Rρr4ξ2dr.

This means that, if the radial profile of the pressure and the density is known throughout a spherically symmetric, equilibrium configuration, and if, furthermore, the eigenfunction, ξ(r), of a radial oscillation mode is specified precisely, then this expression will give the (square of the) eigenfrequency of that oscillation mode.

By using formal variational principle techniques to derive this same expression, Ledoux & Walraven (1958) are able to offer a broader interpretation, which is encapsulated by their equation (59.10), viz.,

σ02

=

min0Rr4Γ1P(dξdr)2dr0R(3Γ14)r3ξ2(dPdr)dr0Rρr4ξ2dr.

This means that, if the exact radial eigenfunction, ξ(r), is not known, various approximate eigenfunctions can be tried. The trial eigenfunction that minimizes the righthand-side of this expression will give the (square of the) eigenfrequency of the fundamental mode of oscillation (subscript zero). Furthermore, via an evaluation of this righthand-side expression, any reasonable trial eigenfunction — for example, ξ = constant — can provide an upper limit to σ02.

Ledoux & Pekeris Approach

Here we follow the lead of Ledoux & Pekeris (1941). Returning to the integral expression just derived in our discussion of the Ledoux & Walraven approach, and multiplying through by 4π, we have,

0R4πσ2ρr4ξ2dr

=

0R4πr4Γ1P(dξdr)2dr0R(3Γ14)4πr3ξ2(dPdr)dr[4πr3Γ1Pξ2(dlnξdlnr)]0R.

If we acknowledge that:

  • at the center of the configuration, r3=0;
  • as above, the boundary condition at the surface is P=Pe while (dlnξ/dlnr)=3;
  • the differential mass element is, dm=4πr2ρdr and the corresponding differential volume element is, dV=4πr2dr; and
  • a statement of detailed force balance is, dP/dr=Gmρ/r2,

this integral relation becomes,

σ20Rr2ξ2dm

=

Γ10R[r(dξdr)]2PdV+(3Γ14)0Rξ2(Gmr)dm[Γ1ξsurface2(3PeV)(3)].

Now, as we have discussed separately — see, also, p. 64, Equation (12) of [C67] — the gravitational potential energy of the unperturbed configuration is given by the integral,

Wgrav

=

0M(Gmr0)dm;

for adiabatic systems, the internal energy is,

Uint=1(Γ11)0RP0dV;

and — see the text at the top of p. 126 of Ledoux & Pekeris (1941) — the moment of inertia of the configuration about its center is,

I=0Mr02dm.

(Note that, defined in this way, I is the same as what we have referred to elsewhere as the scalar moment of inertia, which is obtained by taking the trace of the moment of inertia tensor, Iij.) After inserting these expressions, we have what will henceforth be referred to as the,

Variational Principle's Governing Integral Relation

σ20Rξ2dI

=

Γ1(Γ11)0Rξ2[dlnξdlnr]2dUint(3Γ14)0Rξ2dWgrav+32Γ1PeVξsurface2.

Free-Energy Analysis

If we assume the simplest approximation for the fundamental-mode eigenfunction, namely, ξ=ξ0 = constant — that is, homologous expansion/contraction — then this last integral expression gives,

σ2I

=

(43Γ1)Wgrav+32Γ1PeV.

Contrast this result with the following free-energy analysis:

𝔊

=

Wgrav+Uint+PeV,

where, in terms of the configuration's (generally non-equilibrium) dimensionless radius, χR/R0,

Wgrav

=

aχ1

Uint

=

bχ33Γ1

V

=

4π3χ3.

Then,

𝔊χ

=

+aχ2+3(1Γ1)bχ23Γ1+4πPeχ2

 

=

χ1[Wgrav+3(1Γ1)Uint+3PeV],

and,

2𝔊χ2

=

2aχ3+3(1Γ1)(23Γ1)bχ13Γ1+8πPeχ

 

=

χ2[2Wgrav+3(1Γ1)(23Γ1)Uint+6PeV].

The equilibrium condition occurs when 𝔊/χ=0, that is, when,

3(1Γ1)Uint

=

Wgrav3PeV,

in which case,

χ22𝔊χ2

=

2Wgrav+(23Γ1)(Wgrav3PeV)+6PeV

 

=

(43Γ1)Wgrav+32Γ1PeV.

Fantastic! The righthand-side of this "free-energy-based" expression exactly matches the righthand-side of the above expression that has been derived from the variational principle, assuming homologous expansion/contraction (i.e., ξ = constant). In this case, we can make the direct association,

σ2I=χ22𝔊χ2.

This also make sense in that the equilibrium configuration should be stable if 2𝔊χ2>0 — in which case, σ2 is positive; whereas the equilibrium configuration should be unstable if 2𝔊χ2<0 — in which case, σ2 is negative.

Related, Exploratory Ideas

Logarithmic Derivatives

Returning to our above discussion of the Ledoux & Walraven approach, we appreciate that the differential relation governing the Variational Principle is,

σ2ρr4ξ2

=

r4Γ1P(dξdr)2(3Γ14)r3ξ2(dPdr)ddr[r4Γ1Pξ(dξdr)]

ddr[r3Γ1Pξ2(dlnξdlnr)]

=

r4Γ1P(dξdr)2(3Γ14)r3ξ2(dPdr)σ2ρr4ξ2

 

=

ξ2{r2Γ1P(dlnξdlnr)2(3Γ14)r3(dPdr)σ2ρr4}

 

=

(rξ)2P{Γ1(dlnξdlnr)2(3Γ14)(dlnPdlnr)σ2ρr2P}

 

=

Γ1(rξ)2P{(dlnξdlnr)2α(dlnPdlnr)σ2ρr2Γ1P},

where,

α(34Γ1).

Pressure-Truncated Polytropes

Let's start with the integral expression derived in our discussion of the Ledoux & Walraven approach; insert the variable, x, in place of ξ; and adopt the boundary conditions,

r=0   at the center,

        along with        

P=Pe,   and  dlnxdlnr=3   at the surface (r = R).

That is, let's start with,

0Rσ2ρr4x2dr

=

0Rr4Γ1P(dxdr)2dr0R(3Γ14)r3x2(dPdr)dr+3Γ1PeR3xsurface2.

Via Generalized Normalization

Next, we'll divide through by the normalization energy, as defined in an accompanying discussion,

Enorm=PnormRnorm3=GMtot2Rnorm,

thereby making the integral relation dimensionless:

0

=

[RnormGMtot2]0Rσ2ρr4x2dr+[1PnormRnorm3]0Rr4Γ1P(dxdr)2dr[1PnormRnorm3]0R(3Γ14)r3x2(dPdr)dr+[PeR3PnormRnorm3]3Γ1xsurface2

 

=

[RnormR5ρc2Mtot2]0Rx2(σ2Gρc)(ρρc)(rR)4drR+[PcR3PnormRnorm3]0R(rR)4Γ1(PPc)[dxd(r/R)]2drR

 

 

[PcR3PnormRnorm3]0R(3Γ14)(rR)3x2[d(P/Pc)d(r/R)]drR+[PeR3PnormRnorm3]3Γ1xsurface2

 

=

[MMtot]2[(34π)ρcρ¯]2χ10Rx2(σ2Gρc)(ρρc)(rR)4drR+[PePnorm]3Γ1χ3xsurface2

 

 

+[PcPnorm]χ30R{(rR)4Γ1(PPc)[dxd(r/R)]2(3Γ14)(rR)3x2[d(P/Pc)d(r/R)]}drR,

where,

χRRnorm.

Note that we will ultimately insert the relation,

PcPnorm=[(34π)ρcρ¯(MMtot)]Γ1(RRnorm)3Γ1.

But, for the time being, dividing through by [Pc/Pnorm]χ3 gives,

0

=

[PcPnorm]1[MMtot]2[(34π)ρcρ¯]2χ40Rx2(σ2Gρc)(ρρc)(rR)4drR

 

 

+[PePc]3Γ1xsurface2+0R{(rR)4Γ1(PPc)[dxd(r/R)]2(3Γ14)(rR)3x2[d(P/Pc)d(r/R)]}drR,

Now let's focus on the second line of this integral energy relation, evaluating it for pressure-truncated polytropic configurations, in which case, Γ1(n+1)/n,

rRξξ~

        and        

PPcθn+1.

We have,

Second line of relation

=

[PePc]3Γ1xsurface2+0R{(rR)4Γ1(PPc)[dxd(r/R)]2(3Γ14)(rR)3x2[d(P/Pc)d(r/R)]}drR

 

=

[PePc][3(n+1)n]xsurface2+0ξ~{(ξξ~)4(n+1n)θn+1[dxdξ]2ξ~2(3nn)(ξξ~)3x2[dθn+1dξ]ξ~}dξξ~

 

=

[PePc][3(n+1)n]xsurface2+1nξ~30ξ~{(n+1)ξ4θn+1[dxdξ]2(3n)ξ3x2[dθn+1dξ]}dξ

 

=

[PePc][3(n+1)n]xsurface2+1nξ~30ξ~{(n+1)ξ4θn+1[dxdξ]2(n+1)(3n)ξ3x2θnθ'}dξ

 

=

[PePc][3(n+1)n]xsurface2+(n+1)nξ~30ξ~(32n)2ξθn{ξθ[(2n3)ξθndxdξ]2(3n)[(2n3)ξθnx]2θ'}dξ.

Now, let's examine how these terms combine if we guess the analytically defined eigenfunction that applies to marginally unstable, pressure-truncated polytropic configurations, namely,

x

=

3(n1)2n[1+(n3n1)θ'ξθn]

(2n3)ξθnx

=

[(n1)ξθn+(n3)θ']

dxdξ

=

[3(n3)2n]{θ'ξθnθ'ξ2θnn(θ')2ξθ(n+1)}

 

=

[3(n3)2n]1ξθn[θn+3θ'ξ+n(θ')2θ]

(2n3)ξθndxdξ

=

(3n)[θn+3θ'ξ+n(θ')2θ].

Hence,

Second line of relation

=

θ~n+1[3(n+1)n]{3(n1)2n[1+(n3n1)θ~'ξ~θ~n]}2

 

 

+32(n+1)(3n)22n3ξ~30ξ~ξθn{ξθ(3n)[θn+3θ'ξ+n(θ')2θ]2[(n1)ξθn+(n3)θ']2θ'}dξ

 

=

1ξ~2θ~n+1[33(n+1)22n3][(n1)ξ~θ~n+1+(n3)θ~θ~']2

 

 

+32(n+1)(3n)22n3ξ~30ξ~1θn+1{(3n)[ξθn+1+3θθ'+nξ(θ')2]2[(n1)ξθn+(n3)θ']2ξθθ'}dξ

 

=

1ξ~2θ~n+1[33(n+1)22n3][(n1)ξ~θ~n+1+(n3)θ~θ~']2

 

 

+32(n+1)(3n)222n3ξ~30ξ~1θn+1{[ξθn+1+3θθ'+nξ(θ')2]2+1(n3)[(n1)ξθn+(n3)θ']2ξθθ'}dξ

Note that, in this derivation, we have inserted the expressions:

[ξθn+1+3θθ'+nξ(θ')2][ξθn+1+3θθ'+nξ(θ')2]=ξ2θ2(n+1)+6ξθn+2θ'+2nξ2θn+1(θ')2+6nξθ(θ')3+n2ξ2(θ')4

1(n3)[(n1)ξθn+(n3)θ']2ξθ(θ')=[(n1)2(n3)]ξ3θ2n+1(θ')+2(n1)ξ2θn+1(θ')2+(n3)ξθ(θ')3

Directly to n = 5 Polytropic Configurations

0Rσ2ρr4x2dr

=

0Rr4Γ1P(dxdr)2dr0R(3Γ14)r3x2(dPdr)dr+3Γ1PeR3xsurface2

1R3Pc0Rσ2ρr4x2dr

=

0R(rR)4(n+1n)(PPc)[dxd(r/R)]2drR0R[3(n+1n)4](rR)3x2[d(P/Pc)d(r/R)]drR+3(n+1n)(PePc)xsurface2

 

=

0ξ~65(ξξ~)4θ6[dxd(ξ/ξ~)]2dξξ~0ξ~(25)(ξξ~)3x2[dθ6d(ξ/ξ~)]dξξ~+(185)θ~6xsurface2

 

=

1ξ~30ξ~(65)ξ4θ6[dxdξ]2dξ+1ξ~30ξ~(25)ξ3x2[dθ6dξ]dξ+(185)θ~6xsurface2

5ξ~32R3Pc0Rσ2ρr4x2dr

=

0ξ~3ξ4θ6[2ξ15]2dξ+0ξ~6ξ3[15ξ215]2θ5[dθdξ]dξ+9ξ~3θ~6[15ξ~215]2

 

=

(22352)0ξ~ξ6(33+ξ2)3dξ+(2352)0ξ~ξ3[15ξ2]2(33+ξ2)4[ξ3]dξ+(152)ξ~3(33+ξ~2)3[15ξ~2]2

 

=

(223252)0ξ~[ξ6(3+ξ2)3]dξ(23252)0ξ~[ξ4(15ξ2)2(3+ξ2)4]dξ+(3352)[ξ~3(15ξ~2)2(3+ξ~2)3]

53ξ~3232R3Pc0Rσ2ρr4x2dr

=

0ξ~[4ξ6(3+ξ2)2ξ4(15ξ2)2(3+ξ2)4]dξ+3[ξ~3(15ξ~2)2(3+ξ~2)3]

 

=

0ξ~{2ξ4[6ξ2+2ξ4152+30ξ2ξ4](3+ξ2)4}dξ+3[ξ~3(15ξ~2)2(3+ξ~2)3]

 

=

0ξ~{2ξ4[ξ4+36ξ2152](3+ξ2)4}dξ+3[ξ~3(15ξ~2)2(3+ξ~2)3]

 

=

[2ξ5(ξ215)(ξ2+3)3]0ξ~+3[ξ~3(15ξ~2)2(3+ξ~2)3]

 

=

[2ξ~5(ξ~215)(ξ~2+3)3]+3[ξ~3(15ξ~2)2(3+ξ~2)3]

 

=

2ξ~5(ξ~215)+3ξ~3(15ξ~2)2(ξ~2+3)3=5ξ~7120ξ~5+3352ξ~3(ξ~2+3)3,

which equals zero if ξ~=3. Hooray!!

For All Polytropic Indexes

Generalized Governing Integral Relation

Given that the derivation just completed works for the special case of n = 5, let's generalize it to all polytropic indexes

0Rσ2ρr4x2dr

=

0Rr4Γ1P(dxdr)2dr0R(3Γ14)r3x2(dPdr)dr+3Γ1PeR3xsurface2

R5ρcR3Pc0Rσ2(ρρc)(rR)4x2drR

=

0R(rR)4(n+1n)(PPc)[dxd(r/R)]2drR0R[3(n+1n)4](rR)3x2[d(P/Pc)d(r/R)]drR+3(n+1n)(PePc)xsurface2

R2ρcPc0ξ~σ2θn(ξξ~)4x2dξξ~

=

0ξ~(ξξ~)4(n+1n)θn+1[dxd(ξ/ξ~)]2dξξ~+0ξ~(n3n)(ξξ~)3x2[dθn+1d(ξ/ξ~)]dξξ~+3(n+1n)θ~n+1xsurface2

nR2ρc(n+1)ξ~2Pc0ξ~σ2θnξ4x2dξ

=

0ξ~ξ4θn+1[dxdξ]2dξ+0ξ~(n3)ξ3θnx2[dθdξ]dξ+3ξ~3θ~n+1xsurface2

nR2Gρc2(n+1)ξ~2Pc0ξ~(σ2Gρc)θnξ4x2dξ

=

0ξ~ξ2θn+1x2[ξxdxdξ]2dξ+0ξ~(n3)ξ2θn+1x2[ξθdθdξ]dξ+3ξ~3θ~n+1xsurface2

 

=

3ξ~3θ~n+1xsurface2+0ξ~ξ2θn+1x2{[ξxdxdξ]2+(n3)[ξθdθdξ]}dξ

For additional clarification, let's rewrite the leading coefficient on the lefthand-side of this expression.

LHS

=

nR2Gρc2(n+1)ξ~2Pc0ξ~(σ2Gρc)θnξ4x2dξ

 

=

[n(n+1)][GRnorm2Pnorm](RRnorm2)(ρcρ¯)2[3M4πR3]2(PnormPe)(PePc)[1ξ~2]0ξ~(σ2Gρc)θnξ4x2dξ

 

=

[n(n+1)][GMtot2PnormRnorm4](RnormR)4(ρcρ¯)2[(34π)MMtot]2(PnormPe)(PePc)[1ξ~2]0ξ~(σ2Gρc)θnξ4x2dξ

 

=

[n(n+1)](PnormPe)(RnormR)4(ξ~3θ~')2[(34π)MMtot]2[θ~n+1ξ~2]0ξ~(σ2Gρc)θnξ4x2dξ

Now, from an accompanying discussion, we know that, in equilibrium,

ReqRnorm

=

[(n+1)n(4π)]1/(n3)[MMtot](n1)/(n3)ξ~(ξ~2θ~)(1n)/(n3),

PePnorm

=

[(n+1)3(4π)1](n+1)/(n3)[MMtot]2(n+1)/(n3)θ~nn+1(ξ~2θ~)2(n+1)/(n3),

Hence,

(PePnorm)(ReqRnorm)4

=

{[(n+1)3(4π)1](n+1)[MMtot]2(n+1)θ~n(n+1)(n3)(ξ~2θ~)2(n+1)}1/(n3)

 

 

×{[(n+1)n(4π)][MMtot](n1)ξ~(n3)(ξ~2θ~)(1n)}4/(n3)

 

=

ξ~4θ~n(n+1){(n+1)3(n+1)(4π)(n1)[MMtot]2n2(ξ~2θ~)2n+2(n+1)4n(4π)4[MMtot](4n4)(ξ~2θ~)(44n)}1/(n3)

 

=

ξ~4θ~n(n+1){(n+1)(3n)(4π)(3n)[MMtot]2(n3)(ξ~2θ~)2(3n)}1/(n3)

 

=

(n+1)1(4π)(1)[MMtot]2ξ~4θ~n(n+1)(ξ~2θ~)2.

This means that, in equilibrium,

LHS

=

[n(n+1)]{(n+1)(4π)ξ~4θ~n(n+1)(ξ~2θ~)2}(ξ~3θ~')2(34π)2[θ~n+1ξ~2]0ξ~(σ2Gρc)θnξ4x2dξ

 

=

0ξ~(nσ24πGρc)θnξ4x2dξ.

In summary, then, we have,

0ξ~(nσ24πGρc)θnξ4x2dξ

=

3ξ~3θ~n+1xsurface2+0ξ~ξ2θn+1x2{[ξxdxdξ]2+(n3)[ξθdθdξ]}dξ.

Perhaps this looks better if the terms are rearranged to give,

3ξ~3θ~n+1xsurface2

=

0ξ~ξ2θn+1x2{(nσ24πGρc)ξ2θ[(dlnxdlnξ)2+(n3)(dlnθdlnξ)]}dξ.

Plug in Known Marginally Unstable Solution

As has been summarized in an accompanying discussion, we have found that, for marginally unstable pressure-truncated polytropic configurations, the eigenvector associated with the fundamental mode of radial oscillation is prescribed analytically by the following eigenfrequency-eigenfunction pair:

σc2=0

      and      

x=3(n1)2n[1+(n3n1)(1ξθn)dθdξ].

This means that,

[2n3(n1)]dxdξ

=

(n3n1)ddξ(θ'ξθn)

 

=

(n3n1)[θ'ξθnθ'ξ2θnn(θ')2ξθn+1]

 

=

(n3n1)[1ξθn(θn+2θ'ξ)θ'ξ2θnn(θ')2ξθn+1]

 

=

(3nn1)[1ξ+3θ'ξ2θn+n(θ')2ξθn+1].

Hence, also,

dlnxdlnξ=ξxdxdξ

=

(3nn1)[1+3θ'ξθn+n(θ')2θn+1][1+(n3n1)(θ'ξθn)]1

 

=

(3nn1)(n3n1)1[1+3θ'ξθn+n(θ')2θn+1][(n1n3)+(θ'ξθn)]1

 

=

[1+3θ'ξθn+n(θ')2θn+1][(n1n3)+(θ'ξθn)]1.

Rather, let's try:

ξ2x2[(dlnxdlnξ)2+(n3)(dlnθdlnξ)]

=

x2ξ2(ξxdxdξ)2+(n3)x2ξ2(ξθdθdξ)

 

=

ξ4{dxdξ}2+(n3)[ξ3θ'θ]x2

 

=

ξ4{3(n1)2n(3nn1)[1ξ+3θ'ξ2θn+n(θ')2ξθn+1]}2+(n3)[ξ3θ'θ]{3(n1)2n[1+(n3n1)(θ'ξθn)]}2

 

=

ξ2(n3)[32n]2{(n3)[1+3θ'ξθn+n(θ')2θn+1]2+ξ(θ'θ)[(n1)+(n3)(θ'ξθn)]2}

Hence, after setting σ2=0, the above rearranged integral relation becomes,

22n23(n3)[ξ~3θ~n+1xsurface2]

=

0ξ~ξ2θn+1{(n3)[1+3θ'ξθn+n(θ')2θn+1]2+ξ(θ'θ)[(n1)+(n3)(θ'ξθn)]2}dξ


Let's check to see whether the terms in this last expression balance out when we plug in the functions that are appropriate for the marginally unstable, n = 5 configuration, namely,

θ5=(3+ξ23)1/2,

     and    

dθ5dξ=ξ3(3+ξ23)3/2.

RHS Term 1

=

(n3)0ξ~ξ2θn+1[1+3θ'ξθn+n(θ')2θn+1]2dξ

 

=

20ξ~ξ2[(3+ξ23)1/2]6{1[ξ(3+ξ23)3/2]1ξ(3+ξ23)5/2+5[ξ232(3+ξ23)3][(3+ξ23)3]}2dξ

 

=

20ξ~33ξ2(3+ξ2)3{1(3+ξ23)+5ξ232}2dξ

 

=

2330ξ~ξ6dξ(3+ξ2)3

 

=

233[27ξ8(3+ξ2)9ξ4(3+ξ2)2+ξ(33/2523)tan1(ξ31/2)]03=233[352631/25π23].

RHS Term 2

=

0ξ~ξ3θnθ'[(n1)+(n3)(θ'ξθn)]2dξ

 

=

0ξ~ξ3(3+ξ23)5/2ξ3(3+ξ23)3/2{4213(3+ξ23)3/2(3+ξ23)5/2}2dξ

 

=

130ξ~(3ξ3+ξ2)4{423(3+ξ23)}2dξ

 

=

2330ξ~12(ξ3+ξ2)4{15ξ2}2dξ

 

=

233[123ξ8(3+ξ2)243ξ4(3+ξ2)2+162ξ2(3+ξ2)3+ξ2(33/2523)tan1(ξ31/2)]03

 

=

233525[2231/2π33]=233[3352531/25π23].

RHS Total

=

233[352633525]=3223[3225]=3223.

LHS

=

22n23(n3)[ξ~3θ~n+1xsurface2]

 

=

225223[33(33+32)32252]=233[(322)3]=3223.

Hence, the LHS = RHS.   Hooray!

See Also

 

A variational principle of great power is derived. It is naturally adapted for computers, and may be used to determine the stability of any fluid flow including those in differentially-rotating, self-gravitating stars and galaxies. The method also provides a powerful theoretical tool for studying general properties of eigenfunctions, and the relationships between secular and ordinary stability. In particular we prove the anti-sprial theorem indicating that no stable (or steady( mode can have a spiral structure.

  • B. F. Schutz, Jr. (1972), ApJSuppl., 24, 319: Linear Pulsations and Stability of Differentially Rotating Stellar Models. I. Newtonian Analysis
 

A systematic method is presented for deriving the Lagrangian governing the evolution of small perturbations of arbitrary flows of a self-gravitating perfect fluid. The method is applied to a differentially rotating stellar model; the result is a Lagrangian equivalent to that of D. Lynden-Bell & J. P. Ostriker (1967). A sufficient condition for stability of rotating stars, derived from this Lagrangian, is simplified greatly by using as trial functions not the three components of the Lagrangian displacement vector, but three scalar functions … This change of variables saves one from integrating twice over the star to find the effect of the perturbed gravitational field.

… we examine the special cases of (i) axially symmetric perturbations of a rotating star (as treated by S. Chandrasekhar & N. R. Lebovitz 1968); and (ii) perturbations of a nonrotating star (as treated by Chandrasekhar and Lebovitz 1964). We find that the stability criteria for those cases can also be simplified …

Tiled Menu

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