head     1.1;
branch   1.1.1;
access   ;
symbols  start:1.1.1.1 fftvtag:1.1.1;
locks    ; strict;
comment  @# @;


1.1
date     2001.07.29.12.30.35;  author jdalton;  state Exp;
branches 1.1.1.1;
next     ;

1.1.1.1
date     2001.07.29.12.30.35;  author jdalton;  state Exp;
branches ;
next     ;


desc
@@



1.1
log
@Initial revision
@
text
@<html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en">
<head>
<title>Derivation of the DeSpain Algorithm</title>
</head>

<body>
<h1>Derivation of the DeSpain Algorithm</h1>

<h2>Definition of the Discrete Fourier Transform.</h2>

<p>DFT:

<math xmlns="http://www.w3.org/1998/Math/MathML">
 <mrow>
  <mi>X</mi>
  <mfenced open="[" close="]">
   <mi>k</mi>
  </mfenced>
  <mo>=</mo>
  <msubsup>
   <mo>&Sigma;</mo>
   <mrow>
    <mi>n</mi>
    <mo>=</mo>
    <mi>0</mi>
   </mrow>
   <mrow>
    <mi>N</mi>
    <mo>-</mo>
    <mi>1</mi>
   </mrow>
  </msubsup>
  <mi>x</mi>
  <mfenced open="[" close="]">
   <mi>n</mi>
  </mfenced>
  <mo>&InvisibleTimes;</mo>
  <mpadded lspace="10% width">
  <msup>
   <mi>e</mi>
   <mrow>
    <mo>-</mo>
    <mi>j</mi>
    <mo>&InvisibleTimes;</mo>
    <mfrac>
     <mrow>
      <mi>2</mi>
      <mo>&InvisibleTimes;</mo>
      <mi>&pi;</mi>
     </mrow>
     <mi>N</mi>
    </mfrac>
    <mo>&InvisibleTimes;</mo>
    <mi>n</mi>
    <mo>&InvisibleTimes;</mo>
    <mi>k</mi>   
   </mrow>
  </msup>
  </mpadded>
 </mrow>
</math>
</p>

<p>Inverse DFT:

<math xmlns="http://www.w3.org/1998/Math/MathML">
 <mrow>
  <mi>x</mi>
  <mfenced open="[" close="]">
   <mi>n</mi>
  </mfenced>
  <mo>=</mo>
  <mfrac>
   <mi>1</mi>
   <mi>N</mi>
  </mfrac>
  <mo>&InvisibleTimes;</mo>
  <msubsup>
   <mo>&Sigma;</mo>
   <mrow>
    <mi>k</mi>
    <mo>=</mo>
    <mi>0</mi>
   </mrow>
   <mrow>
    <mi>N</mi>
    <mo>-</mo>
    <mi>1</mi>
   </mrow>
  </msubsup>
  <mi>X</mi>
  <mfenced open="[" close="]">
   <mi>k</mi>
  </mfenced>
  <mo>&InvisibleTimes;</mo>
  <mpadded lspace="10% width">
  <msup>
   <mi>e</mi>
   <mrow>
    <mi>j</mi>
    <mo>&InvisibleTimes;</mo>
    <mfrac>
     <mrow>
      <mi>2</mi>
      <mo>&InvisibleTimes;</mo>
      <mi>&pi;</mi>
     </mrow>
     <mi>N</mi>
    </mfrac>
    <mo>&InvisibleTimes;</mo>
    <mi>n</mi>
    <mo>&InvisibleTimes;</mo>
    <mi>k</mi>   
   </mrow>
  </msup>
  </mpadded>
 </mrow>
</math>
</p>

<p>Where 'n' and 'k' are related to time and frequency respectively by:</p>

<p><math xmlns="http://www.w3.org/1998/Math/MathML">
 <mrow>
  <mrow>
   <mi>t</mi>
  </mrow>
  <mrow>
   <mo>=</mo>
   <mi>n</mi>
   <mo>.</mo>
   <mi>&Delta;t</mi>
  </mrow>
  <mrow>
   <mo>=</mo>
   <mi>n</mi>
   <mo>.</mo>
   <mfrac>
    <mi>T</mi>
    <mi>N</mi>
   </mfrac>
  </mrow>
 </mrow>
