SSC/Stability/n3PolytropeLAWE

From JETohlineWiki
Revision as of 12:43, 9 January 2024 by Joel2 (talk | contribs) (Created page with "__FORCETOC__ <!-- __NOTOC__ will force TOC off --> =Radial Oscillations of n = 3 Polytropic Spheres= {| class="PGEclass" style="float:left; margin-right: 20px; border-style: solid; border-width: 3px border-color: black" |- ! style="height: 125px; width: 125px; background-color:white;" | <font size="-1"><b>Isolated<br />n = 3<br />Polytrope</b></font> |} ==Background==  <br />  <br />  <br />  <br /> ===Our...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

Radial Oscillations of n = 3 Polytropic Spheres[edit]

Isolated
n = 3
Polytrope

Background[edit]

 
 
 
 

Our Formulation of the Problem[edit]

In an accompanying discussion, we derived the so-called,

Adiabatic Wave (or Radial Pulsation) Equation

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

whose solution gives eigenfunctions that describe various radial modes of oscillation in spherically symmetric, self-gravitating fluid configurations. Because this widely used form of the radial pulsation equation is not dimensionless but, rather, has units of inverse length-squared, we have found it useful to also recast it in the following dimensionless form:

d2xdχ02+[4χ0(ρ0ρc)(P0Pc)1(g0gSSC)]dxdχ0+(ρ0ρc)(P0Pc)1(1γg)[τSSC2ω2+(43γg)(g0gSSC)1χ0]x=0,

where,

gSSCPcRρc,       and       τSSC[R2ρcPc]1/2.

In a separate discussion, we showed that specifically for isolated, polytropic configurations, this linear adiabatic wave equation (LAWE) can be rewritten as,

0

=

d2xdξ2+[4(n+1)V(ξ)ξ]dxdξ+[ω2γgθ(n+14πGρc)(34γg)(n+1)V(x)ξ2]x

 

=

d2xdξ2+[4ξ(n+1)θ(dθdξ)]dxdξ+(n+1)θ[σc26γgαξ(dθdξ)]x,

where we have adopted the dimensionless frequency notation,

σc2

3ω22πGρc.

In this chapter we carry out a numerical integration of this governing LAWE for n=3 polytropes. The results are presented below.

Schwarzschild (1941)[edit]

We can directly compare our results with Schwarzschild's (1941) published work on "Overtone Pulsations for the Standard [Stellar] Model." To begin with, it is straightforward to demonstrate that the last form of the LAWE, provided above, matches equation (2) from Schwarzschild (1941), if n is set to 3 — see the boxed-in excerpt, immediately below. Note as well that Schwarzschild's dimensionless oscillation frequency — defined in his equation (1) and which we will label, ωSch — is related to our dimensionless frequency via the expression,

σc2

(3γg2)ωSch2.

Schwarzschild (1941) numerically integrated the LAWE for n=3 polytropic spheres to find eigenvectors (i.e., the spatially discrete eigenfunction and corresponding eigenfrequency) for five separate oscillation modes (the fundamental mode, plus the 1st, 2nd, 3rd, and 4th overtones) for models having four different adopted adiabatic indexes γg=43,107,2013,53).


Paragraph extracted from M. Schwarzschild (1941)

"Overtone Pulsations for the Standard Model"

ApJ, vol. 94, pp. 245 - 252 © American Astronomical Society

Schwarzschild (1941, ApJ, 94, 245)
Schwarzschild (1941, ApJ, 94, 245)

      3A. S. Eddington (1930), The Internal Constitution of the Stars, pp. 188 and 192.

Drawing from our discussion of the historical treatment of boundary conditions, we presume that Schwarzschild imposed the following constraint at the surface:

dlnxdlnξ|surface

=

1γg(43γg+ω2R3GMtot)

 

=

[3ω2R34πGγρ¯α]

 

=

12[σc2γ(ρcρ¯)2α]

 

=

12{[𝔉+2α](ρcρ¯)2α}.

