Analiza matematyczna 1/Wykład 13: Całka nieoznaczona: Różnice pomiędzy wersjami

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
m Zastępowanie tekstu – „ \displaystyle ” na „”
 
(Nie pokazano 12 wersji utworzonych przez jednego użytkownika)
Linia 25: Linia 25:


Niech <math>D\subseteq \mathbb{R}</math> będzie przedziałem oraz
Niech <math>D\subseteq \mathbb{R}</math> będzie przedziałem oraz
niech <math> f\colon D\longrightarrow\mathbb{R}</math> będzie funkcją.<br>
niech <math>f\colon D\longrightarrow\mathbb{R}</math> będzie funkcją.<br>
Funkcję <math>F\colon D\longrightarrow\mathbb{R}</math> nazywamy
Funkcję <math>F\colon D\longrightarrow\mathbb{R}</math> nazywamy
'''''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>
<math>F'=f</math>.
}}
}}


Linia 35: Linia 35:


Dwie dowolne pierwotne funkcji
Dwie dowolne pierwotne funkcji
<math> f\colon \mathbb{R}\supseteq D\longrightarrow\mathbb{R}</math> różnią się o stałą,
<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>
to <math>F-G=c</math> dla pewnego <math>c\in\mathbb{R}.</math><br>
to <math>F-G=c</math> dla pewnego <math>c\in\mathbb{R}</math><br>
'''(2)''' Jeśli <math>F</math> jest pierwotną funkcji <math>f</math> oraz
'''(2)''' Jeśli <math>F</math> jest pierwotną funkcji <math>f</math> oraz
<math>F-G=c</math> dla pewnego <math>c\in\mathbb{R},</math>
<math>F-G=c</math> dla pewnego <math>c\in\mathbb{R}</math>
to <math>G</math> też jest pierwotną funkcji <math>f</math>
to <math>G</math> też jest pierwotną 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> (F-G)'=F'-G'=f-f=0.</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 64: Linia 64:
(F+c)'=F'
(F+c)'=F'
=
=
f,
f
</math></center>
</math></center>


zatem <math>G</math> jest także pierwotną funkcji <math>f.</math>
zatem <math>G</math> jest także pierwotną funkcji <math>f</math>
}}
}}


Linia 76: Linia 76:


<center><math>\int f(x)\,dx
<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>f</math> nazywa się <math>t,</math>
Oczywiście, jeśli zmienna funkcji <math>f</math> nazywa się <math>t</math>
to piszemy <math>\int f(t)\,dt</math> lub
to piszemy <math> \int f(t)\,dt</math> lub
<math>\int f\,dt</math>,
<math>\int f\,dt</math>,
a jeśli zmienna funkcji <math>f</math> nazywa się
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
<math>\int f\,d\xi</math>.
<math>\int f\,d\xi</math>.
Linia 103: Linia 103:


Jeśli <math>F</math> jest jedną z pierwotnych funkcji <math>f</math>
Jeśli <math>F</math> jest jedną z pierwotnych funkcji <math>f</math>
oraz <math>(x_0,y_0)\in\mathbb{R}^2,</math>
oraz <math>(x_0,y_0)\in\mathbb{R}^2</math>
to pierwotna <math>G</math> funkcji <math>f</math> spełniająca <math>G(x_0)=y_0</math>
to pierwotna <math>G</math> funkcji <math>f</math> spełniająca <math>G(x_0)=y_0</math>
(to znaczy której wykres przechodzi przez punkt <math>(x_0,y_0)</math>)
(to znaczy której wykres przechodzi przez punkt <math>(x_0,y_0)</math>)
Linia 110: Linia 110:
<center><math>G(x)
<center><math>G(x)
=
=
F(x)+c,
F(x)+c
</math></center>
</math></center>


gdzie <math>C=y_0-F(x_0).</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> f\colon\mathbb{R}\longrightarrow\mathbb{R}</math>
<math>f\colon\mathbb{R}\longrightarrow\mathbb{R}</math>


<center>
<center>
<math>
<math>
f(x)=
f(x)=
\left\{
\begin{cases}
\begin{array} {lll}
0 & \text{gdy} & x\ne 0\, \\
0 & \text{gdy} & x\ne 0,\\
1 & \text{gdy} & x= 0 \end{cases}
1 & \text{gdy} & x= 0.
</math>
\end{array}  
\right.
<br></math>
</center>
</center>


Linia 140: Linia 137:
Dla dowodu niewprost,
Dla dowodu niewprost,
przypuśćmy, że funkcja ta posiada pierwotną
przypuśćmy, że funkcja ta posiada pierwotną
<math>F\colon\mathbb{R}\longrightarrow\mathbb{R}.</math>
<math>F\colon\mathbb{R}\longrightarrow\mathbb{R}</math>
Wówczas <math>F'=f.</math>
Wówczas <math>F'=f</math>
Na przedziale <math> (-\infty,0),</math> funkcja <math>f</math> jest
Na przedziale <math>(-\infty,0)</math> funkcja <math>f</math> jest
tożsamościowo równa <math>0,</math> zatem
tożsamościowo równa <math>0</math> zatem
jej pierwotna jest stała,
jej pierwotna jest stała,
powiedzmy <math>F|_{(-\infty,0)}\equiv a.</math>
powiedzmy <math>F|_{(-\infty,0)}\equiv a</math>
Podobnie na przedziale <math> (0,+\infty),</math>
Podobnie na przedziale <math>(0,+\infty)</math>
powiedzmy <math>F|_{(0,+\infty)}\equiv b.</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
Linia 162: Linia 159:
</center>
</center>


oraz <math>a=F(0)=b.</math>
oraz <math>a=F(0)=b</math>
Zatem pokazaliśmy, że <math>F\equiv a.</math>
Zatem pokazaliśmy, że <math>F\equiv a</math>
Ale wówczas <math>F'=0\ne f,</math> sprzeczność.
Ale wówczas <math>F'=0\ne f</math> sprzeczność.
Zatem tak zdefiniowana funkcja <math>f</math> nie ma pierwotnej.
Zatem tak zdefiniowana funkcja <math>f</math> nie ma pierwotnej.
}}
}}
Linia 185: Linia 182:
<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> \int 0\,dx=c</math>;<br>
<math>\int 0\,dx=c</math>;<br>
'''(2)'''
'''(2)'''
<math> \int 1\,dx =x+c</math>;<br>
<math>\int 1\,dx =x+c</math>;<br>
'''(3)'''
'''(3)'''
<math> \int x^{\alpha}\,dx=\frac{1}{\alpha+1}
<math>\int x^{\alpha}\,dx=\frac{1}{\alpha+1}
x^{\alpha+1}+c</math> dla <math>\alpha\ne -1</math>;<br>
x^{\alpha+1}+c</math> dla <math>\alpha\ne -1</math>;<br>
'''(4)'''
'''(4)'''
<math> \int\frac{1}{x}\,dx =
<math>\int\frac{1}{x}\,dx =
\ln |x|+c</math>;<br>
\ln |x|+c</math>;<br>
'''(5)'''
'''(5)'''
<math> \int a^x\,dx=\frac{a^x}{\ln a}+c,</math>
<math>\int a^x\,dx=\frac{a^x}{\ln a}+c</math>,
dla <math>a>0,a\ne 1,</math>
dla <math>a>0,a\ne 1</math>,
(w szczególności
(w szczególności
<math> \int e^x\,dx=e^x+c);</math><br>
<math>\int e^x\,dx=e^x+c);</math><br>
'''(6)'''
'''(6)'''
<math> \int\sin x\,dx=-\cos x+c</math>;<br>
<math>\int\sin x\,dx=-\cos x+c</math>;<br>
'''(7)'''
'''(7)'''
<math> \int\cos x\,dx=\sin x+c</math>;<br>
<math>\int\cos x\,dx=\sin x+c</math>;<br>
'''(8)'''
'''(8)'''
<math> \int\frac{1}{\cos^2 x}\,dx=\mathrm{tg}\, x+c</math>;<br>
<math>\int\frac{1}{\cos^2 x}\,dx=\mathrm{tg}\, x+c</math>;<br>
'''(9)'''
'''(9)'''
<math> \int\frac{1}{\sin^2 x}\,dx=-\mathrm{ctg}\, x+c</math>;<br>
<math>\int\frac{1}{\sin^2 x}\,dx=-\mathrm{ctg}\, x+c</math>;<br>
'''(10)'''
'''(10)'''
<math> \int\frac{1}{\sqrt{1-x^2}}\,dx
<math>\int\frac{1}{\sqrt{1-x^2}}\,dx
=\arcsin x+c</math>;<br>
=\arcsin x+c</math>;<br>
'''(11)'''
'''(11)'''
<math> \int\frac{1}{1+x^2}\,dx
<math>\int\frac{1}{1+x^2}\,dx
=\mathrm{arctg}\, x+c</math>;<br>
=\mathrm{arctg}\, x+c</math>;<br>
'''(12)'''
'''(12)'''
<math> \int\frac{1}{\sqrt{x^2+1}}\,dx
<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> \int\frac{1}{\sqrt{x^2-1}}\,dx
<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 228: Linia 225:
Jeśli <math>f,g\colon\mathbb{R}\supseteq D\longrightarrow\mathbb{R}</math> są funkcjami, dla których
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>\lambda\in\mathbb{R},</math>
<math>\lambda\in\mathbb{R}</math>,
to<br>
to<br>
'''(1)'''
'''(1)'''
<math> \int(f\pm g)(x)\,dx=
<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> \int(\lambda f)(x)\,dx
<math>\int(\lambda f)(x)\,dx
=\lambda\int f(x)\,dx.</math>
=\lambda\int f(x)\,dx</math>.
}}
}}


Linia 280: Linia 277:
\int \sin x^2\,dx,\quad
\int \sin x^2\,dx,\quad
\int \cos x^2\,dx,\quad
\int \cos x^2\,dx,\quad
\int\frac{e^x}{x}\,dx,
\int\frac{e^x}{x}\,dx
</math></center>
</math></center>


Linia 292: Linia 289:
<center><math>\int\frac{1}{\sqrt{(1-x^2)(1-kx^2)}},\quad
<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)
</math></center>
</math></center>


Linia 308: Linia 305:
<math>f,g\colon I\longrightarrow\mathbb{R}</math> są funkcjami różniczkowalnymi
<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>f\cdot g',</math>
<math>f\cdot g'</math>,
to
to
istnieje także całka nieoznaczona dla funkcji <math>f'\cdot g</math> oraz
istnieje także całka nieoznaczona dla funkcji <math>f'\cdot g</math> oraz
Linia 314: Linia 311:
<center><math>\int f'g\,dx
<center><math>\int f'g\,dx
=
=
fg-\int fg'\,dx.
fg-\int fg'\,dx
</math></center>
</math></center>


Linia 326: Linia 323:
<center><math>(f\cdot g)'
<center><math>(f\cdot g)'
=
=
f'\cdot g+f\cdot g',
f'\cdot g+f\cdot g'</math>,</center>
</math></center>


zatem
zatem
Linia 335: Linia 331:
(f\cdot g)'
(f\cdot g)'
-
-
f\cdot g'.
f\cdot g'
</math></center>
</math></center>


Linia 344: Linia 340:


<center><math>\begin{array}{lll}
<center><math>\begin{array}{lll}
\displaystyle \int f'\cdot g\,dx &=&\displaystyle  \int\big[(f\cdot g)'\,dx  - f\cdot g'\big]\\
\int f'\cdot g\,dx &=& \int\big[(f\cdot g)'\,dx  - f\cdot g'\big]\\
&=&\displaystyle  \int(f\cdot g)'\,dx - \int f\cdot g'\,dx = f\cdot g-\int f\cdot g'\,dx.
&=& \int(f\cdot g)'\,dx - \int f\cdot g'\,dx = f\cdot g-\int f\cdot g'\,dx.
\end{array}
\end{array}
</math></center>
</math></center>
Linia 366: Linia 362:
Jeśli
Jeśli
<math>I, J\subseteq\mathbb{R}</math> są przedziałami,
<math>I, J\subseteq\mathbb{R}</math> są przedziałami,
<math> f\colon I\longrightarrow J</math> jest funkcją różniczkowalną oraz
<math>f\colon I\longrightarrow J</math> jest funkcją różniczkowalną oraz
<math> g\colon J\longrightarrow\mathbb{R}</math> jest funkcją, dla której istnieje pierwotna
<math>g\colon J\longrightarrow\mathbb{R}</math> jest funkcją, dla której istnieje pierwotna
<math>G\colon J\longrightarrow\mathbb{R},</math>
<math>G\colon J\longrightarrow\mathbb{R}</math>,
to
to
istnieje całka nieoznaczona dla funkcji <math> (g\circ f)\cdot f'</math> oraz
istnieje całka nieoznaczona dla funkcji <math>(g\circ f)\cdot f'</math> oraz


<center><math>\int (g\circ f)\cdot f'\,dx
<center><math>\int (g\circ f)\cdot f'\,dx
=
=
G\circ f.
G\circ f
</math></center>
</math></center>


Linia 388: Linia 384:
(G'\circ f)\cdot f'
(G'\circ f)\cdot f'
=
=
(g\circ f)\cdot f'.
(g\circ f)\cdot f'
</math></center>
</math></center>


Linia 402: Linia 398:
<center><math>\int g\big(f(x)\big)f'(x)\,dx
<center><math>\int g\big(f(x)\big)f'(x)\,dx
=
=
\int g(t)\,dt,
\int g(t)\,dt
</math></center>
</math></center>


Linia 413: Linia 409:
{{przyklad|13.14.||
{{przyklad|13.14.||


Obliczyć całkę nieoznaczoną z funkcji <math>f(x)=\sin x\cos x.</math>
Obliczyć całkę nieoznaczoną z funkcji <math>f(x)=\sin x\cos x</math>.
}}
}}


Linia 419: Linia 415:
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.</math> W praktyce korzystając z tego wzoru,
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 469: Linia 465:
-\int \sin x\cos x\,dx
-\int \sin x\cos x\,dx
=
=
\sin ^2x-\int\sin x\cos x\,dx.
\sin ^2x-\int\sin x\cos x\,dx
</math></center>
</math></center>


Linia 480: Linia 476:
<center><math>\int \sin x\cos x\,dx
<center><math>\int \sin x\cos x\,dx
=
=
\frac{1}{2}\sin^2 x+c.
\frac{1}{2}\sin^2 x+c
</math></center>
</math></center>


Linia 489: Linia 485:
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>
<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 499: Linia 495:
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.</math>
formalne podstawienie wyrażeń zawierających symbole <math>dx</math> i <math>dt</math>.
Piszemy zatem
Piszemy zatem


Linia 516: Linia 512:
\frac{1}{2}t^2+c
\frac{1}{2}t^2+c
=
=
\frac{1}{2}\sin^2x+c.
\frac{1}{2}\sin^2x+c</math></center>
</math></center>


<br>
<br>
Linia 540: Linia 535:
-\frac{1}{2}t^2+c
-\frac{1}{2}t^2+c
=
=
-\frac{1}{2}\cos^2x+c.
-\frac{1}{2}\cos^2x+c
</math></center>
</math></center>


Linia 548: Linia 543:
'''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.</math> Mamy wówczas
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 555: Linia 550:
\frac{1}{2}\int \sin 2x\,dx
\frac{1}{2}\int \sin 2x\,dx
=
=
\frac{1}{4}\cos 2x+c,
\frac{1}{4}\cos 2x+c
<br></math>
<br></math>
</center>
</center>


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.</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>\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 570: Linia 565:
-\frac{1}{2}\cos^2x,
-\frac{1}{2}\cos^2x,
\quad
\quad
-\frac{1}{4}\cos 2x.
-\frac{1}{4}\cos 2x
</math>
</math>
<br></center>
<br></center>
Linia 599: Linia 594:
\frac{1}{2}\sin^2x
\frac{1}{2}\sin^2x
=
=
-\frac{1}{4},
-\frac{1}{4}
</math></center>
</math></center>