</math>
</p>

<p><math xmlns="http://www.w3.org/1998/Math/MathML">
 <mrow>
  <mrow>
   <mi>&omega;</mi>
  </mrow>
  <mrow>
   <mo>=</mo>
   <mi>k</mi>
   <mo>.</mo>
   <mi>&Delta;&omega;</mi>
  </mrow>
  <mrow>
   <mo>=</mo>
   <mi>k</mi>
   <mo>.</mo>
   <mfrac>
    <mrow>
     <mi>2</mi>
     <mo>&InvisibleTimes;</mo>
     <mi>&pi;</mi>
    </mrow>
    <mi>T</mi>
   </mfrac>
  </mrow>
 </mrow>
</math>
</p>

<h2>Derivation of the DeSpain Algorithm</h2>

<p>Start with the Discrete Fourier Transform.</p>

<table width="100%"><tr><td align="left"><math xmlns="http://www.w3.org/1998/Math/MathML">
 <mrow>
  <mi>H</mi>
  <mfenced open="[" close="]">
   <mi>k</mi>
  </mfenced>
  <mo>=</mo>
  <msubsup>
   <mo>&Sigma;</mo>
   <mrow>
    <mi>n</mi>
    <mo>=</mo>
    <mi>0</mi>
   </mrow>
   <mrow>
    <mi>N</mi>
    <mo>-</mo>
    <mi>1</mi>
   </mrow>
  </msubsup>
  <mi>h</mi>
  <mfenced open="[" close="]">
   <mi>n</mi>
  </mfenced>
  <mo>&InvisibleTimes;</mo>
  <mpadded lspace="10% width">
  <msup>
   <mi>e</mi>
   <mrow>
    <mo>-</mo>
    <mi>j</mi>
    <mo>&InvisibleTimes;</mo>
    <mfrac>
     <mrow>
      <mi>2</mi>
      <mo>&InvisibleTimes;</mo>
      <mi>&pi;</mi>
     </mrow>
     <mi>N</mi>
    </mfrac>
    <mo>&InvisibleTimes;</mo>
    <mi>n</mi>
    <mo>&InvisibleTimes;</mo>
    <mi>k</mi>   
   </mrow>
  </msup>
  </mpadded>
 </mrow>
</math>
</td>
<td align="right">...(1)</td>
</tr>
</table>

<p>Choose two integers 'P' and 'Q', such that</p>

<table width="100%"><tr><td align="left">
<math xmlns="http://www.w3.org/1998/Math/MathML">
 <mrow>
  <mi>N</mi>
  <mo>=</mo>
  <mi>P</mi>
  <mo>.</mo>
  <mi>Q</mi>
 </mrow>
</math>
</td>
<td align="right">...(2)</td>
</tr></table>

<p>That is, 'P' and 'Q' are factors of 'N'.</p>

<p>Now let</p>

<table width="100%"><tr><td align="left">
<math xmlns="http://www.w3.org/1998/Math/MathML">
 <mrow>
  <mi>n</mi>
  <mo>=</mo>
  <mi>p</mi>
  <mo>&InvisibleTimes;</mo>
  <mi>Q</mi>
  <mo>+</mo>
  <mi>q</mi>   
 </mrow>
</math>
</td>
<td align="right">...(3)</td>
</tr></table>


<p>where
<math xmlns="http://www.w3.org/1998/Math/MathML">
 <mrow>
  <mi>p</mi>
  <mo>=</mo>
  <mi>0</mi>
  <mo>,...,</mo>
  <mrow>
   <mi>P</mi>
   <mo>-</mo>
   <mi>1</mi>
  </mrow>
 </mrow>
</math>
;
<math xmlns="http://www.w3.org/1998/Math/MathML">
 <mrow>
  <mi>q</mi>
  <mo>=</mo>
  <mi>0</mi>
  <mo>,...,</mo>
  <mrow>
   <mi>Q</mi>
   <mo>-</mo>
   <mi>1</mi>
  </mrow>
 </mrow>
</math>
, and</p>

