SSC/Structure/BiPolytropes/Analytic15
BiPolytrope with and
Murphy (1983) 

Here we construct a system of bipolytropic configurations in which the core has an polytropic index and the envelope has an polytropic index. As in the case of our separately discussed, "mirror image" bipolytropic configurations having , this system is particularly interesting because the entire structure can be described by closedform, analytic expressions. Bipolytropes of this type were first constructed by J. O. Murphy (1983, Proc. Astr. Soc. of Australia, 5, 175), and attributes of their physical structure were further discussed by J. O. Murphy & R. Fiedler (1985a, Proc. Astr. Soc. of Australia, 6, 219); additional, closely related references are given below. In the discussion that follows, we will be heavily referencing Murphy's (1983) work.
Steps 2 & 3
Based on the discussion presented elsewhere of the structure of an isolated polytrope, the core of this bipolytrope will have the following properties:
The first zero of the function and, hence, the surface of the corresponding isolated polytrope is located at . Hence, the interface between the core and the envelope can be positioned anywhere within the range, .
Step 4: Throughout the core ()
Specify: and 






















Step 5: Interface Conditions

Setting and 





















Alternative: In our introductory description of how to build a bipolytropic structure, we pointed out that, instead of employing these last two fitting conditions, Chandrasekhar [C67] found it useful to employ, instead, the ratio of the to expressions, which in the present case produces,
and the product of the and expressions, which in the present case generates,
In what follows we will sometimes refer to the first of these two expressions as Chandrasekhar's "Uconstraint" and we will sometimes refer to the second as Chandrasekhar's "Vconstraint." As is explained in an accompanying discussion, Murphy (1983) followed Chandrasekhar's lead and extracted fitting conditions from this last pair of expressions. In seeking the most compact analytic solution, we have found it advantageous to invoke our standard fitting expression in tandem with the Chandrasekhar's Vconstraint.
Step 6: Envelope Solution
Following the work of Murphy (1983) and of Murphy & Fiedler (1985a), we will adopt for the envelope's structure the FType solution of the LaneEmden function discovered by S. Srivastava (1968, ApJ, 136, 680) and described in an accompanying discussion, namely,






where is a "homology factor" and is an overall scaling coefficient — the values of both will be determined presently from the interface conditions — and we have introduced the notation,
The first derivative of Srivastava's function is,



As has been explained in the context of our more general discussion of Srivastava's function, if we ignore, for the moment, the additional "" phase shift that can be attached to a determination of the angle, , the physically viable interval for the dimensionless radial coordinate is,
For this bipolytropic configuration, it is worth emphasizing how the dimensionless radial coordinate of the envelope, , is related to the dimensionless radial coordinate of the core, . Referring to the general setup procedure for constructing any bipolytropic configuration that has been presented in tabular form in a separate discussion, it is clear that in order for the radial coordinate, , to carry a consistent meaning throughout the model, we must have,






Referring back to the already established interface conditions, above, to relate to , and to reexpress the ratio, , we therefore have,






While this result is not a surprise because the righthandside is the same expression that was presented, above, as the interface condition for the ratio, , it is nevertheless useful because it shows that the same relation works throughout the system — not just at the interface — and it clearly defines how we can swap back and forth between the two dimensionless radial coordinates when examining the structure and characteristics of this composite bipolytropic structure.
First Constraint
Calling upon Chandrasekhar's Vconstraint, as just defined above — see also our accompanying discussion for elaboration on Murphy's (1983) "V_{5F}" and "V_{1E}" function notations — one fitting condition at the interface is,









The lefthand side of this expression is inherently positive over the physically viable radial coordinate range, and its value is known once the radial coordinate of the edge of the core has been specified. So, defining the interface parameter,
we will recast the first constraint into, what will henceforth be referred to as, the
Key Nonlinear Interface Relation

In a separate subsection of this chapter, below, we present a closedform analytic solution, , to this nonlinear equation.
Second Constraint
Obtained from Third Interface Condition
Our 3^{rd} interface condition, as detailed above, states that,



If we now choose to normalize the interface amplitude such that, , then this condition establishes two relations: First, from the 3^{rd} interface condition alone,



and, second, from the definition of Srivastava's function, , we deduce that the overall scaling parameter is,






Notice that, after the solution, , of the key nonlinear interface relation has been determined, the first of these two relations also permits us to write,






Throughout the envelope, therefore, the angle,



