User:Tohline/Appendix/Ramblings/Bordeaux
From VisTrailsWiki
(→Second (n = 1) Term) 
(→Second (n = 1) Term) 

Line 1,338:  Line 1,338:  
  While keeping in mind that <math>~z_0 = \cosh\eta_0</math>, let's attempt to express this leading coefficient,  +  While keeping in mind that, 
+  <table border="0" cellpadding="5" align="center">  
+  
+  <tr>  
+  <td align="right">  
+  <math>~z_0</math>  
+  </td>  
+  <td align="center">  
+  <math>~=</math>  
+  </td>  
+  <td align="left">  
+  <math>~\cosh\eta_0 \, ,</math>  
+  </td>  
+  <td align="center"> and, </td>  
+  <td align="right">  
+  <math>~k_0</math>  
+  </td>  
+  <td align="center">  
+  <math>~=</math>  
+  </td>  
+  <td align="left">  
+  <math>~\biggl[ \frac{2}{\coth\eta_0 + 1}\biggr]^{1 / 2} \, ,</math>  
+  </td>  
+  </tr>  
+  </table>  
+  
+  let's attempt to express this leading coefficient, <math>~C_1(\cosh\eta_0)</math>, entirely in terms of the pair of complete elliptic integral functions.  
<table border="0" cellpadding="5" align="center">  <table border="0" cellpadding="5" align="center">  
Line 1,377:  Line 1,403:  
</td>  </td>  
<td align="left">  <td align="left">  
  <math>~~\frac{1}{2^2}\biggl\{  +  <math>~~\frac{1}{2^2}\biggl\{ (4z^2  1 )k_0 K(k_0)  4 z[2(z+1)]^{1 / 2} E(k_0) 
4z \biggl[ z~k_0 K(k_0)  [2(z+1)]^{1 / 2} E(k_0) \biggr] \biggr\}  4z \biggl[ z~k_0 K(k_0)  [2(z+1)]^{1 / 2} E(k_0) \biggr] \biggr\}  
\times  \times  
Line 1,399:  Line 1,425:  
\times  \times  
\biggl\{ [2^3(z1)(z^21)]^{1 / 2} [4zE(k_0)  (z1)K(k_0)] \biggr\}  \biggl\{ [2^3(z1)(z^21)]^{1 / 2} [4zE(k_0)  (z1)K(k_0)] \biggr\}  
+  </math>  
+  </td>  
+  </tr>  
+  
+  <tr>  
+  <td align="right">  
+   
+  </td>  
+  <td align="center">  
+  <math>~\equiv</math>  
+  </td>  
+  <td align="left">  
+  <math>~\frac{1}{2^2} \cdot k_0 K(k_0)  
+  \times  
+  \biggl\{ z k_0~K ( k_0 )  
+  ~~(z^2+3) \biggl[ \frac{2}{(z1)(z^21)} \biggr]^{1 / 2} E(k_0)  
+  \biggr\}  
+  </math>  
+  </td>  
+  </tr>  
+  
+  <tr>  
+  <td align="right">  
+   
+  </td>  
+  <td align="center">  
+   
+  </td>  
+  <td align="left">  
+  <math>~  
+  + 5[2^3(z1)(z^21)]^{1 / 2} \biggl[ ~z~k_0 K(k_0)  [2(z+1)]^{1 / 2} E(k_0) \biggr]  
+  \times  
+  \biggl\{ 4zE(k_0)  (z1)K(k_0) \biggr\}  
</math>  </math>  
</td>  </td> 
Revision as of 15:48, 26 June 2020
Contents 
Université de Bordeaux
 Tiled Menu  Tables of Content  Banner Video  Tohline Home Page  
SpheroidRing Systems
Through a research collaboration at the Université de Bordeaux, B. Basillais & J. M. Huré (2019), MNRAS, 487, 45044509 have published a paper titled, Rigidly Rotating, Incompressible SpheroidRing Systems: New Bifurcations, Critical Rotations, and Degenerate States.
Exterior Gravitational Potential of Toroids
J. M. Huré, B. Basillais, V. Karas, A. Trova, & O. Semerák (2020), MNRAS, 494, 58255838 have published a paper titled, The Exterior Gravitational Potential of Toroids. Here we examine how their work relates to the published work by C.Y. Wong (1973, Annals of Physics, 77, 279), which we have separately discussed in detail.
Their Presentation
On an initial reading, it appears as though the most relevant section of the Huré, et al. (2020) paper is §8 titled, The Solid Torus. They write the gravitational potential in terms of the series expansion,



Huré, et al. (2020), §7, p. 5831, Eq. (42)
where, after setting and acknowledging that we can write,



Huré, et al. (2020), §8, p. 5832, Eqs. (52) & (53)
and,



Huré, et al. (2020), §8, p. 5832, Eq. (54)
Note that the argument of the elliptic integral functions is,



where, 



Huré, et al. (2020), §2, p. 5826, Eqs. (4) & (5)
Our Presentation of Wong's (1973) Result
Setup
From our accompanying discussion of Wong's (1973) derivation, the exterior potential is given by the expression,



where,






and where, in terms of the major ( R ) and minor ( d ) radii of the torus — or their ratio, ε ≡ d/R,






These expressions incorporate a number of basic elements of a toroidal coordinate system. In what follows, we will also make use of the following relations:
Once the primary scale factor, , has been specified, the illustration shown at the bottom of this inset box — see also our accompanying set of similar figures used by other researchers — helps in explaining how transformations can be made between any two of the referenced coordinate pairs: , , .
Given that (sin^{2}θ + cos^{2}θ) = 1, we have,
We deduce as well that,
Given the definitions,
we can use the transformations,
Or we can use the transformations,
Additional potentially useful relations can be found in an accompanying chapter wherein we present a variety of basic elements of a toroidal coordinate system. 
Leading (n = 0) Term
Wong's Expression
Now, from our separate derivation we have,



And if we make the functionargument substitution, , in the "Key Equation,"




Abramowitz & Stegun (1995), p. 337, eq. (8.13.3) 
we can write,



where, from above, we recognize that,
So, the leading (n = 0) term gives,












ThinRing Evaluation of C_{0}
In an accompanying discussion of the thinring approximation, we showed that as



Hence, in this limit we can write,



More General Evaluation of C_{0}
NOTE of CAUTION: In our above evaluation of the toroidal function, , we appropriately associated the function argument, , with the hyperboliccotangent of ; that is, we made the substitution, . Here, as we assess the behavior of, and evaluate, the leading coefficient, , an alternate substitution is appropriate, namely, ; we affix the subscript zero to this function argument in an effort to minimize possible confusion with the argument, . 
Drawing from our accompanying tabulation of Toroidal Function Evaluations, we have more generally,









where,



Looking back at our previous numerical evaluation of when , we see that,

Attempting to simplify this expression, we have,



























This last, simplifed expression gives, as above, . TERRIFIC!
Finally then, for any choice of ,






Second (n = 1) Term
The second (n = 1) term in Wong's (1973) expression for the exterior potential is,



where, is the same as above, and,



Now, from our accompanying table of "Toroidal Function Evaluations", it appears as though,



where, as above,



Hence, we have,


















From the above function tabulations & evaluations — for example, and — and a separate listing of Example Recurrence Relations, we have,
Then, letting and, for all m ≥ 2, letting in the "Key Equation,"
we have,
Therefore, specifically for m = 1, we obtain the recurrence relation,

While keeping in mind that,



and, 



let's attempt to express this leading coefficient, , entirely in terms of the pair of complete elliptic integral functions.


















© 2014  2020 by Joel E. Tohline 