Analiza matematyczna 1/Wykład 13: Całka nieoznaczona: Różnice pomiędzy wersjami
m Zastępowanie tekstu – „.</math>” na „</math>.” |
|||
Linia 29: | Linia 29: | ||
'''''pierwotną''''' funkcji <math>f,</math> jeśli | '''''pierwotną''''' funkcji <math>f,</math> jeśli | ||
<math>F</math> jest różniczkowalna i | <math>F</math> jest różniczkowalna i | ||
<math>F'=f | <math>F'=f</math>. | ||
}} | }} | ||
Linia 232: | Linia 232: | ||
'''(2)''' | '''(2)''' | ||
<math> \int(\lambda f)(x)\,dx | <math> \int(\lambda f)(x)\,dx | ||
=\lambda\int f(x)\,dx | =\lambda\int f(x)\,dx</math>. | ||
}} | }} | ||
Linia 410: | Linia 410: | ||
{{przyklad|13.14.|| | {{przyklad|13.14.|| | ||
Obliczyć całkę nieoznaczoną z funkcji <math>f(x)=\sin x\cos x | Obliczyć całkę nieoznaczoną z funkcji <math>f(x)=\sin x\cos x</math>. | ||
}} | }} | ||
Linia 416: | Linia 416: | ||
Wykorzystamy wzór na całkowanie przez części, przyjmując jako | Wykorzystamy wzór na całkowanie przez części, przyjmując jako | ||
<math>f'(x)=\sin x</math> (gdyż znamy już pierwotną funkcji <math>\sin</math>) oraz | <math>f'(x)=\sin x</math> (gdyż znamy już pierwotną funkcji <math>\sin</math>) oraz | ||
jako <math>g(x)=\cos x | jako <math>g(x)=\cos x</math>. W praktyce korzystając z tego wzoru, | ||
zapisujemy rachunki w następujący sposób: | zapisujemy rachunki w następujący sposób: | ||
Linia 486: | Linia 486: | ||
Przyjmując <math>g(t)=t</math> oraz <math>f(x)=\sin x</math>, zauważamy, że | Przyjmując <math>g(t)=t</math> oraz <math>f(x)=\sin x</math>, zauważamy, że | ||
funkcja podcałkowa jest postaci | funkcja podcałkowa jest postaci | ||
<math>g(f(x))\cdot f'(x)=\sin x\cos x | <math>g(f(x))\cdot f'(x)=\sin x\cos x</math>. | ||
Zatem możemy zastosować wzór całkowania przez podstawianie. | Zatem możemy zastosować wzór całkowania przez podstawianie. | ||
W praktyce obliczenia zapisuje się w sposób | W praktyce obliczenia zapisuje się w sposób | ||
Linia 496: | Linia 496: | ||
Jest to dogodne z praktycznego punktu widzenia, ponieważ | Jest to dogodne z praktycznego punktu widzenia, ponieważ | ||
możemy wówczas patrzeć na wzór w [[#uwaga_13_13|uwadze 13.13.]] jak na | możemy wówczas patrzeć na wzór w [[#uwaga_13_13|uwadze 13.13.]] jak na | ||
formalne podstawienie wyrażeń zawierających symbole <math>dx</math> i <math>dt | formalne podstawienie wyrażeń zawierających symbole <math>dx</math> i <math>dt</math>. | ||
Piszemy zatem | Piszemy zatem | ||
Linia 545: | Linia 545: | ||
'''Sposób V.'''<br> | '''Sposób V.'''<br> | ||
Zauważmy w końcu, że całkę tę da się także obliczyć bez stosowania powyższych twierdzeń. | Zauważmy w końcu, że całkę tę da się także obliczyć bez stosowania powyższych twierdzeń. | ||
Możemy bowiem skorzystać z tożsamości trygonometrycznej <math>\sin x\cos x=\frac{1}{2}\sin 2x | Możemy bowiem skorzystać z tożsamości trygonometrycznej <math>\sin x\cos x=\frac{1}{2}\sin 2x</math>. Mamy wówczas | ||
<br><center> | <br><center> | ||
Linia 558: | Linia 558: | ||
przy czym ostatnią całkę odgadujemy (gdyż znamy pochodną funkcji | przy czym ostatnią całkę odgadujemy (gdyż znamy pochodną funkcji | ||
<math>\cos 2x,</math> więc dobieramy tylko odpowiedni współczynnik), | <math>\cos 2x,</math> więc dobieramy tylko odpowiedni współczynnik), | ||
bądź też obliczamy, stosując podstawienie <math>2x=t | bądź też obliczamy, stosując podstawienie <math>2x=t</math>. | ||
Zauważmy teraz, że w powyższych rozwiązaniach jako pierwotne funkcji <math>\sin x\cos x</math> otrzymaliśmy trzy różne funkcje: | Zauważmy teraz, że w powyższych rozwiązaniach jako pierwotne funkcji <math>\sin x\cos x</math> otrzymaliśmy trzy różne funkcje: | ||
Linia 639: | Linia 639: | ||
</math></center> | </math></center> | ||
gdzie <math>a,b,c,A,B,C\in\mathbb{R},k,s\in\mathbb{N},B^2-4C<0 | gdzie <math>a,b,c,A,B,C\in\mathbb{R},k,s\in\mathbb{N},B^2-4C<0</math>. | ||
}} | }} | ||
Linia 650: | Linia 650: | ||
Obliczyć całkę z następującej funkcji wymiernej | Obliczyć całkę z następującej funkcji wymiernej | ||
<math> \int\frac{3x+5}{2x^2-5x-3}\,dx | <math> \int\frac{3x+5}{2x^2-5x-3}\,dx</math>. | ||
}} | }} | ||
Linia 656: | Linia 656: | ||
Zauważmy, że trójmian w mianowniku rozkłada się na | Zauważmy, że trójmian w mianowniku rozkłada się na | ||
iloczyn: | iloczyn: | ||
<math> 2x^2-5x-3=2\bigg(x+\frac{1}{2}\bigg)(x-3) | <math> 2x^2-5x-3=2\bigg(x+\frac{1}{2}\bigg)(x-3)</math>. | ||
Spróbujmy, czy naszą funkcję wymierną można by zapisać | Spróbujmy, czy naszą funkcję wymierną można by zapisać | ||
w następującej postaci | w następującej postaci | ||
Linia 683: | Linia 683: | ||
możemy łatwo wyliczyć, że | możemy łatwo wyliczyć, że | ||
<math> A=-\frac{1}{2}</math> oraz | <math> A=-\frac{1}{2}</math> oraz | ||
<math>B=2 | <math>B=2</math>. Zatem otrzymaliśmy rozkład | ||
<center><math>\frac{3x+5}{2x^2-5x-3} | <center><math>\frac{3x+5}{2x^2-5x-3} | ||
Linia 722: | Linia 722: | ||
{{twierdzenie|13.18. [O rozkładzie na ułamki proste]|twierdzenie_13_18| | {{twierdzenie|13.18. [O rozkładzie na ułamki proste]|twierdzenie_13_18| | ||
Niech <math> f(x)=\frac{P(x)}{Q(x)}</math> będzie funkcją wymierną, | Niech <math> f(x)=\frac{P(x)}{Q(x)}</math> będzie funkcją wymierną, | ||
gdzie <math>\deg P=m<n=\deg Q | gdzie <math>\deg P=m<n=\deg Q</math>. Wówczas istnieje jedyny rozkład | ||
funkcji <math>f</math> na ułamki proste oraz jeśli | funkcji <math>f</math> na ułamki proste oraz jeśli | ||
Linia 883: | Linia 883: | ||
</math></center> | </math></center> | ||
gdzie <math>Q_{n-1}(x)</math> jest wielomianem stopnia <math>n-1 | gdzie <math>Q_{n-1}(x)</math> jest wielomianem stopnia <math>n-1</math>. Współczynniki wielomianu | ||
<math>Q_{n-1}</math> | <math>Q_{n-1}</math> | ||
oraz stałą <math>\lambda</math> znajdujemy, licząc pochodną z obu | oraz stałą <math>\lambda</math> znajdujemy, licząc pochodną z obu | ||
stron powyższej równości (pamiętamy, że pochodna z całki to | stron powyższej równości (pamiętamy, że pochodna z całki to | ||
funkcja podcałkowa!) i mnożąc potem obie strony przez | funkcja podcałkowa!) i mnożąc potem obie strony przez | ||
<math>\sqrt{px^2+qx+r} | <math>\sqrt{px^2+qx+r}</math>. Dostaniemy wtedy: | ||
<center><math>W(x)=Q_{n-1}'(x)(px^2+qx+r)+Q_{n-1}(x)(px+\frac{q}{2})+\lambda, | <center><math>W(x)=Q_{n-1}'(x)(px^2+qx+r)+Q_{n-1}(x)(px+\frac{q}{2})+\lambda, | ||
Linia 896: | Linia 896: | ||
<math>x,</math> znajdujemy współczynniki | <math>x,</math> znajdujemy współczynniki | ||
wielomianu <math>Q_{n-1}</math> | wielomianu <math>Q_{n-1}</math> | ||
oraz stałą <math>\lambda | oraz stałą <math>\lambda</math>. | ||
Pozostaje jeszcze do obliczenia | Pozostaje jeszcze do obliczenia | ||
Linia 954: | Linia 954: | ||
Pozostaje do policzenia | Pozostaje do policzenia | ||
<math>\int\frac{1}{\sqrt{R^2-x^2}}\,dx | <math>\int\frac{1}{\sqrt{R^2-x^2}}\,dx</math>. Podstawiając | ||
<math>\frac{x}{R}=t</math> (zatem | <math>\frac{x}{R}=t</math> (zatem | ||
<math>\frac{dx}{R}=dt</math>), mamy | <math>\frac{dx}{R}=dt</math>), mamy | ||
Linia 1012: | Linia 1012: | ||
Sprowadzić całki z funkcji, które mają pierwotną elementarną do | Sprowadzić całki z funkcji, które mają pierwotną elementarną do | ||
całek z funkcji wymiernych.<br> | całek z funkcji wymiernych.<br> | ||
'''(1)''' <math>f(x)=\sqrt[3]{1+x^2} | '''(1)''' <math>f(x)=\sqrt[3]{1+x^2}</math>.<br> | ||
'''(2)''' <math>f(x)=\sqrt[4]{1+x^2} | '''(2)''' <math>f(x)=\sqrt[4]{1+x^2}</math>.<br> | ||
'''(3)''' <math>f(x)=\sqrt[3]{1+\sqrt{x^3}} | '''(3)''' <math>f(x)=\sqrt[3]{1+\sqrt{x^3}}</math>. | ||
}} | }} | ||
<div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Rozwiązanie </span><div class="mw-collapsible-content" style="display:none"> | <div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Rozwiązanie </span><div class="mw-collapsible-content" style="display:none"> | ||
'''(1)''' Funkcja <math>f(x)=\sqrt[3]{1+x^2}</math> '''nie ma''' pierwotnej elementarnej, gdyż <math>\frac{1}{3},\frac{0+1}{2},\frac{0+1}{2}+\frac{1}{3}\not\in\mathbb{Z} | '''(1)''' Funkcja <math>f(x)=\sqrt[3]{1+x^2}</math> '''nie ma''' pierwotnej elementarnej, gdyż <math>\frac{1}{3},\frac{0+1}{2},\frac{0+1}{2}+\frac{1}{3}\not\in\mathbb{Z}</math>.<br> | ||
'''(2)''' Funkcja <math>f(x)=\sqrt[4]{1+x^2}</math> '''nie ma''' pierwotnej elementarnej, gdyż <math>\frac{1}{4},\frac{0+1}{2},\frac{0+1}{2}+\frac{1}{4}\not\in\mathbb{Z} | '''(2)''' Funkcja <math>f(x)=\sqrt[4]{1+x^2}</math> '''nie ma''' pierwotnej elementarnej, gdyż <math>\frac{1}{4},\frac{0+1}{2},\frac{0+1}{2}+\frac{1}{4}\not\in\mathbb{Z}</math>.<br> | ||
'''(3)''' Funkcja <math>f(x)=\sqrt[3]{1+\sqrt{x^3}} </math> ma pierwotną elementarną, gdyż <math>\frac{0+1}{\frac{3}{2}}+\frac{1}{3}=1\in\mathbb{Z} | '''(3)''' Funkcja <math>f(x)=\sqrt[3]{1+\sqrt{x^3}} </math> ma pierwotną elementarną, gdyż <math>\frac{0+1}{\frac{3}{2}}+\frac{1}{3}=1\in\mathbb{Z}</math>. | ||
Wykonujemy podstawienie <math> x^{-\frac{3}{2}}+1=z^3 | Wykonujemy podstawienie <math> x^{-\frac{3}{2}}+1=z^3</math>. Wówczas <math> x=\frac{1}{(z^3-1)^{\frac{2}{3}}},</math> czyli <math> dx=\frac{-2z^2}{(z^3-1)^{\frac{5}{3}}}\,dz</math>. Dokonując tego podstawienia, mamy | ||
<center><math>\int \sqrt[3]{1+\sqrt{x^3}}\,dx | <center><math>\int \sqrt[3]{1+\sqrt{x^3}}\,dx | ||
Linia 1047: | Linia 1047: | ||
<math>a,b,c\in\mathbb{R},a\ne 0</math> można zastosować następujące | <math>a,b,c\in\mathbb{R},a\ne 0</math> można zastosować następujące | ||
podstawienia (tak zwane podstawienia Eulera):<br> | podstawienia (tak zwane podstawienia Eulera):<br> | ||
* Niech <math>a>0 | * Niech <math>a>0</math>. Podstawiamy | ||
<center><math>\sqrt{ax^2+bx+c}=t-\sqrt{a}x. | <center><math>\sqrt{ax^2+bx+c}=t-\sqrt{a}x. | ||
</math></center> | </math></center> | ||
* Niech <math>c>0 | * Niech <math>c>0</math>. Podstawiamy | ||
<center><math>\sqrt{ax^2+bx+c}=xt+\sqrt{c}. | <center><math>\sqrt{ax^2+bx+c}=xt+\sqrt{c}. | ||
</math></center><br> | </math></center><br> | ||
* Niech trójmian kwadratowy ma dwa '''różne''' pierwiastki <math>\mu,\lambda,</math> to znaczy <math>ax^2+bx+c=a(x-\lambda)(x-\mu) | * Niech trójmian kwadratowy ma dwa '''różne''' pierwiastki <math>\mu,\lambda,</math> to znaczy <math>ax^2+bx+c=a(x-\lambda)(x-\mu)</math>. Podstawiamy<br><br> | ||
<center><math>\sqrt{ax^2+bx+c}=t(x-\lambda). | <center><math>\sqrt{ax^2+bx+c}=t(x-\lambda). | ||
Linia 1168: | Linia 1168: | ||
Obliczyć całkę | Obliczyć całkę | ||
<math>\int\frac{dx}{2+\cos x} | <math>\int\frac{dx}{2+\cos x}</math>. | ||
W całce tej stosujemy podstawienie | W całce tej stosujemy podstawienie | ||
<math> \mathrm{tg}\, \frac{x}{2}=t,</math> | <math> \mathrm{tg}\, \frac{x}{2}=t,</math> | ||
Linia 1174: | Linia 1174: | ||
<math> x=2\mathrm{arctg}\, t</math> | <math> x=2\mathrm{arctg}\, t</math> | ||
i | i | ||
<math> dx=\frac{2\,dt}{1+t^2} | <math> dx=\frac{2\,dt}{1+t^2}</math>. | ||
Zatem | Zatem | ||
Linia 1243: | Linia 1243: | ||
Obliczyć całkę | Obliczyć całkę | ||
<math> \int\frac{dx}{1+2\cos^2x}\,dx | <math> \int\frac{dx}{1+2\cos^2x}\,dx</math>. | ||
W całce tej stosujemy podstawienie | W całce tej stosujemy podstawienie | ||
Linia 1250: | Linia 1250: | ||
<math> \cos^2x=\frac{1}{1+t^2}</math> | <math> \cos^2x=\frac{1}{1+t^2}</math> | ||
i | i | ||
<math> dx=\frac{\,dt}{1+t^2} | <math> dx=\frac{\,dt}{1+t^2}</math>. | ||
Zatem | Zatem | ||
Wersja z 09:22, 5 wrz 2023
Całka nieoznaczona