Recognizing from an accompanying tabulation that, for n=3 polytropes,

ρcρ¯

54.18248,

we presume that the surface boundary condition imposed by Schwarzschild was,

dlnxdlnξ|surface

=

27.09124(𝔉+2α)α.

Our Table 1 catalogs the eigenfrequencies that Schwarzschild determined (drawn from his Table 1) for these twenty different models/modes.

Table 1:   From Table 1 of M. Schwarzschild (1941)

Mode α=0.0

(γg=4/3)
α=0.2

(γg=10/7)
α=0.4

(γg=20/13)
α=0.6

(γg=5/3)
ωSch2 ωSch2 ωSch2 𝔉=[3ωSch222α] ωSch2
0 0.00000 0.05882 0.10391 -0.64414 0.13670
1 0.16643 0.19139 0.21998 -0.47003 0.25090
2 0.3392 0.3648 0.3920 -0.2120 0.4209
3 0.5600 0.5863 0.6136 +0.1204 0.6420
4 0.8283 0.8554 0.8832 +0.5248 0.9117

Schwarzschild (1941) also documented the radial structure of the eigenfunction that is associated with each of these twenty model/mode eigenfrequencies. Each column of his Table 4, except the first, presents numerical values of the amplitude of a specific model/mode at 84 discrete radial locations throughout the n = 3 polytrope; the first column of the table lists the corresponding radial coordinate, ξ. Focusing on the model that he analyzed assuming α=0.4, we have typed his five columns of data into an Excel spreadsheet and have used this data to generate the pair of plots displayed, below, in Figure 1. The left-hand panel displays the eigenfunction amplitude versus radius, x(ξ), for the fundamental mode as well as for the first four overtones; it essentially replicates Figure 1 from Schwarzschild (1941). The right-hand panel displays the same data, but as a semi-log plot; specifically, it displays y(ξ), where,

y12log10[x2+108].

Each sharp valley in this semi-log plot highlights the location of a node in the corresponding eigenfunction, that is, it identifies where x(ξ) crosses through zero.

 

Figure 1: 

Schwarzschild's Eigenfunctions for an n = 3 Polytrope with α=0.4(γ=20/13)

Schwarzschild (1941) eigenfunctions

Numerical Integration[edit]

From the Core to the Surface[edit]

Here we use the finite-difference algorithm described separately to integrate the discretized LAWE from the center of the polytropic configuration, outward to its surface, which in this case — see, for example, p. 77 of Horedt (2004) — is located at the polytropic-coordinate location,

ξmax=6.89684862.

It is assumed, at the outset, that we have in hand an appropriately discretized description of the unperturbed, equilibrium properties of an n=3 polytrope; specifically, at each radial grid line, we have tabulated values of the radial coordinate, 0ξiξmax, the Lane-Emden function, θi, and its first radial derivative, θi.