<table width="100%"><tr><td align="left">
<math xmlns="http://www.w3.org/1998/Math/MathML">
 <mrow>
  <mi>k</mi>
  <mo>=</mo>
  <mi>b</mi>
  <mo>&InvisibleTimes;</mo>
  <mi>P</mi>
  <mo>+</mo>
  <mi>a</mi>   
 </mrow>
</math>
</td>
<td align="right">...(4)</td>
</tr></table>

<p>where
<math xmlns="http://www.w3.org/1998/Math/MathML">
 <mrow>
  <mi>b</mi>
  <mo>=</mo>
  <mi>0</mi>
  <mo>,...,</mo>
  <mrow>
   <mi>Q</mi>
   <mo>-</mo>
   <mi>1</mi>
  </mrow>
 </mrow>
</math>
;
<math xmlns="http://www.w3.org/1998/Math/MathML">
 <mrow>
  <mi>a</mi>
  <mo>=</mo>
  <mi>0</mi>
  <mo>,...,</mo>
  <mrow>
   <mi>P</mi>
   <mo>-</mo>
   <mi>1</mi>
  </mrow>
 </mrow>
</math>
.
</p>

<p>Substitute equations (2), (3) and (4) into equation (1) to give:</p>

<table width="100%"><tr><td align="left"><math xmlns="http://www.w3.org/1998/Math/MathML">
 <mrow>
  <mi>H</mi>
  <mfenced open="[" close="]">
   <mrow>
    <mi>b</mi>
    <mo>&InvisibleTimes;</mo>
    <mi>P</mi>
    <mo>+</mo>
    <mi>a</mi>   
   </mrow>
  </mfenced>
  <mo>=</mo>
  <msubsup>
   <mo>&Sigma;</mo>
   <mrow>
    <mrow>
     <mi>p</mi>
     <mo>&InvisibleTimes;</mo>
     <mi>Q</mi>
     <mo>+</mo>
     <mi>q</mi>
    </mrow>   
    <mo>=</mo>
    <mi>0</mi>
   </mrow>
   <mrow>
    <mi>P</mi>
    <mo>&InvisibleTimes;</mo>
    <mi>Q</mi>
    <mo>-</mo>
    <mi>1</mi>
   </mrow>
  </msubsup>
  <mi>h</mi>
  <mfenced open="[" close="]">
   <mrow>
    <mi>p</mi>
    <mo>&InvisibleTimes;</mo>
    <mi>Q</mi>
    <mo>+</mo>
    <mi>q</mi>
   </mrow>
  </mfenced>
  <mo>&InvisibleTimes;</mo>
  <mpadded lspace="10% width">
  <msup>
   <mi>e</mi>
   <mrow>
    <mo>-</mo>
    <mi>j</mi>
    <mo>&InvisibleTimes;</mo>
    <mfrac>
     <mrow>
      <mi>2</mi>
      <mo>&InvisibleTimes;</mo>
      <mi>&pi;</mi>
     </mrow>
     <mrow>
      <mi>P</mi>
      <mo>&InvisibleTimes;</mo>
      <mi>Q</mi>
     </mrow>
    </mfrac>

    <mo>&InvisibleTimes;</mo>

    <mfenced>
     <mrow>
     <mi>p</mi>
     <mo>&InvisibleTimes;</mo>
     <mi>Q</mi>
     <mo>+</mo>
     <mi>q</mi>
     </mrow>
    </mfenced>

    <mo>&InvisibleTimes;</mo>

    <mfenced>
     <mrow>
     <mi>b</mi>
     <mo>&InvisibleTimes;</mo>
     <mi>P</mi>
     <mo>+</mo>
     <mi>a</mi>   
     </mrow>
    </mfenced>

   </mrow>
  </msup>
  </mpadded>
 </mrow>
</math>
</td>
<td align="right">...(5)</td>
</tr>
</table>


<p>Now expand the exponent.</p>