Linia 614: Linia 609:
{{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>2,</math> to znaczy
<math>2</math>, to znaczy


<center><math>\begin{array}{lll}Q(x)&=&
<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&(x-A_r)^{k_r}
(x^2+B_1x+C_1)^{l_1}(x^2+B_2x+C_2)^{l_2}\ldots
(x^2+B_1x+C_1)^{l_1}(x^2+B_2x+C_2)^{l_2}\ldots
(x^2+B_sx+C_s)^{l_s},
(x^2+B_sx+C_s)^{l_s}
\end{array}</math></center>
\end{array}</math></center>


Linia 629: Linia 624:
oraz
oraz
<center><math>B_i^2-4C_i<0</math> dla <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 639: Linia 634:


<center><math>\frac{a}{(x-A)^k}
<center><math>\frac{a}{(x-A)^k}
</math>  oraz  <math>\displaystyle \frac{bx+c}{(x^2+Bx+C)^s},
</math>  oraz  <math>\frac{bx+c}{(x^2+Bx+C)^s}
</math></center>
</math></center>


gdzie <math>a,b,c,A,B,C\in\mathbb{R},k,s\in\mathbb{N},B^2-4C<0.</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 648:


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>
<math>\int\frac{3x+5}{2x^2-5x-3}\,dx</math>.
}}
}}


