Editing Apps/ReviewStahler83 (section)

===Determining the Gravitational Potential===

In the chapter of this H_Book that focuses on a discussion of [[Apps/DysonWongTori|Dyson-Wong tori]], we have included the expression for the [[Apps/DysonWongTori#RingPotential|gravitational potential of a thin ring]] of mass, <math>~M</math>, that passes through the meridional plane at coordinate location, <math>~(\varpi^', z^') = (a, 0)</math>, as derived, for example, by [https://archive.org/details/foundationsofpot033485mbp O. D. Kellogg (1929)] and by [https://www.amazon.com/Theory-Potential-W-D-Macmillan/dp/0486604861/ref=sr_1_2?s=books&ie=UTF8&qid=1503444466&sr=1-2&keywords=the+theory+of+the+potential W. D. MacMillan (1958; originally, 1930)], namely,
<div align="center">
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~\Phi(\varpi, z)</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
- \biggl[ \frac{2GMc}{\pi\rho_1}\biggr] K(k)
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
- \biggl[ \frac{2GM}{\pi } \biggr]\frac{1}{\sqrt{(\varpi+a)^2 + z^2}} \times K(k) \, ,
</math>
  </td>
</tr>
</table>
</div>
where,

<div align="center">
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~k</math>
 </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\biggl[ \frac{4a\varpi }{(\varpi+a)^2 + z^2} \biggr]^{1 / 2}  \, .
</math>
  </td>
</tr>
</table>
</div>

[http://adsabs.harvard.edu/abs/1983ApJ...268..155S Stahler (1983a)] has argued that a reasonably good approximation to the gravitational potential due to any extended axisymmetric mass distribution can be obtained by adding up the contributions due to many ''thin rings'' &#8212; <math>~\delta M(\varpi^', z^')</math>  being the appropriate differential mass contributed by each ring element &#8212; positioned at various meridional coordinate locations throughout the mass distribution.  According to his independent derivation, the differential contribution to the potential, <math>~\delta\Phi_g(\varpi, z)</math>, due to each differential mass element is (see his equation 11 and the explanatory text that follows it):
<div align="center">
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~\delta\Phi_g(\varpi,z)</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
- \biggl[\frac{2G}{\pi \varpi^'}\biggr] \frac{\delta M}{[(\alpha + 1)^2 + \beta^2]^{1 / 2}}
\times K\biggl\{ \biggl[ \frac{4\alpha}{(\alpha+1)^2 + \beta^2} \biggr]^{1 / 2} \biggr\}
</math>
  </td>
</tr>
<!--
<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
- \biggl[\frac{2G}{\pi }\biggr] \frac{\delta M}{[(\varpi^' \alpha + \varpi^')^2 + (\varpi^' \beta)^2]^{1 / 2}}
\times K\biggl\{ \biggl[ \frac{4\alpha (\varpi^')^2}{(\varpi^' \alpha+\varpi^')^2 + (\varpi^' \beta)^2} \biggr]^{1 / 2} \biggr\}
</math>
  </td>
</tr>
-->
<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
- \biggl[\frac{2G}{\pi }\biggr] \frac{\delta M}{[(\varpi + \varpi^')^2 + (z^' - z)^2]^{1 / 2}}
\times K\biggl\{ \biggl[ \frac{4\varpi^' \varpi}{(\varpi +\varpi^')^2 + (z^' - z)^2} \biggr]^{1 / 2} \biggr\} \, .
</math>
  </td>
</tr>
</table>
</div>
Stahler's expression for each ''thin ring'' contribution is clearly the same as the expressions presented by [https://archive.org/details/foundationsofpot033485mbp Kellogg (1929)] and [https://www.amazon.com/Theory-Potential-W-D-Macmillan/dp/0486604861/ref=sr_1_2?s=books&ie=UTF8&qid=1503444466&sr=1-2&keywords=the+theory+of+the+potential MacMillan (1958)] for a ring that cuts through the meridional plane at <math>~(\varpi^', z^') = (a, 0)</math>.

From our broad analysis of the integral Poisson equation expressed in cylindrical coordinates, we can independently state &#8212; see the discussion of [[2DStructure/ToroidalCoordinates#Expression_for_the_Axisymmetric_Potential|our original derivation]], or [[Apps/DysonWongTori#Our_Integral_Expressions|separate summary]] &#8212; that the exact integral expression for the gravitational potential due to any axisymmetric mass-density distribution, <math>~\rho(\varpi^', z^')</math>, is,
<div align="center">
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~\Phi(\varpi, z)</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~- \frac{2G}{\varpi^{1 / 2}} \int\int (\varpi^')^{1 / 2} \mu K(\mu) \rho(\varpi^', z^') d\varpi^' dz^' \, ,</math>
  </td>
</tr>
</table>
</div>
where, 
<div align="center">
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~\mu^2</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\biggl[\frac{4\varpi^' \varpi}{(\varpi + \varpi^')^2 + (z^' - z)^2} \biggr] \, .
</math>
  </td>
</tr>
</table>
</div>
Recognizing that, for axisymmetric structures, the differential mass element is, <math>~dM^' = 2\pi \rho(\varpi^', z^') \varpi^' d\varpi^' dz^'</math>, this integral expression may be rewritten as,
<div align="center">
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~\Phi(\varpi, z)</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~- \frac{2G}{\varpi^{1 / 2}} \int\int (\varpi^')^{1 / 2} \mu K(\mu) \biggl[ \frac{dM^'}{2\pi \varpi^'} \biggr]  </math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~- \frac{G}{\pi} \int\int \biggl[ \frac{1}{\varpi^'\varpi}\biggr]^{1 / 2} \biggl[\frac{4\varpi^' \varpi}{(\varpi + \varpi^')^2 + (z^' - z)^2} \biggr]^{1 / 2} K(\mu) dM^'  </math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~- \frac{2G}{\pi} \int\int  \biggl[\frac{1}{(\varpi + \varpi^')^2 + (z^' - z)^2} \biggr]^{1 / 2} K(\mu) dM^'  \, .</math>
  </td>
</tr>
</table>
</div>
We see, therefore, that our differential contribution to the potential exactly matches [http://adsabs.harvard.edu/abs/1983ApJ...268..155S Stahler's (1983a)].