User:Tohline/Appendix/Mathematics/ToroidalSynopsis01
From VisTrailsWiki
Contents 
Synopsis of Toroidal Coordinate Approach
 Tiled Menu  Tables of Content  Banner Video  Tohline Home Page  
Basics
Here we attempt to bring together — in as succinct a manner as possible — our approach and C.Y. Wong's (1973) approach to determining the gravitational potential of an axisymmetric, uniformdensity torus that has a major radius, , and a minor, crosssectional radius, . The relevant toroidal coordinate system is one based on an anchor ring of major radius,
If the meridionalplane location of the anchor ring — as written in cylindrical coordinates — is, , then the preferred toroidalcoordinate system has meridionalplane coordinates, , defined such that,



and, 



where,



and, 



and has the same sign as . Mapping the other direction, we have,



and, 



The threedimensional differential volume element is,





Note that, if identifies the surface of the uniformdensity torus, then,






and, 



and when the integral over the volume element is completed — that is, over all , over all , and over the "radial" interval, — the resulting volume is,





Also, given that,



and, 



we have,













Arguments of Q and K
Want to explore argument of , namely,
Therefore,
























where,
Now, notice that,



















Hence,


















Also,









NOTE by Tohline: On 5 June 2018, I used Excel to test the validity of the toroidalcoordinatebased expressions that have been derived here, and summarized in the following table.
Summary Table 


Quantity 
Raw Expression in Cylindrical Coordinates 
Expression in Terms of Toroidal Coordinates 






Potential
The potential, , at a point due to an arbitrary mass distribution, , is,



Volume Element
See above.
Green's Function
Wong (1973) points out that in toroidal coordinates the Green's function is,






Wong (1973), Eq. (2.53) 
where, are "Legendre functions of the first and second kind with order and degree (toroidal harmonics)," and is the Neumann factor, that is, and for all . According to CT99, the Green's function written in toroidal coordinates is,






Things to note:
 The argument of in the CT99 expression is very different from the argument of (or ) in Wong's expression.
 In both expressions, is the integer multiplying the azimuthal angle, , but in the CT99 expression this index serves as the subscript index of the function, , whereas in Wong's expression it serves as the superscript index of both functions, and . In this context, note that,
 Wong's expression contains not only a summation over the index, , but also an explicit summation over the index, , which multiplies the "polar" angle, ; no such additional summation appears in the CT99 expression, indicating that the summation over has implicitly already been completed. In this context, note that the summation expression gives,
or, specifically for the case of ,
 Next thought …
New Insight
Identical Green's Function Expressions
Caltech's electronic version of A. Erdélyi's (1953) Higher Transcendental Functions; in particular, §3.11, p. 169 of Volume I gives,




A. Erdélyi (1953): Volume I, §3.11, p. 169, eq. (4) 
Valid for: 
real 



… 

real 
If we make the association, , then we also have,



in which case,






Put together, then, these expressions mean,






Also, from our derived relation,






we can write,



Next, we pull from the accompanying discussion of the Gil et al. (2000) expression,




Gil, Segura, & Temme (2000): eq. (8) 
where: 

Identifying with , in which case we have , and, switching index notation, , gives,






where, this last step also incorporates the "Euler reflection formula for gamma functions", namely,



So we have,






Hence, the CT99 Green's function may be rewritten as,






Let's compare this with Wong's (1973) Green's function, namely,






Wong (1973), Eq. (2.53) 
[June 10, 2018] Amazing! The two expressions match precisely!
Integral Over Polar Angle
On p. 293 of his article, Wong (1973) references A. Erdélyi's (1953) Higher Transcendental Functions and states, "It can be shown that …"

Let's see if we can replicate this integration result. (We tried using WolframAlpha's integration tool, but were unsuccessful.) We presume that Wong initially took the following steps to simplify the lefthandside of this integral expression:






