User:Tohline/Appendix/Ramblings/EllipticCylinderCoordinates
Elliptic Cylinder Coordinates
|
|---|
| | Tiled Menu | Tables of Content | Banner Video | Tohline Home Page | |
Background
Building on our general introduction to Direction Cosines in the context of orthogonal curvilinear coordinate systems, here we detail the properties of Elliptic Cylinder Coordinates. First, we present this coordinate system in the manner described by [MF53]; second, we provide an alternate presentation, obtained from Wikipedia; then, third, we investigate whether or not a related coordinate system based on concentric (rather than confocal) elliptic surfaces can be satisfactorily described.
It is useful to keep in mind various properties of a set of confocal ellipses in which the location of the pair of foci is fixed at, <math>~(x, y) = (\pm~ c, 0)</math>, and the semi-major axis, <math>~a</math>, is the parameter. The relevant prescriptive relation is,
|
<math>~1</math> |
<math>~=</math> |
<math>~\frac{x^2}{a^2} + \frac{y^2}{a^2 - c^2}</math> for, <math>~a > c\, .</math> |
The semi-minor axis length, <math>~b</math>, and the eccentricity, <math>~e</math>, of the ellipse are, respectively,
|
<math>~b</math> |
<math>~=</math> |
<math>~(a^2 - c^2)^{1 / 2} \, ,</math> |
and, |
<math>~e\equiv \biggl[1 - \frac{b^2}{a^2} \biggr]^{1 / 2}</math> |
<math>~=</math> |
<math>~\frac{c}{a} \, .</math> |
The length, <math>~\ell_1</math>, of the chord that connects one focus to a point, <math>~P(x,y)</math>, on the ellipse is,
|
<math>~\ell_1</math> |
<math>~=</math> |
<math>~a + \biggl(\frac{c}{a}\biggr)x \, ;</math> |
and the length, <math>~\ell_2</math>, of the chord that connects the second focus to that same point on the ellipse is,
|
<math>~\ell_2</math> |
<math>~=</math> |
<math>~a - \biggl(\frac{c}{a}\biggr)x \, .</math> |
It is easy to see that, for any point on the ellipse, the sum of these two lengths is, <math>~2a</math>. It is worth noting as well that the associated <math>~y</math> coordinate of the relevant point can be obtained from the relation,
|
<math>~ \ell_1^2</math> |
<math>~=</math> |
<math>~y^2 + (c+x)^2</math> |
|
<math>~\Rightarrow~~~ (ay)^2</math> |
<math>~=</math> |
<math>~(a \ell_1)^2 - (ac+ ax)^2</math> |
|
|
<math>~=</math> |
<math>~(a^2 + cx )^2 - (ac+ ax)^2</math> |
|
|
<math>~=</math> |
<math>~(a^4 + 2a^2 cx + c^2x^2) - (a^2c^2 + 2a^2 cx + a^2x^2)</math> |
|
|
<math>~=</math> |
<math>~(a^4 + c^2x^2) - (a^2c^2 + a^2x^2)</math> |
|
|
<math>~=</math> |
<math>~(a^2-x^2)(a^2 - c^2) </math> |
|
<math>~\Rightarrow ~~~ y</math> |
<math>~=</math> |
<math>~\pm~\frac{1}{a}\biggl[ (a^2-x^2)(a^2 - c^2) \biggr]^{1 / 2} \, .</math> |
MF53
Definition
From MF53's Table of Separable Coordinates in Three Dimensions (see their Chapter 5, beginning on p. 655), we find the following description of Elliptic Cylinder Coordinates (p. 657).
|
Elliptic Cylindrical Coordinates (MF53 Primary Definition) | |||||||||
| |||||||||
|
Alternate Definition | |||||||||
|
Making the substitutions, <math>~\xi_3 \rightarrow z</math>, <math>~\xi_2 \rightarrow \cos\nu</math>, and <math>~\xi_1 \rightarrow d\cosh\mu</math>, we equally well obtain:
|
Notice that,
|
<math>~\frac{x^2}{d^2 \cosh^2\mu} + \frac{y^2}{d^2 \sinh^2\mu}</math> |
<math>~=</math> |
<math>~\cos^2\nu + \sin^2\nu = 1 \, .</math> |
Hence, as is pointed out in a related Wikipedia discussion, "… this shows that curves of constant <math>~\mu</math> form ellipses." For a given choice of <math>~\mu</math> — say, <math>~\mu_0</math> — let's see how the shape of the resulting ellipse relates to the standard ellipses described in our background discussion, above. The semi-major axis of the selected ellipse must be,
<math>a = d\cosh\mu_0 \, .</math>
And its eccentricity must be obtainable from the relation,
|
<math>~a^2 - c^2 = a^2(1 - e^2)</math> |
<math>~=</math> |
<math>~d^2 \sinh^2\mu_0</math> |
|
|
<math>~=</math> |
<math>~a^2 \tanh^2\mu_0 = a^2 \biggl(1 - \frac{1}{\cosh^2\mu_0} \biggr)</math> |
|
<math>~\Rightarrow~~~ e^2</math> |
<math>~=</math> |
<math>~\frac{1}{\cosh^2\mu_0} \, .</math> |
We note, as well, that the x-coordinate location of the focus of the selected ellipse is,
|
<math>~c^2 = a^2 e^2</math> |
<math>~=</math> |
<math>~d^2\, .</math> |
This emphasizes a key property of the MF53 Elliptic Cylindrical Coordinate system, viz., the family of ellipses that result from selecting various values of <math>~\mu_0</math> is a family of confocal ellipses.
Scale Factors
Primary
Appreciating that,
|
<math>~\frac{\partial y}{\partial \xi_1}</math> |
<math>~=</math> |
<math>~ +\biggl[ (\xi_1^2 - d^2)(1 - \xi_2^2) \biggr]^{- 1 / 2}\xi_1(1-\xi_2^2) \, , </math> and that, |
|
<math>~\frac{\partial y}{\partial \xi_2}</math> |
<math>~=</math> |
<math>~ - \biggl[ (\xi_1^2 - d^2)(1 - \xi_2^2) \biggr]^{- 1 / 2}\xi_2(\xi_1^2 - d^2) \, , </math> |
we find that the respective scale factors are given by the expressions,
|
<math>~ h_1^2</math> |
<math>~=</math> |
<math>~\biggl(\frac{\partial x}{\partial\xi_1} \biggr)^2 + \biggl(\frac{\partial y}{\partial\xi_1} \biggr)^2 + \biggl(\frac{\partial z}{\partial\xi_1} \biggr)^2 </math> |
|
|
<math>~=</math> |
<math>~\xi_2^2 +\biggl[ (\xi_1^2 - d^2)(1 - \xi_2^2) \biggr]^{- 1 }\xi_1^2 (1-\xi_2^2)^2 </math> |
|
|
<math>~=</math> |
<math>~ (\xi_1^2 - d^2)^{- 1 } [ (\xi_1^2 - d^2)\xi_2^2 +\xi_1^2 (1-\xi_2^2) ]</math> |
|
|
<math>~=</math> |
<math>~ \biggl[ \frac{ \xi_1^2 - d^2 \xi_2^2 }{\xi_1^2 - d^2} \biggr] \, ;</math> |
|
<math>~ h_2^2</math> |
<math>~=</math> |
<math>~\biggl(\frac{\partial x}{\partial\xi_2} \biggr)^2 + \biggl(\frac{\partial y}{\partial\xi_2} \biggr)^2 + \biggl(\frac{\partial z}{\partial\xi_2} \biggr)^2 </math> |
|
|
<math>~=</math> |
<math>~\xi_1^2 + \biggl[ (\xi_1^2 - d^2)(1 - \xi_2^2) \biggr]^{- 1 }\xi_2^2(\xi_1^2 - d^2)^2 </math> |
|
|
<math>~=</math> |
<math>~(1 - \xi_2^2)^{- 1 } [\xi_1^2(1 - \xi_2^2) + \xi_2^2(\xi_1^2 - d^2) ]</math> |
|
|
<math>~=</math> |
<math>~\biggl[ \frac{ \xi_1^2 - d^2 \xi_2^2 }{1 - \xi_2^2} \biggr] \, ;</math> |
|
<math>~ h_3^2</math> |
<math>~=</math> |
<math>~\biggl(\frac{\partial x}{\partial\xi_3} \biggr)^2 + \biggl(\frac{\partial y}{\partial\xi_3} \biggr)^2 + \biggl(\frac{\partial z}{\partial\xi_3} \biggr)^2 </math> |
|
|
<math>~=</math> |
<math>~1 \, . </math> |
These match the scale-factor expressions found in MF53.
Alternatively
Alternatively, the Wikipedia discussion gives,
|
<math>~h_\mu = h_\nu</math> |
<math>~=</math> |
<math>~d\sqrt{ \sinh^2\mu + \sin^2\nu}</math> |
|
<math>~\nabla^2\Phi</math> |
<math>~=</math> |
<math>~ \frac{1}{d^2(\sinh^2\mu + \sin^2\nu)} \biggl[ \frac{\partial^2 \Phi}{\partial \mu^2} + \frac{\partial^2 \Phi}{\partial \nu^2} \biggr] + \frac{\partial^2 \Phi}{\partial z^2} \, . </math> |
Inverting Coordinate Mapping
Inverting the original coordinate mappings, we find,
|
<math>~y^2</math> |
<math>~=</math> |
<math>~(\xi_1^2 - a^2)\biggl[ 1 - \biggl(\frac{x}{\xi_1}\biggr)^2 \biggr] </math> |
|
<math>~\Rightarrow ~~~0</math> |
<math>~=</math> |
<math>~(\xi_1^2 - a^2) ( \xi_1^2 - x^2 ) - \xi_1^2 y^2</math> |
|
|
<math>~=</math> |
<math>~(\xi_1^2 - a^2) \xi_1^2 - (\xi_1^2 - a^2) x^2 - \xi_1^2 y^2</math> |
|
|
<math>~=</math> |
<math>~ \xi_1^4 - \xi_1^2 (a^2 + x^2 + y^2) + a^2 x^2 </math> |
|
<math>~\Rightarrow~~~ \xi_1^2</math> |
<math>~=</math> |
<math>~ \frac{1}{2}\biggl\{ (a^2 + x^2 + y^2) \pm \biggl[ (a^2 + x^2 + y^2)^2 - 4a^2 x^2 \biggr]^{1 / 2} \biggr\} </math> |
Only the superior — that is, only the positive — sign will ensure positive values of <math>~\xi_1^2</math>, so in summary we have,
| ||||||||||||
Alternative Wikipedia Definition
This same MF53 coordinate system — with different variable notation — is referred to in a Wikipedia discussion as an "alternative and geometrically intuitive set of elliptic coordinates." The relevant mapping is, <math>~(d\sigma, \tau, z)_\mathrm{Wikipedia} = (\xi_1, \xi_2, \xi_3)_\mathrm{MF53}</math>. The identified mapping to Cartesian coordinates is,
|
<math>~x</math> |
<math>~=</math> |
<math>~(d\sigma)\tau </math> |
<math>~=</math> |
<math>~\xi_1 \xi_2 \, ;</math> |
|
<math>~y</math> |
<math>~=</math> |
<math>~d \biggl[ (\sigma^2 - 1 )(1 - \tau^2) \biggr]^{1 / 2} </math> |
<math>~=</math> |
<math>~\biggl[ (\xi_1^2 - d^2)(1 - \xi_2^2) \biggr]^{1 / 2} \, ;</math> |
|
<math>~z</math> |
<math>~=</math> |
<math>~z</math> |
<math>~=</math> |
<math>~\xi_3 \, .</math> |
According to the Wikipedia discussion, the three scale factors are,
|
<math>~h_\sigma^2</math> |
<math>~=</math> |
<math>~ d^2\biggl[\frac{\sigma^2 - \tau^2}{\sigma^2 - 1} \biggr] \, ; </math> |
<math>~h_\tau^2</math> |
<math>~=</math> |
<math>~ d^2\biggl[\frac{\sigma^2 - \tau^2}{1 - \tau^2} \biggr] \, ; </math> |
and, |
<math>~h_z^2</math> |
<math>~=</math> |
<math>~ 1 \, . </math> |
Interestingly, the Wikipedia discussion also includes the following expression for the Laplacian in this elliptic cylindrical coordinate system:
|
<math>~\nabla^2\Phi</math> |
<math>~=</math> |
<math>~ \frac{1}{d^2(\sigma^2 - \tau^2)} \biggl[ \sqrt{\sigma^2 - 1} \frac{\partial}{\partial\sigma}\biggl( \sqrt{\sigma^2 - 1} \frac{\partial\Phi}{\partial\sigma} \biggr) + \sqrt{1 - \tau^2 } \frac{\partial}{\partial\tau}\biggl( \sqrt{1 - \tau^2} \frac{\partial\Phi}{\partial\tau} \biggr) \biggr] + \frac{\partial^2\Phi}{\partial z^2} \, . </math> |
T5 Coordinates
Introduction
As has been made clear in our above review of the Elliptic Cylinder Coordinate system <math>~(\xi_1, \xi_2, \xi_3) = (d\cosh\mu, \cos\nu, z)</math>, individual curves within a family of confocal ellipses are identified by one's choice of the "radial" coordinate parameter, <math>~\mu</math>, or, alternatively, <math>~\xi_1</math>. Specifically, while the two foci of every ellipse are positioned along the x-axis at the same points — namely, <math>~(x, y) = (\pm~d, 0)</math> — the length of the semi-major axis is given by, <math>~a = \xi_1 = d\cosh\mu</math>.
In a separate chapter we have introduced a different orthogonal curvilinear coordinate system that we refer to as, "T3 Coordinates." In this coordinate system, <math>~(\lambda_1, \lambda_2, \lambda_3)</math>, individual surfaces within a family of concentric spheroids are identified by one's choice of a different "radial" coordinate parameter, <math>~\lambda_1</math>. Here we will adopt essentially this same set of orthogonal coordinates, using <math>~\lambda_1</math> and <math>~\lambda_2</math> to describe a family of concentric ellipses that is independent of the vertical-coordinate. We will refer to it as the …
| T5 Coordinate System | |||||||||||||||||||||
where,
and, <math>~0 < q < \infty</math> is the (fixed) parameter used to specify the eccentricity, <math>~e = [(q^2-1)^{1 / 2}/q]</math>, of every <math>~\lambda_1 = </math> constant curve within the family of concentric ellipses. |
Checking these expressions, we have,
|
<math>~\lambda_2 \equiv x (\sinh\zeta)^{1/(1-q^2)}</math> |
<math>~=</math> |
<math>~x \biggl( \frac{qy}{x} \biggr)^{1/(1-q^2)} = x \biggl( \frac{x}{qy} \biggr)^{1/(q^2-1)} = \biggl( \frac{x^{q^2}}{qy} \biggr)^{1/(q^2-1)} \, .</math> |
And,
|
<math>~\lambda_1 \equiv x\cosh\zeta</math> |
<math>~=</math> |
<math>~x\biggl[ 1 + \sinh^2\zeta\biggr]^{1 / 2} = x\biggl[ 1 + \biggl( \frac{qy}{x} \biggr)^2\biggr]^{1 / 2} = ( x^2 + q^2 y^2 )^{1 / 2} \, .</math> |
Comparing this last expression with the above background description of ellipses, we see that <math>~\lambda_1 = </math> constant — for example, <math>~\lambda_0</math> — is synonymous with an ellipse having …
- A semi-major axis of length, <math>~a = \lambda_0</math>;
- An eccentricity, <math>~e \equiv (1 - b^2/a^2)^{1 / 2} = [(q^2-1)/q^2]^{1 / 2}</math>;
- A pair of foci whose coordinate locations along the major axis are, <math>~(x, y) = (\pm~c, 0)</math>, where, <math>~c = ae</math>.
Invert Coordinate Mapping
Solving for <math>~x(\lambda_1, \lambda_2)</math>, we find …
|
<math>~\lambda_1 </math> |
<math>~=</math> |
<math>~( x^2 + q^2 y^2 )^{1 / 2} </math> |
|
<math>~\Rightarrow ~~~y^2 </math> |
<math>~=</math> |
<math>~\frac{1}{q^2}\biggl[ \lambda_1^2 - x^2 \biggr] \, .</math> |
And,
|
<math>~\lambda_2 </math> |
<math>~=</math> |
<math>~ \biggl( \frac{x^{q^2}}{qy} \biggr)^{1/(q^2-1)} </math> |
|
<math>~\Rightarrow ~~~ y^2</math> |
<math>~=</math> |
<math>~ \frac{1}{q^2} \biggl[ x^{2q^2} \lambda_2^{2(1-q^2)}\biggr] \, .</math> |
Hence,
|
<math>~x^{2q^2} \lambda_2^{2(1-q^2)} + x^2 - \lambda_1^2</math> |
<math>~=</math> |
<math>~0 \, . </math> |
Alternatively, solving for <math>~y(\lambda_1, \lambda_2)</math>, we find …
|
<math>~\lambda_1 </math> |
<math>~=</math> |
<math>~( x^2 + q^2 y^2 )^{1 / 2} </math> |
|
<math>~\Rightarrow ~~~x^2</math> |
<math>~=</math> |
<math>~\lambda_1^2 - q^2 y^2 \, .</math> |
And,
|
<math>~\lambda_2 </math> |
<math>~=</math> |
<math>~ \biggl( \frac{x^{q^2}}{qy} \biggr)^{1/(q^2-1)} </math> |
|
<math>~\Rightarrow ~~~x</math> |
<math>~=</math> |
<math>~(qy)^{1/q^2}~\lambda_2^{(q^2-1)/q^2} \, .</math> |
Hence,
|
<math>~(qy)^{2/q^2}~\lambda_2^{2(q^2-1)/q^2} -\lambda_1^2 + q^2 y^2</math> |
<math>~=</math> |
<math>~0 \, .</math> |
| Summary of Inverted Relations | ||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||
|
Example: <math>~q^2 = 2</math>
where, <math>~\Lambda \equiv \biggl[1 + \frac{4\lambda_1^2}{\lambda_2^2} \biggr]^{1 / 2} \, .</math> Note …
and,
Note as well that, <math>~\ell^{-2} = 2\lambda_1^2 \Lambda/(\Lambda + 1) \, .</math> | ||||||||||||||||||||||||||||||||
|
Example: <math>~q^2 = \frac{3}{2}</math>
| ||||||||||||||||||||||||||||||||
|
Example: <math>~q^2 = 3</math>
| ||||||||||||||||||||||||||||||||
|
Example: <math>~q^2 = 4</math>
|
Relevant Partial Derivatives
Before moving forward, we need to evaluate a number of relevant partial derivatives.
|
<math>~\frac{\partial \lambda_1}{\partial x}</math> |
<math>~=</math> |
<math>~ \frac{\partial}{\partial x} \biggl[x^2 + q^2y^2\biggr]^{1 / 2} = \frac{1}{2}\biggl[x^2 + q^2y^2\biggr]^{- 1 / 2} 2x = \frac{x}{\lambda_1} \, . </math> |
|
<math>~\frac{\partial \lambda_1}{\partial y}</math> |
<math>~=</math> |
<math>~ \frac{\partial}{\partial y} \biggl[x^2 + q^2y^2\biggr]^{1 / 2} = \frac{1}{2}\biggl[x^2 + q^2y^2\biggr]^{- 1 / 2} 2q^2 y = \frac{q^2 y}{\lambda_1} \, . </math> |
|
<math>~\frac{\partial \lambda_2}{\partial x}</math> |
<math>~=</math> |
<math>~ \frac{\partial}{\partial x} \biggl[x^{q^2/(q^2-1)} (q y)^{-1/(q^2-1)}\biggr] = \biggl[\frac{q^2}{q^2-1}\biggr] \frac{\lambda_2}{x} \, . </math> |
|
<math>~\frac{\partial \lambda_2}{\partial y}</math> |
<math>~=</math> |
<math>~ \frac{\partial}{\partial y} \biggl[x^{q^2/(q^2-1)} (q y)^{-1/(q^2-1)}\biggr] = - \biggl[ \frac{1}{q^2-1} \biggr]\frac{\lambda_2}{y} \, . </math> |
We may also need the set of complementary partial derivatives. Even though we are unable to explicitly invert the coordinate mappings, once we have in hand expressions for the three scale factors (see immediately below), we can determine expressions for the set of complementary partial derivatives via the generic relation,
|
<math>~\frac{\partial x_i}{\partial\lambda_n}</math> |
<math>~=</math> |
<math>~h_n^2 \cdot \frac{\partial \lambda_n}{\partial x_i} \, .</math> |
|
Example: <math>~q^2 = 2</math>
Noting that,
we have,
|
Let's compare by drawing from the expressions for <math>~\ell^2</math>, above, and for <math>~h_n^2</math> derived below.
|
<math>~\biggl[ h_1^2 \cdot \frac{\partial \lambda_1}{\partial y} \biggr]_{q^2=2}</math> |
<math>~=</math> |
<math>~ \biggl[ \lambda_1^2 \ell^2 \biggl( \frac{q^2 y}{\lambda_1} \biggr) \biggr]_{q^2=2} = \biggl[ 2\lambda_1 \ell^2 y \biggr]_{q^2=2} </math> |
|
|
<math>~=</math> |
<math>~ 2\lambda_1 \biggl\{ \frac{1}{\sqrt{2}\lambda_2 \Lambda} \biggr\} = \frac{\sqrt{2}\lambda_1}{\lambda_2\Lambda} \, . </math> |
Yes! This, indeed matches the just-derived expression for <math>~\partial y/\partial \lambda_1</math>. And we also have,
|
<math>~\biggl[ h_2^2 \cdot \frac{\partial \lambda_2}{\partial y} \biggr]_{q^2=2}</math> |
<math>~=</math> |
<math>~ \biggl\{ - \biggl[ \frac{1}{q^2-1} \biggr]\frac{\lambda_2}{y} \biggl[ \frac{(q^2-1)xy \ell}{\lambda_2}\biggr]^2\biggr\}_{q^2=2} = - \biggl[ \frac{(q^2-1)x^2 y \ell^2}{\lambda_2}\biggr]_{q^2=2} </math> |
|
|
<math>~=</math> |
<math>~ \frac{(1 - \Lambda )}{2^{3 / 2} \Lambda} \, . </math> |
Yes, again!
Scale Factors, Direction Cosines & Unit Vectors
From our accompanying generic discussion of direction cosines, we can write,
|
<math>~h_1^2</math> |
<math>~=</math> |
<math>~ \biggl[ \biggl( \frac{\partial \lambda_1}{\partial x} \biggr)^2 + \biggl( \frac{\partial \lambda_1}{\partial y } \biggr)^2 + \biggl( \frac{\partial \lambda_1}{\partial z} \biggr)^2\biggr]^{-1} </math> |
|
|
<math>~=</math> |
<math>~ \biggl[ \biggl( \frac{x}{\lambda_1} \biggr)^2 + \biggl( \frac{q^2 y}{\lambda_1} \biggr)^2 \biggr]^{-1} = \lambda_1^2 \biggl[ x^2 + q^4 y^2 \biggr]^{-1} </math> |
|
|
<math>~=</math> |
<math>~ \lambda_1^2 \ell^2 \, ; </math> |
|
<math>~h_2^2</math> |
<math>~=</math> |
<math>~ \biggl\{ \biggl( \frac{\partial \lambda_2}{\partial x} \biggr)^2 + \biggl( \frac{\partial \lambda_2}{\partial y } \biggr)^2 + \biggl( \frac{\partial \lambda_2}{\partial z} \biggr)^2\biggr\}^{-1} </math> |
|
|
<math>~=</math> |
<math>~ \biggl\{ \biggl[\frac{q^2}{q^2-1}\biggr]^2 \biggl(\frac{\lambda_2}{x}\biggr)^2 + \biggl[ \frac{1}{q^2-1} \biggr]^2 \biggl(\frac{\lambda_2}{y} \biggr)^2 \biggr\}^{-1} </math> |
|
|
<math>~=</math> |
<math>\biggl[ \frac{(q^2-1)xy \ell}{\lambda_2}\biggr]^2\, ; </math> |
|
<math>~h_3^2</math> |
<math>~=</math> |
<math>~\biggl\{ \biggl( \frac{\partial \lambda_3}{\partial x} \biggr)^2 + \biggl( \frac{\partial \lambda_3}{\partial y } \biggr)^2 + \biggl( \frac{\partial \lambda_3}{\partial z} \biggr)^2\biggr\}^{-1} = 1 \, ;</math> |
where,
<math>~\ell \equiv (x^2 + q^4 y^2)^{- 1 / 2} \, .</math>
|
Direction Cosines for T5 Coordinates
|
|||
| <math>~n</math> | <math>~i = x, y, z</math> | ||
| <math>~1</math> | <math>~x\ell</math> |
<math>~q^2 y \ell</math> | <math>~0</math> |
| <math>~2</math> |
|
<math>~ - x\ell </math> |
<math>~0</math> |
| <math>~3</math> | <math>~0</math> |
<math>~0</math> | <math>~1</math> |
The unit vectors are,
|
<math>~\hat{e}_n</math> |
<math>~=</math> |
<math>~ \hat\imath \gamma_{n1} + \hat\jmath \gamma_{n2} + \hat{k}\gamma_{n3} \, , </math> |
that is,
|
<math>~\hat{e}_1</math> |
<math>~=</math> |
<math>~ \hat\imath (x\ell) + \hat\jmath (q^2 y \ell) \, , </math> |
|
<math>~\hat{e}_2</math> |
<math>~=</math> |
<math>~ \hat\imath (q^2 y\ell) - \hat\jmath (x \ell) \, , </math> |
|
<math>~\hat{e}_3</math> |
<math>~=</math> |
<math>~ \hat{k} \, . </math> |
Notice that,
|
<math>~\hat{e}_1 \cdot \hat{e_2}</math> |
<math>~=</math> |
<math>~ q^2 xy\ell^2 - q^2 xy\ell^2 = 0 \, , </math> |
and,
|
<math>~\hat{e}_1 \cdot \hat{e_1}</math> |
<math>~=</math> |
<math>~ x^2\ell^2 + q^4 y^2 \ell^2 = \ell^2 (x^2 + q^4 y^2) = 1 \, . </math> |
These are both desired orthogonality conditions. Alternatively,
|
<math> \hat\imath </math> |
<math> = </math> |
<math> \hat{e}_1 \gamma_{11} + \hat{e}_2 \gamma_{21} + \hat{e}_3 \gamma_{31} = \hat{e}_1 (x\ell) + \hat{e}_2 (q^2 y\ell) \, ; </math> |
|
<math> \hat\jmath </math> |
<math> = </math> |
<math> \hat{e}_1 \gamma_{12} + \hat{e}_2 \gamma_{22} + \hat{e}_3 \gamma_{32} = \hat{e}_1 (q^2y\ell) - \hat{e}_2 (x\ell) \, ; </math> |
|
<math> \hat{k} </math> |
<math> = </math> |
<math> \hat{e}_1 \gamma_{13} + \hat{e}_2 \gamma_{23} + \hat{e}_3 \gamma_{33} = \hat{e}_3 \, . </math> |
Spatial Operators
| Summary Reminder | |||||||||||
|
In T5 Coordinates, a couple of relevant operators are:
|
<math>~\nabla F</math> |
<math>~=</math> |
<math>~ \hat{e}_1 \biggl[\frac{1}{h_1} \frac{\partial F}{\partial \lambda_1} \biggr] + \hat{e}_2 \biggl[\frac{1}{h_2} \frac{\partial F}{\partial \lambda_2} \biggr] + \hat{e}_3 \biggl[\frac{1}{h_3} \frac{\partial F}{\partial \lambda_3} \biggr] </math> |
|
|
<math>~=</math> |
<math>~ \hat{e}_1 \biggl( \frac{1}{\lambda_1 \ell} \biggr) \frac{\partial F}{\partial \lambda_1} + \hat{e}_2 \biggl[\frac{\lambda_2}{(q^2-1)xy\ell} \biggr] \frac{\partial F}{\partial \lambda_2} + \hat{e}_3 \frac{\partial F}{\partial \lambda_3} \, . </math> |
|
<math>~\nabla^2 F</math> |
<math>~=</math> |
<math>~ \frac{1}{h_1 h_2 h_3} \biggl[ \frac{\partial}{\partial \lambda_1} \biggl( \frac{h_2 h_3}{h_1} \cdot \frac{\partial F}{\partial \lambda_1}\biggr) + \frac{\partial}{\partial \lambda_2} \biggl( \frac{h_3 h_1}{h_2} \cdot \frac{\partial F}{\partial \lambda_2}\biggr) + \frac{\partial}{\partial \lambda_3} \biggl( \frac{h_1 h_2}{h_3} \cdot \frac{\partial F}{\partial \lambda_3}\biggr) \biggr] </math> |
|
|
<math>~=</math> |
<math>~ \frac{\lambda_2}{\lambda_1 (q^2-1)xy\ell^2} \biggl\{ \frac{\partial}{\partial \lambda_1} \biggl[ \frac{(q^2-1)xy }{\lambda_1 \lambda_2 } \cdot \frac{\partial F}{\partial \lambda_1}\biggr] + \frac{\partial}{\partial \lambda_2} \biggl[ \frac{\lambda_1 \lambda_2}{(q^2-1) xy } \cdot \frac{\partial F}{\partial \lambda_2}\biggr] + \frac{\partial}{\partial \lambda_3} \biggl[ \frac{\lambda_1 (q^2-1) xy \ell^2 }{\lambda_2} \cdot \frac{\partial F}{\partial \lambda_3}\biggr] \biggr\} </math> |
And if <math>~F</math> is a function only of <math>~\lambda_1</math>, then,
|
<math>~\nabla^2 F</math> |
<math>~=</math> |
<math>~ \frac{\lambda_2}{\lambda_1 (q^2-1)xy\ell^2} \biggl\{ \frac{\partial}{\partial \lambda_1} \biggl[ \frac{(q^2-1)xy }{\lambda_1 \lambda_2 } \cdot \frac{\partial F}{\partial \lambda_1}\biggr] \biggr\} </math> |
|
|
<math>~=</math> |
<math>~ \frac{\lambda_2}{\lambda_1 (q^2-1)xy\ell^2} \biggl\{ \biggl[ \frac{(q^2-1)xy }{\lambda_1 \lambda_2 } \biggr] \biggl[ \frac{\partial^2 F}{\partial \lambda_1^2}\biggr] + \frac{\partial F}{\partial \lambda_1} \cdot \frac{\partial}{\partial \lambda_1} \biggl[ \frac{(q^2-1)xy }{\lambda_1 \lambda_2 } \biggr] \biggr\} </math> |
|
|
<math>~=</math> |
<math>~ \biggl[ \frac{1}{\lambda_1^2 \ell^2} \biggr] \biggl[ \frac{\partial^2 F}{\partial \lambda_1^2}\biggr] + \biggl[ \frac{1}{\lambda_1 xy\ell^2} \biggr] \frac{\partial F}{\partial \lambda_1} \cdot \frac{\partial}{\partial \lambda_1} \biggl[ \frac{xy }{\lambda_1 } \biggr] \, . </math> |
In order to complete this evaluation, we need a couple of "complementary partial derivatives." Referencing the relation provided above, we find,
|
<math>~\frac{\partial}{\partial \lambda_1} \biggl[ \frac{xy }{\lambda_1 } \biggr]</math> |
<math>~=</math> |
<math>~ xy \biggl[ \frac{\partial}{\partial \lambda_1} \biggl(\lambda_1^{-1}\biggr)\biggr] + \frac{y}{\lambda_1} \biggl[ \frac{\partial x}{\partial \lambda_1} \biggr] + \frac{x}{\lambda_1} \biggl[ \frac{\partial y}{\partial \lambda_1} \biggr] </math> |
|
|
<math>~=</math> |
<math>~ - \frac{xy}{\lambda_1^2} + \frac{y}{\lambda_1} \biggl[h_1^2 \frac{\partial \lambda_1}{\partial x} \biggr] + \frac{x}{\lambda_1} \biggl[h_1^2 \frac{\partial \lambda_1}{\partial y} \biggr] </math> |
|
|
<math>~=</math> |
<math>~ - \frac{xy}{\lambda_1^2} + \frac{h_1^2}{\lambda_1} \biggl[\frac{xy}{\lambda_1} + \frac{q^2 x y}{\lambda_1} \biggr] </math> |
|
|
<math>~=</math> |
<math>~ \frac{xy}{\lambda_1^2} \biggl[\lambda_1^2 \ell^2 (1 + q^2) - 1 \biggr] \, . </math> |
Hence,
|
<math>~\nabla^2 F</math> |
<math>~=</math> |
<math>~ \biggl[ \frac{1}{\lambda_1^2 \ell^2} \biggr] \biggl[ \frac{\partial^2 F}{\partial \lambda_1^2}\biggr] + \frac{xy}{\lambda_1^2} \biggl[\lambda_1^2 \ell^2 (1 + q^2) - 1 \biggr] \biggl[ \frac{1}{\lambda_1 xy\ell^2} \biggr] \frac{\partial F}{\partial \lambda_1} </math> |
|
|
<math>~=</math> |
<math>~ \biggl[ \frac{1}{\lambda_1^2 \ell^2} \biggr] \biggl[ \frac{\partial^2 F}{\partial \lambda_1^2}\biggr] + \biggl[\lambda_1^2 \ell^2 (1 + q^2) - 1 \biggr] \biggl[ \frac{1}{\lambda_1^3 \ell^2} \biggr] \frac{\partial F}{\partial \lambda_1} </math> |
|
|
<math>~=</math> |
<math>~ \biggl[ \frac{1}{\lambda_1^2 \ell^2} \biggr] \biggl[ \frac{\partial^2 F}{\partial \lambda_1^2}\biggr] - \biggl[ \frac{1}{\lambda_1^3 \ell^2} \biggr] \frac{\partial F}{\partial \lambda_1} + \biggl[ \frac{(1 + q^2)}{\lambda_1 } \biggr] \frac{\partial F}{\partial \lambda_1} \, . </math> |
Example (q2 = 2) Poisson Equation
Setup
Let's see if we can solve the,
Poisson Equation
|
|
<math>\nabla^2 \Phi = 4\pi G \rho</math> |
obtaining an analytic expression for the gravitational potential in the case where, independent of the coordinate, <math>~z</math>,
|
<math>~\rho = \rho_c\sigma</math> |
<math>~=</math> |
<math>~\rho_c \biggl[ 1 - \biggl(\frac{x^2}{a^2} + \frac{y^2}{b^2} \biggr)\biggr] </math> |
|
|
<math>~=</math> |
<math>~\rho_c \biggl[ 1 - \frac{1}{a^2}\biggl(x^2 + q^2 y^2 \biggr)\biggr] \, .</math> |
Given that the density distribution is independent of <math>~z</math>, we expect the potential to be independent of <math>~z</math> as well. So, in terms of T5-Coordinates, the Poisson equation may be written as,
|
<math>~ \frac{\lambda_2}{\lambda_1 (q^2-1)xy\ell^2} \biggl\{ \frac{\partial}{\partial \lambda_1} \biggl[ \frac{(q^2-1)xy }{\lambda_1 \lambda_2 } \cdot \frac{\partial \Phi}{\partial \lambda_1}\biggr] + \frac{\partial}{\partial \lambda_2} \biggl[ \frac{\lambda_1 \lambda_2}{(q^2-1) xy } \cdot \frac{\partial \Phi}{\partial \lambda_2}\biggr] \biggr\} </math> |
<math>~=</math> |
<math>~4\pi G\rho_c \biggl[1 - \frac{\lambda_1^2}{a^2} \biggr] </math> |
If we specifically consider the case where <math>~q^2 = a^2/b^2 = 2</math>, this can be rewritten as,
|
<math>~4\pi G\rho_c \biggl[1 - \frac{\lambda_1^2}{a^2} \biggr] </math> |
<math>~=</math> |
<math>~ \frac{\lambda_2}{\lambda_1 (q^2-1)xy\ell^2} \biggl\{ \frac{\partial}{\partial \lambda_1} \biggl[ \frac{(q^2-1)xy }{\lambda_1 \lambda_2 } \cdot \frac{\partial \Phi}{\partial \lambda_1}\biggr] + \frac{\partial}{\partial \lambda_2} \biggl[ \frac{\lambda_1 \lambda_2}{(q^2-1) xy } \cdot \frac{\partial \Phi}{\partial \lambda_2}\biggr] \biggr\} </math> |
|
|
<math>~=</math> |
<math>~ \frac{\lambda_2}{\lambda_1 } \cdot (\Lambda-1)^{-3 / 2} \frac{2^2}{\lambda_2^2} \cdot \frac{\lambda_2^2}{2}(\Lambda-1)\Lambda \biggl\{ \frac{\partial}{\partial \lambda_1} \biggl[ \frac{(\Lambda-1)}{2 } \cdot \frac{\partial \Phi}{\partial \lambda_1}\biggr] + \frac{\partial}{\partial \lambda_2} \biggl[ \frac{2}{ (\Lambda-1) } \cdot \frac{\partial \Phi}{\partial \lambda_2}\biggr] \biggr\} </math> |
|
|
<math>~=</math> |
<math>~ \frac{4 \Lambda}{(\Lambda-1 )} \biggl\{ \frac{\partial}{\partial \lambda_1} \biggl[ \frac{(\Lambda-1)}{2 } \cdot \frac{\partial \Phi}{\partial \lambda_1}\biggr] + \frac{\partial}{\partial \lambda_2} \biggl[ \frac{2}{ (\Lambda-1) } \cdot \frac{\partial \Phi}{\partial \lambda_2}\biggr] \biggr\} </math> |
where we have used the following expressions derived above:
|
<math>~x^2y^2</math> |
<math>~=</math> |
<math>~ (\Lambda-1) \biggl[ \frac{\lambda_2^2}{2^2}(\Lambda - 1) \biggr]^2 \, , </math> |
|
<math>~\frac{1}{\ell^2}</math> |
<math>~=</math> |
<math>~ \frac{\lambda_2^2}{2} (\Lambda-1)\Lambda = \frac{2\lambda_1^2 \Lambda}{(\Lambda+1)} \, , </math> |
|
<math>~\Lambda</math> |
<math>~\equiv</math> |
<math>~ \biggl[1 + \frac{4\lambda_1^2}{\lambda_2^2} \biggr]^{1 / 2} ~~\Rightarrow~~ \frac{1}{2}(\Lambda^2 - 1)^{1 / 2} = \frac{\lambda_1}{\lambda_2} \, . </math> |
|
<math>~\frac{xy}{\lambda_1 \lambda_2}</math> |
<math>~=</math> |
<math>~ \frac{1}{2^2}\biggl[ \frac{\lambda_2}{\lambda_1}(\Lambda - 1)^{3 / 2} \biggr] = \frac{1}{2}(\Lambda - 1) \, . </math> |
Now,
|
<math>~\frac{\partial(\Lambda-1)}{\partial \lambda_1}</math> |
<math>~=</math> |
<math>~ \frac{1}{2\Lambda}\biggl( \frac{8\lambda_1}{\lambda_2^2} \biggr) = \frac{4}{\lambda_1 \Lambda} \biggl( \frac{\lambda_1^2}{\lambda_2^2} \biggr) = \frac{(\Lambda^2-1)}{\lambda_1 \Lambda} \, ; </math> |
|
<math>~\frac{\partial(\Lambda-1)^{-1}}{\partial \lambda_2}</math> |
<math>~=</math> |
<math>~ - \frac{1}{(\Lambda-1)^2} \biggl[ \frac{1}{2\Lambda} \biggr] \biggl(- \frac{8\lambda_1^2}{\lambda_2^3} \biggr) = \frac{4}{(\Lambda-1)^2} \biggl[ \frac{1}{\lambda_2 \Lambda} \biggr] \biggl(\frac{\lambda_1^2}{\lambda_2^2} \biggr) = \frac{\Lambda + 1}{(\Lambda-1)} \biggl[ \frac{1}{\lambda_2 \Lambda} \biggr] \, . </math> |
Hence,
|
<math>~4\pi G\rho_c \biggl[1 - \frac{\lambda_1^2}{a^2} \biggr] </math> |
<math>~=</math> |
<math>~ \frac{4 \Lambda}{(\Lambda-1 )} \biggl\{ \frac{(\Lambda-1)}{2 }\biggl[ \frac{\partial^2 \Phi}{\partial \lambda_1^2}\biggr] + \frac{\partial \Phi}{\partial \lambda_1} \cdot \frac{\partial}{\partial \lambda_1} \biggl[ \frac{(\Lambda-1)}{2 } \biggr] + \frac{2}{ (\Lambda-1) } \biggl[ \frac{\partial^2 \Phi}{\partial \lambda_2^2}\biggr] + \frac{\partial \Phi}{\partial \lambda_2} \cdot \frac{\partial}{\partial \lambda_2} \biggl[ \frac{2}{ (\Lambda-1) } \biggr] \biggr\} </math> |
|
|
<math>~=</math> |
<math>~ \frac{4 \Lambda}{(\Lambda-1 )} \biggl\{ \frac{(\Lambda-1)}{2 }\biggl[ \frac{\partial^2 \Phi}{\partial \lambda_1^2}\biggr] + \biggl[ \frac{(\Lambda^2-1)}{2 \lambda_1\Lambda} \biggr] \frac{\partial \Phi}{\partial \lambda_1} + \frac{2}{ (\Lambda-1) } \biggl[ \frac{\partial^2 \Phi}{\partial \lambda_2^2}\biggr] + \biggl[ \frac{2(\Lambda+1)}{ (\Lambda-1)\lambda_2\Lambda } \biggr] \frac{\partial \Phi}{\partial \lambda_2} \biggr\} </math> |
|
|
<math>~=</math> |
<math>~ 2\Lambda \biggl[ \frac{\partial^2 \Phi}{\partial \lambda_1^2}\biggr] + \biggl[ \frac{2(\Lambda + 1)}{ \lambda_1} \biggr] \frac{\partial \Phi}{\partial \lambda_1} + \frac{8 \Lambda }{ (\Lambda-1)^2 } \biggl[ \frac{\partial^2 \Phi}{\partial \lambda_2^2}\biggr] + \biggl[ \frac{8(\Lambda+1)}{ (\Lambda-1)^2\lambda_2 } \biggr] \frac{\partial \Phi}{\partial \lambda_2} </math> |
|
|
<math>~=</math> |
<math>~ \frac{2}{\lambda_1} \biggl\{ \Lambda \lambda_1 \biggl[ \frac{\partial^2 \Phi}{\partial \lambda_1^2}\biggr] + (\Lambda + 1) \frac{\partial \Phi}{\partial \lambda_1} \biggr\} + \frac{8}{\lambda_2 (\Lambda-1)^2}\biggl\{ \Lambda \lambda_2 \biggl[ \frac{\partial^2 \Phi}{\partial \lambda_2^2}\biggr] + (\Lambda+1) \frac{\partial \Phi}{\partial \lambda_2} \biggr\} \, . </math> |
Trials
Try,
|
<math>~\Phi</math> |
<math>~=</math> |
<math>~A \lambda_1^\alpha + B\lambda_2^\beta </math> |
||||
|
<math>~\Rightarrow~~~ \frac{\partial \Phi}{\partial \lambda_1}</math> |
<math>~=</math> |
<math>~A\alpha \lambda_1^{\alpha-1} \, ,</math> |
and, |
<math>~ \frac{\partial \Phi}{\partial \lambda_2}</math> |
<math>~=</math> |
<math>~B\beta \lambda_2^{\beta - 1} \, .</math> |
In this case we find,
|
<math>~4\pi G\rho_c \biggl[1 - \frac{\lambda_1^2}{a^2} \biggr] </math> |
<math>~=</math> |
<math>~ \frac{2}{\lambda_1} \biggl\{ \Lambda \lambda_1 \frac{\partial}{\partial \lambda_1}\biggl[ \frac{\partial \Phi}{\partial \lambda_1}\biggr] + (\Lambda + 1) \biggl[ \frac{\partial \Phi}{\partial \lambda_1} \biggr] \biggr\} + \frac{8}{\lambda_2 (\Lambda-1)^2}\biggl\{ \Lambda \lambda_2 \frac{\partial}{\partial \lambda_2}\biggl[ \frac{\partial \Phi}{\partial \lambda_2}\biggr] + (\Lambda+1) \biggl[\frac{\partial \Phi}{\partial \lambda_2} \biggr] \biggr\} </math> |
|
|
<math>~=</math> |
<math>~ \frac{2A}{\lambda_1} \biggl\{ \Lambda \lambda_1 \frac{\partial}{\partial \lambda_1}\biggl[ \alpha \lambda_1^{\alpha-1} \biggr] + (\Lambda + 1) \biggl[ \alpha \lambda_1^{\alpha-1} \biggr] \biggr\} + \frac{8B}{\lambda_2 (\Lambda-1)^2}\biggl\{ \Lambda \lambda_2 \frac{\partial}{\partial \lambda_2}\biggl[ \beta \lambda_2^{\beta - 1} \biggr] + (\Lambda+1) \biggl[ \beta \lambda_2^{\beta - 1} \biggr] \biggr\} </math> |
|
|
<math>~=</math> |
<math>~ \frac{2A\alpha }{\lambda_1} \biggl\{ \Lambda (\alpha-1) \lambda_1^{\alpha-1} + (\Lambda + 1) \lambda_1^{\alpha-1} \biggr\} + \frac{8B\beta }{\lambda_2 (\Lambda-1)^2}\biggl\{ \Lambda(\beta-1) \lambda_2^{\beta - 1} + (\Lambda+1) \lambda_2^{\beta - 1} \biggr\} </math> |
|
|
<math>~=</math> |
<math>~ 2A\alpha \lambda_1^{\alpha-2} \biggl\{ \Lambda (\alpha-1) + (\Lambda + 1) \biggr\} + \frac{8B\beta \lambda_2^{\beta-2}}{ (\Lambda-1)^2}\biggl\{ \Lambda(\beta-1) + (\Lambda+1) \biggr\} </math> |
|
|
<math>~=</math> |
<math>~ 2A\alpha \lambda_1^{\alpha-2} \biggl\{ \alpha \Lambda + 1 \biggr\} + \frac{8B\beta \lambda_2^{\beta-2}}{ (\Lambda-1)^2} \biggl\{ \beta \Lambda +1 \biggr\} \, . </math> |
If <math>~\alpha = 4</math>,
|
<math>~ \frac{8B\beta \lambda_2^{\beta-2}}{ (\Lambda-1)^2} \biggl[ \beta \Lambda +1 \biggr] </math> |
<math>~=</math> |
<math>~ 4\pi G\rho_c \biggl[1 - \frac{\lambda_1^2}{a^2} \biggr] -8A\lambda_1^2 - 32A\lambda_1^{2} \Lambda </math> |
|
<math>~\Rightarrow ~~~ 8B\beta \lambda_2^{\beta-2} \biggl[ \beta \Lambda +1 \biggr] </math> |
<math>~=</math> |
<math>~ \biggl\{ 4\pi G\rho_c - 32A\lambda_1^{2} \Lambda - \lambda_1^2 \biggl[\frac{4\pi G \rho_c}{a^2} + 8A \biggr] \biggr\} (\Lambda^2 - 2\Lambda + 1) \, . </math> |
If, then, <math>~8Aa^2 = -4\pi G\rho_c</math>,
|
<math>~\Rightarrow ~~~ 8B\beta \lambda_2^{\beta-2} \biggl[ \beta \Lambda +1 \biggr] </math> |
<math>~=</math> |
<math>~ 4\pi G\rho_c\biggl\{ 1 + \biggl[ \frac{4\lambda_1^{2}}{a^2} \biggr] \Lambda \biggr\} (\Lambda^2 - 2\Lambda + 1) \, . </math> |
But, we also know that, <math>\lambda_1^2 = \lambda_2^2(\Lambda^2-1)/4</math>, so …
|
<math>~ 8a^2 B\beta \lambda_2^{\beta-2} \biggl[ \beta \Lambda +1 \biggr] </math> |
<math>~=</math> |
<math>~ 4\pi G\rho_c \biggl\{ a^2 + \lambda_2^2 (\Lambda^2-1)\Lambda \biggr\} (\Lambda^2 - 2\Lambda + 1) \, . </math> |
(25 October 2020) I give up … for now.
See Also
|
|
|---|
|
© 2014 - 2021 by Joel E. Tohline |