Zobacz biografię
W pierwszej części tego wykładu wprowadzamy pojęcia funkcji pierwotnej i całki nieoznaczonej. Podajemy całki pewnych funkcji elementarnych, jak również przykłady funkcji, których pierwotne nie są funkcjami elementarnymi. Dowodzimy wzorów na całkowanie przez części i całkowanie przez podstawienie.
Druga część wykładu jest przeglądem metod całkowania. Omawiamy kolejno metody całkowania wyrażeń wymiernych (rozkład na ułamki proste), metody całkowania pewnych wyrażeń niewymiernych (m.in. metodę współczynników nieoznaczonych, podstawienia Eulera) oraz metody całkowania wyrażeń zawierających funkcje trygonometryczne.
Funkcja pierwotna
Definicja 13.1.
Niech będzie przedziałem oraz
niech będzie funkcją.
Funkcję nazywamy
pierwotną funkcji jeśli
jest różniczkowalna i
.
Twierdzenie 13.2.
Dwie dowolne pierwotne funkcji
różnią się o stałą,
to znaczy
(1) Jeśli i są pierwotnymi funkcji
to dla pewnego
(2) Jeśli jest pierwotną funkcji oraz
dla pewnego
to też jest pierwotną funkcji
Dowód 13.2.
(Ad (1))
Jeśli i są pierwotnymi funkcji , to mamy
Ponieważ pochodna różnicy wynosi , więc różnica ta musi
być stała. Zatem istnieje takie, że
(Ad (2))
Załóżmy, że jest pierwotną funkcji
oraz funkcje i różnią się o stałą, to znaczy
dla pewnej stałej . Ponieważ jest
różniczkowalna (jako pierwotna) oraz funkcja stała jest
różniczkowalna, więc także funkcja jest różniczkowalna.
Licząc pochodną sumy, dostajemy
zatem jest także pierwotną funkcji

