Editing
SSC/Structure/BiPolytropes/Analytic15/Pt2
(section)
Jump to navigation
Jump to search
Warning:
You are not logged in. Your IP address will be publicly visible if you make any edits. If you
log in
or
create an account
, your edits will be attributed to your username, along with other benefits.
Anti-spam check. Do
not
fill this in!
=BiPolytrope with n<sub>c</sub> = 1 and n<sub>e</sub> = 5= <table border="1" align="center" width="100%" colspan="8"> <tr> <td align="center" rowspan="1" bgcolor="lightblue" width="25%"><br />[[SSC/Structure/BiPolytropes/Analytic15|Part I: Steps 2 thru 7]]<br /> </td> <td align="center" rowspan="1" bgcolor="lightblue" width="25%"><br />[[SSC/Structure/BiPolytropes/Analytic15/Pt2|Part II: Analytic Solution of Interface Relation]]<br /> </td> <td align="center" rowspan="1" bgcolor="lightblue" width="25%"><br />[[SSC/Structure/BiPolytropes/Analytic15/Pt3|III: Modeling]]<br /> </td> <td align="center" bgcolor="lightblue"><br />[[SSC/Structure/BiPolytropes/MurphyUVplane|IV: Murphy's UV Plane]]<br /> </td> </tr> </table> ==Analytic Solution of Key Interface Relation== Returning to our [[SSC/Structure/BiPolytropes/Analytic15#KeyInterfaceRelation|previously derived]], <div align="center" id="KeyInterfaceRelation"> <font color="#770000">'''Key Nonlinear Interface Relation'''</font> <br /> <table border="0" cellpadding="5" align="center"> <tr> <td align="right"> <math>~\kappa_i</math> </td> <td align="center"> <math>~=</math> </td> <td align="left"> <math>~\frac{3 - 2\sin^2\Delta_i -3\cot\Delta_i}{(3-2\sin^2\Delta_i)} \, ,</math> </td> </tr> </table> </div> and, as in our [[SSC/Structure/Polytropes#Example_Interval|separate discussion of the properties of Srivastava's function]], adopting the shorthand notation, <div align="center"> <math>~y_i \equiv \tan\Delta_i \, ,</math> </div> this key interface condition becomes, <div align="center"> <table border="0" cellpadding="5" align="center"> <tr> <td align="right"> <math>~\kappa_i</math> </td> <td align="center"> <math>~=</math> </td> <td align="left"> <math>~ \frac{3 - 2y_i^2(1+y_i^2)^{-1}- 3y_i^{-1} }{3-2y_i^2(1+y_i^2)^{-1}} </math> </td> </tr> <tr> <td align="right"> </td> <td align="center"> <math>~=</math> </td> <td align="left"> <math>~ \frac{3y_i(1+y_i^2)- 2y_i^3 -3(1+y_i^2)}{3y_i(1+y_i^2)-2y_i^3} </math> </td> </tr> <tr> <td align="right"> </td> <td align="center"> <math>~=</math> </td> <td align="left"> <math>~ \frac{y_i^3 -3y_i^2 + 3y_i -3 }{3y_i+y_i^3} </math> </td> </tr> <tr> <td align="right"> <math>~\Rightarrow~~~~ \kappa_i(3y_i+y_i^3)</math> </td> <td align="center"> <math>~=</math> </td> <td align="left"> <math>~ y_i^3 -3y_i^2 + 3y_i -3 </math> </td> </tr> <tr> <td align="right"> <math>~\Rightarrow~~~~ y_i^3(1-\kappa_i) -3 y_i^2 + 3(1-\kappa_i)y_i -3</math> </td> <td align="center"> <math>~=</math> </td> <td align="left"> <math>~ 0 \, . </math> </td> </tr> </table> </div> This is a cubic equation whose solution, <math>~y_\mathrm{root}(\kappa_i)</math>, will also immediately supply the desired interface angle, <math>~\Delta_i</math>, and an interface coordinate root, <math>~(A_0\eta)_\mathrm{root}</math>. <div align="center"> <table border="1" cellpadding="8" width="80%"> <tr> <td align="center"> <font color="red">'''ASIDE:'''</font> Analytic Solution of Cubic Equation </td> </tr> <tr> <td align="left"> As is well known and documented — see, for example [http://mathworld.wolfram.com/CubicFormula.html Wolfram MathWorld] or [http://en.wikipedia.org/wiki/Cubic_function 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 [http://www.math.vanderbilt.edu/~schectex/courses/cubic/ online summary provided by Eric Schechter at Vanderbilt University]. For a cubic equation of the general form, <div align="center"> <math>~ay^3 + by^2 + cy + d = 0 \, ,</math> </div> a real root is given by the expression, <div align="center"> <math>~ y = p + \{q + [q^2 + (r-p^2)^3]^{1/2}\}^{1/3} + \{q - [q^2 + (r-p^2)^3]^{1/2}\}^{1/3} \, ,</math> </div> where, <div align="center"> <math>~p \equiv -\frac{b}{3a} \, ,</math> <math>~q \equiv \biggl[p^3 + \frac{bc-3ad}{6a^2} \biggr] \, ,</math> and <math>~r=\frac{c}{3a} \, .</math> </div> In our particular case, <div align="center"> <math>~a =(1-\kappa_i)\, ,</math> <math>~b =-3\, ,</math> <math>~c = 3(1-\kappa_i) \, ,</math> and <math>~d = - 3 \, .</math> </div> Hence, <div align="center"> <math>~p = \frac{1}{(1-\kappa_i)} \, ,</math> <math>~r=+1 \, ,</math> and <math>~q = p^3 = \frac{1}{(1-\kappa_i)^3} \, ,</math> </div> which implies that the real root, <math>~y_\mathrm{root}</math>, is given by the expression, <div align="center"> <table border="0" cellpadding="5" align="center"> <tr> <td align="right"> <math>~y_\mathrm{root}</math> </td> <td align="center"> <math>~=</math> </td> <td align="left"> <math>~ p + \{p^3 + [p^6 + (1-p^2)^3]^{1/2}\}^{1/3} + \{p^3 - [p^6 + (1-p^2)^3]^{1/2}\}^{1/3} </math> </td> </tr> <tr> <td align="right"> </td> <td align="center"> <math>~=</math> </td> <td align="left"> <math>~ p + \{p^3 + p^3[1 + (p^{-2}-1)^3]^{1/2}\}^{1/3} + \{p^3 - p^3[1 + (p^{-2}-1)^3]^{1/2}\}^{1/3} </math> </td> </tr> <tr> <td align="right"> <math>~\Rightarrow ~~~~ p^{-1} y_\mathrm{root}</math> </td> <td align="center"> <math>~=</math> </td> <td align="left"> <math>~ 1 + \{1 + [1 + (p^{-2}-1)^3]^{1/2}\}^{1/3} + \{1 - [1 + (p^{-2}-1)^3]^{1/2}\}^{1/3} \, . </math> </td> </tr> </table> </div> (There is also a pair of imaginary roots, but they are irrelevant in the context of our overarching astrophysical discussion.) </td> </tr> </table> </div> In summary, then, * Once the location, <math>~\xi_i</math>, of the outer edge of the core has been specified, which determines <math>~\theta_i</math> and <math>~\theta^'_i</math> as well, the value of the parameters, <math>~\kappa_i</math> and <math>~p</math>, are known via the expressions, <div align="center"> <table border="0" cellpadding="5" align="center"> <tr> <td align="right"> <math>~\kappa_i \equiv - \frac{2\theta_i^' \xi_i}{3\theta_i} \biggl( \frac{\mu_e}{\mu_c} \biggr)</math> </td> <td align="center"> <math>~=</math> </td> <td align="left"> <math>~\frac{2}{3} \biggl(1 - \xi_i \cot\xi_i \biggr)\biggl( \frac{\mu_e}{\mu_c} \biggr) \, ,</math> </td> </tr> </table> and, <table border="0" cellpadding="5" align="center"> <tr> <td align="right"> <math>~p \equiv (1-\kappa_i)^{-1} </math> </td> <td align="center"> <math>~=</math> </td> <td align="left"> <math>~\frac{3}{3-2(\mu_e/\mu_c)(1-\xi_i \cot\xi_i)} \, .</math> </td> </tr> </table> </div> * The value of <math>~y_\mathrm{root}</math> 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 <math>~\pi m</math> phase angle, where <math>~m</math> is an, as yet unspecified, integer), <div align="center"> <math>~\Delta_i = \tan^{-1}(y_\mathrm{root}) +\pi m \, .</math> </div> * This, in turn, can be interpreted as a coordinate root — which we shall refer to as <math>~\eta_\mathrm{root}</math> — via the expression, <div align="center"> <math>~(A_0\eta)_\mathrm{root} = e^{2\Delta_i} = e^{2\pi m} \cdot e^{2\tan^{-1}(y_\mathrm{root})} \, .</math> </div> <div align="center" id="Caution"> <table border="1" cellpadding="8" width="80%"> <tr> <td align="center"> <font color="red">'''CAUTION:'''</font> Solution Behavior When <math>~\kappa_i = 1</math> and <math>~\Delta_i = \pi/2 \, .</math> </td> </tr> <tr> <td align="left"> In building a ''sequence'' of bipolytropic configurations having <math>~(n_c, n_e) = (1, 5)</math>, it will make sense to steadily increase the value of the parameter that marks the edge of the core, <math>~\xi_i</math>, from zero — meaning no mass in the core — to its maximum allowed value, <math>~\pi</math> — meaning no mass in the envelope. (A more complete discussion of physically viable parameter values is [[SSC/Structure/BiPolytropes/Analytic15#Physically_Viable_Parameter_Values|presented below]].) As <math>~\xi_i</math> steadily increases from zero, for a while the parameter, <math>~\kappa_i</math>, will steadily increase from zero as well. As the value of <math>~\kappa_i</math> crosses through the value of "one," the associated parameter, <math>~p = (1-\kappa_i)^{-1}</math>, as well as the root of the cubic equation, <math>~y_\mathrm{root}</math>, 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 <math>~\kappa_i = 1</math>, the governing interface angle, <math>~\Delta_i = \pi/2</math> — or, allowing for the aforementioned phase shift, <math>~\Delta_i = \pi/2 + m\pi</math>. From a practical standpoint, however, it is useful to keep in mind that the root of the governing cubic equation will change abruptly from <math>~+ \infty</math> to <math>~- \infty</math> and its value will be quite sensitive to the choice of <math>~\xi_i</math> in the vicinity of <math>~\kappa_i = 1</math>. Given the definition of the function, <math>~\kappa_i(\xi_i)</math>, this means that the abrupt transition will occur at an interface location, <math>~\xi_\mathrm{trans}</math>, whose value satisfies the condition, <div align="center"> <table border="0" cellpadding="5" align="center"> <tr> <td align="right"> <math>~\frac{\xi_\mathrm{trans}}{\tan(\xi_\mathrm{trans})} </math> </td> <td align="center"> <math>~=</math> </td> <td align="left"> <math>~1-\frac{3}{2} \biggl( \frac{\mu_e}{\mu_c} \biggr)^{-1} \, .</math> </td> </tr> </table> </div> For the case, <math>~\mu_e/\mu_c = 1 \, ,</math> we have determined empirically (to a dozen significant digits), that, <div align="center"> <math>~\xi_\mathrm{trans} = 1.836597203152 \, .</math> </div> Just for fun — and, again, for the case, <math>~\mu_e/\mu_c = 1 </math> — we also have determined that <math>~\xi_\mathrm{trans}</math> satisfies the series, <div align="center"> <math>~ 0 = \sum_{n=0}^{\infty} (-1)^{n+1} \biggl(\frac{4n+3}{2n+1} \biggr) \frac{\xi_\mathrm{trans}^{2n}}{(2n)!} \, .</math> </div> The black, vertical, long-dashed line in the following figure identifies where <math>~\xi_i = \xi_\mathrm{trans}</math>. Because the function <math>~\tan(\xi_\mathrm{trans})</math> is periodic, other values of <math>~\xi_\mathrm{trans}</math> will also satisfy the condition, <div align="center"> <table border="0" cellpadding="5" align="center"> <tr> <td align="right"> <math>~\frac{\xi_\mathrm{trans}}{\tan(\xi_\mathrm{trans})} </math> </td> <td align="center"> <math>~=</math> </td> <td align="left"> <math>~1-\frac{3}{2} \biggl( \frac{\mu_e}{\mu_c} \biggr)^{-1} \, .</math> </td> </tr> </table> </div> But the one whose value we have determined here is the only one that falls within the physically viable range of interface location values, <math>~0 \le \xi_i \le \pi </math>. </td> </tr> <tr> <td align="left"> <font color="red">NOTE as well:</font> A very similar expression arises in the [[Appendix/Ramblings/51BiPolytropeStability/RethinkEnvelope#Setup|accompanying discussion where we ''Rethink Handling of n = 1 Envelope'']]. Specifically, <table border="0" cellpadding="5" align="center"> <tr> <td align="right"> <math>\tan\Delta </math> </td> <td align="center"> <math>=</math> </td> <td align="left"> <math>\Delta + B \, .</math> </td> </tr> </table> I'm not sure whether this is relevant information or not! </td> </tr> </table> </div> <span id="MurphyF2Function">The following log-log plot shows what value(s) of <math>~(A_0\eta)_\mathrm{root} </math> (vertical axis) result from a wide range of interface coordinate specifications, <math>~\xi_i</math> (horizontal axis), under the simplifying assumption that <math>~(\mu_e/\mu_c) = 1</math>: Solid blue diamonds identify roots resulting from setting <math>~m=0</math> in the phase-shift specification, solid green triangles identify roots for which <math>~m=-1</math>, and solid purple squares identify roots for which <math>~m=-2</math>. </span> As has just been discussed in the context of a cautionary note, as <math>~\xi_i</math> is increased from zero for any given value of <math>~m</math> — that is, as one traverses the plot, moving from the lefthand edge toward the right along a curve of ''constant color'' — the solution, <math>~(A_0\eta)_\mathrm{root} </math>, makes an abrupt jump when <math>~\xi_i</math> crosses the value, <math>~\xi_\mathrm{trans}</math>. This identifies the root of the cubic equation for which <math>~\Delta_i = \pi/2 + m\pi</math>. One can continue to move in a smooth, continuous fashion along a single — but multi-colored — solution curve by letting <math>~m \rightarrow (m+1)</math> as <math>~\xi_i</math> crosses <math>~\xi_\mathrm{trans}</math>. <div align="center"> <table border="1" cellpadding="5"> <tr> <td align="center" colspan="2"> Examination of F2 Function Discussed by [http://adsabs.harvard.edu/abs/1983PASAu...5..175M J. O. Murphy (1983, Proc. Astr. Soc. of Australia, 5, 175)] </td> </tr> <tr> <td align="center"> [[File:MurphyF2roots05.png|center|500px|F2 Roots by Murphy (1983)]] </td> <td align="center"> <table border="0" cellpadding="0"> <tr> <td align="center"> Murphy's<p></p> Roots of<p></p> F2 = 0<p></p> Function<p></p> ---- </td> </tr> <tr> <td align="left"> <font face="Courier">3.5076E-05</font> </td> </tr> <tr> <td align="left"> <font face="Courier">1.8785E-02</font> </td> </tr> <tr> <td align="left"> <font face="Courier">4.2993E+00</font> </td> </tr> <tr> <td align="left"> <font face="Courier">7.6882E+00</font> </td> </tr> <tr> <td align="left"> <font face="Courier">1.0913E+01</font> </td> </tr> <tr> <td align="left"> <font face="Courier">1.4101E+01</font> </td> </tr> </table> </td> </tr> </table> </div> 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, <div align="center"> <math>~(A_0\eta)_\mathrm{root} = \xi_i \, .</math> </div> The points of intersection that are highlighted in this figure are also what [http://adsabs.harvard.edu/abs/1983PASAu...5..175M Murphy (1983)] refers to as roots of his <math>~F2 = 0</math> function. The values of ten successive coordinate roots of this function are listed in the right-hand column of Table 1 in [http://adsabs.harvard.edu/abs/1983PASAu...5..175M 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== ===Interface Mapping=== As has already been stated in our [[SSC/Structure/BiPolytropes/Analytic15#Steps_2_.26_3|above description of the <math>~n_c = 1</math> core]] of these bipolytropic configurations, the structure of the core will be physically viable as long as the radial location of the interface, <math>~\xi_i</math>, between the core and the envelope is positioned somewhere within the range, <div align="center"> <math>~0 \le \xi_i \le \pi \, .</math> </div> Similarly, our [[SSC/Structure/Polytropes#Srivastava.27s_F-Type_Solution|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, <math>~\Delta_i</math>, associated with the radial location of the interface is positioned somewhere within the range, <div align="center"> <math>~\eta_\mathrm{crit} < e^{2\Delta_i} < e^{2\pi} \, ,</math> </div> where, <div align="center"> <math>\eta_\mathrm{crit} \equiv e^{2\tan^{-1}(1+2^{1/3})} = 10.05836783\, ,</math> </div> and, in keeping with the definition provided above, <div align="center"> <math>\Delta_i = \tan^{-1}(y_\mathrm{root}) + m\pi \, .</math> </div> This coordinate range for the physically viable envelope can be rewritten as, <div align="center"> <math>~\tan^{-1}(1+2^{1/3}) \le \Delta_i \le \pi \, .</math> </div> 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 <math>~n_c=1</math> core, <math>~\xi_i</math>, to the parameter, <math>~\Delta_i</math>, that defines the inner edge of the <math>~n_e = 5</math> envelope. <div align="center"> <table border="1" cellpadding="0" align="center"> <tr> <td align="center"> [[File:InterfaceMap02.png|center|500px|Illustration of Interface Mapping]] </td> <td align="center"> <table border="0" cellpadding="5" align="center"> <tr> <td align="center"><math>~\mathrm{Model}</math></td> <td align="center"><math>~\xi_i</math></td> <td align="center"><math>~m</math></td> <td align="center"><math>~\Delta_i</math></td> </tr> <tr> <td align="center"> ----</td> <td align="center"> ----</td> <td align="center"> ----</td> <td align="center"> ----</td> </tr> <tr> <td align="center">…</td> <td align="center"><math>~0</math></td> <td align="center"><math>~0</math></td> <td align="center"><math>~\tan^{-1}(1+2^{1/3})</math></td> </tr> <tr> <td align="center"><math>~(2)</math></td> <td align="center"><math>~0.8154</math></td> <td align="center"><math>~0</math></td> <td align="center"><math>~1.24287</math></td> </tr> <tr> <td align="center"><math>~(3)</math></td> <td align="center"><math>~1.6598</math></td> <td align="center"><math>~0</math></td> <td align="center"><math>~1.49179</math></td> </tr> <tr> <td align="center"><math>~(4)</math></td> <td align="center"><math>~2.0914</math></td> <td align="center"><math>~1</math></td> <td align="center"><math>~1.73281</math></td> </tr> <tr> <td align="center"><math>~(5)</math></td> <td align="center"><math>~2.7302</math></td> <td align="center"><math>~1</math></td> <td align="center"><math>~2.87493</math></td> </tr> <tr> <td align="center">…</td> <td align="center"><math>~\pi</math></td> <td align="center"><math>~1</math></td> <td align="center"><math>~\pi</math></td> </tr> </table> </td> </tr> </table> </div> In the figure, the green curve traces the segment of the E-Type Lane-Emden function for the <math>~n_c = 1</math> polytropic core, <math>~\theta_{1E}</math> — that is, the segment of the "sinc" function — that covers the range <math>~[0,\pi]</math> for the interface parameter, <math>~\xi_i</math>; the blue curve traces the segment of the F-Type Lane-Emden function for the <math>~n_e = 5</math> polytropic envelope, <math>~\phi_{5F}</math>, that covers this same range <math>~[0,\pi]</math>, but for the interface parameter, <math>~\Delta_i</math>. (This blue curve is also displayed, and its properties described in more depth, in a [[SSC/Structure/Polytropes#Example_Interval|separate discussion devoted to Srivastava's Lane-Emden function]] for <math>~n=5</math> polytropes.) This entire displayed parameter range, <math>~[0,\pi]</math>, 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 <math>~[\tan^{-1}(1+2^{1/3}),\pi]</math> over which <math>~\phi_{5F}</math> 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, <math>~\xi_i = 0.8154</math>, and it intersects the blue curve at the interface value, <math>~\Delta_i = 1.24287</math>. [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 <math>~(n_c, n_e) = (1, 5)</math> can be constructed by truncating the <math>~n_c = 1</math> core at a radius, <math>~\xi_i = 0.8154</math>, and matching it to an <math>~n_e = 5</math> envelope whose innermost radius is associated with the parameter, <math>~\Delta_i = 1.24287</math>. (The corresponding, analytically determined values of the coefficients <math>~A_0</math> and <math>~B_0</math> 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 <math>~\xi_i</math> that [http://adsabs.harvard.edu/abs/1983PASAu...5..175M Murphy (1983)] used for the models numbered "(2)", "(3)", "(4)", and "(5)" in his Table 3. (See the [[SSC/Structure/BiPolytropes/Analytic15#Murphy.27s_Example_Model_Characteristics|much more in-depth discussion, below]]; and note that the edge of the core is labeled by the parameter, <math>~\zeta_J</math>, rather than by <math>~\xi_i</math>, in Murphy's Table 3.) For clarity we note that, the analytically determined values of <math>~\Delta_i</math> that are listed in the table that sits to the right of the above "Interface Mapping" figure have been shifted in phase by <math>~m\pi</math>, where the relevant value of the integer, <math>~m</math>, is also listed in the table. In the figure, the two ''purple'' dashed-line segments are associated with models for which <math>~m=0</math>, while the two ''orange'' dashed-line segments are associated with models for which <math>~m=1</math>. In his Table 3, [http://adsabs.harvard.edu/abs/1983PASAu...5..175M Murphy (1983)] also tabulates the characteristics of two additional models: The core of his "model 1" is truncated at a radius much less than <math>~\pi</math>, namely, <math>~\xi_i = 0.032678</math>; as a result, the bipolytropic configuration has a very small core and its structure is almost entirely that of an <math>~n = 5</math> polytrope. At the other extreme, the core of his "model 6" is truncated at a radius that is almost, but not quite, equal to <math>~\pi</math>, namely, <math>~\xi_i = 3.1415</math>; the resulting bipolytropic configuration has a very tiny envelope and its structure is almost entirely an <math>~n = 1</math> polytrope. Our analytic solution permits us to set <math>~\xi_i</math> to either of the two limiting values, <math>~0</math> or <math>~\pi</math>, and to show that, in these limits, <math>~\Delta_i</math> exactly equals, respectively, <math>~\tan^{-1}(1 + 2^{1/3})</math> and <math>~\pi</math>. 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, <math>~\pi</math>. It appears, therefore, that in these two limits Murphy's bipolytrope can be used, respectively, to define the structure of an isolated <math>~n=5</math> polytrope or an isolated <math>~n=1</math> polytrope. '''<font color="red">ASIDE:</font>''' It has previously been thought that Srivastava's Lane-Emden function, <math>~\phi_{5F}</math>, cannot be used on its own to define the structure of an ''isolated'' <math>~n=5</math> 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 <math>~n=5</math> polytrope of this type ''can'' be constructed by letting the interface parameter <math>~\xi_i \rightarrow 0</math> — and, hence the alternative parameter <math>~\Delta_i \rightarrow \tan^{-1}(1+2^{1/3})</math> — in Murphy's bipolytrope. It should be interesting to determine the values of the coefficients, <math>~A_0</math> and <math>~B_0</math>, that arise in this limit, and to examine in detail the structure of the complete <math>~n=5</math> model that results. Does its radial density profile resemble — or, perhaps, exactly match — the radial density profile of the well-known ''isolated'' <math>~n=5</math> 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 — [http://adsabs.harvard.edu/abs/1980PASAu...4...37M Murphy (1980a)] and [http://adsabs.harvard.edu/abs/1981PASAu...4..205M Murphy (1981)] — Murphy has constructed and discussed the physical characteristics of equilibrium models that obey the <math>~n=5</math> 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, <math>~\phi_{5E}</math> Lane-Emden function and an envelope that is defined by Srivastava's <math>~\phi_{5F}</math> Lane-Emden function. ===Murphy's Example Model Characteristics=== As in an [[SSC/Structure/BiPolytropes/Analytic15#MurphyF2Function|earlier figure]], the following log-log plot shows what value(s) of <math>~(A_0\eta)_\mathrm{root} </math> (vertical axis) result from a wide range of interface coordinate specifications, <math>~\xi_i</math> (horizontal axis), under the simplifying assumption that <math>~(\mu_e/\mu_c) = 1</math>. The solid blue diamonds present exactly the same information as in the previous figure, that is, they identify roots resulting from setting <math>~m=0</math> 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 <math>~m=+1</math>, and solid maroon triangles identify roots for which <math>~m=+2</math>. <span id="SecondMurphyF2Function">In this version of the figure</span>, colored dashed-line segments have been drawn to enclose two regions of parameter space in which solutions of the [[SSC/Structure/BiPolytropes/Analytic15#KeyInterfaceRelation|key nonlinear interface relation]] produce a [[SSC/Structure/BiPolytropes/Analytic15#Physically_Viable_Parameter_Values|physically viable model]] — that is, <math>~0 \le \xi_i \le \pi</math> and <math>~\tan^{-1}(1+2^{1/3}) \le \Delta_i \le \pi</math>. The portion of the red-outlined rectangular region that lies to the left of the vertical, <math>~\xi_i = \xi_\mathrm{trans}</math> line accommodates some models that arise from specifying an <math>~m=0</math> phase shift and the portion that lies to the right of this demarcation line accommodates some models that arise from specifying an <math>~m=+1</math> phase shift. Similarly, the portion of the green-outlined rectangular region that lies to the left of the vertical, <math>~\xi_i = \xi_\mathrm{trans}</math> line accommodates additional models that arise from specifying an <math>~m=+1</math> phase shift and the portion that lies to the right of this demarcation line accommodates models that arise from specifying an <math>~m=+2</math> phase shift. Given the inherent periodicity of Srivastava's <math>~\phi_{5F}</math> function, it should be clear that we could equally well have identified other rectangular regions at both higher <math>~(m \ge 2)</math> and lower <math>~(m \le 0)</math> values of <math>~(A_0 \eta)_\mathrm{root}</math> 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, <math>~\xi_i</math>, is zero, the identified rectangular regions should be viewed as extending to the left, all the way to minus infinity. <div align="center"> <table border="1" cellpadding="5"> <tr> <td align="center" colspan="2"> Examination of Table 3 Data Presented in [http://adsabs.harvard.edu/abs/1983PASAu...5..175M J. O. Murphy (1983, Proc. Astr. Soc. of Australia, 5, 175)] </td> </tr> <tr> <td align="center"> [[File:MurphyPhysicallyViableTable3d.png|center|500px|Table 3 Model Characteristics by Murphy (1983)]] </td> <td align="center"> <table border="0" cellpadding="5"> <tr> <td align="center" colspan="2" width="100%"> [[File:CommentButton02.png|center|100px|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 </td> </tr> <tr> <td align="center" width="50%"> <math>~\zeta_J \rightarrow \xi_i</math><p></p> ---- </td> <td align="center" width="50%"> <math>~\xi_J \rightarrow (A_0\eta)_\mathrm{root}</math><p></p> ---- </td> </tr> <tr> <td align="right"> <font face="Courier">3.2678E-02</font> </td> <td align="right"> <font face="Courier" color="red">10.0164</font> </td> </tr> <tr> <td align="right"> <font face="Courier">0.8154</font> </td> <td align="right"> <font face="Courier">12.0083</font> </td> </tr> <tr> <td align="right"> <font face="Courier">1.6598</font> </td> <td align="right"> <font face="Courier">20.4312</font> </td> </tr> <tr> <td align="right"> <font face="Courier" color="red">2.6914</font> </td> <td align="right"> <font face="Courier">33.0249</font> </td> </tr> <tr> <td align="right"> <font face="Courier">2.7302</font> </td> <td align="right"> <font face="Courier">100<math>\pi</math></font> </td> </tr> <tr> <td align="right"> <font face="Courier">3.1415</font> </td> <td align="right"> <font face="Courier">91275<math>\pi</math></font> </td> </tr> </table> </td> </tr> </table> </div> In his Table 3, [http://adsabs.harvard.edu/abs/1983PASAu...5..175M Murphy (1983)] presents six pairs of "coordinate" roots, <math>~(\zeta_J, \xi_J)</math>, 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 <math>~(\zeta_J, \xi_J) ~\rightarrow~ (\xi_i, A_0\eta_\mathrm{root})</math> — 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 <math>~(\zeta_J, \xi_J) = (2.6914, 33.0249)</math> — 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 [http://adsabs.harvard.edu/abs/1983PASAu...5..175M Murphy's (1983)] Table 3. The tabulated values have been derived assuming <math>~\mu_e/\mu_c = 1</math> 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. <div align="center"> <table border="1" cellpadding="5"> <tr> <td align="center" colspan="9"> Some Model Characteristics<sup>†</sup> (assuming <math>\mu_e/\mu_c</math> = 1) </td> </tr> <tr> <td align="center" rowspan="2"> Model </td> <td align="center" colspan="2"> Specified </td> <td align="center" colspan="6"> Analytically Determined Here </td> </tr> <tr> <td align="center"> <math>~\xi_i</math> </td> <td align="center"> <math>~m</math> </td> <td align="center"> <math>~\Delta_i</math> </td> <td align="center"> <math>~(A_0\eta)_\mathrm{root}</math> </td> <td align="center"> <math>~\frac{A_0}{3^{1/2}} \biggl( \frac{\mu_e}{\mu_c} \biggr) </math> </td> <td align="center"> <math>~B_0</math> </td> <td align="center"> <math>~\frac{B_0}{3^{1/4}} \biggl(\frac{\mu_e}{\mu_c}\biggr)^{1/2} \theta_i^{-1} </math> </td> <td align="center"> <math>~\xi_s</math> </td> </tr> <tr> <td align="center">1</td> <td align="right">3.2678E-02</td> <td align="center">0</td> <td align="right">1.1544</td> <td align="right">10.0614</td> <td align="right">307.894</td> <td align="center">5.77929</td> <td align="center">4.39209</td> <td align="right">1.7392</td> </tr> <tr> <td align="center">2</td> <td align="right">0.8154</td> <td align="center">0</td> <td align="right">1.2429</td> <td align="right">12.0101</td> <td align="right">14.729</td> <td align="center">1.25567</td> <td align="center">1.06865</td> <td align="right">36.356</td> </tr> <tr> <td align="center">3</td> <td align="right">1.6598</td> <td align="center">0</td> <td align="right">1.4918</td> <td align="right">19.7585</td> <td align="right">11.9041</td> <td align="center">1.01206</td> <td align="center">1.28146</td> <td align="right">44.984</td> </tr> <tr> <td align="center">4</td> <td align="right">2.6914</td> <td align="center">1</td> <td align="right">2.8365</td> <td align="right"><font color="red">290.9431</font></td> <td align="right"><font color="red">108.1010</font></td> <td align="center">0.14348</td> <td align="center"><font color="red">0.67430</font></td> <td align="right"><font color="red">4.9536</font></td> </tr> <tr> <td align="center">5</td> <td align="right">2.7302</td> <td align="center">1</td> <td align="right">2.8749</td> <td align="right">100.00<math>\pi</math></td> <td align="right">115.065</td> <td align="center">0.12408</td> <td align="center">0.64370</td> <td align="right">4.6539</td> </tr> <tr> <td align="center">6</td> <td align="right">3.1415</td> <td align="center">2</td> <td align="right">6.283141</td> <td align="right">91268<math>\pi</math></td> <td align="right">170.44223<math>e^{2\pi}</math></td> <td align="center">1.8966E-05</td> <td align="center">0.48862</td> <td align="right">3.141778</td> </tr> <tr> <td align="center" colspan="9">[[File:CommentButton02.png|right|50px|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.]]<p></p> Corresponding Values Extracted Directly from [http://adsabs.harvard.edu/abs/1983PASAu...5..175M Murphy's (1983)] Table 3 </td> </tr> <tr> <td align="center" colspan="9">[[Image:AAAwaiting01.png|600px|Columns extracted directly from Murphy (1983)]]</td> <!-- <td align="center">[[File:Table3CompleteCol1.png|center|50px|Column 1 from Table 3 of Murphy (1983)]]</td> <td align="right" colspan="2">[[File:Table3CompleteCol2.png|center|123px|Column 3 from Table 3 of Murphy (1983)]]</td> <td align="center"> </td> <td align="right">[[File:Table3CompleteCol3.png|center|67px|Column 3 from Table 3 of Murphy (1983)]]</td> <td align="right">[[File:Table3CompleteCol4.png|center|117px|Column 4 from Table 3 of Murphy (1983)]]</td> <td align="center"> </td> <td align="right">[[File:Table3CompleteCol5.png|center|71px|Column 5 from Table 3 of Murphy (1983)]]</td> <td align="right">[[File:Table3CompleteCol6.png|center|83px|Column 6 from Table 3 of Murphy (1983)]]</td> --> </tr> <tr> <td align="center" colspan="9"> Attempting to Understand Murphy's "Model 4" </td> </tr> <tr> <td align="center">4b</td> <td align="right">0.048681</td> <td align="center">0</td> <td align="right">1.1545342</td> <td align="right">10.065043</td> <td align="right">206.75505</td> <td align="center">4.7358862</td> <td align="center" bgcolor="lightgreen">3.5999</td> <td align="right">2.589981</td> </tr> <tr> <td align="center">4c</td> <td align="right">1.14988</td> <td align="center">0</td> <td align="right">1.3234244</td> <td align="right">14.109506</td> <td align="right" bgcolor="lightgreen">12.2704</td> <td align="center">1.12444163</td> <td align="center">1.07640071</td> <td align="right" bgcolor="lightgreen">43.6409</td> </tr> <tr> <td align="center">4d</td> <td align="right">1.77027</td> <td align="center">0</td> <td align="right">1.5391618</td> <td align="right">21.721958</td> <td align="right" bgcolor="lightgreen">12.2704</td> <td align="center">0.9876639</td> <td align="center">1.355397</td> <td align="right" bgcolor="lightgreen">43.6409</td> </tr> <tr> <td align="center">4e</td> <td align="right">2.10961</td> <td align="center">1</td> <td align="right">1.7486314</td> <td align="right" bgcolor="lightgreen">33.0249</td> <td align="right">15.6545186</td> <td align="center">0.8651536</td> <td align="center">1.6157228</td> <td align="right">34.2068427</td> </tr> <tr> <td align="left" colspan="9"> <sup>†</sup>See an [[SSC/Structure/BiPolytropes/MurphyUVplane#Chandrasekhar.27s_U_and_V_Functions|accompanying discussion]] for a complementary critique of Murphy's Table 3 models including an evlauation of the functions, <math>~U_{1E}</math>, <math>~V_{1E}</math>, <math>~U_{5F}</math>, and <math>~V_{5F} \, .</math> </td> </tr> </table> </div> Our six models (top portion of the above table) have been constructed by, first, specifying the location of the outer edge of the core, <math>~\xi_i</math> along with a corresponding phase shift parameter, <math>~m</math>, to match Murphy's chosen core-interface values — in his terminology, <math>~\zeta_J</math> (middle portion of the above table). Once the value of <math>~\xi_i</math> has been specified for each model, the value of the parameter, <math>~p</math>, the root of the cubic equation, <math>~y_\mathrm{root}</math>, 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 [[SSC/Structure/BiPolytropes/Analytic15#Parameter_Values|table below]]. For example, <div align="center"> <table border="0" cellpadding="5" align="center"> <tr> <td align="right"> <math>~\Delta_i</math> </td> <td align="center"> <math>~=</math> </td> <td align="left"> <math>~\tan^{-1}(y_\mathrm{root}) + m\pi \, ;</math> </td> </tr> <tr> <td align="right"> <math>~(A_0\eta)_\mathrm{root}</math> </td> <td align="center"> <math>~=</math> </td> <td align="left"> <math>~e^{2\Delta_i} \, ;</math> </td> </tr> </table> </div> and, <div align="center"> <table border="0" cellpadding="5" align="center"> <tr> <td align="right"> <math>~\xi_s</math> </td> <td align="center"> <math>~=</math> </td> <td align="left"> <math>~\xi_i e^{2(\pi -\Delta_i)} \, .</math> </td> </tr> </table> </div> 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 <math>~\xi_i = 2.6914</math> 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 <math>~\zeta_J</math> — in our terminology, <math>~\xi_i</math> — that appears in Murphy's published Table 3. So we tried a variety of values of <math>~\xi_i</math>, 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 <math>~\xi_i = 0.048681~(m = 0)</math> gives <math>~B=3.5999</math>, which matches Murphy's "Model 4" value of <math>~B</math>; (Model 4c) setting <math>~\xi_i = 1.14988~(m = 0)</math> gives values of <math>~A</math> and <math>~\zeta_J (\mathrm{i.e.,}~\xi_s)</math> that both match Murphy's values; (Model 4d) setting <math>~\xi_i = 1.77027~(m = 0)</math> also gives values of <math>~A</math> and <math>~\zeta_J</math> that both match Murphy's values; and (Model 4e) setting <math>~\xi_i = 2.10961~(m = 1)</math> gives a value of <math>~(A_0\eta)_\mathrm{root}</math> that matches Murphy's value of <math>~\xi_J</math>. As we have been unable to find a value of <math>~\xi_i</math> 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 right-most column of the [[SSC/Structure/BiPolytropes#TableSetup|accompanying bipolytrope "Table 1: Setup"]] with the [[SSC/Structure/BiPolytropes/Analytic15#Step_5:_Interface_Conditions|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 <math>\xi_i \le \xi \le \xi_s</math>. <div align="center"> <table border="0" cellpadding="3"> <tr> <td align="right"> <math>~\rho</math> </td> <td align="center"> <math>~=</math> </td> <td align="left"> <math>~\rho_e \phi^{5}</math> </td> </tr> <tr> <td align="right"> </td> <td align="center"> <math>~=</math> </td> <td align="left"> <math>~\rho_0 \biggl( \frac{\mu_e}{\mu_c} \biggr) \theta_i \phi^{5} \, ;</math> </td> </tr> <tr> <td align="right"> <math>~P</math> </td> <td align="center"> <math>~=</math> </td> <td align="left"> <math>~K_e \rho_e^{6/5} \phi^{6}</math> </td> </tr> <tr> <td align="right"> </td> <td align="center"> <math>~=</math> </td> <td align="left"> <math>~K_c \biggl[\rho_0^{4}\biggl( \frac{\mu_e}{\mu_c} \biggr)^{-6} \theta^{4}_i\biggr]^{1/5} \biggl[ \rho_0 \biggl( \frac{\mu_e}{\mu_c} \biggr) \theta_i \biggr]^{6/5} \phi^{6}</math> </td> </tr> <tr> <td align="right"> </td> <td align="center"> <math>~=</math> </td> <td align="left"> <math>~K_c \rho_0^2 \theta^{2}_i \phi^{6} \, ;</math> </td> </tr> <tr> <td align="right"> <math>~M_r</math> </td> <td align="center"> <math>~=</math> </td> <td align="left"> <math>~4\pi \biggl[ \frac{3K_e}{2\pi G} \biggr]^{3/2} \rho_e^{-1/5} \biggl(-\eta^2 \frac{d\phi}{d\eta} \biggr)</math> </td> </tr> <tr> <td align="right"> </td> <td align="center"> <math>~=</math> </td> <td align="left"> <math>~\biggl[ \frac{3^3 \cdot (2^2\pi)^2}{2^3\pi^3 G^3} \biggr]^{1/2} \biggl[K_c^5 \rho_0^{4}\biggl( \frac{\mu_e}{\mu_c} \biggr)^{-6} \theta^{4}_i\biggr]^{3/10} \biggl[ \rho_0 \biggl( \frac{\mu_e}{\mu_c} \biggr) \theta_i \biggr]^{-1/5} \biggl(-\eta^2 \frac{d\phi}{d\eta} \biggr)</math> </td> </tr> <tr> <td align="right"> </td> <td align="center"> <math>~=</math> </td> <td align="left"> <math>~\biggl[ \frac{2\cdot 3^3 }{\pi G^3} \biggr]^{1/2} K_c^{3/2} \rho_0 \theta_i \biggl( \frac{\mu_e}{\mu_c} \biggr)^{-2} \biggl(-\eta^2 \frac{d\phi}{d\eta} \biggr) \, .</math> </td> </tr> </table> </div>
Summary:
Please note that all contributions to JETohlineWiki may be edited, altered, or removed by other contributors. If you do not want your writing to be edited mercilessly, then do not submit it here.
You are also promising us that you wrote this yourself, or copied it from a public domain or similar free resource (see
JETohlineWiki:Copyrights
for details).
Do not submit copyrighted work without permission!
Cancel
Editing help
(opens in new window)
Navigation menu
Personal tools
Not logged in
Talk
Contributions
Log in
Namespaces
Page
Discussion
English
Views
Read
Edit
View history
More
Search
Navigation
Main page
Tiled Menu
Table of Contents
Old (VisTrails) Cover
Appendices
Variables & Parameters
Key Equations
Special Functions
Permissions
Formats
References
lsuPhys
Ramblings
Uploaded Images
Originals
Recent changes
Random page
Help about MediaWiki
Tools
What links here
Related changes
Special pages
Page information