Całkowanie przez podstawienie – jedna z metod obliczania zamkniętych form całek.
Opis metody
Jeśli:
- Funkcja
jest różniczkowalna w ![{\displaystyle D}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f34a0c600395e5d4345287e21fb26efd386990e6)
jest przedziałem - Funkcja
ma funkcję pierwotną w przedziale
tzn.
dla
należących do ![{\displaystyle I}](https://wikimedia.org/api/rest_v1/media/math/render/svg/535ea7fc4134a31cbe2251d9d3511374bc41be9f)
![{\displaystyle f(x)=g(\psi (x))\cdot \psi '(x),x\in D}](https://wikimedia.org/api/rest_v1/media/math/render/svg/48dd5adee5f6347b8dab8f531bb3325bb8fcabb6)
to funkcja
jest całkowalna w
oraz:
![{\displaystyle \int f(x)dx=\int g(\psi (x))\cdot \psi '(x)dx=G(\psi (x))+C}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f8305a84302499ecf875805443e6ab0ca2aae91c)
Równoważnie, jeśli całkę można sprowadzić do postaci:
![{\displaystyle \int f(g(x))g'(x)dx,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3bc91a5f92e692bd6fbc89e8739d05436a5f92cf)
to można zmienić podstawę całkowania na
![{\displaystyle \int f(g(x))dg(x).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c6025dd9cb2f081d42d71197163b22502c2ee15a)
W przypadku obliczania całek oznaczonych poprzez podstawienie zmianie ulegają granice całkowania. W takim przypadku twierdzenie o całkowaniu przez podstawienie wygląda następująco:
Założenia:
- Funkcja
jest całkowalna w swej dziedzinie. - Funkcja
określona na przedziale
jest różniczkowalna w sposób ciągły.
dla każdego
z przedziału ![{\displaystyle (a;b).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a571403508ee145a6a033862480eeef186157e2a)
- Obraz funkcji
zawiera się w dziedzinie funkcji ![{\displaystyle f.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ecb3ed2e17fa8f336dcc0fd4b3eddbfb02a50ef3)
Wówczas[1]:
![{\displaystyle \int \limits _{g(a)}^{g(b)}f(x)dx=\int \limits _{a}^{b}f(g(t))\cdot g'(t)dt}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f6c798d0b420d27b8baa34d5725308ba8ccc1b6c)
Przykłady
- Obliczając całkę
zastosować można podstawienie
tzn.
więc:
![{\displaystyle \int {\frac {\ln(x)}{x}}dx=\int t\ dt={\tfrac {1}{2}}t^{2}+C={\tfrac {1}{2}}\ln ^{2}(x)+C.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/977eb174ce541378ff9cd63499c4ca1697ea931c)
- Przykład zastosowania metody całkowania przez podstawienie z pominięciem pomocniczej zmiennej:
![{\displaystyle \int \sin(2x+3)dx={\frac {1}{2}}\int \sin(2x+3)\cdot 2dx={\frac {1}{2}}\int \sin(2x+3)\cdot d(2x+3)=-{\frac {1}{2}}\cos(2x+3)+C.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e792442d6f3a8388e3ab31c0d48ebb6ae36e1793)
Przydatne podstawienia
Całkowanie funkcji trygonometrycznych
Całkując funkcje wymierne funkcji trygonometrycznych (czyli funkcje postaci
) stosuje się podstawienia pozwalające na wyeliminowanie ich z obliczeń:
- W ogólności stosować można zawsze tzw. podstawienie uniwersalne
Jeżeli jednak funkcja spełnia jeden z podanych niżej warunków, wygodniej jest stosować podstawienie z nim związane. - Jeśli funkcja jest nieparzysta ze względu na sinus
stosuje się podstawienie ![{\displaystyle t=\cos x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/680b692c843c20e34c2f614eccd6cf97b29d8539)
- Jeśli funkcja jest nieparzysta ze względu na cosinus
stosuje się podstawienie ![{\displaystyle t=\sin x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d842d79ea477d57884648febf01e932a22a040bf)
- Jeśli funkcja jest parzysta ze względu na sinus i cosinus równocześnie
stosuje się podstawienie ![{\displaystyle t=\operatorname {tg} x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f93d655623c83e3bee09e5898b2f9e3ece00c94d)
Za pomocą jedynki trygonometrycznej oraz innych tożsamości trygonometrycznych można wyprowadzić czynniki zastępujące funkcje trygonometryczne, w szczególności w przypadku podstawienia uniwersalnego:
![{\displaystyle t=\operatorname {tg} {\frac {x}{2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a6e89a22d6b47c8324232ab67a07d678aa514dbd)
![{\displaystyle {\frac {x}{2}}=\operatorname {arctg} t}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f6df967e0252581dbd02b6c5ecb1b2c373869628)
![{\displaystyle dx={\frac {2}{1+t^{2}}}dt}](https://wikimedia.org/api/rest_v1/media/math/render/svg/534d6e22aec0483d682449cc375e1dda02b3a0fd)
zachodzi:
![{\displaystyle \sin x={\frac {2\sin {\frac {x}{2}}\cos {\frac {x}{2}}}{\sin ^{2}{\frac {x}{2}}+\cos ^{2}{\frac {x}{2}}}}={\frac {2{\frac {\sin {\frac {x}{2}}}{\cos {\frac {x}{2}}}}}{{\frac {\sin ^{2}{\frac {x}{2}}}{\cos ^{2}{\frac {x}{2}}}}+1}}={\frac {2t}{t^{2}+1}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/58f1ba5bdcb267de8395f46ad9f68c35285d8073)
![{\displaystyle \cos x={\frac {\cos ^{2}{\frac {x}{2}}-\sin ^{2}{\frac {x}{2}}}{\cos ^{2}{\frac {x}{2}}+\sin ^{2}{\frac {x}{2}}}}={\frac {1-{\frac {\sin ^{2}{\frac {x}{2}}}{\cos ^{2}{\frac {x}{2}}}}}{1+{\frac {\sin ^{2}{\frac {x}{2}}}{\cos ^{2}{\frac {x}{2}}}}}}={\frac {1-t^{2}}{1+t^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5920cba04faa1fadbba69d2f7e175da2713e588d)
W przypadku podstawienia
mamy dla funkcji postaci
![{\displaystyle dx={\frac {dt}{1+t^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6515259884f2448b77eb2e2fd6879b663c0ddc84)
![{\displaystyle \sin ^{2}x={\frac {\sin ^{2}x}{\sin ^{2}x+\cos ^{2}x}}\cdot {\frac {\cos ^{2}x}{\cos ^{2}x}}={\frac {t^{2}}{t^{2}+1}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9c30235330348f5d87403f9a6048cf37d7f9d8c4)
![{\displaystyle \cos ^{2}x={\frac {\cos ^{2}x}{\sin ^{2}x+\cos ^{2}x}}\cdot {\frac {\cos ^{2}x}{\cos ^{2}x}}={\frac {1}{t^{2}+1}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5e3b81a32e196cb2096c5197df7f44b059082c49)
![{\displaystyle \sin x\cos x={\frac {\sin x\cos x}{\sin ^{2}x+\cos ^{2}x}}\cdot {\frac {\cos ^{2}x}{\cos ^{2}x}}={\frac {t}{t^{2}+1}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/38eff0dab07ec290835a706220893e663039c098)
Przykłady
Przykład zastosowania podstawienia uniwersalnego:
![{\displaystyle \int {\frac {dx}{1+\sin x+\cos x}}=\int {\frac {{\frac {2}{1+t^{2}}}dt}{1+{\frac {2t}{t^{2}+1}}+{\frac {1-t^{2}}{1+t^{2}}}}}=\int {\frac {2dt}{1+t^{2}+2t+1-t^{2}}}=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/259528c8a1c1cca566304229cfc4001ab737f505)
![{\displaystyle =\int {\frac {dt}{t+1}}=\ln |t+1|+C=\ln |\operatorname {tg} {\frac {x}{2}}+1|+C}](https://wikimedia.org/api/rest_v1/media/math/render/svg/08ee38fae16b6321650f9f40435f7cd0ff54e6b4)
Podstawienia Eulera
Podstawienia Eulera stosuje się przy obliczaniu całek funkcji postaci
gdzie R jest funkcją wymierną.
I podstawienie Eulera
I podstawienie można stosować, gdy a>0. Przyjmuje się wtedy:
Wobec tego otrzymuje się:
![{\displaystyle ax^{2}+bx+c=ax^{2}-2{\sqrt {a}}\;x\;t+t^{2}\implies x(b+2{\sqrt {a}}\;t)=t^{2}-c\implies x={\frac {t^{2}-c}{b+2{\sqrt {a}}\;t}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6cda68a0419146a6d920cbe1920d67d3dc0aa9a9)
![{\displaystyle dx={\frac {2t(b+2{\sqrt {a}}\;t)-2{\sqrt {a}}\;(t^{2}-c)}{(b+2{\sqrt {a}}\;t)^{2}}}dt.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/26174118c4d399ce33abacf209a9e0d01edd2687)
Zgodnie z przyjętym podstawieniem zachodzi:
II podstawienie Eulera
II podstawienie można stosować, gdy c>0. Przyjmuje się wtedy:
![{\displaystyle {\sqrt {ax^{2}+bx+c}}=xt+{\sqrt {c}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/68c5a9d3ec7f55b67b51e6d2062c28a191a9e02f)
Zachodzi:
![{\displaystyle ax^{2}+bx+c=x^{2}t^{2}+2{\sqrt {c}}xt+c\implies ax+b=xt^{2}+2{\sqrt {c}}t\implies x(a-t^{2})=2{\sqrt {c}}t-b\implies x={\frac {2{\sqrt {c}}t-b}{a-t^{2}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c3f5f334fafa40068baec04082fdda32a5e46d72)
![{\displaystyle dx={\frac {2{\sqrt {c}}(a-t^{2})+2t(2{\sqrt {c}}t-b)}{(a-t^{2})^{2}}}dt.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/39f25dcaa20a50e78fd5e72773b6257885aa364e)
Zgodnie z przyjętym podstawieniem otrzymuje się:
Drugie podstawienie Eulera można zapisać następująco:
![{\displaystyle {\sqrt {ax^{2}+bx+c}}=(x-\alpha )t-{\sqrt {\lambda }}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a7445464ef4d9a9858e79e0d1040748deec7fd6c)
Wtedy gdy
to da się tak dobrać
aby
III podstawienie Eulera
III podstawienie można stosować, gdy istnieją dwa różne pierwiastki rzeczywiste x0, x1 trójmianu
Przyjmuje się wtedy:
Stąd:
![{\displaystyle (x-x_{1})t^{2}=a(x-x_{0})\implies x(t^{2}-a)=t^{2}x_{1}-ax_{0}\implies x={\frac {t^{2}x_{1}-ax_{0}}{t^{2}-a}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ec03919d0e3b517f25bd90873bd2716763f4d68c)
![{\displaystyle dx={\frac {2ta(x_{0}-x_{1})}{(t^{2}-a)^{2}}}dt.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8443afe0dea1601ad862b2f0c184087a5368c452)
Zgodnie z przyjętym podstawieniem zachodzi:
Całkowanie różniczek dwumiennych
Różniczka dwumienna jest to wyrażenie postaci:
gdzie
i
są niezerowymi liczbami rzeczywistymi oraz
i
są pewnymi liczbami wymiernymi. Niech ponadto
gdzie
są liczbami całkowitymi. Twierdzenie Czebyszewa mówi, iż całkę
![{\displaystyle \int x^{m}(a+bx^{n})^{p}~dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e0c63b407119917cc4772b6a2a8b954e05b14f80)
można wyrazić za pomocą skończonej liczby funkcji elementarnych jedynie w trzech przypadkach:
- gdy
jest liczbą całkowitą; przypadek nie wymaga podstawień. - gdy
jest liczbą całkowitą; stosuje się wtedy podstawienie ![{\displaystyle t={\sqrt[{r}]{a+bx^{n}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/becb7bb1f8defca1f2fff0669285c852cba3e136)
- gdy
jest liczbą całkowitą; stosuje się podstawienie ![{\displaystyle t={\sqrt[{r}]{\frac {a+bx^{n}}{x^{n}}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6c8c36f3bdaf974fc1db34d3d717acc984b72b19)
Podstawienia trygonometryczne
Poniższe typy całek można sprowadzić do całek funkcji wymiernych, których argumentami są funkcje trygonometryczne, przy pomocy podanych podstawień:
– podstawiamy
lub ![{\displaystyle x=a\operatorname {tg} t}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ea95b279ed0369651d0bc26d8370963d4dc056f1)
– podstawiamy
lub ![{\displaystyle x=a\sec t}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3b1a9e9b25bd8434d66c57c7df6447d2256622e5)
– podstawiamy
lub ![{\displaystyle x=a\sin t}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9de355dc2b47c8accdd17be98c2ba7c6e83803e7)
Inne podstawienia
- Całki typu
obliczamy przez podstawienie
Stąd: ![{\displaystyle x=\ln {t},\quad dx={\frac {dt}{t}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/18e5fd4c40a49dbed653a762d6e0337f09ab5210)
- Całki typu
gdzie p1, p2, ..., pn są liczbami wymiernymi, sprowadzamy do całki funkcji wymiernej podstawiając
gdzie k jest najmniejszą wspólną wielokrotnością liczb p1, p2, ..., pn.
Zobacz też
Przypisy
- ↑ całkowy rachunek, [w:] Encyklopedia PWN [dostęp 2022-10-03] .