Linia 659: Linia 654:
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>
<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 666: Linia 661:
=
=
\frac{A}{x+\frac{1}{2}}
\frac{A}{x+\frac{1}{2}}
+\frac{B}{x-3}.
+\frac{B}{x-3}
</math></center>
</math></center>


Linia 674: Linia 669:
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> (2x^2-5x-3),</math> otrzymujemy
Wymnażając stronami przez wspólny mianownik <math>(2x^2-5x-3)</math>, otrzymujemy


<center><math>3x+5
<center><math>3x+5
=
=
2A(x-3)
2A(x-3)
+2B\bigg(x+\frac{1}{2}\bigg).
+2B\bigg(x+\frac{1}{2}\bigg)
</math></center>
</math></center>


Linia 685: Linia 680:
współczynniki przy <math>x</math> oraz wyrazy wolne po obu stronach,
współczynniki przy <math>x</math> oraz wyrazy wolne po obu stronach,
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> Zatem otrzymaliśmy rozkład
<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}
=
=
\frac{-\frac{1}{2}}{x+\frac{1}{2}}
\frac{-\frac{1}{2}}{x+\frac{1}{2}}
+\frac{2}{x-3}.
+\frac{2}{x-3}
</math></center>
</math></center>


Linia 724: Linia 719:


{{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.</math> Wówczas istnieje jedyny rozkład
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 732: Linia 727:
\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}
(x^2+B_1x+C_1)^{l_1}(x^2+B_2x+C_2)^{l_2}\ldots
(x^2+B_1x+C_1)^{l_1}(x^2+B_2x+C_2)^{l_2}\ldots
(x^2+B_sx+C_s)^{l_s}},
(x^2+B_sx+C_s)^{l_s}}
</math></center>
</math></center>


gdzie
gdzie


<center><math>B_i^2-4C_i<0 </math> dla <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 745: Linia 740:
<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}}\\
& = &\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
& + & \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\\
& + &\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}}\\
& + & \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
& +& \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
  + \frac{b_{l_1}^1x+c_{l_1}^1}{(x^2+B_1x+C_1)^{l_1}}\\
  + \frac{b_{l_1}^1x+c_{l_1}^1}{(x^2+B_1x+C_1)^{l_1}}\\
& + &\displaystyle  \frac{b_1^2x+c_1^2}{(x^2+B_2x+C_2)}+ \frac{b_2^2x+c_2^2}{(x^2+B_2x+C_2)^2}+\ldots
& + & \frac{b_1^2x+c_1^2}{(x^2+B_2x+C_2)}+ \frac{b_2^2x+c_2^2}{(x^2+B_2x+C_2)^2}+\ldots
  + \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\\
