Difference between revisions of "Derivative Properties"
(Created page with "This is a summary of '''differentiation rules''', that is, rules for computing the derivative of a function in calculus. == Elementary rules of differentiation == Unless oth...") |
|||
(2 intermediate revisions by the same user not shown) | |||
Line 112: | Line 112: | ||
:<math> \frac{d}{dx}\left( \ln |x|\right) = {1 \over x} ,\qquad x \neq 0.</math> | :<math> \frac{d}{dx}\left( \ln |x|\right) = {1 \over x} ,\qquad x \neq 0.</math> | ||
− | :<math> \frac{d}{dx}\left( W(x)\right) = {1 \over {x+e^{W(x)}}} ,\qquad x > -{1 \over e}.\qquad</math>where <math>W(x)</math> is the | + | :<math> \frac{d}{dx}\left( W(x)\right) = {1 \over {x+e^{W(x)}}} ,\qquad x > -{1 \over e}.\qquad</math>where <math>W(x)</math> is the Lambert W function |
:<math> \frac{d}{dx}\left( x^x \right) = x^x(1+\ln x).</math> | :<math> \frac{d}{dx}\left( x^x \right) = x^x(1+\ln x).</math> | ||
Line 128: | Line 128: | ||
Logarithms can be used to remove exponents, convert products into sums, and convert division into subtraction — each of which may lead to a simplified expression for taking derivatives. | Logarithms can be used to remove exponents, convert products into sums, and convert division into subtraction — each of which may lead to a simplified expression for taking derivatives. | ||
− | |||
== Derivatives of trigonometric functions == | == Derivatives of trigonometric functions == | ||
Line 181: | Line 180: | ||
|<math>(\operatorname{arcsch}x)' = -{1 \over |x|\sqrt{1 + x^2}}</math> | |<math>(\operatorname{arcsch}x)' = -{1 \over |x|\sqrt{1 + x^2}}</math> | ||
|} | |} | ||
− | See | + | See Hyperbolic functions for restrictions on these derivatives. |
==Derivatives of special functions== | ==Derivatives of special functions== | ||
{| style="width:100%; background:transparent; margin-left:2em;" | {| style="width:100%; background:transparent; margin-left:2em;" | ||
|width=80%| | |width=80%| | ||
− | ; | + | ;Gamma function <math>\quad \Gamma(x) = \int_0^\infty t^{x-1} e^{-t}\, dt</math> |
:<math>\Gamma'(x) = \int_0^\infty t^{x-1} e^{-t} \ln t\,dt</math> | :<math>\Gamma'(x) = \int_0^\infty t^{x-1} e^{-t} \ln t\,dt</math> | ||
::: <math>\, = \Gamma(x) \left(\sum_{n=1}^\infty \left(\ln\left(1 + \dfrac{1}{n}\right) - \dfrac{1}{x + n}\right) - \dfrac{1}{x}\right)</math> | ::: <math>\, = \Gamma(x) \left(\sum_{n=1}^\infty \left(\ln\left(1 + \dfrac{1}{n}\right) - \dfrac{1}{x + n}\right) - \dfrac{1}{x}\right)</math> | ||
::: <math>\, = \Gamma(x) \psi(x)</math> | ::: <math>\, = \Gamma(x) \psi(x)</math> | ||
− | with <math>\psi(x)</math> being the | + | with <math>\psi(x)</math> being the digamma function, expressed by the parenthesized expression to the right of <math>\Gamma(x)</math> in the line above. |
|width=50%| | |width=50%| | ||
|} | |} | ||
{| style="width:100%; background:transparent; margin-left:2em;" | {| style="width:100%; background:transparent; margin-left:2em;" | ||
|width=50%| | |width=50%| | ||
− | ; | + | ;Riemann Zeta function<math>\quad\zeta(x) =\sum_{n=1}^\infty\frac{1}{n^x}</math> |
:<math>\zeta'(x) = -\sum_{n=1}^\infty \frac{\ln n}{n^x} | :<math>\zeta'(x) = -\sum_{n=1}^\infty \frac{\ln n}{n^x} | ||
=-\frac{\ln 2}{2^x} - \frac{\ln 3}{3^x} - \frac{\ln 4}{4^x} - \cdots | =-\frac{\ln 2}{2^x} - \frac{\ln 3}{3^x} - \frac{\ln 4}{4^x} - \cdots | ||
Line 213: | Line 212: | ||
:<math> F'(x) = f(x,b(x))\,b'(x) - f(x,a(x))\,a'(x) + \int_{a(x)}^{b(x)} \frac{\partial}{\partial x}\, f(x,t)\; dt\,. </math> | :<math> F'(x) = f(x,b(x))\,b'(x) - f(x,a(x))\,a'(x) + \int_{a(x)}^{b(x)} \frac{\partial}{\partial x}\, f(x,t)\; dt\,. </math> | ||
− | This formula is the general form of the | + | This formula is the general form of the Leibniz integral rule and can be derived using the fundamental theorem of calculus. |
− | |||
==Derivatives to ''n''th order== | ==Derivatives to ''n''th order== |
Latest revision as of 14:35, 12 January 2022
This is a summary of differentiation rules, that is, rules for computing the derivative of a function in calculus.
Contents
- 1 Elementary rules of differentiation
- 2 Power laws, polynomials, quotients, and reciprocals
- 3 Derivatives of exponential and logarithmic functions
- 4 Derivatives of trigonometric functions
- 5 Derivatives of hyperbolic functions
- 6 Derivatives of special functions
- 7 Derivatives of integrals
- 8 Derivatives to nth order
- 9 Licensing
Elementary rules of differentiation
Unless otherwise stated, all functions are functions of real numbers (R) that return real values; although more generally, the formulae below apply wherever they are well defined — including the case of complex numbers (C).
Differentiation is linear
For any functions and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle g} and any real numbers Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle a} and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle b} , the derivative of the function Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle h(x) = af(x) + bg(x)} with respect to is
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle h'(x) = a f'(x) + b g'(x).}
In Leibniz's notation this is written as:
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{d(af+bg)}{dx} = a\frac{df}{dx} +b\frac{dg}{dx}.}
Special cases include:
- The constant factor rule
- The sum rule
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (f + g)' = f' + g'}
- The subtraction rule
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (f - g)' = f' - g'.}
The product rule
For the functions f and g, the derivative of the function h(x) = f(x) g(x) with respect to x is
In Leibniz's notation this is written
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{d(fg)}{dx} = \frac{df}{dx} g + f \frac{dg}{dx}.}
The chain rule
The derivative of the function is
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle h'(x) = f'(g(x))\cdot g'(x).}
In Leibniz's notation, this is written as:
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{d}{dx}h(x) = \frac{d}{dz}f(z)|_{z=g(x)}\cdot \frac{d}{dx}g(x),}
often abridged to
Focusing on the notion of maps, and the differential being a map Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \text{D}} , this is written in a more concise way as:
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle [\text{D} (f\circ g)]_x = [\text{D} f]_{g(x)} \cdot [\text{D}g]_x\,.}
The inverse function rule
If the function f has an inverse function g, meaning that and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f(g(y))=y,} then
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle g' = \frac{1}{f'\circ g}.}
In Leibniz notation, this is written as
Power laws, polynomials, quotients, and reciprocals
The polynomial or elementary power rule
If Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f(x) = x^r} , for any real number then
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f'(x) = rx^{r-1}.}
When this becomes the special case that if Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f(x) = x,} then Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f'(x) = 1.}
Combining the power rule with the sum and constant multiple rules permits the computation of the derivative of any polynomial.
The reciprocal rule
The derivative of for any (nonvanishing) function f is:
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle h'(x) = -\frac{f'(x)}{(f(x))^2}} wherever f is non-zero.
In Leibniz's notation, this is written
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{d(1/f)}{dx} = -\frac{1}{f^2}\frac{df}{dx}.}
The reciprocal rule can be derived either from the quotient rule, or from the combination of power rule and chain rule.
The quotient rule
If f and g are functions, then:
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \left(\frac{f}{g}\right)' = \frac{f'g - g'f}{g^2}\quad} wherever g is nonzero.
This can be derived from the product rule and the reciprocal rule.
Generalized power rule
The elementary power rule generalizes considerably. The most general power rule is the functional power rule: for any functions f and g,
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (f^g)' = \left(e^{g\ln f}\right)' = f^g\left(f'{g \over f} + g'\ln f\right),\quad}
wherever both sides are well defined.
Special cases
- If , then Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle f'(x)=ax^{a-1}} when a is any non-zero real number and x is positive.
- The reciprocal rule may be derived as the special case where Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle g(x)=-1\!} .
Derivatives of exponential and logarithmic functions
the equation above is true for all c, but the derivative for Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle c<0} yields a complex number.
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{d}{dx}\left(e^{ax}\right) = ae^{ax}}
the equation above is also true for all c, but yields a complex number if Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle c<0\!} .
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{d}{dx}\left( \ln x\right) = {1 \over x} ,\qquad x > 0.}
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{d}{dx}\left( W(x)\right) = {1 \over {x+e^{W(x)}}} ,\qquad x > -{1 \over e}.\qquad} where Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle W(x)} is the Lambert W function
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{d}{dx}\left( f(x)^{ g(x) } \right ) = g(x)f(x)^{g(x)-1} \frac{df}{dx} + f(x)^{g(x)}\ln{( f(x) )}\frac{dg}{dx}, \qquad \text{if }f(x) > 0, \text{ and if } \frac{df}{dx} \text{ and } \frac{dg}{dx} \text{ exist.}}
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{df_{i}}{dx} \text{ exists. }}
Logarithmic derivatives
The logarithmic derivative is another way of stating the rule for differentiating the logarithm of a function (using the chain rule):
- wherever f is positive.
Logarithmic differentiation is a technique which uses logarithms and its differentiation rules to simplify certain expressions before actually applying the derivative.
Logarithms can be used to remove exponents, convert products into sums, and convert division into subtraction — each of which may lead to a simplified expression for taking derivatives.
Derivatives of trigonometric functions
Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (\cos x)' = -\sin x = \frac{e^{-ix} - e^{ix}}{2i} } | |
Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (\tan x)' = \sec^2 x = { 1 \over \cos^2 x} = 1 + \tan^2 x } | |
Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (\cot x)' = -\csc^2 x = -{ 1 \over \sin^2 x} = -1 - \cot^2 x} | Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (\operatorname{arccot} x)' = {1 \over -1 - x^2} } |
Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (\operatorname{arcsec} x)' = { 1 \over |x|\sqrt{x^2 - 1}} } | |
Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (\csc x)' = -\csc{x}\cot{x} } |
The derivatives in the table above is for when the range of the inverse secant is Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle [0,\pi]\!} and when the range of the inverse cosecant is .
It is common to additionally define an inverse tangent function with two arguments, Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \arctan(y,x)\!} . Its value lies in the range Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle [-\pi,\pi]\!} and reflects the quadrant of the point . For the first and fourth quadrant (i.e. Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x > 0\!} ) one has Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \arctan(y, x>0) = \arctan(y/x)\!} . Its partial derivatives are
, and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{\partial \arctan(y,x)}{\partial x} = \frac{-y}{x^2 + y^2}.} |
Derivatives of hyperbolic functions
Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (\operatorname{arsinh}x)' = { 1 \over \sqrt{1 + x^2}}} | |
Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (\cosh x )'= \sinh x = \frac{e^x - e^{-x}}{2}} | |
Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (\tanh x )'= {\operatorname{sech}^2x} = { 1 \over \cosh^2 x} = 1 - \tanh^2 x} | |
Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (\coth x )' = -\operatorname{csch}^2x = -{ 1 \over \sinh^2 x} = 1 - \coth^2 x} | Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (\operatorname{arcoth}x)' = { 1 \over 1 - x^2}} |
Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (\operatorname{sech} x)' = -\operatorname{sech}{x}\tanh{x}} | |
Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (\operatorname{csch}x)' = -\operatorname{csch}{x}\coth{x}} | Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (\operatorname{arcsch}x)' = -{1 \over |x|\sqrt{1 + x^2}}} |
See Hyperbolic functions for restrictions on these derivatives.
Derivatives of special functions
with being the digamma function, expressed by the parenthesized expression to the right of Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Gamma(x)} in the line above. |
|
Derivatives of integrals
Suppose that it is required to differentiate with respect to x the function
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle F(x)=\int_{a(x)}^{b(x)}f(x,t)\,dt,}
where the functions and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{\partial}{\partial x}\,f(x,t)} are both continuous in both Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle t} and in some region of the Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (t,x)} plane, including Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle a(x)\leq t\leq b(x),} Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x_0\leq x\leq x_1} , and the functions and are both continuous and both have continuous derivatives for . Then for :
This formula is the general form of the Leibniz integral rule and can be derived using the fundamental theorem of calculus.
Derivatives to nth order
Some rules exist for computing the n-th derivative of functions, where n is a positive integer. These include:
Faà di Bruno's formula
If f and g are n-times differentiable, then
where Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle r = \sum_{m=1}^{n-1} k_m} and the set Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{k_m\}} consists of all non-negative integer solutions of the Diophantine equation .
General Leibniz rule
If f and g are n-times differentiable, then
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{d^n}{dx^n}[f(x)g(x)] = \sum_{k=0}^{n} \binom{n}{k} \frac{d^{n-k}}{d x^{n-k}} f(x) \frac{d^k}{d x^k} g(x)}
Licensing
Content obtained and/or adapted from:
- Differentiation rules, Wikipedia under a CC BY-SA license