<table width="100%"><tr><td align="left"><math xmlns="http://www.w3.org/1998/Math/MathML">
 <mrow>
  <mi>H</mi>
  <mfenced open="[" close="]">
   <mrow>
    <mi>b</mi>
    <mo>&InvisibleTimes;</mo>
    <mi>P</mi>
    <mo>+</mo>
    <mi>a</mi>   
   </mrow>
  </mfenced>
  <mo>=</mo>
  <msubsup>
   <mo>&Sigma;</mo>
   <mrow>
    <mrow>
     <mi>p</mi>
     <mo>&InvisibleTimes;</mo>
     <mi>Q</mi>
     <mo>+</mo>
     <mi>q</mi>
    </mrow>   
    <mo>=</mo>
    <mi>0</mi>
   </mrow>
   <mrow>
    <mi>P</mi>
    <mo>&InvisibleTimes;</mo>
    <mi>Q</mi>
    <mo>-</mo>
    <mi>1</mi>
   </mrow>
  </msubsup>
  <mi>h</mi>
  <mfenced open="[" close="]">
   <mrow>
    <mi>p</mi>
    <mo>&InvisibleTimes;</mo>
    <mi>Q</mi>
    <mo>+</mo>
    <mi>q</mi>
   </mrow>
  </mfenced>
  
  <mo>.</mo>
  <mpadded lspace="10% width">
  <msup>
   <mi>e</mi>
   <mrow>
    <mo>-</mo>
    <mi>j</mi>
    <mo>&InvisibleTimes;</mo>
    <mi>2</mi>
    <mo>&InvisibleTimes;</mo>
    <mi>&pi;</mi>
    <mi>p</mi>
    <mo>&InvisibleTimes;</mo>
    <mi>b</mi>
   </mrow>
  </msup>
  </mpadded>

  <mo>.</mo>
  <mpadded lspace="10% width">
  <msup>
   <mi>e</mi>
   <mrow>
    <mo>-</mo>
    <mi>j</mi>
    <mo>&InvisibleTimes;</mo>
    <mfrac>
     <mrow>
      <mi>2</mi>
      <mo>&InvisibleTimes;</mo>
      <mi>&pi;</mi>
     </mrow>
     <mrow>
      <mi>P</mi>
      <mo>&InvisibleTimes;</mo>
      <mi>Q</mi>
     </mrow>
    </mfrac>
    <mo>&InvisibleTimes;</mo>
    <mi>a</mi>
    <mo>&InvisibleTimes;</mo>
    <mi>p</mi>
    <mo>&InvisibleTimes;</mo>
    <mi>Q</mi>
   </mrow>
  </msup>
  </mpadded>

  <mo>.</mo>
  <mpadded lspace="10% width">
  <msup>
   <mi>e</mi>
   <mrow>
    <mo>-</mo>
    <mi>j</mi>
    <mo>&InvisibleTimes;</mo>
    <mfrac>
     <mrow>
      <mi>2</mi>
      <mo>&InvisibleTimes;</mo>
      <mi>&pi;</mi>
     </mrow>
     <mrow>
      <mi>P</mi>
      <mo>&InvisibleTimes;</mo>
      <mi>Q</mi>
     </mrow>
    </mfrac>
    <mo>&InvisibleTimes;</mo>
    <mi>b</mi>
    <mo>&InvisibleTimes;</mo>
    <mi>q</mi>
    <mo>&InvisibleTimes;</mo>
    <mi>P</mi>
   </mrow>
  </msup>
  </mpadded>

  <mo>.</mo>
  <mpadded lspace="10% width">
  <msup>
   <mi>e</mi>
   <mrow>
    <mo>-</mo>
    <mi>j</mi>
    <mo>&InvisibleTimes;</mo>
    <mfrac>
     <mrow>
      <mi>2</mi>
      <mo>&InvisibleTimes;</mo>
      <mi>&pi;</mi>
     </mrow>
     <mrow>
      <mi>P</mi>
      <mo>&InvisibleTimes;</mo>
      <mi>Q</mi>
     </mrow>
    </mfrac>
    <mo>&InvisibleTimes;</mo>
    <mi>q</mi>
    <mo>&InvisibleTimes;</mo>
    <mi>a</mi>
   </mrow>
  </msup>
  </mpadded>

 </mrow>
</math>
</td>
<td align="right">...(6)</td>
</tr>
</table>

