Difference between revisions of "Derivative"
(→Definition at a point) |
(→Right hand derivative) |
||
(49 intermediate revisions by the same user not shown) | |||
Line 1: | Line 1: | ||
+ | {{core term}} | ||
+ | |||
+ | ==Name== | ||
+ | |||
+ | The term '''derivative''' is used for the notion defined here. However, there are many variations of the concept of derivative that are described by using adjectives to modify the noun. When these variations are being talked about, it is helpful to provide a similar adjective to indicate that we are talking about the usual notion of derivative. The variations and corresponding terminological clarification are below: | ||
+ | |||
+ | {| class="sortable" border="1" | ||
+ | ! Variation of notion of derivative !! Modified name for the usual notion of derivative to emphasize it's the original notion and not the variation | ||
+ | |- | ||
+ | | one-sided derivative (left hand derivative and right hand derivative) -- defined on this page || two-sided derivative | ||
+ | |- | ||
+ | | [[higher derivative]] (obtained by repeated differentiation) || first derivative | ||
+ | |- | ||
+ | | [[partial derivative]] (derivative of a function of multiple variables with respect to one of the variables holding the others constant) || ordinary derivative | ||
+ | |- | ||
+ | | [[discrete derivative]] (not commonly used) || continuous derivative (not commonly used) | ||
+ | |} | ||
+ | |||
==Definition at a point== | ==Definition at a point== | ||
+ | |||
+ | ===Conceptual definition=== | ||
+ | |||
+ | Suppose <math>f</math> is a [[function]] defined on a subset of the reals and <math>x_0</math> is a point in the [[interior]] of the [[domain]] of <math>f</math>, i.e., the domain of <math>f</math> contains an [[open interval]] surrounding <math>x_0</math>. The '''derivative''' of <math>f</math> at <math>x_0</math>, denoted <math>\! f'(x_0)</math>, is the '''instantaneous rate of change''' of <math>f(x)</math> with respect to <math>x</math> at <math>x_0</math>. It is defined as the [[limit]] of the '''average rate of change''' of <math>f</math> between <math>x</math> and <math>x_0</math>, as <math>x</math> approaches <math>x_0</math>. | ||
+ | |||
+ | In the more formal definitions below, we will see that: | ||
+ | |||
+ | * [[Difference quotient]] formalizes the notion of average rate of change. | ||
+ | * Derivative formalizes the notion of instantaneous rate of change, and is the limit of the difference quotient. | ||
===Algebraic definition=== | ===Algebraic definition=== | ||
Line 18: | Line 45: | ||
Suppose <math>f</math> is a [[function]] and <math>x_0</math> is a point in the [[interior]] of the [[domain]] of <math>f</math>, i.e., the domain of <math>f</math> contains an [[open interval]] surrounding <math>x_0</math>. The '''derivative''' of <math>f</math> at <math>x_0</math> is the [[slope]] of the [[tangent line]] to the [[graph]] of <math>f</math> through the point <math>(x_0,f(x_0))</math>. | Suppose <math>f</math> is a [[function]] and <math>x_0</math> is a point in the [[interior]] of the [[domain]] of <math>f</math>, i.e., the domain of <math>f</math> contains an [[open interval]] surrounding <math>x_0</math>. The '''derivative''' of <math>f</math> at <math>x_0</math> is the [[slope]] of the [[tangent line]] to the [[graph]] of <math>f</math> through the point <math>(x_0,f(x_0))</math>. | ||
+ | |||
+ | ===Algebraic definition elaborated in terms of epsilon-delta definition of limits=== | ||
+ | |||
+ | Suppose <math>f</math> is a [[function]] defined on a subset of the reals and <math>x_0</math> is a point in the [[interior]] of the [[domain]] of <math>f</math>, i.e., the domain of <math>f</math> contains an [[open interval]] surrounding <math>x_0</math>. The '''derivative''' (also called '''first derivative''') of <math>f</math> at <math>x_0</math>, denoted <math>\! f'(x_0)</math>, is defined as a real number <math>L</math> such that: | ||
+ | |||
+ | {{quotation|For every <math>\!\varepsilon > 0</math><br> there exists <math>\!\delta > 0</math> such that <br>if <math>\! 0 < |x - x_0| < \delta</math><br> then <math>\! |f(x) - f(x_0) - L(x - x_0)| < \varepsilon|x - x_0|</math>.}} | ||
+ | |||
+ | <center>{{#widget:YouTube|id=cZVLsvvBDgo}}</center> | ||
==Definition as a function== | ==Definition as a function== | ||
Line 23: | Line 58: | ||
Suppose <math>f</math> is a [[function]] defined on a subset of the reals. Its '''derivative''' or '''first derivative''', denoted <math>\! f'</math>, is a function defined as follows: | Suppose <math>f</math> is a [[function]] defined on a subset of the reals. Its '''derivative''' or '''first derivative''', denoted <math>\! f'</math>, is a function defined as follows: | ||
− | * The domain is the following subset of the domain of <math>f</math>: An element in the domain of <math>f</math> is in the domain of <math>f'</math> if and only if it is in the ''interior'' of the domain of <math>f</math> and the derivative of <math>f</math> exists at the point. | + | * The domain is the following subset of the domain of <math>\! f</math>: An element in the domain of <math>\! f</math> is in the domain of <math>\! f'</math> if and only if it is in the ''interior'' of the domain of <math>\! f</math> and the derivative of <math>\! f</math> exists at the point. |
− | * The function value at any point in the domain is simply the value of the derivative of <math>f</math> at that point. | + | * The function value at any point in the domain is simply the value of the derivative of <math>\! f</math> at that point. |
{{generic point specific point confusion}} | {{generic point specific point confusion}} | ||
+ | |||
+ | ==One-sided notions== | ||
+ | |||
+ | ===Left-hand derivative=== | ||
+ | |||
+ | Suppose <math>f</math> is a function defined at a point <math>x_0 \in \R</math> and also to the immediate left of <math>x_0</math>. The '''left-hand derivative''' of <math>f</math> at <math>x_0</math> is defined as the ''left hand limit'' for the difference quotient between <math>x</math> and <math>x_0</math>. In other words, it is: | ||
+ | |||
+ | <math>\operatorname{LHD}(f)(x_0) = f'_-(x_0) := \lim_{x \to x_0^-}\Delta f(x,x_0) = \lim_{x \to x_0^-} \frac{f(x) - f(x_0)}{x - x_0} = \lim_{h \to 0^-} \frac{f(x_0 + h) - f(x_0))}{h}</math> | ||
+ | |||
+ | ===Right-hand derivative=== | ||
+ | |||
+ | Suppose <math>f</math> is a function defined at a point <math>x_0 \in \R</math> and also to the immediate right of <math>x_0</math>. The '''right-hand derivative''' of <math>f</math> at <math>x_0</math> is defined as the ''right hand limit'' for the difference quotient between <math>x</math> and <math>x_0</math>. In other words, it is: | ||
+ | |||
+ | <math>\operatorname{RHD}(f)(x_0) = f'_+(x_0) := \lim_{x \to x_0^+} \Delta f(x,x_0) = \lim_{x \to x_0^+} \frac{f(x) - f(x_0)}{x - x_0} = \lim_{h \to 0^+} \frac{f(x_0 + h) - f(x_0)}{h}</math> | ||
+ | |||
+ | ===Relation between one-sided derivatives and the usual (two-sided) derivative=== | ||
+ | |||
+ | The derivative <math>f'(x_0)</math> exists if and only if (both the left hand derivative and the right hand derivative exist at <math>x_0</math> and their values are equal). Further, the value of the derivative equals both these equals values. | ||
==Leibniz notation for derivative== | ==Leibniz notation for derivative== | ||
− | {{fillin}} | + | The Leibniz notation for derivative views the derivative as the ''relative rate of change of two variables'' and is thus a somewhat different perspective on the derivative. |
+ | |||
+ | Suppose <math>f</math> is a function, and <math>x,y</math> are variables related by <math>y := f(x)</math>. Here, <math>x</math> is an ''independent variable'' and <math>y</math> is the ''dependent variable'' (with the dependency being described by the function <math>f</math>). We then define: | ||
+ | |||
+ | <math>\frac{dy}{dx} := f'(x)</math> | ||
+ | |||
+ | In particular, <math>dy/dx</math> is a ''function'' of <math>x</math>. Its value at <math>x = x_0</math> is defined as <math>f'(x_0)</math> and is denoted as follows: | ||
+ | |||
+ | <math>\! \frac{dy}{dx} |_{x = x_0} := f'(x_0)</math> | ||
+ | |||
+ | Note that the <math>dy/dx</math> notation does ''not'' mean that a number <math>dy</math> is being divided by a number <math>dx</math>. One way of justifying this notation is by expressing it as a limit of a [[difference quotient]]; here, <math>y_0 = f(x_0)</math>: | ||
+ | |||
+ | <math>\! \frac{dy}{dx} |_{x = x_0} := \lim_{x \to x_0} \frac{y - y_0}{x - x_0} = \lim_{x \to x_0} \frac{\Delta y}{\Delta x}</math> | ||
+ | |||
+ | where <math>\Delta y = y - y_0</math> denotes the ''difference'' in <math>y</math>-values and <math>\Delta x = x - x_0</math> denotes the ''difference'' in <math>x</math>-values. | ||
+ | |||
+ | ===Quotient notation is misleading but salvageable=== | ||
+ | |||
+ | The difference quotient is actually a quotient of ''numbers'', and the derivative is a limit of this. Hence, many of the formal manipulations involving fractions of numbers work with this notation, even though <math>dy/dx</math> ''itself'' is not a quotient of numbers (see [[chain rule for differentiation]] and [[inverse function theorem]]). | ||
+ | |||
+ | ===Expressive advantage of Leibniz notation=== | ||
+ | |||
+ | The Leibniz notation is advantageous for carrying out computations by hand and writing derivative expressions because it does not require us to ''name'' every function in order to differentiate it. On the other hand, the prime notation requires us to name a function before we can talk of its derivatives. | ||
+ | |||
+ | Thus, the Leibniz notation is crucial for constructing complicated expressions involving derivatives. For instance, consider the expression: | ||
+ | |||
+ | <math>\frac{d}{dx}\left[\left(\frac{d}{dx}(x - \cos x)\right)\sin^2\left(\frac{d}{dx}(x^2 \cos(x^3))\right)\right]</math> | ||
+ | |||
+ | In order to write this expression with the prime notation, we would first need to give names to functions <math>x - \cos x</math> and <math>x^2 \cos x^3</math>, then give a name to the entire expression within square braces, and then talk of differentiating it. | ||
+ | |||
+ | ===Expressive disadvantage of Leibniz notation=== | ||
+ | |||
+ | The Leibniz notation is not ''point-free'', i.e., we have to use a symbol to denote the point at which the function is being applied. In contrast, with the prime notation, we can make statements like <math>\! \sin' = \cos</math>. | ||
+ | |||
+ | ==Physical applications== | ||
+ | |||
+ | ===Note on units=== | ||
+ | |||
+ | In applications to the natural and social sciences, the ''units'' used for measuring <math>dy/dx</math> are the units used for measuring <math>y</math> divided by the units used for measuring <math>x</math>. This is because the derivative is a limit of a difference quotient, which is a quantity measured in units of <math>y</math> divided by a quantity measured in units of <math>x</math>. | ||
+ | |||
+ | If the dimensions are expressed using a framework such as the MLT framework for physical quantities, then the MLT exponents subtract. | ||
+ | |||
+ | {| class="sortable" border="1" | ||
+ | ! Context !! Example of derivative from real world application !! Functionally dependent variable being differentiated !! Independent variable in terms of which differentiation is happening !! Corresponding difference quotient !! Term for numerator of difference quotient !! Term for denominator of difference quotient !! Comment | ||
+ | |- | ||
+ | | kinematics (classical mechanics, physics) || instantaneous velocity<br>measured in units of length/time || position<br>measured in units of length || time<br>measured in units of time || average velocity || displacement || time elapsed || strictly speaking, this is a vector-valued derivative, but we can use single variable calculus if we restrict to motion along a straight line. | ||
+ | |- | ||
+ | | kinematics (classical mechanics, physics) || instantaneous acceleration<br>measured in units of length/(time)^2 || velocity<br>measured in units of length/time || time<br>measured in units of time || average acceleration || change in velocity || time elapsed || strictly speaking, this is a vector-valued derivative, but we can use single variable calculus if we restrict to motion along a straight line. | ||
+ | |- | ||
+ | | chemical reaction (chemistry) || rate of change of concentration of a particular reaction product<br>measured in units of (concentration measure)/(time). || concentration<br>Suitable concentration measure could be molarity (for reactions in solution) or partial pressure (for gaseous reactions) || time<br>measured in units of time || average rate of change of concentration of the product<br>measured in units of (concentration measure)/(time). || change in concentration of product || time elapsed || | ||
+ | |} | ||
+ | |||
+ | ==Related notions== | ||
+ | |||
+ | {| class="sortable" border="1" | ||
+ | ! Notion !! How it relates to derivative | ||
+ | |- | ||
+ | | [[higher derivative]] || differentiate again the function obtained by differentiating a particular function, and apply this process repeatedly. Specifically, the <math>k^{th}</math> derivative is the function obtained by applying the differentiation operation <math>k</math> times. | ||
+ | |- | ||
+ | | [[antiderivative]] || a function that has the given derivative. Antidifferentiation is the reverse of differentiation. The general expression for the antiderivative is also called the ''indefinite integral''. | ||
+ | |- | ||
+ | | [[partial derivative]] || a function of more than one variable is differentiated with respect to one of the variables keeping the others constant. | ||
+ | |- | ||
+ | | [[higher partial derivative]] || obtained by applying the partial differentiation operation to a function of more than one variable. The ''pure'' higher partials are those where all the partial differentiation operations are with respect to the same variable. The ''mixed'' higher partials are those where the partial differentiation operations are with respect to more than one variable. | ||
+ | |- | ||
+ | | [[differential]] || {{fillin}} | ||
+ | |} | ||
+ | |||
+ | ==Significance== | ||
+ | |||
+ | ===Significance of sign on intervals=== | ||
+ | |||
+ | The derivative represents the ''rate of change'', and roughly speaking, the sign of derivative represents the ''direction of change''. We list the loose and precise statements below: | ||
+ | |||
+ | {| class="sortable" border="1" | ||
+ | ! Loose statement !! Precise versions | ||
+ | |- | ||
+ | | [[increasing function]] means positive derivative || [[positive derivative implies increasing]]<br>[[nonnegative derivative that is not identically zero on any interval implies increasing]]<br>[[increasing and differentiable implies nonnegative derivative that is not identically zero on any interval]] | ||
+ | |- | ||
+ | | [[decreasing function]] means negative derivative || [[negative derivative implies decreasing]]<br>[[decreasing and differentiable implies nonpositive derivative that is not identically zero on any interval]] | ||
+ | |- | ||
+ | | [[constant function]] means zero derivative || [[constant function implies zero derivative]]<br>[[zero derivative implies locally constant]] | ||
+ | |} | ||
+ | |||
+ | ===Significance of sign at points=== | ||
+ | |||
+ | This is quite similar to the significance on an interval, but the behavior at individual points can be anomalous and can also represent transitions between different kinds of intervals. | ||
+ | |||
+ | {| class="sortable" border="1" | ||
+ | ! Loose statement !! Precise versions | ||
+ | |- | ||
+ | | comparison of function value with points on immediate left/right tells us sign of one-sided derivative and vice versa || [[local maximum from the left implies left hand derivative is nonnegative if it exists]]<br>[[local maximum from the right implies right hand derivative is nonpositive if it exists]]<br>[[local minimum from the left implies left hand derivative is nonpositive if it exists]]<br>[[.ocal minimum from the right implies right hand derivative is nonnegative if it exists]] | ||
+ | |- | ||
+ | | local maximum/minimum value must occur at [[critical point]], which is a point where derivative is zero or does not exist. Moreover, sign of derivative on immediate left and right help determine whether it is local max, min, or neither. || [[first derivative test]], see also [[second derivative test]] and [[higher derivative tests]]. | ||
+ | |} | ||
+ | |||
+ | ==Computation of derivative== | ||
+ | |||
+ | === List of most commonly used rules === | ||
+ | |||
+ | <section begin="differentiation rules"/> | ||
+ | |||
+ | For a full list, see [[:Category:Differentiation rules]]. | ||
+ | |||
+ | {| class="sortable" border="1" | ||
+ | ! Method for constructing new functions from old !! In symbols !! Derivative in terms of the old functions and their derivatives !! Proof | ||
+ | |- | ||
+ | | [[pointwise sum of functions|pointwise sum]] || <math>f + g</math> is the function <math>x \mapsto f(x) + g(x)</math><br><math>f_1 + f_2 + \dots + f_n</math> is the function <math>x \mapsto f_1(x) + f_2(x) + \dots + f_n(x)</math> || Sum of the derivatives of the functions being added (''the derivative of the sum is the sum of the derivatives'')<br><math>\! f' + g'</math><br><math>\! f_1' + f_2' + \dots + f_n'</math> || [[differentiation is linear]] | ||
+ | |- | ||
+ | | [[pointwise difference of functions|pointwise difference]] || <math>f - g</math> is the function <math>x \mapsto f(x) - g(x)</math>|| Difference of the derivatives, i.e., <math>f' - g'</math> || [[differentiation is linear]] | ||
+ | |- | ||
+ | | [[scalar multiple of function|scalar multiple]] by a constant || <math>af</math> is the function <math>x \mapsto af(x)</math> where <math>a</math> is a real number || <math>x \mapsto af'(x)</math> || [[differentiation is linear]] | ||
+ | |- | ||
+ | | [[pointwise product of functions|pointwise product]] || <math>f \cdot g</math> (sometimes denoted <math>fg</math>) is the function <math>x \mapsto f(x)g(x)</math><br><math>f_1 \cdot f_2 \cdot \dots f_n</math> (sometimes denoted <math>f_1f_2\dots f_n</math> is the function <math>x \mapsto f_1(x)f_2(x) \dots f_n(x)</math> || For two functions, <math>x \mapsto f'(x)g(x) + f(x)g'(x)</math><br>For multiple functions, <math>x \mapsto f_1'(x)f_2(x) \dots f_n(x) + f_1(x)f_2'(x) \dots f_n(x) + \dots + f_1(x)f_2(x) \dots f_n'(x)</math> || [[product rule for differentiation]] | ||
+ | |- | ||
+ | | [[pointwise quotient of functions|pointwise quotient]] || <math>f/g</math> is the function <math>x \mapsto f(x)/g(x)</math> || <math>x \mapsto \frac{g(x)f'(x) - f(x)g'(x)}{(g(x))^2}</math> || [[quotient rule for differentiation]] | ||
+ | |- | ||
+ | | [[composite of two functions]] || <math>f \circ g</math> is the function <math>x \mapsto f(g(x))</math> || <math>x \mapsto f'(g(x))g'(x)</math> || [[chain rule for differentiation]] | ||
+ | |- | ||
+ | | [[inverse function]] of a [[one-one function]] || <math>f^{-1}</math> sends <matH>x</math> to the unique <math>y</math> such that <math>f(y) = x</math> || <math>\! \frac{1}{f'(f^{-1}(x))}</math> || [[inverse function theorem]] | ||
+ | |- | ||
+ | | [[piecewise definition of functions|piecewise definition]] || <math>f(x) := \left\lbrace \begin{array}{rl} f_1(x), & x < c \\ f_2(x), & c < x \\v, & x = c \end{array}\right.</math> where <math>f_1, f_2</math> can be extended to differentiable functions on all reals|| <math>f' = f_1'</math> to the left of <math>c</math> and <math>f' = f_2'</math> to the right of <math>c</math>. At <math>c</math>, <math>f</math> is differentiable iff <math>f_1(c) = f_2(c) = v</math> and <math>f_1'(c) = f_2'(c)</math>. || [[differentiation rule for piecewise definition by interval]] | ||
+ | |} | ||
+ | |||
+ | <section end="differentiation rules"/> | ||
+ | |||
+ | === Significance of differentiation rules === | ||
+ | |||
+ | The list of differentiation rules is fairly complete with respect to the most typical ways of constructing functions from other functions. This means that if we have explicit expressions for the derivatives of a collection of functions, we can obtain explicit expressions for the derivatives of any other function constructed from them via any of the methods covered in the table above (pointwise sum, pointwise difference, scalar multiple, pointwise product, pointwise quotient, composite, inverse, and piecewise definition). | ||
+ | |||
+ | Computer programs that implement symbolic mathematics (such as Mathematica) generally have all these rules coded in, and are able to use them to differentiate any function constructed by applying these operations to functions whose derivative is already known by the program. |
Latest revision as of 03:17, 25 September 2021
This page lists a core term of calculus. The term is used widely, and a thorough understanding of its definition is critical.
See a complete list of core terminology
Contents
Name
The term derivative is used for the notion defined here. However, there are many variations of the concept of derivative that are described by using adjectives to modify the noun. When these variations are being talked about, it is helpful to provide a similar adjective to indicate that we are talking about the usual notion of derivative. The variations and corresponding terminological clarification are below:
Variation of notion of derivative | Modified name for the usual notion of derivative to emphasize it's the original notion and not the variation |
---|---|
one-sided derivative (left hand derivative and right hand derivative) -- defined on this page | two-sided derivative |
higher derivative (obtained by repeated differentiation) | first derivative |
partial derivative (derivative of a function of multiple variables with respect to one of the variables holding the others constant) | ordinary derivative |
discrete derivative (not commonly used) | continuous derivative (not commonly used) |
Definition at a point
Conceptual definition
Suppose is a function defined on a subset of the reals and is a point in the interior of the domain of , i.e., the domain of contains an open interval surrounding . The derivative of at , denoted , is the instantaneous rate of change of with respect to at . It is defined as the limit of the average rate of change of between and , as approaches .
In the more formal definitions below, we will see that:
- Difference quotient formalizes the notion of average rate of change.
- Derivative formalizes the notion of instantaneous rate of change, and is the limit of the difference quotient.
Algebraic definition
Suppose is a function defined on a subset of the reals and is a point in the interior of the domain of , i.e., the domain of contains an open interval surrounding . The derivative (also called first derivative) of at , denoted is defined as the limit of the difference quotient of between and , as . Explicitly:
If this limit exists, then we say that the derivative exists and has this value, and we say that the function is differentiable at the point. If the limit does not exist, then we say that the function is not differentiable at the point and the derivative does not exist.
Computationally useful version of algebraic definition
This is obtained from the previous definition by the variable substitution so . Explicitly:
Geometric definition
Suppose is a function and is a point in the interior of the domain of , i.e., the domain of contains an open interval surrounding . The derivative of at is the slope of the tangent line to the graph of through the point .
Algebraic definition elaborated in terms of epsilon-delta definition of limits
Suppose is a function defined on a subset of the reals and is a point in the interior of the domain of , i.e., the domain of contains an open interval surrounding . The derivative (also called first derivative) of at , denoted , is defined as a real number such that:
For every
there exists such that
if
then .
Definition as a function
Suppose is a function defined on a subset of the reals. Its derivative or first derivative, denoted , is a function defined as follows:
- The domain is the following subset of the domain of : An element in the domain of is in the domain of if and only if it is in the interior of the domain of and the derivative of exists at the point.
- The function value at any point in the domain is simply the value of the derivative of at that point.
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.
One-sided notions
Left-hand derivative
Suppose is a function defined at a point and also to the immediate left of . The left-hand derivative of at is defined as the left hand limit for the difference quotient between and . In other words, it is:
Right-hand derivative
Suppose is a function defined at a point and also to the immediate right of . The right-hand derivative of at is defined as the right hand limit for the difference quotient between and . In other words, it is:
Relation between one-sided derivatives and the usual (two-sided) derivative
The derivative exists if and only if (both the left hand derivative and the right hand derivative exist at and their values are equal). Further, the value of the derivative equals both these equals values.
Leibniz notation for derivative
The Leibniz notation for derivative views the derivative as the relative rate of change of two variables and is thus a somewhat different perspective on the derivative.
Suppose is a function, and are variables related by . Here, is an independent variable and is the dependent variable (with the dependency being described by the function ). We then define:
In particular, is a function of . Its value at is defined as and is denoted as follows:
Note that the notation does not mean that a number is being divided by a number . One way of justifying this notation is by expressing it as a limit of a difference quotient; here, :
where denotes the difference in -values and denotes the difference in -values.
Quotient notation is misleading but salvageable
The difference quotient is actually a quotient of numbers, and the derivative is a limit of this. Hence, many of the formal manipulations involving fractions of numbers work with this notation, even though itself is not a quotient of numbers (see chain rule for differentiation and inverse function theorem).
Expressive advantage of Leibniz notation
The Leibniz notation is advantageous for carrying out computations by hand and writing derivative expressions because it does not require us to name every function in order to differentiate it. On the other hand, the prime notation requires us to name a function before we can talk of its derivatives.
Thus, the Leibniz notation is crucial for constructing complicated expressions involving derivatives. For instance, consider the expression:
In order to write this expression with the prime notation, we would first need to give names to functions and , then give a name to the entire expression within square braces, and then talk of differentiating it.
Expressive disadvantage of Leibniz notation
The Leibniz notation is not point-free, i.e., we have to use a symbol to denote the point at which the function is being applied. In contrast, with the prime notation, we can make statements like .
Physical applications
Note on units
In applications to the natural and social sciences, the units used for measuring are the units used for measuring divided by the units used for measuring . This is because the derivative is a limit of a difference quotient, which is a quantity measured in units of divided by a quantity measured in units of .
If the dimensions are expressed using a framework such as the MLT framework for physical quantities, then the MLT exponents subtract.
Context | Example of derivative from real world application | Functionally dependent variable being differentiated | Independent variable in terms of which differentiation is happening | Corresponding difference quotient | Term for numerator of difference quotient | Term for denominator of difference quotient | Comment |
---|---|---|---|---|---|---|---|
kinematics (classical mechanics, physics) | instantaneous velocity measured in units of length/time |
position measured in units of length |
time measured in units of time |
average velocity | displacement | time elapsed | strictly speaking, this is a vector-valued derivative, but we can use single variable calculus if we restrict to motion along a straight line. |
kinematics (classical mechanics, physics) | instantaneous acceleration measured in units of length/(time)^2 |
velocity measured in units of length/time |
time measured in units of time |
average acceleration | change in velocity | time elapsed | strictly speaking, this is a vector-valued derivative, but we can use single variable calculus if we restrict to motion along a straight line. |
chemical reaction (chemistry) | rate of change of concentration of a particular reaction product measured in units of (concentration measure)/(time). |
concentration Suitable concentration measure could be molarity (for reactions in solution) or partial pressure (for gaseous reactions) |
time measured in units of time |
average rate of change of concentration of the product measured in units of (concentration measure)/(time). |
change in concentration of product | time elapsed |
Related notions
Notion | How it relates to derivative |
---|---|
higher derivative | differentiate again the function obtained by differentiating a particular function, and apply this process repeatedly. Specifically, the derivative is the function obtained by applying the differentiation operation times. |
antiderivative | a function that has the given derivative. Antidifferentiation is the reverse of differentiation. The general expression for the antiderivative is also called the indefinite integral. |
partial derivative | a function of more than one variable is differentiated with respect to one of the variables keeping the others constant. |
higher partial derivative | obtained by applying the partial differentiation operation to a function of more than one variable. The pure higher partials are those where all the partial differentiation operations are with respect to the same variable. The mixed higher partials are those where the partial differentiation operations are with respect to more than one variable. |
differential | Fill this in later |
Significance
Significance of sign on intervals
The derivative represents the rate of change, and roughly speaking, the sign of derivative represents the direction of change. We list the loose and precise statements below:
Significance of sign at points
This is quite similar to the significance on an interval, but the behavior at individual points can be anomalous and can also represent transitions between different kinds of intervals.
Loose statement | Precise versions |
---|---|
comparison of function value with points on immediate left/right tells us sign of one-sided derivative and vice versa | local maximum from the left implies left hand derivative is nonnegative if it exists local maximum from the right implies right hand derivative is nonpositive if it exists local minimum from the left implies left hand derivative is nonpositive if it exists .ocal minimum from the right implies right hand derivative is nonnegative if it exists |
local maximum/minimum value must occur at critical point, which is a point where derivative is zero or does not exist. Moreover, sign of derivative on immediate left and right help determine whether it is local max, min, or neither. | first derivative test, see also second derivative test and higher derivative tests. |
Computation of derivative
List of most commonly used rules
For a full list, see Category:Differentiation rules.
Method for constructing new functions from old | In symbols | Derivative in terms of the old functions and their derivatives | Proof |
---|---|---|---|
pointwise sum | is the function is the function |
Sum of the derivatives of the functions being added (the derivative of the sum is the sum of the derivatives) |
differentiation is linear |
pointwise difference | is the function | Difference of the derivatives, i.e., | differentiation is linear |
scalar multiple by a constant | is the function where is a real number | differentiation is linear | |
pointwise product | (sometimes denoted ) is the function (sometimes denoted is the function |
For two functions, For multiple functions, |
product rule for differentiation |
pointwise quotient | is the function | quotient rule for differentiation | |
composite of two functions | is the function | chain rule for differentiation | |
inverse function of a one-one function | sends to the unique such that | inverse function theorem | |
piecewise definition | where can be extended to differentiable functions on all reals | to the left of and to the right of . At , is differentiable iff and . | differentiation rule for piecewise definition by interval |
Significance of differentiation rules
The list of differentiation rules is fairly complete with respect to the most typical ways of constructing functions from other functions. This means that if we have explicit expressions for the derivatives of a collection of functions, we can obtain explicit expressions for the derivatives of any other function constructed from them via any of the methods covered in the table above (pointwise sum, pointwise difference, scalar multiple, pointwise product, pointwise quotient, composite, inverse, and piecewise definition).
Computer programs that implement symbolic mathematics (such as Mathematica) generally have all these rules coded in, and are able to use them to differentiate any function constructed by applying these operations to functions whose derivative is already known by the program.