& + &\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_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
& = &
\sum_{i=1}^r\sum_{j_i=1}^{k_i}\frac{a^i_{j_i}}{(x-A_i)^{j_i}}
\sum_{i=1}^r\sum_{j_i=1}^{k_i}\frac{a^i_{j_i}}{(x-A_i)^{j_i}}
+\sum_{i=1}^s\sum_{j_i=1}^{l_i}\frac{b^i_{j_i}x+c^i_{j_i}}{(x^2+B_ix+C_i)^{j_i}}.
+\sum_{i=1}^s\sum_{j_i=1}^{l_i}\frac{b^i_{j_i}x+c^i_{j_i}}{(x^2+B_ix+C_i)^{j_i}}
\end{array}</math></center>
\end{array}</math></center>


Linia 767: Linia 762:


Rozłożyć funkcję wymierną
Rozłożyć funkcję wymierną
<math> f(x)= \frac{x^5+4x^3-x^2+13x-3}{x^4+2x^2+9}</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 779: Linia 774:
<center><math>\frac{x^5+4x^3-x^2+13x-3}{x^4+2x^2+9}
<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}
</math></center>
</math></center>


Linia 797: Linia 792:
<center><math>\frac{2x^3-x^2+4x-3}{(x^2+2x+3)(x^2-2x+3)}
<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}
</math></center>
</math></center>


Linia 804: Linia 799:
<center><math>2x^3-x^2+4x-3
<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)
</math></center>
</math></center>


Linia 819: Linia 814:
&  &  3b &  &    & + &  3d & = & -3,
&  &  3b &  &    & + &  3d & = & -3,
\end{array}  
\end{array}  
\right.
\right.</math></center>
</math></center>


którego rozwiązaniem jest
którego rozwiązaniem jest
Linia 831: Linia 825:
d & = & -1.
d & = & -1.
\end{array}  
\end{array}  
\right.
\right.</math></center>
</math></center>


Zatem ostatecznie mamy
Zatem ostatecznie mamy
Linia 839: Linia 832:
=
=
x+
x+
\frac{x}{x^2+2x+3}+\frac{x-1}{x^2-2x+3}.
\frac{x}{x^2+2x+3}+\frac{x-1}{x^2-2x+3}
</math></center>
</math></center>


Linia 851: Linia 844:
Znamy już całki z ułamków:
Znamy już całki z ułamków:


<center><math>\begin{array}{lll} \displaystyle
<center><math>\begin{array}{lll}  
\int\frac{A}{x-a}\,dx
\int\frac{A}{x-a}\,dx
& = &\displaystyle
& = &
A\ln (x-a)+c,\\
A\ln (x-a)+c,\\
\int\frac{A}{(x-a)^k}\,dx
\int\frac{A}{(x-a)^k}\,dx
& = &\displaystyle
& = &
-\frac{A}{k-1}\cdot\frac{1}{(x-a)^{k-1}}+c,
-\frac{A}{k-1}\cdot\frac{1}{(x-a)^{k-1}}+c,
\quad\text{dla}\ k\ge 2.
\quad\text{dla}\ k\ge 2.
Linia 862: Linia 855:


Całki z ułamków prostych postaci
Całki z ułamków prostych postaci
<math> \frac{bx+c}{(x^2+Bx+C)^k}</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 864:
Zacznijmy od rozważenia następującej całki:
Zacznijmy od rozważenia następującej całki:


<center><math>\int\frac{W_n(x)}{\sqrt{px^2+qx+r}}\,dx,
<center><math>\int\frac{W_n(x)}{\sqrt{px^2+qx+r}}\,dx
</math></center>
</math></center>


Linia 883: Linia 876:
=
=
Q_{n-1}(x)\sqrt{px^2+qx+r}
Q_{n-1}(x)\sqrt{px^2+qx+r}
+A\int\frac{dx}{\sqrt{px^2+qx+r}},
+A\int\frac{dx}{\sqrt{px^2+qx+r}}
</math></center>
</math></center>


gdzie <math>Q_{n-1}(x)</math> jest wielomianem stopnia <math>n-1.</math> Współczynniki wielomianu
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> Dostaniemy wtedy:
<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
</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>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.</math>
oraz stałą <math>\lambda</math>.


Pozostaje jeszcze do obliczenia
Pozostaje jeszcze do obliczenia


<center><math>\int\frac{dx}{\sqrt{px^2+qx+r}},
<center><math>\int\frac{dx}{\sqrt{px^2+qx+r}}
</math></center>
</math></center>


Linia 923: Linia 916:
Policzyć
Policzyć


<center><math>\int\sqrt{R^2-x^2}\,dx,
<center><math>\int\sqrt{R^2-x^2}\,dx
</math></center>
</math></center>


Linia 929: Linia 922:
Aby użyć metody współczynników nieoznaczonych, zapiszmy
Aby użyć metody współczynników nieoznaczonych, zapiszmy


<center><math>\int\frac{R^2-x^2}{\sqrt{R^2-x^2}}\,dx.
<center><math>\int\frac{R^2-x^2}{\sqrt{R^2-x^2}}\,dx
</math></center>
</math></center>


Linia 936: Linia 929:
<center><math>\int\frac{R^2-x^2}{\sqrt{R^2-x^2}}\,dx
<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
</math></center>
</math></center>


Linia 943: Linia 936:
<center><math>R^2-x^2
<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
</math></center>
</math></center>


skąd dostajemy układ równań
skąd dostajemy układ równań


<center><math>-2a=-1,\quad b=0, \quad aR^2+\lambda=R^2,
<center><math>-2a=-1,\quad b=0, \quad aR^2+\lambda=R^2
</math></center>
</math></center>


zatem
zatem


<center><math>a=\frac{1}{2},\quad b=0, \quad \lambda=\frac{1}{2}R^2.
<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>\int\frac{1}{\sqrt{R^2-x^2}}\,dx.</math> Podstawiając
<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


<center><math>\begin{array}{lll}
<center><math>\begin{array}{lll}
\displaystyle \int\frac{1}{\sqrt{R^2-x^2}}\,dx & =&\int\frac{\frac{dx}{R}}{\sqrt{1-\frac{x^2}{R^2}}}\\
\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.
&=& \int\frac{dt}{\sqrt{1-t^2}}=\arcsin t+c=\arcsin \frac{x}{R} +c.
\end{array}</math></center>
\end{array}</math></center>


Linia 971: Linia 964:
=
=
\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
\frac{x}{R} +c.
\frac{x}{R} +c
</math></center>
</math></center>


Linia 992: Linia 985:
\quad
\quad
</math> gdzie <math>
</math> gdzie <math>
a,b\in\mathbb{R},\ p,r,s\in\mathbb{Q},
a,b\in\mathbb{R},\ p,r,s\in\mathbb{Q}
</math></center>
</math></center>


