Difference between revisions of "Inverse function theorem"
(→Statement) |
(→Statement with symbols) |
||
(6 intermediate revisions by the same user not shown) | |||
Line 12: | Line 12: | ||
! Version type !! Statement | ! Version type !! Statement | ||
|- | |- | ||
− | | specific point, named functions || Suppose <math>f</math> is a [[function]] of one variable that is a [[one-one function]] and <math>a</math> is in the [[domain]] of <math>f</math>. Suppose <math>f</math> is [[differentiable function|differentiable]] at <math>a</math> and <math>b = f(a)</math>. Suppose further that the [[fact about::derivative]] <math>f'(a)</math> is nonzero, i.e., <math>f'(a) \ne 0</math>. Then the [[fact about::inverse function]] <math>f^{-1}</math> is [[differentiable function|differentiable]] at <math>b</math>, and further:<br><math>(f^{-1})'(b) = \frac{1}{f'(a)}</math> | + | | specific point, named functions || Suppose <math>f</math> is a [[function]] of one variable that is a [[one-one function]] and <math>a</math> is in the [[domain]] of <math>f</math>. Suppose <math>f</math> is continuous in an open interval containing <math>a</math> as well as [[differentiable function|differentiable]] at <math>a</math>, and suppose <math>b = f(a)</math>. Suppose further that the [[fact about::derivative]] <math>f'(a)</math> is nonzero, i.e., <math>f'(a) \ne 0</math>. Then the [[fact about::inverse function]] <math>f^{-1}</math> is [[differentiable function|differentiable]] at <math>b</math>, and further:<br><math>(f^{-1})'(b) = \frac{1}{f'(a)}</math> |
|- | |- | ||
− | | generic point, named functions, point notation || Suppose <math>f</math> is a [[function]] of one variable that is a [[one-one function]]. Then, the formula for the [[derivative]] of the [[inverse function]] is as follows: <br><math>\! (f^{-1})'(x) = \frac{1}{f'(f^{-1}(x))}</math><br> with the formula applicable at all points in the [[range]] of <math>f</math> for which <math>f'(f^{-1}(x))</math> exists and is nonzero. | + | | generic point, named functions, point notation || Suppose <math>f</math> is a [[function]] of one variable that is a [[one-one function]]. Then, the formula for the [[derivative]] of the [[inverse function]] is as follows: <br><math>\! (f^{-1})'(x) = \frac{1}{f'(f^{-1}(x))}</math><br> with the formula applicable at all points in the [[range]] of <math>f</math> for which <math>f</math> is continuous ''around'' the point and <math>f'(f^{-1}(x))</math> exists and is nonzero. |
|- | |- | ||
− | | generic point, named functions, point-free notation || Suppose <math>f</math> is a [[function]] of one variable that is a [[one-one function]]. Then, the formula for the [[derivative]] of the [[inverse function]] is as follows: <br><math>\! (f^{-1})'= \frac{1}{f' \circ f^{-1}}</math><br> with the formula applicable at all points in the [[range]] of <math>f</math> for which <math>f'(f^{-1}(x))</math> exists and is nonzero. | + | | generic point, named functions, point-free notation || Suppose <math>f</math> is a [[function]] of one variable that is a [[one-one function]]. Then, the formula for the [[derivative]] of the [[inverse function]] is as follows: <br><math>\! (f^{-1})'= \frac{1}{f' \circ f^{-1}}</math><br> with the formula applicable at all points in the [[range]] of <math>f</math> for which <math>f</math> is continuous around the point and <math>f'(f^{-1}(x))</math> exists and is nonzero. |
|- | |- | ||
− | | Pure Leibniz notation using dependent and independent variables || Suppose <math>y</math> is a variable functionally dependent on <math>x</math>. Then, <math>\frac{dy}{dx} = \frac{1}{\frac{dx}{dy}}</math> | + | | Pure Leibniz notation using dependent and independent variables || Suppose <math>y</math> is a variable functionally dependent on <math>x</math>. Then, <math>\frac{dy}{dx} = \frac{1}{\frac{dx}{dy}}</math> (with domain caveats as above). |
|} | |} | ||
Line 28: | Line 28: | ||
{| class="sortable" border="1" | {| class="sortable" border="1" | ||
− | ! Case for function !! Short version !! Long version (using specific point, named functions) | + | ! Case for behavior of original function <math>f</math> at <math>a</math> !! Short version !! Long version (using specific point, named functions) |
|- | |- | ||
− | | [[increasing function]] || left hand derivative of <math>f^{-1}</math> is related to left hand derivative of <math>f</math> || Suppose <math>f</math> is | + | | [[increasing function]] from left || left hand derivative of <math>f^{-1}</math> is related to left hand derivative of <math>f</math> || Suppose <math>f</math> is an [[increasing function]] from the left at a point <math>a</math>. Suppose <math>b = f(a)</math>. Suppose further that the [[fact about::derivative|left hand derivative]] <math>f'_-(a)</math> is nonzero, i.e., <math>f'_-(a) \ne 0</math>. Then the [[fact about::inverse function]] <math>f^{-1}</math> is left differentiable at <math>b</math>, and further:<br><math>(f^{-1})'_-(b) = \frac{1}{f'_-(a)}</math> |
|- | |- | ||
− | | [[increasing function]] || right hand derivative of <math>f^{-1}</math> is related to right hand derivative of <math>f</math> || Suppose <math>f</math> is | + | | [[increasing function]] from right || right hand derivative of <math>f^{-1}</math> is related to right hand derivative of <math>f</math> || Suppose <math>f</math> is an [[increasing function]] from the right at a point <math>a</math> (in other words, <math>f</math> increases on the immediate right of <math>a</math>). Suppose <math>b = f(a)</math>. Suppose further that the [[fact about::derivative|right hand derivative]] <math>f'_+(a)</math> is nonzero, i.e., <math>f'_+(a) \ne 0</math>. Then the [[fact about::inverse function]] <math>f^{-1}</math> is right differentiable at <math>b</math>, and further:<br><math>(f^{-1})'_+(b) = \frac{1}{f'_+(a)}</math> |
|- | |- | ||
− | | [[decreasing function]] || right hand derivative of <math>f^{-1}</math> is related to left hand derivative of <math>f</math> || | + | | [[decreasing function]] from left|| right hand derivative of <math>f^{-1}</math> is related to left hand derivative of <math>f</math> || Suppose <math>f</math> is a [[decreasing function]] on the left at a point <math>a</math>. Suppose <math>b = f(a)</math>. Suppose further that the [[fact about::derivative|left hand derivative]] <math>f'_-(a)</math> is nonzero, i.e., <math>f'_-(a) \ne 0</math>. Then the [[fact about::inverse function]] <math>f^{-1}</math> is right differentiable at <math>b</math>, and further:<br><math>(f^{-1})'_+(b) = \frac{1}{f'_-(a)}</math> |
|- | |- | ||
− | | [[decreasing function]] || left hand derivative of <math>f^{-1}</math> is related to right hand derivative of <math>f</math> || | + | | [[decreasing function]] from right|| left hand derivative of <math>f^{-1}</math> is related to right hand derivative of <math>f</math> || Suppose <math>f</math> is a [[decreasing function]] from the right at a point <math>a</math>. Suppose <math>b = f(a)</math>. Suppose further that the [[fact about::derivative|right hand derivative]] <math>f'_+(a)</math> is nonzero, i.e., <math>f'_+(a) \ne 0</math>. Then the [[fact about::inverse function]] <math>f^{-1}</math> is left differentiable at <math>b</math>, and further:<br><math>(f^{-1})'_-(b) = \frac{1}{f'_+(a)}</math> |
|} | |} | ||
+ | |||
+ | Some additional notes: | ||
+ | |||
+ | * For a point in the interior of the domain at which the function is continuous, being increasing on the immediate left forces the function to be increasing on the immediate right, and vice versa. Similarly for decreasing. | ||
+ | * More generally, a continuous one-one function on an interval must be either increasing through the interval or decreasing throughout the interval. | ||
+ | |||
+ | We have been more specific in our statements in the table above to allow for the possibility of piecewise defined functions with discontinuities as well as to tackle the issue of interval endpoints where only one-sided notions make sense. | ||
===Infinity-sensitive versions=== | ===Infinity-sensitive versions=== | ||
Line 57: | Line 64: | ||
|- | |- | ||
| undefined, but approaching <math>-\infty</math>, i.e., [[vertical tangent]] || zero || -- || Both decreasing. <math>f</math> is decreasing through <math>a</math> (with the rate of decrease peaking to <math>\infty</math>) and <math>f^{-1}</math> is decreasing through <math>b</math> (though the rate of decrease dips to zero because it's a [[point of inflection]] with horizontal tangent) || <math>f(x) := -x^{1/3}</math>, <math>f^{-1}(x) := -x^3</math>, <math>a = b = 0</math> | | undefined, but approaching <math>-\infty</math>, i.e., [[vertical tangent]] || zero || -- || Both decreasing. <math>f</math> is decreasing through <math>a</math> (with the rate of decrease peaking to <math>\infty</math>) and <math>f^{-1}</math> is decreasing through <math>b</math> (though the rate of decrease dips to zero because it's a [[point of inflection]] with horizontal tangent) || <math>f(x) := -x^{1/3}</math>, <math>f^{-1}(x) := -x^3</math>, <math>a = b = 0</math> | ||
+ | |} | ||
+ | |||
+ | ==Significance== | ||
+ | |||
+ | {| class="sortable" border="1" | ||
+ | ! Version type !! Significance | ||
+ | |- | ||
+ | | specific point, named functions (two-sided, finite) || This tells us that if a one-one function <math>f</math> is differentiable at a point with nonzero derivative, then <math>f^{-1}</math> is differentiable at the ''image'' of that point under <math>f</math>. | ||
+ | |- | ||
+ | | specific point, named functions (two-sided, infinity-sensitive) || This tells us that if a one-one function <math>f</math> is either differentiable at a point ''or'' has a vertical tangent, then <math>f^{-1}</math> is either differentiable at the ''image'' of that point or has a vertical tangent. Moreover, we can pair the possibilities for <math>f</math> with the possibilities for <math>f^{-1}</math> using the theorem. | ||
+ | |- | ||
+ | | specific point, named functions (one-sided version) || This tells us that if a one-one function <math>f</math> is one-sided differentiable at a point, then the inverse function is one-sided differentiable at the ''image'' point, where the side remains the same for an increasing function and gets switched for a decreasing function. | ||
+ | |- | ||
+ | | generic point, named functions (two-sided, finite) || This tells us that the inverse of a differentiable one-one function with nowhere zero derivative is also a differentiable one-one function. | ||
+ | |- | ||
+ | | generic point, named functions (two-sided, infinity-sensitive) || This tells us that the inverse of a one-one function that is differentiable or has a vertical tangent at each point is also a one-one function that is either differentiable or has a vertical tangent at each point. | ||
+ | |- | ||
+ | | generic point, named functions (one-sided, infinity-sensitive) || This tells us that the inverse of a one-one function that is one-sided differentiable or has a (one or two-sided) vertical tangent at each point is also a one-one function that is one-sided differentiable or has a (one or two-sided) vertical tangent at each point. | ||
+ | |} | ||
+ | |||
+ | Note two important caveats: | ||
+ | |||
+ | * The differentiable of <math>f</math> at <math>a</math> gives us information about the differentiability of <math>f^{-1}</math>, not at <math>a</math>, but at <math>f(a)</math>. | ||
+ | * The reciprocation means we have to be careful about zero and infinity. Thus, the inverse of a differentiable one-one function need not be differentiable ''everywhere'' on its domain. | ||
+ | |||
+ | ===Computational feasibility significance=== | ||
+ | |||
+ | {| class="sortable" border="1" | ||
+ | ! Version type !! Significance | ||
+ | |- | ||
+ | | specific point, named functions || Consider a one-one function <math>f</math>. It is possible to compute <math>(f^{-1})'(b)</math> if we know the value of <math>f'(a)</math> where <math>a = f^{-1}(b)</math>. | ||
+ | |- | ||
+ | | specific point, named functions (second version) || Consider a one-one function <math>f</math>. It is possible to compute <math>(f^{-1})'(b)</math> if we know the ''generic expression'' for <math>f'</math> and the specific value <math>f^{-1}(b)</math>. | ||
+ | |- | ||
+ | | generic point, named functions || Consider a one-one function <math>f</math>. It is possible to find a generic expression for <math>(f^{-1})'(x)</math> in terms of <math>f'</math> and <math>f^{-1}</math>. Note: <toggledisplay><math>f^{-1}</math> itself may not have an explicit expression even if <math>f</math> does, unless we treat inversion itself as a valid building block for writing expressions.</toggledisplay> | ||
+ | |} | ||
+ | |||
+ | ===Computational results significance=== | ||
+ | |||
+ | See the section [[#Infinity-sensitive versions]] for some of the basic computational results in this direction. | ||
+ | |||
+ | ==Examples== | ||
+ | |||
+ | ===Generic point examples=== | ||
+ | |||
+ | Below we list some examples of functions and their inverse functions to which the inverse function theorem can be fruitfully applied. | ||
+ | |||
+ | {| class="sortable" border="1" | ||
+ | ! Original function !! Domain on which it restricts to a [[one-one function]] !! Inverse function for the restriction to that domain !! Domain of inverse function (equals range of original function) !! Derivative of original function !! Derivative of inverse function !! Explanation using inverse function theorem | ||
+ | |- | ||
+ | | [[sine function]] <math>\sin</math> || <math>[-\pi/2,\pi/2]</math> || [[arc sine function]] <math>\arcsin</math> || <math>[-1,1]</math> || [[cosine function]] <math>\cos</math> || <math>\frac{1}{\sqrt{1 - x^2}}</math> || By the inverse function theorem, the derivative at <math>x</math> is <math>\frac{1}{\sin'(\arcsin x)} = \frac{1}{\cos(\arcsin x)}</math>. Use that <math>\cos \theta \ge 0</math> on the range of <math>\arcsin</math> and <math>\cos^2\theta + \sin^2 \theta = 1</math> to get that <math>\cos(\arcsin x) = \sqrt{1 - x^2}</math> | ||
+ | |- | ||
+ | | [[tangent function]] <math>\tan</math> || <math>(-\pi/2,\pi/2)</math> || [[arc tangent function]] <math>\arctan</math> || all real numbers || [[secant-squared function]] <math>\sec^2</math> || <math>\frac{1}{1 + x^2}</math> || By the inverse function theorem, the derivative at <math>x</math> is <math>\frac{1}{\tan'(\arctan x)} = \frac{1}{\sec^2(\arctan x)}</math>. Use that <math>\sec^2 \theta = 1 + \tan^2\theta</math> and get <math>\sec^2(\arctan x) = 1 + x^2</math>. | ||
+ | |- | ||
+ | | [[natural logarithm]] <math>\ln</math> || <math>(0,\infty)</math> || [[exponential function]] <math>\exp</math> || all real numbers || [[reciprocal function]] <math>x \mapsto 1/x</math> || [[exponential function]] <math>\exp</math> || By the inverse function theorem, the derivative at <math>x</math> is <math>\frac{1}{\ln'(\exp(x))} = \frac{1}{1/(\exp x)} = \exp(x)</math> | ||
|} | |} |
Latest revision as of 18:39, 20 January 2013
This article is about a differentiation rule, i.e., a rule for differentiating a function expressed in terms of other functions whose derivatives are known.
View other differentiation rules
Contents
Statement
Verbal statement
The derivative of the inverse function at a point equals the reciprocal of the derivative of the function at its inverse image point.
Statement with symbols
Version type | Statement |
---|---|
specific point, named functions | Suppose is a function of one variable that is a one-one function and is in the domain of . Suppose is continuous in an open interval containing as well as differentiable at , and suppose . Suppose further that the derivative is nonzero, i.e., . Then the inverse function is differentiable at , and further: |
generic point, named functions, point notation | Suppose is a function of one variable that is a one-one function. Then, the formula for the derivative of the inverse function is as follows: with the formula applicable at all points in the range of for which is continuous around the point and exists and is nonzero. |
generic point, named functions, point-free notation | Suppose is a function of one variable that is a one-one function. Then, the formula for the derivative of the inverse function is as follows: with the formula applicable at all points in the range of for which is continuous around the point and exists and is nonzero. |
Pure Leibniz notation using dependent and independent variables | Suppose is a variable functionally dependent on . Then, (with domain caveats as above). |
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 version
One-sided versions exist, but we need to be careful about issues of left and right. We state the two cases:
Case for behavior of original function at | Short version | Long version (using specific point, named functions) |
---|---|---|
increasing function from left | left hand derivative of is related to left hand derivative of | Suppose is an increasing function from the left at a point . Suppose . Suppose further that the left hand derivative is nonzero, i.e., . Then the inverse function is left differentiable at , and further: |
increasing function from right | right hand derivative of is related to right hand derivative of | Suppose is an increasing function from the right at a point (in other words, increases on the immediate right of ). Suppose . Suppose further that the right hand derivative is nonzero, i.e., . Then the inverse function is right differentiable at , and further: |
decreasing function from left | right hand derivative of is related to left hand derivative of | Suppose is a decreasing function on the left at a point . Suppose . Suppose further that the left hand derivative is nonzero, i.e., . Then the inverse function is right differentiable at , and further: |
decreasing function from right | left hand derivative of is related to right hand derivative of | Suppose is a decreasing function from the right at a point . Suppose . Suppose further that the right hand derivative is nonzero, i.e., . Then the inverse function is left differentiable at , and further: |
Some additional notes:
- For a point in the interior of the domain at which the function is continuous, being increasing on the immediate left forces the function to be increasing on the immediate right, and vice versa. Similarly for decreasing.
- More generally, a continuous one-one function on an interval must be either increasing through the interval or decreasing throughout the interval.
We have been more specific in our statements in the table above to allow for the possibility of piecewise defined functions with discontinuities as well as to tackle the issue of interval endpoints where only one-sided notions make sense.
Infinity-sensitive versions
The following version accounts for the infinity cases. We provide only the specific point, named functions version. Assume that is a one-one function that is continuous at a point in its domain, with . There are six cases of interest:
Case for | Case for | Relation between them | Increase/decrease? | Example |
---|---|---|---|---|
undefined, but approaching | zero | -- | Both increasing. is increasing through (with the rate of increase peaking to ) and is increasing through (though the rate of increase dips to zero because it's a point of inflection with horizontal tangent). | , , |
positive | positive | reciprocals of each other. | Both increasing. is increasing through and is increasing through . | , , |
zero | undefined, but approaching , i.e., vertical tangent | -- | Both increasing. is increasing through (though the rate of increase dips to zero because it's a point of inflection with horizontal tangent) and is increasing through (with the rate of increase peaking to ). | , , |
zero | undefined, but approaching , i.e., vertical tangent | -- | Both decreasing. is decreasing through (though the rate of decrease dips to zero because it's a point of inflection with horizontal tangent) and is decreasing through (with the rate of decrease peaking to ). | , , |
negative | negative | reciprocals of each other | Both decreasing. is decreasing through and is decreasing through . | , , |
undefined, but approaching , i.e., vertical tangent | zero | -- | Both decreasing. is decreasing through (with the rate of decrease peaking to ) and is decreasing through (though the rate of decrease dips to zero because it's a point of inflection with horizontal tangent) | , , |
Significance
Version type | Significance |
---|---|
specific point, named functions (two-sided, finite) | This tells us that if a one-one function is differentiable at a point with nonzero derivative, then is differentiable at the image of that point under . |
specific point, named functions (two-sided, infinity-sensitive) | This tells us that if a one-one function is either differentiable at a point or has a vertical tangent, then is either differentiable at the image of that point or has a vertical tangent. Moreover, we can pair the possibilities for with the possibilities for using the theorem. |
specific point, named functions (one-sided version) | This tells us that if a one-one function is one-sided differentiable at a point, then the inverse function is one-sided differentiable at the image point, where the side remains the same for an increasing function and gets switched for a decreasing function. |
generic point, named functions (two-sided, finite) | This tells us that the inverse of a differentiable one-one function with nowhere zero derivative is also a differentiable one-one function. |
generic point, named functions (two-sided, infinity-sensitive) | This tells us that the inverse of a one-one function that is differentiable or has a vertical tangent at each point is also a one-one function that is either differentiable or has a vertical tangent at each point. |
generic point, named functions (one-sided, infinity-sensitive) | This tells us that the inverse of a one-one function that is one-sided differentiable or has a (one or two-sided) vertical tangent at each point is also a one-one function that is one-sided differentiable or has a (one or two-sided) vertical tangent at each point. |
Note two important caveats:
- The differentiable of at gives us information about the differentiability of , not at , but at .
- The reciprocation means we have to be careful about zero and infinity. Thus, the inverse of a differentiable one-one function need not be differentiable everywhere on its domain.
Computational feasibility significance
Version type | Significance |
---|---|
specific point, named functions | Consider a one-one function . It is possible to compute if we know the value of where . |
specific point, named functions (second version) | Consider a one-one function . It is possible to compute if we know the generic expression for and the specific value . |
generic point, named functions | Consider a one-one function . It is possible to find a generic expression for in terms of and . Note: [SHOW MORE] |
Computational results significance
See the section #Infinity-sensitive versions for some of the basic computational results in this direction.
Examples
Generic point examples
Below we list some examples of functions and their inverse functions to which the inverse function theorem can be fruitfully applied.
Original function | Domain on which it restricts to a one-one function | Inverse function for the restriction to that domain | Domain of inverse function (equals range of original function) | Derivative of original function | Derivative of inverse function | Explanation using inverse function theorem |
---|---|---|---|---|---|---|
sine function | arc sine function | cosine function | By the inverse function theorem, the derivative at is . Use that on the range of and to get that | |||
tangent function | arc tangent function | all real numbers | secant-squared function | By the inverse function theorem, the derivative at is . Use that and get . | ||
natural logarithm | exponential function | all real numbers | reciprocal function | exponential function | By the inverse function theorem, the derivative at is |