SSC/Structure/BiPolytropes/Analytic15/Pt2

From JETohlineWiki
Jump to navigation Jump to search

BiPolytrope with nc = 1 and ne = 5[edit]


Part I:   Steps 2 thru 7
 

Part II:  Analytic Solution of Interface Relation
 

III:  Modeling
 

IV:  Murphy's UV Plane
 

Analytic Solution of Key Interface Relation[edit]

Returning to our previously derived,

Key Nonlinear Interface Relation

κi

=

32sin2Δi3cotΔi(32sin2Δi),

and, as in our separate discussion of the properties of Srivastava's function, adopting the shorthand notation,

yitanΔi,

this key interface condition becomes,

κi

=

32yi2(1+yi2)13yi132yi2(1+yi2)1

 

=

3yi(1+yi2)2yi33(1+yi2)3yi(1+yi2)2yi3

 

=

yi33yi2+3yi33yi+yi3

κi(3yi+yi3)

=

yi33yi2+3yi3

yi3(1κi)3yi2+3(1κi)yi3

=

0.

This is a cubic equation whose solution, yroot(κi), will also immediately supply the desired interface angle, Δi, and an interface coordinate root, (A0η)root.

ASIDE: Analytic Solution of Cubic Equation

As is well known and documented — see, for example Wolfram MathWorld or Wikipedia's discussion of the topic — the roots of any cubic equation can be determined analytically. In order to evaluate the root(s) of our particular cubic equation, we have drawn from the utilitarian online summary provided by Eric Schechter at Vanderbilt University. For a cubic equation of the general form,

ay3+by2+cy+d=0,

a real root is given by the expression,

y=p+{q+[q2+(rp2)3]1/2}1/3+{q[q2+(rp2)3]1/2}1/3,

where,

pb3a,      q[p3+bc3ad6a2],      and      r=c3a.

In our particular case,

a=(1κi),      b=3,      c=3(1κi),      and      d=3.

Hence,

p=1(1κi),      r=+1,      and      q=p3=1(1κi)3,

which implies that the real root, yroot, is given by the expression,

yroot

=

p+{p3+[p6+(1p2)3]1/2}1/3+{p3[p6+(1p2)3]1/2}1/3

 

=

p+{p3+p3[1+(p21)3]1/2}1/3+{p3p3[1+(p21)3]1/2}1/3

p1yroot

=

1+{1+[1+(p21)3]1/2}1/3+{1[1+(p21)3]1/2}1/3.

(There is also a pair of imaginary roots, but they are irrelevant in the context of our overarching astrophysical discussion.)

In summary, then,

  • Once the location, ξi, of the outer edge of the core has been specified, which determines θi and θi' as well, the value of the parameters, κi and p, are known via the expressions,

κi2θi'ξi3θi(μeμc)

=

23(1ξicotξi)(μeμc),

and,

p(1κi)1

=

332(μe/μc)(1ξicotξi).

  • The value of yroot is determined from the just-derived solution to the governing cubic equation, which then gives the interface value of the envelope parameter (adjusted by a πm phase angle, where m is an, as yet unspecified, integer),

Δi=tan1(yroot)+πm.

  • This, in turn, can be interpreted as a coordinate root — which we shall refer to as ηroot — via the expression,

(A0η)root=e2Δi=e2πme2tan1(yroot).


CAUTION: Solution Behavior When κi=1 and Δi=π/2.

In building a sequence of bipolytropic configurations having (nc,ne)=(1,5), it will make sense to steadily increase the value of the parameter that marks the edge of the core, ξi, from zero — meaning no mass in the core — to its maximum allowed value, π — meaning no mass in the envelope. (A more complete discussion of physically viable parameter values is presented below.) As ξi steadily increases from zero, for a while the parameter, κi, will steadily increase from zero as well. As the value of κi crosses through the value of "one," the associated parameter, p=(1κi)1, as well as the root of the cubic equation, yroot, will flip from positive infinity to negative infinity. From the standpoint of the construction of physically realistic models, this does not pose a problem. It simply reflects the fact that, when κi=1, the governing interface angle, Δi=π/2 — or, allowing for the aforementioned phase shift, Δi=π/2+mπ.


From a practical standpoint, however, it is useful to keep in mind that the root of the governing cubic equation will change abruptly from + to and its value will be quite sensitive to the choice of ξi in the vicinity of κi=1. Given the definition of the function, κi(ξi), this means that the abrupt transition will occur at an interface location, ξtrans, whose value satisfies the condition,

ξtranstan(ξtrans)

=

132(μeμc)1.

