Next: About this document ...
Up: Phase of a Continuous
Previous: Application of Phase Result
  Contents
Liu's Proof of the Hann case Phase
We now formally prove 15.
Considering
as a trajectory on the
complex plane, where
can be thought of as the dummy
variable, the following proof involves using the polar coordinates
and expressing all derivatives in terms of the basis vectors of
Frenet frames. Define
and
Here, all the capitalized variables are functions of
.
Also, for simplicity, we will use the Leibniz dot operator to notate
.
By inspection, we have
 |
(18) |
 |
(19) |
which is the usual relation between the derivatives of the
normal vector and the tangential vector of a trajectory on the complex plane.
Now, with the aid of equations 18 and 19, the first and second derivatives can be concisely written as the following,
 |
(20) |
![\begin{displaymath}
\ddot{Y} =
[\ddot{R}-R\dot{\Theta}^2]\widehat{N} +
[2\dot{R}\dot{\Theta} + R\ddot{\Theta}]\widehat{T}
\end{displaymath}](img55.png) |
(21) |
Recall that the values of the derivates at
are
 |
(22) |
and
 |
(23) |
Combining equations 20 and 22, we have
and
. Plugging these into equation
21, we obtain
 |
(24) |
Finally, equating equations 23 and 24,
and noticing that
and
are perpendicular to each other,
we prove that
Next: About this document ...
Up: Phase of a Continuous
Previous: Application of Phase Result
  Contents
Aaron S. Master
2002-10-17