<p>Note that the left most exponent is always a multiple of
<math xmlns="http://www.w3.org/1998/Math/MathML">
 <mrow>
  <mi>2</mi>
  <mo>&InvisibleTimes;</mo>
  <mi>&pi;</mi>
 </mrow>
</math>
, and cancel common fectors in the other exponents.</p>

<table width="100%"><tr><td align="left"><math xmlns="http://www.w3.org/1998/Math/MathML">
 <mrow>
  <mi>H</mi>
  <mfenced open="[" close="]">
   <mrow>
    <mi>b</mi>
    <mo>&InvisibleTimes;</mo>
    <mi>P</mi>
    <mo>+</mo>
    <mi>a</mi>   
   </mrow>
  </mfenced>
  <mo>=</mo>
  <msubsup>
   <mo>&Sigma;</mo>
   <mrow>
    <mrow>
     <mi>p</mi>
     <mo>&InvisibleTimes;</mo>
     <mi>Q</mi>
     <mo>+</mo>
     <mi>q</mi>
    </mrow>   
    <mo>=</mo>
    <mi>0</mi>
   </mrow>
   <mrow>
    <mi>P</mi>
    <mo>&InvisibleTimes;</mo>
    <mi>Q</mi>
    <mo>-</mo>
    <mi>1</mi>
   </mrow>
  </msubsup>
  <mi>h</mi>
  <mfenced open="[" close="]">
   <mrow>
    <mi>p</mi>
    <mo>&InvisibleTimes;</mo>
    <mi>Q</mi>
    <mo>+</mo>
    <mi>q</mi>
   </mrow>
  </mfenced>
  
  <mo>.</mo>
  <mpadded lspace="10% width">
  <msup>
   <mi>e</mi>
   <mrow>
    <mo>-</mo>
    <mi>j</mi>
    <mo>&InvisibleTimes;</mo>
    <mfrac>
     <mrow>
      <mi>2</mi>
      <mo>&InvisibleTimes;</mo>
      <mi>&pi;</mi>
     </mrow>
     <mi>P</mi>
    </mfrac>
    <mo>&InvisibleTimes;</mo>
    <mi>a</mi>
    <mo>&InvisibleTimes;</mo>
    <mi>p</mi>
   </mrow>
  </msup>
  </mpadded>

  <mo>.</mo>
  <mpadded lspace="10% width">
  <msup>
   <mi>e</mi>
   <mrow>
    <mo>-</mo>
    <mi>j</mi>
    <mo>&InvisibleTimes;</mo>
    <mfrac>
     <mrow>
      <mi>2</mi>
      <mo>&InvisibleTimes;</mo>
      <mi>&pi;</mi>
     </mrow>
     <mi>Q</mi>
    </mfrac>
    <mo>&InvisibleTimes;</mo>
    <mi>b</mi>
    <mo>&InvisibleTimes;</mo>
    <mi>q</mi>
   </mrow>
  </msup>
  </mpadded>

  <mo>.</mo>
  <mpadded lspace="10% width">
  <msup>
   <mi>e</mi>
   <mrow>
    <mo>-</mo>
    <mi>j</mi>
    <mo>&InvisibleTimes;</mo>
    <mfrac>
     <mrow>
      <mi>2</mi>
      <mo>&InvisibleTimes;</mo>
      <mi>&pi;</mi>
     </mrow>
     <mrow>
      <mi>P</mi>
      <mo>&InvisibleTimes;</mo>
      <mi>Q</mi>
     </mrow>
    </mfrac>
    <mo>&InvisibleTimes;</mo>
    <mi>q</mi>
    <mo>&InvisibleTimes;</mo>
    <mi>a</mi>
   </mrow>
  </msup>
  </mpadded>

 </mrow>
</math>
</td>
<td align="right">...(7)</td>
</tr>
</table>

<p>Now extract common factors from the sum, and break it into two separate sums,
over orthogonal dimensions.</p>