Obtained from Chandrasekhar's Uconstraint
We shall now demonstrate that the same expression for the scaling coefficient, , can alternatively be obtained from Chandrasekhar's Uconstraint, without assuming that , after taking into account the result that already has been obtained from the Vconstraint. As described above, the Uconstraint is an alternative interface condition that may be written as,



which, in the particular case being examined here, becomes — again, see our accompanying discussion for elaboration on Murphy's (1983) "U_{5F}" and "U_{1E}" function notations —






Now, from our discussion, above, of the first constraint, we know that,



Hence, Chandrasekhar's Uconstraint becomes,









which, as predicted, is identical to what we learned from the third interface condition, alone.
Comment on Murphy's Scalings
Murphy's (1983) derivations also include an homology factor, , and an overall scaling factor, , but they are calculated differently from our and . In the righthand column of the third page of his paper, Murphy states that,
which, when translated into our notation and gives,
Now, in our derivation, is synonymous with the location of the envelope interface, , as expressed in terms of the dimensionless radial coordinate associated with Srivastava's LaneEmden function, so we can equally well state that,
Recalling that , we know from the interface conditions detailed above that,
Hence Murphy's homology factor, , is related to our homology factor, via the expression,
It is usually the value of this quantity, rather than simply our derived value of , that is tabulated below — both here and here — as we make quantitative comparisons between the characteristics of our derived models and those published by Murphy (1983) and by Murphy & Fiedler (1985a).
In the lefthand column of the fourth page of his paper, Murphy (1983) defines the coefficient in such a way that the value of the envelope function, , equals the value of the core function, , at the interface. Specifically, he sets,






Switching to our terminology, that is, setting,
and, as before,
gives,






Hence, in terms of the definition of our scaling coefficient, , derived above, we have,



As we make quantitative comparisons between the characteristics of our derived models and those published by Murphy (1983) and by Murphy & Fiedler (1985a), below, we usually will tabulate the value of this quantity, rather than simply our derived value of .
Step 7: Identifying the Surface
Because Shrivastava's function — and, along with it, the envelope's density — drops to zero when,
we know that the radius, , of the bipolytropic configuration is given by the expression,









In terms of the natural radial coordinate of the envelope, this is,



Analytic Solution of Key Interface Relation
Returning to our previously derived,
Key Nonlinear Interface Relation



and, as in our separate discussion of the properties of Srivastava's function, adopting the shorthand notation,
this key interface condition becomes,















