- 1 Definition
- 2 Relation with ordinary derivative
- 2.1 Parametric expressions aren't necessarily functions
- 2.2 "Nice" parametric expressions define functions locally at most points
- 2.3 If is nonzero (and of constant sign) for around , the parametric expression defines a function locally around
- 2.4 The parametric derivative makes sense and is the correct expression when it is defined
- 2.5 When the parametric derivative is undefined, the ordinary derivative may or may not be defined
The parametric derivative for a parametric curve at a point is given as follows, where and both exist and is nonzero and of constant sign for an open interval around :
As a general function of , the parametric derivative is defined as .
NOTE: When calculating the general expression for the parametric derivative, before canceling any factors between and , it is important to separate out the cases where that common value is zero. For any points where , the parametric derivative is not defined (the ordinary derivative may still be defined, but we would need another method to calculate it).
MORE ON THE WAY THIS DEFINITION OR FACT IS PRESENTED: We first present the version that deals with a specific point (typically with a subscript) in the domain of the relevant functions, and then discuss the version that deals with a point that is free to move in the domain, by dropping the subscript. Why do we do this?
The purpose of the specific point version is to emphasize that the point is fixed for the duration of the definition, i.e., it does not move around while we are defining the construct or applying the fact. However, the definition or fact applies not just for a single point but for all points satisfying certain criteria, and thus we can get further interesting perspectives on it by varying the point we are considering. This is the purpose of the second, generic point version.
Relation with ordinary derivative
Parametric expressions aren't necessarily functions
The notation should be used only in the context that is a function of , i.e., a single value of gives rise to a single value of . Generally speaking, this is not guaranteed with parametric curves.
For instance, for a parametric curve , is expressible as a function of only if is completely determined by . This is the case, for instance, when is a one-one function. But it's not always the case. Consider a circle:
In this case, a single value of , in most cases, corresponds to two values of that are negatives of each other. That's because if , we have also , so both and work. The only case where is unique in terms of is when and . Geometrically, vertical secant lines intersect the upper semicircle and lower semicircle, and these are the two -values for a given -value.
"Nice" parametric expressions define functions locally at most points
As described above, for a parametric curve, need not globally be a function of . However, even in the presented example of a circle, for most , if we restrict to a small enough open interval around , is a function of for the part of the curve where is restricted to that interval. So it's "locally" a function. Differentiation being a local operation, it still makes sense to take the derivative at the point. The parametric derivative should therefore be understood as the derivative for the function obtained by taking the local restriction.
In the circle example, the only points at which is locally not a function of are the ones at the far left and far right: and (ironically, these are the only points with unique global -values).
If is nonzero (and of constant sign) for around , the parametric expression defines a function locally around
If is nonzero and of constant sign around , then (depending on the sign) is an increasing or decreasing function around <mth>t_0</math>. In particular, within that open interval, is a one-one function, so no value of repeats. Thus locally is a function of on that interval.
NOTE: To deduce increasing/decreasing behavior, it is not enough to assume that . For a counterexample, see positive derivative at a point not implies increasing around the point.
NOTE 2: The assumption of constant sign is not necessary; it can be deduced from the derivative being nonzero. That's because derivative of differentiable function satisfies intermediate value property.
The parametric derivative makes sense and is the correct expression when it is defined
We have now come full circle. In the case that around , is locally a function of around . In such cases, if also exists, the expression gives the parametric derivative.
The proof that the parametric derivative expression is correct follows from the chain rule for differentiation. As established above, is locally a function of around . Let's call this local function . Locally around , we have:
By the chain rule for differentiation:
At , we get:
Rearranging, we get:
The left side is the expression we are trying to calculate, and the right side is the expression that we want to prove it to be.
When the parametric derivative is undefined, the ordinary derivative may or may not be defined
Consider the example of the astroid as a parametric curve:
The derivatives are as follows:
The parametric derivative is therefore:
We can cancel the 3:
However, we should not cancel the and until we have isolated the cases where either of them is zero.
Cases of undefined parametric derivative
The cases where the derivative is undefined correspond precisely to the cases where or , which correspond precisely to the integer multiples of . At these points, the parametric derivative is not defined. The actual point coordinates are (1,0), (0,1), (-1,0), and (0,-1).
Cases of defined parametric derivative
When the parametric derivative is defined, we can cancel the common factors from the numerator and denominator. After simplifying, we get:
Limiting behavior on undefined cases
When or , the limit of the parametric derivative expression () equals zero. However, despite the limit existing, the parametric derivative is undefined at the point. In fact, the parametric curve is not locally a function at these points: geometrically, the -coordinate doubles back, forming a horizontal cusp.
When or , the parametric derivative does not have a defined limit, with the left-hand and right-hand limits being opposite signs of infinity. Geometrically, we have vertical cusps at these points.
NOTE: In general, when the parametric derivative is not defined at a point, but there is a limit for it at that point, then the ordinary derivative, if defined, must equal that value.