That is to say, given that the limits of the integration are to : The second integral on the righthandside will go to zero because the numerator of its integrand — i.e., — is an odd function; and, with regard to the first integral on the righthandside, the lower integration limit can be set to zero and the result doubled because the numerator of its integrand — i.e., — is an even function.
Now, examining Wong's reference to A. Erdélyi's (1953) Higher Transcendental Functions, we find:

Equation (5) in §3.7, p. 155 of Volume I gives,
This is valid for,
and

Equation (10) in §3.7, p. 156 of Volume I gives,
A. Erdélyi (1953): Volume I, §3.7, p. 156, eq. (10)
Valid for: and
Focusing in on this second integral definition of the Legendre function, , let's set , , , and, , where is zero or a positive integer. in this case we have,



where the prefactor of the second term — that is, — goes to zero for all allowable values of the integer, . Hence,






where we have set,
The righthandside of this last expression exactly matches the result published by Wong (1973) and rewritten inside the box, above.
Q.E.D.
Integral Over Radial Coordinate
On p. 294 of his article, Wong (1973) references A. Erdélyi's (1953) Higher Transcendental Functions and states that,

Let's see if we can replicate this integration result. Let's start with the "Key Equation",




A. Erdélyi (1953): Volume I, §3.12, p. 169, eq. (1) 
where, and denote any solutions of Legendre's differential equation 
In order to match the lefthand side of Wong's expression, we should adopt the associations: , , , , and . In which case, Erdélyi's (1953) expression becomes,



This is very similar to, but does not appear to match, Wong's expression.
Reconciliation Attempt #1: Keeping in mind that,




Abramowitz & Stegun (1995), p. 334, eq. (8.5.3) 
NOTE: , as well as , satisfies this same recurrence relation. 
which means, after making the associations, , and , that,






the integral can be rewritten as,






Returning to the same recurrence "Key Equation," but this time adopting the associations, , and , we can write,



in which case the integral becomes,



Hooray! This does indeed match Wong's relation (2.58)!
Evaluating Q^{2}_{ν}
How do we evaluate an "order 2" associated Legendre function, such as, ?
Start by recognizing that, from our identified set of "Key Equations,"




Abramowitz & Stegun (1995), p. 333, eq. (8.5.1) 
NOTE: , as well as , satisfies this same recurrence relation. 
Hence, after adopting the association, , we have, when ,



… 
for 
and, when ,



… 
for 
All we are missing, then, is expressions for the index, , that is, we need independent expressions for and for .
From DLMF §14.6.2, or from §3.6.1, eq. (7) (p. 149) of A. Erdélyi's (1953) Higher Transcendental Functions we find,



or, from DLMF §14.6.4, and from §3.6.1, eq. (5) (p. 148) of A. Erdélyi's (1953) Higher Transcendental Functions we have,



Leaning on the latter of the two possible expressions, we therefore have,






Therefore, starting from the "Key Equation",



for example … 




Abramowitz & Stegun (1995), p. 337, eq. (8.13.3) 
Abramowitz & Stegun (1995), p. 337, eq. (8.13.4) 
we associate , which implies,
Hence, drawing on the DLMF's §19.4 expressions for the derivatives of complete elliptic integrals and appreciating that, , we find,















As a result,









With the exception of the leading negative sign, this appears to match the tabulated values published in the bottom half of Table IX (p. 1923) of [MF53].
Now, let's evaluate the second derivative …


















Hence, we have,









This also appears to match the tabulated values published in the bottom half of Table IX (p. 1923) of [MF53].
Summary  


Let's push forward a bit more; specifically, let's find the expressions that are relevant when . When ,












And, when ,












See Also
 Arthur Erdélyi (1953, New York: McGrawHill) — Higher Transcendental Functions, especially Volume I, Chapter 3 (pp. 120  174)
 T. G. Cowling (1940, Quart. J. Math. Oxford Ser., 11, 222  224) — On Certain Expansions Involving Products of Legendre Functions
© 2014  2021 by Joel E. Tohline 