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

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Kamil (dyskusja | edycje)
 
(Nie pokazano 37 wersji utworzonych przez 4 użytkowników)
Linia 24: Linia 24:
{{definicja|13.1.||
{{definicja|13.1.||


Niech <math> \displaystyle D\subseteq \mathbb{R}</math> będzie przedziałem oraz
Niech <math>D\subseteq \mathbb{R}</math> będzie przedziałem oraz
niech <math> \displaystyle  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> \displaystyle F\colon D\longrightarrow\mathbb{R}</math> nazywamy
Funkcję <math>F\colon D\longrightarrow\mathbb{R}</math> nazywamy
'''''pierwotną''''' funkcji <math> \displaystyle f,</math> jeśli
'''''pierwotną''''' funkcji <math>f</math>, jeśli
<math> \displaystyle F</math> jest różniczkowalna i
<math>F</math> jest różniczkowalna i
<math> \displaystyle F'=f.</math>
<math>F'=f</math>.
}}
}}


Linia 35: Linia 35:


Dwie dowolne pierwotne funkcji
Dwie dowolne pierwotne funkcji
<math> \displaystyle  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> \displaystyle F</math> i <math> \displaystyle G</math> są pierwotnymi funkcji <math> \displaystyle f,</math>
'''(1)'''  Jeśli <math>F</math> i <math>G</math> są pierwotnymi funkcji <math>f</math>
to <math> \displaystyle F-G=c</math> dla pewnego <math> \displaystyle 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> \displaystyle F</math> jest pierwotną funkcji <math> \displaystyle f</math> oraz
'''(2)''' Jeśli <math>F</math> jest pierwotną funkcji <math>f</math> oraz
<math> \displaystyle F-G=c</math> dla pewnego <math> \displaystyle c\in\mathbb{R},</math>
<math>F-G=c</math> dla pewnego <math>c\in\mathbb{R}</math>
to <math> \displaystyle G</math> też jest pierwotną funkcji <math> \displaystyle f.</math>
to <math>G</math> też jest pierwotną funkcji <math>f</math>
}}
}}


{{dowod|twierdzenia 13.2.||
{{dowod|13.2.||


'''(Ad (1))'''
'''(Ad (1))'''
Jeśli <math> \displaystyle F</math> i <math> \displaystyle G</math> są pierwotnymi funkcji <math> \displaystyle f,</math> to mamy
Jeśli <math>F</math> i <math>G</math> są pierwotnymi funkcji <math>f</math>, to mamy
<math> \displaystyle  (F-G)'=F'-G'=f-f=0.</math>
<math>(F-G)'=F'-G'=f-f=0</math>
Ponieważ pochodna różnicy <math> \displaystyle F-G</math> wynosi <math> \displaystyle 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> \displaystyle c\in\mathbb{R}</math> takie, że
być stała. Zatem istnieje <math>c \in \mathbb{R}</math> takie, że
<math> \displaystyle F-G=c.</math><br>
<math>F-G=c</math><br>
'''(Ad (2))'''
'''(Ad (2))'''
Załóżmy, że <math> \displaystyle F</math> jest pierwotną funkcji <math> \displaystyle f</math>
Załóżmy, że <math>F</math> jest pierwotną funkcji <math>f</math>
oraz funkcje <math> \displaystyle F</math> i <math> \displaystyle G</math> różnią się o stałą, to znaczy
oraz funkcje <math>F</math> i <math>G</math> różnią się o stałą, to znaczy
<math> \displaystyle G=F+c</math> dla pewnej stałej <math> \displaystyle c\in\mathbb{R}.</math> Ponieważ <math> \displaystyle F</math> jest
<math>G=F+c</math> dla pewnej stałej <math>c \in \mathbb{R}</math>. Ponieważ <math>F</math> jest
różniczkowalna (jako pierwotna) oraz funkcja stała jest
różniczkowalna (jako pierwotna) oraz funkcja stała jest
różniczkowalna, więc także funkcja <math> \displaystyle G</math> jest różniczkowalna.
różniczkowalna, więc także funkcja <math>G</math> jest różniczkowalna.
Licząc pochodną sumy dostajemy
Licząc pochodną sumy, dostajemy


<center><math> \displaystyle G'
<center><math>G'
\ =\
=
(F+c)'=F'
(F+c)'=F'
\ =\
=
f,
f
</math></center>
</math></center>


zatem <math> \displaystyle G</math> jest także pierwotną funkcji <math> \displaystyle f.</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> \displaystyle f</math> nazywamy zbiór jego
'''''Całką nieoznaczoną''''' funkcji <math>f</math> nazywamy zbiór jego
pierwotnych i oznaczamy
pierwotnych i oznaczamy


<center><math> \displaystyle \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> \displaystyle f</math> nazywa się <math> \displaystyle t,</math>
Oczywiście, jeśli zmienna funkcji <math>f</math> nazywa się <math>t</math>
to piszemy <math> \displaystyle \int f(t)\,dt</math> lub
to piszemy <math> \int f(t)\,dt</math> lub
<math> \displaystyle \int f\,dt</math>,
<math>\int f\,dt</math>,
a jeśli zmienna funkcji <math> \displaystyle f</math> nazywa się
a jeśli zmienna funkcji <math>f</math> nazywa się
na przykład <math> \displaystyle \xi,</math>
na przykład <math>\xi</math>,
to piszemy <math> \displaystyle \int f(\xi)\,d\xi</math> lub
to piszemy <math>\int f(\xi)\,d\xi</math> lub
<math> \displaystyle \int f\,d\xi</math>
<math>\int f\,d\xi</math>.
}}
}}