The algorithm is as follows (substitute n=3 everywhere):

  • Establish an equally spaced radial-coordinate grid containing N grid zones (and, accordingly, N+1 grid lines), in which case the grid-spacing parameter, Δξξmax/N.
  • Specify a value of the adiabatic exponent, γ, which, in turn, determines the value of the parameter, α(34/γ).
  • Choose a value for the (square of the) dimensionless oscillation frequency, σc2, which we will accomplish by assigning a value to the parameter,

    𝔉σc2γ2α.

  • Set the eigenfunction to unity at the center (ξ0=0) of the configuration, that is, set x0=1.
  • Determine the value of the eigenfunction at the first grid line away from the center — having coordinate location, ξ1=Δξ — via the derived power-series expression,

    x1

    =

    x0[1Δξ2(n+1)𝔉60].

  • At all other grid lines, i=2,N, determine the value of the eigenfunction, xi, via the expression,

    xi[2θi1+4Δξθi1ξi1Δξ(n+1)(θ')i1]

    =

    xi1{4θi1Δξ2(n+1)3[𝔉+2α2α(3θ'ξ)i1]}+xi2[4Δξθi1ξi1Δξ(n+1)(θ')i12θi1].

We divided our model into N=200 radial zones and, using this algorithm, integrated the LAWE from the center of the configuration to the surface, for α=0.4, and approximately 40 different chosen values of the frequency parameter across the range, 0.7𝔉+0.3. The radial displacement functions resulting from these integrations are presented in Figure 2 as an animation sequence. The specified value of 𝔉 is displayed at the top of each animation frame, and the resulting displacement function, x(r/R), is traced by the small, red circular markers in each frame.

Figure 2:  Numerically Determined Eigenfunctions for Various 𝔉
Table 2
Mode Match Schwarzschild Match B.C.
𝔉 𝔉
0 -0.644131578154 -0.644131577959
1 -0.47013976423 -0.47013975308
2 -0.2121284391 -0.2121282667
3 +0.1202565375 +0.120257856

Eigenfunctions for Standard Model

Each frame of the Figure 2 animation also displays, as smooth solid curves, the radial eigenfunctions that Schwarzschild (1941) obtained for the fundamental mode (blue curve) and the first three overtone modes (green, purple, & orange curves, repectively) for his model with α=0.4. These are the same curves that appear in the left-hand panel of Figure 1, but here the displacement amplitude has been renormalized such that x0=1, and, along the horizontal axis, the radial location is marked in terms of the fractional radius, r/Rξ/ξmax. In our examination of this model, as we approached each specific value of a modal eigenfrequency identified by Schwarzschild — see the frequencies highlighted in pink in our Table 1 — we fine-tuned our choice of the eigenfrequency in order to find a displacement function whose surface amplitude matched, to a high level of precision, the surface amplitude associated with Schwarzschild's corresponding published eigenfunction. The column of our Table 2 whose heading is "Match Schwarzschild" identifies — to at least 10 digits precision — the frequency choice that was required in order for these surface amplitudes to match in each case.

It is gratifying to see that our resulting frequencies match well the values published by Schwarzschild (as highlighted in pink, above). But this does not satisfactorily explain why, among the entire range of displacement functions displayed (in red) in the Figure 2 animation, Schwarzschild labeled these specific ones as the eigenmodes. As we shall now demonstrate, his eigenmode identifications resulted from the imposition of a specific, physically justified constraint on the slope, rather than the value, of the displacement function at the surface of the configuration. (See also our separate brief answer to the question, "What makes this an eigenvalue problem?".)

Surface Boundary Condition[edit]

As was stated, above, we presume that as Schwarzschild searched for natural modes of oscillation in isolated, n=3 polytropes, he imposed the following boundary condition at the surface of the configuration:

dlnxdlnξ|surface

=

27.09124(𝔉+2α)α.

In order to duplicate his findings, then, we need to fine tune our specification of the oscillation frequency such that the resulting displacement function presents this behavior at the surface of our model. A finite-difference expression of this logarithmic derivative that is consistent with the above-described finite-difference algorithm, is,

dlnxdlnξ|surface

ξmaxxN[xN+1xN12Δξ].

Everything is known here, except for the quantity, xN+1, which can be evaluated using the last expression in our algorithm one more time to, in effect, evaluate the eigenfunction just outside the surface. That is, we obtain xN+1 and, in turn, obtain a value for the logarithmic derivative at the surface, via the expression,

xN+1[2θN+4ΔξθNξmaxΔξ(n+1)(θ')N]

=

xN{4θNΔξ2(n+1)3[𝔉+2α2α(3θ'ξ)N]}+xN1[4ΔξθNξmaxΔξ(n+1)(θ')N2θN].

We added to our numerical algorithm a step that evaluates, in this manner, the logarithmic derivative of the displacement function at the surface of our polytropic configuration. The eigenfrequencies that generated displacement functions with this surface behavior are listed for four separate modes in the column of Table 2 titled, "Match B.C." In every case the values agree to at least five decimal places with the "Match Schwarzschild" eigenfrequencies. We conclude, therefore, that it was the implementation of this surface boundary condition that permitted Schwarzschild to quantitatively identify the properties of the eigenvectors associated with natural radial modes of oscillation in n=3 polytropes.

Our Results[edit]

Table 3:   Our Results (to be compared w/ Table 1, above)

Mode α=0.0

(γg=4/3)
α=0.2

(γg=10/7)
α=0.4

(γg=20/13)
α=0.6

(γg=5/3)
𝔉 ωSch2=23(𝔉+2α) 𝔉 ωSch2 𝔉 ωSch2 𝔉 ωSch2
0 --- --- -0.311782342981 0.058812 -0.644131577959 0.103912 --- ---
1 +0.24946512002 0.166310 -0.113086698932 0.191276 -0.47013975308 0.219907 --- ---
2 +0.50882623652 0.339217 +0.14705874055 0.364706 -0.2121282667 0.391914 --- ---
3 +0.83977118 0.559847 +0.479241829 0.586161 +0.120257856 0.613505 --- ---
4 +1.24253191 0.828355 +0.8832297 0.855486 +0.52498863 0.883326 --- ---

Truncated n = 3 Polytropes[edit]

We understand that, for isolated n=3 polytropic spheres, the value of the adiabatic exponent for which the configuration is marginally unstable is γg=4/3, which is equivalent to, α(34/γg)=0. This critical condition is identified by examining when the oscillation frequency of the fundamental mode goes to zero. Let's use our numerical integration tool to determine what this critical value of the adiabatic exponent is for truncated, n=3 polytropes. We will accomplish this as follows:

  • At various truncation radii, 0<ξsurf/ξmax<1
    • Force 𝔉=2α;
    • Iterate on the choice of α until the displacement function with no radial nodes (i.e., the fundamental mode) satisfies the surface boundary condition of (dlnx/dlnξ)surf=3, to a desired level of accuracy.

The following table shows the values of αcrit — and associated values of γcrit — that we obtained for nine different values of ξsurf/ξmax; in each case, iterations were continued until the desired surface boundary condition was satisfied to six significant digits.

Pressure-Truncated n = 3 Polytropes
Nzones=200
Edge Zone ξsurfξmax αcrit 𝔉 Surface B.C γcrit
200 1.00 0 0 --- 43
180 0.90 -0.000201541 2αcrit -3.00000 1.333244
160 0.8 -0.00327575 2αcrit -3.00000 1.331879
150 0.75 -0.00808603 2αcrit -3.00000 1.329749
120 0.60 -0.0576031 2αcrit -3.00000 1.308214
100 0.5 -0.159111 2αcrit -3.00000 1.266179
80 0.40 -0.405712 2αcrit -3.00000 1.174497
50 0.25 -1.74909 2αcrit -3.00000 0.842266
20 0.10 -14.6648 2αcrit -3.00000 0.226439

Analytic Inquiry[edit]

NOTE (from J. E. Tohline in April, 2017):   The following subsections present some exploratory ideas that were pursued while I was searching for analytic solutions to the polytropic LAWE. For the most part this material has been superseded by a separate discussion in which we describe the desired analytic solution, which we discovered in March, 2017.

Fundamental-Mode, Homentropic Oscillations[edit]

The LAWE, presented above, that is relevant to polytropic spheres, may be rewritten as,

0=d2xdξ2+[4(n+1)Q]1ξdxdξ+(n+1)[(σc26γg)ξ2θαQ]xξ2

where:    Q(ξ)dlnθdlnξ,    σc23ω22πGρc,     and,     α(34γg)

Now, if we assume that oscillations occur adiabatically with an adiabatic index that is consistent with the chosen polytropic index — that is to say,

γg=n+1n            α=3nn+1,

in which case the configuration remains homentropic as it oscillates — and if we look only for a (marginally unstable) configuration that has σc2=0, then the relevant LAWE is,

0

=

d2xdξ2+[4(n+1)Q]1ξdxdξ(3n)Qxξ2.

Specific case of n = 3 Polytropes[edit]

Homologous Collapse[edit]

If we examine only an n=3 polytropic configuration, then the last term disappears. This means that in this very special case, a perfectly valid solution to the LAWE is x=constant. This is presumably the eigenfunction that Schwarzschild deduced; the fundamental-mode "oscillations" are perfectly homologous. Given that the model is marginally unstable, an ensuing dynamical collapse will presumably begin in a perfectly homologous fashion. This is precisely the type of "free-fall" collapse that was discussed and modeled by Goldreich & Weber (1980).

Another Potential Option[edit]

We have wondered whether, in this very special case, one or more additional fundamental-mode eigenfunction(s) might satisfy the governing LAWE. Here is a relevant line of arguments, beginning with the LAWE for the n = 3 polytropic sphere.

0

=

d2xdξ2+4(1+Q)1ξdxdξ

dydξ

=

4(1+Q)yξ

14dlnydlnξ

=

(1+Q),

where,

ydxdξ.

But, by definition, the function Q(ξ) is a logarithmic derivative of the Lane-Emden function. Hence, we also can write,

1

=

14dlnydlnξ+dlnθdlnξ

 

=

dln(θy1/4)dlnξ

dlnξ

=

dln(θy1/4).

Integrating this equation once gives,

ln(θy1/4)+lnξ

=

ln(c0)

ξθy1/4

=

c0

dxdξ

=

(c0ξθ)4.

Referring to the power-series expansion of the polytropic Lane-Emden function, θ(ξ), about the configuration's center, we see that the product, ξθ, goes to zero as the first power of ξ. This means that the right-hand side of this last differential equation blows up at the center. This, therefore, does not appear to provide a physically viable avenue by which to identify an alternative fundamental-mode eigenfunction.

Play With Form of LAWE[edit]

Logarithmic Derivative Rewrite[edit]

We have noticed that the LAWE that governs the eigenfunction associated with the fundamental mode of the marginally unstable model (FMMUM),

0

=

d2xdξ2+[4(n+1)Q]1ξdxdξ(3n)Qxξ2,

may be rewritten entirely as an expression that relates the logarithmic derivatives of x,ξ, and θ. Multiplying through by ξ2/x, then drawing on a differential relation that has been derived in a separate context, namely,

ξ2xd2xdξ2

=

ddlnξ[dlnxdlnξ]+[dlnxdlnξ1]dlnxdlnξ,

this LAWE associated with the FMMUM becomes,

0

=

ddlnξ[dlnxdlnξ]+[dlnxdlnξ1]dlnxdlnξ+[4(n+1)Q]dlnxdlnξ(3n)Q

 

=

ddlnξ[dlnxdlnξ]+dlnxdlnξ[dlnxdlnξ+3(n+1)Q](3n)Q

 

=

ddlnξ[dlnxdlnξ]+dlnxdlnξ{dln[xξ3θ(n+1)]dlnξ}+dlnθ(3n)dlnξ.

I'm not sure if anyone else has previously appreciated that the "fundamental mode" polytropic LAWE can be written in this form. I'm even less sure that this form sheds light on its solution.

Play a little more …   Start by letting, A[xξ3θ(n+1)], in which case we have,

0

=

ddlnξ[dlnxdlnξ]+dlnxdlnξ{1AdAdlnξ}+dlnθ(3n)dlnξ

 

=

1Addlnξ[Adlnxdlnξ]+dlnθ(3n)dlnξ

ddξ[Adlnxdlnξ]

=

Aθ(3n)dθ(3n)dξ

ddξ[xξ3θ(n+1)dlnxdlnξ]

=

xξ3θ(n+1)θ(3n)dθ(3n)dξ

ddξ[ξ4θ(n+1)dxdξ]

=

xξ3θ2(n1)dθ(3n)dξ.

One Feeble Guess[edit]

Now, what if, x[ξ2θn]   ?

ξ2θ(n+1)d(ξ2θn)dξ

=

dθdξ1ξ2θnd(ξ2θ(n+1))dξ,

in which case, the LAWE becomes,


ddξ[ξ2dθdξ1θnd(ξ2θ(n+1))dξ]

=

[ξ2θn]ξ3θ2(n1)dθ(3n)dξ

ddξ[ξ2dθdξ]ddξ[1θnd(ξ2θ(n+1))dξ]

=

ξθn2dθ(3n)dξ

ξ2θnddξ[1θnd(ξ2θ(n+1))dξ]

=

ξ(3n)dθdξ

Behavior for Known n=5 Solution[edit]

We know that the FMMUM for pressure-truncated, n = 5 polytropic configurations takes the form,

x

=

1fn(ξ),

where,

f5(ξ)=ξ215.

The governing LAWE therefore gives,

ddξ[ξ4θ(n+1)dxdξ]

=

xξ3θ2(n1)dθ(3n)dξ

 

=

(3n)xξ3θndθdξ

(3n)(1fn)ξ3θndθdξ

=

ddξ[ξ4θ(n+1)dfndξ]

 

=

ξ4θ(n+1)d2fndξ2+dfndξddξ[ξ4θ(n+1)]

 

=

ξ4θ(n+1)d2fndξ2+dfndξ{4ξ3θ(n+1)+(n+1)ξ4θndθdξ}

(3n)(1fn)dθdξ

=

ξθd2fndξ2+dfndξ{4θ+(n+1)ξdθdξ}

1θdθdξ[(3n)(1fn)(n+1)ξdfndξ]

=

ξd2fndξ2+4dfndξ.

Let's check to see whether the known f5(ξ) function properly satisfies this last ODE when n = 5.

ξ(3+ξ2)1[2(1ξ215)12ξ215]

=

2ξ15+8ξ15

2+2ξ23

=

23(3+ξ2),      Yes!

Given that,

θ52

=

33+ξ2

ξ2

=

3[1θ521],

we could presume that, when defined in terms of θ5, the defining function,

f5(θ5)=1n[1θ521]

      

df5dξ=2nθ53dθ5dξ

      

d2f5dξ2=2nθ53d2θ5dξ2+6nθ54(dθ5dξ)2.

In this case, the governing LAWE becomes,

0

=

ξd2fndξ2(3n)θ(dθdξ)[1fn]+[4+(n+1)ξθ(dθdξ)][dfndξ]

 

=

ξ{2nθ53d2θ5dξ2+6nθ54(dθ5dξ)2}[4+(n+1)ξθ(dθdξ)][2nθ53dθ5dξ](3n)θ(dθdξ)[(n+1)θ521nθ52]

 

=

1nθ53{[2ξd2θ5dξ26ξθ5(dθ5dξ)2]+2[4+(n+1)ξθ(dθdξ)]dθ5dξ+(3n)(dθdξ)[(n+1)θ521]}

 

=

1nθ53{2ξd2θ5dξ2+(n2)2ξθ5(dθ5dξ)2+(dθdξ)[(3n)(n+1)θ52+5+n]}.

Now, from the polytropic Lane-Emden equation, we also know that,

1ξ2ddξ(ξ2dΘHdξ)=ΘHn

That is,

2ξ(dθ5dξ)+ξ2d2θ5dξ2

=

ξ2θ5n

d2θ5dξ2

=

θ5n2ξ(dθ5dξ)

So, the LAWE becomes,

0

=

(n2)2ξθ5(dθ5dξ)2+(n+1)(dθdξ)[(3n)θ52+1]2ξθ5n.

Again, let's check to see if the case of n=5 works …

0

=

(dθ5dξ)2+θ5ξ(dθdξ)[12θ52]θ563

 

=

3ξ2(3+ξ2)33(3+ξ2)2[16(3+ξ2)1]32(3+ξ2)3

 

=

(3+ξ2)3{3ξ23[(3+ξ2)6]32}     Yes!

Related Discussions[edit]

Tiled Menu

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