Definicja 13.3. [całka nieoznaczona, całkowanie]
Całką nieoznaczoną funkcji nazywamy zbiór jego pierwotnych i oznaczamy
Całkowaniem nazywamy wyznaczanie całki.
Oczywiście, jeśli zmienna funkcji nazywa się
to piszemy lub
,
a jeśli zmienna funkcji nazywa się
na przykład
to piszemy lub
.
Wniosek 13.4.
Jeśli jest pierwotną funkcji , to
Jeśli jest jedną z pierwotnych funkcji oraz to pierwotna funkcji spełniająca (to znaczy której wykres przechodzi przez punkt ) jest równa
gdzie
Przykład 13.6.
Funkcja pierwotna nie zawsze istnieje.
Rozważmy następującą funkcję
Pokażemy, że nie ma pierwotnej. Dla dowodu niewprost, przypuśćmy, że funkcja ta posiada pierwotną Wówczas Na przedziale funkcja jest tożsamościowo równa zatem jej pierwotna jest stała, powiedzmy Podobnie na przedziale powiedzmy Ponieważ funkcja pierwotna jest ciągła (jako różniczkowalna), zatem
oraz Zatem pokazaliśmy, że Ale wówczas sprzeczność. Zatem tak zdefiniowana funkcja nie ma pierwotnej.
Zachodzi natomiast następujące twierdzenie (które podajemy tutaj bez dowodu).
Twierdzenie 13.7.
Każda funkcja ciągła ma pierwotną.
Całki pewnych funkcji elementarnych
Poniższe twierdzenie podaje całki nieoznaczone pewnych funkcji elementarnych. Ponieważ wiemy już, ile wynoszą pochodne pewnych funkcji elementarnych, więc łatwo stąd odgadnąć pierwotne niżej podanych funkcji.
Twierdzenie 13.8. [Całki pewnych funkcji elementarnych]
(1)
;
(2)
;
(3)
dla ;
(4)
;
(5)
dla
(w szczególności
(6)
;
(7)
;
(8)
;
(9)
;
(10)
;
(11)
;
(12)
;
(13)
.
Poniższe twierdzenie pozwoli nam liczyć całkę z sumy i różnicy funkcji oraz z iloczynu funkcji przez stałą. Wynika ono natychmiast z twierdzenia o liniowości pochodnej.
Twierdzenie 13.9. [Liniowość całki]
Jeśli są funkcjami, dla których
istnieją całki nieoznaczone,
to
(1)
;
(2)
.
W przypadku liczenia pochodnej funkcji mieliśmy także do dyspozycji wzór na pochodną iloczynu i ilorazu. Pozwalało to w praktyczny sposób policzyć pochodną dowolnej funkcji elementarnej.
W przypadku całki nieoznaczonej nie mamy do dyspozycji takiego narzędzia. Okazuje się nawet, że dla pewnych funkcji elementarnych nie istnieje funkcja pierwotna elementarna (mimo, że pierwotna na pewno istnieje, bo funkcja jest na przykład ciągła).
(1)
Funkcje elementarne to funkcje, które można otrzymać z
funkcji:
- stałych,
- potęgowych,
- wykładniczych,
- trygonometrycznych,
przez wykonywanie skończonej liczby operacji:
- dodawania/odejmowania,
- mnożenia/dzielenia,
- złożenia,
- odwracania.
(2)
Pochodna funkcji elementarnej jest zawsze funkcją
elementarną.
Wynika to ze wzorów na pochodną funkcji stałej, potęgowej, wykładniczej,
trygonometrycznej oraz
wzorów na pochodne sumy, iloczynu, ilorazu, złożenia i
funkcji odwrotnej.
(3)
Całka nieoznaczona funkcji elementarnej nie musi być funkcją
elementarną.
Przykłady funkcji, których pierwotne nie są funkcjami
elementarnymi, to między innymi
oraz tak zwane całki eliptyczne:
Całkowanie przez części
Do liczenia całki nieoznaczonej z iloczynu przydatny jest następujący wzór, który w niektórych przypadkach sprowadza całkę z iloczynu (lub ilorazu) do postaci łatwiejszej do wyliczenia.
Twierdzenie 13.11. [Całkowanie przez części]
Jeśli jest przedziałem, są funkcjami różniczkowalnymi oraz istnieje całka nieoznaczona dla funkcji to istnieje także całka nieoznaczona dla funkcji oraz
Dowód 13.11.
Ponieważ funkcje i są różniczkowalne, więc różniczkowalny jest także iloczyn oraz zachodzi wzór
zatem
Ponieważ funkcja po prawej stronie jest całkowalna, więc funkcja po lewej stronie także jest całkowalna i mamy

Całkowanie przez podstawienie
Podobnie jak w przypadku iloczynu i ilorazu funkcji nie ma ogólnego wzoru na obliczanie pierwotnej, tak i w przypadku złożenia funkcji nie ma ogólnej metody wyznaczania pierwotnej (tak jak to miało miejsce w przypadku pochodnej). W przypadku złożenia pomocnym narzędziem może być następujący wzór na całkowanie przez podstawienie zwany także wzorem na zmianę zmiennych w całce. Pozwala ono w pewnych sytuacjach obliczyć całkę z funkcji zawierającej złożenie dwóch funkcji.
Twierdzenie 13.12. [Całkowanie przez podstawianie]
Jeśli są przedziałami, jest funkcją różniczkowalną oraz jest funkcją, dla której istnieje pierwotna to istnieje całka nieoznaczona dla funkcji oraz
Dowód 13.12.
Ponieważ funkcje i są różniczkowalne, więc ich złożenie także oraz mamy
Całkując obie strony, dostajemy tezę naszego twierdzenia.

Wzór całkowania przez podstawianie często zapisujemy jako:
rozumiejąc, że należy "wrócić" do tej samej zmiennej po obu stronach ( po prawej lub po lewej) przez złożenie "" po prawej stronie lub "" po lewej stronie.
Przykład 13.14.
Obliczyć całkę nieoznaczoną z funkcji .
Całkowanie funkcji wymiernych
Zacznijmy od przypomnienia znanego ze szkoły twierdzenia.
Twierdzenie 13.15. [Podstawowe twierdzenie algebry (w wersji rzeczywistej)]
Dowolny wielomian można rozłożyć na czynniki nierozkładalne stopnia co najwyżej to znaczy
gdzie stopień wielomianu wynosi
oraz
Definicja 13.16. [ułamki proste]
Ułamkami prostymi nazywamy funkcje wymierne postaci:
gdzie .
Podamy twierdzenie, które pozwoli na obliczanie całki z dowolnej funkcji wymiernej. Ponieważ twierdzenie to "wygląda" dość formalnie, proponujemy przestudiować najpierw poniższy przykład.
Przykład 13.17.
Obliczyć całkę z następującej funkcji wymiernej .
To, że funkcję wymierną w powyższym przykładzie udało się rozłożyć na prostsze ułamki nie jest przypadkiem.
Okazuje się, że funkcję wymierną można zawsze przedstawić jako sumę ułamków prostych. Jeśli zatem będziemy umieli scałkować ułamki proste, to dzięki liniowości całki będziemy potrafili scałkować dowolną funkcję wymierną (o ile jej mianownik efektywnie rozłożymy na czynniki stopnia co najwyżej drugiego). Kolejne twierdzenie o rozkładzie funkcji wymiernej na ułamki proste będzie więc bardzo przydatne w rachunkach.
Twierdzenie 13.18. [O rozkładzie na ułamki proste]
Niech będzie funkcją wymierną, gdzie . Wówczas istnieje jedyny rozkład funkcji na ułamki proste oraz jeśli
gdzie
to
Przykład 13.19.
Rozłożyć funkcję wymierną na ułamki proste.
Korzystając z liniowości całki nieoznaczonej dla policzenia całki z funkcji wymiernej , wystarczy umieć policzyć całki z ułamków prostych. Znamy już całki z ułamków:
Całki z ułamków prostych postaci będą policzone na ćwiczeniach (patrz ćwiczenie 13.4.).
Całkowanie funkcji niewymiernych
Zacznijmy od rozważenia następującej całki:
gdzie jest dowolnym wielomianem (stopnia ). Okazuje się, że istnieje ogólna metoda obliczania tego typu całek. Opiera się ona na twierdzeniu, które mówi, iż mamy następującą równość
gdzie jest wielomianem stopnia . Współczynniki wielomianu oraz stałą znajdujemy, licząc pochodną z obu stron powyższej równości (pamiętamy, że pochodna z całki to funkcja podcałkowa!) i mnożąc potem obie strony przez . Dostaniemy wtedy:
skąd, porównując współczynniki przy odpowiednich potęgach zmiennej znajdujemy współczynniki wielomianu oraz stałą .
Pozostaje jeszcze do obliczenia
którą przez odpowiednie podstawienie sprowadzamy do jednej z całek
(patrz twierdzenie 13.8.).
Policzymy teraz pewną całkę, którą w przyszłości będziemy wielokrotnie wykorzystywać.
Przykład 13.21.
Policzyć
gdzie jest stałą dodatnią. Aby użyć metody współczynników nieoznaczonych, zapiszmy
Wielomian jest stopnia , zatem
Stąd
skąd dostajemy układ równań
zatem
Pozostaje do policzenia . Podstawiając (zatem ), mamy
Reasumując, mamy
Kolejne twierdzenie zawiera warunek konieczny i wystarczający istnienia pierwotnej elementarnej dla funkcji postaci oraz podaje sposób policzenia całki nieoznaczonej, jeśli pierwotna jest funkcją elementarną. Dowód twierdzenia pomijamy.
Twierdzenie 13.22.
Funkcja
ma pierwotną elementarną wtedy i tylko wtedy, gdy
zachodzi jeden z przypadków:
(1)
(robimy podstawienie gdzie jest wspólnym
mianownikiem ułamków i );
(2)
(robimy podstawienie gdzie jest
mianownikiem ułamka );
(3)
(robimy podstawienie gdzie jest
mianownikiem ułamka ).
Przykład 13.23.
Które z funkcji mają pierwotną elementarną?
Sprowadzić całki z funkcji, które mają pierwotną elementarną do
całek z funkcji wymiernych.
(1) .
(2) .
(3) .
Do policzenia całki postaci
gdzie
jest funkcją wymierną,
można zastosować następujące
podstawienia (tak zwane podstawienia Eulera):
- Niech . Podstawiamy
- Niech . Podstawiamy
- Niech trójmian kwadratowy ma dwa różne pierwiastki to znaczy . Podstawiamy
Przykład 13.25.
Całkę
sprowadzimy do całki z funkcji wymiernej, stosując pierwsze podstawienie Eulera. Podstawiamy
skąd
oraz
Podstawiając, dostajemy
czyli całkę z funkcji wymiernej, którą już umiemy policzyć.
Teraz tę samą całkę
sprowadzimy
do całki z funkcji wymiernej, używając drugiego podstawienia
Eulera. Podstawiamy
skąd
Podstawiając, dostajemy
czyli też całkę z funkcji wymiernej - co prawda nieco bardziej skomplikowaną niż poprzednia.
Całkowanie wyrażeń zawierających funkcje trygonometryczne
Aby policzyć całkę
stosujemy podstawienie
i mamy
oraz
Po podstawieniu dostajemy całkę
Przykład 13.27.
Obliczyć całkę . W całce tej stosujemy podstawienie wówczas i . Zatem
Aby policzyć całkę
stosujemy podstawienie
i mamy
oraz
Zatem po podstawieniu dostajemy całkę
Przykład 13.29.
Obliczyć całkę .
W całce tej stosujemy podstawienie wówczas i . Zatem
Zauważmy, że całkę tę liczyliśmy w przykładzie 13.27. Zatem