Linia 998: Linia 991:
zachodzi jeden z przypadków:<br>
zachodzi jeden z przypadków:<br>
'''(1)''' <math>p\in\mathbb{Z}</math>
'''(1)''' <math>p\in\mathbb{Z}</math>
(robimy podstawienie <math>x=z^N,</math> gdzie <math>N</math> jest wspólnym
(robimy podstawienie <math>x=z^N</math>, gdzie <math>N</math> jest wspólnym
mianownikiem ułamków <math>r</math> i <math>s</math>);<br>
mianownikiem ułamków <math>r</math> i <math>s</math>);<br>
'''(2)'''
'''(2)'''
<math> \frac{r+1}{s}\in\mathbb{Z}</math>
<math>\frac{r+1}{s}\in\mathbb{Z}</math>
(robimy podstawienie <math>a+bx^s=z^N,</math> gdzie <math>N</math> jest
(robimy podstawienie <math>a+bx^s=z^N</math>, gdzie <math>N</math> jest
mianownikiem ułamka <math>p</math>);<br>
mianownikiem ułamka <math>p</math>);<br>
'''(3)'''
'''(3)'''
<math> \frac{r+1}{s}+p\in\mathbb{Z}</math>
<math>\frac{r+1}{s}+p\in\mathbb{Z}</math>
(robimy podstawienie <math>ax^{-s}+b=z^N,</math> gdzie <math>N</math> jest
(robimy podstawienie <math>ax^{-s}+b=z^N</math>, gdzie <math>N</math> jest
mianownikiem ułamka <math>p</math>).
mianownikiem ułamka <math>p</math>).
}}
}}
Linia 1015: Linia 1008:
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}.</math><br>
'''(1)''' <math>f(x)=\sqrt[3]{1+x^2}</math>.<br>
'''(2)''' <math>f(x)=\sqrt[4]{1+x^2}.</math><br>
'''(2)''' <math>f(x)=\sqrt[4]{1+x^2}</math>.<br>
'''(3)''' <math>f(x)=\sqrt[3]{1+\sqrt{x^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>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>
'''(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}.</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}</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}.</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> 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
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 1035: Linia 1028:
\int\frac{-2z^3}{(z^3-1)^2}\,dz
\int\frac{-2z^3}{(z^3-1)^2}\,dz
=
=
\int\frac{-2z^3}{(z-1)^2(z^2+z+1)^2}\,dz.
\int\frac{-2z^3}{(z-1)^2(z^2+z+1)^2}\,dz
</math></center>
</math></center>


Linia 1043: Linia 1036:
Do policzenia całki postaci
Do policzenia całki postaci


<center><math>\int R\big(x,\sqrt{ax^2+bx+c}\big)\,dx,
<center><math>\int R\big(x,\sqrt{ax^2+bx+c}\big)\,dx
</math></center>
</math></center>


Linia 1050: Linia 1043:
<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.</math> Podstawiamy
* 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.</math> Podstawiamy
* 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).</math> Podstawiamy<br><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)</math>. Podstawiamy<br><br>


<center><math>\sqrt{ax^2+bx+c}=t(x-\lambda).
<center><math>\sqrt{ax^2+bx+c}=t(x-\lambda)
</math></center>
</math></center>


Linia 1076: Linia 1068:
podstawienie Eulera. Podstawiamy
podstawienie Eulera. Podstawiamy


<center><math>\sqrt{x^2-x+1}=t-x,
<center><math>\sqrt{x^2-x+1}=t-x
</math></center>
</math></center>


Linia 1090: Linia 1082:
<center><math>dx
<center><math>dx
=
=
\frac{2t^2-2t+2}{(2t-1)^2}\,dt.
\frac{2t^2-2t+2}{(2t-1)^2}\,dt
</math></center>
</math></center>


Podstawiając, dostajemy
Podstawiając, dostajemy


<center><math>\int\frac{\,dx}{x+\sqrt{x^2-x+1}}=2\int\frac{t^2-t+1}{t(2t-1)^2}\,dt,
<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>


Linia 1104: Linia 1096:
Eulera. Podstawiamy
Eulera. Podstawiamy


<center><math>\sqrt{x^2-x+1}=tx-1,
<center><math>\sqrt{x^2-x+1}=tx-1
</math></center>
</math></center>


Linia 1111: Linia 1103:
<center><math>x
<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
</math></center>
</math></center>


Linia 1118: Linia 1110:
<center><math>\int\frac{\,dx}{x+\sqrt{x^2-x+1}}
<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</math>,</center>
</math></center>


czyli też całkę z funkcji wymiernej - co prawda nieco bardziej
czyli też całkę z funkcji wymiernej - co prawda nieco bardziej
Linia 1131: Linia 1122:
Aby policzyć całkę
Aby policzyć całkę


<center><math>\int R(\sin x,\cos x,\mathrm{tg}\, x)\,dx,
<center><math>\int R(\sin x,\cos x,\mathrm{tg}\, x)\,dx
</math></center>
</math></center>


Linia 1142: Linia 1133:


<center><math>\begin{array}{rllll}
<center><math>\begin{array}{rllll}
\displaystyle \sin x&=&\displaystyle\frac{2\mathrm{tg}\,\frac{x}{2}}{1+\mathrm{tg}\,^2\frac{x}{2}}
\sin x&=&\frac{2\mathrm{tg}\,\frac{x}{2}}{1+\mathrm{tg}\,^2\frac{x}{2}}
&=&\displaystyle\frac{2t}{1+t^2},\\\\
&=&\frac{2t}{1+t^2},\\\\
\cos x &=& \displaystyle\frac{1-\mathrm{tg}\,^2\frac{x}{2}}{1+\mathrm{tg}\,^2\frac{x}{2}} &=&\displaystyle\frac{1-t^2}{1+t^2},\\\\
\cos x &=& \frac{1-\mathrm{tg}\,^2\frac{x}{2}}{1+\mathrm{tg}\,^2\frac{x}{2}} &=&\frac{1-t^2}{1+t^2},\\\\
\mathrm{tg}\, x &=& \displaystyle\frac{2\mathrm{tg}\,\frac{x}{2}}{1-\mathrm{tg}\,^2\frac{x}{2}}&=&\displaystyle\frac{2t}{1-t^2}
\mathrm{tg}\, x &=& \frac{2\mathrm{tg}\,\frac{x}{2}}{1-\mathrm{tg}\,^2\frac{x}{2}}&=&\frac{2t}{1-t^2}
\end{array}</math></center>
\end{array}</math></center>


Linia 1154: Linia 1145:
2\mathrm{arctg}\, t,
2\mathrm{arctg}\, t,
\quad</math> zatem <math>\quad
\quad</math> zatem <math>\quad
,dx=\frac{2\,dt}{1+t^2}.
,dx=\frac{2\,dt}{1+t^2}
</math></center>
</math></center>


Linia 1163: Linia 1154:
\frac{1-t^2}{1+t^2},
\frac{1-t^2}{1+t^2},
\frac{2t}{1-t^2}
\frac{2t}{1-t^2}
\bigg)\frac{2dt}{1+t^2}.
\bigg)\frac{2dt}{1+t^2}
</math></center>
</math></center>


Linia 1171: Linia 1162:


Obliczyć całkę
Obliczyć całkę
<math>\int\frac{dx}{2+\cos x}.</math>
<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>,
wówczas
wówczas
<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>
<math>dx=\frac{2\,dt}{1+t^2}</math>.
Zatem
Zatem


<center><math>\begin{array}{lll} \displaystyle
<center><math>\begin{array}{lll}  
\int\frac{dx}{2+\cos x}
\int\frac{dx}{2+\cos x}
& = &
& = &
\int\frac{\displaystyle\frac{2\,dt}{1+t^2}}{\displaystyle 2+\frac{1-t^2}{1+t^2}}
\int\frac{\frac{2\,dt}{1+t^2}}{2+\frac{1-t^2}{1+t^2}}
=
=
2\int \frac{dt}{t^2+3}
2\int \frac{dt}{t^2+3}
=
=
\frac{2}{3}\int\frac{dt}{\displaystyle\bigg(\frac{t}{\sqrt{3}}\bigg)^2+1}
\frac{2}{3}\int\frac{dt}{\bigg(\frac{t}{\sqrt{3}}\bigg)^2+1}
=
=
\bigg|
\bigg|
\begin{array} {rcl}
\begin{array} {rcl}
\displaystyle\frac{t}{\sqrt{3}} & = & s\\
\frac{t}{\sqrt{3}} & = & s\\
dt& = & \displaystyle\sqrt{3}\,ds
dt& = & \sqrt{3}\,ds
\end{array}  
\end{array}  
\bigg|\\
\bigg|\\
& = &\displaystyle
& = &
\frac{2}{\sqrt{3}}\int\frac{\displaystyle\sqrt{3}\,ds}{s^2+1}
\frac{2}{\sqrt{3}}\int\frac{\sqrt{3}\,ds}{s^2+1}
=
=
2\mathrm{arctg}\, s+c
2\mathrm{arctg}\, s+c
=
=
2\mathrm{arctg}\,\bigg(\displaystyle\frac{\mathrm{tg}\,\frac{x}{2}}{\sqrt{3}}\bigg)+c.
2\mathrm{arctg}\,\bigg(\frac{\mathrm{tg}\,\frac{x}{2}}{\sqrt{3}}\bigg)+c
\end{array}</math></center>}}
\end{array}</math></center>}}


Linia 1207: Linia 1198:
Aby policzyć całkę
Aby policzyć całkę


<center><math>\int R(\sin^2x,\cos^2x,\sin x\cos x)\,dx,
<center><math>\int R(\sin^2x,\cos^2x,\sin x\cos x)\,dx
</math></center>
</math></center>


Linia 1218: Linia 1209:


<center><math>\begin{array}{rllll}
<center><math>\begin{array}{rllll}
\displaystyle \sin^2x&=&\displaystyle\frac{\mathrm{tg}\,^2x}{1+\mathrm{tg}\,^2x}&=&\displaystyle\frac{t^2}{1+t^2},\\\\
\sin^2x&=&\frac{\mathrm{tg}\,^2x}{1+\mathrm{tg}\,^2x}&=&\frac{t^2}{1+t^2},\\\\
\cos^2x&=&\displaystyle\frac{1}{1+\mathrm{tg}\,^2x}&=&\displaystyle\frac{1}{1+t^2},\\\\
\cos^2x&=&\frac{1}{1+\mathrm{tg}\,^2x}&=&\frac{1}{1+t^2},\\\\
\sin x\cos x&=&\displaystyle\frac{\mathrm{tg}\, x}{1+\mathrm{tg}\,^2x}&=&\displaystyle\frac{t}{1+t^2}
\sin x\cos x&=&\frac{\mathrm{tg}\, x}{1+\mathrm{tg}\,^2x}&=&\frac{t}{1+t^2}
\end{array}
\end{array}
</math></center>
</math></center>
Linia 1229: Linia 1220:
=
=
\mathrm{arctg}\, t,\quad
\mathrm{arctg}\, t,\quad
\,dx=\frac{\,dt}{1+t^2}.
\,dx=\frac{\,dt}{1+t^2}
</math></center>
</math></center>


Linia 1238: Linia 1229:
\frac{1}{1+t^2},
\frac{1}{1+t^2},
\frac{t}{1+t^2}
\frac{t}{1+t^2}
\bigg)\frac{dt}{1+t^2}.
\bigg)\frac{dt}{1+t^2}
</math></center>
</math></center>


Linia 1246: Linia 1237:


Obliczyć całkę
Obliczyć całkę
<math> \int\frac{dx}{1+2\cos^2x}\,dx.</math>
<math>\int\frac{dx}{1+2\cos^2x}\,dx</math>.


W całce tej stosujemy podstawienie
W całce tej stosujemy podstawienie
<math> \mathrm{tg}\, x=t,</math>
<math>\mathrm{tg}\, x=t</math>,
wówczas
wówczas
<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>
<math>dx=\frac{\,dt}{1+t^2}</math>.
Zatem
Zatem


<center><math>\int\frac{dx}{1+2\cos^2x}\,dx
<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{\frac{1}{1+t^2}}{1+\frac{2}{1+t^2}}\,dt
=
=
\int\frac{dt}{t^2+3}.
\int\frac{dt}{t^2+3}
</math></center>
</math></center>


Linia 1268: Linia 1259:
<center><math>\int\frac{dx}{1+2\cos^2x}\,dx
<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>}}

Aktualna wersja na dzień 08:05, 24 lip 2024

Całka nieoznaczona

Leonhard Euler (1707-1783)
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 D będzie przedziałem oraz niech f:D będzie funkcją.
Funkcję F:D nazywamy pierwotną funkcji f, jeśli F jest różniczkowalna i F=f.

Twierdzenie 13.2.

Dwie dowolne pierwotne funkcji f:D różnią się o stałą, to znaczy
(1) Jeśli F i G są pierwotnymi funkcji f to FG=c dla pewnego c
(2) Jeśli F jest pierwotną funkcji f oraz FG=c dla pewnego c to G też jest pierwotną funkcji f

Dowód 13.2.

(Ad (1)) Jeśli F i G są pierwotnymi funkcji f, to mamy (FG)=FG=ff=0 Ponieważ pochodna różnicy FG wynosi 0, więc różnica ta musi być stała. Zatem istnieje c takie, że FG=c
(Ad (2)) Załóżmy, że F jest pierwotną funkcji f oraz funkcje F i G różnią się o stałą, to znaczy G=F+c dla pewnej stałej c. Ponieważ F jest różniczkowalna (jako pierwotna) oraz funkcja stała jest różniczkowalna, więc także funkcja G jest różniczkowalna. Licząc pochodną sumy, dostajemy

G=(F+c)=F=f

zatem G jest także pierwotną funkcji f

Definicja 13.3. [całka nieoznaczona, całkowanie]

Całką nieoznaczoną funkcji f nazywamy zbiór jego pierwotnych i oznaczamy

f(x)dx lub intfdx

Całkowaniem nazywamy wyznaczanie całki.
Oczywiście, jeśli zmienna funkcji f nazywa się t to piszemy f(t)dt lub fdt, a jeśli zmienna funkcji f nazywa się na przykład ξ, to piszemy f(ξ)dξ lub fdξ.

Wniosek 13.4.

Jeśli F jest pierwotną funkcji f, to

f(x)dx=F(x)+c
Uwaga 13.5.

Jeśli F jest jedną z pierwotnych funkcji f oraz (x0,y0)2 to pierwotna G funkcji f spełniająca G(x0)=y0 (to znaczy której wykres przechodzi przez punkt (x0,y0)) jest równa

G(x)=F(x)+c

gdzie C=y0F(x0)

Plik:AM1.M13.W.R01.svg
Wykres funkcji f z przykładu 13.6.

Przykład 13.6.

Funkcja pierwotna nie zawsze istnieje.

Rozważmy następującą funkcję f:

f(x)={0gdyx01gdyx=0

Pokażemy, że f nie ma pierwotnej. Dla dowodu niewprost, przypuśćmy, że funkcja ta posiada pierwotną F: Wówczas F=f Na przedziale (,0) funkcja f jest tożsamościowo równa 0 zatem jej pierwotna jest stała, powiedzmy F|(,0)a Podobnie na przedziale (0,+) powiedzmy F|(0,+)b Ponieważ funkcja pierwotna jest ciągła (jako różniczkowalna), zatem

a=limx0F(x)=limx0+F(x)=b

oraz a=F(0)=b Zatem pokazaliśmy, że Fa Ale wówczas F=0f sprzeczność. Zatem tak zdefiniowana funkcja f 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) 0dx=c;
(2) 1dx=x+c;
(3) xαdx=1α+1xα+1+c dla α1;
(4) 1xdx=ln|x|+c;
(5) axdx=axlna+c, dla a>0,a1, (w szczególności exdx=ex+c);
(6) sinxdx=cosx+c;
(7) cosxdx=sinx+c;
(8) 1cos2xdx=tgx+c;
(9) 1sin2xdx=ctgx+c;
(10) 11x2dx=arcsinx+c;
(11) 11+x2dx=arctgx+c;
(12) 1x2+1dx=arsinhx=ln|x+x2+1|;
(13) 1x21dx=arcoshx=ln|x+x21|.

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 f,g:D są funkcjami, dla których istnieją całki nieoznaczone, λ, to
(1) (f±g)(x)dx=f(x)dx±g(x)dx;
(2) (λf)(x)dx=λf(x)dx.

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).

Uwaga 13.10. [o funkcjach elementarnych]

(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

1+x23dx,ex2dx,sinx2dx,cosx2dx,exxdx
sinxxdx,cosxxdx1lnxdx

oraz tak zwane całki eliptyczne:

1(1x2)(1kx2),x2(1x2)(1kx2) dla k(0,1)

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 I jest przedziałem, f,g:I są funkcjami różniczkowalnymi oraz istnieje całka nieoznaczona dla funkcji fg, to istnieje także całka nieoznaczona dla funkcji fg oraz

fgdx=fgfgdx

Dowód 13.11.

Ponieważ funkcje f i g są różniczkowalne, więc różniczkowalny jest także iloczyn fg oraz zachodzi wzór

(fg)=fg+fg,

zatem

fg=(fg)fg

Ponieważ funkcja po prawej stronie jest całkowalna, więc funkcja po lewej stronie także jest całkowalna i mamy

fgdx=[(fg)dxfg]=(fg)dxfgdx=fgfgdx.

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 I,J są przedziałami, f:IJ jest funkcją różniczkowalną oraz g:J jest funkcją, dla której istnieje pierwotna G:J, to istnieje całka nieoznaczona dla funkcji (gf)f oraz

(gf)fdx=Gf

Dowód 13.12.

Ponieważ funkcje G i f są różniczkowalne, więc ich złożenie także oraz mamy

(Gf)=(Gf)f=(gf)f

Całkując obie strony, dostajemy tezę naszego twierdzenia.


Uwaga 13.13.

Wzór całkowania przez podstawianie często zapisujemy jako:

g(f(x))f(x)dx=g(t)dt

rozumiejąc, że należy "wrócić" do tej samej zmiennej po obu stronach (x po prawej lub t po lewej) przez złożenie "f" po prawej stronie lub "f1" po lewej stronie.

Przykład 13.14.

Obliczyć całkę nieoznaczoną z funkcji f(x)=sinxcosx.

Rozwiązanie

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 2, to znaczy

Q(x)=c(xA1)k1(xA2)k2(xAr)kr(x2+B1x+C1)l1(x2+B2x+C2)l2(x2+Bsx+Cs)ls

gdzie stopień wielomianu Q wynosi

degQ=k1+k2++kr+2(l1+l2++ls)

oraz

Bi24Ci<0 dla i=1,2,s

Definicja 13.16. [ułamki proste]

Ułamkami prostymi nazywamy funkcje wymierne postaci:

a(xA)k oraz bx+c(x2+Bx+C)s

gdzie a,b,c,A,B,C,k,s,B24C<0.

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 3x+52x25x3dx.

Rozwiązanie

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 f(x)=P(x)Q(x) będzie funkcją wymierną, gdzie degP=m<n=degQ. Wówczas istnieje jedyny rozkład funkcji f na ułamki proste oraz jeśli

f(x)=P(x)(xA1)k1(xA2)k2(xAr)kr(x2+B1x+C1)l1(x2+B2x+C2)l2(x2+Bsx+Cs)ls

gdzie

Bi24Ci<0 dla i=1,2,s

to

P(x)Q(x)=a11(xA1)+a21(xA1)2++ak11(xA1)k1+a12(xA2)+a22(xA2)2++ak22(xA2)k2++a1r(xAr)+a2r(xAr)2++akrr(xAr)kr+b11x+c11(x2+B1x+C1)+b21x+c21(x2+B1x+C1)2++bl11x+cl11(x2+B1x+C1)l1+b12x+c12(x2+B2x+C2)+b22x+c22(x2+B2x+C2)2++bl22x+cl22(x2+B2x+C2)l2++b1sx+c1s(x2+Bsx+Cs)+b2sx+c2s(x2+Bsx+Cs)2++blssx+clss(x2+Bsx+Cs)ls=i=1rji=1kiajii(xAi)ji+i=1sji=1libjiix+cjii(x2+Bix+Ci)ji

Przykład 13.19.

Rozłożyć funkcję wymierną f(x)=x5+4x3x2+13x3x4+2x2+9 na ułamki proste.

Rozwiązanie
Uwaga 13.20.

Korzystając z liniowości całki nieoznaczonej dla policzenia całki z funkcji wymiernej P(x)Q(x), wystarczy umieć policzyć całki z ułamków prostych. Znamy już całki z ułamków:

Axadx=Aln(xa)+c,A(xa)kdx=Ak11(xa)k1+c,dla k2.

Całki z ułamków prostych postaci bx+c(x2+Bx+C)k będą policzone na ćwiczeniach (patrz ćwiczenie 13.4.).

Całkowanie funkcji niewymiernych

Zacznijmy od rozważenia następującej całki:

Wn(x)px2+qx+rdx

gdzie Wn jest dowolnym wielomianem (stopnia n). 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ść

Wn(x)px2+qx+rdx=Qn1(x)px2+qx+r+Adxpx2+qx+r

gdzie Qn1(x) jest wielomianem stopnia n1. Współczynniki wielomianu Qn1 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 px2+qx+r. Dostaniemy wtedy:

W(x)=Qn1(x)(px2+qx+r)+Qn1(x)(px+q2)+λ

skąd, porównując współczynniki przy odpowiednich potęgach zmiennej x, znajdujemy współczynniki wielomianu Qn1 oraz stałą λ.

Pozostaje jeszcze do obliczenia

dxpx2+qx+r

którą przez odpowiednie podstawienie sprowadzamy do jednej z całek

dt1t2  lub dt1+t2

(patrz twierdzenie 13.8.).

Policzymy teraz pewną całkę, którą w przyszłości będziemy wielokrotnie wykorzystywać.

Przykład 13.21.

Policzyć

R2x2dx

gdzie R jest stałą dodatnią. Aby użyć metody współczynników nieoznaczonych, zapiszmy

R2x2R2x2dx

Wielomian R2x2 jest stopnia 2, zatem

R2x2R2x2dx=(ax+b)R2x2+λ1R2x2dx

Stąd

R2x2=a(R2x2)x(ax+b)+λ=2ax2bx+aR2+λ

skąd dostajemy układ równań

2a=1,b=0,aR2+λ=R2

zatem

a=12,b=0,λ=12R2

Pozostaje do policzenia 1R2x2dx. Podstawiając xR=t (zatem dxR=dt), mamy

1R2x2dx=dxR1x2R2=dt1t2=arcsint+c=arcsinxR+c.

Reasumując, mamy

R2x2dx=x2R2x2+R22arcsinxR+c

Kolejne twierdzenie zawiera warunek konieczny i wystarczający istnienia pierwotnej elementarnej dla funkcji postaci f(x)=xr(a+bxs)p oraz podaje sposób policzenia całki nieoznaczonej, jeśli pierwotna jest funkcją elementarną. Dowód twierdzenia pomijamy.

Twierdzenie 13.22.

Funkcja

f(x)=xr(a+bxs)p, gdzie a,b, p,r,s

ma pierwotną elementarną wtedy i tylko wtedy, gdy zachodzi jeden z przypadków:
(1) p (robimy podstawienie x=zN, gdzie N jest wspólnym mianownikiem ułamków r i s);
(2) r+1s (robimy podstawienie a+bxs=zN, gdzie N jest mianownikiem ułamka p);
(3) r+1s+p (robimy podstawienie axs+b=zN, gdzie N jest mianownikiem ułamka p).

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) f(x)=1+x23.
(2) f(x)=1+x24.
(3) f(x)=1+x33.

Rozwiązanie
Uwaga 13.24. [Podstawienia Eulera]

Do policzenia całki postaci

R(x,ax2+bx+c)dx

gdzie R=R(x,ξ) jest funkcją wymierną, a,b,c,a0 można zastosować następujące podstawienia (tak zwane podstawienia Eulera):

  • Niech a>0. Podstawiamy
ax2+bx+c=tax
  • Niech c>0. Podstawiamy
ax2+bx+c=xt+c

  • Niech trójmian kwadratowy ma dwa różne pierwiastki μ,λ, to znaczy ax2+bx+c=a(xλ)(xμ). Podstawiamy

ax2+bx+c=t(xλ)

Przykład 13.25.

Całkę

dxx+x2x+1

sprowadzimy do całki z funkcji wymiernej, stosując pierwsze podstawienie Eulera. Podstawiamy

x2x+1=tx

skąd

x=t212t1

oraz

dx=2t22t+2(2t1)2dt

Podstawiając, dostajemy

dxx+x2x+1=2t2t+1t(2t1)2dt

czyli całkę z funkcji wymiernej, którą już umiemy policzyć.
Teraz tę samą całkę dxx+x2x+1 sprowadzimy do całki z funkcji wymiernej, używając drugiego podstawienia Eulera. Podstawiamy

x2x+1=tx1

skąd

x=12t1t2dx=2t2t+1(1t2)2dt

Podstawiając, dostajemy

dxx+x2x+1=2t2t+1t(t1)(t+1)2dt,

czyli też całkę z funkcji wymiernej - co prawda nieco bardziej skomplikowaną niż poprzednia.

Całkowanie wyrażeń zawierających funkcje trygonometryczne

Uwaga 13.26.

Aby policzyć całkę

R(sinx,cosx,tgx)dx

stosujemy podstawienie

tgx2=t

i mamy

sinx=2tgx21+tg2x2=2t1+t2,cosx=1tg2x21+tg2x2=1t21+t2,tgx=2tgx21tg2x2=2t1t2

oraz

x=2arctgt, zatem ,dx=2dt1+t2

Po podstawieniu dostajemy całkę

R(2t1+t2,1t21+t2,2t1t2)2dt1+t2

Przykład 13.27.

Obliczyć całkę dx2+cosx. W całce tej stosujemy podstawienie tgx2=t, wówczas x=2arctgt i dx=2dt1+t2. Zatem

dx2+cosx=2dt1+t22+1t21+t2=2dtt2+3=23dt(t3)2+1=|t3=sdt=3ds|=233dss2+1=2arctgs+c=2arctg(tgx23)+c
Uwaga 13.28.

Aby policzyć całkę

R(sin2x,cos2x,sinxcosx)dx

stosujemy podstawienie

tgx=t

i mamy

sin2x=tg2x1+tg2x=t21+t2,cos2x=11+tg2x=11+t2,sinxcosx=tgx1+tg2x=t1+t2

oraz

x=arctgt,dx=dt1+t2

Zatem po podstawieniu dostajemy całkę

R(t21+t2,11+t2,t1+t2)dt1+t2

Przykład 13.29.

Obliczyć całkę dx1+2cos2xdx.

W całce tej stosujemy podstawienie tgx=t, wówczas cos2x=11+t2 i dx=dt1+t2. Zatem

dx1+2cos2xdx=11+t21+21+t2dt=dtt2+3

Zauważmy, że całkę tę liczyliśmy w przykładzie 13.27. Zatem

dx1+2cos2xdx=arctg(tgx3)+c