View source for Jaycall/T3Coordinates/SpecialCase

__FORCETOC__ 
<!-- __NOTOC__ will force TOC off -->

==Coordinate Transformations==

If the special case <math>q^2=2</math> is considered, it is possible to invert the coordinate transformations in closed form.  The coordinate transformations and their inversions become

<table align="center" border="0" cellpadding="2">
<tr>
  <td align="right">
<math>
\lambda_1
</math>
  </td>
  <td align="center">
<math>\equiv</math>
  </td>
  <td align="left">
<math>\left( R^2+2z^2 \right)^{1/2}</math>
  </td>
  <td align="center">
&nbsp; &nbsp; &nbsp; and &nbsp; &nbsp; &nbsp;
  </td>
  <td align="right">
<math>
\lambda_2
</math>
  </td>
  <td align="center">
<math>\equiv</math>
  </td>
  <td align="left">
<math>\frac{R^2}{\sqrt{2}z}</math>
  </td>
</tr>
<tr>
  <td align="right">
<math>
R^2
</math>
  </td>
  <td align="center">
<math>\equiv</math>
  </td>
  <td align="left">
<math>\frac{\lambda_2}{2} \left( - \lambda_2 + \sqrt{4{\lambda_1}^2 + {\lambda_2}^2} \right) = \frac{2{\lambda_1}^2}{\Lambda+1}</math>
  </td>
  <td align="center">
&nbsp; &nbsp; &nbsp; and &nbsp; &nbsp; &nbsp;
  </td>
  <td align="right">
<math>
z
</math>
  </td>
  <td align="center">
<math>\equiv</math>
  </td>
  <td align="left">
<math>\frac{1}{2^{3/2}} \left( -\lambda_2 + \sqrt{4 {\lambda_1}^2+{\lambda_2}^2} \right) = \frac{\lambda_2}{2^{3/2}} \left( \Lambda -1 \right)</math>
  </td>
</tr>
</table>

where <math>\Lambda \equiv \left[ 1 + \left( \frac{2 \lambda_1}{\lambda_2} \right)^2 \right]^{1/2}</math> .

From this definition of <math>\Lambda</math>, we can compute both its partials with respect to the T3 coordinates, and its total time derivative.

<div align="center">
<math>\frac{\partial \Lambda}{\partial \lambda_1} = \frac{4 \lambda_1 / {\lambda_2}^2}{\Lambda} = \frac{2 \left( \Lambda^2 - 1 \right)^{1/2}}{\Lambda} \frac{1}{\lambda_2} \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \frac{\partial \Lambda}{\partial \lambda_2} = - \frac{4 {\lambda_1}^2 / \lambda_2}{\Lambda} = - \frac{2 \left( \Lambda^2 - 1 \right)^{1/2}}{\Lambda} \lambda_1</math>
</div>

<div align="center">
<math>\dot{\Lambda} = \frac{2 \left( \Lambda^2 - 1 \right)^{1/2}}{\Lambda} \left( \frac{\dot{\lambda_1}}{\lambda_2} - \lambda_1 \dot{\lambda_2} \right)</math>
</div>

==Partials of the Coordinates==

Partial derivatives of each of the T3 coordinates taken with respect to each of the cylindrical coordinates are:

<table align="center" border="1" cellpadding="5">
<tr>
  <td align="center">
&nbsp;
  </td>
  <td align="center">
<math>
\frac{\partial}{\partial R}
</math>
  </td>
  <td align="center">
<math>
\frac{\partial}{\partial z}
</math>
  </td>
  <td align="center">
<math>
\frac{\partial}{\partial \phi}
</math>
  </td>
</tr>

<tr>
  <td align="center">
<math>\lambda_1</math>
  </td>
  <td align="center">
<math>
\frac{R}{\lambda_1} = \left( \frac{2}{\Lambda + 1} \right)^{1/2}
</math>
  </td>
  <td align="center">
