# Difference between revisions of "Inverse function theorem"

From Calculus

(→One-sided version) |
|||

Line 57: | Line 57: | ||

|- | |- | ||

| 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> | ||

+ | |} | ||

+ | |||

+ | ==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> || [[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> | ||

|} | |} |

## Revision as of 17:41, 16 December 2011

This article is about adifferentiation 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 differentiable at and . 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 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 exists and is nonzero. |

Pure Leibniz notation using dependent and independent variables | Suppose is a variable functionally dependent on . Then, |

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 byvaryingthe point we are considering. This is the purpose of the second,generic pointversion.

### 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 function | Short version | Long version (using specific point, named functions) |
---|---|---|

increasing function | left hand derivative of is related to left hand derivative of | Suppose is an increasing function of one variable. Suppose . Suppose further that the left hand derivative is nonzero, i.e., . Then the inverse function is left differentiable at , and further: |

increasing function | right hand derivative of is related to right hand derivative of | Suppose is an increasing function of one variable. Suppose . Suppose further that the right hand derivative is nonzero, i.e., . Then the inverse function is right differentiable at , and further: |

decreasing function | right hand derivative of is related to left hand derivative of | Suppose is a decreasing function of one variable. Suppose . Suppose further that the left hand derivative is nonzero, i.e., . Then the inverse function is right differentiable at , and further: |

decreasing function | left hand derivative of is related to right hand derivative of | Suppose is a decreasing function of one variable. Suppose . Suppose further that the right hand derivative is nonzero, i.e., . Then the inverse function is left differentiable at , and further: |

### 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) | , , |

## 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 | reciprocal function | exponential function | By the inverse function theorem, the derivative at is |