Difference between revisions of "User:Tohline/ThreeDimensionalConfigurations/JacobiEllipsoids"

From VistrailsWiki
Jump to navigation Jump to search
(→‎Jacobi Ellipsoids: Begin working through expressions for first derivatives of various functions)
(→‎Jacobi Ellipsoids: Continue developing derivatives wrt x)
Line 333: Line 333:
</tr>
</tr>


<tr>
  <td align="right">
<math>~k^'</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\frac{d}{dx}\biggl[\frac{1 - x^2}{1 - y^2} \biggr]^{1/2} = \frac{-x}{(1 - x^2)^{1/2}(1 - y^2)^{1/2}} \, ,
</math>
  </td>
</tr>
<tr>
  <td align="right">
<math>~F^'</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\frac{\partial F(\theta,k)}{\partial k} \cdot k^' \, ,
</math>
  </td>
</tr>
<tr>
  <td align="right">
<math>~E^'</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\frac{\partial E(\theta,k)}{\partial k} \cdot k^' \, .
</math>
  </td>
</tr>
</table>
</table>
</div>
</div>


 
Now, according to [http://functions.wolfram.com/EllipticIntegrals/EllipticF/introductions/IncompleteEllipticIntegrals/ShowAll.html online Wolfram documentation],
[http://functions.wolfram.com/EllipticIntegrals/EllipticF/introductions/IncompleteEllipticIntegrals/ShowAll.html Derivatives of E and F]


=See Also=
=See Also=

Revision as of 03:32, 24 June 2016

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

Jacobi Ellipsoids

General Coefficient Expressions

As has been detailed in an accompanying chapter, the gravitational potential anywhere inside or on the surface, <math>~(a_1,a_2,a_3) ~\leftrightarrow~(a,b,c)</math>, of an homogeneous ellipsoid may be given analytically in terms of the following three coefficient expressions:

<math> ~A_1 </math>

<math> ~= </math>

<math>~2\biggl(\frac{b}{a}\biggr)\biggl(\frac{c}{a}\biggr) \biggl[ \frac{F(\theta,k) - E(\theta,k)}{k^2 \sin^3\theta} \biggr] \, , </math>

<math> ~A_3 </math>

<math> ~= </math>

<math> ~\biggl(\frac{b}{a}\biggr) \biggl[ \frac{(b/a) \sin\theta - (c/a)E(\theta,k)}{(1-k^2) \sin^3\theta} \biggr] \, , </math>

<math> ~A_2 </math>

<math> ~= </math>

<math>~2 - (A_1+A_3) \, ,</math>

where, <math>~F(\theta,k)</math> and <math>~E(\theta,k)</math> are incomplete elliptic integrals of the first and second kind, respectively, with arguments,

<math>~\theta = \cos^{-1} \biggl(\frac{c}{a} \biggr)</math>

      and      

<math>~k = \biggl[\frac{1 - (b/a)^2}{1 - (c/a)^2} \biggr]^{1/2} \, .</math>

[ EFE, Chapter 3, §17, Eq. (32) ]


Equilibrium Conditions for Jacobi Ellipsoids

Pulling from Chapter 6 — specifically, §39 — of Chandrasekhar's EFE, we understand that the semi-axis ratios, <math>~(\tfrac{b}{a},\tfrac{c}{a})</math> associated with Jacobi ellipsoids are given by the roots of the equation,

<math>~a^2 b^2 A_{12}</math>

<math>~=</math>

<math>~c^2 A_3 \, ,</math>

[ EFE, §39, Eq. (4) ]

and the associated value of the square of the equilibrium configuration's angular velocity is,

<math>~\frac{\Omega^2}{\pi G \rho}</math>

<math>~=</math>

<math>~2B_{12} \, ,</math>

[ EFE, §39, Eq. (5) ]

where,

<math>~A_{12}</math>

<math>~\equiv</math>

<math>~-\frac{A_1-A_2}{(a^2 - b^2)} \, ,</math>

[ EFE, §21, Eq. (107) ]

<math>~B_{12}</math>

<math>~\equiv</math>

<math>~A_2 - a^2A_{12} \, .</math>

[ EFE, §21, Eq. (105) ]


Taken together, we see that, written in terms of the two primary coefficients, <math>~A_1</math> and <math>~A_3</math>, the pair of defining relations for Jacobi ellipsoids is:


<math>~f_J</math>

<math>~\equiv</math>

<math>~\biggl(\frac{b}{a}\biggr)^2 \biggl[ \frac{2(1-A_1)-A_3}{1 - (b/a)^2} \biggr]-\biggl(\frac{c}{a}\biggr)^2 A_3 =0 </math>

and

<math>~\frac{\Omega^2}{\pi G \rho}</math>

<math>~=</math>

<math>~2\biggl\{2 - (A_1+A_3) - \biggl[ \frac{2(1-A_1)-A_3}{1 - (b/a)^2} \biggr] \biggr\}</math>

Roots of the Governing Relation

To simplify notation, here we will set,

<math>~x \equiv \frac{b}{a}</math>

      and      

<math>~y \equiv \frac{c}{a} \, ,</math>

in which case the governing relation is,

<math>~f_J</math>

<math>~=</math>

<math>~\frac{x^2}{1-x^2} \biggl[ 2(1-A_1)-A_3\biggr]-y^2 A_3 =0 \, .</math>

Our plan is to employ the Newton-Raphson method to find the root(s) of the <math>~f_J = 0</math> relation, typically holding <math>~y</math> fixed and using the Newton-Raphson technique to identify the corresponding "root" value of <math>~x</math>. Using this approach, the Newton-Raphson technique requires specification of, not only the function, <math>~f_J</math>, but also its first derivative,

<math>~f_J^'</math>

<math>~=</math>

<math>~\frac{df_J}{dx} \, .</math>

Let's determine the requisite expression, using a prime superscript to indicate differentiation with respect to <math>~x</math>.

<math>~f_J^'</math>

<math>~=</math>

<math>~ \biggl[ 2(1-A_1)-A_3\biggr]\biggl[ \frac{2x}{(1-x^2)^2} \biggr] +\frac{x^2}{1-x^2} \biggl[ 2(1-A_1^')-A_3^'\biggr] -y^2 A_3^' \, , </math>

where, given that <math>~\theta</math> does not depend on <math>~x</math>,

<math> ~A_1^' </math>

<math> ~= </math>

<math>~\frac{2y}{\sin^3\theta} \cdot \frac{d}{dx}\biggl\{ \frac{x}{k^2} \biggl[ F(\theta,k) - E(\theta,k) \biggr] \biggr\} </math>

 

<math> ~= </math>

<math>~\frac{2y}{k^3 \sin^3\theta} \cdot \biggl\{ [ F - E ] [1 - 2xk^' ] +xk [ F^' - E^' ]\biggr\} \, , </math>

<math> ~A_3^' </math>

<math> ~= </math>

<math> ~\frac{1}{\sin^3\theta} \cdot \frac{d}{dx}\biggl\{ \frac{x}{(1-k^2)} \biggl[ x \sin\theta - yE(\theta,k)\biggr] \biggr\} </math>

 

<math> ~= </math>

<math> ~\frac{1}{(1-k^2)^2\sin^3\theta} \biggl\{ \biggl[ x \sin\theta - yE\biggr]\biggl[ (1-k^2) +2xkk^' \biggr] + x(1-k^2) \biggl[ \sin\theta - yE^'\biggr] \biggr\}\, , </math>

<math>~k^'</math>

<math>~=</math>

<math>~ \frac{d}{dx}\biggl[\frac{1 - x^2}{1 - y^2} \biggr]^{1/2} = \frac{-x}{(1 - x^2)^{1/2}(1 - y^2)^{1/2}} \, , </math>

<math>~F^'</math>

<math>~=</math>

<math>~ \frac{\partial F(\theta,k)}{\partial k} \cdot k^' \, , </math>

<math>~E^'</math>

<math>~=</math>

<math>~ \frac{\partial E(\theta,k)}{\partial k} \cdot k^' \, . </math>

Now, according to online Wolfram documentation,

See Also


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