This is a cubic equation whose solution, , will also immediately supply the desired interface angle, , and an interface coordinate 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,
a real root is given by the expression,
where, and In our particular case, and Hence, and which implies that the real root, , is given by the expression,
(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, , of the outer edge of the core has been specified, which determines and as well, the value of the parameters, and , are known via the expressions,



and,



 The value of is determined from the justderived solution to the governing cubic equation, which then gives the interface value of the envelope parameter (adjusted by a phase angle, where is an, as yet unspecified, integer),
 This, in turn, can be interpreted as a coordinate root — which we shall refer to as — via the expression,
CAUTION: Solution Behavior When and 

In building a sequence of bipolytropic configurations having , it will make sense to steadily increase the value of the parameter that marks the edge of the core, , 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 steadily increases from zero, for a while the parameter, , will steadily increase from zero as well. As the value of crosses through the value of "one," the associated parameter, , as well as the root of the cubic equation, , 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 , the governing interface angle, — or, allowing for the aforementioned phase shift, .
For the case, we have determined empirically (to a dozen significant digits), that,
Just for fun — and, again, for the case, — we also have determined that satisfies the series,
The black, vertical, longdashed line in the following figure identifies where .
But the one whose value we have determined here is the only one that falls within the physically viable range of interface location values, . 

NOTE as well: A very similar expression arises in the accompanying discussion where we Rethink Handling of n = 1 Envelope. Specifically,
I'm not sure whether this is relevant information or not! 
The following loglog plot shows what value(s) of (vertical axis) result from a wide range of interface coordinate specifications, (horizontal axis), under the simplifying assumption that : Solid blue diamonds identify roots resulting from setting in the phaseshift specification, solid green triangles identify roots for which , and solid purple squares identify roots for which . As has just been discussed in the context of a cautionary note, as is increased from zero for any given value of — that is, as one traverses the plot, moving from the lefthand edge toward the right along a curve of constant color — the solution, , makes an abrupt jump when crosses the value, . This identifies the root of the cubic equation for which . One can continue to move in a smooth, continuous fashion along a single — but multicolored — solution curve by letting as crosses .
Examination of F2 Function Discussed by J. O. Murphy (1983, Proc. Astr. Soc. of Australia, 5, 175) 


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,
The points of intersection that are highlighted in this figure are also what Murphy (1983) refers to as roots of his function. The values of ten successive coordinate roots of this function are listed in the righthand column of Table 1 in Murphy (1983). We have relisted 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
Interface Mapping
As has already been stated in our above description of the core of these bipolytropic configurations, the structure of the core will be physically viable as long as the radial location of the interface, , between the core and the envelope is positioned somewhere within the range,
Similarly, our discussion of Srivastava's LaneEmden 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, , associated with the radial location of the interface is positioned somewhere within the range,
where,
and, in keeping with the definition provided above,
This coordinate range for the physically viable envelope can be rewritten as,
As is illustrated in the following figure, titled "Interface Mapping," our analytic solution defines a smooth, onetoone mapping of the radial coordinate that defines the outer edge of the core, , to the parameter, , that defines the inner edge of the envelope.

In the figure, the green curve traces the segment of the EType LaneEmden function for the polytropic core, — that is, the segment of the "sinc" function — that covers the range for the interface parameter, ; the blue curve traces the segment of the FType LaneEmden function for the polytropic envelope, , that covers this same range , but for the interface parameter, . (This blue curve is also displayed, and its properties described in more depth, in a separate discussion devoted to Srivastava's LaneEmden function for polytropes.) This entire displayed parameter range, , 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 over which 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, , and it intersects the blue curve at the interface value, . [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 can be constructed by truncating the core at a radius, , and matching it to an envelope whose innermost radius is associated with the parameter, . (The corresponding, analytically determined values of the coefficients and 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 interfacemapping of these four bipolytropic models because their cores are truncated at the same values of that Murphy (1983) used for the models numbered "(2)", "(3)", "(4)", and "(5)" in his Table 3. (See the much more indepth discussion, below; and note that the edge of the core is labeled by the parameter, , rather than by , in Murphy's Table 3.)
For clarity we note that, the analytically determined values of that are listed in the table that sits to the right of the above "Interface Mapping" figure have been shifted in phase by , where the relevant value of the integer, , is also listed in the table. In the figure, the two purple dashedline segments are associated with models for which , while the two orange dashedline segments are associated with models for which .
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, ; as a result, the bipolytropic configuration has a very small core and its structure is almost entirely that of an 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, ; the resulting bipolytropic configuration has a very tiny envelope and its structure is almost entirely an polytrope. Our analytic solution permits us to set to either of the two limiting values, or , and to show that, in these limits, exactly equals, respectively, 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 polytrope or an isolated polytrope.
ASIDE: It has previously been thought that Srivastava's LaneEmden function, , cannot be used on its own to define the structure of an isolated 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 polytrope of this type can be constructed by letting the interface parameter — and, hence the alternative parameter — in Murphy's bipolytrope. It should be interesting to determine the values of the coefficients, and , that arise in this limit, and to examine in detail the structure of the complete model that results. Does its radial density profile resemble — or, perhaps, exactly match — the radial density profile of the wellknown isolated 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 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, LaneEmden function and an envelope that is defined by Srivastava's LaneEmden function.
Murphy's Example Model Characteristics
As in an earlier figure, the following loglog plot shows what value(s) of (vertical axis) result from a wide range of interface coordinate specifications, (horizontal axis), under the simplifying assumption that . The solid blue diamonds present exactly the same information as in the previous figure, that is, they identify roots resulting from setting in the phaseshift specification. But here, focusing on a regime that highlights larger roots of the first constraint equation, solid black squares identify roots for which , and solid maroon triangles identify roots for which .
In this version of the figure, colored dashedline 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, and . The portion of the redoutlined rectangular region that lies to the left of the vertical, line accommodates some models that arise from specifying an phase shift and the portion that lies to the right of this demarcation line accommodates some models that arise from specifying an phase shift. Similarly, the portion of the greenoutlined rectangular region that lies to the left of the vertical, line accommodates additional models that arise from specifying an phase shift and the portion that lies to the right of this demarcation line accommodates models that arise from specifying an phase shift. Given the inherent periodicity of Srivastava's function, it should be clear that we could equally well have identified other rectangular regions at both higher and lower values of in which additional physically viable models exist. It should also be clear that, because the figure presents a loglog plot and the lower limit of viable parameter values for the horizontal axis parameter, , 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) 


In his Table 3, Murphy (1983) presents six pairs of "coordinate" roots, , 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 relisted immediately to the right of the loglog plot, in a separate panel of the above figure. After mapping Murphy's coordinate notation to ours — specifically invoking the mapping — 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 — 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 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 = 1) 

Model 
Specified 
Analytically Determined Here 










1  3.2678E02  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.44223  1.8966E05  0.48862  3.141778 
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, , , , and 
Our six models (top portion of the above table) have been constructed by, first, specifying the location of the outer edge of the core, along with a corresponding phase shift parameter, , to match Murphy's chosen coreinterface values — in his terminology, (middle portion of the above table). Once the value of has been specified for each model, the value of the parameter, , the root of the cubic equation, , 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,






and,



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 does not display characteristics that, in any fashion, match Murphy's model with the same coreinterface value.
We initially suspected that the "Model 4" mismatch resulted from a typographical or transcription error in the value of — in our terminology, — that appears in Murphy's published Table 3. So we tried a variety of values of , 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 lightgreen backgrounds in the bottom segment of the above table: (Model 4b) Setting gives , which matches Murphy's "Model 4" value of ; (Model 4c) setting gives values of and that both match Murphy's values; (Model 4d) setting also gives values of and that both match Murphy's values; and (Model 4e) setting gives a value of that matches Murphy's value of . As we have been unable to find a value of 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
Combining the set of expressions provided in the rightmost 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 .
























Examples
Normalization
The dimensionless variables used in Tables 1 & 2 are defined as follows:



; 






; 






. 

Parameter Values
The column of Table 1 catalogues the analytic expressions that define various parameters and physical properties (as identified, respectively, in column 1) of the , bipolytrope.
Properties of , , BiPolytrope Having Various Interface Locations, 

Parameter 







































Profile
Once the values of the key set of parameters have been determined as illustrated in the preceding formula table, the radial profile of various physical variables can be determined throughout the bipolytrope as detailed in step #4 and step #8, above. The following table summarizes the mathematical expressions that define the profile throughout the core (column 2) and throughout the envelope (column 3) of the normalized mass density, , the normalized gas pressure, , and the normalized mass interior to , . For all profiles, the relevant normalized radial coordinate is , as defined in the 2^{nd} row of the table. Graphical illustrations of these resulting profiles can be viewed by clicking on the thumbnail images posted in the last few columns of the table.
Table 2: Radial Profile of Various Physical Variables
Variable 
Throughout the Core 
Throughout the Envelope^{†} 
Plotted Profiles 






















^{†}In order to obtain the various envelope profiles, it is necessary to evaluate and its first derivative using the information presented in Step 6, above. 
Murphy and Fiedler (1985)
Table 1 from Murphy & Fiedler (1985, Proc. Astr. Soc. of Australia, 6, 219) 
Reproduction of Table 1 from MF85 Using Excel and Analytic Expressions Derived Here 
Key References
 S. Srivastava (1968, ApJ, 136, 680) A New Solution of the LaneEmden Equation of Index n = 5
 H. A. Buchdahl (1978, Australian Journal of Physics, 31, 115): Remark on the Polytrope of Index 5 — the result of this work by Buchdahl has been highlighted inside our discussion of bipolytropes with .
 J. O. Murphy (1980a, Proc. Astr. Soc. of Australia, 4, 37): A Finite Radius Solution for the Polytrope Index 5
 J. O. Murphy (1980b, Proc. Astr. Soc. of Australia, 4, 41): On the FType and MType Solutions of the LaneEmden Equation
 J. O. Murphy (1981, Proc. Astr. Soc. of Australia, 4, 205): Physical Characteristics of a Polytrope Index 5 with Finite Radius
 J. O. Murphy (1982, Proc. Astr. Soc. of Australia, 4, 376): A Sequence of EType Composite Analytical Solutions of the LaneEmden Equation
 J. O. Murphy (1983, Australian Journal of Physics, 36, 453): Structure of a Sequence of TwoZone Polytropic Stellar Models with Indices 0 and 1
 J. O. Murphy (1983, Proc. Astr. Soc. of Australia, 5, 175): Composite and Analytical Solutions of the LaneEmden Equation with Polytropic Indices n = 1 and n = 5
 J. O. Murphy & R. Fiedler (1985a, Proc. Astr. Soc. of Australia, 6, 219): Physical Structure of a Sequence of TwoZone Polytropic Stellar Models
 J. O. Murphy & R. Fiedler (1985b, Proc. Astr. Soc. of Australia, 6, 222): Radial Pulsations and Vibrational Stability of a Sequence of TwoZone Polytropic Stellar Models
Related Discussions
Appendices:  VisTrailsEquations  VisTrailsVariables  References  Ramblings  VisTrailsImages  myphys.lsu  ADS  