<table width="100%"><tr><td align="left">
<math xmlns="http://www.w3.org/1998/Math/MathML">
 <mrow>
  <mi>H</mi>
  <mfenced open="[" close="]">
   <mrow>
    <mi>b</mi>
    <mo>&InvisibleTimes;</mo>
    <mi>P</mi>
    <mo>+</mo>
    <mi>a</mi>   
   </mrow>
  </mfenced>
  <mo>=</mo>
  <msubsup>
   <mo>&Sigma;</mo>
   <mrow>
    <mi>q</mi>
    <mo>=</mo>
    <mi>0</mi>
   </mrow>
   <mrow>
    <mi>Q</mi>
    <mo>-</mo>
    <mi>1</mi>
   </mrow>
  </msubsup>

  <mfenced open="{" close="}">
  <mrow>
   <mfenced>
    <mrow>
    <msubsup>
     <mo>&Sigma;</mo>
     <mrow>
      <mi>p</mi>
      <mo>=</mo>
      <mi>0</mi>
     </mrow>
     <mrow>
      <mi>P</mi>
      <mo>-</mo>
      <mi>1</mi>
     </mrow>
    </msubsup>

    <mi>h</mi>
    <mfenced open="[" close="]">
     <mrow>
      <mi>p</mi>
      <mo>&InvisibleTimes;</mo>
      <mi>Q</mi>
      <mo>+</mo>
      <mi>q</mi>
     </mrow>
    </mfenced>
  
    <mo>.</mo>

    <mpadded lspace="10% width">
    <msup>
     <mi>e</mi>
     <mrow>
      <mo>-</mo>
      <mi>j</mi>
      <mo>&InvisibleTimes;</mo>
      <mfrac>
       <mrow>
        <mi>2</mi>
        <mo>&InvisibleTimes;</mo>
        <mi>&pi;</mi>
       </mrow>
       <mi>P</mi>
      </mfrac>
      <mo>&InvisibleTimes;</mo>
      <mi>p</mi>
      <mo>&InvisibleTimes;</mo>
      <mi>a</mi>
     </mrow>
    </msup>
    </mpadded>

    </mrow>
   </mfenced>

   <mo>.</mo>
   <mpadded lspace="10% width">
   <msup>
    <mi>e</mi>
    <mrow>
     <mo>-</mo>
     <mi>j</mi>
     <mo>&InvisibleTimes;</mo>
     <mfrac>
      <mrow>
       <mi>2</mi>
       <mo>&InvisibleTimes;</mo>
       <mi>&pi;</mi>
      </mrow>
      <mrow>
      <mi>P</mi>
      <mo>&InvisibleTimes;</mo>
      <mi>Q</mi>
      </mrow>
     </mfrac>
     <mo>&InvisibleTimes;</mo>
     <mi>a</mi>
     <mo>&InvisibleTimes;</mo>
     <mi>q</mi>
    </mrow>
   </msup>
   </mpadded>

   </mrow>
  </mfenced>

  <mo>.</mo>
  <mpadded lspace="10% width">
  <msup>
   <mi>e</mi>
   <mrow>
    <mo>-</mo>
    <mi>j</mi>
    <mo>&InvisibleTimes;</mo>
    <mfrac>
     <mrow>
      <mi>2</mi>
      <mo>&InvisibleTimes;</mo>
      <mi>&pi;</mi>
     </mrow>
     <mi>Q</mi>
    </mfrac>
    <mo>&InvisibleTimes;</mo>
    <mi>q</mi>
    <mo>&InvisibleTimes;</mo>
    <mi>b</mi>
   </mrow>
  </msup>
  </mpadded>
 </mrow>
</math>
</td>
<td align="right">...(8)</td>
</tr>
</table>

<p>The structure of this expression can be more plainly seen by
inroducing intermediate variables 'x' and 'y'.</p>