<math>
\frac{2z}{\lambda_1} = \left[ \frac{2 \left( \Lambda - 1 \right) }{\Lambda + 1} \right]^{1/2}
</math>
  </td>
  <td align="center">
<math>
0
</math>
  </td>
</tr>

<tr>
  <td align="center">
<math>\lambda_2</math>
  </td>
  <td align="center">
<math>
\frac{2 \lambda_2}{R} = \frac{2^{3/2}}{\left( \Lambda - 1 \right)^{1/2}}
</math>
  </td>
  <td align="center">
<math>
-\frac{\lambda_2}{z} = - \frac{2^{3/2}}{\Lambda - 1}
</math>
  </td>
  <td align="center">
<math>0</math>
  </td>
</tr>

<tr>
  <td align="center">
<math>\lambda_3</math>
  </td>
  <td align="center">
<math>
0
</math>
  </td>
  <td align="center">
<math>
0</math>
  </td>
  <td align="center">
<math>
1
</math>
  </td>
</tr>
</table>

And partials of the cylindrical coordinates taken with respect to the T3 coordinates are:

<table align="center" border="1" cellpadding="5">
<tr>
  <td align="center">
&nbsp;
  </td>
  <td align="center">
<math>
\frac{\partial}{\partial \lambda_1}
</math>
  </td>
  <td align="center">
<math>
\frac{\partial}{\partial \lambda_2}
</math>
  </td>
  <td align="center">
<math>
\frac{\partial}{\partial \lambda_3}
</math>
  </td>
</tr>

<tr>
  <td align="center">
<math>R</math>
  </td>
  <td align="center">
<math>
R \ell^2 \lambda_1 = \frac{1}{\Lambda} \left( \frac{\Lambda + 1}{2} \right)^{1/2}
</math>
  </td>
  <td align="center">
<math>
2Rz^2 \ell^2 / \lambda_2 = \frac{\left( \Lambda - 1 \right)^{3/2}}{2 \Lambda}
</math>
  </td>
  <td align="center">
<math>
0
</math>
  </td>
</tr>

<tr>
  <td align="center">
<math>z</math>
  </td>
  <td align="center">
<math>
2z \ell^2 \lambda_1 = \frac{1}{\Lambda} \left( \frac{\Lambda^2 - 1}{2} \right)^{1/2}
</math>
  </td>
  <td align="center">
<math>
-R^2 z \ell^2 / \lambda_2 = - \frac{\Lambda - 1}{2^{3/2} \Lambda}
</math>
  </td>
  <td align="center">
<math>0</math>
  </td>
</tr>

<tr>
  <td align="center">
<math>\phi</math>
  </td>
  <td align="center">
<math>
0
</math>
  </td>
  <td align="center">
<math>
0</math>
  </td>
  <td align="center">
<math>
1
</math>
  </td>
</tr>
</table>

where <math>\ell \equiv \left( R^2 + 4z^2 \right)^{-1/2} = \frac{1}{\lambda_1} \left( \frac{\Lambda + 1}{2 \Lambda} \right)^{1/2}</math>.

==Scale Factors==

Furthermore, the scale factors become

<table align="center">
  <tr>
<td align="right">
<math>h_1</math>
</td>
<td align="center">
<math>=</math>
</td>
<td align="left">
<math>\lambda_1 \ell = \left( \frac{\Lambda+1}{2 \Lambda} \right)^{1/2}</math>
</td>
  </tr>

  <tr>
<td align="right">
<math>h_2</math>
</td>
<td align="center">
<math>=</math>
</td>
<td align="left">
<math>Rz \ell / \lambda_2 = \frac{\Lambda-1}{2 \left( 2 \Lambda \right)^{1/2}}</math>
</td>
  </tr>

  <tr>
<td align="right">
<math>h_3</math>
</td>
<td align="center">
<math>=</math>
</td>
<td align="left">
<math>R = \lambda_3</math>
</td>
  </tr>
</table>

==Useful Relationships==

In this special case, there are some additional useful relationships between various combinations of cylindrical variables and their T3 equivalents which can be written out.

