AxisymmetricConfigurations/SolutionStrategies: Difference between revisions

From jetwiki
Jump to navigation Jump to search
Created page with "__FORCETOC__ <!-- __NOTOC__ will force TOC off --> =Axisymmetric Configurations (Solution Strategies)= <!-- Equilibrium, axisymmetric '''structures''' are obtained by searchi..."
 
 
(33 intermediate revisions by the same user not shown)
Line 3: Line 3:
=Axisymmetric Configurations (Solution Strategies)=
=Axisymmetric Configurations (Solution Strategies)=
<!--
<!--
Equilibrium, axisymmetric '''structures''' are obtained by searching for time-independent, steady-state solutions to the [[User:Tohline/AxisymmetricConfigurations/PGE#Axisymmetric_Configurations_.28Part_I.29|identified set of simplified governing equations]].  We begin by writing each governing equation in Eulerian form and setting all partial time-derivatives to zero:
Equilibrium, axisymmetric '''structures''' are obtained by searching for time-independent, steady-state solutions to the [[AxisymmetricConfigurations/PGE#Axisymmetric_Configurations_.28Part_I.29|identified set of simplified governing equations]].  We begin by writing each governing equation in Eulerian form and setting all partial time-derivatives to zero:


<div align="center">
<div align="center">
Line 118: Line 118:
</div>
</div>


As has been outlined in our discussion of [[User:Tohline/SR#Time-Independent_Problems|supplemental relations for time-independent problems]], in the context of this H_Book we will close this set of equations by specifying a structural, barotropic relationship between {{User:Tohline/Math/VAR_Pressure01}} and {{User:Tohline/Math/VAR_Density01}}.  
As has been outlined in our discussion of [[SR#Time-Independent_Problems|supplemental relations for time-independent problems]], in the context of this H_Book we will close this set of equations by specifying a structural, barotropic relationship between {{Math/VAR_Pressure01}} and {{Math/VAR_Density01}}.  


==Solution Strategy==
==Solution Strategy==
Line 124: Line 124:


==Lagrangian versus Eulerian Representation==
==Lagrangian versus Eulerian Representation==
In our overarching specification of the set of [[User:Tohline/PGE#Principal_Governing_Equations|''Principle Governing Equations'']], we have included a,
In our overarching specification of the set of [[PGE#Principal_Governing_Equations|''Principle Governing Equations'']], we have included a,


<div align="center">
<div align="center">
Line 130: Line 130:
of the Euler Equation,
of the Euler Equation,


{{User:Tohline/Math/EQ_Euler01}}
{{Math/EQ_Euler01}}


[<b>[[User:Tohline/Appendix/References#BLRY07|<font color="red">BLRY07</font>]]</b>], p. 13, Eq. (1.55)
[<b>[[Appendix/References#BLRY07|<font color="red">BLRY07</font>]]</b>], p. 13, Eq. (1.55)
</div>
</div>


When seeking a solution to the set of governing equations that describes a steady-state equilibrium configuration &#8212; as has already been suggested in our [[User:Tohline/PGE/Euler#Eulerian_Representation|accompanying discussion of "other forms of the Euler equation"]] &#8212; it is preferable to start from an,
When seeking a solution to the set of governing equations that describes a steady-state equilibrium configuration &#8212; as has already been suggested in our [[PGE/Euler#Eulerian_Representation|accompanying discussion of "other forms of the Euler equation"]] &#8212; it is preferable to start from an,
<div align="center">
<div align="center">
<span id="ConservingMomentum:Eulerian"><font color="#770000">'''Eulerian Representation'''</font></span><br />
<span id="ConservingMomentum:Eulerian"><font color="#770000">'''Eulerian Representation'''</font></span><br />
of the Euler Equation,
of the Euler Equation,


{{User:Tohline/Math/EQ_Euler02}}
{{Math/EQ_Euler02}}
</div>
</div>


Line 160: Line 160:
</table>
</table>


As we also have [[User:Tohline/PGE/Euler#in_terms_of_the_vorticity:|mentioned elsewhere]], by drawing upon a relevant [https://en.wikipedia.org/wiki/Vector_calculus_identities#Dot_product_rule dot product rule vector identity], this expression can be rewritten in terms of the fluid vorticity, <math>~\vec\zeta \equiv \nabla\times\vec{v}</math>, as,
As we also have [[PGE/Euler#in_terms_of_the_vorticity:|mentioned elsewhere]], by drawing upon a relevant [https://en.wikipedia.org/wiki/Vector_calculus_identities#Dot_product_rule dot product rule vector identity], this expression can be rewritten in terms of the fluid vorticity, <math>~\vec\zeta \equiv \nabla\times\vec{v}</math>, as,
<table border="0" cellpadding="5" align="center">
<table border="0" cellpadding="5" align="center">


Line 218: Line 218:
<tr><td align="left">
<tr><td align="left">
<font color="darkgreen">
<font color="darkgreen">
"&hellip; A necessary and sufficient condition for <math>~\dot{\varphi}</math> &hellip; to be independent of <math>~z</math> is that the surfaces of constant pressure coincide with the surfaces of constant density, i.e., that P be a function of &rho; only."</font>  In this case, a centrifugal potential, <math>~\Psi</math>, can be defined &#8212; see the integral expression provided below &#8212; and it "<font color="darkgreen">is also a function of <math>~\rho</math> only &hellip;  When <math>~\Psi</math> exists, the equations of state and of energy conservation may be thought of as determining the form of the P-&rho; relationship. Hence, by prescribing a P-&rho; relationship, one avoids the complications of those further equations.  This effects a major simplification of the formal problem of constructing rotating configurations.  This procedure will, of course, be inadequate for certain objectives &hellip;"
"&hellip; A necessary and sufficient condition for <math>\dot{\varphi}</math> &hellip; to be independent of <math>z</math> is that the surfaces of constant pressure coincide with the surfaces of constant density, i.e., that P be a function of &rho; only."</font>  In this case, a centrifugal potential, <math>\Psi</math>, can be defined &#8212; see the integral expression provided below &#8212; and it "<font color="darkgreen">is also a function of <math>\rho</math> only &hellip;  When <math>\Psi</math> exists, the equations of state and of energy conservation may be thought of as determining the form of the P-&rho; relationship. Hence, by prescribing a P-&rho; relationship, one avoids the complications of those further equations.  This affects a major simplification of the formal problem of constructing rotating configurations.  This procedure will, of course, be inadequate for certain objectives &hellip;"
</font>
</font>
</td></tr>
</td></tr>
<tr><td align="right">
<tr><td align="right">
&#8212; Drawn from [https://ui.adsabs.harvard.edu/abs/1967ARA%26A...5..465L/abstract N. R. Lebovitz (1967)], ARAA, 5, 465
&#8212; Drawn from p. 466 of {{ Lebovitz67_XXXIV }}
</td></tr></table>
</td></tr></table>
===Specifying <math>~\dot\varphi(\varpi)</math> in the Equilibrium Configuration===
===Specifying Radial Rotation Profile in the Equilibrium Configuration===


Equilibrium axisymmetric structures &#8212; that is, solutions to the above set of simplified governing equations &#8212; can be found for specified angular momentum distributions that display a wide range of variations across both of the spatial coordinates, <math>~\varpi</math> and <math>~z</math>.  According to the [[User:Tohline/2DStructure/AxisymmetricInstabilities#Poincar.C3.A9-Wavre_Theorem|Poincar&eacute;-Wavre theorem]], however, the derived structures will be dynamically unstable toward the development shape-distorting, meridional-plane motions unless the angular velocity is uniform on cylinders, that is, unless the angular velocity is independent of <math>~z</math>.  (See the detailed discussion by [<b>[[User:Tohline/Appendix/References#T78|<font color="red">T78</font>]]</b>] &#8212; or our [[User:Tohline/2DStructure/AxisymmetricInstabilities#Axisymmetric_Instabilities_to_Avoid|accompanying, brief summary]] &#8212; of this and other "axisymmetric instabilities to avoid.")  With this in mind, we will focus here on a solution strategy that is designed to construct structures with a
Equilibrium axisymmetric structures &#8212; that is, solutions to the above set of simplified governing equations &#8212; can be found for specified angular momentum distributions that display a wide range of variations across both of the spatial coordinates, <math>~\varpi</math> and <math>~z</math>.  According to the [[2DStructure/AxisymmetricInstabilities#Poincar.C3.A9-Wavre_Theorem|Poincar&eacute;-Wavre theorem]], however, the derived structures will be dynamically unstable toward the development shape-distorting, meridional-plane motions unless the angular velocity is uniform on cylinders, that is, unless the angular velocity is independent of <math>~z</math>.  (See the detailed discussion by [<b>[[Appendix/References#T78|<font color="red">T78</font>]]</b>] &#8212; or our [[2DStructure/AxisymmetricInstabilities#Axisymmetric_Instabilities_to_Avoid|accompanying, brief summary]] &#8212; of this and other "axisymmetric instabilities to avoid.")  With this in mind, we will focus here on a solution strategy that is designed to construct structures with a


<div align="center">
<div align="center">
Line 441: Line 441:
   <td align="left" colspan="7">
   <td align="left" colspan="7">
<sup>f</sup>Maclaurin, C. 1742, ''A Treatise of Fluxions''<br />
<sup>f</sup>Maclaurin, C. 1742, ''A Treatise of Fluxions''<br />
<sup>j</sup>Stoeckly, R. [https://ui.adsabs.harvard.edu/abs/1965ApJ...142..208S/abstract 1965, ApJ, 142, 208 - 228]<br />
<sup>j</sup>{{ Stoeckly65full }}<br />
<sup>k</sup>Ostriker, J. P. &amp; Mark, J. W-K. [https://ui.adsabs.harvard.edu/abs/1973ApJ...180..159B/abstract 1968, ApJ, 151, 1075 - 1088]<br />
<sup>k</sup>{{ OM68full }}<br />
<sup>&#8467;</sup>Bodenheimer, P. &amp; Ostriker, J. P. [https://ui.adsabs.harvard.edu/abs/1973ApJ...180..159B/abstract 1973, ApJ, 180, 159 - 169]<br />
<sup>&#8467;</sup>{{ BO73full }}<br />
<sup>i</sup>Clement, M. J.  [https://ui.adsabs.harvard.edu/abs/1979ApJ...230..230C/abstract 1979, ApJ, 230, 230 - 242]<br />
<sup>i</sup>{{ Clement79full }}<br />
<sup>e</sup>Hayashi, C., Narita, S. &amp; Miyama, S.M. [http://adsabs.harvard.edu/abs/1982PThPh..68.1949H 1982, ''Progress of Theoretical Physics'', 68, 1949-1966]<br />
<sup>e</sup>{{ HNM82full }}<br />
<sup>g</sup>Papaloizou, J.C.B. &amp; Pringle, J.E. [http://adsabs.harvard.edu/abs/1984MNRAS.208..721P 1984, MNRAS, 208, 721-750]<br />
<sup>g</sup>{{ PP84full }}<br />
<sup>a</sup>Hachisu, I. [http://adsabs.harvard.edu/abs/1986ApJS...61..479H 1986, ApJS, 61, 479-507]
<sup>a</sup>{{ Hachisu86afull }} (especially &sect;II.c)<br />
(especially &sect;II.c)<br />
<sup>d</sup>{{ TH90full }}<br />
<sup>d</sup>Tohline, J.E. &amp; Hachisu, I. [http://adsabs.harvard.edu/abs/1990ApJ...361..394T 1990, ApJ, 361, 394-407]<br />
<sup>c</sup>{{ WTH94full }}<br />
<sup>c</sup>Woodward, J.W., Tohline, J.E. &amp; Hachisu, I. [http://adsabs.harvard.edu/abs/1994ApJ...420..247W 1994, ApJ, 420, 247-267]<br />
<sup>m</sup>{{ PDD96full }}<br />
<sup>m</sup>Pickett, B. K., Durisen, R. H. &amp; Davis, G. A. [https://ui.adsabs.harvard.edu/abs/1996ApJ...458..714P/abstract 1996, ApJ, 458, 714 - 738]<br />
<sup>b</sup>{{ OT2006full }} (especially &sect;2.1)<br />
<sup>b</sup>Ou, S. &amp; Tohline, J.E. [http://iopscience.iop.org/0004-637X/651/2/1068/pdf/0004-637X_651_2_1068.pdf 2006, ApJ, 651, 1068-1078]
<sup>h</sup>The [[Appendix/Ramblings/HadleyAndImamuraSupplementaryDatabase#See_Also|Hadley &amp; Imamura collaboration]] (circa 2015) &nbsp;[Note that, as detailed [[Appendix/Ramblings/HadleyAndImamuraSupplementaryDatabase#Simple_Rotation_Profiles|elsewhere]], their definition of the power-law index, <math>q</math>, is different from ours.]
(especially &sect;2.1)<br />
<sup>h</sup>The [[User:Tohline/Appendix/Ramblings/Hadley_and_Imamura_Supplementary_Database#See_Also|Hadley &amp; Imamura collaboration]] (circa 2015) &nbsp;[Note that, as detailed [[User:Tohline/Appendix/Ramblings/Hadley_and_Imamura_Supplementary_Database#Simple_Rotation_Profiles|elsewhere]], their definition of the power-law index, <math>~q</math>, is different from ours.]


   </td>
   </td>
Line 460: Line 458:
</table>
</table>


Note that, while adopting a ''simple rotation'' profile is ''necessary'' in order to ensure that an axisymmetric, barotropic equilibrium configuration is dynamical stability, it is not a ''sufficient'' condition.  For example, the [[User:Tohline/2DStructure/AxisymmetricInstabilities#Solberg.2FRayleigh_Criterion|Solberg/Rayleigh criterion]] further demands that, for homentropic systems, the specific angular momentum, <math>~j</math>, must be an increasing function of the radial coordinate, <math>~\varpi</math>.  It is not surprising, therefore, that the above table of example ''simple rotation'' profiles does not include references to published investigations in which the power-law index, <math>~q</math>, is negative.
Note that, while adopting a ''simple rotation'' profile is ''necessary'' in order to ensure that an axisymmetric, barotropic equilibrium configuration is dynamical stability, it is not a ''sufficient'' condition.  For example, the [[2DStructure/AxisymmetricInstabilities#Solberg.2FRayleigh_Criterion|Solberg/Rayleigh criterion]] further demands that, for homentropic systems, the specific angular momentum, <math>~j</math>, must be an increasing function of the radial coordinate, <math>~\varpi</math>.  It is not surprising, therefore, that the above table of example ''simple rotation'' profiles does not include references to published investigations in which the power-law index, <math>~q</math>, is negative.


<table border="0" cellpadding="3" align="center" width="60%">
<table border="0" cellpadding="3" align="center" width="60%">
<tr><td align="left">
<tr><td align="left">
<font color="darkgreen">
<font color="darkgreen">
"In order to prevent the [[User:Tohline/2DStructure/AxisymmetricInstabilities#Rayleigh-Taylor_Instability|Rayleigh-Taylor]] instability &hellip; which arises from an adverse distribution of angular momentum</font> &#8212; or, more generally, in order to satisfy the [[User:Tohline/2DStructure/AxisymmetricInstabilities#Solberg.2FRayleigh_Criterion|Solberg/Rayleigh criterion]] &#8212;<font color="darkgreen"> <math>~j</math> must be a monotonically increasing function of <math>~m</math>.  Aside from this restriction, <math>~j(m)</math> is free to be any well-behaved function which we may plausibly expect to have been estabilshed over the history of the star."
"In order to prevent the [[2DStructure/AxisymmetricInstabilities#Rayleigh-Taylor_Instability|Rayleigh-Taylor]] instability &hellip; which arises from an adverse distribution of angular momentum</font> &#8212; or, more generally, in order to satisfy the [[2DStructure/AxisymmetricInstabilities#Solberg.2FRayleigh_Criterion|Solberg/Rayleigh criterion]] &#8212;<font color="darkgreen"> <math>~j</math> must be a monotonically increasing function of <math>~m</math>.  Aside from this restriction, <math>~j(m)</math> is free to be any well-behaved function which we may plausibly expect to have been estabilshed over the history of the star."
</font>
</font>
</td></tr>
</td></tr>
<tr><td align="right">
<tr><td align="right">
&#8212; Drawn from [https://ui.adsabs.harvard.edu/abs/1968ApJ...151.1075O/abstract J. P. Ostriker &amp; J. W.-K Mark (1968)], ApJ, 151, 1084  
&#8212; Drawn from p. 1084 of {{ OM68 }}
</td></tr></table>
</td></tr></table>


===Prescribing <math>~\dot\varphi(m_\varpi)</math> Based on an Initially ''Non-Equilibrium'' Spherical Configuration===
===Prescribing Mass-Dependent Rotation Profile Based on an Initial Spherical Configuration===


Each of the ''simple rotation profiles'' listed in Table 1 has been defined by specifying the radial distribution of the specific angular momentum, <math>~j(\varpi)</math>, ''in the rotationally flattened equilibrium configuration.''  Here we follow the lead of [http://adsabs.harvard.edu/abs/1965ApJ...142..208S Stoeckly's (1965)] and of [http://adsabs.harvard.edu/abs/1973ApJ...180..159B Bodenheimer &amp; Ostriker (1973)] and, instead, present rotation profiles that are defined by specifying the function, <math>~j(m_\varpi)</math>, where <math>~m_\varpi</math> is a function describing how the fractional mass enclosed inside <math>~\varpi</math> varies with <math>~\varpi</math>.
Each of the ''simple rotation profiles'' listed in Table 1 has been defined by specifying the radial distribution of the specific angular momentum, <math>j(\varpi)</math>, ''in the rotationally flattened equilibrium configuration.''  Here we follow the lead of {{ Stoeckly65full }}, of {{ BO73full }} and of {{ MPT77full }} and, instead, present rotation profiles that are defined by specifying the function, <math>j(m_\varpi)</math>, where <math>m_\varpi</math> is a function describing how the fractional mass enclosed inside <math>\varpi</math> varies with <math>\varpi</math>.


To better clarify what is meant by the function, <math>~m_\varpi</math>, consider a configuration (not necessarily in equilibrium) that is spherically symmetric and that exhibits an &#8212; as yet unspecified &#8212; mass-density profile, <math>~\rho(r)</math>.  The [[User:Tohline/SphericallySymmetricConfigurations/SolutionStrategies#Solution_Strategies|mass enclosed within each spherical radius]] is,
To better clarify what is meant by the function, <math>m_\varpi</math>, consider a configuration (not necessarily in equilibrium) that is spherically symmetric and that exhibits an &#8212; as yet unspecified &#8212; mass-density profile, <math>\rho(r)</math>.  The [[SSCpt2/SolutionStrategies#Solution_Strategies|mass enclosed within each spherical radius]] is,
<div align="center">
<div align="center">
<math>~M_r = \int_0^r 4\pi r^2 \rho( r ) dr \, ,</math>
<math>M_r = \int_0^r 4\pi r^2 \rho( r ) dr \, ,</math>
</div>
</div>
and, if the radius of the configuration is <math>~R</math>, then the configuration's total mass is,
and, if the radius of the configuration is <math>R</math>, then the configuration's total mass is,
<div align="center">
<div align="center">
<math>~M = \int_0^R 4\pi r^2 \rho( r ) dr \, .</math>
<math>M = \int_0^R 4\pi r^2 \rho( r ) dr \, .</math>
</div>
</div>


In contrast, the mass enclosed within each ''cylindrical'' radius, <math>~\varpi</math>, is
In contrast, the mass enclosed within each ''cylindrical'' radius, <math>\varpi</math>, is
<div align="center">
<div align="center">
<math>~M_\varpi = 2\pi \int_0^\varpi \varpi d\varpi \int_0^{\sqrt{R^2 - \varpi^2}} \rho( r ) 2dz \, ,</math>
<math>M_\varpi = 2\pi \int_0^\varpi \varpi d\varpi \int_0^{\sqrt{R^2 - \varpi^2}} \rho( r ) 2dz \, ,</math>
</div>
</div>
where it is understood that the argument of the density function is, <math>~r = \sqrt{\varpi^2 + z^2} </math>.   
where it is understood that the argument of the density function is, <math>r = \sqrt{\varpi^2 + z^2} </math>.   


'''Example #1''':  If the configuration has a uniform density, <math>~\rho_0</math>, then its total mass is, <math>~M = 4\pi \rho_0 R^3/3</math>, and
<span id="Example1">'''Example #1''':</span> If the configuration has a uniform density, <math>\rho_0</math>, then its total mass is, <math>M = 4\pi \rho_0 R^3/3</math>, and


<div align="center">
<div align="center">
Line 498: Line 496:
<tr>
<tr>
   <td align="right">
   <td align="right">
<math>~M_\varpi</math>
<math>M_\varpi</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~=</math>
<math>=</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~
<math>
4\pi \rho_0 \int_0^\varpi \varpi [R^2 - \varpi^2]^{1 / 2}d\varpi  
4\pi \rho_0 \int_0^\varpi \varpi [R^2 - \varpi^2]^{1 / 2}d\varpi  
</math>
</math>
Line 515: Line 513:
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~=</math>
<math>=</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~
<math>
\frac{4\pi}{3} \rho_0 \biggl[R^3 - (R^2 - \varpi^2)^{3 / 2} \biggr]
\frac{4\pi}{3} \rho_0 \biggl[R^3 - (R^2 - \varpi^2)^{3 / 2} \biggr]
</math>
</math>
Line 529: Line 527:
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~=</math>
<math>=</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~M -
<math>M -
\frac{4\pi}{3} \rho_0 \biggl[(R^2 - \varpi^2)^{3 / 2} \biggr]
\frac{4\pi}{3} \rho_0 \biggl[(R^2 - \varpi^2)^{3 / 2} \biggr]
</math>
</math>
Line 540: Line 538:
<tr>
<tr>
   <td align="right">
   <td align="right">
<math>~\Rightarrow ~~~m_\varpi \equiv \frac{M_\varpi}{M}</math>
<math>\Rightarrow ~~~m_\varpi \equiv \frac{M_\varpi}{M}</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~=</math>
<math>=</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~1 -
<math>1 -
\biggl[1 - \frac{\varpi^2}{R^2}\biggr]^{3 / 2} \, .
\biggl[1 - \frac{\varpi^2}{R^2}\biggr]^{3 / 2} \, .
</math>
</math>
Line 560: Line 558:
<tr>
<tr>
   <td align="right">
   <td align="right">
<math>~\rho(r)</math>
<math>\rho(r)</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~=</math>
<math>=</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~\rho_0 \biggl[\frac{\sin (\pi r/R)}{\pi r/R}  \biggr] \, ,</math>
<math>\rho_0 \biggl[\frac{\sin (\pi r/R)}{\pi r/R}  \biggr] \, ,</math>
   </td>
   </td>
</tr>
</tr>
Line 572: Line 570:
</div>
</div>


then [[User:Tohline/SSC/Structure/Polytropes#n_.3D_1_Polytrope|its total mass]] is, <math>~M = 4 \rho_0 R^3/\pi</math>, and
then [[SSC/Structure/Polytropes#n_.3D_1_Polytrope|its total mass]] is, <math>M = 4 \rho_0 R^3/\pi</math>, and


<div align="center">
<div align="center">
Line 579: Line 577:
<tr>
<tr>
   <td align="right">
   <td align="right">
<math>~M_\varpi</math>
<math>M_\varpi</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~=</math>
<math>=</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~
<math>
4\pi \rho_0\int_0^\varpi \varpi d\varpi \int_0^{\sqrt{R^2 - \varpi^2}}  
4\pi \rho_0\int_0^\varpi \varpi d\varpi \int_0^{\sqrt{R^2 - \varpi^2}}  
\biggl\{ \frac{\sin (\pi \sqrt{\varpi^2 + z^2} /R)}{\pi \sqrt{\varpi^2 + z^2} /R}  \biggr\} dz
\biggl\{ \frac{\sin (\pi \sqrt{\varpi^2 + z^2} /R)}{\pi \sqrt{\varpi^2 + z^2} /R}  \biggr\} dz
Line 597: Line 595:
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~=</math>
<math>=</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~
<math>
4 \rho_0 R^3\int_0^\chi \chi d\chi \int_0^{\sqrt{1 - \chi^2}}  
4 \rho_0 R^3\int_0^\chi \chi d\chi \int_0^{\sqrt{1 - \chi^2}}  
\biggl\{ \frac{\sin (\pi \sqrt{\chi^2 + \zeta^2} )}{\sqrt{\chi^2 + \zeta^2}}  \biggr\} d\zeta
\biggl\{ \frac{\sin (\pi \sqrt{\chi^2 + \zeta^2} )}{\sqrt{\chi^2 + \zeta^2}}  \biggr\} d\zeta
Line 608: Line 606:
</table>
</table>
</div>
</div>


<div align="center">
<div align="center">
Line 615: Line 612:
<tr>
<tr>
   <td align="right">
   <td align="right">
<math>~M_\varpi</math>
<math>M_\varpi</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~=</math>
<math>=</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~
<math>
4\pi \rho_0 \biggl\{ \int_{\sqrt{R^2 - \varpi^2}}^R dz  
4\pi \rho_0 \biggl\{ \int_{\sqrt{R^2 - \varpi^2}}^R dz  
\int_0^\sqrt{R^2-z^2} \biggl[ \frac{\sin (\pi \sqrt{\varpi^2 + z^2} /R)}{\pi \sqrt{\varpi^2 + z^2} /R}  \biggr] \varpi d\varpi
\int_0^\sqrt{R^2-z^2} \biggl[ \frac{\sin (\pi \sqrt{\varpi^2 + z^2} /R)}{\pi \sqrt{\varpi^2 + z^2} /R}  \biggr] \varpi d\varpi
Line 636: Line 633:
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~=</math>
<math>=</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~
<math>
4 \rho_0 R^3 \biggl\{ \int_{\sqrt{1 - \chi^2}}^1 d\zeta  
4 \rho_0 R^3 \biggl\{ \int_{\sqrt{1 - \chi^2}}^1 d\zeta  
\int_0^\sqrt{1-\zeta^2} \biggl[ \frac{\sin (\pi \sqrt{\chi^2 + \zeta^2})}{ \sqrt{\chi^2 + \zeta^2}}  \biggr] \chi d\chi
\int_0^\sqrt{1-\zeta^2} \biggl[ \frac{\sin (\pi \sqrt{\chi^2 + \zeta^2})}{ \sqrt{\chi^2 + \zeta^2}}  \biggr] \chi d\chi
Line 654: Line 651:
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~=</math>
<math>=</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~
<math>
4 \rho_0 R^3 \biggl\{ \int_{\sqrt{1 - \chi^2}}^1  
4 \rho_0 R^3 \biggl\{ \int_{\sqrt{1 - \chi^2}}^1  
\biggl[  - \frac{ \cos(\pi\sqrt{\zeta^2 + \chi^2})}{\pi}    \biggr]_0^\sqrt{1-\zeta^2} d\zeta
\biggl[  - \frac{ \cos(\pi\sqrt{\zeta^2 + \chi^2})}{\pi}    \biggr]_0^\sqrt{1-\zeta^2} d\zeta
Line 672: Line 669:
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~=</math>
<math>=</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~
<math>
\frac{4 \rho_0 R^3}{\pi} \biggl\{ \int_{\sqrt{1 - \chi^2}}^1  
\frac{4 \rho_0 R^3}{\pi} \biggl\{ \int_{\sqrt{1 - \chi^2}}^1  
\biggl[  - \cos(\pi) + \cos(\pi\zeta)  \biggr] d\zeta
\biggl[  - \cos(\pi) + \cos(\pi\zeta)  \biggr] d\zeta
Line 690: Line 687:
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~=</math>
<math>=</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~
<math>
\frac{4 \rho_0 R^3}{\pi} \biggl\{ \int_{\sqrt{1 - \chi^2}}^1 d\zeta
\frac{4 \rho_0 R^3}{\pi} \biggl\{ \int_{\sqrt{1 - \chi^2}}^1 d\zeta
+  \int_0^1 \cos(\pi\zeta)  d\zeta
+  \int_0^1 \cos(\pi\zeta)  d\zeta
Line 708: Line 705:
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~=</math>
<math>=</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~
<math>
\frac{4 \rho_0 R^3}{\pi} \biggl\{ \biggl[ z \biggr]_{\sqrt{1 - \chi^2}}^1
\frac{4 \rho_0 R^3}{\pi} \biggl\{ \biggl[ z \biggr]_{\sqrt{1 - \chi^2}}^1
+  \frac{1}{\pi} \int_0^\pi \cos(u)  du
+  \frac{1}{\pi} \int_0^\pi \cos(u)  du
Line 725: Line 722:
====Uniform-Density Initially (n' = 0)====
====Uniform-Density Initially (n' = 0)====


Drawing directly from &sect;IIc of [http://adsabs.harvard.edu/abs/1965ApJ...142..208S Stoeckly's (1965)] work, <font color="orange">&hellip; consider a large, gaseous mass, initially a homogeneous sphere of mass <math>~M</math> and angular momentum <math>~J</math> rotating as a solid body, and suppose it contracts in such a way that cylindrical surfaces remain cylindrical and each such surface retains its angular momentum.  Let <math>~\rho_0</math>, <math>~R_0</math>, and <math>~\dot\varphi_0</math> denote the initial density, radius, and angular velocity of the</font> [initially unstable configuration]<font color="orange">, <math>~\varpi_0(\varpi)</math> the initial radius of the surface now at radius <math>~\varpi</math>, and <math>~M_\varpi(\varpi)</math> the mass inside this surface.  The conditions on the contraction are then</font>
Drawing directly from &sect;IIc of {{ Stoeckly65 }}, <font color="orange">&hellip; consider a large, gaseous mass, initially a homogeneous sphere of mass <math>M</math> and angular momentum <math>J</math> rotating as a solid body, and suppose it contracts in such a way that cylindrical surfaces remain cylindrical and each such surface retains its angular momentum.  Let <math>\rho_0</math>, <math>R_0</math>, and <math>\dot\varphi_0</math> denote the initial density, radius, and angular velocity of the</font> [initially unstable configuration]<font color="orange">, <math>\varpi_0(\varpi)</math> the initial radius of the surface now at radius <math>\varpi</math>, and <math>M_\varpi(\varpi)</math> the mass inside this surface.  The conditions on the contraction are then</font>
<div align="center">
<div align="center">
<table border="0" cellpadding="5" align="center">
<table border="0" cellpadding="5" align="center">
Line 731: Line 728:
<tr>
<tr>
   <td align="right">
   <td align="right">
<math>~M - M_\varpi(\varpi)</math>
<math>M - M_\varpi(\varpi)</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~=</math>
<math>=</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~
<math>
4\pi \rho_0 \int_{\varpi_0(\varpi)}^{R_0} \biggl[ \biggl(R_0^2 - (\varpi_0^')^2\biggr) \biggr]^{1 / 2} \varpi_0^' d\varpi_0^' \, ,
4\pi \rho_0 \int_{\varpi_0(\varpi)}^{R_0} \biggl[ \biggl(R_0^2 - (\varpi_0^')^2\biggr) \biggr]^{1 / 2} \varpi_0^' d\varpi_0^' \, ,
</math>
</math>
Line 750: Line 747:
<tr>
<tr>
   <td align="right">
   <td align="right">
<math>~\dot\varphi(\varpi) \varpi^2</math>
<math>\dot\varphi(\varpi) \varpi^2</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~=</math>
<math>=</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~\dot\varphi_0 [\varpi_0(\varpi)]^2 \, .</math>
<math>\dot\varphi_0 [\varpi_0(\varpi)]^2 \, .</math>
   </td>
   </td>
</tr>
</tr>
</table>
</table>
</div>
</div>
<font color="orange">By integrating, eliminating <math>~\varpi_0(\varpi)</math> between these equations, and eliminating <math>~\rho_0</math>, <math>~R_0</math>, and <math>~\dot\varphi_0</math> in favor of <math>~M</math> and <math>~J</math>, one finds the relation of <math>~\dot\varphi(\varpi)</math> to the mass distribution to be</font>
<font color="orange">By integrating, eliminating <math>\varpi_0(\varpi)</math> between these equations, and eliminating <math>\rho_0</math>, <math>R_0</math>, and <math>\dot\varphi_0</math> in favor of <math>M</math> and <math>J</math>, one finds the relation of <math>\dot\varphi(\varpi)</math> to the mass distribution to be</font>
<div align="center">
<div align="center">
<table border="0" cellpadding="5" align="center">
<table border="0" cellpadding="5" align="center">
Line 767: Line 764:
<tr>
<tr>
   <td align="right">
   <td align="right">
<math>~\dot\varphi(\varpi)</math>
<math>\dot\varphi(\varpi)</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~=</math>
<math>=</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~
<math>
\frac{5J}{2M\varpi^2}\biggl\{ 1 - [1 - m(\varpi) ]^{2 / 3} \biggr\} \, ,
\frac{5J}{2M\varpi^2}\biggl\{ 1 - [1 - m(\varpi) ]^{2 / 3} \biggr\} \, ,
</math>
</math>
Line 780: Line 777:
<tr>
<tr>
   <td align="center" colspan="3">
   <td align="center" colspan="3">
[https://ui.adsabs.harvard.edu/abs/1965ApJ...142..208S/abstract Stoeckly (1965)], &sect;II.c, eq. (12)
{{ Stoeckly65 }}, &sect;II.c, eq. (12)
   </td>
   </td>
</tr>
</tr>
Line 787: Line 784:
where, the mass fraction,
where, the mass fraction,
<div align="center">
<div align="center">
<math>~m(\varpi) \equiv \frac{M_\varpi(\varpi)}{M} \, .</math>
<math>m(\varpi) \equiv \frac{M_\varpi(\varpi)}{M} \, .</math>
</div>
</div>


This is equation (12) of [http://adsabs.harvard.edu/abs/1965ApJ...142..208S Stoeckly (1965)]; it also appears, for example, as equation (45) in [http://adsabs.harvard.edu/abs/1968ApJ...151.1075O Ostriker &amp; Mark (1968)], as equation (12) in [http://adsabs.harvard.edu/abs/1970ApJ...161.1101B Bodenheimer &amp; Ostriker (1970)], and in the sentence that follows equation (3) in [http://adsabs.harvard.edu/abs/1973ApJ...180..159B Bodenheimer &amp; Ostriker (1973)].  As Stoeckly points out, the angular momentum distribution implied by this functional form of <math>~\dot\varphi</math> satisfies the [[User:Tohline/2DStructure/AxisymmetricInstabilities#Solberg.2FRayleigh_Criterion|Solberg/Rayleigh stability criterion]] &#8212; that is,
As noted, this is equation (12) of {{ Stoeckly65 }}; it also appears, for example, as equation (45) in {{ OM68 }}, as equation (12) in {{ BO70full }}, and in the sentence that follows equation (3) in {{ BO73 }}.  As Stoeckly points out, the angular momentum distribution implied by this functional form of <math>~\dot\varphi</math> satisfies the [[2DStructure/AxisymmetricInstabilities#Solberg.2FRayleigh_Criterion|Solberg/Rayleigh stability criterion]] &#8212; that is,
<div align="center">
<div align="center">
<math>~\frac{dj^2}{d\varpi} > 0 </math>
<math>\frac{dj^2}{d\varpi} > 0 </math>
</div>
</div>
&#8212; initially, and also in the final equilibrium configuration because every cylindrical surface conserves specific angular momentum and the surfaces do not reorder themselves.
&#8212; initially, and also in the final equilibrium configuration because every cylindrical surface conserves specific angular momentum and the surfaces do not reorder themselves.


====Centrally Condensed Initially (n' > 0)====
<table border="1" width="80%" align="center" cellpadding="5"><tr><td align="left">
 
We should be able to obtain the identical result by extending [[#Example1|Example 1]] above. Attaching the subscript "0" to <math>\varpi</math> in order to acknowledge that, here, the initial configuration is a uniform-density sphere (n' = 0), our derivation gives,
<!--
<table border="0" align="center" cellpadding="5">
Here, following [http://adsabs.harvard.edu/abs/1973ApJ...180..159B Bodenheimer &amp; Ostriker (1973)], we introduce an approach to specifying a wider range of physically reasonable angular momentum distributions; text that appears in an dark green font has been taken ''verbatim'' from this foundational paper.
-->
In &sect;III.d (pp. 1084 - 1086) of [https://ui.adsabs.harvard.edu/abs/1968ApJ...151.1075O/abstract Ostriker &amp; Mark (1968)], we find the following relations:
<table border="0" cellpadding="5" align="center">
 
<tr>
<tr>
   <td align="right">
   <td align="right">
<math>~h(m) \equiv \biggl[\frac{M}{J}\biggr] j(m)</math>
<math>m_\varpi \equiv \frac{M_\varpi}{M}</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~=</math>
<math>=</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~
<math>1 -
a_1 + a_2(1-m)^{\alpha_2} + a_3(1-m)^{\alpha_3} \, ,
\biggl[1 - \frac{\varpi_0^2}{R^2}\biggr]^{3 / 2} \, ,
</math>
</math>
  </td>
</tr>
<tr>
  <td align="center" colspan="3">
[https://ui.adsabs.harvard.edu/abs/1973ApJ...180..159B/abstract Ostriker &amp; Mark (1968)], &sect;III.d, Eq. (50)<br />
[https://ui.adsabs.harvard.edu/abs/1968ApJ...151.1089O/abstract Ostriker &amp; Bodenheimer (1968)], p. 1090, Eq. (6)<br />
[https://ui.adsabs.harvard.edu/abs/1973ApJ...180..159B/abstract Bodenheimer &amp; Ostriker (1973)], &sect;II, Eq. (4)<br />
[https://ui.adsabs.harvard.edu/abs/1996ApJ...458..714P/abstract Pickett, Durisen &amp; Davis (1996)], &sect;2.1, Figure 1
   </td>
   </td>
</tr>
</tr>
</table>
</table>
where,
from which we see that,
<table border="0" cellpadding="5" align="center">
<table border="0" align="center" cellpadding="5">
 
<tr>
<tr>
   <td align="right">
   <td align="right">
<math>~\frac{1}{\alpha_2} = q_1</math>
<math>\frac{\varpi_0^2}{R^2}</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~\equiv</math>
<math>=</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~
<math>
\frac{2\beta - \alpha \beta(2n+5)}{\alpha \beta(2n+5) - (2n + 3)} \, ,
1 - \biggl[1 - m_\varpi \biggr]^{2 / 3} \, .
</math>
</math>
   </td>
   </td>
  <td align="center">&nbsp; &nbsp; &nbsp;</td>
</tr>
</table>
Now, the total angular momentum, <math>J</math>, of this initial configuration &#8212; a uniformly rotating <math>(\dot\varphi_0)</math>, uniform-density sphere &#8212; is,
<table border="0" align="center" cellpadding="5">
 
<tr>
   <td align="right">
   <td align="right">
<math>~\frac{1}{\alpha_3} = q_2</math>
<math>J = I{\dot\varphi}_0</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~\equiv</math>
<math>=</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~
<math>
\frac{2n+3}{2} \, ,
\frac{2}{5}MR^2{\dot\varphi}_0
</math>
</math>
   </td>
   </td>
  <td align="center" colspan="4">&nbsp;</td>
</tr>
</tr>


<tr>
<tr>
   <td align="right">
   <td align="right">
<math>~b_1</math>
<math>\Rightarrow ~~~ {\dot\varphi}_0</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~\equiv</math>
<math>=</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~
<math>
\frac{\alpha (q_2 + 1) - 1}{\alpha (q_2 - q_1)} \, ,
\frac{5J}{2MR^2} \, ,
</math>
</math>
   </td>
   </td>
  <td align="center">&nbsp; &nbsp; &nbsp;</td>
</tr>
</table>
in which case, the specific angular momentum of each fluid element &#8212; which is conserved as the configuration contracts or expands &#8212; is given by the expression,
<table border="0" align="center" cellpadding="5">
 
<tr>
   <td align="right">
   <td align="right">
<math>~b_2</math>
<math>\dot\varphi \varpi^2 = {\dot\varphi}_0 \varpi_0^2</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~\equiv</math>
<math>=</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~
<math>
\frac{ 1 - \alpha (q_1+1)}{\alpha (q_2 - q_1)} \, ,
\frac{5J}{2MR^2} \cdot \varpi_0^2
</math>
</math>
   </td>
   </td>
  <td align="center" colspan="4">&nbsp;</td>
</tr>
</tr>


<tr>
<tr>
   <td align="right">
   <td align="right">
<math>~a_1</math>
&nbsp;
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~\equiv</math>
<math>=</math>
   </td>
  </td>
   <td align="left">
  <td align="left">
<math>~
<math>
b_1(q_1+1) + b_2(q_2+1) \, ,
\frac{5J}{2M} \biggl\{ 1 - \biggl[1 - m_\varpi \biggr]^{2 / 3}\biggr\} \, .
</math>
</math>
   </td>
  </td>
   <td align="center">&nbsp; &nbsp; &nbsp;</td>
</tr>
   <td align="right">
</table>
<math>~a_2</math>
Q.E.D.
   </td>
</td></tr></table>
   <td align="center">
 
<math>~\equiv</math>
Now, just as the fraction of the configuration's mass that lies ''interior to'' radial position, <math>\varpi</math>, is detailed by the function, <math>m_\varpi</math>, let's use <math>\ell_\varpi</math> to detail what fraction of the configuration's angular momentum lies ''interior to'' <math>m_\varpi</math>.  We have,
   </td>
<table border="0" align="center" cellpadding="5">
   <td align="left">
 
<math>~
<tr>
-b_1(q_1+1) \, ,
  <td align="right">
</math>
<math>J \ell_\varpi</math>
   </td>
  </td>
   <td align="center">&nbsp; &nbsp; &nbsp;</td>
  <td align="center">
   <td align="right">
<math>=</math>
<math>~a_3</math>
  </td>
   </td>
  <td align="left">
   <td align="center">
<math>
<math>~\equiv</math>
\int_0^{m_\varpi} (\dot\varphi \varpi^2) M \cdot dm_\varpi
   </td>
</math>
   <td align="left">
  </td>
<math>~
</tr>
 
<tr>
  <td align="right">
<math>\Rightarrow ~~~ \ell_\varpi</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
\frac{5}{2} \int_0^{m_\varpi} \biggl\{ 1 - \biggl[1 - m_\varpi \biggr]^{2 / 3}\biggr\} dm_\varpi
</math>
  </td>
</tr>
 
<tr>
  <td align="right">
<math>\Rightarrow ~~~ \frac{2}{5} \cdot \ell_\varpi</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
\int_0^{m_\varpi} dm_\varpi
-
\int_0^{m_\varpi} \biggl[1 - m_\varpi \biggr]^{2 / 3}dm_\varpi
</math>
  </td>
</tr>
 
<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
m_\varpi
+
\biggl[
\frac{3}{5}\biggl(1 - m_\varpi\biggr)^{5/3}
\biggr]_0^{m_\varpi}
</math>
  </td>
</tr>
 
<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
m_\varpi
+
\frac{3}{5}\biggl(1 - m_\varpi\biggr)^{5/3}
-\frac{3}{5}
</math>
  </td>
</tr>
 
<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
-\biggl(1 - m_\varpi\biggr)
+
\frac{3}{5}\biggl(1 - m_\varpi\biggr)^{5/3}
+ \biggl(1-\frac{3}{5}\biggr)
</math>
  </td>
</tr>
 
<tr>
  <td align="right">
<math>\Rightarrow \ell_\varpi</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
1 - \frac{5}{2}\biggl(1 - m_\varpi\biggr)
+
\frac{3}{2}\biggl(1 - m_\varpi\biggr)^{5/3} \, .
</math>
  </td>
</tr>
<tr>
  <td align="center" colspan="3">
{{ MPT77 }}, &sect;IV.a, eq. (4.3)
  </td>
</tr>
</table>
 
====Centrally Condensed Initially (n' > 0)====
 
<!--
Here, following [http://adsabs.harvard.edu/abs/1973ApJ...180..159B Bodenheimer &amp; Ostriker (1973)], we introduce an approach to specifying a wider range of physically reasonable angular momentum distributions; text that appears in an dark green font has been taken ''verbatim'' from this foundational paper.
-->
In &sect;III.d (pp. 1084 - 1086) of {{ OM68 }}, we find the following relations:
<table border="0" cellpadding="5" align="center">
 
<tr>
  <td align="right">
<math>h(m) \equiv \biggl[\frac{M}{J}\biggr] j(m)</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
a_1 + a_2(1-m)^{\alpha_2} + a_3(1-m)^{\alpha_3} \, ,
</math>
  </td>
</tr>
<tr>
  <td align="center" colspan="3">
{{ OM68 }}, &sect;III.d, Eq. (50)<br />
{{ OB68 }}, p. 1090, Eq. (6)<br />
{{ BO73 }}, &sect;II, Eq. (4)<br />
[<b>[[Appendix/References#T78|<font color="red">T78</font>]]</b>], &sect;10.4 (p. 254), Eq. (44)<br />
{{ PDD96 }}, &sect;2.1, Figure 1
  </td>
</tr>
</table>
where,
<table border="0" cellpadding="5" align="center">
 
<tr>
  <td align="right">
<math>\frac{1}{\alpha_2} = q_1</math>
  </td>
  <td align="center">
<math>\equiv</math>
  </td>
  <td align="left">
<math>
\frac{2\beta - \alpha \beta(2n+5)}{\alpha \beta(2n+5) - (2n + 3)} \, ,
</math>
  </td>
  <td align="center">&nbsp; &nbsp; &nbsp;</td>
  <td align="right">
<math>\frac{1}{\alpha_3} = q_2</math>
  </td>
  <td align="center">
<math>\equiv</math>
  </td>
  <td align="left">
<math>
\frac{2n+3}{2} \, ,
</math>
  </td>
  <td align="center" colspan="4">&nbsp;</td>
</tr>
 
<tr>
  <td align="right">
<math>b_1</math>
  </td>
  <td align="center">
<math>\equiv</math>
  </td>
  <td align="left">
<math>
\frac{\alpha (q_2 + 1) - 1}{\alpha (q_2 - q_1)} \, ,
</math>
  </td>
  <td align="center">&nbsp; &nbsp; &nbsp;</td>
  <td align="right">
<math>b_2</math>
  </td>
  <td align="center">
<math>\equiv</math>
  </td>
  <td align="left">
<math>
\frac{ 1 - \alpha (q_1+1)}{\alpha (q_2 - q_1)} \, ,
</math>
  </td>
  <td align="center" colspan="4">&nbsp;</td>
</tr>
 
<tr>
  <td align="right">
<math>a_1</math>
  </td>
  <td align="center">
<math>\equiv</math>
   </td>
   <td align="left">
<math>
b_1(q_1+1) + b_2(q_2+1) \, ,
</math>
   </td>
   <td align="center">&nbsp; &nbsp; &nbsp;</td>
   <td align="right">
<math>a_2</math>
   </td>
   <td align="center">
<math>\equiv</math>
   </td>
   <td align="left">
<math>
-b_1(q_1+1) \, ,
</math>
   </td>
   <td align="center">&nbsp; &nbsp; &nbsp;</td>
   <td align="right">
<math>a_3</math>
   </td>
   <td align="center">
<math>\equiv</math>
   </td>
   <td align="left">
<math>
- b_2(q_2+1) \, .
- b_2(q_2+1) \, .
</math>
</math>
Line 923: Line 1,140:
</table>
</table>


For a uniform-density sphere, Ostriker &amp; Mark claim that [http://adsabs.harvard.edu/abs/1965ApJ...142..208S Stoeckly's (1965)] above-defined analytical expression for <math>~\dot\varphi (\varpi) = j[m(\varpi)]/\varpi^2</math> is retrieved by setting, <math>(n, \alpha, \beta) = (0, \tfrac{2}{5}, \tfrac{3}{2}) \, .</math>  Let's see &hellip;
Ostriker &amp; Mark claim that the analytical expression for <math>\dot\varphi (\varpi) = j[m(\varpi)]/\varpi^2</math> that was derived by {{ Stoeckly65 }} for a uniform-density sphere, is retrieved by setting, <math>(n, \alpha, \beta) = (0, \tfrac{2}{5}, \tfrac{3}{2}) \, .</math>  Let's see &hellip;
<table border="0" cellpadding="5" align="center">
<table border="0" cellpadding="5" align="center">


Line 1,042: Line 1,259:
Q. E. D.
Q. E. D.


In addition, from p. 163 (Table 1) of [https://ui.adsabs.harvard.edu/abs/1973ApJ...180..159B/abstract Bodenheimer &amp; Ostriker (1973)] we find the following table of coefficient values.
In addition, from p. 163 (Table 1) of {{ BO73 }} we find the following table of coefficient values.


<table border="1" cellpadding="8" align="center">
<table border="1" cellpadding="8" align="center">
Line 1,051: Line 1,268:
</td>
</td>
<td align="center">
<td align="center">
Figure &amp; caption extracted from p. 715 of
Figure &amp; caption extracted from p. 715 of<br />{{ PDD96figure }}<br />&copy; American Astronomical Society
[https://ui.adsabs.harvard.edu/abs/1996ApJ...458..714P/abstract Pickett, Durisen &amp; Davis (1996)]<br />
<i>"The Dynamic Stability of Rotating Protostars and Protostellar Disks<br />
I.  The Effects of the Angular Momentum Distribution"</i><br />
ApJ, vol. 458, pp. 714 -738 &copy; American Astronomical Society
</td>
</td>
</tr>
</tr>
Line 1,126: Line 1,339:
   <td align="center" colspan="6">
   <td align="center" colspan="6">
<b>Coefficients for <math>~h(m)</math> Expression</b><br />
<b>Coefficients for <math>~h(m)</math> Expression</b><br />
used by [https://ui.adsabs.harvard.edu/abs/1968ApJ...151.1089O/abstract Ostriker &amp; Bodenheimer (1968)], p. 1090, Eq. (6)
used by {{ OB68 }}, p. 1090, Eq. (6)
</td>
</td>
</tr>
</tr>
Line 1,141: Line 1,354:
==Double Check Vector Identities==
==Double Check Vector Identities==


Let's plug a few different [[User:Tohline/AxisymmetricConfigurations/SolutionStrategies#Simple_Rotation_Profile_and_Centrifugal_Potential|simple rotation profiles]] into the Euler equation, using a cylindrical-coordinate base to demonstrate that the three expressions are identical, namely, that
Let's plug a few different [[AxisymmetricConfigurations/SolutionStrategies#Simple_Rotation_Profile_and_Centrifugal_Potential|simple rotation profiles]] into the Euler equation, using a cylindrical-coordinate base to demonstrate that the three expressions are identical, namely, that
<table border="0" cellpadding="5" align="center">
<table border="0" cellpadding="5" align="center">


Line 1,248: Line 1,461:
</table>
</table>


[B}&nbsp; Alternatively,
[B] &nbsp; Alternatively,
<table border="0" cellpadding="5" align="center">
<table border="0" cellpadding="5" align="center">


Line 1,276: Line 1,489:
</table>
</table>


[C}&nbsp; Or,
[C] &nbsp; Or,
<table border="0" cellpadding="5" align="center">
<table border="0" cellpadding="5" align="center">


Line 1,292: Line 1,505:
</table>
</table>
This demonstrates that, in the case of uniform angular velocity, all three expressions are identical.
This demonstrates that, in the case of uniform angular velocity, all three expressions are identical.


===Power Law===
===Power Law===
Line 1,384: Line 1,596:
</table>
</table>


[E}&nbsp; Alternatively,
[E] &nbsp; Alternatively,
<table border="0" cellpadding="5" align="center">
<table border="0" cellpadding="5" align="center">


Line 1,428: Line 1,640:
</table>
</table>


[F}&nbsp; Or,
[F] &nbsp; Or,
<table border="0" cellpadding="5" align="center">
<table border="0" cellpadding="5" align="center">


Line 1,456: Line 1,668:
</table>
</table>
This demonstrates that, in the case of power-law angular velocity profile, all three expressions are identical.
This demonstrates that, in the case of power-law angular velocity profile, all three expressions are identical.


===Uniform v<sub>&#x03C6;</sub>===
===Uniform v<sub>&#x03C6;</sub>===
Line 1,518: Line 1,729:
</table>
</table>


[H}&nbsp; Alternatively,
[H] &nbsp; Alternatively,
<table border="0" cellpadding="5" align="center">
<table border="0" cellpadding="5" align="center">


Line 1,551: Line 1,762:
</table>
</table>


[I}&nbsp; Or,
[I] &nbsp; Or,
<table border="0" cellpadding="5" align="center">
<table border="0" cellpadding="5" align="center">


Line 1,591: Line 1,802:
</table>
</table>
This demonstrates that, in the case of a constant <math>~v_\varphi</math> profile, all three expressions are identical.
This demonstrates that, in the case of a constant <math>~v_\varphi</math> profile, all three expressions are identical.


===j-Constant Rotation===
===j-Constant Rotation===
Line 1,703: Line 1,913:
</table>
</table>


[K}&nbsp; Alternatively,
[K] &nbsp; Alternatively,
<table border="0" cellpadding="5" align="center">
<table border="0" cellpadding="5" align="center">


Line 1,778: Line 1,988:
</table>
</table>


[L}&nbsp; Or,
[L] &nbsp; Or,
<table border="0" cellpadding="5" align="center">
<table border="0" cellpadding="5" align="center">


Line 1,798: Line 2,008:
=Technique=
=Technique=


To solve the above-specified set of simplified governing equations we will essentially adopt [[User:Tohline/SphericallySymmetricConfigurations/SolutionStrategies#Technique_3|''Technique 3'']] as presented in our construction of spherically symmetric configurations.  Using a barotropic equation of state &#8212; in which case <math>~dP/\rho</math> can be replaced by <math>~dH</math> &#8212; we can combine the two components of the Euler equation shown above back into a single vector equation of the form,
To solve the above-specified set of simplified governing equations we will essentially adopt [[SSCpt2/SolutionStrategies#Technique_3|''Technique 3'']] as presented in our construction of spherically symmetric configurations.  Using a barotropic equation of state &#8212; in which case <math>~dP/\rho</math> can be replaced by <math>~dH</math> &#8212; we can combine the two components of the Euler equation shown above back into a single vector equation of the form,


<div align="center">
<div align="center">
Line 1,805: Line 2,015:
</math>  
</math>  
</div>
</div>
where it is understood that here, [[User:Tohline/AxisymmetricConfigurations/PGE|as displayed earlier]], the gradient represents a two-dimensional operator written in cylindrical coordinates that is appropriate for axisymmetric configurations, namely,
where it is understood that here, [[AxisymmetricConfigurations/PGE|as displayed earlier]], the gradient represents a two-dimensional operator written in cylindrical coordinates that is appropriate for axisymmetric configurations, namely,
<div align="center">
<div align="center">
<math>
<math>
Line 1,812: Line 2,022:
</div>
</div>


This means that, throughout our configuration, the functions {{User:Tohline/Math/VAR_Enthalpy01}}({{User:Tohline/Math/VAR_Density01}}) and <math>~\Phi_\mathrm{eff}</math>({{User:Tohline/Math/VAR_Density01}}) must sum to a constant value, call it <math>~C_\mathrm{B}</math>.  That is to say, the statement of hydrostatic balance for axisymmetric configurations reduces to the ''algebraic'' expression,
This means that, throughout our configuration, the functions {{Math/VAR_Enthalpy01}}({{Math/VAR_Density01}}) and <math>~\Phi_\mathrm{eff}</math>({{Math/VAR_Density01}}) must sum to a constant value, call it <math>~C_\mathrm{B}</math>.  That is to say, the statement of hydrostatic balance for axisymmetric configurations reduces to the ''algebraic'' expression,
<div align="center">
<div align="center">
<math>~H + \Phi_\mathrm{eff} = C_\mathrm{B}</math> .
<math>~H + \Phi_\mathrm{eff} = C_\mathrm{B}</math> .
Line 1,823: Line 2,033:
</div>
</div>


giving us two equations (one algebraic and the other a two-dimensional <math>2^\mathrm{nd}</math>-order elliptic PDE) that relate the three unknown functions, {{User:Tohline/Math/VAR_Enthalpy01}}, {{User:Tohline/Math/VAR_Density01}}, and {{User:Tohline/Math/VAR_NewtonianPotential01}}.
giving us two equations (one algebraic and the other a two-dimensional <math>2^\mathrm{nd}</math>-order elliptic PDE) that relate the three unknown functions, {{Math/VAR_Enthalpy01}}, {{Math/VAR_Density01}}, and {{Math/VAR_NewtonianPotential01}}.


=See Also=
=See Also=
* Part I of ''Axisymmetric Configurations'': [[User:Tohline/AxisymmetricConfigurations/PGE|Simplified Governing Equations]]
* Part I of ''Axisymmetric Configurations'': [[AxisymmetricConfigurations/PGE|Simplified Governing Equations]]




{{ SGFfooter }}
{{ SGFfooter }}

Latest revision as of 13:45, 21 April 2023

Axisymmetric Configurations (Solution Strategies)

Lagrangian versus Eulerian Representation

In our overarching specification of the set of Principle Governing Equations, we have included a,

Lagrangian Representation
of the Euler Equation,

dvdt=1ρPΦ

[BLRY07], p. 13, Eq. (1.55)

When seeking a solution to the set of governing equations that describes a steady-state equilibrium configuration — as has already been suggested in our accompanying discussion of "other forms of the Euler equation" — it is preferable to start from an,

Eulerian Representation
of the Euler Equation,

vt+(v)v=1ρPΦ


because steady-state configurations are identified by setting the partial time derivative, rather than the total time derivative, to zero. Notice that if the objective is to find an equilibrium configuration in which the fluid velocity is not zero — consider, for example, a configuration that is rotating — then throughout the configuration, the velocity field must be taken into account, in addition to the gradient in the gravitational potential, when determining the pressure distribution. Specifically, for steady-state flows, the required relationship is,

1ρP

=

Φ(v)v.

As we also have mentioned elsewhere, by drawing upon a relevant dot product rule vector identity, this expression can be rewritten in terms of the fluid vorticity, ζ×v, as,

1ρP

=

[Φ+12vv]ζ×v.

In certain astrophysically relevant situations — such as the adoption of any one of the simple rotation profiles identified immediately below — the nonlinear velocity term involving the "convective operator" can be rewritten in terms of the gradient of a scalar (centrifugal) potential, that is,

(v)v

Ψ.

In such cases, the condition required to obtain a steady-state equilibrium configuration is given by the considerably simpler mathematical relation,

1ρP

=

[Φ+Ψ].

In the subsection of this chapter (below) titled, Double Check Vector Identities, we explicitly demonstrate for four separate "simple rotation profiles" that these three separate steady-state balance expressions do indeed generate identical mathematical relations.

Simple Rotation Profile and Centrifugal Potential

Simple
Rotation
Profiles

"… A necessary and sufficient condition for φ˙ … to be independent of z is that the surfaces of constant pressure coincide with the surfaces of constant density, i.e., that P be a function of ρ only." In this case, a centrifugal potential, Ψ, can be defined — see the integral expression provided below — and it "is also a function of ρ only … When Ψ exists, the equations of state and of energy conservation may be thought of as determining the form of the P-ρ relationship. Hence, by prescribing a P-ρ relationship, one avoids the complications of those further equations. This affects a major simplification of the formal problem of constructing rotating configurations. This procedure will, of course, be inadequate for certain objectives …"

— Drawn from p. 466 of 📚 Lebovitz (1967)

Specifying Radial Rotation Profile in the Equilibrium Configuration

Equilibrium axisymmetric structures — that is, solutions to the above set of simplified governing equations — can be found for specified angular momentum distributions that display a wide range of variations across both of the spatial coordinates, ϖ and z. According to the Poincaré-Wavre theorem, however, the derived structures will be dynamically unstable toward the development shape-distorting, meridional-plane motions unless the angular velocity is uniform on cylinders, that is, unless the angular velocity is independent of z. (See the detailed discussion by [T78] — or our accompanying, brief summary — of this and other "axisymmetric instabilities to avoid.") With this in mind, we will focus here on a solution strategy that is designed to construct structures with a

Simple Rotation Profile

φ˙(ϖ,z)=φ˙(ϖ),

which of course means that we will only be examining axisymmetric structures with specific angular momentum distributions of the form j(ϖ,z)=j(ϖ)=ϖ2φ˙(ϖ).

As has been alluded to immeciately above, after adopting a simple rotation profile, it becomes useful to define an effective potential,

ΦeffΦ+Ψ,

that is written in terms of a centrifugal potential,

Ψj2(ϖ)ϖ3dϖ.

The accompanying table provides analytic expressions for Ψ(ϖ) that correspond to various prescribed functional forms for φ˙(ϖ) or j(ϖ), along with citations to published articles in which equilibrium axisymmetric structures have been constructed using the various tabulated simple rotation profile prescriptions.

 

Simple Rotation Profiles
Found in the Published Literature

 

φ˙(ϖ)

vφ(ϖ)

j(ϖ)

j2ϖ3

Ψ(ϖ)

Refs.

Power-law
(any q1)

j0ϖ02(ϖϖ0)(q2)

j0ϖ0(ϖϖ0)(q1)

j0(ϖϖ0)q

j02ϖ03(ϖϖ0)(2q3)

12(q1)[j02ϖ02(ϖϖ0)2(q1)]

d, h

Uniform rotation
(q=2)

ω0

ϖω0

ϖ2ω0

ϖω02

12ϖ2ω02

a, f

Uniform vφ
(q=1)

v0ϖ

v0

ϖv0

v02ϖ

v02ln(ϖϖ0)

e

Keplerian
(q=1/2)

ωK(ϖϖ0)3/2

ϖ0ωK(ϖϖ0)1/2

ϖ02ωK(ϖϖ0)1/2

ϖ0ωK2(ϖϖ0)2

+ϖ03ωK2ϖ

d

Uniform specific
angular momentum

(q=0)

j0ϖ2

j0ϖ

j0

j02ϖ3

+12[j02ϖ2]

c,g

j-constant
rotation

ωc[A2A2+ϖ2]

ωc[A2ϖA2+ϖ2]

ωc[A2ϖ2A2+ϖ2]

ωc2[A4ϖ(A2+ϖ2)2]

+12[ωc2A4A2+ϖ2]

a,b,i

n
Sequences

See discussion below of specific angular momentum distribution, h[m(ϖ)] j,k,ℓ,m

fMaclaurin, C. 1742, A Treatise of Fluxions
j📚 R. Stoeckly (1965, ApJ, Vol. 142, pp. 208 - 228)
k📚 J. P. Ostriker & J. W.-K. Mark (1968, ApJ, Vol. 151, pp. 1075 - 1088)
📚 P. Bodenheimer & J. P. Ostriker (1973, ApJ, Vol. 180, pp. 159 - 170)
i📚 M. J. Clement (1979, ApJ, Vol. 230, pp. 230 - 242)
e📚 C. Hayashi, S. Narita, & S. M. Miyama (1982, Prog. Theor. Phys., Vol. 68, No. 6, pp. 1949 - 1966)
g📚 J. C. B. Papaloizou & J. E. Pringle (1984, MNRAS, Vol. 208, pp. 721 - 750)
a📚 I. Hachisu (1986a, ApJS, Vol. 61, pp. 479 - 507) (especially §II.c)
d📚 J. E. Tohline & I. Hachisu (1990, ApJ, Vol. 361, pp. 394 - 407)
c📚 J. W. Woodward, J. E. Tohline, & I. Hachisu (1994, ApJ, Vol. 420, pp. 247 - 267)
m📚 B. K. Pickett, R. H. Durisen, & G. A. Davis (1996, ApJ, Vol. 458, pp. 714 - 738)
b📚 S. Ou & J. E. Tohline (2006, ApJ, Vol. 651, pp. 1068 - 1078) (especially §2.1)
hThe Hadley & Imamura collaboration (circa 2015)  [Note that, as detailed elsewhere, their definition of the power-law index, q, is different from ours.]

Note that, while adopting a simple rotation profile is necessary in order to ensure that an axisymmetric, barotropic equilibrium configuration is dynamical stability, it is not a sufficient condition. For example, the Solberg/Rayleigh criterion further demands that, for homentropic systems, the specific angular momentum, j, must be an increasing function of the radial coordinate, ϖ. It is not surprising, therefore, that the above table of example simple rotation profiles does not include references to published investigations in which the power-law index, q, is negative.

"In order to prevent the Rayleigh-Taylor instability … which arises from an adverse distribution of angular momentum — or, more generally, in order to satisfy the Solberg/Rayleigh criterion j must be a monotonically increasing function of m. Aside from this restriction, j(m) is free to be any well-behaved function which we may plausibly expect to have been estabilshed over the history of the star."

— Drawn from p. 1084 of 📚 Ostriker & Mark (1968)

Prescribing Mass-Dependent Rotation Profile Based on an Initial Spherical Configuration

Each of the simple rotation profiles listed in Table 1 has been defined by specifying the radial distribution of the specific angular momentum, j(ϖ), in the rotationally flattened equilibrium configuration. Here we follow the lead of 📚 R. Stoeckly (1965, ApJ, Vol. 142, pp. 208 - 228), of 📚 P. Bodenheimer & J. P. Ostriker (1973, ApJ, Vol. 180, pp. 159 - 170) and of 📚 P. S. Marcus, W. H. Press, & S. A. Teukolsky (1977, ApJ, Vol. 214, pp. 584 - 597) and, instead, present rotation profiles that are defined by specifying the function, j(mϖ), where mϖ is a function describing how the fractional mass enclosed inside ϖ varies with ϖ.

To better clarify what is meant by the function, mϖ, consider a configuration (not necessarily in equilibrium) that is spherically symmetric and that exhibits an — as yet unspecified — mass-density profile, ρ(r). The mass enclosed within each spherical radius is,

Mr=0r4πr2ρ(r)dr,

and, if the radius of the configuration is R, then the configuration's total mass is,

M=0R4πr2ρ(r)dr.

In contrast, the mass enclosed within each cylindrical radius, ϖ, is

Mϖ=2π0ϖϖdϖ0R2ϖ2ρ(r)2dz,

where it is understood that the argument of the density function is, r=ϖ2+z2.

Example #1: If the configuration has a uniform density, ρ0, then its total mass is, M=4πρ0R3/3, and

Mϖ

=

4πρ00ϖϖ[R2ϖ2]1/2dϖ

 

=

4π3ρ0[R3(R2ϖ2)3/2]

 

=

M4π3ρ0[(R2ϖ2)3/2]

mϖMϖM

=

1[1ϖ2R2]3/2.

Example #2: If the spherically symmetric configuration has a density profile given by the function,

ρ(r)

=

ρ0[sin(πr/R)πr/R],

then its total mass is, M=4ρ0R3/π, and

Mϖ

=

4πρ00ϖϖdϖ0R2ϖ2{sin(πϖ2+z2/R)πϖ2+z2/R}dz

 

=

4ρ0R30χχdχ01χ2{sin(πχ2+ζ2)χ2+ζ2}dζ

Mϖ

=

4πρ0{R2ϖ2Rdz0R2z2[sin(πϖ2+z2/R)πϖ2+z2/R]ϖdϖ+0R2ϖ2dz0ϖ[sin(πϖ2+z2/R)πϖ2+z2/R]ϖdϖ}

 

=

4ρ0R3{1χ21dζ01ζ2[sin(πχ2+ζ2)χ2+ζ2]χdχ+01χ2dζ0χ[sin(πχ2+ζ2)χ2+ζ2]χdχ}

 

=

4ρ0R3{1χ21[cos(πζ2+χ2)π]01ζ2dζ+01χ2[cos(πζ2+χ2)π]0χdζ}

 

=

4ρ0R3π{1χ21[cos(π)+cos(πζ)]dζ+01χ2[cos(πζ)cos(πζ2+χ2)]dζ}

 

=

4ρ0R3π{1χ21dζ+01cos(πζ)dζ01χ2cos(πζ2+χ2)dζ}

 

=

4ρ0R3π{[z]1χ21+1π0πcos(u)du01χ2cos(πζ2+χ2)dζ}

Uniform-Density Initially (n' = 0)

Drawing directly from §IIc of 📚 Stoeckly (1965), … consider a large, gaseous mass, initially a homogeneous sphere of mass M and angular momentum J rotating as a solid body, and suppose it contracts in such a way that cylindrical surfaces remain cylindrical and each such surface retains its angular momentum. Let ρ0, R0, and φ˙0 denote the initial density, radius, and angular velocity of the [initially unstable configuration], ϖ0(ϖ) the initial radius of the surface now at radius ϖ, and Mϖ(ϖ) the mass inside this surface. The conditions on the contraction are then

MMϖ(ϖ)

=

4πρ0ϖ0(ϖ)R0[(R02(ϖ0')2)]1/2ϖ0'dϖ0',

and

φ˙(ϖ)ϖ2

=

φ˙0[ϖ0(ϖ)]2.

By integrating, eliminating ϖ0(ϖ) between these equations, and eliminating ρ0, R0, and φ˙0 in favor of M and J, one finds the relation of φ˙(ϖ) to the mass distribution to be

φ˙(ϖ)

=

5J2Mϖ2{1[1m(ϖ)]2/3},

📚 Stoeckly (1965), §II.c, eq. (12)

where, the mass fraction,

m(ϖ)Mϖ(ϖ)M.

As noted, this is equation (12) of 📚 Stoeckly (1965); it also appears, for example, as equation (45) in 📚 Ostriker & Mark (1968), as equation (12) in 📚 P. Bodenheimer & J. P. Ostriker (1970, ApJ, Vol. 161, pp. 1101 - 1113), and in the sentence that follows equation (3) in 📚 Bodenheimer & Ostriker (1973). As Stoeckly points out, the angular momentum distribution implied by this functional form of φ˙ satisfies the Solberg/Rayleigh stability criterion — that is,

dj2dϖ>0

— initially, and also in the final equilibrium configuration because every cylindrical surface conserves specific angular momentum and the surfaces do not reorder themselves.

We should be able to obtain the identical result by extending Example 1 above. Attaching the subscript "0" to ϖ in order to acknowledge that, here, the initial configuration is a uniform-density sphere (n' = 0), our derivation gives,

mϖMϖM

=

1[1ϖ02R2]3/2,

from which we see that,

ϖ02R2

=

1[1mϖ]2/3.

Now, the total angular momentum, J, of this initial configuration — a uniformly rotating (φ˙0), uniform-density sphere — is,

J=Iφ˙0

=

25MR2φ˙0

φ˙0

=

5J2MR2,

in which case, the specific angular momentum of each fluid element — which is conserved as the configuration contracts or expands — is given by the expression,

φ˙ϖ2=φ˙0ϖ02

=

5J2MR2ϖ02

 

=

5J2M{1[1mϖ]2/3}.

Q.E.D.

Now, just as the fraction of the configuration's mass that lies interior to radial position, ϖ, is detailed by the function, mϖ, let's use ϖ to detail what fraction of the configuration's angular momentum lies interior to mϖ. We have,

Jϖ

=

0mϖ(φ˙ϖ2)Mdmϖ

ϖ

=

520mϖ{1[1mϖ]2/3}dmϖ

25ϖ

=

0mϖdmϖ0mϖ[1mϖ]2/3dmϖ

 

=

mϖ+[35(1mϖ)5/3]0mϖ

 

=

mϖ+35(1mϖ)5/335

 

=

(1mϖ)+35(1mϖ)5/3+(135)

ϖ

=

152(1mϖ)+32(1mϖ)5/3.

📚 Marcus, Press, & Teukolsky (1977), §IV.a, eq. (4.3)

Centrally Condensed Initially (n' > 0)

In §III.d (pp. 1084 - 1086) of 📚 Ostriker & Mark (1968), we find the following relations:

h(m)[MJ]j(m)

=

a1+a2(1m)α2+a3(1m)α3,

📚 Ostriker & Mark (1968), §III.d, Eq. (50)
📚 Ostriker & Bodenheimer (1968), p. 1090, Eq. (6)
📚 Bodenheimer & Ostriker (1973), §II, Eq. (4)
[T78], §10.4 (p. 254), Eq. (44)
📚 Pickett, Durisen, & Davis (1996), §2.1, Figure 1

where,

1α2=q1

2βαβ(2n+5)αβ(2n+5)(2n+3),

     

1α3=q2

2n+32,

 

b1

α(q2+1)1α(q2q1),

     

b2

1α(q1+1)α(q2q1),

 

a1

b1(q1+1)+b2(q2+1),

     

a2

b1(q1+1),

     

a3

b2(q2+1).

Ostriker & Mark claim that the analytical expression for φ˙(ϖ)=j[m(ϖ)]/ϖ2 that was derived by 📚 Stoeckly (1965) for a uniform-density sphere, is retrieved by setting, (n,α,β)=(0,25,32). Let's see …

limn0[q1]

=

limn0[6n54n5]=+32;

     

q2

=

+32;

 

b1

=

25(32+1)125(3223)=013=0;

     

b2

=

125(23+1)25(3223)=1313=1;

 

a1

=

52;

     

a2

=

0;

a3

=

52.

This implies,

h(m)|n=0

=

52[1(1m)2/3].

Q. E. D.

In addition, from p. 163 (Table 1) of 📚 Bodenheimer & Ostriker (1973) we find the following table of coefficient values.

Coefficients for h(m) Expression
[from K. Braly's (1969) unpublished undergraduate thesis, Princeton University]

Figure & caption extracted from p. 715 of
B. K. Pickett, R. H. Durisen, & G. A. Davis (1996)
The Dynamic Stability of Rotating Protostars and Protostellar Disks.
I. The Effects of the Angular Momentum Distribution

The Astrophysical Journal, Vol. 458, pp. 714 - 738
© American Astronomical Society

n' a1 a2 a3 α2=1q1 α3=1q2 File:PickettDurisenDavis96Fig1.png
0 +2.5 -2.5 23
12 +3.068133 +0.203667 -3.271800 +0.801297 12
1 +3.825819 +0.857311 -4.68313 +0.650981 25
32 +4.887588 +2.345310 -7.232898 +0.525816 13
2 +6.457897 +6.018111 -12.476007 +0.417472 27
52 +8.944150 +18.234305 -27.178455 +0.321459 14
3 +13.270061 +163.26149 -176.53154 +0.235287 29

Coefficients for h(m) Expression
used by 📚 Ostriker & Bodenheimer (1968), p. 1090, Eq. (6)

32 +4.8239 +1.8744 -6.6983 +0.5622 13

Double Check Vector Identities

Let's plug a few different simple rotation profiles into the Euler equation, using a cylindrical-coordinate base to demonstrate that the three expressions are identical, namely, that

(v)v

=

ζ×v+12(v2)

=

Ψ.

Uniform Rotation

In the case of uniform rotation, we have,

v=e^φ(vφ)=e^φ(ϖω0)j2ϖ3=(ϖvφ)2ϖ3=(ϖ2ω0)2ϖ3=ϖω02,

where, ω0 is independent of radial position. This also means that,

Ψj2(ϖ)ϖ3dϖ=12ϖ2ω02;

and,

ζ=×v

=

e^ϖ[vφz]+e^z[1ϖ(ϖvφ)ϖ]

 

=

e^z[1ϖ(ϖ2ω0)ϖ]

 

=

e^z(2ω0)

[A]   Hence,

(v)v

=

e^ϖ[vφvφϖ]

 

=

e^ϖ[(ϖω0)(ϖω0)ϖ]=e^ϖ(ϖω02).

[B]   Alternatively,

ζ×v+12(v2)

=

e^z(2ω0)×e^φ(ϖω0)+e^ϖ12[ϖ(ϖ2ω02)]

 

=

e^ϖ{(2ω0)(ϖω0)+(ϖω02)}=e^ϖ(ϖω02).

[C]   Or,

Ψ

=

e^ϖ[12ϖ(ϖ2ω02)]=e^ϖ(ϖω02).

This demonstrates that, in the case of uniform angular velocity, all three expressions are identical.

Power Law

In the case of a power-law expression, we have,

v=e^φ(vφ)=e^φ[j0ϖ02(ϖϖ0)(q1)]j2ϖ3=[j02ϖ03(ϖϖ0)(2q3)],

where, j0 and ϖ0 are both independent of radial position. This also means that,

Ψj2(ϖ)ϖ3dϖ=12(q1)[j02ϖ02(ϖϖ0)2(q1)];

and,

ζ=×v

=

e^ϖ[vφz]+e^z[1ϖ(ϖvφ)ϖ]

 

=

e^z1ϖϖ[j0ϖ0(ϖϖ0)q]

 

=

e^zqϖ[j0ϖ0q+1(ϖ)q1]=e^zq[j0ϖ03(ϖϖ0)q2].

[D]   Hence,

(v)v

=

e^ϖ[vφvφϖ]

 

=

e^ϖ1ϖ[j02ϖ04(ϖϖ0)2(q1)]=e^ϖ[j02ϖ05(ϖϖ0)(2q3)].

[E]   Alternatively,

ζ×v+12(v2)

=

e^zq[j0ϖ03(ϖϖ0)q2]×e^φ[j0ϖ02(ϖϖ0)(q1)]+e^ϖ12ϖ[j02ϖ04(ϖϖ0)(2q2)]

 

=

e^ϖq[j02ϖ05(ϖϖ0)2q3]+e^ϖ(q1)[j02ϖ05(ϖϖ0)(2q3)]

 

=

e^ϖ[j02ϖ05(ϖϖ0)2q3].

[F]   Or,

Ψ

=

e^ϖϖ{12(q1)[j02ϖ02(ϖϖ0)2(q1)]}

 

=

e^ϖϖ[j02ϖ03(ϖϖ0)2q3]

This demonstrates that, in the case of power-law angular velocity profile, all three expressions are identical.

Uniform vφ

In the case of a uniform vφ (i.e., a flat rotation curve), we have,

v=e^φ(vφ)=e^φv0j2ϖ3=v02ϖ,

where, v0 is independent of radial position. This also means that,

Ψj2(ϖ)ϖ3dϖ=v02ln(ϖϖ0);

and,

ζ=×v

=

e^ϖ[vφz]+e^z[1ϖ(ϖvφ)ϖ]

 

=

e^z(v0ϖ).

[G]   Hence,

(v)v

=

e^ϖ[vφvφϖ]=e^ϖ[v02ϖ].

[H]   Alternatively,

ζ×v+12(v2)

=

e^z(v0ϖ)×e^φv0+e^ϖ12ϖ(v02)

 

=

e^ϖ(v02ϖ).

[I]   Or,

Ψ

=

e^ϖϖ{v02ln(ϖϖ0)}

 

=

e^ϖv02(ϖϖ0)11ϖ0

 

=

e^ϖ(v02ϖ).

This demonstrates that, in the case of a constant vφ profile, all three expressions are identical.

j-Constant Rotation

In the case of so-called j-constant rotation, we have,

v=e^φ(vφ)=e^φωc[A2ϖA2+ϖ2]j2ϖ3=(ϖvφ)2ϖ3=ωc2ϖ[A2ϖA2+ϖ2]2=[ωc2A4ϖ(A2+ϖ2)2],

where, ωc, and the characteristic length, A, are both independent of radial position. This also means that,

Ψj2(ϖ)ϖ3dϖ=+12[ωc2A4(A2+ϖ2)];

and,

ζ=×v

=

e^ϖ[vφz]+e^z[1ϖ(ϖvφ)ϖ]

 

=

e^z{ωcϖϖ[A2ϖ2A2+ϖ2]}

 

=

e^zωcϖ{[2A2ϖ(A2+ϖ2)1][2A2ϖ3(A2+ϖ2)2]}

 

=

e^z[2ωcA4(A2+ϖ2)2].

[J]   Hence,

(v)v

=

e^ϖ[vφvφϖ]

 

=

e^ϖωc2ϖ[A2ϖA2+ϖ2]2=e^ϖ[ωc2A4ϖ(A2+ϖ2)2].

[K]   Alternatively,

ζ×v+12(v2)

=

e^z[2ωcA4(A2+ϖ2)2]×e^φωc[A2ϖA2+ϖ2]+12e^ϖϖ[ωc2A4ϖ2(A2+ϖ2)2]

 

=

e^ϖ[2ωc2A6ϖ(A2+ϖ2)3]+e^ϖ[ωc2A4ϖ(A2+ϖ2)22ωc2A4ϖ3(A2+ϖ2)3]

 

=

e^ϖ[ωc2A4ϖ(A2+ϖ2)22ωc2A4ϖ3(A2+ϖ2)32ωc2A6ϖ(A2+ϖ2)3]

 

=

e^ϖ[(A2+ϖ2)2ϖ22A2]ωc2A4ϖ(A2+ϖ2)3

 

=

e^ϖ[ωc2A4ϖ(A2+ϖ2)2].

[L]   Or,

Ψ

=

e^ϖ12ϖ[ωc2A4(A2+ϖ2)1]=e^ϖ[ωc2A4ϖ(A2+ϖ2)2].

This demonstrates that, in the case of a j-constant rotation profile, all three expressions are identical.

Technique

To solve the above-specified set of simplified governing equations we will essentially adopt Technique 3 as presented in our construction of spherically symmetric configurations. Using a barotropic equation of state — in which case dP/ρ can be replaced by dH — we can combine the two components of the Euler equation shown above back into a single vector equation of the form,

[H+Φeff]=0,

where it is understood that here, as displayed earlier, the gradient represents a two-dimensional operator written in cylindrical coordinates that is appropriate for axisymmetric configurations, namely,

f=e^ϖ[fϖ]+e^z[fz].

This means that, throughout our configuration, the functions H(ρ) and Φeff(ρ) must sum to a constant value, call it CB. That is to say, the statement of hydrostatic balance for axisymmetric configurations reduces to the algebraic expression,

H+Φeff=CB .

This relation must be solved in conjunction with the Poisson equation,

1ϖϖ[ϖΦϖ]+2Φz2=4πGρ,

giving us two equations (one algebraic and the other a two-dimensional 2nd-order elliptic PDE) that relate the three unknown functions, H, ρ, and Φ.

See Also


Tiled Menu

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