The  X '[t] ≠0 Condition

However, this magnified limit need not happen on a parametric graph when  X '[t] = Overscript[0, →].  Teh graph of

( dx ) = ( 0 ) dt            dy                       0            dz                       0

is a point, not a line.  For example, consider the 2D smooth function

        Y[t] = ( x[t] ) = (         2  )                               ...  y[t]                                              2                                             t

We will show that this function does not smoothly parametrize its 2D image.  Notice that  Y '[t] = (         2  )                    2 Sqrt[t ]                      2 t has  Y '[0] = Overscript[0, →].  Also notice that  y[t] = | x[t] |, the parametric graph is the graph  y = | x |  with a right angle corner and no derivative at  x = 0.  

        X[t] = ( x[t] ) = (         )                                  ...    2                                             t                                               t    with  X '[t] = (         2  )                    2 Sqrt[t ]                      2 t                      1    and    X '[0] = ( 0 )                     0                     1

[Graphics:../HTMLFiles/Lect3_83.gif]

Zooming in on the explicit graph of  Y[t]  at  t = 0 or X[0], we see ε tend to zero and the magnified increment of the curve tend to  X '[0] δt.

Click here  to animate  

[Graphics:../HTMLFiles/Lect3_89.gif]

Looking straight down the z-axis at the same curve, we see  y = | x |  and no matter how much we magnify the curve, the 2D appearance does not change.   

[Graphics:../HTMLFiles/Lect3_91.gif]

On a scale of  δt  the increment  (Y[0 + δt] - Y[0])/δt≈0 = Y '[0] δt/δt.  A sufficiently magnified 2D increment and derivative are both just a point.  They don't give us tangency and in this specific example, the 2D parametric curve does not have a tangent.  The fuction IS still smooth, but the GRAPH is NOT.


Created by Mathematica  (July 2, 2004)