Integral of inverse functions

Template:Short description {{#invoke:sidebar|collapsible | class = plainlist | titlestyle = padding-bottom:0.25em; | pretitle = Part of a series of articles about | title = Calculus | image = $\underset{a}{\overset{b}{\int }}{f}^{\prime }(t)dt=f(b)-f(a)$ | listtitlestyle = text-align:center; | liststyle = border-top:1px solid #aaa;padding-top:0.15em;border-bottom:1px solid #aaa; | expanded = integral | abovestyle = padding:0.15em 0.25em 0.3em;font-weight:normal; | above =

• Fundamental theorem

• Limits
• Continuity

• Rolle's theorem
• Mean value theorem
• Inverse function theorem

| list2name = differential | list2titlestyle = display:block;margin-top:0.65em; | list2title = Template:Bigger | list2 ={{#invoke:sidebar|sidebar|child=yes

 |contentclass=hlist
 | heading1 = Definitions
 | content1 =

• Derivative (generalizations)
• Differential
  • infinitesimal
  • of a function
  • total

 | heading2 = Concepts
 | content2 =

• Differentiation notation
• Second derivative
• Implicit differentiation
• Logarithmic differentiation
• Related rates
• Taylor's theorem

 | heading3 = Rules and identities
 | content3 =

• Sum
• Product
• Chain
• Power
• Quotient
• L'Hôpital's rule
• Inverse
• General Leibniz
• Faà di Bruno's formula
• Reynolds

}}

| list3name = integral | list3title = Template:Bigger | list3 ={{#invoke:sidebar|sidebar|child=yes

 |contentclass=hlist
 | content1 =

• Lists of integrals
• Integral transform
• Leibniz integral rule

| heading2 = Definitions

 | content2 =

• Antiderivative
• Integral (improper)
• Riemann integral
• Lebesgue integration
• Contour integration
• Integral of inverse functions

 | heading3 = Integration by
 | content3 =

• Parts
• Discs
• Cylindrical shells
• Substitution (trigonometric, tangent half-angle, Euler)
• Euler's formula
• Partial fractions (Heaviside's method)
• Changing order
• Reduction formulae
• Differentiating under the integral sign
• Risch algorithm

}}

| list4name = series | list4title = Template:Bigger | list4 ={{#invoke:sidebar|sidebar|child=yes

 |contentclass=hlist
 | content1 =

• Geometric (arithmetico-geometric)
• Harmonic
• Alternating
• Power
• Binomial
• Taylor

 | heading2 = Convergence tests
 | content2 =

• Summand limit (term test)
• Ratio
• Root
• Integral
• Direct comparison
• 
  Limit comparison
• Alternating series
• Cauchy condensation
• Dirichlet
• Abel

}}

| list5name = vector | list5title = Template:Bigger | list5 ={{#invoke:sidebar|sidebar|child=yes

 |contentclass=hlist
 | content1 =

• Gradient
• Divergence
• Curl
• Laplacian
• Directional derivative
• Identities

 | heading2 = Theorems
 | content2 =

• Gradient
• Green's
• Stokes'
• Divergence
• generalized Stokes
• Helmholtz decomposition

}}

| list6name = multivariable | list6title = Template:Bigger | list6 ={{#invoke:sidebar|sidebar|child=yes

 |contentclass=hlist
 | heading1 = Formalisms
 | content1 =

• Matrix
• Tensor
• Exterior
• Geometric

 | heading2 = Definitions
 | content2 =

• Partial derivative
• Multiple integral
• Line integral
• Surface integral
• Volume integral
• Jacobian
• Hessian

}}

| list7name = advanced | list7title = Template:Bigger | list7 ={{#invoke:sidebar|sidebar|child=yes

 |contentclass=hlist
 | content1 =

• Calculus on Euclidean space
• Generalized functions
• Limit of distributions

}}

| list8name = specialized | list8title = Template:Bigger | list8 =

• Fractional
• Malliavin
• Stochastic
• Variations

| list9name = miscellanea | list9title = Template:Bigger | list9 =

• Precalculus
• History
• Glossary
• List of topics
• Integration Bee
• Mathematical analysis
• Nonstandard analysis

}} In mathematics, integrals of inverse functions can be computed by means of a formula that expresses the antiderivatives of the inverse $f^{-1}$ of a continuous and invertible function Template:Nowrap in terms of $f^{-1}$ and an antiderivative of Template:Nowrap This formula was published in 1905 by Charles-Ange Laisant.

Statement of the theorem

Let $I_1$ and $I_2$ be two intervals of Template:Nowrap Assume that $f:I_1\to I_2$ is a continuous and invertible function. It follows from the intermediate value theorem that $f$ is strictly monotone. Consequently, $f$ maps intervals to intervals, so is an open map and thus a homeomorphism. Since $f$ and the inverse function $f^{-1}:I_2\to I_1$ are continuous, they have antiderivatives by the fundamental theorem of calculus.

Laisant proved that if $F$ is an antiderivative of Template:Nowrap then the antiderivatives of $f^{-1}$ are:

$\int f^{-1}(y)dy=y{f}^{-1}(y)-F\circ f^{-1}(y)+C,$

where $C$ is an arbitrary real number. Note that it is not assumed that $f^{-1}$ is differentiable.

Illustration of the theorem

In his 1905 article, Laisant gave three proofs.

First proof

First, under the additional hypothesis that $f^{-1}$ is differentiable, one may differentiate the above formula, which completes the proof immediately.

Second proof

His second proof was geometric. If $f(a)=c$ and Template:Nowrap the theorem can be written:

$\underset{c}{\overset{d}{\int }}{f}^{-1}(y)dy+\underset{a}{\overset{b}{\int }}f(x)dx=bd-ac.$

The figure on the right is a proof without words of this formula. Laisant does not discuss the hypotheses necessary to make this proof rigorous, but this can be proved if $f$ is just assumed to be strictly monotone (but not necessarily continuous, let alone differentiable). In this case, both $f$ and $f^{-1}$ are Riemann integrable and the identity follows from a bijection between lower/upper Darboux sums of $f$ and upper/lower Darboux sums of Template:Nowrap The antiderivative version of the theorem then follows from the fundamental theorem of calculus in the case when $f$ is also assumed to be continuous.

Third proof

Laisant's third proof uses the additional hypothesis that $f$ is differentiable. Beginning with Template:Nowrap one multiplies by $f^{\prime }(x)$ and integrates both sides. The right-hand side is calculated using integration by parts to be Template:Nowrap and the formula follows.

Details

One may also think as follows when $f$ is differentiable. As $f$ is continuous at any $x$, $F:=\underset{0}{\overset{x}{\int }}f$ is differentiable at all $x$ by the fundamental theorem of calculus. Since $f$ is invertible, its derivative would vanish in at most countably many points. Sort these points by $...<t_{-1}<t_0<t_1<...$. Since $g(y):=y{f}^{-1}(y)-F\circ f^{-1}(y)+C$ is a composition of differentiable functions on each interval $(t_i,t_{i+1})$, chain rule could be applied $g^{\prime }(y)=f^{-1}(y)+y/f^{\prime }(y)-f\circ f^{-1}(y).1/f^{\prime }(y)+0=f^{-1}(y)$ to see ${g|}_{(t_i,t_{i+1})}$ is an antiderivative for ${f|}_{(t_i,t_{i+1})}$. We claim $g$ is also differentiable on each of $t_i$ and does not go unbounded if $I_2$ is compact. In such a case $f^{-1}$ is continuous and bounded. By continuity and the fundamental theorem of calculus, $G(y):=C+\underset{0}{\overset{y}{\int }}{f}^{-1}$ where $C$ is a constant, is a differentiable extension of $g$. But $g$ is continuous as it's the composition of continuous functions. So is $G$ by differentiability. Therefore, $G=g$. One can now use the fundamental theorem of calculus to compute $\underset{I_2}{\int }{f}^{-1}$.

Nevertheless, it can be shown that this theorem holds even if $f$ or $f^{-1}$ is not differentiable: it suffices, for example, to use the Stieltjes integral in the previous argument. On the other hand, even though general monotonic functions are differentiable almost everywhere, the proof of the general formula does not follow, unless $f^{-1}$ is absolutely continuous.

It is also possible to check that for every $y$ in Template:Nowrap the derivative of the function $y\mapsto y{f}^{-1}(y)-F(f^{-1}(y))$ is equal to Template:NowrapTemplate:Citation needed In other words:

$\mathrm{\forall }x\in I_1\underset{h\to 0}{\lim }\frac{(x+h)f(x+h)-xf(x)-(F(x+h)-F(x))}{f(x+h)-f(x)}=x.$

To this end, it suffices to apply the mean value theorem to $F$ between $x$ and Template:Nowrap taking into account that $f$ is monotonic.

Examples

1. Assume that Template:Nowrap hence Template:Nowrap The formula above gives immediately $$\int \ln (y)dy=y\ln (y)-\exp (\ln (y))+C=y\ln (y)-y+C.$$
2. Similarly, with $f(x)=\cos (x)$ and Template:Nowrap $$\int \arccos (y)dy=y\arccos (y)-\sin (\arccos (y))+C.$$
3. With $f(x)=\tan (x)$ and Template:Nowrap $$\int \arctan (y)dy=y\arctan (y)+\ln |\cos (\arctan (y))|+C.$$

History

Apparently, this theorem of integration was discovered for the first time in 1905 by Charles-Ange Laisant, who "could hardly believe that this theorem is new", and hoped its use would henceforth spread out among students and teachers. This result was published independently in 1912 by an Italian engineer, Alberto Caprilli, in an opuscule entitled "Nuove formole d'integrazione". It was rediscovered in 1955 by Parker, and by a number of mathematicians following him. Nevertheless, they all assume that Template:Math or Template:Math is differentiable. The general version of the theorem, free from this additional assumption, was proposed by Michael Spivak in 1965, as an exercise in the Calculus, and a fairly complete proof following the same lines was published by Eric Key in 1994. This proof relies on the very definition of the Darboux integral, and consists in showing that the upper Darboux sums of the function Template:Math are in 1-1 correspondence with the lower Darboux sums of Template:Math. In 2013, Michael Bensimhoun, estimating that the general theorem was still insufficiently known, gave two other proofs: The second proof, based on the Stieltjes integral and on its formulae of integration by parts and of homeomorphic change of variables, is the most suitable to establish more complex formulae.

Generalization to holomorphic functions

The above theorem generalizes in the obvious way to holomorphic functions: Let $U$ and $V$ be two open and simply connected sets of Template:Nowrap and assume that $f:U\to V$ is a biholomorphism. Then $f$ and $f^{-1}$ have antiderivatives, and if $F$ is an antiderivative of Template:Nowrap the general antiderivative of $f^{-1}$ is

$G(z)=z{f}^{-1}(z)-F\circ f^{-1}(z)+C.$

Because all holomorphic functions are differentiable, the proof is immediate by complex differentiation.

See also

• Integration by parts
• Legendre transformation
• Young's inequality for products

References

• Template:Cite journal