Difference between revisions of "User:Tohline/SSC/Structure/BiPolytropes/Analytic1 5"

From VistrailsWiki
Jump to navigation Jump to search
m (→‎Step 6: Envelope Solution: Fix error in coefficient of sin(3D) term)
(→‎Step 6: Envelope Solution: Finished commenting on Murphy's (1983) U and V functions)
Line 205: Line 205:
==Step 6:  Envelope Solution==
==Step 6:  Envelope Solution==


Following the work of [http://adsabs.harvard.edu/abs/1983PASAu...5..175M Murphy (1983)] and of [http://adsabs.harvard.edu/abs/1985PASAu...6..219M Murphy &amp; Fiedler (1985a)], we will adopt for the envelope's structure the F-Type solution of the <math>~n=5</math> Lane-Emden function discovered by [http://adsabs.harvard.edu/abs/1962ApJ...136..680S S. Srivastava (1968, ApJ, 136, 680)] and described in an [[User:Tohline/SSC/Structure/Polytropes#Srivastava.27s_F-Type_Solution|accompanying discussion]], namely,
[[File:CommentButton02.png|right|100px|Comment by J. E. Tohline on 20 April 2015:  There is a type-setting error in this function expression as published in the upper left-hand column of the second page of the article by Murphy (1983); the sine function should be sine-squared, as presented here.]]Following the work of [http://adsabs.harvard.edu/abs/1983PASAu...5..175M Murphy (1983)] and of [http://adsabs.harvard.edu/abs/1985PASAu...6..219M Murphy &amp; Fiedler (1985a)], we will adopt for the envelope's structure the F-Type solution of the <math>~n=5</math> Lane-Emden function discovered by [http://adsabs.harvard.edu/abs/1962ApJ...136..680S S. Srivastava (1968, ApJ, 136, 680)] and described in an [[User:Tohline/SSC/Structure/Polytropes#Srivastava.27s_F-Type_Solution|accompanying discussion]], namely,


<div align="center">
<div align="center">
Line 299: Line 299:
   <td align="left">
   <td align="left">
<math>~
<math>~
\frac{-2B^4\sin^5\Delta}{[1+2\cos^2\Delta][3\cos\Delta - \frac{3}{2}\sin\Delta - \frac{1}{2}\sin(3\Delta) ]}
\frac{-2B^4\sin^5\Delta}{[2+\cos(2\Delta)][3\cos\Delta - \frac{3}{2}\sin\Delta - \frac{1}{2}\sin(3\Delta) ]} \, ;
</math>
</math>
   </td>
   </td>
Line 312: Line 312:
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~</math>
<math>~\frac{\eta^{3/2}\{3-2\sin^2\Delta\}^{1/2}} {\sin\Delta}
\frac{[3\sin\Delta - 2\sin^3\Delta -3\cos\Delta ] }{2\eta^{3/2}(3-2\sin^2\Delta)^{3/2}}
</math>
  </td>
</tr>
 
<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~\frac{[3\sin\Delta - 2\sin^3\Delta -3\cos\Delta ] }{2\sin\Delta (3-2\sin^2\Delta)}
</math>
  </td>
</tr>
 
<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~\frac{-[3\cos\Delta - \frac{3}{2}\sin\Delta - \frac{1}{2}\sin(3\Delta)  ] }{2\sin\Delta [2+\cos(2\Delta)]} \, .
</math>
   </td>
   </td>
</tr>
</tr>
Line 318: Line 346:
</div>
</div>


After setting <math>~B = 1</math> and recognizing that <math>~\cos(2\Delta) = \cos(2\ln\eta^{1/2}) = \cos(\ln\eta)\, ,</math> we see that these expressions for the functions, <math>~U_{5F}</math> and <math>~V_{5F}</math>, match the expressions used by [http://adsabs.harvard.edu/abs/1983PASAu...5..175M Murphy (1983)] and reproduced (slightly edited) here as an image, for ease of comparison:
<table border="0" cellpadding="8" align="center">
<tr><td align="center">
[[File:Murphy1983UVfunctions.png|center|700px|U_5F and V_5F Functions by Murphy (1983)]]
</td></tr>
</table>
   </td>
   </td>
</tr>
</tr>

Revision as of 19:36, 20 April 2015

BiPolytrope with <math>n_c = 1</math> and <math>n_e=5</math>

Whitworth's (1981) Isothermal Free-Energy Surface
|   Tiled Menu   |   Tables of Content   |  Banner Video   |  Tohline Home Page   |

Here we construct a bipolytrope in which the core has an <math>~n_c=1</math> polytropic index and the envelope has an <math>~n_e=5</math> polytropic index. As in the case of our separately discussed, "mirror image" bipolytropes having <math>~(n_c, n_e) = (5, 1)</math>, this system is particularly interesting because the entire structure can be described by closed-form, analytic expressions. [On 12 April 2015, J. E. Tohline wrote: I became aware of the published discussions of this system by Murphy — and especially the work of Murphy & Fiedler (1985) — (see itemization of additional key references, below) in March of 2015 after searching the internet for previous analyses of radial oscillations in polytropes and, then, reading through Horedt's (2004) §2.8.1 discussion of composite polytropes.]

Key References

Steps 2 & 3

Based on the discussion presented elsewhere of the structure of an isolated <math>n=1</math> polytrope, the core of this bipolytrope will have the following properties:

<math> \theta(\xi) = \frac{\sin\xi}{\xi} ~~~~\Rightarrow ~~~~ \theta_i = \frac{\sin\xi_i}{\xi_i} ; </math>

<math> \frac{d\theta}{d\xi} = \frac{\cos\xi}{\xi}- \frac{\sin\xi}{\xi^2} ~~~~\Rightarrow ~~~~ \biggl(\frac{d\theta}{d\xi}\biggr)_i = \frac{\cos\xi_i}{\xi_i}- \frac{\sin\xi_i}{\xi_i^2} \, . </math>

The first zero of the function <math>~\theta(\xi)</math> and, hence, the surface of the corresponding isolated <math>~n=1</math> polytrope is located at <math>~\xi_s = \pi</math>. Hence, the interface between the core and the envelope can be positioned anywhere within the range, <math>~0 < \xi_i < \pi</math>.

Step 4: Throughout the core (<math>0 \le \xi \le \xi_i</math>)

Specify: <math>~K_c</math> and <math>~\rho_0 ~\Rightarrow</math>

 

<math>~\rho</math>

<math>~=</math>

<math>\rho_0 \theta^{n_c}</math>

<math>~=</math>

<math>~\rho_0 \biggl( \frac{\sin\xi}{\xi} \biggr)</math>

<math>~P</math>

<math>~=</math>

<math>~K_c \rho_0^{1+1/n_c} \theta^{n_c + 1}</math>

<math>~=</math>

<math>~K_c \rho_0^{2} \biggl( \frac{\sin\xi}{\xi}\biggr)^{2}</math>

<math>~r</math>

<math>~=</math>

<math>~\biggl[ \frac{(n_c + 1)K_c}{4\pi G} \biggr]^{1/2} \rho_0^{(1-n_c)/(2n_c)} \xi</math>

<math>~=</math>

<math>~\biggl[ \frac{K_c}{2\pi G} \biggr]^{1/2} \xi</math>

<math>~M_r</math>

<math>~=</math>

<math>~4\pi \biggl[ \frac{(n_c + 1)K_c}{4\pi G} \biggr]^{3/2} \rho_0^{(3-n_c)/(2n_c)} \biggl(-\xi^2 \frac{d\theta}{d\xi} \biggr)</math>

<math>~=</math>

<math>~4\pi \biggl[ \frac{K_c}{2\pi G} \biggr]^{3/2} \rho_0 \biggl[\sin\xi - \xi \cos\xi \biggr]</math>

Step 5: Interface Conditions

 

Setting <math>~n_c=1</math>, <math>~n_e=5</math>, and <math>~\phi_i = 1 ~~~~\Rightarrow</math>

<math>~\frac{\rho_e}{\rho_0}</math>

<math>~=</math>

<math>~\biggl( \frac{\mu_e}{\mu_c} \biggr) \theta^{n_c}_i \phi_i^{-n_e}</math>

<math>~=</math>

<math>~\biggl( \frac{\mu_e}{\mu_c} \biggr) \theta_i </math>

<math>~\biggl( \frac{K_e}{K_c} \biggr) </math>

<math>~=</math>

<math>~\rho_0^{1/n_c - 1/n_e}\biggl( \frac{\mu_e}{\mu_c} \biggr)^{-(1+1/n_e)} \theta^{1 - n_c/n_e}_i</math>

<math>~=</math>

<math>~\biggl[\rho_0^{4}\biggl( \frac{\mu_e}{\mu_c} \biggr)^{-6} \theta^{4}_i\biggr]^{1/5}</math>

<math>~\frac{\eta_i}{\xi_i}</math>

<math>~=</math>

<math>~\biggl[ \frac{n_c + 1}{n_e+1} \biggr]^{1/2} \biggl( \frac{\mu_e}{\mu_c}\biggr) \theta_i^{(n_c-1)/2} \phi_i^{(1-n_e)/2}</math>

<math>~=</math>

<math>~\biggl( \frac{1}{3} \biggr)^{1/2} \biggl( \frac{\mu_e}{\mu_c}\biggr) </math>

<math>~\biggl( \frac{d\phi}{d\eta} \biggr)_i</math>

<math>~=</math>

<math>~\biggl[ \frac{n_c + 1}{n_e + 1} \biggr]^{1/2} \theta_i^{- (n_c + 1)/2} \phi_i^{(n_e+1)/2} \biggl( \frac{d\theta}{d\xi} \biggr)_i</math>

<math>~=</math>

<math>~\biggl( \frac{1}{3} \biggr)^{1/2} \theta_i^{- 1} \biggl( \frac{d\theta}{d\xi} \biggr)_i</math>

Step 6: Envelope Solution

Comment by J. E. Tohline on 20 April 2015: There is a type-setting error in this function expression as published in the upper left-hand column of the second page of the article by Murphy (1983); the sine function should be sine-squared, as presented here.

Following the work of Murphy (1983) and of Murphy & Fiedler (1985a), we will adopt for the envelope's structure the F-Type solution of the <math>~n=5</math> Lane-Emden function discovered by S. Srivastava (1968, ApJ, 136, 680) and described in an accompanying discussion, namely,

<math>~\phi</math>

<math>~=</math>

<math>~\frac{B\sin[\ln(A\eta)^{1/2})]}{\eta^{1/2}\{3-2\sin^2[\ln(A\eta)^{1/2}]\}^{1/2}} \, ,</math>

specifically over the physically viable interval, <math>~e^{2\pi} \ge A\eta \ge \eta_\mathrm{crit} \equiv e^{2\tan^{-1}(1+2^{1/3})} \, .</math> The first derivative of this function is,

<math>~\frac{d\phi}{d\eta}</math>

<math>~=</math>

<math>~ \frac{B[3\cos\Delta-3\sin\Delta + 2\sin^3\Delta] }{2\eta^{3/2}(3-2\sin^2\Delta)^{3/2}} \, , </math>

where,

<math>~\Delta \equiv \ln(A\eta)^{1/2} = \ln A^{1/2} + \ln\eta^{1/2} \, .</math>

ASIDE: Comments on Presentation by Murphy (1983)

As presented by Murphy (1983), most of the development and analysis of this model was conducted within the framework of what is commonly referred to in the astrophysics community as the "U-V" plane. Specifically in the context of the model's <math>~n=5</math> envelope, this pair of referenced functions are:

<math>~U_{5F} \equiv \eta \phi^5 \biggl(- \frac{d\phi}{d\eta}\biggr)^{-1}</math>

<math>~=</math>

<math>~ \frac{B^4\eta \sin^5\Delta}{\eta^{5/2}\{3-2\sin^2\Delta\}^{5/2}} \biggl[ \frac{2\eta^{3/2}(3-2\sin^2\Delta)^{3/2}}{3\sin\Delta - 2\sin^3\Delta -3\cos\Delta } \biggr] </math>

 

<math>~=</math>

<math>~ \frac{2B^4\sin^5\Delta}{[3-2\sin^2\Delta][3\sin\Delta - 2\sin^3\Delta -3\cos\Delta ]} </math>

 

<math>~=</math>

<math>~ \frac{-2B^4\sin^5\Delta}{[2+\cos(2\Delta)][3\cos\Delta - \frac{3}{2}\sin\Delta - \frac{1}{2}\sin(3\Delta) ]} \, ; </math>

<math>~V_{5F} \equiv \frac{\eta}{ \phi} \biggl(- \frac{d\phi}{d\eta}\biggr)</math>

<math>~=</math>

<math>~\frac{\eta^{3/2}\{3-2\sin^2\Delta\}^{1/2}} {\sin\Delta} \frac{[3\sin\Delta - 2\sin^3\Delta -3\cos\Delta ] }{2\eta^{3/2}(3-2\sin^2\Delta)^{3/2}} </math>

 

<math>~=</math>

<math>~\frac{[3\sin\Delta - 2\sin^3\Delta -3\cos\Delta ] }{2\sin\Delta (3-2\sin^2\Delta)} </math>

 

<math>~=</math>

<math>~\frac{-[3\cos\Delta - \frac{3}{2}\sin\Delta - \frac{1}{2}\sin(3\Delta) ] }{2\sin\Delta [2+\cos(2\Delta)]} \, . </math>

After setting <math>~B = 1</math> and recognizing that <math>~\cos(2\Delta) = \cos(2\ln\eta^{1/2}) = \cos(\ln\eta)\, ,</math> we see that these expressions for the functions, <math>~U_{5F}</math> and <math>~V_{5F}</math>, match the expressions used by Murphy (1983) and reproduced (slightly edited) here as an image, for ease of comparison:

U_5F and V_5F Functions by Murphy (1983)

From Step 5, above, we know the value of the function, <math>~\phi</math> and its first derivative at the interface; specifically,

<math> \phi_i = 1~~~~\mathrm{and} ~~~~\biggl( \frac{d\phi}{d\eta}\biggr)_i =3^{-1/2} \theta_i^{- 1} \biggl( \frac{d\theta}{d\xi} \biggr)_i~~~~ \mathrm{at}~~~~\eta_i =3^{1/2} \xi_i \biggl( \frac{\mu_e}{\mu_c}\biggr) </math>

From this information we can determine the constants <math>~A</math> and <math>~B</math>.

Let's begin by recognizing that the task of solving for <math>~A</math> can be changed to the task of solving for <math>~\Delta_i</math> — that is, solving for <math>~\Delta</math> at the interface — because, given that <math>~\eta_i</math> is known, the determination of <math>~\Delta_i</math> allows us to immediately deduce that,

<math>~A = \eta_i^{-1} e^{2\Delta_i} \, .</math>

Given the values of <math>~\phi_i</math> and <math>~\eta_i</math>, from the definition of Srivastava's function we have,

<math>~B</math>

<math>~=</math>

<math>~\phi_i \eta_i^{1/2} \biggl[ \frac{(3-2\sin^2\Delta_i)^{1/2}}{\sin\Delta_i} \biggr] \, .</math>

Plugging this expression into the expression for the first derivative of Srivastava's function evaluated at the interface gives,

<math>~\frac{2\eta_i}{\phi_i}\biggl(\frac{d\phi}{d\eta}\biggr)_i</math>

<math>~=</math>

<math>~ \biggl[\frac{3\cos\Delta_i-3\sin\Delta_i + 2\sin^3\Delta_i }{(3-2\sin^2\Delta_i)^{3/2}} \biggr] \biggl[ \frac{(3-2\sin^2\Delta_i)^{1/2}}{\sin\Delta_i} \biggr] </math>

 

<math>~=</math>

<math>~ \frac{3\cot\Delta_i-3+ 2\sin^2\Delta_i }{(3-2\sin^2\Delta_i)} \, . </math>

Now, defining the known constant,

<math>~ \kappa_i \equiv - \frac{2\eta_i}{\phi_i}\biggl(\frac{d\phi}{d\eta}\biggr)_i = - \frac{2\theta_i^' \xi_i}{\theta_i} \biggl( \frac{\mu_e}{\mu_c} \biggr) \, ,</math>

where we have inserted the minus sign to ensure that the constant is intrinsically positive, and, as in our separate discussion of the properties of Srivastava's function, adopting the shorthand notation,

<math>~y_i \equiv \tan\Delta_i \, ,</math>

this condition becomes,

<math>~-\kappa_i</math>

<math>~=</math>

<math>~ \frac{3y_i^{-1} -3+ 2y_i^2(1+y_i^2)^{-1} }{3-2y_i^2(1+y_i^2)^{-1}} </math>

 

<math>~=</math>

<math>~ \frac{3(1+y_i^2) -3y_i(1+y_i^2)+ 2y_i^3}{3y_i(1+y_i^2)-2y_i^3} </math>

 

<math>~=</math>

<math>~ \frac{3 - 3y_i +3y_i^2 - y_i^3}{3y_i+y_i^3} </math>

<math>~\Rightarrow~~~~ -\kappa_i(3y_i+y_i^3)</math>

<math>~=</math>

<math>~ 3 - 3y_i +3y_i^2 - y_i^3 </math>

<math>~\Rightarrow~~~~ y_i^3(1-\kappa_i) -3 y_i^2 + 3(1-\kappa_i)y_i -3</math>

<math>~=</math>

<math>~ 0 \, . </math>

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,

<math>~ay^3 + by^2 + cy + d = 0 \, ,</math>

a real root is given by the expression,

<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>

where,

<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>

In our particular case,

<math>~a =(1-\kappa_i)\, ,</math>      <math>~b =-3\, ,</math>      <math>~c = 3(1-\kappa_i) \, ,</math>      and      <math>~d = - 3 \, .</math>

Hence,

<math>~p = \frac{1}{(1-\kappa_i)} \, ,</math>      <math>~r=+1 \, ,</math>      and      <math>~q = p^3 = \frac{1}{(1-\kappa_i)^3} \, ,</math>

which implies that the real root, <math>~y_\mathrm{root}</math>, is given by the expression,

<math>~(1-\kappa_i)y_\mathrm{root}</math>

<math>~=</math>

<math>~ 1 + \{1 + [1 + \kappa_i^3(\kappa_i-2)^3 ]^{1/2} \}^{1/3} + \{1 - [1 + \kappa_i^3(\kappa_i-2)^3 ]^{1/2} \}^{1/3} \, . </math>

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

In summary, then, the two key coefficients for the envelope structure are determined as follows:

  • 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 parameter, <math>~\kappa_i</math> is known via the expression,

<math>~\kappa_i = -\frac{2\theta_i^' \xi_i}{\theta_i} \biggl( \frac{\mu_e}{\mu_c} \biggr) \, .</math>

  • 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 angle,

<math>~\Delta_i = \tan^{-1}(y_\mathrm{root}) \, .</math>

  • In terms of either <math>~\Delta_i</math> or <math>~y_\mathrm{root}</math> (your choice), then,

<math>~A = 3^{-1/2} \xi_i^{-1} \biggl( \frac{\mu_e}{\mu_c}\biggr)^{-1} e^{2\Delta_i} = 3^{-1/2} \xi_i^{-1} \biggl( \frac{\mu_e}{\mu_c}\biggr)^{-1} e^{2\tan^{-1}(y_\mathrm{root})} \, .</math>

  • And, in terms of <math>~y_\mathrm{root}</math>,

<math>~B = 3^{1/4} \xi_i^{1/2} \biggl( \frac{\mu_e}{\mu_c}\biggr)^{1/2} \biggl[ \frac{(3 + y_\mathrm{root}^2)^{1/2}}{y_\mathrm{root}} \biggr] \, .</math>

Related Discussions


Whitworth's (1981) Isothermal Free-Energy Surface

© 2014 - 2021 by Joel E. Tohline
|   H_Book Home   |   YouTube   |
Appendices: | Equations | Variables | References | Ramblings | Images | myphys.lsu | ADS |
Recommended citation:   Tohline, Joel E. (2021), The Structure, Stability, & Dynamics of Self-Gravitating Fluids, a (MediaWiki-based) Vistrails.org publication, https://www.vistrails.org/index.php/User:Tohline/citation