Analiza matematyczna 1/Wykład 13: Całka nieoznaczona: Różnice pomiędzy wersjami
m Zastępowanie tekstu – „ \displaystyle ” na „” |
|||
Linia 24: | Linia 24: | ||
{{definicja|13.1.|| | {{definicja|13.1.|| | ||
Niech <math> | Niech <math>D\subseteq \mathbb{R}</math> będzie przedziałem oraz | ||
niech <math> | niech <math> f\colon D\longrightarrow\mathbb{R}</math> będzie funkcją.<br> | ||
Funkcję <math> | Funkcję <math>F\colon D\longrightarrow\mathbb{R}</math> nazywamy | ||
'''''pierwotną''''' funkcji <math> | '''''pierwotną''''' funkcji <math>f,</math> jeśli | ||
<math> | <math>F</math> jest różniczkowalna i | ||
<math> | <math>F'=f.</math> | ||
}} | }} | ||
Linia 35: | Linia 35: | ||
Dwie dowolne pierwotne funkcji | Dwie dowolne pierwotne funkcji | ||
<math> | <math> f\colon \mathbb{R}\supseteq D\longrightarrow\mathbb{R}</math> różnią się o stałą, | ||
to znaczy<br> | to znaczy<br> | ||
'''(1)''' Jeśli <math>F</math> i <math>G</math> są pierwotnymi funkcji <math>f</math> | '''(1)''' Jeśli <math>F</math> i <math>G</math> są pierwotnymi funkcji <math>f</math> | ||
Linia 48: | Linia 48: | ||
'''(Ad (1))''' | '''(Ad (1))''' | ||
Jeśli <math>F</math> i <math>G</math> są pierwotnymi funkcji <math>f</math>, to mamy | Jeśli <math>F</math> i <math>G</math> są pierwotnymi funkcji <math>f</math>, to mamy | ||
<math> | <math> (F-G)'=F'-G'=f-f=0.</math> | ||
Ponieważ pochodna różnicy <math>F-G</math> wynosi <math>0</math>, więc różnica ta musi | Ponieważ pochodna różnicy <math>F-G</math> wynosi <math>0</math>, więc różnica ta musi | ||
być stała. Zatem istnieje <math>c \in \mathbb{R}</math> takie, że | być stała. Zatem istnieje <math>c \in \mathbb{R}</math> takie, że | ||
Linia 67: | Linia 67: | ||
</math></center> | </math></center> | ||
zatem <math> | zatem <math>G</math> jest także pierwotną funkcji <math>f.</math> | ||
}} | }} | ||
{{definicja|13.3. [całka nieoznaczona, całkowanie]|| | {{definicja|13.3. [całka nieoznaczona, całkowanie]|| | ||
'''''Całką nieoznaczoną''''' funkcji <math> | '''''Całką nieoznaczoną''''' funkcji <math>f</math> nazywamy zbiór jego | ||
pierwotnych i oznaczamy | pierwotnych i oznaczamy | ||
<center><math> | <center><math>\int f(x)\,dx | ||
</math> lub <math>int f\,dx. | </math> lub <math>int f\,dx. | ||
</math></center> | </math></center> | ||
'''''Całkowaniem''''' nazywamy wyznaczanie całki.<br> | '''''Całkowaniem''''' nazywamy wyznaczanie całki.<br> | ||
Oczywiście, jeśli zmienna funkcji <math> | Oczywiście, jeśli zmienna funkcji <math>f</math> nazywa się <math>t,</math> | ||
to piszemy <math> | to piszemy <math>\int f(t)\,dt</math> lub | ||
<math> | <math>\int f\,dt</math>, | ||
a jeśli zmienna funkcji <math> | a jeśli zmienna funkcji <math>f</math> nazywa się | ||
na przykład <math>\xi,</math> | na przykład <math>\xi,</math> | ||
to piszemy <math>\int f(\xi)\,d\xi</math> lub | to piszemy <math>\int f(\xi)\,d\xi</math> lub | ||
Linia 113: | Linia 113: | ||
</math></center> | </math></center> | ||
gdzie <math> | gdzie <math>C=y_0-F(x_0).</math> | ||
}} | }} | ||
Linia 123: | Linia 123: | ||
Rozważmy następującą funkcję | Rozważmy następującą funkcję | ||
<math> | <math> f\colon\mathbb{R}\longrightarrow\mathbb{R}</math> | ||
<center> | <center> | ||
<math> | <math> | ||
f(x)= | f(x)= | ||
\left\{ | \left\{ | ||
Linia 137: | Linia 137: | ||
</center> | </center> | ||
Pokażemy, że <math> | Pokażemy, że <math>f</math> nie ma pierwotnej. | ||
Dla dowodu niewprost, | Dla dowodu niewprost, | ||
przypuśćmy, że funkcja ta posiada pierwotną | przypuśćmy, że funkcja ta posiada pierwotną | ||
<math> | <math>F\colon\mathbb{R}\longrightarrow\mathbb{R}.</math> | ||
Wówczas <math> | Wówczas <math>F'=f.</math> | ||
Na przedziale <math> | Na przedziale <math> (-\infty,0),</math> funkcja <math>f</math> jest | ||
tożsamościowo równa <math> | tożsamościowo równa <math>0,</math> zatem | ||
jej pierwotna jest stała, | jej pierwotna jest stała, | ||
powiedzmy <math> | powiedzmy <math>F|_{(-\infty,0)}\equiv a.</math> | ||
Podobnie na przedziale <math> | Podobnie na przedziale <math> (0,+\infty),</math> | ||
powiedzmy <math> | powiedzmy <math>F|_{(0,+\infty)}\equiv b.</math> | ||
Ponieważ funkcja pierwotna jest ciągła | Ponieważ funkcja pierwotna jest ciągła | ||
(jako różniczkowalna), zatem | (jako różniczkowalna), zatem | ||
<center> | <center> | ||
<math> | <math>a | ||
= | = | ||
\lim_{x\rightarrow 0^-}F(x) | \lim_{x\rightarrow 0^-}F(x) | ||
Linia 162: | Linia 162: | ||
</center> | </center> | ||
oraz <math> | oraz <math>a=F(0)=b.</math> | ||
Zatem pokazaliśmy, że <math> | Zatem pokazaliśmy, że <math>F\equiv a.</math> | ||
Ale wówczas <math> | Ale wówczas <math>F'=0\ne f,</math> sprzeczność. | ||
Zatem tak zdefiniowana funkcja <math> | Zatem tak zdefiniowana funkcja <math>f</math> nie ma pierwotnej. | ||
}} | }} | ||
Linia 185: | Linia 185: | ||
<span id="twierdzenie_13_8">{{twierdzenie|13.8. [Całki pewnych funkcji elementarnych]|| | <span id="twierdzenie_13_8">{{twierdzenie|13.8. [Całki pewnych funkcji elementarnych]|| | ||
'''(1)''' | '''(1)''' | ||
<math> | <math> \int 0\,dx=c</math>;<br> | ||
'''(2)''' | '''(2)''' | ||
<math> | <math> \int 1\,dx =x+c</math>;<br> | ||
'''(3)''' | '''(3)''' | ||
<math> | <math> \int x^{\alpha}\,dx=\frac{1}{\alpha+1} | ||
x^{\alpha+1}+c</math> dla <math> | x^{\alpha+1}+c</math> dla <math>\alpha\ne -1</math>;<br> | ||
'''(4)''' | '''(4)''' | ||
<math> | <math> \int\frac{1}{x}\,dx = | ||
\ln |x|+c</math>;<br> | \ln |x|+c</math>;<br> | ||
'''(5)''' | '''(5)''' | ||
<math> | <math> \int a^x\,dx=\frac{a^x}{\ln a}+c,</math> | ||
dla <math> | dla <math>a>0,a\ne 1,</math> | ||
(w szczególności | (w szczególności | ||
<math> | <math> \int e^x\,dx=e^x+c);</math><br> | ||
'''(6)''' | '''(6)''' | ||
<math> | <math> \int\sin x\,dx=-\cos x+c</math>;<br> | ||
'''(7)''' | '''(7)''' | ||
<math> | <math> \int\cos x\,dx=\sin x+c</math>;<br> | ||
'''(8)''' | '''(8)''' | ||
<math> | <math> \int\frac{1}{\cos^2 x}\,dx=\mathrm{tg}\, x+c</math>;<br> | ||
'''(9)''' | '''(9)''' | ||
<math> | <math> \int\frac{1}{\sin^2 x}\,dx=-\mathrm{ctg}\, x+c</math>;<br> | ||
'''(10)''' | '''(10)''' | ||
<math> | <math> \int\frac{1}{\sqrt{1-x^2}}\,dx | ||
=\arcsin x+c</math>;<br> | =\arcsin x+c</math>;<br> | ||
'''(11)''' | '''(11)''' | ||
<math> | <math> \int\frac{1}{1+x^2}\,dx | ||
=\mathrm{arctg}\, x+c</math>;<br> | =\mathrm{arctg}\, x+c</math>;<br> | ||
'''(12)''' | '''(12)''' | ||
<math> | <math> \int\frac{1}{\sqrt{x^2+1}}\,dx | ||
={\rm arsinh\, } x=\ln\big|x+\sqrt{x^2+1}\big|</math>;<br> | ={\rm arsinh\, } x=\ln\big|x+\sqrt{x^2+1}\big|</math>;<br> | ||
'''(13)''' | '''(13)''' | ||
<math> | <math> \int\frac{1}{\sqrt{x^2-1}}\,dx | ||
={\rm arcosh\, } x=\ln\big|x+\sqrt{x^2-1}\big|</math>.<br> | ={\rm arcosh\, } x=\ln\big|x+\sqrt{x^2-1}\big|</math>.<br> | ||
}}</span> | }}</span> | ||
Linia 226: | Linia 226: | ||
{{twierdzenie|13.9. [Liniowość całki]|| | {{twierdzenie|13.9. [Liniowość całki]|| | ||
Jeśli <math> | Jeśli <math>f,g\colon\mathbb{R}\supseteq D\longrightarrow\mathbb{R}</math> są funkcjami, dla których | ||
istnieją całki nieoznaczone, | istnieją całki nieoznaczone, | ||
<math> | <math>\lambda\in\mathbb{R},</math> | ||
to<br> | to<br> | ||
'''(1)''' | '''(1)''' | ||
<math> | <math> \int(f\pm g)(x)\,dx= | ||
\int f(x)\,dx\pm\int g(x)\,dx</math>;<br> | \int f(x)\,dx\pm\int g(x)\,dx</math>;<br> | ||
'''(2)''' | '''(2)''' | ||
<math> | <math> \int(\lambda f)(x)\,dx | ||
=\lambda\int f(x)\,dx.</math> | =\lambda\int f(x)\,dx.</math> | ||
}} | }} | ||
Linia 276: | Linia 276: | ||
elementarnymi, to między innymi | elementarnymi, to między innymi | ||
<center><math> | <center><math>\int\sqrt[3]{1+x^2}\,dx,\quad | ||
\int e^{-x^2}\,dx,\quad | \int e^{-x^2}\,dx,\quad | ||
\int \sin x^2\,dx,\quad | \int \sin x^2\,dx,\quad | ||
Linia 283: | Linia 283: | ||
</math></center> | </math></center> | ||
<center><math> | <center><math>\int\frac{\sin x}{x}\,dx,\quad | ||
\int\frac{\cos x}{x}\,dx\quad | \int\frac{\cos x}{x}\,dx\quad | ||
\int\frac{1}{\ln x}\,dx | \int\frac{1}{\ln x}\,dx | ||
Linia 290: | Linia 290: | ||
oraz tak zwane całki eliptyczne: | oraz tak zwane całki eliptyczne: | ||
<center><math> | <center><math>\int\frac{1}{\sqrt{(1-x^2)(1-kx^2)}},\quad | ||
\int\frac{x^2}{\sqrt{(1-x^2)(1-kx^2)}}\quad | \int\frac{x^2}{\sqrt{(1-x^2)(1-kx^2)}}\quad | ||
</math> dla <math> k\in(0,1). | </math> dla <math> k\in(0,1). | ||
Linia 305: | Linia 305: | ||
{{twierdzenie|13.11. [Całkowanie przez części]|| | {{twierdzenie|13.11. [Całkowanie przez części]|| | ||
Jeśli | Jeśli | ||
<math> | <math>I\subseteq \mathbb{R}</math> jest przedziałem, | ||
<math> | <math>f,g\colon I\longrightarrow\mathbb{R}</math> są funkcjami różniczkowalnymi | ||
oraz istnieje całka nieoznaczona dla funkcji | oraz istnieje całka nieoznaczona dla funkcji | ||
<math> | <math>f\cdot g',</math> | ||
to | to | ||
istnieje także całka nieoznaczona dla funkcji <math> | istnieje także całka nieoznaczona dla funkcji <math>f'\cdot g</math> oraz | ||
<center><math> | <center><math>\int f'g\,dx | ||
= | = | ||
fg-\int fg'\,dx. | fg-\int fg'\,dx. | ||
Linia 321: | Linia 321: | ||
{{dowod|13.11.|| | {{dowod|13.11.|| | ||
Ponieważ funkcje <math> | Ponieważ funkcje <math>f</math> i <math>g</math> są różniczkowalne, więc | ||
różniczkowalny jest także iloczyn <math> | różniczkowalny jest także iloczyn <math>f\cdot g</math> oraz zachodzi wzór | ||
<center><math> | <center><math>(f\cdot g)' | ||
= | = | ||
f'\cdot g+f\cdot g', | f'\cdot g+f\cdot g', | ||
Linia 331: | Linia 331: | ||
zatem | zatem | ||
<center><math> | <center><math>f'\cdot g | ||
= | = | ||
(f\cdot g)' | (f\cdot g)' | ||
Linia 365: | Linia 365: | ||
{{twierdzenie|13.12. [Całkowanie przez podstawianie]|| | {{twierdzenie|13.12. [Całkowanie przez podstawianie]|| | ||
Jeśli | Jeśli | ||
<math> | <math>I, J\subseteq\mathbb{R}</math> są przedziałami, | ||
<math> | <math> f\colon I\longrightarrow J</math> jest funkcją różniczkowalną oraz | ||
<math> | <math> g\colon J\longrightarrow\mathbb{R}</math> jest funkcją, dla której istnieje pierwotna | ||
<math> | <math>G\colon J\longrightarrow\mathbb{R},</math> | ||
to | to | ||
istnieje całka nieoznaczona dla funkcji <math> | istnieje całka nieoznaczona dla funkcji <math> (g\circ f)\cdot f'</math> oraz | ||
<center><math> | <center><math>\int (g\circ f)\cdot f'\,dx | ||
= | = | ||
G\circ f. | G\circ f. | ||
Linia 381: | Linia 381: | ||
{{dowod|13.12.|| | {{dowod|13.12.|| | ||
Ponieważ funkcje <math> | Ponieważ funkcje <math>G</math> i <math>f</math> są różniczkowalne, więc ich złożenie | ||
także oraz mamy | także oraz mamy | ||
<center><math> | <center><math>(G\circ f)' | ||
= | = | ||
(G'\circ f)\cdot f' | (G'\circ f)\cdot f' | ||
Linia 400: | Linia 400: | ||
Wzór całkowania przez podstawianie często zapisujemy jako: | Wzór całkowania przez podstawianie często zapisujemy jako: | ||
<center><math> | <center><math>\int g\big(f(x)\big)f'(x)\,dx | ||
= | = | ||
\int g(t)\,dt, | \int g(t)\,dt, | ||
Linia 406: | Linia 406: | ||
rozumiejąc, że należy "wrócić" do tej samej zmiennej po obu stronach | rozumiejąc, że należy "wrócić" do tej samej zmiennej po obu stronach | ||
(<math> | (<math>x</math> po prawej lub <math>t</math> po lewej) | ||
przez złożenie "<math> | przez złożenie "<math>\circ f</math>" po prawej stronie lub | ||
"<math> | "<math>\circ f^{-1}</math>" po lewej stronie. | ||
}}</span> | }}</span> | ||
{{przyklad|13.14.|| | {{przyklad|13.14.|| | ||
Obliczyć całkę nieoznaczoną z funkcji <math> | Obliczyć całkę nieoznaczoną z funkcji <math>f(x)=\sin x\cos x.</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"> '''Sposób I.'''<br> | <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"> '''Sposób I.'''<br> | ||
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> | <math>f'(x)=\sin x</math> (gdyż znamy już pierwotną funkcji <math>\sin</math>) oraz | ||
jako <math> | 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: | ||
<center><math> | <center><math>\begin{align} | ||
\int \sin x\cos x\,dx | \int \sin x\cos x\,dx | ||
& = & | & = & | ||
Linia 439: | Linia 439: | ||
Zauważmy, że po obu stronach wyrażenia występuje całka | Zauważmy, że po obu stronach wyrażenia występuje całka | ||
<math> | <math>\int \sin x\cos x\,dx</math> | ||
lecz z innym znakiem. | lecz z innym znakiem. | ||
Wystarczy przenieść tę całkę na jedną stronę i wyliczyć, że: | Wystarczy przenieść tę całkę na jedną stronę i wyliczyć, że: | ||
<center><math> | <center><math>\int \sin x\cos x\,dx | ||
= | = | ||
-\frac{1}{2}\cos^2 x+c | -\frac{1}{2}\cos^2 x+c | ||
</math></center> | </math></center> | ||
(na końcu dopisujemy "<math> | (na końcu dopisujemy "<math>+c</math>" | ||
aby zaznaczyć, że całką nieoznaczoną jest zbiór wszystkich pierwotnych, | aby zaznaczyć, że całką nieoznaczoną jest zbiór wszystkich pierwotnych, | ||
które jak wiadomo różnią się o stałą).<br> | które jak wiadomo różnią się o stałą).<br> | ||
Linia 456: | Linia 456: | ||
w innej kolejności | w innej kolejności | ||
<center><math> | <center><math> | ||
\int \sin x\cos x\,dx | \int \sin x\cos x\,dx | ||
= | = | ||
Linia 474: | Linia 474: | ||
Również w tym przypadku po obu stronach wyrażenia występuje | Również w tym przypadku po obu stronach wyrażenia występuje | ||
całka | całka | ||
<math> | <math>\int \sin x\cos x\,dx</math> | ||
lecz z innym znakiem. | lecz z innym znakiem. | ||
Wystarczy przenieść tę całkę na jedną stronę i wyliczyć, że: | Wystarczy przenieść tę całkę na jedną stronę i wyliczyć, że: | ||
<center><math> | <center><math>\int \sin x\cos x\,dx | ||
= | = | ||
\frac{1}{2}\sin^2 x+c. | \frac{1}{2}\sin^2 x+c. | ||
Linia 487: | Linia 487: | ||
Przy obliczeniu tej całki możemy posłużyć się także wzorem na | Przy obliczeniu tej całki możemy posłużyć się także wzorem na | ||
całkowanie przez podstawianie. | całkowanie przez podstawianie. | ||
Przyjmując <math> | 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> | <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 495: | Linia 495: | ||
(porównaj [[#uwaga_13_13|uwaga 13.13.]]), przy czym | (porównaj [[#uwaga_13_13|uwaga 13.13.]]), przy czym | ||
po wyborze dogodnego | po wyborze dogodnego | ||
podstawienia (w tym wypadku) <math> | podstawienia (w tym wypadku) <math>\sin x=t</math>) oblicza się pochodną, | ||
dopisując odpowiednio <math> | dopisując odpowiednio <math>dx</math> i <math>dt</math> po obu stronach równości. | ||
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> | formalne podstawienie wyrażeń zawierających symbole <math>dx</math> i <math>dt.</math> | ||
Piszemy zatem | Piszemy zatem | ||
<center><math> | <center><math> | ||
\int \sin x\cos x\,dx | \int \sin x\cos x\,dx | ||
= | = | ||
Linia 522: | Linia 522: | ||
'''Sposób IV.'''<br> | '''Sposób IV.'''<br> | ||
W naszym przykładzie możemy także dokonać podstawienia | W naszym przykładzie możemy także dokonać podstawienia | ||
<math> | <math>\cos x=t</math>, ponieważ funkcja podcałkowa jest postaci | ||
<math> | <math>\cos x\cdot (\cos x)'</math> (z dokładnością do znaku). | ||
Zatem mamy | Zatem mamy | ||
<center><math> | <center><math> | ||
\int \sin x\cos x\,dx | \int \sin x\cos x\,dx | ||
= | = | ||
Linia 548: | Linia 548: | ||
'''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> | 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> | ||
<math> | <math>\int \sin x\cos x\,dx | ||
= | = | ||
\frac{1}{2}\int \sin 2x\,dx | \frac{1}{2}\int \sin 2x\,dx | ||
Linia 560: | Linia 560: | ||
przy czym ostatnią całkę odgadujemy (gdyż znamy pochodną funkcji | przy czym ostatnią całkę odgadujemy (gdyż znamy pochodną funkcji | ||
<math> | <math>\cos 2x,</math> więc dobieramy tylko odpowiedni współczynnik), | ||
bądź też obliczamy, stosując podstawienie <math> | bądź też obliczamy, stosując podstawienie <math>2x=t.</math> | ||
Zauważmy teraz, że w powyższych rozwiązaniach jako pierwotne funkcji <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: | ||
<br><center> | <br><center> | ||
<math> | <math>\frac{1}{2}\sin^2x, | ||
\quad | \quad | ||
-\frac{1}{2}\cos^2x, | -\frac{1}{2}\cos^2x, | ||
Linia 580: | Linia 580: | ||
z powyższych funkcji, na przykład | z powyższych funkcji, na przykład | ||
<center><math> | <center><math>-\frac{1}{2}\cos^2x | ||
- | - | ||
\frac{1}{2}\sin^2x | \frac{1}{2}\sin^2x | ||
Linia 591: | Linia 591: | ||
oraz | oraz | ||
<center><math> | <center><math>-\frac{1}{4}\cos 2x | ||
- | - | ||
\frac{1}{2}\sin^2x | \frac{1}{2}\sin^2x | ||
Linia 614: | Linia 614: | ||
{{twierdzenie|13.15. [Podstawowe twierdzenie algebry (w wersji rzeczywistej)]|| | {{twierdzenie|13.15. [Podstawowe twierdzenie algebry (w wersji rzeczywistej)]|| | ||
Dowolny wielomian można rozłożyć na czynniki nierozkładalne stopnia co najwyżej | Dowolny wielomian można rozłożyć na czynniki nierozkładalne stopnia co najwyżej | ||
<math> | <math>2,</math> to znaczy | ||
<center><math>\begin{array}{lll} | <center><math>\begin{array}{lll}Q(x)&=& | ||
c(x-A_1)^{k_1}(x-A_2)^{k_2}\ldots \\ | c(x-A_1)^{k_1}(x-A_2)^{k_2}\ldots \\ | ||
&\ldots&\displaystyle (x-A_r)^{k_r} | &\ldots&\displaystyle (x-A_r)^{k_r} | ||
Linia 623: | Linia 623: | ||
\end{array}</math></center> | \end{array}</math></center> | ||
gdzie stopień wielomianu <math> | gdzie stopień wielomianu <math>Q</math> wynosi | ||
<center><math> | <center><math>\deg Q= | ||
k_1+k_2+\ldots+k_r+2(l_1+l_2+\ldots+l_s)</math></center> | k_1+k_2+\ldots+k_r+2(l_1+l_2+\ldots+l_s)</math></center> | ||
oraz | oraz | ||
Linia 638: | Linia 638: | ||
'''''Ułamkami prostymi''''' nazywamy funkcje wymierne postaci: | '''''Ułamkami prostymi''''' nazywamy funkcje wymierne postaci: | ||
<center><math> | <center><math>\frac{a}{(x-A)^k} | ||
</math> oraz <math>\displaystyle \frac{bx+c}{(x^2+Bx+C)^s}, | </math> oraz <math>\displaystyle \frac{bx+c}{(x^2+Bx+C)^s}, | ||
</math></center> | </math></center> | ||
gdzie <math> | gdzie <math>a,b,c,A,B,C\in\mathbb{R},k,s\in\mathbb{N},B^2-4C<0.</math> | ||
}} | }} | ||
Linia 653: | Linia 653: | ||
Obliczyć całkę z następującej funkcji wymiernej | Obliczyć całkę z następującej funkcji wymiernej | ||
<math> | <math> \int\frac{3x+5}{2x^2-5x-3}\,dx.</math> | ||
}} | }} | ||
Linia 659: | Linia 659: | ||
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> | <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 | ||
<center><math> | <center><math>\frac{3x+5}{2x^2-5x-3} | ||
= | = | ||
\frac{A}{x+\frac{1}{2}} | \frac{A}{x+\frac{1}{2}} | ||
Linia 674: | Linia 674: | ||
porównaj [[#uwaga_13_20|uwaga 13.20.]] poniżej). | porównaj [[#uwaga_13_20|uwaga 13.20.]] poniżej). | ||
Wymnażając stronami przez wspólny mianownik <math> | Wymnażając stronami przez wspólny mianownik <math> (2x^2-5x-3),</math> otrzymujemy | ||
<center><math> | <center><math>3x+5 | ||
= | = | ||
2A(x-3) | 2A(x-3) | ||
Linia 683: | Linia 683: | ||
Porządkując powyższe wyrażenie i porównując | Porządkując powyższe wyrażenie i porównując | ||
współczynniki przy <math> | współczynniki przy <math>x</math> oraz wyrazy wolne po obu stronach, | ||
możemy łatwo wyliczyć, że | możemy łatwo wyliczyć, że | ||
<math> | <math> A=-\frac{1}{2}</math> oraz | ||
<math> | <math>B=2.</math> Zatem otrzymaliśmy rozkład | ||
<center><math> | <center><math>\frac{3x+5}{2x^2-5x-3} | ||
= | = | ||
\frac{-\frac{1}{2}}{x+\frac{1}{2}} | \frac{-\frac{1}{2}}{x+\frac{1}{2}} | ||
Linia 696: | Linia 696: | ||
Możemy teraz policzyć całkę | Możemy teraz policzyć całkę | ||
<center><math> | <center><math>\begin{align} | ||
\int\frac{3x+5}{2x^2-5x-3}\,dx | \int\frac{3x+5}{2x^2-5x-3}\,dx | ||
& = & | & = & | ||
Linia 724: | Linia 724: | ||
{{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> | Niech <math> f(x)=\frac{P(x)}{Q(x)}</math> będzie funkcją wymierną, | ||
gdzie <math> | gdzie <math>\deg P=m<n=\deg Q.</math> Wówczas istnieje jedyny rozkład | ||
funkcji <math> | funkcji <math>f</math> na ułamki proste oraz jeśli | ||
<center><math> | <center><math>f(x) | ||
= | = | ||
\frac{P(x)}{(x-A_1)^{k_1}(x-A_2)^{k_2}\ldots (x-A_r)^{k_r} | \frac{P(x)}{(x-A_1)^{k_1}(x-A_2)^{k_2}\ldots (x-A_r)^{k_r} | ||
Linia 737: | Linia 737: | ||
gdzie | gdzie | ||
<center><math> | <center><math>B_i^2-4C_i<0 </math> dla <math> | ||
i=1,2,\ldots s, | i=1,2,\ldots s, | ||
</math></center> | </math></center> | ||
Linia 743: | Linia 743: | ||
to | to | ||
<center><math>\begin{array}{lll} | <center><math>\begin{array}{lll} | ||
\frac{P(x)}{Q(x)} | \frac{P(x)}{Q(x)} | ||
& = &\displaystyle \frac{a_1^1}{(x-A_1)}+ \frac{a_2^1}{(x-A_1)^2}+ \ldots + \frac{a_{k_1}^1}{(x-A_1)^{k_1}}\\ | & = &\displaystyle \frac{a_1^1}{(x-A_1)}+ \frac{a_2^1}{(x-A_1)^2}+ \ldots + \frac{a_{k_1}^1}{(x-A_1)^{k_1}}\\ | ||
& + &\displaystyle \frac{a_1^2}{(x-A_2)}+ \frac{a_2^2}{(x-A_2)^2} + \ldots | & + &\displaystyle \frac{a_1^2}{(x-A_2)}+ \frac{a_2^2}{(x-A_2)^2} + \ldots | ||
+\frac{a_{k_2}^2}{(x-A_2)^{k_2}}\\ | +\frac{a_{k_2}^2}{(x-A_2)^{k_2}}\\ | ||
& + & | & + &\ldots\\ | ||
& + &\displaystyle \frac{a_1^r}{(x-A_r)}+\frac{a_2^r}{(x-A_r)^2}+\ldots+\frac{a_{k_r}^r}{(x-A_r)^{k_r}}\\ | & + &\displaystyle \frac{a_1^r}{(x-A_r)}+\frac{a_2^r}{(x-A_r)^2}+\ldots+\frac{a_{k_r}^r}{(x-A_r)^{k_r}}\\ | ||
& +&\displaystyle \frac{b_1^1x+c_1^1}{(x^2+B_1x+C_1)}+\frac{b_2^1x+c_2^1}{(x^2+B_1x+C_1)^2}+\ldots | & +&\displaystyle \frac{b_1^1x+c_1^1}{(x^2+B_1x+C_1)}+\frac{b_2^1x+c_2^1}{(x^2+B_1x+C_1)^2}+\ldots | ||
Linia 755: | Linia 755: | ||
+ \frac{b_{l_2}^2x+c_{l_2}^2}{(x^2+B_2x+C_2)^{l_2}}\\ | + \frac{b_{l_2}^2x+c_{l_2}^2}{(x^2+B_2x+C_2)^{l_2}}\\ | ||
& + &\displaystyle \ldots\\ | & + &\displaystyle \ldots\\ | ||
& + & | & + &\frac{b_1^sx+c_1^s}{(x^2+B_sx+C_s)}+\frac{b_2^sx+c_2^s}{(x^2+B_sx+C_s)^2}+\ldots+ | ||
\frac{b_{l_s}^sx+c_{l_s}^s}{(x^2+B_sx+C_s)^{l_s}}\\ | \frac{b_{l_s}^sx+c_{l_s}^s}{(x^2+B_sx+C_s)^{l_s}}\\ | ||
& = &\displaystyle | & = &\displaystyle | ||
Linia 767: | Linia 767: | ||
Rozłożyć funkcję wymierną | Rozłożyć funkcję wymierną | ||
<math> | <math> f(x)= \frac{x^5+4x^3-x^2+13x-3}{x^4+2x^2+9}</math> | ||
na ułamki proste. | na ułamki proste. | ||
}} | }} | ||
Linia 777: | Linia 777: | ||
dostajemy | dostajemy | ||
<center><math> | <center><math>\frac{x^5+4x^3-x^2+13x-3}{x^4+2x^2+9} | ||
= | = | ||
x+\frac{2x^3-x^2+4x-3}{x^4+2x^2+9}. | x+\frac{2x^3-x^2+4x-3}{x^4+2x^2+9}. | ||
Linia 785: | Linia 785: | ||
Zauważmy, że mianownik wynosi | Zauważmy, że mianownik wynosi | ||
<center><math> | <center><math>x^4+2x^2+9 | ||
= | = | ||
(x^2+3)^2-4x^2 | (x^2+3)^2-4x^2 | ||
Linia 795: | Linia 795: | ||
Zatem rozkład na ułamki proste jest postaci | Zatem rozkład na ułamki proste jest postaci | ||
<center><math> | <center><math>\frac{2x^3-x^2+4x-3}{(x^2+2x+3)(x^2-2x+3)} | ||
= | = | ||
\frac{bx+c}{x^2+2x+3}+\frac{dx+e}{x^2-2x+3}. | \frac{bx+c}{x^2+2x+3}+\frac{dx+e}{x^2-2x+3}. | ||
Linia 802: | Linia 802: | ||
Mnożąc stronami przez wspólny mianownik, dostajemy | Mnożąc stronami przez wspólny mianownik, dostajemy | ||
<center><math> | <center><math>2x^3-x^2+4x-3 | ||
= | = | ||
(ax+b)(x^2-2x+3)+(cx+d)(x^2+2x+3). | (ax+b)(x^2-2x+3)+(cx+d)(x^2+2x+3). | ||
Linia 812: | Linia 812: | ||
układ równań | układ równań | ||
<center><math> | <center><math>\left\{ | ||
\begin{array} {rrrrrrrrr} | \begin{array} {rrrrrrrrr} | ||
a & & & + & c & & & = & 2\\ | a & & & + & c & & & = & 2\\ | ||
Linia 824: | Linia 824: | ||
którego rozwiązaniem jest | którego rozwiązaniem jest | ||
<center><math> | <center><math>\left\{ | ||
\begin{array} {lll} | \begin{array} {lll} | ||
a & = & 1\\ | a & = & 1\\ | ||
Linia 836: | Linia 836: | ||
Zatem ostatecznie mamy | Zatem ostatecznie mamy | ||
<center><math> | <center><math>\frac{x^5+4x^3-x^2+13x-3}{x^4+2x^2+9} | ||
= | = | ||
x+ | x+ | ||
Linia 847: | Linia 847: | ||
Korzystając z liniowości całki nieoznaczonej dla policzenia | Korzystając z liniowości całki nieoznaczonej dla policzenia | ||
całki z funkcji wymiernej <math> | całki z funkcji wymiernej <math>\frac{P(x)}{Q(x)}</math>, wystarczy umieć | ||
policzyć całki z ułamków prostych. | policzyć całki z ułamków prostych. | ||
Znamy już całki z ułamków: | Znamy już całki z ułamków: | ||
Linia 862: | Linia 862: | ||
Całki z ułamków prostych postaci | Całki z ułamków prostych postaci | ||
<math> | <math> \frac{bx+c}{(x^2+Bx+C)^k}</math> | ||
będą policzone na ćwiczeniach | będą policzone na ćwiczeniach | ||
(patrz [[#cwiczenie_13_4|ćwiczenie 13.4.]]). | (patrz [[#cwiczenie_13_4|ćwiczenie 13.4.]]). | ||
Linia 871: | Linia 871: | ||
Zacznijmy od rozważenia następującej całki: | Zacznijmy od rozważenia następującej całki: | ||
<center><math> | <center><math>\int\frac{W_n(x)}{\sqrt{px^2+qx+r}}\,dx, | ||
</math></center> | </math></center> | ||
gdzie <math> | gdzie <math>W_n</math> jest dowolnym wielomianem | ||
(stopnia <math> | (stopnia <math>n</math>). | ||
Okazuje się, że istnieje ogólna metoda obliczania tego typu | Okazuje się, że istnieje ogólna metoda obliczania tego typu | ||
całek. Opiera się ona na twierdzeniu, które mówi, iż | całek. Opiera się ona na twierdzeniu, które mówi, iż | ||
mamy następującą równość | mamy następującą równość | ||
<center><math> | <center><math>\int\frac{W_n(x)}{\sqrt{px^2+qx+r}}\,dx | ||
= | = | ||
Q_{n-1}(x)\sqrt{px^2+qx+r} | Q_{n-1}(x)\sqrt{px^2+qx+r} | ||
Linia 886: | Linia 886: | ||
</math></center> | </math></center> | ||
gdzie <math> | gdzie <math>Q_{n-1}(x)</math> jest wielomianem stopnia <math>n-1.</math> Współczynniki wielomianu | ||
<math> | <math>Q_{n-1}</math> | ||
oraz stałą <math> | 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> | <math>\sqrt{px^2+qx+r}.</math> Dostaniemy wtedy: | ||
<center><math> | <center><math>W(x)=Q_{n-1}'(x)(px^2+qx+r)+Q_{n-1}(x)(px+\frac{q}{2})+\lambda, | ||
</math></center> | </math></center> | ||
skąd, porównując współczynniki przy odpowiednich potęgach zmiennej | skąd, porównując współczynniki przy odpowiednich potęgach zmiennej | ||
<math> | <math>x,</math> znajdujemy współczynniki | ||
wielomianu <math> | wielomianu <math>Q_{n-1}</math> | ||
oraz stałą <math> | oraz stałą <math>\lambda.</math> | ||
Pozostaje jeszcze do obliczenia | Pozostaje jeszcze do obliczenia | ||
<center><math> | <center><math>\int\frac{dx}{\sqrt{px^2+qx+r}}, | ||
</math></center> | </math></center> | ||
Linia 909: | Linia 909: | ||
jednej z całek | jednej z całek | ||
<center><math> | <center><math>\int\frac{dt}{\sqrt{1-t^2}} | ||
\quad\ </math> lub <math>\quad | \quad\ </math> lub <math>\quad | ||
\int\frac{dt}{\sqrt{1+t^2}} | \int\frac{dt}{\sqrt{1+t^2}} | ||
Linia 923: | Linia 923: | ||
Policzyć | Policzyć | ||
<center><math> | <center><math>\int\sqrt{R^2-x^2}\,dx, | ||
</math></center> | </math></center> | ||
gdzie <math> | gdzie <math>R</math> jest stałą dodatnią. | ||
Aby użyć metody współczynników nieoznaczonych, zapiszmy | Aby użyć metody współczynników nieoznaczonych, zapiszmy | ||
<center><math> | <center><math>\int\frac{R^2-x^2}{\sqrt{R^2-x^2}}\,dx. | ||
</math></center> | </math></center> | ||
Wielomian <math> | Wielomian <math>R^2-x^2</math> jest stopnia <math>2</math>, zatem | ||
<center><math> | <center><math>\int\frac{R^2-x^2}{\sqrt{R^2-x^2}}\,dx | ||
= | = | ||
(ax+b)\sqrt{R^2-x^2}+\lambda\int\frac{1}{\sqrt{R^2-x^2}}\,dx. | (ax+b)\sqrt{R^2-x^2}+\lambda\int\frac{1}{\sqrt{R^2-x^2}}\,dx. | ||
Linia 941: | Linia 941: | ||
Stąd | Stąd | ||
<center><math> | <center><math>R^2-x^2 | ||
= | = | ||
a(R^2-x^2)-x(ax+b)+\lambda=-2ax^2-bx+aR^2+\lambda, | a(R^2-x^2)-x(ax+b)+\lambda=-2ax^2-bx+aR^2+\lambda, | ||
Linia 948: | Linia 948: | ||
skąd dostajemy układ równań | skąd dostajemy układ równań | ||
<center><math> | <center><math>-2a=-1,\quad b=0, \quad aR^2+\lambda=R^2, | ||
</math></center> | </math></center> | ||
zatem | zatem | ||
<center><math> | <center><math>a=\frac{1}{2},\quad b=0, \quad \lambda=\frac{1}{2}R^2. | ||
</math></center> | </math></center> | ||
Pozostaje do policzenia | Pozostaje do policzenia | ||
<math> | <math>\int\frac{1}{\sqrt{R^2-x^2}}\,dx.</math> Podstawiając | ||
<math> | <math>\frac{x}{R}=t</math> (zatem | ||
<math> | <math>\frac{dx}{R}=dt</math>), mamy | ||
<center><math>\begin{array}{lll} | <center><math>\begin{array}{lll} | ||
\displaystyle \int\frac{1}{\sqrt{R^2-x^2}}\,dx & =& | \displaystyle \int\frac{1}{\sqrt{R^2-x^2}}\,dx & =&\int\frac{\frac{dx}{R}}{\sqrt{1-\frac{x^2}{R^2}}}\\ | ||
&=&\displaystyle \int\frac{dt}{\sqrt{1-t^2}}=\arcsin t+c=\arcsin \frac{x}{R} +c. | &=&\displaystyle \int\frac{dt}{\sqrt{1-t^2}}=\arcsin t+c=\arcsin \frac{x}{R} +c. | ||
\end{array}</math></center> | \end{array}</math></center> | ||
Linia 968: | Linia 968: | ||
Reasumując, mamy | Reasumując, mamy | ||
<center><math> | <center><math>\int\sqrt{R^2-x^2}\,dx | ||
= | = | ||
\frac{x}{2}\sqrt{R^2-x^2}+\frac{R^2}{2}\arcsin | \frac{x}{2}\sqrt{R^2-x^2}+\frac{R^2}{2}\arcsin | ||
Linia 978: | Linia 978: | ||
Kolejne twierdzenie zawiera warunek konieczny i wystarczający | Kolejne twierdzenie zawiera warunek konieczny i wystarczający | ||
istnienia pierwotnej elementarnej dla funkcji | istnienia pierwotnej elementarnej dla funkcji | ||
postaci <math> | postaci <math>f(x)=x^r(a+bx^s)^p</math> | ||
oraz podaje sposób policzenia całki nieoznaczonej, | oraz podaje sposób policzenia całki nieoznaczonej, | ||
jeśli pierwotna jest funkcją elementarną. | jeśli pierwotna jest funkcją elementarną. | ||
Linia 987: | Linia 987: | ||
Funkcja | Funkcja | ||
<center><math> | <center><math>f(x) | ||
= | = | ||
x^r(a+bx^s)^p, | x^r(a+bx^s)^p, | ||
Linia 997: | Linia 997: | ||
ma pierwotną elementarną wtedy i tylko wtedy, gdy | ma pierwotną elementarną wtedy i tylko wtedy, gdy | ||
zachodzi jeden z przypadków:<br> | zachodzi jeden z przypadków:<br> | ||
'''(1)''' <math> | '''(1)''' <math>p\in\mathbb{Z}</math> | ||
(robimy podstawienie <math> | (robimy podstawienie <math>x=z^N,</math> gdzie <math>N</math> jest wspólnym | ||
mianownikiem ułamków <math> | mianownikiem ułamków <math>r</math> i <math>s</math>);<br> | ||
'''(2)''' | '''(2)''' | ||
<math> | <math> \frac{r+1}{s}\in\mathbb{Z}</math> | ||
(robimy podstawienie <math> | (robimy podstawienie <math>a+bx^s=z^N,</math> gdzie <math>N</math> jest | ||
mianownikiem ułamka <math> | mianownikiem ułamka <math>p</math>);<br> | ||
'''(3)''' | '''(3)''' | ||
<math> | <math> \frac{r+1}{s}+p\in\mathbb{Z}</math> | ||
(robimy podstawienie <math> | (robimy podstawienie <math>ax^{-s}+b=z^N,</math> gdzie <math>N</math> jest | ||
mianownikiem ułamka <math> | mianownikiem ułamka <math>p</math>). | ||
}} | }} | ||
Linia 1015: | Linia 1015: | ||
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> | '''(1)''' <math>f(x)=\sqrt[3]{1+x^2}.</math><br> | ||
'''(2)''' <math> | '''(2)''' <math>f(x)=\sqrt[4]{1+x^2}.</math><br> | ||
'''(3)''' <math> | '''(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> | '''(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> | '''(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> | '''(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> | 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> | <center><math>\int \sqrt[3]{1+\sqrt{x^3}}\,dx | ||
= | = | ||
\int\frac{z}{\sqrt[3]{z^3-1}}\cdot\frac{-2z^2}{(z^3-1)^{\frac{5}{3}}}\,dz | \int\frac{z}{\sqrt[3]{z^3-1}}\cdot\frac{-2z^2}{(z^3-1)^{\frac{5}{3}}}\,dz | ||
Linia 1043: | Linia 1043: | ||
Do policzenia całki postaci | Do policzenia całki postaci | ||
<center><math> | <center><math>\int R\big(x,\sqrt{ax^2+bx+c}\big)\,dx, | ||
</math></center> | </math></center> | ||
gdzie | gdzie | ||
<math> | <math>R=R(x,\xi)</math> jest funkcją wymierną, | ||
<math> | <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> | * Niech <math>a>0.</math> Podstawiamy | ||
<center><math> | <center><math>\sqrt{ax^2+bx+c}=t-\sqrt{a}x. | ||
</math></center> | </math></center> | ||
* Niech <math> | * Niech <math>c>0.</math> Podstawiamy | ||
<center><math> | <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> | * 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> | <center><math>\sqrt{ax^2+bx+c}=t(x-\lambda). | ||
</math></center> | </math></center> | ||
Linia 1070: | Linia 1070: | ||
Całkę | Całkę | ||
<center><math> | <center><math>\int\frac{\,dx}{x+\sqrt{x^2-x+1}} | ||
</math></center> | </math></center> | ||
Linia 1076: | Linia 1076: | ||
podstawienie Eulera. Podstawiamy | podstawienie Eulera. Podstawiamy | ||
<center><math> | <center><math>\sqrt{x^2-x+1}=t-x, | ||
</math></center> | </math></center> | ||
skąd | skąd | ||
<center><math> | <center><math>x | ||
= | = | ||
\frac{t^2-1}{2t-1} | \frac{t^2-1}{2t-1} | ||
Linia 1088: | Linia 1088: | ||
oraz | oraz | ||
<center><math> | <center><math>dx | ||
= | = | ||
\frac{2t^2-2t+2}{(2t-1)^2}\,dt. | \frac{2t^2-2t+2}{(2t-1)^2}\,dt. | ||
Linia 1095: | Linia 1095: | ||
Podstawiając, dostajemy | Podstawiając, dostajemy | ||
<center><math> | <center><math>\int\frac{\,dx}{x+\sqrt{x^2-x+1}}=2\int\frac{t^2-t+1}{t(2t-1)^2}\,dt, | ||
</math></center> | </math></center> | ||
czyli całkę z funkcji wymiernej, którą już umiemy policzyć.<br> | czyli całkę z funkcji wymiernej, którą już umiemy policzyć.<br> | ||
Teraz tę samą całkę | Teraz tę samą całkę | ||
<math> | <math>\int\frac{\,dx}{x+\sqrt{x^2-x+1}}</math> sprowadzimy | ||
do całki z funkcji wymiernej, używając drugiego podstawienia | do całki z funkcji wymiernej, używając drugiego podstawienia | ||
Eulera. Podstawiamy | Eulera. Podstawiamy | ||
<center><math> | <center><math>\sqrt{x^2-x+1}=tx-1, | ||
</math></center> | </math></center> | ||
skąd | skąd | ||
<center><math> | <center><math>x | ||
= | = | ||
\frac{1-2t}{1-t^2} \quad dx=-2\frac{t^2-t+1}{(1-t^2)^2}\,dt. | \frac{1-2t}{1-t^2} \quad dx=-2\frac{t^2-t+1}{(1-t^2)^2}\,dt. | ||
Linia 1116: | Linia 1116: | ||
Podstawiając, dostajemy | Podstawiając, dostajemy | ||
<center><math> | <center><math>\int\frac{\,dx}{x+\sqrt{x^2-x+1}} | ||
= | = | ||
-2\int\frac{t^2-t+1}{t(t-1)(t+1)^2}\,dt, | -2\int\frac{t^2-t+1}{t(t-1)(t+1)^2}\,dt, | ||
Linia 1131: | Linia 1131: | ||
Aby policzyć całkę | Aby policzyć całkę | ||
<center><math> | <center><math>\int R(\sin x,\cos x,\mathrm{tg}\, x)\,dx, | ||
</math></center> | </math></center> | ||
stosujemy podstawienie | stosujemy podstawienie | ||
<center><math> | <center><math>\mathrm{tg}\,\frac{x}{2}=t | ||
</math></center> | </math></center> | ||
Linia 1150: | Linia 1150: | ||
oraz | oraz | ||
<center><math> | <center><math>x | ||
= | = | ||
2\mathrm{arctg}\, t, | 2\mathrm{arctg}\, t, | ||
Linia 1159: | Linia 1159: | ||
Po podstawieniu dostajemy całkę | Po podstawieniu dostajemy całkę | ||
<center><math> | <center><math>\int | ||
R\bigg(\frac{2t}{1+t^2}, | R\bigg(\frac{2t}{1+t^2}, | ||
\frac{1-t^2}{1+t^2}, | \frac{1-t^2}{1+t^2}, | ||
Linia 1171: | Linia 1171: | ||
Obliczyć całkę | Obliczyć całkę | ||
<math> | <math>\int\frac{dx}{2+\cos x}.</math> | ||
W całce tej stosujemy podstawienie | W całce tej stosujemy podstawienie | ||
<math> | <math> \mathrm{tg}\, \frac{x}{2}=t,</math> | ||
wówczas | wówczas | ||
<math> | <math> x=2\mathrm{arctg}\, t</math> | ||
i | i | ||
<math> | <math> dx=\frac{2\,dt}{1+t^2}.</math> | ||
Zatem | Zatem | ||
Linia 1207: | Linia 1207: | ||
Aby policzyć całkę | Aby policzyć całkę | ||
<center><math> | <center><math>\int R(\sin^2x,\cos^2x,\sin x\cos x)\,dx, | ||
</math></center> | </math></center> | ||
stosujemy podstawienie | stosujemy podstawienie | ||
<center><math> | <center><math>\mathrm{tg}\, x=t | ||
</math></center> | </math></center> | ||
Linia 1226: | Linia 1226: | ||
oraz | oraz | ||
<center><math> | <center><math>x | ||
= | = | ||
\mathrm{arctg}\, t,\quad | \mathrm{arctg}\, t,\quad | ||
Linia 1234: | Linia 1234: | ||
Zatem po podstawieniu dostajemy całkę | Zatem po podstawieniu dostajemy całkę | ||
<center><math> | <center><math>\int | ||
R\bigg(\frac{t^2}{1+t^2}, | R\bigg(\frac{t^2}{1+t^2}, | ||
\frac{1}{1+t^2}, | \frac{1}{1+t^2}, | ||
Linia 1246: | Linia 1246: | ||
Obliczyć całkę | Obliczyć całkę | ||
<math> | <math> \int\frac{dx}{1+2\cos^2x}\,dx.</math> | ||
W całce tej stosujemy podstawienie | W całce tej stosujemy podstawienie | ||
<math> | <math> \mathrm{tg}\, x=t,</math> | ||
wówczas | wówczas | ||
<math> | <math> \cos^2x=\frac{1}{1+t^2}</math> | ||
i | i | ||
<math> | <math> dx=\frac{\,dt}{1+t^2}.</math> | ||
Zatem | Zatem | ||
<center><math> | <center><math>\int\frac{dx}{1+2\cos^2x}\,dx | ||
= | = | ||
\int\frac{\displaystyle\frac{1}{1+t^2}}{\displaystyle 1+\frac{2}{1+t^2}}\,dt | \int\frac{\displaystyle\frac{1}{1+t^2}}{\displaystyle 1+\frac{2}{1+t^2}}\,dt | ||
Linia 1266: | Linia 1266: | ||
Zatem | Zatem | ||
<center><math> | <center><math>\int\frac{dx}{1+2\cos^2x}\,dx | ||
= | = | ||
\mathrm{arctg}\,\bigg(\frac{\mathrm{tg}\, x}{\sqrt{3}}\bigg)+c. | \mathrm{arctg}\,\bigg(\frac{\mathrm{tg}\, x}{\sqrt{3}}\bigg)+c. | ||
</math></center>}} | </math></center>}} |
Wersja z 08:44, 28 sie 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