Analiza Matematyczna. Całka Riemanna
Aleksander Denisiuk denisiuk@pjwstk.edu.pl
Polsko-Japo ´nska Wy˙zsza Szkoła Technik Komputerowych Wydział Informatyki w Gda ´nsku
ul. Brzegi 55 80-045 Gda ´nsk
Całka Riemanna
•Całka Riemanna •Całka oznaczona •Wła´sciwo´sci •Oszacowanie •Twierdzenie Newtona-Leibniza •Całki niewła´sciweNajnowsza wersja tego dokumentu dost ˛epna jest pod adresem http://users.pjwstk.edu.pl/~denisjuk/
Definicja całki oznaczonej
•Całka Riemanna •Całka oznaczona •Wła´sciwo´sci •Oszacowanie •Twierdzenie Newtona-Leibniza •Całki niewła´sciweNiech
f
(x)
b ˛edzie funkcj ˛a ograniczon ˛a na sko ´nczonym przedziale[a, b]
.Definicja 1. 1. Niech dane b ˛ed ˛a punkty
a
= x
0< x
1<
· · · < x
n= b
. Mówimy wówczas, ˙ze okre´slony jest podziałP
n przedziału(a, b)
.2. Przedziały
[x
i−1, x
i]
, gdziei
= 1, 2, . . . , n
, nazwiemyprzedziałami cz ˛astkowymi podziału.
3. Długo´sci przedziałów
[x
i, x
i−1]
oznaczamy przez∆
i(
∆
i= x
i− x
i−1), a maksymaln ˛a z nich,∆(P
n) = max
i=1,...,n
∆
iDefinicja całki oznaczonej, cd
•Całka Riemanna •Całka oznaczona •Wła´sciwo´sci •Oszacowanie •Twierdzenie Newtona-Leibniza •Całki niewła´sciwe4. Niech dane b ˛ed ˛a równie˙z w ˛ezły
ξ
i∈ [x
i−1, x
i]
, gdziei
= 1, . . . , n
. Sum ˛eS(f, P
n) =
nP
i=1f
(ξ
i)∆
i nazwiemy sum ˛a całkow ˛a.5. Granic ˛e (o ile istnieje)
lim
n→∞ ∆(Pn)→0
S
(f, P
n)
nazwiemy całk ˛aoznaczon ˛a (całk ˛a Riemanna), oznaczamy
b
R
a
f
(x) dx
. FunkcjaSens geometryczny całki oznaczonej
•Całka Riemanna •Całka oznaczona •Wła´sciwo´sci •Oszacowanie •Twierdzenie Newtona-Leibniza •Całki niewła´sciwe a = x0 ξ1 x1 ξ2 x2 ξ3 x3 ξ4 x4 ξ5 x5 = bSens geometryczny całki oznaczonej, cd
•Całka Riemanna •Całka oznaczona •Wła´sciwo´sci •Oszacowanie •Twierdzenie Newtona-Leibniza •Całki niewła´sciweNiech b ˛edzie
f
(x) > 0
dlax
∈ [a, b]
. Suma całkowa,odpowiadaj ˛aca podziałowi
P
n i wyborowi w ˛ezłówξ
i równa jest polufigury, zło˙zonej z prostok ˛atów, zobacz rysunek 1. Granica pól takich figur, czyli całka zgadza si ˛e z polem trapezu krzywoliniowego, i.e.,
obszaru ograniczonego łukiem krzywej
y
= f (x)
, odcinkiem osiOx
oraz prostymi
x
= a
ix
= b
.Je˙zeli za´s w przedziale
[a, b]
jestf
(x) 6 0
, to analogiczne pole równa si ˛e−
bZ
af
(x) dx.
Klasy funkcji całkowalnych
•Całka Riemanna •Całka oznaczona •Wła´sciwo´sci •Oszacowanie •Twierdzenie Newtona-Leibniza •Całki niewła´sciweTwierdzenie 2. Ci ˛agła w przedziale
[a, b]
funkcja jest całkowalna. Twierdzenie 3. Funkcja ograniczona i ci ˛agła w przedziale[a, b]
z wyj ˛atkiem co najwy˙zej sko ´nczonej liczby punktów jest całkowalna.
Twierdzenie 4. Monotoniczna w przedziale
[a, b]
funkcja jest całkowalna.Suma i ró˙znica całek
•Całka Riemanna •Całka oznaczona •Wła´sciwo´sci •Oszacowanie •Twierdzenie Newtona-Leibniza •Całki niewła´sciweTwierdzenie 5. Niech funkcje
f
(x)
ig(x)
b ˛ed ˛a całkowalnew przedziale
[a, b]
. Wtedyf
(x) ± g(x)
b ˛edzie funkcj ˛a całkowaln ˛a orazR
abf
(x) ± g(x)
dx = R
abf
(x) dx ±
R
abg
(x) dx
.Dowód. Rozwa˙zmy sumy całkowe:
S
(f ± g, P
n) =
nX
i=1f
(ξ
i) ± g(ξ
i)∆
i=
=
nX
i=1f
(ξ
i)∆
i±
nX
i=1g(ξ
i)∆
i= S(f, P
n) ± S(g, P
n).
Liniowo ´s ´c całki wzgl ˛edem mno˙zenia przez liczb ˛e
•Całka Riemanna •Całka oznaczona •Wła´sciwo´sci •Oszacowanie •Twierdzenie Newtona-Leibniza •Całki niewła´sciweTwierdzenie 6. Niech funkcja
f
(x)
b ˛edzie całkowaln ˛a w przedziale[a, b]
. Wtedyλf
(x)
, gdzieλ
∈ R
b ˛edzie funkcj ˛a całkowaln ˛a orazR
ba
λf
(x) dx = λ
R
ba
f
(x) dx
.Własno ´sci funkcji całkowalnych
•Całka Riemanna •Całka oznaczona •Wła´sciwo´sci •Oszacowanie •Twierdzenie Newtona-Leibniza •Całki niewła´sciweTwierdzenie 7. Niech funkcje
f
(x)
ig(x)
b ˛ed ˛a całkowalnew przedziale
[a, b]
. Wtedyf
(x) · g(x)
b ˛edzie funkcj ˛a całkowaln ˛a. Twierdzenie 8. Niech funkcjaf
(x)
b ˛edzie całkowalna w przedziale[a, b]
. Wtedy|f(x)|
te˙z b ˛edzie funkcj ˛a całkowaln ˛a.Twierdzenie 9. Niech funkcja
f
(x)
b ˛edzie całkowaln ˛a w przedziale[a, b]
. Wtedyf
(x)
b ˛edzie całkowaln ˛a w dowolnym przedzialeWłasno ´sci funkcji całkowalnych, cd.
•Całka Riemanna •Całka oznaczona •Wła´sciwo´sci •Oszacowanie •Twierdzenie Newtona-Leibniza •Całki niewła´sciweDefinicja 10. Umówmy si ˛e, ˙ze dla fukcji
f
(x)
, całkowalnejw przedziale
[a, b]
1. aR
bf
(x) dx = −
bR
af
(x) dx
2. aR
af
(x) dx = 0
.Twierdzenie 11. Niech funkcja
f
(x)
b ˛edzie całkowaln ˛aw przedziałach
[a, c]
oraz[c, b]
. Wtedyf
(x)
b ˛edzie całkowaln ˛aw przedziale
[a, b]
orazb
R
af
(x) dx =
cR
af
(x) dx +
bR
cf
(x) dx.
Oszacowanie całek
•Całka Riemanna •Całka oznaczona •Wła´sciwo´sci •Oszacowanie •Twierdzenie Newtona-Leibniza •Całki niewła´sciweTwierdzenie 12. Niech funkcja
f
(x)
b ˛edzie całkowaln ˛aw przedziale
[a, b]
orazf
(x) > 0
przyx
∈ [a, b]
. Wtedyb
R
af
(x) dx > 0
. Dowód.S
(f, P
n) =
nX
i=1f
(ξ
i)∆
i>
0.
Oszacowanie całek, cd.
•Całka Riemanna •Całka oznaczona •Wła´sciwo´sci •Oszacowanie •Twierdzenie Newtona-Leibniza •Całki niewła´sciweWniosek 14. Niech funkcja
f
(x)
b ˛edzie całkowalna w przedziale[a, b]
. Wtedy bR
af
(x) dx
6
bR
af
(x)
dx
.Twierdzenie 15. Niech funkcja
f
(x)
b ˛edzie całkowalnaw przedziale
[a, b]
,M
= sup
x∈[a,b]
f
(x)
,m
= inf
x∈[a,b]f
(x)
. Wtedy∃µ
,m 6 µ 6 M
, takie ˙ze bR
af
(x) dx = µ · (b − a)
.Całka oznaczona a całka nieoznaczona
•Całka Riemanna •Całka oznaczona •Wła´sciwo´sci •Oszacowanie •Twierdzenie Newtona-Leibniza •Całki niewła´sciweTwierdzenie 16. Niech funkcj ˛a
f
(x)
b ˛edzie ci ˛agł ˛a w przedziale[a, b]
. Wtedyx
R
a
f
(t) dt
jest funkcj ˛a pierwotn ˛a dlaf
(x)
.Wniosek 17. Niech funkcj ˛a
f
(x)
b ˛edzie ci ˛agł ˛a w przedziale[a, b]
.Wtedy istnieje funkcja pierwotna dla
f
(x)
.Wniosek 18 (Twierdzenie Newtona-Leibniza). Niech funkcj ˛a
f
(x)
b ˛edzie ci ˛agł ˛a w przedziale
[a, b]
,F
(x)
b ˛edzie funkcj ˛a pierwotn ˛a. Wtedy bR
af
(x) dx = F (x)
ba
,
gdzie u˙zyto oznaczenieF
(x)
b a= F (b) − F (a)
.Przykłady
•Całka Riemanna •Całka oznaczona •Wła´sciwo´sci •Oszacowanie •Twierdzenie Newtona-Leibniza •Całki niewła´sciwe 1. 1R
0x
ndx
=
xn+1n+1 1 0=
1 n+1,n
6= −1
, 2. πR
0sin x dx = − cos x
π 0= 2
, 3. 1R
04
1+xdx2= 4 arctg x
1 0= π
.Zamiana zmiennej w całce oznaczonej
•Całka Riemanna •Całka oznaczona •Wła´sciwo´sci •Oszacowanie •Twierdzenie Newtona-Leibniza •Całki niewła´sciweTwierdzenie 19. Niech funkcja
ϕ
′(x)
b ˛edzie ci ˛agł ˛a w przedziale[α, β]
, funkcjaϕ
(x)
b ˛edzie monotoniczn ˛a w tym przedziale, ag
(t)
b ˛edzie ci ˛agł ˛a w przedziale
(ϕ(α), ϕ(β))
. Wtedyβ
R
αg
(ϕ(t))ϕ
′(t) dt =
ϕ(β)R
ϕ(α)g
(x) dx.
Dowód. Niech
G
(x)
b ˛edzie funkcj ˛a pierwotn ˛a dlag
(x)
. WtedyPrzykłady
•Całka Riemanna •Całka oznaczona •Wła´sciwo´sci •Oszacowanie •Twierdzenie Newtona-Leibniza •Całki niewła´sciwe 1. 1R
0x
√
1 + x
2dx
=
1 + x
2= t
2x dx = dt
=
12 2R
1√
t dt
=
12·
23t
3/2 2 1=
√ 8−1 3 . 2. π/2R
0sin
3x dx
=
π/2R
0sin x(1 − cos
2x) dx =
cos x = t
− sin x dx = dt
= −
0R
1(1 − t
2) dt = (
1 3t
3− t)
0 1=
2 3.Całkowanie przez cz ˛e ´sci w całce oznaczonej
•Całka Riemanna •Całka oznaczona •Wła´sciwo´sci •Oszacowanie •Twierdzenie Newtona-Leibniza •Całki niewła´sciweTwierdzenie 20. Niech funkcje
u
′(x)
orazv
′(x)
b ˛ed ˛a ci ˛agłew przedziale
[a, b]
. WtedyZ
b au(x)v
′(x) dx = u(x)v(x)
b a−
Z
b au
′(x)v(x) dx.
Przykład 21. π/2R
0x
cos x dx =
u
(x) = x
v
′(x) = cos x
u
′(x) = 1
v(x) = sin x
=
x
sin x
π 2 0−
π/2R
0sin x dx =
π2+ cos x
π 2 0=
π 2− 1.
Całki niewła ´sciwe
•Całka Riemanna •Całka oznaczona •Wła´sciwo´sci •Oszacowanie •Twierdzenie Newtona-Leibniza •Całki niewła´sciweDefinicja 22 (Całki funkcji nieograniconych). Niech funkcja
f
(x)
b ˛edzie całkowalna w ka˙zdym przedziale
[a, b − ε]
(ε >
0
). Wtedyb
Z
af
(x) dx = lim
ε→0 b−εZ
af
(x) dx
Definicja 23 (Całki w przedziale niesko ´nczonym). Niech funkcja
f
(x)
b ˛edzie całkowalna w ka˙zdym przedziale[a, N
(N > a
). Wtedy∞