<table align="center">
  <tr>
<td align="right">
<math>R^2 + 2z^2</math>
</td>
<td align="center">
<math>=</math>
</td>
<td align="left">
<math>{\lambda_1}^2</math>
</td>
  </tr>

  <tr>
<td align="right">
<math>R^2 + 4z^2</math>
</td>
<td align="center">
<math>=</math>
</td>
<td align="left">
<math>2 {\lambda_1}^2 + {\lambda_2}^2/2 - \lambda_2 \sqrt{{\lambda_1}^2+{\lambda_2}^2/4} = \ell^{-2}</math>
</td>
  </tr>

  <tr>
<td align="right">
<math>R^2 + 8z^2</math>
</td>
<td align="center">
<math>=</math>
</td>
<td align="left">
<math>4 {\lambda_1}^2 + \tfrac{3}{2} {\lambda_2}^2 - 3 \lambda_2 \sqrt{{\lambda_1}^2+{\lambda_2}^2/4} = 3 \ell^{-2} - 2 {\lambda_1}^2</math>
</td>
  </tr>

  <tr>
<td align="right">
<math>R^2 - 2z^2</math>
</td>
<td align="center">
<math>=</math>
</td>
<td align="left">
<math>- {\lambda_1}^2 - {\lambda_2}^2 + 2 \lambda_2 \sqrt{{\lambda_1}^2+{\lambda_2}^2/4} = 3 {\lambda_1}^2 -2 \ell^{-2}</math>
</td>
  </tr>

  <tr>
<td align="right">
<math>Rz</math>
</td>
<td align="center">
<math>=</math>
</td>
<td align="left">
<math>\sqrt{\sqrt{2}\lambda_2} \left( -\frac{\lambda_2}{2\sqrt{2}} + \sqrt{\frac{4{\lambda_1}^2+{\lambda_2}^2}{8}} \right)^{3/2} = h_2 \lambda_2 / \ell</math>
</td>
  </tr>
</table>

==Additional Partials==

Partials of <math>\ell</math> can be taken with respect to the coordinates of either system.  They are:

<table align="center" border="1" cellpadding="5">
<tr>
  <td align="center">
&nbsp;
  </td>
  <td align="center">
<math>
\frac{\partial}{\partial R}
</math>
  </td>
  <td align="center">
<math>
\frac{\partial}{\partial z}
</math>
  </td>
  <td align="center">
<math>
\frac{\partial}{\partial \phi}
</math>
  </td>
</tr>

<tr>
  <td align="center">
<math>\ell</math>
  </td>
  <td align="center">
<math>
-R \ell^3
</math>
  </td>
  <td align="center">
<math>
-4z \ell^3
</math>
  </td>
  <td align="center">
<math>
0
</math>
  </td>
</tr>
</table>

<table align="center" border="1" cellpadding="5">
<tr>
  <td align="center">
&nbsp;
  </td>
  <td align="center">
<math>
\frac{\partial}{\partial \lambda_1}
</math>
  </td>
  <td align="center">
<math>
\frac{\partial}{\partial \lambda_2}
</math>
  </td>
  <td align="center">
<math>
\frac{\partial}{\partial \lambda_3}
</math>
  </td>
</tr>

<tr>
  <td align="center">
<math>\ell</math>
  </td>
  <td align="center">
<math>
- \left( R^2 + 8z^2 \right) \ell^5 \lambda_1 = \ell^3 \lambda_1 \left( 2{h_1}^2 - 3 \right)
</math>
  </td>
  <td align="center">
<math>
2R^2 z^2 \ell^5 / \lambda_2 = 2 {h_2}^2 \ell^3 \lambda_2
</math>
  </td>
  <td align="center">
<math>
0
</math>
  </td>
</tr>
</table>

Partials of the scale factors taken with respect to the T3 coordinates are:

<table align="center" border="1" cellpadding="5">
<tr>
  <td align="center">
&nbsp;
  </td>
  <td align="center">