For the case, μe/μc=1, we have determined empirically (to a dozen significant digits), that,

ξtrans=1.836597203152.

Just for fun — and, again, for the case, μe/μc=1 — we also have determined that ξtrans satisfies the series,

0=n=0(1)n+1(4n+32n+1)ξtrans2n(2n)!.

The black, vertical, long-dashed line in the following figure identifies where ξi=ξtrans.


Because the function tan(ξtrans) is periodic, other values of ξtrans will also satisfy the condition,

ξtranstan(ξtrans)

=

132(μeμc)1.

But the one whose value we have determined here is the only one that falls within the physically viable range of interface location values, 0ξiπ.

NOTE as well:   A very similar expression arises in the accompanying discussion where we Rethink Handling of n = 1 Envelope. Specifically,

tanΔ

=

Δ+B.

I'm not sure whether this is relevant information or not!


The following log-log plot shows what value(s) of (A0η)root (vertical axis) result from a wide range of interface coordinate specifications, ξi (horizontal axis), under the simplifying assumption that (μe/μc)=1: Solid blue diamonds identify roots resulting from setting m=0 in the phase-shift specification, solid green triangles identify roots for which m=1, and solid purple squares identify roots for which m=2. As has just been discussed in the context of a cautionary note, as ξi is increased from zero for any given value of m — that is, as one traverses the plot, moving from the lefthand edge toward the right along a curve of constant color — the solution, (A0η)root, makes an abrupt jump when ξi crosses the value, ξtrans. This identifies the root of the cubic equation for which Δi=π/2+mπ. One can continue to move in a smooth, continuous fashion along a single — but multi-colored — solution curve by letting m(m+1) as ξi crosses ξtrans.


Examination of F2 Function Discussed by J. O. Murphy (1983, Proc. Astr. Soc. of Australia, 5, 175)

F2 Roots by Murphy (1983)
F2 Roots by Murphy (1983)
Murphy's

Roots of

F2 = 0

Function


3.5076E-05

1.8785E-02

4.2993E+00

7.6882E+00

1.0913E+01

1.4101E+01

The red line in the figure shows where the coordinate value along the vertical axis equals the coordinate value along the horizontal axis. Hence the points where this red line intersects the other curves in the figure can be interpreted as identifying solutions to the cubic equation for which,

(A0η)root=ξi.

The points of intersection that are highlighted in this figure are also what Murphy (1983) refers to as roots of his F2=0 function. The values of ten successive coordinate roots of this function are listed in the right-hand column of Table 1 in Murphy (1983). We have re-listed the values of six of these roots in a column immediately to the right of the above figure and have marked with orange circles the locations of these six points in the figure. As they should, Murphy's identified roots lie precisely at the intersection of the red line with the other curves.

Physically Viable Parameter Values[edit]

Interface Mapping[edit]

As has already been stated in our above description of the nc=1 core of these bipolytropic configurations, the structure of the core will be physically viable as long as the radial location of the interface, ξi, between the core and the envelope is positioned somewhere within the range,

0ξiπ.

Similarly, our discussion of Srivastava's Lane-Emden function, which is being used to define the envelope of these bipolytropic configurations, makes it clear that the envelope will have a physically viable structure as long as the parameter, Δi, associated with the radial location of the interface is positioned somewhere within the range,

ηcrit<e2Δi<e2π,

where,

ηcrite2tan1(1+21/3)=10.05836783,

and, in keeping with the definition provided above,

Δi=tan1(yroot)+mπ.

This coordinate range for the physically viable envelope can be rewritten as,

tan1(1+21/3)Δiπ.

As is illustrated in the following figure, titled "Interface Mapping," our analytic solution defines a smooth, one-to-one mapping of the radial coordinate that defines the outer edge of the nc=1 core, ξi, to the parameter, Δi, that defines the inner edge of the ne=5 envelope.


Illustration of Interface Mapping
Illustration of Interface Mapping
Model ξi m Δi




0 0 tan1(1+21/3)
(2) 0.8154 0 1.24287
(3) 1.6598 0 1.49179
(4) 2.0914 1 1.73281
(5) 2.7302 1 2.87493
π 1 π


