SSC/VariationalPrinciple

From JETohlineWiki
Revision as of 15:34, 18 January 2024 by Joel2 (talk | contribs) (Created page with "__FORCETOC__ <!-- __NOTOC__ will force TOC off --> =Ledoux's Variational Principle= <table border="1" align="center" width="100%" colspan="8"> <tr> <td align="center" bgcolor="lightblue" width="50%"><br />Part I:  Ledoux & Pekeris (1941)   </td> <td align="center" bgcolor="lightblue"><br />Part II:  Exploratory Ideas   </td> </tr> </table> {| class="PGEclass" style="float:lef...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

Ledoux's Variational Principle[edit]


Part I:  Ledoux & Pekeris (1941)

 


Part II:  Exploratory Ideas

 


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)[edit]

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[edit]

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[edit]

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[edit]

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[edit]

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[edit]

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.

See Also[edit]

Tiled Menu

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