<math>
\frac{\partial}{\partial \lambda_1}
</math>
  </td>
  <td align="center">
<math>
\frac{\partial}{\partial \lambda_2}
</math>
  </td>
  <td align="center">
<math>
\frac{\partial}{\partial \lambda_3}
</math>
  </td>
</tr>

<tr>
  <td align="center">
<math>h_1</math>
  </td>
  <td align="center">
<math>
\ell \left( 2 {h_1}^4 - 3 {h_1}^2 + 1 \right) = 2 h_2 \lambda_2
</math>
  </td>
  <td align="center">
<math>
2 {h_2}^2 \ell^3 \lambda_1 \lambda_2
</math>
  </td>
  <td align="center">
<math>
0
</math>
  </td>
</tr>

<tr>
  <td align="center">
<math>h_2</math>
  </td>
  <td align="center">
<math>
2 {h_1}^2 h_2 \ell^2 \lambda_1 = 2 h_2 \ell^4 {\lambda_1}^3
</math>
  </td>
  <td align="center">
<math>
h_2 \left( 2 {h_2}^2 \ell^2 {\lambda_2}^2 - 3 \ell^2 {\lambda_1}^2 + 1 \right) / \lambda_2
</math>
  </td>
  <td align="center">
<math>0</math>
  </td>
</tr>

<tr>
  <td align="center">
<math>h_3</math>
  </td>
  <td align="center">
<math>
R \ell^2 \lambda_1
</math>
  </td>
  <td align="center">
<math>
2Rz^2 \ell^2 / \lambda_2
</math>
  </td>
  <td align="center">
<math>
0
</math>
  </td>
</tr>
</table>

==Conserved Quantity==

The conserved quantity associated with the <math>\lambda_2</math> coordinate is

<div align="center">
<math>
m{h_2}^2 \dot{\lambda_2} \exp \int \left[ \left( 4 {\lambda_1}^2 + {\lambda_2}^2 - \lambda_2 \sqrt{4{\lambda_1}^2 + {\lambda_2}^2} \right) \left( \frac{{\lambda_1}^2 \dot{\lambda_2}}{\lambda_2} - \frac{\lambda_2 {\dot{\lambda_1}}^2}{\dot{\lambda_2}} \right) \right] dt .
</math>
</div>

The quantity in brackets needs to be integrated.  In terms of <math>\Lambda</math>, it can be written

<div align="center">
<math>{\lambda_2}^2 \Lambda \left( \Lambda - 1 \right) \left[ \frac{\left( \Lambda^2 - 1 \right)^{1/2}}{2} \lambda_1 \dot{\lambda_2} - {\lambda_2}^2 \frac{\dot{\lambda_1}}{\dot{\lambda_2}} \frac{\dot{\lambda_1}}{\lambda_2} \right]</math> .
</div>

Notice that the thing in square brackets looks very closely related to <math>\dot{\Lambda}</math>.  Could this be a hint?  If only we could figure out what <math>\frac{\dot{\lambda_1}}{\dot{\lambda_2}}</math> is, maybe we could factor out the <math>\lambda_1 \dot{\lambda_2} - \frac{\dot{\lambda_1}}{\lambda_2}</math>, which appears in <math>\dot{\Lambda}</math>...

If, by some miracle, it should turn out that <math>\frac{\left( \Lambda^2 - 1 \right)^{1/2}}{2} = {\lambda_2}^2 \frac{\dot{\lambda_1}}{\dot{\lambda_2}}</math>, factorization would be possible and our integral would read

<div align="center">
<math>-\tfrac{1}{4} \int {\lambda_2}^2 \Lambda^2 \left( \Lambda - 1 \right) \ \dot{\Lambda} \ dt = - \tfrac{1}{4} \int {\lambda_2}^2 \Lambda^2 \left( \Lambda - 1 \right) \  d\Lambda </math> .
</div>

We ought to be able to integrate this, right...?  Maybe we could handle the pesky <math>{\lambda_2}^2</math> with integration by parts...

{{ SGFfooter }}