In the figure, the green curve traces the segment of the E-Type Lane-Emden function for the nc=1 polytropic core, θ1E — that is, the segment of the "sinc" function — that covers the range [0,π] for the interface parameter, ξi; the blue curve traces the segment of the F-Type Lane-Emden function for the ne=5 polytropic envelope, ϕ5F, that covers this same range [0,π], but for the interface parameter, Δi. (This blue curve is also displayed, and its properties described in more depth, in a separate discussion devoted to Srivastava's Lane-Emden function for n=5 polytropes.) This entire displayed parameter range, [0,π], is associated with physically viable interface values for the core (green curve), but for the envelope (blue curve), only a subset of this range can be associated with physically viable interface values — namely, the range [tan1(1+21/3),π] over which ϕ5F is positive but its slope is either negative or zero.


The purple dashed line segment labeled "(2)" in the above "Interface Mapping" figure intersects the green curve at the value, ξi=0.8154, and it intersects the blue curve at the interface value, Δi=1.24287. [These two numerical values are listed in the row labeled "Model (2)" of the table that has been placed immediately to the right of the figure.] This is intended to illustrate that an equilibrium bipolytropic configuration with (nc,ne)=(1,5) can be constructed by truncating the nc=1 core at a radius, ξi=0.8154, and matching it to an ne=5 envelope whose innermost radius is associated with the parameter, Δi=1.24287. (The corresponding, analytically determined values of the coefficients A0 and B0 dictate the manner in which the blue curve should be stretched both horizontally and vertically to complete a smooth attachment of the envelope to the core.) In an analogous fashion, the dashed line segments labeled "(3)", "(4)", and "(5)" — and their corresponding coordinate values as listed in the accompanying table — illustrate how three additional equilibrium bipolytropic configurations with progressively larger cores can be constructed with the proper interface mapping. We have specifically chosen to illustrate the interface-mapping of these four bipolytropic models because their cores are truncated at the same values of ξi that Murphy (1983) used for the models numbered "(2)", "(3)", "(4)", and "(5)" in his Table 3. (See the much more in-depth discussion, below; and note that the edge of the core is labeled by the parameter, ζJ, rather than by ξi, in Murphy's Table 3.)


For clarity we note that, the analytically determined values of Δi that are listed in the table that sits to the right of the above "Interface Mapping" figure have been shifted in phase by mπ, where the relevant value of the integer, m, is also listed in the table. In the figure, the two purple dashed-line segments are associated with models for which m=0, while the two orange dashed-line segments are associated with models for which m=1.


In his Table 3, Murphy (1983) also tabulates the characteristics of two additional models: The core of his "model 1" is truncated at a radius much less than π, namely, ξi=0.032678; as a result, the bipolytropic configuration has a very small core and its structure is almost entirely that of an n=5 polytrope. At the other extreme, the core of his "model 6" is truncated at a radius that is almost, but not quite, equal to π, namely, ξi=3.1415; the resulting bipolytropic configuration has a very tiny envelope and its structure is almost entirely an n=1 polytrope. Our analytic solution permits us to set ξi to either of the two limiting values, 0 or π, and to show that, in these limits, Δi exactly equals, respectively, tan1(1+21/3) and π. The mapping of the first of these two limits is illustrated by the red dashed line segment in the above figure; the second limit is illustrated simply by the intersection of the two curves at the coordinate location, π. It appears, therefore, that in these two limits Murphy's bipolytrope can be used, respectively, to define the structure of an isolated n=5 polytrope or an isolated n=1 polytrope.


ASIDE: It has previously been thought that Srivastava's Lane-Emden function, ϕ5F, cannot be used on its own to define the structure of an isolated n=5 polytrope because the function's amplitude grows without bound and oscillates more and more rapidly between positive and negative values as the governing radial coordinate gets smaller and smaller. From the results presented here, it now appears as though an isolated n=5 polytrope of this type can be constructed by letting the interface parameter ξi0 — and, hence the alternative parameter Δitan1(1+21/3) — in Murphy's bipolytrope. It should be interesting to determine the values of the coefficients, A0 and B0, that arise in this limit, and to examine in detail the structure of the complete n=5 model that results. Does its radial density profile resemble — or, perhaps, exactly match — the radial density profile of the well-known isolated n=5 ploytrope? Does the new structure have a finite radius as well as a finite central density? In this context it is worth noting that, in two separate papers — Murphy (1980a) and Murphy (1981) — Murphy has constructed and discussed the physical characteristics of equilibrium models that obey the n=5 polytropic equation of state all the way from the center to a surface which is of finite radius. He accomplishes this by piecing together a core that is defined by the familiar, analytically specified, ϕ5E Lane-Emden function and an envelope that is defined by Srivastava's ϕ5F Lane-Emden function.

Murphy's Example Model Characteristics[edit]

As in an earlier figure, the following log-log plot shows what value(s) of (A0η)root (vertical axis) result from a wide range of interface coordinate specifications, ξi (horizontal axis), under the simplifying assumption that (μe/μc)=1. The solid blue diamonds present exactly the same information as in the previous figure, that is, they identify roots resulting from setting m=0 in the phase-shift specification. But here, focusing on a regime that highlights larger roots of the first constraint equation, solid black squares identify roots for which m=+1, and solid maroon triangles identify roots for which m=+2.

In this version of the figure, colored dashed-line segments have been drawn to enclose two regions of parameter space in which solutions of the key nonlinear interface relation produce a physically viable model — that is, 0ξiπ and tan1(1+21/3)Δiπ. The portion of the red-outlined rectangular region that lies to the left of the vertical, ξi=ξtrans line accommodates some models that arise from specifying an m=0 phase shift and the portion that lies to the right of this demarcation line accommodates some models that arise from specifying an m=+1 phase shift. Similarly, the portion of the green-outlined rectangular region that lies to the left of the vertical, ξi=ξtrans line accommodates additional models that arise from specifying an m=+1 phase shift and the portion that lies to the right of this demarcation line accommodates models that arise from specifying an m=+2 phase shift. Given the inherent periodicity of Srivastava's ϕ5F function, it should be clear that we could equally well have identified other rectangular regions at both higher (m2) and lower (m0) values of (A0η)root in which additional physically viable models exist. It should also be clear that, because the figure presents a log-log plot and the lower limit of viable parameter values for the horizontal axis parameter, ξi, is zero, the identified rectangular regions should be viewed as extending to the left, all the way to minus infinity.


Examination of Table 3 Data Presented in J. O. Murphy (1983, Proc. Astr. Soc. of Australia, 5, 175)

Table 3 Model Characteristics by Murphy (1983)
Table 3 Model Characteristics by Murphy (1983)
Comment by J. E. Tohline on 29 April 2015: As is argued more fully below, it appears as though the two parameter values drawn directly from Murphy's Table 3 that are shown here in red contain typographical errors.
Comment by J. E. Tohline on 29 April 2015: As is argued more fully below, it appears as though the two parameter values drawn directly from Murphy's Table 3 that are shown here in red contain typographical errors.

Murphy's Table 3 Data

ζJξi


ξJ(A0η)root


3.2678E-02

10.0164

0.8154

12.0083

1.6598

20.4312

2.6914

33.0249

2.7302

100π

3.1415

91275π


In his Table 3, Murphy (1983) presents six pairs of "coordinate" roots, (ζJ,ξJ), that not only satisfy the first constraint equation but that also, in his interpretation, identify physically viable model solutions. The values of all six of these coordinate pairs have been re-listed immediately to the right of the log-log plot, in a separate panel of the above figure. After mapping Murphy's coordinate notation to ours — specifically invoking the mapping (ζJ,ξJ)(ξi,A0ηroot) — the locations of all six models have been marked by orange circles on the plot. Five of Murphy's models fall directly onto our generated curves and in regions marked as physically viable, giving us confidence that our analysis matches his in considerable detail. As is explained more fully, below, we strongly suspect that the single Murphy model that does not lie on one of our generated curves — "Model 4" which, as published in Murphy's Table 3, has coordinates (ζJ,ξJ)=(2.6914,33.0249) — is displaced, perhaps because of transcription errors in the published table.


As a supplement to the preceding two figures, we now display a table of our analytically determined model characteristics that is patterned after and largely matches Murphy's (1983) Table 3. The tabulated values have been derived assuming μe/μc=1 throughout, that is, assuming that the mean molecular weights of the core and the envelope are identical. Vertically, the table is divided into three segments: The top portion contains six rows of numbers that result from our derivations; the middle portion displays six columns of numbers that have been extracted directly from Table 3 of Murphy (1983) and displayed here as image segments; and the bottom portion shows additional parameter values that we have generated in an effort to understand why our "Model 4" does not match the fourth model in Murphy's table.


Some Model Characteristics (assuming μe/μc = 1)

Model

Specified

Analytically Determined Here

ξi

m

Δi

(A0η)root

A031/2(μeμc)

B0

B031/4(μeμc)1/2θi1

ξs

1 3.2678E-02 0 1.1544 10.0614 307.894 5.77929 4.39209 1.7392
2 0.8154 0 1.2429 12.0101 14.729 1.25567 1.06865 36.356
3 1.6598 0 1.4918 19.7585 11.9041 1.01206 1.28146 44.984
4 2.6914 1 2.8365 290.9431 108.1010 0.14348 0.67430 4.9536
5 2.7302 1 2.8749 100.00π 115.065 0.12408 0.64370 4.6539
6 3.1415 2 6.283141 91268π 170.44223e2π 1.8966E-05 0.48862 3.141778
Comment by J. E. Tohline on 11 May 2015: The heading on this last column of numbers extracted from Murphy's (1983) paper has a subscript "J" whereas the subscript should be "R" to indicate the configuration's total radius.
Comment by J. E. Tohline on 11 May 2015: The heading on this last column of numbers extracted from Murphy's (1983) paper has a subscript "J" whereas the subscript should be "R" to indicate the configuration's total radius.

Corresponding Values Extracted Directly from Murphy's (1983) Table 3

Columns extracted directly from Murphy (1983)

Attempting to Understand Murphy's "Model 4"

4b 0.048681 0 1.1545342 10.065043 206.75505 4.7358862 3.5999 2.589981
4c 1.14988 0 1.3234244 14.109506 12.2704 1.12444163 1.07640071 43.6409
4d 1.77027 0 1.5391618 21.721958 12.2704 0.9876639 1.355397 43.6409
4e 2.10961 1 1.7486314 33.0249 15.6545186 0.8651536 1.6157228 34.2068427

See an accompanying discussion for a complementary critique of Murphy's Table 3 models including an evlauation of the functions, U1E, V1E, U5F, and V5F.


Our six models (top portion of the above table) have been constructed by, first, specifying the location of the outer edge of the core, ξi along with a corresponding phase shift parameter, m, to match Murphy's chosen core-interface values — in his terminology, ζJ (middle portion of the above table). Once the value of ξi has been specified for each model, the value of the parameter, p, the root of the cubic equation, yroot, and all of the parameter values listed in the upper portion of the table were determined using the parameter relations derived above and/or detailed in the table below. For example,

Δi

=

tan1(yroot)+mπ;

(A0η)root

=

e2Δi;

and,

ξs

=

ξie2(πΔi).

Comparing our tabulated numbers (upper portion of the table) with the numbers published by Murphy (middle portion of the table) adds strong support to the statement made in connection with the above figure, that is, that our analysis matches Murphy's in considerable detail. But such a comparison also highlights the mismatch between Murphy's "Model 4" and ours — to aid in this particular comparison, the relevant numbers have been displayed in a red font in the upper portion of our table. According to our analysis, a model with ξi=2.6914 does not display characteristics that, in any fashion, match Murphy's model with the same core-interface value.

We initially suspected that the "Model 4" mismatch resulted from a typographical or transcription error in the value of ζJ — in our terminology, ξi — that appears in Murphy's published Table 3. So we tried a variety of values of ξi, looking for a set of generated characteristics that matched Murphy's published Model 4 characteristics. We were unsuccessful in this effort. The most tantalizing results from this search are displayed as cells with light-green backgrounds in the bottom segment of the above table: (Model 4b) Setting ξi=0.048681(m=0) gives B=3.5999, which matches Murphy's "Model 4" value of B; (Model 4c) setting ξi=1.14988(m=0) gives values of A and ζJ(i.e.,ξs) that both match Murphy's values; (Model 4d) setting ξi=1.77027(m=0) also gives values of A and ζJ that both match Murphy's values; and (Model 4e) setting ξi=2.10961(m=1) gives a value of (A0η)root that matches Murphy's value of ξJ. As we have been unable to find a value of ξi whose associated parameter values match Murphy's "Model 4" values across the board, we remain at a loss to explain the mismatch between our "Model 4" and Murphy's.

Step 8: Envelope's Physical Profile[edit]

Combining the set of expressions provided in the right-most column of the accompanying bipolytrope "Table 1: Setup" with the interface conditions already established, above, we can now specify how the density, pressure, and integral mass vary throughout the envelope, that is, over the radial extent ξiξξs.

ρ

=

ρeϕ5

 

=

ρ0(μeμc)θiϕ5;

P

=

Keρe6/5ϕ6

 

=

Kc[ρ04(μeμc)6θi4]1/5[ρ0(μeμc)θi]6/5ϕ6

 

=

Kcρ02θi2ϕ6;

Mr

=

4π[3Ke2πG]3/2ρe1/5(η2dϕdη)

 

=

[33(22π)223π3G3]1/2[Kc5ρ04(μeμc)6θi4]3/10[ρ0(μeμc)θi]1/5(η2dϕdη)

 

=

[233πG3]1/2Kc3/2ρ0θi(μeμc)2(η2dϕdη).

Key References[edit]

Related Discussions[edit]

Tiled Menu

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