<table width="100%">
<tr><td align="left">
<math xmlns="http://www.w3.org/1998/Math/MathML">
 <mrow>
  <mi>x</mi>
  <mfenced open="[" close="]">
   <mi>a</mi>
   <mi>q</mi>   
  </mfenced>
  <mo>=</mo>

  <mrow>
   <msubsup>
    <mo>&Sigma;</mo>
    <mrow>
     <mi>p</mi>
     <mo>=</mo>
     <mi>0</mi>
    </mrow>
    <mrow>
     <mi>P</mi>
     <mo>-</mo>
     <mi>1</mi>
    </mrow>
   </msubsup>

   <mi>h</mi>
  <mfenced open="[" close="]">
   <mrow>
    <mi>p</mi>
    <mo>&InvisibleTimes;</mo>
    <mi>Q</mi>
    <mo>+</mo>
    <mi>q</mi>
   </mrow>
  </mfenced>
  
   <mo>.</mo>

   <mpadded lspace="10% width">
   <msup>
    <mi>e</mi>
    <mrow>
     <mo>-</mo>
     <mi>j</mi>
     <mo>&InvisibleTimes;</mo>
     <mfrac>
      <mrow>
       <mi>2</mi>
       <mo>&InvisibleTimes;</mo>
       <mi>&pi;</mi>
      </mrow>
      <mi>P</mi>
     </mfrac>
     <mo>&InvisibleTimes;</mo>
     <mi>p</mi>
     <mo>&InvisibleTimes;</mo>
     <mi>a</mi>
    </mrow>
   </msup>
   </mpadded>
  </mrow>
 </mrow>
</math>
</td>
<td align="right">...(9a)</td>
</tr>

<tr><td align="left">
<math xmlns="http://www.w3.org/1998/Math/MathML">
 <mrow>
  <mi>y</mi>
  <mfenced open="[" close="]">
   <mi>a</mi>
   <mi>q</mi>   
  </mfenced>
  <mo>=</mo>

  <mrow>
   <mi>x</mi>
   <mfenced open="[" close="]">
    <mi>a</mi>
    <mi>q</mi>   
   </mfenced>
  
   <mo>.</mo>

   <mpadded lspace="10% width">
   <msup>
    <mi>e</mi>
    <mrow>
     <mo>-</mo>
     <mi>j</mi>
     <mo>&InvisibleTimes;</mo>
     <mfrac>
      <mrow>
       <mi>2</mi>
       <mo>&InvisibleTimes;</mo>
       <mi>&pi;</mi>
      </mrow>
      <mrow>
       <mi>P</mi>
       <mo>&InvisibleTimes;</mo>
       <mi>Q</mi>
      </mrow>
     </mfrac>
     <mo>&InvisibleTimes;</mo>
     <mi>a</mi>
     <mo>&InvisibleTimes;</mo>
     <mi>q</mi>
    </mrow>
   </msup>
   </mpadded>
  </mrow>
 </mrow>
</math>
</td>
<td align="right">...(9b)</td>
</tr>

<tr><td align="left">
<math xmlns="http://www.w3.org/1998/Math/MathML">
 <mrow>
  <mi>H</mi>
  <mfenced open="[" close="]">
   <mrow>
    <mi>b</mi>
    <mo>&InvisibleTimes;</mo>
    <mi>P</mi>
    <mo>+</mo>
    <mi>a</mi>   
   </mrow>
  </mfenced>
  <mo>=</mo>

  <mrow>
   <msubsup>
    <mo>&Sigma;</mo>
    <mrow>
     <mi>q</mi>
     <mo>=</mo>
     <mi>0</mi>
    </mrow>
    <mrow>
     <mi>Q</mi>
     <mo>-</mo>
     <mi>1</mi>
    </mrow>
   </msubsup>

   <mi>y</mi>
   <mfenced open="[" close="]">
    <mi>a</mi>
    <mi>q</mi>
   </mfenced>
  
   <mo>.</mo>

   <mpadded lspace="10% width">
   <msup>
    <mi>e</mi>
    <mrow>
     <mo>-</mo>
     <mi>j</mi>
     <mo>&InvisibleTimes;</mo>
     <mfrac>
      <mrow>
       <mi>2</mi>
       <mo>&InvisibleTimes;</mo>
       <mi>&pi;</mi>
      </mrow>
      <mi>Q</mi>
     </mfrac>
     <mo>&InvisibleTimes;</mo>
     <mi>q</mi>
     <mo>&InvisibleTimes;</mo>
     <mi>b</mi>
    </mrow>
   </msup>
   </mpadded>
  </mrow>
 </mrow>
</math>
</td>
<td align="right">...(9c)</td>
</tr>

</table>


</body>
</html>







@


1.1.1.1
log
@First Release
@
text
@@
