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 – „\</math>” na „\ </math>”
Nie podano opisu zmian
Linia 277: 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 289: 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 311: 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 332: Linia 332:
(f\cdot g)'
(f\cdot g)'
-
-
f\cdot g'.
f\cdot g'
</math></center>
</math></center>


Linia 371: Linia 371:
<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 385: Linia 385:
(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 399: Linia 399:
<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 466: Linia 466:
-\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 477: Linia 477:
<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 537: Linia 537:
-\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 552: Linia 552:
\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>
Linia 567: Linia 567:
-\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 596: Linia 596:
\frac{1}{2}\sin^2x
\frac{1}{2}\sin^2x
=
=
-\frac{1}{4},
-\frac{1}{4}
</math></center>
</math></center>


Linia 617: Linia 617:
&\ldots&(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 626: Linia 626:
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 636: Linia 636:


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


Linia 663: Linia 663:
=
=
\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 676: Linia 676:
=
=
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 688: Linia 688:
=
=
\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 729: Linia 729:
\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>


Linia 735: Linia 735:


<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 756: Linia 756:
& = &
& = &
\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 776: Linia 776:
<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 794: Linia 794:
<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 801: Linia 801:
<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 836: Linia 836:
=
=
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 868: Linia 868:
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 880: Linia 880:
=
=
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>


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


Linia 900: Linia 900:
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 920: Linia 920:
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 926: Linia 926:
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 933: Linia 933:
<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 940: Linia 940:
<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>


Linia 968: Linia 968:
=
=
\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 989: Linia 989:
\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 1032: Linia 1032:
\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 1040: Linia 1040:
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 1054: Linia 1054:
* 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 1073: Linia 1073:
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 1087: Linia 1087:
<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 1101: Linia 1101:
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 1108: Linia 1108:
<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 1128: Linia 1128:
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 1151: Linia 1151:
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 1160: Linia 1160:
\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 1197: Linia 1197:
2\mathrm{arctg}\, s+c
2\mathrm{arctg}\, s+c
=
=
2\mathrm{arctg}\,\bigg(\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 1204: Linia 1204:
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 1226: Linia 1226:
=
=
\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 1235: Linia 1235:
\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 1257:
\int\frac{\frac{1}{1+t^2}}{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 1265: Linia 1265:
<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>}}

Wersja z 22:08, 10 wrz 2023

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