Definition of the derivative
For our purposes, we use the definition of the derivative as a slope of a curve at a point or, simply, the slope of the tangent line.
This figure is of the graph of a function showing two points and . The line in green is the tangent line at point . The line in blue is a secant line between the points and Q. As tends to 0 , the following equation represents the slope of the tangent line at .
where, if this limit exists then we say that is differentiable at (note that is treated as a constant when taking the limit). We call the above limit a derivative and is defined formally as:
In terms of differentiability, A function is differentiable at if exists and is differentiable on an interval if the derivative exists for each point in that interval.
We have the following theorem stating the relationship between continuous and differentiable functions: if is differentiable at a point , then it is continuous at . As an example, consider the Heaviside function given by:
With its graph shown for (A solid marker indicates that the endpoint is included while a hollow marker indicates that it is not included):
This function is a piecewise-defined function called the Heaviside function or step function often denoted by . The function has a jump at and is said to be discontinuous at . We conclude that the function is discontinuous at ; it follows that does not exist and is not differentiable at . We say that the function is singular at .
While the Heaviside function does not have a derivative in the classical sense, it does have a distributional derivative given by the Dirac Delta distribution (opens in a new tab).
Further, any differentiable function must be continuous for all in its domain. Note that the converse is not true: continuity does not ensure differentiability. For instance, the function is continuous at (we can easily show that the two, one-sided limits as and are both 0 ). However, the function is not differentiable at (it is differentiable everywhere else in its domain). To see this, we examine the two, one-sided limits of the difference quotient
recall that in the limit , the above quotient represents the derivative of the function . Now if the one-sided limits disagree (i.e. as and then we conclude that the two-sided limit of the difference quotient does not exist. Indeed, if hence at ,
while if ,
Since the two limits disagree, the two-sided limit does not exist and thus we find that the absolute function is not differentiable at .
The existence of breaks (like the jump in the Heaviside function) or cusps (like in at ) are examples of non-differentiable behaviour. Another common form of nondifferentiability is the case where the limit of the difference quotient as is infinite (i.e. it does not exist); an example is at . Finally we consider the oscillatory function:
This function is continuous for all real . However, the function is not differentiable at ; again, by looking at the difference quotient
we conclude that the limit does not exist since it oscillates between -1 and 1 (i.e. it does not settle to a single, finite value).
Alternate notation
The derivative, can also be denoted by or, since , it is often denoted by
Derivatives of are also expressed with the superscript notation
note that is and the zeroth derivative, is simply the function . The following notation
is used to show that the derivative is evaluated at the point .
Differentiating from first principles
Before showing formulae and properties of derivatives that allow us to obtain derivatives easily, we first show a few examples of computing derivatives from first principles
The derivative of the following function using the definition of the derivative:
Consider
Again, starting from first principles
here we have used the identity
Then:
where we have used . Hence, . Similarly, we can show that the derivative of is
Differential operator
The differential operator used for taking the derivative is , sometimes also denoted as . Applied to a function, it gives
Anything to the right of the operator is differentiated. The operator for higher, order derivatives is or . We can also use these definitions to define other operators like, for example, a linear second order differential operator, may be given as
with denoting coefficients which are continuous functions of the independent variable, . Applying the operator to a function , it gives