Change Of Variables Formula
   HOME

TheInfoList



OR:

In
calculus Calculus, originally called infinitesimal calculus or "the calculus of infinitesimals", is the mathematical study of continuous change, in the same way that geometry is the study of shape, and algebra is the study of generalizations of arithm ...
, integration by substitution, also known as ''u''-substitution, reverse chain rule or change of variables, is a method for evaluating
integral In mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented i ...
s and
antiderivative In calculus, an antiderivative, inverse derivative, primitive function, primitive integral or indefinite integral of a function is a differentiable function whose derivative is equal to the original function . This can be stated symbolically ...
s. It is the counterpart to the
chain rule In calculus, the chain rule is a formula that expresses the derivative of the composition of two differentiable functions and in terms of the derivatives of and . More precisely, if h=f\circ g is the function such that h(x)=f(g(x)) for every , ...
for differentiation, and can loosely be thought of as using the chain rule "backwards".


Substitution for a single variable


Introduction

Before stating the result rigorously, consider a simple case using
indefinite integral In calculus, an antiderivative, inverse derivative, primitive function, primitive integral or indefinite integral of a function is a differentiable function whose derivative is equal to the original function . This can be stated symbolicall ...
s. Compute \textstyle\int(2x^3+1)^7(x^2)\,dx. Set u=2x^3+1. This means \textstyle\frac=6x^2, or in
differential form In mathematics, differential forms provide a unified approach to define integrands over curves, surfaces, solids, and higher-dimensional manifolds. The modern notion of differential forms was pioneered by Élie Cartan. It has many applications, ...
, du=6x^2\,dx. Now :\int(2x^3 +1)^7(x^2)\,dx = \frac\int\underbrace_\underbrace_=\frac\int u^\,du=\frac\left(\fracu^\right)+C=\frac(2x^3+1)^+C, where C is an arbitrary
constant of integration In calculus, the constant of integration, often denoted by C (or c), is a constant term added to an antiderivative of a function f(x) to indicate that the indefinite integral of f(x) (i.e., the set of all antiderivatives of f(x)), on a connected ...
. This procedure is frequently used, but not all integrals are of a form that permits its use. In any event, the result should be verified by differentiating and comparing to the original integrand. :\frac\left frac(2x^3+1)^+C\right\frac(2x^3+1)^(6x^2) = (2x^3+1)^7(x^2). For definite integrals, the limits of integration must also be adjusted, but the procedure is mostly the same.


Definite integrals

Let g: ,brightarrow I be a
differentiable function In mathematics, a differentiable function of one real variable is a function whose derivative exists at each point in its domain. In other words, the graph of a differentiable function has a non-vertical tangent line at each interior point in its ...
with a
continuous Continuity or continuous may refer to: Mathematics * Continuity (mathematics), the opposing concept to discreteness; common examples include ** Continuous probability distribution or random variable in probability and statistics ** Continuous ...
derivative, where I \subset \mathbb is an interval. Suppose that f:I\rightarrow\mathbb is a
continuous function In mathematics, a continuous function is a function such that a continuous variation (that is a change without jump) of the argument induces a continuous variation of the value of the function. This means that there are no abrupt changes in value ...
. Then :\int_a^b f(g(x))\cdot g'(x)\, dx = \int_^ f(u)\ du. In Leibniz notation, the substitution u=g(x) yields :\frac = g'(x). Working heuristically with
infinitesimal In mathematics, an infinitesimal number is a quantity that is closer to zero than any standard real number, but that is not zero. The word ''infinitesimal'' comes from a 17th-century Modern Latin coinage ''infinitesimus'', which originally referr ...
s yields the equation :du = g'(x)\,dx, which suggests the substitution formula above. (This equation may be put on a rigorous foundation by interpreting it as a statement about
differential form In mathematics, differential forms provide a unified approach to define integrands over curves, surfaces, solids, and higher-dimensional manifolds. The modern notion of differential forms was pioneered by Élie Cartan. It has many applications, ...
s.) One may view the method of integration by substitution as a partial justification of
Leibniz's notation In calculus, Leibniz's notation, named in honor of the 17th-century German philosopher and mathematician Gottfried Wilhelm Leibniz, uses the symbols and to represent infinitely small (or infinitesimal) increments of and , respectively, just a ...
for integrals and derivatives. The formula is used to transform one integral into another integral that is easier to compute. Thus, the formula can be read from left to right or from right to left in order to simplify a given integral. When used in the former manner, it is sometimes known as ''u''-substitution or ''w''-substitution in which a new variable is defined to be a function of the original variable found inside the
composite Composite or compositing may refer to: Materials * Composite material, a material that is made from several different substances ** Metal matrix composite, composed of metal and other parts ** Cermet, a composite of ceramic and metallic materials ...
function multiplied by the derivative of the inner function. The latter manner is commonly used in
trigonometric substitution In mathematics, trigonometric substitution is the replacement of trigonometric functions for other expressions. In calculus, trigonometric substitution is a technique for evaluating integrals. Moreover, one may use the trigonometric identities ...
, replacing the original variable with a
trigonometric function In mathematics, the trigonometric functions (also called circular functions, angle functions or goniometric functions) are real functions which relate an angle of a right-angled triangle to ratios of two side lengths. They are widely used in all ...
of a new variable and the original differential with the differential of the trigonometric function.


