Editing 2DStructure/AxisymmetricInstabilities

__FORCETOC__ 
<!-- __NOTOC__ will force TOC off -->
=Axisymmetric Instabilities to Avoid=
{| class="AxisymmetricConfigurations" style="float:left; margin-right: 20px; border-style: solid; border-width: 3px border-color: black"
|- 
! style="height: 150px; width: 150px; background-color:white;" |[[H_BookTiledMenu#Two-Dimensional_Configurations_.28Axisymmetric.29|<b>Axisymmetric<br />Instabilities<br />to Avoid</b>]]
|}
When constructing rotating equilibrium configurations that obey a [[SR#Time-Independent_Problems|barotropic equation of state]], keep in mind that certain physical variable profiles should be avoided because they will lead to structures that are unstable toward the dynamical development of shape-distorting or ''convective''-type motions.  Here are a few well-known examples.
&nbsp;<br />
&nbsp;<br />
&nbsp;<br />
&nbsp;<br />
&nbsp;<br />
&nbsp;<br />

==Rayleigh-Taylor Instability==
Referencing both p. 101 of [ <b>[[Appendix/References#Shu92|<font color="red">Shu92</font>]] </b>], and volume I, p. 410 of [ <b>[[Appendix/References#P00|<font color="red">P00</font>]] </b>], a [https://en.wikipedia.org/wiki/Rayleigh%E2%80%93Taylor_instability Rayleigh-Taylor] instability is a bouyancy-driven instability that arises when a heavy fluid rests on top of a light fluid in an effective gravitational field, <math>~\vec{g}</math>.   In the simplest case of spherically symmetric, self-gravitating configurations, the condition for stability against a Rayleigh-Taylor instability may be written as,
<div align="center">
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~(- \vec{g} ) \cdot \nabla\rho</math>
  </td>
  <td align="center">
<math>~< </math>
  </td>
  <td align="left">
<math>~0 </math>
  </td>
  <td align="center">&nbsp; &nbsp;&nbsp;&nbsp;[stable] ,</td>
</tr>
</table>
</div>
that is to say, the mass density ''must decrease outward.''  In an expanded discussion, [ <b>[[Appendix/References#P00|<font color="red">P00</font>]] </b>] &#8212; see pp. 410 - 413 &#8212; derives a dispersion relation that describes the development of the Rayleigh-Taylor instability in a plane-parallel fluid layer that initially contains a discontinuous jump/drop in the density. 

In addition, [ <b>[[Appendix/References#P00|<font color="red">P00</font>]] </b>] &#8212; see pp. 413 - 416 &#8212; and [ <b>[[Appendix/References#Shu92|<font color="red">Shu92</font>]] </b>] &#8212; see pp. 101 - 105 &#8212; both discuss circumstances that can give rise to the so-called ''Kelvin-Helmholtz'' instability.  It is another common two-fluid instability, but one that depends on the existence of transverse velocity flows and that is independent of the gravitational field.

==Poincar&eacute;-Wavre Theorem==
As [ <b>[[Appendix/References#T78|<font color="red">T78</font>]] </b>] points out &#8212; see his pp. 78 - 81 &#8212; Poincar&eacute; and Wavre were the first to, effectively, prove the following theorem:
<table border="0" align="center" width="75%" cellpadding="5">
<tr><td align="left">For rotating, self-gravitating configurations<font color="darkgreen"> "any of the following statements implies the three others: &nbsp; (i) the angular velocity is a constant over cylinders centered about the axis of rotation, (ii) the effective gravity can be derived from a potential, (iii) the effective gravity is normal to the isopycnic surfaces, (iv) the isobaric- and isopycnic-surfaces coincide."
</font></td></tr>
</table>
Among other things, this implies that for rotating barotropic configurations not only is the equation of state given by a function of the form, <math>~P = P(\rho)</math>, but it must also be true that,
<div align="center">
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~\frac{\partial \dot\varphi}{\partial z}</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~0 \, .</math>
  </td>
</tr>
<tr>
  <td align="center" colspan="3">
[ <b>[[Appendix/References#T78|<font color="red">T78</font>]] </b>], &sect;4.3, Eq. (30)
  </td>
</tr>
</table>
</div>

NOTE:  We should investigate how this theorem comes into play in the context of our [[ThreeDimensionalConfigurations/RiemannTypeI#Riemann_Type_1_Ellipsoids|accompanying discussion of Type 1 Riemann ellipsoids]].  These are equilibrium triaxial, uniform-density configurations in which the system's internal vorticity vector does not align with the tumble-axis of the ellipsoid and, therefore apparently <math>~\dot\varphi</math> is not independent of <math>~z</math>.

==H&oslash;iland Criterion==

<table border="0" cellpadding="3" align="center" width="60%">
<tr><td align="left">
<font color="indianred">
"For an incompressible liquid contained between concentric cylinders and rotating with angular velocity <math>~\Omega(\varpi)</math>, Rayleigh's criterion &#8212; that <math>~\varpi^4 \Omega^2</math> increase outwards &#8212; is necessary and sufficient for stability to axisymmetric disturbances.  In a star rotating with angular velocity <math>~\Omega(\varpi)</math> if we continue to restrict attention to axisymmetric disturbances, this criterion must be modified by buoyancy effects; that is, some combination of the Rayleigh and Schwarzschild criteria should obtain.  Such a combination has been found, for example, by [https://en.wikipedia.org/wiki/Einar_Høiland H&oslash;iland (1941)] (see also [https://archive.org/details/AllerStellarStructure Ledoux's Chapter 10, pp. 499-574 of ''Stellar Structure'' (1965)], and indicates, as one would expect, that a stable stratification of angular velocity exerts a stabilizing influence on an unstable distribution of temperature, and vice versa.  The combined criterion has not been placed on the solid analytical foundation of its two component criteria, however."</font>
</td></tr>
<tr><td align="right">
&#8212; Drawn from p. 475 of [https://ui.adsabs.harvard.edu/abs/1967ARA%26A...5..465L/abstract N. R. Lebovitz (1967)], ARAA, 5, 465 
</td></tr></table>

As is stated on p. 166 of [ <b>[[Appendix/References#T78|<font color="red">T78</font>]] </b>], in rotating barotropic configurations, axisymmetric stability requires the simultaneous satisfaction of the following pair of conditions:
<div align="center">
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~\biggl(\frac{1}{\varpi^3} \biggr) \frac{\partial j^2}{\partial \varpi} + \frac{1}{c_P} \biggl( \frac{\gamma - 1}{\Gamma_3 - 1}\biggr)
(- \vec{g} ) \cdot \nabla s</math>
  </td>
  <td align="center">
<math>~></math>
  </td>
  <td align="left">
<math>~0 </math>
  </td>
  <td align="center">&nbsp; &nbsp;&nbsp;&nbsp;[stable] ;</td>
</tr>
<tr>
  <td align="center" colspan="4">
[ <b>[[Appendix/References#T78|<font color="red">T78</font>]] </b>], &sect;7.3, Eq. (41)
<br />see also<br />[ <b>[[Appendix/References#KW94|<font color="red">KW94</font>]] </b>], &sect;43.2, Eq. (43.22)
  </td>
</tr>

<tr>
  <td align="right">
<math>~-g_z \biggl[ \frac{\partial j^2}{\partial \varpi} \biggl(\frac{\partial s}{\partial z} \biggr) 
- \frac{\partial j^2}{\partial z} \biggl(\frac{\partial s}{\partial \varpi} \biggr)\biggr]</math>
  </td>
  <td align="center">
<math>~></math>
  </td>
  <td align="left">
<math>~0 </math>
  </td>
  <td align="center">&nbsp; &nbsp;&nbsp;&nbsp;[stable] .</td>
</tr>
<tr>
  <td align="center" colspan="4">
[ <b>[[Appendix/References#T78|<font color="red">T78</font>]] </b>], &sect;7.3, Eq. (42)
<br />see also<br />[ <b>[[Appendix/References#KW94|<font color="red">KW94</font>]] </b>], &sect;43.2, Eq. (43.23)
  </td>
</tr>
</table>
</div>

where, <math>~s</math>, is the local specific entropy, and <math>~j \equiv \dot\varphi \varpi^2</math>, is the local specific angular momentum of the fluid.  According to [ <b>[[Appendix/References#T78|<font color="red">T78</font>]] </b>] &#8212; see p. 168 &#8212; this pair of mathematically expressed conditions has the following meaning:
<table border="0" align="center" width="75%" cellpadding="5">
<tr><td align="left"><font color="darkgreen">
"A baroclinic star in permanent rotation is dynamically stable with respect to axisymmetric motions if and only if the two following conditions are satisfied:  &nbsp; (i) the entropy per unit mass, <math>~s</math>, never decreases outward, and (ii) on each surface <math>~s</math> = constant, the angular momentum per unit mass, <math>~j</math>, increases as we move from the poles to the equator."
</font></td></tr>
</table>

===Schwarzschild Criterion===
In the case of nonrotating equilibrium configurations, the H&oslash;iland Criterion reduces to the Schwarzschild criterion.  That is, thermal convection arises when the condition,
<div align="center">
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~(- \vec{g} ) \cdot \nabla s</math>
  </td>
  <td align="center" width="20px">
<math>~> </math>
  </td>
  <td align="left">
<math>~0 </math>
  </td>
  <td align="left">&nbsp; &nbsp;&nbsp;&nbsp;[stable] ,</td>
</tr>
<tr>
  <td align="center" colspan="4">
[ <b>[[Appendix/References#T78|<font color="red">T78</font>]] </b>], &sect;7.3, Eq. (43)
<br />see also<br />[ <b>[[Appendix/References#KW94|<font color="red">KW94</font>]] </b>], &sect;6.1, Eq. (6.13) &hellip; or &hellip; pp. 93 - 98 of [ <b>[[Appendix/References#Shu92|<font color="red">Shu92</font>]] </b>]
  </td>
</tr>
</table>
</div>
is violated.  This means that, in order for a spherical system to be stable against dynamical convective motions, the specific entropy ''must increase outward.''

===Solberg/Rayleigh Criterion===
In the case of an homentropic equilibrium configuration, the H&oslash;iland Criterion reduces to the Solberg criterion.  That is, an axisymmetric exchange of fluid "rings" will occur on a dynamical time scale if the condition,
<div align="center">
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~\frac{dj^2}{d\varpi} </math>
  </td>
  <td align="center" width="20px">
<math>~> </math>
  </td>
  <td align="left">
<math>~0 </math>
  </td>
  <td align="left">&nbsp; &nbsp;&nbsp;&nbsp;[stable] ,</td>
</tr>
<tr>
  <td align="center" colspan="4">
[ <b>[[Appendix/References#T78|<font color="red">T78</font>]] </b>], &sect;7.3, Eq. (44)
<br />see also<br />[ <b>[[Appendix/References#KW94|<font color="red">KW94</font>]] </b>], &sect;43.2, Eq. (43.18) &hellip; or &hellip; pp. 98 - 101 of [ <b>[[Appendix/References#Shu92|<font color="red">Shu92</font>]] </b>]
  </td>
</tr>
</table>
</div>
is violated.  This means that, for stability, the specific angular momentum ''must necessarily increase outward.''  As [ <b>[[Appendix/References#T78|<font color="red">T78</font>]] </b>] points out, this <font color="darkgreen">"Solberg criterion generalizes to homentropic bodies the well-known [http://adsabs.harvard.edu/abs/1917RSPSA..93..148R Rayleigh (1917)] criterion for an inviscid, incompressible fluid."</font>

=Modeling Implications and Advice=
Here are some recommendations to keep in mind as you attempt to construct equilibrium models of self-gravitating astrophysical fluids.

<font color="purple">Rayleigh-Taylor instability:</font>&nbsp; In order to avoid constructing configurations that are subject to the Rayleigh-Taylor instability, be sure that lower density material is never placed "beneath" higher density material.  For example &hellip;
<ul><li>When building a bipolytropic configuration, a value for the (imposed) discontinuous jump in the mean-molecular weight will need to be specified at the interface between the envelope and the core.  If you choose a ratio, <math>~{\bar\mu}_e/{\bar\mu}_c</math>, that is greater than unity, the resulting equilibrium model will exhibit a discontinuous density jump that makes the density higher at the base of the envelope than it is at the surface of the core.  The core/envelope interface of this configuration will be unstable to the Rayleigh-Taylor instability, but you won't know that until and unless you examine the hydrodynamic stability of the configuration.</li></ul>

<font color="purple">Schwarzschild criterion:</font>&nbsp; In order to avoid constructing configurations that violate the Schwarzschild criterion, be sure that the specific entropy of the fluid is uniform (marginally stable) or increases outward throughout the equilibrium structure, where the word "outward" is only meaningful when referenced against the direction that the effective gravity points.  For example &hellip;
<ul><li>Suppose that you build a spherically symmetric polytropic configuration whose ''structural'' index is, <math>~n</math>, but then you want to test the stability of the configuration assuming that compressions/expansions of individual fluid elements occur along adiabats for which the adiabatic index is, <math>~\gamma \ne (n+1)/n</math>.  Although we generally think of polytropes as being homentropic configurations, if <math>~\gamma \ne (n+1)/n</math>, then different fluid elements will, in practice, evolve along adiabats that are characterized by ''different'' values of the specific entropy; that is, throughout the equilibrium model, <math>~\nabla s</math> will not be zero.  Whether the specific entropy increase (stable) or decreases (unstable) outward will depend on whether you select a value for the ''evolutionary'' <math>~\gamma</math> that is greater than (stable) or less than (unstable) <math>~(n+1)/n</math>.</li>

<li>According to [http://www.ucolick.org/~woosley/ay112-14/lectures/lecture8.4x.pdf Woosley's class lecture notes],
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~\frac{d\ln \rho}{d\ln P}\biggr|_\mathrm{structure} = \frac{n}{n+1}</math>
  </td>
  <td align="center">
<math>~></math>
  </td>
  <td align="left">
<math>~\frac{1}{\gamma_g}</math>
  </td>
  <td align="center">
<math>~\Rightarrow</math>&nbsp; &nbsp; &nbsp; stable
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~<</math>
  </td>
  <td align="left">
<math>~\frac{1}{\gamma_g}</math>
  </td>
  <td align="center">
<math>~\Rightarrow</math>&nbsp; &nbsp; &nbsp; unstable
  </td>
</tr>
</table>
This is another way of expressing the same stability criterion for polytropes.
</li>
<li>
Examples:  &nbsp; An n = 1 polytope is ''unstable toward convection'' if expansions (or contractions) occur along an adiabat with  <math>~\gamma_g < 2</math>.  Alternatively, an n = 5 polytope is  ''unstable toward convection'' if expansions (or contractions) occur along an adiabat with <math>~\gamma_g < \tfrac{6}{5}</math>.
</li></ul>

=See Also=
* [http://adsabs.harvard.edu/abs/1917RSPSA..93..148R Lord Rayleigh (1917, Proc. Royal Society of London. Series A, 93, 148-154)] &#8212; ''On the Dynamics of Revolving Fluids''
* [http://adsabs.harvard.edu/abs/1977ApJ...214..584M P. S. Marcus, W. H. Press, &amp; S. A. Teukolsky (1977, ApJ, 214, 584- 597)] &#8212; ''Stablest Shapes for an Axisymmetric Body of Gravitating, Incompressible Fluid'' (includes torus with non-uniform rotation)
<ol type="a"><li>Shortly after their equation (3.2), Marcus, Press &amp; Teukolsky make the following statement: "&hellip; we know that an ''equilibrium'' incompressible configuration must rotate uniformly on cylinders (the famous "Poincar&eacute;-Wavre" theorem, cf. Tassoul 1977, &Sect;4.3) &hellip;"</li></ol>
* Referring to our [[ThreeDimensionalConfigurations/RiemannTypeI#Riemann_Type_1_Ellipsoids|accompanying discussion of Type 1 Riemann ellipsoids]], it seems that uniform rotation on cylinders is not required.  What's going on?


{{ SGFfooter }}