The integration by substitution or substitution rule is an important method in the integral calculus to primitive functions and definite integrals to calculate. By introducing a new integration variable, part of the integrand is replaced in order to simplify the integral and thus ultimately lead it back to a known or more easily manageable integral.
The chain rule from differential calculus is the basis of the substitution rule. Its equivalent for integrals over multidimensional functions is the transformation theorem , which, however, presupposes a bijective substitution function.
Statement of the substitution rule
Let be a real interval , a continuous function and continuously differentiable . Then
![I.](https://wikimedia.org/api/rest_v1/media/math/render/svg/535ea7fc4134a31cbe2251d9d3511374bc41be9f)
![f \ colon I \ to {\ mathbb {R}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aa91b80587ee863c353413b3919b8704ef799018)
![\ int _ {{a}} ^ {{b}} f (\ varphi (t)) \ cdot \ varphi '(t) \, {\ mathrm {d}} t = \ int _ {{\ varphi (a )}} ^ {{\ varphi (b)}} f (x) \, {\ mathrm {d}} x.](https://wikimedia.org/api/rest_v1/media/math/render/svg/e71704b7ca2c1b91490ac258c7cd3596b951629c)
proof
Let be an antiderivative of . According to the chain rule , the derivative of the composite function applies![F.](https://wikimedia.org/api/rest_v1/media/math/render/svg/545fd099af8541605f7ee55f08225526be88ce57)
![f](https://wikimedia.org/api/rest_v1/media/math/render/svg/132e57acb643253e7810ee9702d9581f159a1c61)
![{\ displaystyle (F \ circ \ varphi) '(t) = F' (\ varphi (t)) \ cdot \ varphi '(t) = f (\ varphi (t)) \ cdot \ varphi' (t). }](https://wikimedia.org/api/rest_v1/media/math/render/svg/8bdecb51d1d626df75576ad2665332ce3b7384e7)
By applying the main theorem of differential and integral calculus twice , one obtains the substitution rule:
![{\ displaystyle {\ begin {aligned} \ int _ {a} ^ {b} f (\ varphi (t)) \ cdot \ varphi '(t) \, \ mathrm {d} t & {} = (F \ circ \ varphi) (b) - (F \ circ \ varphi) (a) \\ & {} = F (\ varphi (b)) - F (\ varphi (a)) \\ & {} = \ int _ { \ varphi (a)} ^ {\ varphi (b)} f (x) \, \ mathrm {d} x \ end {aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eba7a86534b2f0e8f6b4e1060f22b44c88a9ea1f)
application
We consider:
![{\ displaystyle \ int _ {a} ^ {b} f (\ varphi (t)) \ cdot \ varphi '(t) \, \ mathrm {d} t}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3d7d8ab2d6ed33ee096e5e0e02597dfb33c95b75)
The goal is to simplify the partial term of the integrand to the integration variable. This is done by applying the substitution rule. To do this, you first multiply the integrand by and then, in a second step, replace the integration variable with everywhere . In a final step, the integration limits and are replaced by or .
![{\ textstyle \ varphi (t)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e04fb38aee4cec3aa44f177c015e734e97b8a337)
![{\ textstyle t}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b2bc926f90178739fccd01a96c6fa778ab3535d6)
![{\ textstyle {1 \ over \ varphi '(t)}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d0edc9d74e547c26c92a1e815e44aebaa74285e5)
![{\ textstyle t}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b2bc926f90178739fccd01a96c6fa778ab3535d6)
![{\ textstyle \ varphi ^ {- 1} (t)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4ef1e968ff9ee45ca4ae0cf14897edc78fc4f13c)
![{\ textstyle a}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7a503f107a7c104e40e484cee9e1f5993d28ffd8)
![{\ textstyle b}](https://wikimedia.org/api/rest_v1/media/math/render/svg/73a780b69dfc55238880ef18a134dc65260877e2)
![{\ textstyle \ varphi (a)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/19ecebcf95720f3199cdbd4c5136bbd5f898f91b)
![{\ textstyle \ varphi (b)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ce1d9530926de5717572283c7fee432dee0021ef)
So you educate
![{\ displaystyle {\ begin {aligned} \ int _ {\ varphi (a)} ^ {\ varphi (b)} f (\ varphi (\ varphi ^ {- 1} (t))) {\ frac {\ varphi '(\ varphi ^ {- 1} (t))} {\ varphi' (\ varphi ^ {- 1} (t))}} \, \ mathrm {d} t = \ int _ {\ varphi (a) } ^ {\ varphi (b)} f (t) \, \ mathrm {d} t \ end {aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1551bea15c7fe5aeb89a8eef95f83d93add332e1)
For the sake of clarity, in practice one often goes to a new integration variable via z. B. from to . Then the inverse function reads and the differential becomes from to and one obtains the formally equivalent expression:
![{\ textstyle t}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b2bc926f90178739fccd01a96c6fa778ab3535d6)
![{\ textstyle x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d951e0f3b54b6a3d73bb9a0a005749046cbce781)
![{\ textstyle \ varphi ^ {- 1} (x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/09bb003cd0c58542aacac10cf113c274b287f727)
![{\ textstyle \ mathrm {d} t}](https://wikimedia.org/api/rest_v1/media/math/render/svg/95b681d0cf4512da5402fa2d44ef19c2916f336b)
![{\ textstyle \ mathrm {d} x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2e1096e5f9246f281c56ea85f8ddd0e8493e62a2)
![{\ displaystyle {\ begin {aligned} = \ int _ {\ varphi (a)} ^ {\ varphi (b)} f (x) \, \ mathrm {d} x \ end {aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/52c8110931204759251e132291e227fdcefb742a)
Once you have found the antiderivative , you can evaluate it directly with the limits and or form the antiderivative to the original integrand as .
![{\ textstyle F}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8256dae10b9e3abb3592ff608e81c8bc324edce3)
![{\ textstyle \ varphi (a)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/19ecebcf95720f3199cdbd4c5136bbd5f898f91b)
![{\ textstyle \ varphi (b)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ce1d9530926de5717572283c7fee432dee0021ef)
![{\ textstyle F \ circ \ varphi}](https://wikimedia.org/api/rest_v1/media/math/render/svg/becdc46cf1aca28fa383bbe8aab52ad2732e50c9)
We can do the same backwards and apply the substitution rule
![{\ displaystyle {\ begin {aligned} \ int _ {\ varphi (a)} ^ {\ varphi (b)} f (t) \, \ mathrm {d} t \ end {aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/75280d940a69e938ddb8a32693e78cb9a2ae8f80)
on. Then the integration variable has to be replaced by the term of and then multiplies the integrand by . Finally, one applies to the integration limits.
![{\ textstyle t}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b2bc926f90178739fccd01a96c6fa778ab3535d6)
![{\ textstyle \ varphi (t)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e04fb38aee4cec3aa44f177c015e734e97b8a337)
![{\ textstyle \ varphi '(t)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bc4288266a46e7871293e7dcb37ff540547abe18)
![{\ textstyle \ varphi ^ {- 1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/86d113dbfcfb12871ac89fc2cb79ccd611a71927)
Substitution of a definite integral
example 1
Calculating the integral
![\ int _ {{0}} ^ {a} \ sin (2x) \, {\ mathrm {d}} x](https://wikimedia.org/api/rest_v1/media/math/render/svg/765daacfc44ae3dc09cf78e573f192892712cb46)
for any real number : Through the substitution we get , therefore , and thus:
![a> 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/1f34a80ea013edb56e340b19550430a8b6dfd7b9)
![{\ displaystyle t = \ varphi (x) = 2x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/98f9db8b4cef37b529921b0e4b0a1e7b448e963e)
![{\ displaystyle \ mathrm {d} t = \ varphi '(x) \, \ mathrm {d} x = 2 \, \ mathrm {d} x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c1afb2e9ac8e67959b102cd70a5c582f9d4ef167)
![{\ displaystyle \ mathrm {d} x = {\ tfrac {1} {2}} {\ mathrm {d} t}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5a7e849992e3dca6efbc1a2c7d8e206f19b40769)
![\ int _ {{0}} ^ {a} \ sin (2x) \, {\ mathrm {d}} x = \ int _ {{\ varphi (0)}} ^ {{\ varphi (a)}} \ sin (t) \, {\ frac 12} {{\ mathrm {d}} t} = \ int _ {{0}} ^ {{2a}} \ sin (t) \, {\ frac 12} { {\ mathrm {d}} t} = {\ frac {1} {2}} \ int _ {{0}} ^ {{2a}} \ sin (t) \, {\ mathrm {d}} t](https://wikimedia.org/api/rest_v1/media/math/render/svg/a51bbd7428e2505b2e5f468498a44ce346cd3702)
-
.
Example 2
Calculating the integral
-
:
The substitution gives , therefore , and thus
![t = \ varphi (x) = x ^ {2} +1](https://wikimedia.org/api/rest_v1/media/math/render/svg/2aae25e9a12eb4bb6e919a344244e01d55380cf2)
![{\ mathrm {d}} t = 2x \, {\ mathrm {d}} x](https://wikimedia.org/api/rest_v1/media/math/render/svg/55b1a8091cb1d39ee76e4da86274119c2e85a9f2)
![x \, {\ mathrm {d}} x = {\ tfrac 12} {\ mathrm d} t](https://wikimedia.org/api/rest_v1/media/math/render/svg/72d39b3e072fc8e9cf03d3210fdf23e601cde3d0)
-
.
So it is replaced by and by . The lower limit of the integral is converted into and the upper limit into .
![x ^ 2 + 1](https://wikimedia.org/api/rest_v1/media/math/render/svg/92a3a8d23f9f8123651e496dcf8490990c65cf9a)
![t](https://wikimedia.org/api/rest_v1/media/math/render/svg/65658b7b223af9e1acc877d848888ecdb4466560)
![{\ displaystyle x \, \ mathrm {d} x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/406c9933c202af9b7d77255155dfa9ba6c7901f6)
![{\ displaystyle {\ tfrac {1} {2}} \, \ mathrm {d} t}](https://wikimedia.org/api/rest_v1/media/math/render/svg/918f3a36de17f963461dd35a7ed372492399f39d)
![x = 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/953917eaf52f2e1baad54c8c9e3d6f9bb3710cdc)
![{\ displaystyle \ varphi (0) = 0 ^ {2} + 1 = 1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e7effe42efedeb4f7b9170b6ed12cfae7dde2c57)
![x = 2](https://wikimedia.org/api/rest_v1/media/math/render/svg/9f39b6e42e5ffb81ac7b051b9e48b9a91d0713c7)
![{\ displaystyle \ varphi (2) = 2 ^ {2} + 1 = 5}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e73013a3bfbee6fa81f8263a1cfaa0f372c6911b)
Example 3
For calculating the integral
![\ int _ {0} ^ {1} {\ sqrt {1-x ^ {2}}} \, {\ mathrm {d}} x](https://wikimedia.org/api/rest_v1/media/math/render/svg/c960b332a79346d1adb8151ce7c490653d6892b8)
you can , so substitute. From this it follows . With you get
![{\ displaystyle x = \ sin (t)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3be0cb5f7968826d346967033ce734e89b28212d)
![{\ displaystyle t = \ arcsin (x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9b0d67a1ffb84280a6d38bcc405f5a1d7eccc38a)
![{\ mathrm {d}} x = \ cos (t) \, {\ mathrm {d}} t](https://wikimedia.org/api/rest_v1/media/math/render/svg/f02be36e2ea3ec10468ed819d1d2a8acb9a9decf)
![{\ displaystyle {\ sqrt {1- \ sin ^ {2} (t)}} = | {\ cos (t)} |}](https://wikimedia.org/api/rest_v1/media/math/render/svg/135369d36bc93f81161c7674e0b12c8953757e6f)
-
.
The result can be with partial integration or with the trigonometric formula
![{\ displaystyle \ cos ^ {2} (t) = {\ frac {1+ \ cos (2t)} {2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/192a9df4e3a26b30ae6380a88758f2b1263d6ed5)
and a further substitution. It turns out
-
.
Substitution of an indefinite integral
Requirements and procedure
Under the above conditions applies
![{\ displaystyle \ int f (x) \, \ mathrm {d} x = \ int f (\ varphi (t)) \ cdot \ varphi '(t) \, \ mathrm {d} t.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8fb64d66bac974c0527ae4e2101b60ff89de5f66)
After determining an antiderivative of the substituted function, the substitution is reversed and an antiderivative of the original function is obtained.
example 1
By completing the square and subsequent substitution , one obtains
![{\ displaystyle t = x + 1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f37774a96efc923c52a17c57e2dfa9340ea7d316)
![{\ displaystyle \ mathrm {d} x = \ mathrm {d} t}](https://wikimedia.org/api/rest_v1/media/math/render/svg/439a133ba5960ff74b9326c31ae39a8a5dd09c7a)
![{\ displaystyle \ int {\ frac {1} {x ^ {2} + 2x + 2}} \, \ mathrm {d} x = \ int {\ frac {1} {(x + 1) ^ {2} +1}} \, \ mathrm {d} x = \ int {\ frac {1} {t ^ {2} +1}} \, \ mathrm {d} t = \ arctan (t) + C = \ arctan (x + 1) + C}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0fd5878c477b0b81ee5c4d138354604664bc269e)
Example 2
With the substitution one obtains
![t = x ^ {2}, {\ mathrm {d}} t = 2x \, {\ mathrm {d}} x](https://wikimedia.org/api/rest_v1/media/math/render/svg/1a9dcb7e4217f4dec9d2ff21d1d86feeb3c75f85)
![\ int x \, \ cos \ left (x ^ {2} \ right) \, {\ mathrm {d}} x = {\ frac {1} {2}} \ int 2x \ cos \ left (x ^ { 2} \ right) \, {\ mathrm {d}} x = {\ frac {1} {2}} \ int \ cos (t) \, {\ mathrm {d}} t = {\ frac {1} {2}} \ left (\ sin (t) + C '\ right) = {\ frac {1} {2}} \ sin \ left (x ^ {2} \ right) + C](https://wikimedia.org/api/rest_v1/media/math/render/svg/b76eff3e418aa76f998064ed3e6c0e08df7e5bfd)
Note that the substitution is only for or only for strictly monotonic.
![x \ geq 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/a2608e2b392b079f5b763f27bf52883dbee3b64a)
![x \ leq 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/210ba4b4ee0797159d249e2322c142760d476707)
Special cases of substitution
Linear substitution
Integrals with linear chaining can be calculated as follows: If is an antiderivative of , then holds
![F.](https://wikimedia.org/api/rest_v1/media/math/render/svg/545fd099af8541605f7ee55f08225526be88ce57)
![f](https://wikimedia.org/api/rest_v1/media/math/render/svg/132e57acb643253e7810ee9702d9581f159a1c61)
-
if .![a \ neq 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/f455a7f96d74aa94573d8e32da3b240ab0aa294f)
For example
-
,
there and .
![{\ displaystyle f (x) = e ^ {x} = F (x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d38f7afd01857d642af2ae7920db9485d936cf2f)
![a = 3](https://wikimedia.org/api/rest_v1/media/math/render/svg/2a0be4b8203e824561fa22ea831a2d86f2f028c9)
Logarithmic integration
Integrals where the integrand is a fraction, the numerator of which is the derivative of the denominator, can be solved very easily with the help of logarithmic integration:
-
.
This corresponds to a special case of the substitution method with .
![{\ displaystyle t = f (x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9adede852bec5c31fea9515d4787216c8ddb879a)
For example
-
,
since the derivative has.
![f (x) = x ^ {2} +1](https://wikimedia.org/api/rest_v1/media/math/render/svg/060789c792de89c492dc74c0f3e74edd0cbf87c9)
![f '(x) = 2x](https://wikimedia.org/api/rest_v1/media/math/render/svg/c303b9422584925f8de55465ff05d23945903d4b)
Euler's substitution
According to Bernoulli's theorem, all integrals of the type
![\ int {\ sqrt {ax ^ {2} + bx + c}} \; {\ mathrm {d}} x](https://wikimedia.org/api/rest_v1/media/math/render/svg/999195605e6303223874b705257005dc35a4bfd2)
and
![\ int {\ frac {{\ mathrm {d}} x} {{\ sqrt {ax ^ {2} + bx + c}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d6369d5d875c9fc2c583895d3f1360001a1bb522)
integrate elementary.
Example:
![\ int {\ frac {{\ mathrm {d}} x} {{\ sqrt {x ^ {2} +1}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4f2d919501a75bdca48622ad1c852bde6b4f032f)
By substituting therefore ,
,
and
results
![tx = {\ sqrt {x ^ {2} +1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/da7d32541e1be8c3ba308f4922d0c2212ca09c80)
![t ^ {2} -2tx = 1](https://wikimedia.org/api/rest_v1/media/math/render/svg/934ffad31028352c421725ebe0de8479e53e8488)
![{\ displaystyle x = {\ tfrac {t} {2}} - {\ tfrac {1} {2t}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8cf803fb82b9a908102918f73c5138efafe1fa3e)
![{\ displaystyle tx = {\ tfrac {t} {2}} + {\ tfrac {1} {2t}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/09454b8a51574122479c3cf9605e4bb94ecfe43a)
![{\ displaystyle \ mathrm {d} x = \ left ({\ tfrac {1} {2}} + {\ tfrac {1} {2t ^ {2}}} \ right) \ mathrm {d} t}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d423255c09856709c601bb2d4d6741bd9ce73cc0)
-
.
See also
literature
- Harro Heuser: Textbook of Analysis. Part 1 , 5th edition, BG Teubner, Stuttgart 1988, ISBN 3-519-42221-2 , p. 464
- Konrad Königsberger: Analysis 1 , Springer, Berlin 1992, ISBN 3-540-55116-6 , pp. 200-201
Web links
- Simple explanation / examples for the substitution rule
- State education server BW: Method of linear substitution with detailed example and exercises / solutions
- Video: substitution rule . Jörn Loviscach 2011, made available by the Technical Information Library (TIB), doi : 10.5446 / 9911 .
- Video: Integration through substitution, finger exercise . Jörn Loviscach 2013, made available by the Technical Information Library (TIB), doi : 10.5446 / 10142 .
- Video: three ways to integrate through substitution . Jörn Loviscach 2013, made available by the Technical Information Library (TIB), doi : 10.5446 / 10144 .
- Video: partial integration, substitution rule, integration by partial fraction decomposition . Jörn Loviscach 2012, made available by the Technical Information Library (TIB), doi : 10.5446 / 9987 .
- Video: Examples of partial integration, substitution rule, integration through partial fraction decomposition . Jörn Loviscach 2012, made available by the Technical Information Library (TIB), doi : 10.5446 / 9988 .