Proof

Integration by substitution can be derived from the
fundamental theorem of calculus The fundamental theorem of calculus is a theorem that links the concept of differentiating a function (calculating its slopes, or rate of change at each time) with the concept of integrating a function (calculating the area under its graph, or ...
as follows. Let f and g be two functions satisfying the above hypothesis that f is continuous on I and g' is integrable on the closed interval ,b/math>. Then the function f(g(x))\cdot g'(x) is also integrable on ,b/math>. Hence the integrals :\int_a^b f(g(x))\cdot g'(x)\ dx and :\int_^ f(u)\ du in fact exist, and it remains to show that they are equal. Since f is continuous, it has an
antiderivative In calculus, an antiderivative, inverse derivative, primitive function, primitive integral or indefinite integral of a function is a differentiable function whose derivative is equal to the original function . This can be stated symbolically ...
F. The
composite function In mathematics, function composition is an operation that takes two function (mathematics), functions and , and produces a function such that . In this operation, the function is function application, applied to the result of applying the ...
F \circ g is then defined. Since g is differentiable, combining the
chain rule In calculus, the chain rule is a formula that expresses the derivative of the composition of two differentiable functions and in terms of the derivatives of and . More precisely, if h=f\circ g is the function such that h(x)=f(g(x)) for every , ...
and the definition of an antiderivative gives :(F \circ g)'(x) = F'(g(x)) \cdot g'(x) = f(g(x)) \cdot g'(x). Applying the
fundamental theorem of calculus The fundamental theorem of calculus is a theorem that links the concept of differentiating a function (calculating its slopes, or rate of change at each time) with the concept of integrating a function (calculating the area under its graph, or ...
twice gives : \begin \int_a^b f(g(x)) \cdot g'(x)\ dx &= \int_a^b (F \circ g)'(x)\ dx \\ &= (F \circ g)(b) - (F \circ g)(a) \\ &= F(g(b)) - F(g(a)) \\ &= \int_^ f(u)\ du, \end which is the substitution rule.


Examples


Example 1

Consider the integral :\int_0^2 x \cos(x^2+1)\ dx. Make the substitution u = x^ + 1 to obtain du = 2x\ dx, meaning x\ dx = \frac\ du. Therefore, :\begin \int_^ x \cos(x^2+1) \ dx &= \frac \int_^\cos(u)\ du \\ pt&= \frac(\sin(5)-\sin(1)). \end Since the lower limit x = 0 was replaced with u = 1, and the upper limit x = 2 with 2^ + 1 = 5, a transformation back into terms of x was unnecessary. Alternatively, one may fully evaluate the indefinite integral ( see below) first then apply the boundary conditions. This becomes especially handy when multiple substitutions are used.


Example 2

For the integral :\int_0^1 \sqrt\,dx, a variation of the above procedure is needed. The substitution x = \sin u implying dx = \cos u \,du is useful because \sqrt = \cos(u). We thus have :\begin \int_0^1 \sqrt\ dx &= \int_0^ \sqrt \cos(u)\ du \\ pt&= \int_0^ \cos^2u\ du \\ pt&= \left frac + \frac\right0^ \\ pt&= \frac + 0 \\ &= \frac. \end The resulting integral can be computed using
integration by parts In calculus, and more generally in mathematical analysis, integration by parts or partial integration is a process that finds the integral of a product of functions in terms of the integral of the product of their derivative and antiderivative. ...
or a
double angle formula In trigonometry, trigonometric identities are equalities that involve trigonometric functions and are true for every value of the occurring variables for which both sides of the equality are defined. Geometrically, these are identities involvin ...
, 2\cos^ u = 1 + \cos (2u), followed by one more substitution. One can also note that the function being integrated is the upper right quarter of a circle with a radius of one, and hence integrating the upper right quarter from zero to one is the geometric equivalent to the area of one quarter of the unit circle, or \frac\pi 4 .


Antiderivatives

Substitution can be used to determine
antiderivative In calculus, an antiderivative, inverse derivative, primitive function, primitive integral or indefinite integral of a function is a differentiable function whose derivative is equal to the original function . This can be stated symbolically ...
s. One chooses a relation between x and u, determines the corresponding relation between dx and du by differentiating, and performs the substitutions. An antiderivative for the substituted function can hopefully be determined; the original substitution between x and u is then undone. Similar to example 1 above, the following antiderivative can be obtained with this method: :\begin \int x \cos(x^2+1) \,dx &= \frac \int 2x \cos(x^2+1) \,dx \\ pt&= \frac \int\cos u\,du \\ pt&= \frac\sin u + C \\ &= \frac\sin(x^2+1) + C, \end where C is an arbitrary
constant of integration In calculus, the constant of integration, often denoted by C (or c), is a constant term added to an antiderivative of a function f(x) to indicate that the indefinite integral of f(x) (i.e., the set of all antiderivatives of f(x)), on a connected ...
. There were no integral boundaries to transform, but in the last step reverting the original substitution u = x^ + 1 was necessary. When evaluating definite integrals by substitution, one may calculate the antiderivative fully first, then apply the boundary conditions. In that case, there is no need to transform the boundary terms. The
tangent function In mathematics, the trigonometric functions (also called circular functions, angle functions or goniometric functions) are real functions which relate an angle of a right-angled triangle to ratios of two side lengths. They are widely used in al ...
can be integrated using substitution by expressing it in terms of the sine and cosine: :\int \tan x \,dx = \int \frac \,dx Using the substitution u = \cos x gives du = -\sin x\,dx and :\begin \int \tan x \,dx &= \int \frac \,dx \\ &= \int -\frac \\ &= -\ln , u, + C \\ &= -\ln , \cos x, + C \\ &= \ln , \sec x, + C. \end


Substitution for multiple variables

One may also use substitution when integrating functions of several variables. Here the substitution function needs to be
injective In mathematics, an injective function (also known as injection, or one-to-one function) is a function that maps distinct elements of its domain to distinct elements; that is, implies . (Equivalently, implies in the equivalent contrapositiv ...
and continuously differentiable, and the differentials transform as :dv_1 \cdots dv_n = \left, \det(D\varphi)(u_1, \ldots, u_n)\ \, du_1 \cdots du_n, where denotes the
determinant In mathematics, the determinant is a scalar value that is a function of the entries of a square matrix. It characterizes some properties of the matrix and the linear map represented by the matrix. In particular, the determinant is nonzero if and ...
of the
Jacobian matrix In vector calculus, the Jacobian matrix (, ) of a vector-valued function of several variables is the matrix of all its first-order partial derivatives. When this matrix is square, that is, when the function takes the same number of variables as ...
of
partial derivative In mathematics, a partial derivative of a function of several variables is its derivative with respect to one of those variables, with the others held constant (as opposed to the total derivative, in which all variables are allowed to vary). Part ...
s of at the point . This formula expresses the fact that the
absolute value In mathematics, the absolute value or modulus of a real number x, is the non-negative value without regard to its sign. Namely, , x, =x if is a positive number, and , x, =-x if x is negative (in which case negating x makes -x positive), an ...
of the determinant of a matrix equals the volume of the parallelotope spanned by its columns or rows. More precisely, the ''
change of variables Change or Changing may refer to: Alteration * Impermanence, a difference in a state of affairs at different points in time * Menopause, also referred to as "the change", the permanent cessation of the menstrual period * Metamorphosis, or change, ...
'' formula is stated in the next theorem: Theorem. Let be an open set in and an
injective In mathematics, an injective function (also known as injection, or one-to-one function) is a function that maps distinct elements of its domain to distinct elements; that is, implies . (Equivalently, implies in the equivalent contrapositiv ...
differentiable function with continuous partial derivatives, the Jacobian of which is nonzero for every in . Then for any real-valued, compactly supported, continuous function , with support contained in , :\int_ f(\mathbf)\, d\mathbf = \int_U f(\varphi(\mathbf)) \left, \det(D\varphi)(\mathbf)\ \,d\mathbf. The conditions on the theorem can be weakened in various ways. First, the requirement that be continuously differentiable can be replaced by the weaker assumption that be merely differentiable and have a continuous inverse. This is guaranteed to hold if is continuously differentiable by the
inverse function theorem In mathematics, specifically differential calculus, the inverse function theorem gives a sufficient condition for a function to be invertible in a neighborhood of a point in its domain: namely, that its ''derivative is continuous and non-zero at ...
. Alternatively, the requirement that can be eliminated by applying
Sard's theorem In mathematics, Sard's theorem, also known as Sard's lemma or the Morse–Sard theorem, is a result in mathematical analysis that asserts that the set of critical values (that is, the image of the set of critical points) of a smooth functio ...
. For Lebesgue measurable functions, the theorem can be stated in the following form: Theorem. Let be a measurable subset of and an
injective function In mathematics, an injective function (also known as injection, or one-to-one function) is a function that maps distinct elements of its domain to distinct elements; that is, implies . (Equivalently, implies in the equivalent contrapositiv ...
, and suppose for every in there exists in such that as (here is little-''o'' notation). Then is measurable, and for any real-valued function defined on , :\int_ f(v)\, dv = \int_U f(\varphi(u)) \left, \det \varphi'(u)\ \,du in the sense that if either integral exists (including the possibility of being properly infinite), then so does the other one, and they have the same value. Another very general version in
measure theory In mathematics, the concept of a measure is a generalization and formalization of geometrical measures ( length, area, volume) and other common notions, such as mass and probability of events. These seemingly distinct concepts have many simil ...
is the following: Theorem. Let be a
locally compact In topology and related branches of mathematics, a topological space is called locally compact if, roughly speaking, each small portion of the space looks like a small portion of a compact space. More precisely, it is a topological space in which ev ...
Hausdorff space In topology and related branches of mathematics, a Hausdorff space ( , ), separated space or T2 space is a topological space where, for any two distinct points, there exist neighbourhoods of each which are disjoint from each other. Of the many ...
equipped with a finite
Radon measure In mathematics (specifically in measure theory), a Radon measure, named after Johann Radon, is a measure on the σ-algebra of Borel sets of a Hausdorff topological space ''X'' that is finite on all compact sets, outer regular on all Borel se ...
, and let be a σ-compact Hausdorff space with a σ-finite Radon measure . Let be an
absolutely continuous In calculus, absolute continuity is a smoothness property of functions that is stronger than continuity and uniform continuity. The notion of absolute continuity allows one to obtain generalizations of the relationship between the two central oper ...
function (where the latter means that whenever ). Then there exists a real-valued Borel measurable function on such that for every
Lebesgue integrable In mathematics, the integral of a non-negative function of a single variable can be regarded, in the simplest case, as the area between the graph of that function and the -axis. The Lebesgue integral, named after French mathematician Henri Leb ...
function , the function is Lebesgue integrable on , and :\int_Y f(y)\,d\rho(y) = \int_X (f\circ \varphi)(x)\,w(x)\,d\mu(x). Furthermore, it is possible to write :w(x) = (g\circ \varphi)(x) for some Borel measurable function on . In
geometric measure theory In mathematics, geometric measure theory (GMT) is the study of geometric properties of sets (typically in Euclidean space) through measure theory. It allows mathematicians to extend tools from differential geometry to a much larger class of surfa ...
, integration by substitution is used with
Lipschitz function In mathematical analysis, Lipschitz continuity, named after German mathematician Rudolf Lipschitz, is a strong form of uniform continuity for functions. Intuitively, a Lipschitz continuous function is limited in how fast it can change: there exi ...
s. A bi-Lipschitz function is a Lipschitz function which is injective and whose inverse function is also Lipschitz. By
Rademacher's theorem In mathematical analysis, Rademacher's theorem, named after Hans Rademacher, states the following: If is an open subset of and is Lipschitz continuous, then is differentiable almost everywhere in ; that is, the points in at which is ''not'' d ...
a bi-Lipschitz mapping is differentiable
almost everywhere In measure theory (a branch of mathematical analysis), a property holds almost everywhere if, in a technical sense, the set for which the property holds takes up nearly all possibilities. The notion of "almost everywhere" is a companion notion to ...
. In particular, the Jacobian determinant of a bi-Lipschitz mapping is well-defined almost everywhere. The following result then holds: Theorem. Let be an open subset of and be a bi-Lipschitz mapping. Let be measurable. Then :\int_U (f\circ \varphi)(x) , \det D\varphi(x), \,dx = \int_ f(x)\,dx in the sense that if either integral exists (or is properly infinite), then so does the other one, and they have the same value. The above theorem was first proposed by
Euler Leonhard Euler ( , ; 15 April 170718 September 1783) was a Swiss mathematician, physicist, astronomer, geographer, logician and engineer who founded the studies of graph theory and topology and made pioneering and influential discoveries in ma ...
when he developed the notion of double integrals in 1769. Although generalized to triple integrals by Lagrange in 1773, and used by Legendre, Laplace,
Gauss Johann Carl Friedrich Gauss (; german: Gauß ; la, Carolus Fridericus Gauss; 30 April 177723 February 1855) was a German mathematician and physicist who made significant contributions to many fields in mathematics and science. Sometimes refer ...
, and first generalized to variables by Mikhail Ostrogradski in 1836, it resisted a fully rigorous formal proof for a surprisingly long time, and was first satisfactorily resolved 125 years later, by
Élie Cartan Élie Joseph Cartan (; 9 April 1869 – 6 May 1951) was an influential French mathematician who did fundamental work in the theory of Lie groups, differential systems (coordinate-free geometric formulation of PDEs), and differential geometry. ...
in a series of papers beginning in the mid-1890s.


Application in probability

Substitution can be used to answer the following important question in probability: given a random variable X with probability density p_X and another random variable Y such that Y=\phi(X) for
injective In mathematics, an injective function (also known as injection, or one-to-one function) is a function that maps distinct elements of its domain to distinct elements; that is, implies . (Equivalently, implies in the equivalent contrapositiv ...
(one-to-one) \phi, what is the probability density for Y? It is easiest to answer this question by first answering a slightly different question: what is the probability that Y takes a value in some particular subset S? Denote this probability P(Y \in S). Of course, if Y has probability density p_Y then the answer is :P(Y \in S) = \int_S p_Y(y)\,dy, but this isn't really useful because we don't know p_Y; it's what we're trying to find. We can make progress by considering the problem in the variable X. Y takes a value in S whenever X takes a value in \phi^(S), so :P(Y \in S) = P(X \in \phi^(S)) = \int_ p_X(x)\,dx. Changing from variable x to y gives :P(Y \in S) = \int_ p_X(x)\,dx = \int_S p_X(\phi^(y)) \left, \frac\\,dy. Combining this with our first equation gives :\int_S p_Y(y)\,dy = \int_S p_X(\phi^(y)) \left, \frac\\,dy, so :p_Y(y) = p_X(\phi^(y)) \left, \frac\. In the case where X and Y depend on several uncorrelated variables, i.e. p_X=p_X(x_1, \ldots, x_n) and y=\phi(x), p_Y can be found by substitution in several variables discussed above. The result is :p_Y(y) = p_X(\phi^(y)) \left, \det D\phi ^(y) \.


See also

*
Probability density function In probability theory, a probability density function (PDF), or density of a continuous random variable, is a function whose value at any given sample (or point) in the sample space (the set of possible values taken by the random variable) can ...
* Substitution of variables *
Trigonometric substitution In mathematics, trigonometric substitution is the replacement of trigonometric functions for other expressions. In calculus, trigonometric substitution is a technique for evaluating integrals. Moreover, one may use the trigonometric identities ...
*
Weierstrass substitution In integral calculus, the tangent half-angle substitution is a change of variables used for evaluating integrals, which converts a rational function of trigonometric functions of x into an ordinary rational function of t by setting t = \tan \tfra ...
*
Euler substitution Euler substitution is a method for evaluating integrals of the form \int R(x, \sqrt) \, dx, where R is a rational function of x and \sqrt. In such cases, the integrand can be changed to a rational function by using the substitutions of Euler. ...
*
Glasser's master theorem In integral calculus, Glasser's master theorem explains how a certain broad class of substitutions can simplify certain integrals over the whole interval from -\infty to +\infty. It is applicable in cases where the integrals must be construed as Cau ...
*
Pushforward measure In measure theory, a pushforward measure (also known as push forward, push-forward or image measure) is obtained by transferring ("pushing forward") a measure from one measurable space to another using a measurable function. Definition Given measu ...


Notes


References

* * * . * . * * . * * .


External links


Integration by substitution
at
Encyclopedia of Mathematics The ''Encyclopedia of Mathematics'' (also ''EOM'' and formerly ''Encyclopaedia of Mathematics'') is a large reference work in mathematics. Overview The 2002 version contains more than 8,000 entries covering most areas of mathematics at a graduat ...

Area formula
at
Encyclopedia of Mathematics The ''Encyclopedia of Mathematics'' (also ''EOM'' and formerly ''Encyclopaedia of Mathematics'') is a large reference work in mathematics. Overview The 2002 version contains more than 8,000 entries covering most areas of mathematics at a graduat ...
{{Integrals Articles containing proofs Integral calculus es:Métodos de integración#Método de integración por sustitución