{{wniosek|13.4.||
{{wniosek|13.4.||


Jeśli <math> \displaystyle F</math> jest pierwotną funkcji <math> \displaystyle f,</math> to
Jeśli <math>F</math> jest pierwotną funkcji <math>f</math>, to


<center><math> \displaystyle \int f(x)\,dx
<center><math>\int f(x)\,dx
\ =\
=
F(x)+c.
F(x)+c
</math></center>
</math></center>


Linia 104: Linia 102:
{{uwaga|13.5.||
{{uwaga|13.5.||


Jeśli <math> \displaystyle F</math> jest jedną z pierwotnych funkcji <math> \displaystyle f</math>
Jeśli <math>F</math> jest jedną z pierwotnych funkcji <math>f</math>
oraz <math> \displaystyle  (x_0,y_0)\in\mathbb{R}^2,</math>
oraz <math>(x_0,y_0)\in\mathbb{R}^2</math>
to pierwotna <math> \displaystyle G</math> funkcji <math> \displaystyle f</math> spełniająca <math> \displaystyle 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> \displaystyle  (x_0,y_0)</math>)
(to znaczy której wykres przechodzi przez punkt <math>(x_0,y_0)</math>)
jest równa
jest równa


<center><math> \displaystyle G(x)
<center><math>G(x)
\ =\
=
F(x)+c,
F(x)+c
</math></center>
</math></center>


gdzie <math> \displaystyle C=y_0-F(x_0).</math>
gdzie <math>C=y_0-F(x_0)</math>
}}
}}


<div class="thumb tright"><div style="width:270px;">
[[File:AM1.M13.W.R01.svg|270x225px|thumb|right|Wykres funkcji <math>f</math> z przykładu 13.6.]]
<flash>file=AM1.M13.W.R01.swf|width=270|height=225</flash>
<div.thumbcaption>AM1.M13.W.R01</div>
</div></div>


{{przyklad|13.6.||
{{przyklad|13.6.||
Linia 128: Linia 123:


Rozważmy następującą funkcję
Rozważmy następującą funkcję
<math> \displaystyle  f\colon\mathbb{R}\longrightarrow\mathbb{R}</math>
<math>f\colon\mathbb{R}\longrightarrow\mathbb{R}</math>


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


Pokażemy, że <math> \displaystyle f</math> nie ma pierwotnej.
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> \displaystyle F\colon\mathbb{R}\longrightarrow\mathbb{R}.</math>
<math>F\colon\mathbb{R}\longrightarrow\mathbb{R}</math>
Wówczas <math> \displaystyle F'=f.</math>
Wówczas <math>F'=f</math>
Na przedziale <math> \displaystyle  (-\infty,0),</math> funkcja <math> \displaystyle f</math> jest
Na przedziale <math>(-\infty,0)</math> funkcja <math>f</math> jest
tożsamościowo równa <math> \displaystyle 0,</math> zatem
tożsamościowo równa <math>0</math> zatem
jej pierwotna jest stała,
jej pierwotna jest stała,
powiedzmy <math> \displaystyle F|_{(-\infty,0)}\equiv a.</math>
powiedzmy <math>F|_{(-\infty,0)}\equiv a</math>
Podobnie na przedziale <math> \displaystyle  (0,+\infty),</math>
Podobnie na przedziale <math>(0,+\infty)</math>
powiedzmy <math> \displaystyle 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


<center><math> \displaystyle a
<center>
\ =\
<math>a
=
\lim_{x\rightarrow 0^-}F(x)
\lim_{x\rightarrow 0^-}F(x)
\ =\
=
\lim_{x\rightarrow 0^+}F(x)
\lim_{x\rightarrow 0^+}F(x)
\ =\
=
b
b
</math></center>
</math>
</center>


oraz <math> \displaystyle a=F(0)=b.</math>
oraz <math>a=F(0)=b</math>
Zatem pokazaliśmy, że <math> \displaystyle F\equiv a.</math>
Zatem pokazaliśmy, że <math>F\equiv a</math>
Ale wówczas <math> \displaystyle F'=0\ne f,</math> sprzeczność.
Ale wówczas <math>F'=0\ne f</math> sprzeczność.
Zatem tak zdefiniowana funkcja <math> \displaystyle f</math> nie ma pierwotnej.
Zatem tak zdefiniowana funkcja <math>f</math> nie ma pierwotnej.
}}
}}


Linia 182: Linia 176:


Poniższe twierdzenie podaje całki nieoznaczone pewnych funkcji
Poniższe twierdzenie podaje całki nieoznaczone pewnych funkcji
elementarnych. Ponieważ wiemy już ile wynoszą pochodne pewnych
elementarnych. Ponieważ wiemy już, ile wynoszą pochodne pewnych
funkcji elementarnych, więc łatwo stąd odgadnąć pierwotne niżej
funkcji elementarnych, więc łatwo stąd odgadnąć pierwotne niżej
podanych funkcji.
podanych funkcji.
Linia 188: 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> \displaystyle  \int 0\,dx=c</math>;<br>
<math>\int 0\,dx=c</math>;<br>
'''(2)'''
'''(2)'''
<math> \displaystyle  \int 1\,dx =x+c</math>;<br>
<math>\int 1\,dx =x+c</math>;<br>
'''(3)'''
'''(3)'''
<math> \displaystyle  \int x^{\alpha}\,dx=\frac{1}{\alpha+1}
<math>\int x^{\alpha}\,dx=\frac{1}{\alpha+1}
x^{\alpha+1}+c</math> dla <math> \displaystyle \alpha\ne -1</math>;<br>
x^{\alpha+1}+c</math> dla <math>\alpha\ne -1</math>;<br>
'''(4)'''
'''(4)'''
<math> \displaystyle  \int\frac{1}{x}\,dx =
<math>\int\frac{1}{x}\,dx =
\ln |x|+c</math>;<br>
\ln |x|+c</math>;<br>
'''(5)'''
'''(5)'''
<math> \displaystyle  \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> \displaystyle a>0,a\ne 1,</math>
dla <math>a>0,a\ne 1</math>,
(w szczególności
(w szczególności
<math> \displaystyle  \int e^x\,dx=e^x+c);</math><br>
<math>\int e^x\,dx=e^x+c);</math><br>
'''(6)'''
'''(6)'''
<math> \displaystyle  \int\sin x\,dx=-\cos x+c</math>;<br>
<math>\int\sin x\,dx=-\cos x+c</math>;<br>
'''(7)'''
'''(7)'''
<math> \displaystyle  \int\cos x\,dx=\sin x+c</math>;<br>
<math>\int\cos x\,dx=\sin x+c</math>;<br>
'''(8)'''
'''(8)'''
<math> \displaystyle  \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> \displaystyle  \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> \displaystyle  \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> \displaystyle  \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> \displaystyle  \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> \displaystyle  \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 229: Linia 223:


{{twierdzenie|13.9. [Liniowość całki]||
{{twierdzenie|13.9. [Liniowość całki]||
Jeśli <math> \displaystyle 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> \displaystyle \lambda\in\mathbb{R},</math>
<math>\lambda\in\mathbb{R}</math>,
to<br>
to<br>
'''(1)'''
'''(1)'''
<math> \displaystyle  \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> \displaystyle  \int(\lambda f)(x)\,dx
<math>\int(\lambda f)(x)\,dx
=\lambda\int f(x)\,dx.</math>
=\lambda\int f(x)\,dx</math>.
}}
}}


Linia 256: Linia 250:
'''''Funkcje elementarne''''' to funkcje, które można otrzymać z
'''''Funkcje elementarne''''' to funkcje, które można otrzymać z
funkcji:<br>
funkcji:<br>
* stałych<br>
* stałych,<br>
* potęgowych<br>
* potęgowych,<br>
* wykładniczych<br>
* wykładniczych,<br>
* trygonometrycznych<br>
* trygonometrycznych,<br>
przez wykonywanie skończonej liczby operacji:<br>
przez wykonywanie skończonej liczby operacji:<br>
* dodawania/odejmowania<br>
* dodawania/odejmowania,<br>
* mnożenia/dzielenia<br>
* mnożenia/dzielenia,<br>
* złożenia<br>
* złożenia,<br>
* odwracania.<br>
* odwracania.<br>
<br>
'''(2)'''
'''(2)'''
Pochodna funkcji elementarnej jest zawsze funkcją
Pochodna funkcji elementarnej jest zawsze funkcją
Linia 280: Linia 273:
elementarnymi, to między innymi
elementarnymi, to między innymi


<center><math> \displaystyle \int\sqrt[3]{1+x^2}\,dx,\quad
<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
\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>


 
<center><math>\int\frac{\sin x}{x}\,dx,\quad
<center><math> \displaystyle \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 295: Linia 287:
oraz tak zwane całki eliptyczne:
oraz tak zwane całki eliptyczne:


<center><math> \displaystyle \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 310: Linia 302:
{{twierdzenie|13.11. [Całkowanie przez części]||
{{twierdzenie|13.11. [Całkowanie przez części]||
Jeśli
Jeśli
<math> \displaystyle I\subseteq \mathbb{R}</math> jest przedziałem,
<math>I\subseteq \mathbb{R}</math> jest przedziałem,
<math> \displaystyle 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> \displaystyle f\cdot g',</math>
<math>f\cdot g'</math>,
to
to
istnieje także całka nieoznaczona dla funkcji <math> \displaystyle f'\cdot g</math> oraz
istnieje także całka nieoznaczona dla funkcji <math>f'\cdot g</math> oraz


<center><math> \displaystyle \int f'g\,dx
<center><math>\int f'g\,dx
\ =\
=
fg-\int fg'\,dx.
fg-\int fg'\,dx
</math></center>
</math></center>


}}
}}


{{dowod|twierdzenia 13.11.||
{{dowod|13.11.||


Ponieważ funkcje <math> \displaystyle f</math> i <math> \displaystyle g</math> są różniczkowalne, więc
Ponieważ funkcje <math>f</math> i <math>g</math> są różniczkowalne, więc
różniczkowalny jest także iloczyn <math> \displaystyle f\cdot g</math> oraz zachodzi wzór
różniczkowalny jest także iloczyn <math>f\cdot g</math> oraz zachodzi wzór


<center><math> \displaystyle (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


<center><math> \displaystyle f'\cdot g
<center><math>f'\cdot g
\ =\
=
(f\cdot g)'
(f\cdot g)'
-
-
f\cdot g'.
f\cdot g'
</math></center>
</math></center>


Linia 349: 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 370: Linia 361:
{{twierdzenie|13.12. [Całkowanie przez podstawianie]||
{{twierdzenie|13.12. [Całkowanie przez podstawianie]||
Jeśli
Jeśli
<math> \displaystyle I, J\subseteq\mathbb{R}</math> są przedziałami,
<math>I, J\subseteq\mathbb{R}</math> są przedziałami,
<math> \displaystyle  f\colon I\longrightarrow J</math> jest funkcją różniczkowalną oraz
<math>f\colon I\longrightarrow J</math> jest funkcją różniczkowalną oraz
<math> \displaystyle  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> \displaystyle G\colon J\longrightarrow\mathbb{R},</math>
<math>G\colon J\longrightarrow\mathbb{R}</math>,
to
to
istnieje całka nieoznaczona dla funkcji <math> \displaystyle  (g\circ f)\cdot f'</math> oraz
istnieje całka nieoznaczona dla funkcji <math>(g\circ f)\cdot f'</math> oraz


<center><math> \displaystyle \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>


}}
}}


{{dowod|twierdzenia 13.12.||
{{dowod|13.12.||


Ponieważ funkcje <math> \displaystyle G</math> i <math> \displaystyle f</math> są różniczkowalne, więc ich złożenie
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> \displaystyle (G\circ f)'
<center><math>(G\circ f)'
\ =\
=
(G'\circ f)\cdot f'
(G'\circ f)\cdot f'
\ =\
=
(g\circ f)\cdot f'.
(g\circ f)\cdot f'
</math></center>
</math></center>


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


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


<center><math> \displaystyle \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>


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> \displaystyle x</math> po prawej lub <math> \displaystyle t</math> po lewej)
(<math>x</math> po prawej lub <math>t</math> po lewej)
przez złożenie "<math> \displaystyle \circ f</math>" po prawej stronie lub
przez złożenie "<math>\circ f</math>" po prawej stronie lub
"<math> \displaystyle \circ f^{-1}</math>" po lewej stronie.
"<math>\circ f^{-1}</math>" po lewej stronie.
}}</span>
}}</span>


{{przyklad|13.14.||
{{przyklad|13.14.||


Obliczyć całkę nieoznaczoną z funkcji <math> \displaystyle f(x)=\sin x\cos x.</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> \displaystyle f'(x)=\sin x</math> (gdyż znamy już pierwotną funkcji <math> \displaystyle \sin</math>) oraz
<math>f'(x)=\sin x</math> (gdyż znamy już pierwotną funkcji <math>\sin</math>) oraz
jako <math> \displaystyle 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:


<center><math> \displaystyle \aligned
<center><math>\begin{align}
\int \sin x\cos x\,dx
\int \sin x\cos x\,dx
& = &
& = &
Linia 436: Linia 427:
\end{array}  
\end{array}  
\right|
\right|
\ =\
=
-\cos x\cos x
-\cos x\cos x
-\int(-\cos x)(-\sin x)\,dx\\
-\int(-\cos x)(-\sin x)\,dx\\
& = &
& = &
-\cos ^2x-\int\sin x\cos x\,dx.
-\cos ^2x-\int\sin x\cos x\,dx.
\endaligned</math></center>
\end{align}</math></center>


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> \displaystyle \int \sin x\cos x\,dx</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> \displaystyle \int \sin x\cos x\,dx
<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> \displaystyle +c</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 461: Linia 452:
w innej kolejności
w innej kolejności


<center><math> \displaystyle
<center><math>
\int \sin x\cos x\,dx
\int \sin x\cos x\,dx
\ =\
=
\left|
\left|
\begin{array} {ll}
\begin{array} {ll}
Linia 470: Linia 461:
\end{array}  
\end{array}  
\right|
\right|
\ =\
=
\sin x\sin x
\sin x\sin x
-\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>


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> \displaystyle \int \sin x\cos x\,dx</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> \displaystyle \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 492: Linia 483:
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> \displaystyle g(t)=t</math> oraz <math> \displaystyle 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> \displaystyle 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
przedstawiony poniżej
przedstawiony poniżej
(porównaj [[#uwaga_13_13|uwaga 13.13.]]), przy czym podczas
(porównaj [[#uwaga_13_13|uwaga 13.13.]]), przy czym
po wyborze dogodnego
po wyborze dogodnego
podstawienia (w tym wypadku) <math> \displaystyle \sin x=t</math>) oblicza się pochodną
podstawienia (w tym wypadku) <math>\sin x=t</math>) oblicza się pochodną,
dopisując odpowiednia <math> \displaystyle dx</math> i <math> \displaystyle dt</math> po obu stronach równości.
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> \displaystyle dx</math> i <math> \displaystyle dt.</math>
formalne podstawienie wyrażeń zawierających symbole <math>dx</math> i <math>dt</math>.
Piszemy zatem
Piszemy zatem


<center><math> \displaystyle
<center><math>
\int \sin x\cos x\,dx
\int \sin x\cos x\,dx
\ =\
=
\left|
\left|
\begin{array} {rcl}
\begin{array} {rcl}
Linia 516: Linia 507:
\end{array}  
\end{array}  
\right|
\right|
\ =\
=
\int t\,dt
\int t\,dt
\ =\
=
\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>
'''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> \displaystyle \cos x=t</math> ponieważ funkcja podcałkowa jest postaci
<math>\cos x=t</math>, ponieważ funkcja podcałkowa jest postaci
<math> \displaystyle \cos x\cdot (\cos x)'</math> (z dokładnością do znaku).
<math>\cos x\cdot (\cos x)'</math> (z dokładnością do znaku).
Zatem mamy
Zatem mamy


<center><math> \displaystyle
<center><math>
\int \sin x\cos x\,dx
\int \sin x\cos x\,dx
\ =\
=
\left|
\left|
\begin{array} {rcl}
\begin{array} {rcl}
Linia 540: Linia 530:
\end{array}  
\end{array}  
\right|
\right|
\ =\
=
-\int t\,dt
-\int t\,dt
\ =\
=
-\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>


<div class="thumb tright"><div style="width:253px;">
[[File:AM1.M13.W.R02.mp4|253x253px|thumb|right|AM1.M13.W.R02]]
<flashwrap>file=AM1.M13.W.R02.swf|size=small</flashwrap>
<div.thumbcaption>AM1.M13.W.R02</div>
</div></div>


<br>
<br>
'''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> \displaystyle \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>
<math> \displaystyle \int \sin x\cos x\,dx
<math>\int \sin x\cos x\,dx
\ =\
=
\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>


czy czym ostatnią całkę odgadujemy (gdyż znamy pochodną funkcji
przy czym ostatnią całkę odgadujemy (gdyż znamy pochodną funkcji
<math> \displaystyle \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> \displaystyle 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> \displaystyle \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:


<center><math> \displaystyle \frac{1}{2}\sin^2x,
<br><center>
<math>\frac{1}{2}\sin^2x,
\quad
\quad
-\frac{1}{2}\cos^2x,
-\frac{1}{2}\cos^2x,
\quad
\quad
-\frac{1}{4}\cos 2x.
-\frac{1}{4}\cos 2x
</math></center>
</math>
<br></center>


Funkcje te są "istotnie różne"
Funkcje te są "istotnie różne"
(to znaczy nie jest to ta sama funkcja zapisana w innej postaci).
(to znaczy nie jest to ta sama funkcja zapisana w innej postaci).
Dlaczego tak się dzieje?
Dlaczego tak się dzieje?
Wszystko wyjaśni się jeśli obliczymy różnicę dowolnych dwóch
Wszystko wyjaśni się, jeśli obliczymy różnicę dowolnych dwóch
z powyższych funkcji, na przykład
z powyższych funkcji, na przykład


<center><math> \displaystyle -\frac{1}{2}\cos^2x
<center><math>-\frac{1}{2}\cos^2x
-
-
\frac{1}{2}\sin^2x
\frac{1}{2}\sin^2x
\ =\
=
-\frac{1}{2}(\cos^2x+\sin^2x)
-\frac{1}{2}(\cos^2x+\sin^2x)
\ =\
=
-\frac{1}{2}
-\frac{1}{2}
</math></center>
</math></center>
Linia 597: Linia 586:
oraz
oraz


<center><math> \displaystyle -\frac{1}{4}\cos 2x
<center><math>-\frac{1}{4}\cos 2x
-
-
\frac{1}{2}\sin^2x
\frac{1}{2}\sin^2x
\ =\
=
-\frac{1}{4}(1-2\sin^2x)
-\frac{1}{4}(1-2\sin^2x)
-
-
\frac{1}{2}\sin^2x
\frac{1}{2}\sin^2x
\ =\
=
-\frac{1}{4},
-\frac{1}{4}
</math></center>
</math></center>


Linia 620: 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> \displaystyle 2,</math> to znaczy
<math>2</math>, to znaczy


<center><math>\begin{array}{lll} \displaystyle 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>


gdzie
gdzie stopień wielomianu <math>Q</math> wynosi


<center><math> \displaystyle \deg Q\ =\
<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
<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 644: Linia 633:
'''''Ułamkami prostymi''''' nazywamy funkcje wymierne postaci:
'''''Ułamkami prostymi''''' nazywamy funkcje wymierne postaci:


<center><math> \displaystyle \frac{a}{(x-A)^k}
<center><math>\frac{a}{(x-A)^k}
</math>  oraz  <math> \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> \displaystyle 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>.
}}
}}


Podamy twierdzenie, które pozwoli na obliczanie całki z dowolnej
Podamy twierdzenie, które pozwoli na obliczanie całki z dowolnej
funkcji wymiernej.
funkcji wymiernej.
Ponieważ twierdzenie to "wygląda" dość formalnie proponujemy
Ponieważ twierdzenie to "wygląda" dość formalnie, proponujemy
przestudiować najpierw poniższy przykład.
przestudiować najpierw poniższy przykład.


Linia 659: Linia 648:


Obliczyć całkę z następującej funkcji wymiernej
Obliczyć całkę z następującej funkcji wymiernej
<math> \displaystyle  \int\frac{3x+5}{2x^2-5x-3}\,dx.</math>
<math>\int\frac{3x+5}{2x^2-5x-3}\,dx</math>.
}}
}}


Linia 665: 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> \displaystyle  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


<center><math> \displaystyle \frac{3x+5}{2x^2-5x-3}
<center><math>\frac{3x+5}{2x^2-5x-3}
\ =\
=
\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 680: 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> \displaystyle  (2x^2-5x-3),</math> otrzymujemy
Wymnażając stronami przez wspólny mianownik <math>(2x^2-5x-3)</math>, otrzymujemy


<center><math> \displaystyle 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>


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> \displaystyle 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> \displaystyle  A=-\frac{1}{2}</math> oraz
<math>A=-\frac{1}{2}</math> oraz
<math> \displaystyle B=2.</math> Zatem otrzymaliśmy rozkład
<math>B=2</math>. Zatem otrzymaliśmy rozkład


<center><math> \displaystyle \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>


Możemy teraz policzyć całkę
Możemy teraz policzyć całkę


<center><math> \displaystyle \aligned
<center><math>\begin{align}
\int\frac{3x+5}{2x^2-5x-3}\,dx
\int\frac{3x+5}{2x^2-5x-3}\,dx
& = &
& = &
\int\frac{-\frac{1}{2}}{x+\frac{1}{2}}\,dx
\int\frac{-\frac{1}{2}}{x+\frac{1}{2}}\,dx
+\int\frac{2}{x-3}\,dx
+\int\frac{2}{x-3}\,dx
\ =\
=
-\frac{1}{2}\int\frac{1}{x+\frac{1}{2}}\,dx
-\frac{1}{2}\int\frac{1}{x+\frac{1}{2}}\,dx
+2\int\frac{1}{x-3}\,dx\\
+2\int\frac{1}{x-3}\,dx\\
Linia 713: Linia 702:
-\frac{1}{2}\ln\bigg|x+\frac{1}{2}\bigg|
-\frac{1}{2}\ln\bigg|x+\frac{1}{2}\bigg|
+2\ln|x-3|+c.
+2\ln|x-3|+c.
\endaligned</math></center>
\end{align}</math></center>


</div></div>
</div></div>
Linia 729: Linia 718:
przydatne w rachunkach.
przydatne w rachunkach.


{{twierdzenie|13.18. [O rozkładzie na ułamki proste]||
{{twierdzenie|13.18. [O rozkładzie na ułamki proste]|twierdzenie_13_18|
Niech <math> \displaystyle  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> \displaystyle \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> \displaystyle f</math> na ułamki proste oraz jeśli
funkcji <math>f</math> na ułamki proste oraz jeśli


<center><math> \displaystyle f(x)
<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}
(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> \displaystyle 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>


to
to


<center><math>\begin{array}{lll} \displaystyle
<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}}\\
& + & \displaystyle \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\\
& + & \displaystyle \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 773: Linia 762:


Rozłożyć funkcję wymierną
Rozłożyć funkcję wymierną
<math> \displaystyle  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 783: Linia 772:
dostajemy
dostajemy


<center><math> \displaystyle \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 791: Linia 780:
Zauważmy, że mianownik wynosi
Zauważmy, że mianownik wynosi


<center><math> \displaystyle x^4+2x^2+9
<center><math>x^4+2x^2+9
\ =\
=
(x^2+3)^2-4x^2
(x^2+3)^2-4x^2
\ =\
=
(x^2+2x+3)(x^2-2x+3)
(x^2+2x+3)(x^2-2x+3)
</math></center>
</math></center>
Linia 801: Linia 790:
Zatem rozkład na ułamki proste jest postaci
Zatem rozkład na ułamki proste jest postaci


<center><math> \displaystyle \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>


Mnożąc stronami przez wspólny mianownik, dostajemy
Mnożąc stronami przez wspólny mianownik, dostajemy


<center><math> \displaystyle 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 818: Linia 807:
układ równań
układ równań


<center><math> \displaystyle \left\{
<center><math>\left\{
\begin{array} {rrrrrrrrr}
\begin{array} {rrrrrrrrr}
a &  &    & + &  c &  &    & = & 2\\
a &  &    & + &  c &  &    & = & 2\\
Linia 825: 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


<center><math> \displaystyle \left\{
<center><math>\left\{
\begin{array} {lll}
\begin{array} {lll}
a & = & 1\\
a & = & 1\\
Linia 837: Linia 825:
d & = & -1.
d & = & -1.
\end{array}  
\end{array}  
\right.
\right.</math></center>
</math></center>


Zatem ostatecznie, mamy
Zatem ostatecznie mamy


<center><math> \displaystyle \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+
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 853: Linia 840:


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> \displaystyle \frac{P(x)}{Q(x)}</math> wystarczy umieć
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:


<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\textrm{dla}\ k\ge 2.
\quad\text{dla}\ k\ge 2.
\end{array}</math></center>
\end{array}</math></center>


Całki z ułamków prostych postaci
Całki z ułamków prostych postaci
<math> \displaystyle  \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 877: Linia 864:
Zacznijmy od rozważenia następującej całki:
Zacznijmy od rozważenia następującej całki:


<center><math> \displaystyle \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>


gdzie <math> \displaystyle W_n</math> jest dowolnym wielomianem
gdzie <math>W_n</math> jest dowolnym wielomianem
(stopnia <math> \displaystyle n</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> \displaystyle \int\frac{W_n(x)}{\sqrt{px^2+qx+r}}\,dx
<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}
+A\int\frac{dx}{\sqrt{px^2+qx+r}},
+A\int\frac{dx}{\sqrt{px^2+qx+r}}
</math></center>
</math></center>


gdzie <math> \displaystyle Q_{n-1}(x)</math> jest wielomianem stopnia <math> \displaystyle n-1.</math> Współczynniki wielomianu
gdzie <math>Q_{n-1}(x)</math> jest wielomianem stopnia <math>n-1</math>. Współczynniki wielomianu
<math> \displaystyle Q_{n-1}</math>
<math>Q_{n-1}</math>
oraz stałą <math> \displaystyle \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> \displaystyle \sqrt{px^2+qx+r}.</math> Dostaniemy wtedy:
<math>\sqrt{px^2+qx+r}</math>. Dostaniemy wtedy:


<center><math> \displaystyle 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> \displaystyle x,</math> znajdujemy współczynniki
<math>x</math>, znajdujemy współczynniki
wielomianu <math> \displaystyle Q_{n-1}</math>
wielomianu <math>Q_{n-1}</math>
oraz stałą <math> \displaystyle \lambda.</math>
oraz stałą <math>\lambda</math>.


Pozostaje jeszcze do obliczenia
Pozostaje jeszcze do obliczenia


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


Linia 915: Linia 902:
jednej z całek
jednej z całek


<center><math> \displaystyle \int\frac{dt}{\sqrt{1-t^2}}
<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 929: Linia 916:
Policzyć
Policzyć


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


gdzie <math> \displaystyle R</math> jest stałą dodatnią.
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> \displaystyle \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>


Wielomian <math> \displaystyle R^2-x^2</math> jest stopnia <math> \displaystyle 2</math> zatem
Wielomian <math>R^2-x^2</math> jest stopnia <math>2</math>, zatem


<center><math> \displaystyle \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 947: Linia 934:
Stąd
Stąd


<center><math> \displaystyle 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> \displaystyle -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> \displaystyle 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> \displaystyle \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> \displaystyle \frac{x}{R}=t</math> (zatem
<math>\frac{x}{R}=t</math> (zatem
<math> \displaystyle \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 & =& \displaystyle \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>


Reasumując, mamy
Reasumując, mamy


<center><math> \displaystyle \int\sqrt{R^2-x^2}\,dx
<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
\frac{x}{R} +c.
\frac{x}{R} +c
</math></center>
</math></center>


Linia 984: Linia 971:
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> \displaystyle f(x)=x^r(a+bx^s)^p</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 993: Linia 980:
Funkcja
Funkcja


<center><math> \displaystyle f(x)
<center><math>f(x)
\ =\
=
x^r(a+bx^s)^p,
x^r(a+bx^s)^p,
\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>


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> \displaystyle p\in\mathbb{Z}</math>
'''(1)''' <math>p\in\mathbb{Z}</math>
(robimy podstawienie <math> \displaystyle x=z^N,</math> gdzie <math> \displaystyle N</math> jest wspólnym
(robimy podstawienie <math>x=z^N</math>, gdzie <math>N</math> jest wspólnym
mianownikiem ułamków <math> \displaystyle r</math> i <math> \displaystyle s</math>);<br>
mianownikiem ułamków <math>r</math> i <math>s</math>);<br>
'''(2)'''
'''(2)'''
<math> \displaystyle  \frac{r+1}{s}\in\mathbb{Z}</math>
<math>\frac{r+1}{s}\in\mathbb{Z}</math>
(robimy podstawienie <math> \displaystyle a+bx^s=z^N,</math> gdzie <math> \displaystyle N</math> jest
(robimy podstawienie <math>a+bx^s=z^N</math>, gdzie <math>N</math> jest
mianownikiem ułamka <math> \displaystyle p</math>);<br>
mianownikiem ułamka <math>p</math>);<br>
'''(3)'''
'''(3)'''
<math> \displaystyle  \frac{r+1}{s}+p\in\mathbb{Z}</math>
<math>\frac{r+1}{s}+p\in\mathbb{Z}</math>
(robimy podstawienie <math> \displaystyle ax^{-s}+b=z^N,</math> gdzie <math> \displaystyle N</math> jest
(robimy podstawienie <math>ax^{-s}+b=z^N</math>, gdzie <math>N</math> jest
mianownikiem ułamka <math> \displaystyle p</math>).
mianownikiem ułamka <math>p</math>).
}}
}}


Linia 1021: 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> \displaystyle f(x)=\sqrt[3]{1+x^2}.</math><br>
'''(1)''' <math>f(x)=\sqrt[3]{1+x^2}</math>.<br>
'''(2)''' <math> \displaystyle f(x)=\sqrt[4]{1+x^2}.</math><br>
'''(2)''' <math>f(x)=\sqrt[4]{1+x^2}</math>.<br>
'''(3)''' <math> \displaystyle 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> \displaystyle f(x)=\sqrt[3]{1+x^2}</math> '''nie ma''' pierwotnej elementarnej, gdyż <math> \displaystyle \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> \displaystyle f(x)=\sqrt[4]{1+x^2}</math> '''nie ma''' pierwotnej elementarnej, gdyż <math> \displaystyle \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> \displaystyle f(x)=\sqrt[3]{1+\sqrt{x^3}} </math> ma pierwotną elementarną, gdyż <math> \displaystyle \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> \displaystyle  x^{-\frac{3}{2}}+1=z^3.</math> Wówczas <math> \displaystyle  x=\frac{1}{(z^3-1)^{\frac{2}{3}}},</math> czyli <math> \displaystyle  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> \displaystyle \int \sqrt[3]{1+\sqrt{x^3}}\,dx
<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
\ =\
=
\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 1049: Linia 1036:
Do policzenia całki postaci
Do policzenia całki postaci


<center><math> \displaystyle \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>


gdzie
gdzie
<math> \displaystyle R=R(x,\xi)</math> jest funkcją wymierną,
<math>R=R(x,\xi)</math> jest funkcją wymierną,
<math> \displaystyle 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> \displaystyle a>0.</math> Podstawiamy
* Niech <math>a>0</math>. Podstawiamy


<center><math> \displaystyle \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> \displaystyle c>0.</math> Podstawiamy
* Niech <math>c>0</math>. Podstawiamy


<center><math> \displaystyle \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> \displaystyle \mu,\lambda,</math> to znaczy <math> \displaystyle 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> \displaystyle \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 1062:
Całkę
Całkę


<center><math> \displaystyle \int\frac{\,dx}{x+\sqrt{x^2-x+1}}
<center><math>\int\frac{\,dx}{x+\sqrt{x^2-x+1}}
</math></center>
</math></center>


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


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


skąd
skąd


<center><math> \displaystyle x
<center><math>x
\ =\
=
\frac{t^2-1}{2t-1}
\frac{t^2-1}{2t-1}
</math></center>
</math></center>
Linia 1094: Linia 1080:
oraz
oraz


<center><math> \displaystyle 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> \displaystyle \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>


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> \displaystyle \int\frac{\,dx}{x+\sqrt{x^2-x+1}}</math> sprowadzimy
<math>\int\frac{\,dx}{x+\sqrt{x^2-x+1}}</math> sprowadzimy
teraz 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> \displaystyle \sqrt{x^2-x+1}=tx-1,
<center><math>\sqrt{x^2-x+1}=tx-1
</math></center>
</math></center>


skąd
skąd


<center><math> \displaystyle 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>


Podstawiając dostajemy
Podstawiając, dostajemy


<center><math> \displaystyle \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 1137: Linia 1122:
Aby policzyć całkę
Aby policzyć całkę


<center><math> \displaystyle \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>


stosujemy podstawienie
stosujemy podstawienie


<center><math> \displaystyle \mathrm{tg}\,\frac{x}{2}=t
<center><math>\mathrm{tg}\,\frac{x}{2}=t
</math></center>
</math></center>


Linia 1148: 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>


oraz
oraz


<center><math> \displaystyle x
<center><math>x
\ =\
=
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>


Po podstawieniu dostajemy całkę
Po podstawieniu dostajemy całkę


<center><math> \displaystyle \int
<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},
\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>


}}
}}


<span id="przyklad_13_27">{{przyklad|13.27.||
{{przyklad|13.27.|przyklad_13_27|


Obliczyć całkę
Obliczyć całkę
<math> \displaystyle \int\frac{dx}{2+\cos x}.</math>
<math>\int\frac{dx}{2+\cos x}</math>.
}}</span>
 
<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"> 
W całce tej stosujemy podstawienie
W całce tej stosujemy podstawienie
<math> \displaystyle  \mathrm{tg}\, \frac{x}{2}=t,</math>
<math>\mathrm{tg}\, \frac{x}{2}=t</math>,
wówczas
wówczas
<math> \displaystyle  x=2\mathrm{arctg}\, t</math>
<math>x=2\mathrm{arctg}\, t</math>
i
i
<math> \displaystyle  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>}}
 
</div></div>


{{uwaga|13.28.||
{{uwaga|13.28.||
Linia 1218: Linia 1198:
Aby policzyć całkę
Aby policzyć całkę


<center><math> \displaystyle \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>


stosujemy podstawienie
stosujemy podstawienie


<center><math> \displaystyle \mathrm{tg}\, x=t
<center><math>\mathrm{tg}\, x=t
</math></center>
</math></center>


Linia 1229: 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 1237: Linia 1217:
oraz
oraz


<center><math> \displaystyle x
<center><math>x
\ =\
=
\mathrm{arctg}\, t,\quad
\mathrm{arctg}\, t,\quad
\,dx=\frac{\,dt}{1+t^2}.
\,dx=\frac{\,dt}{1+t^2}
</math></center>
</math></center>


Zatem po podstawieniu dostajemy całkę
Zatem po podstawieniu dostajemy całkę


<center><math> \displaystyle \int
<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},
\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 1257: Linia 1237:


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


<center><math> \displaystyle \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 1279: Linia 1257:
Zatem
Zatem


<center><math> \displaystyle \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>}}
 
</div></div>

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