Notatki z Analizy Matematycznej 4 Jacek M. Jędrzejewski

Transkrypt

Notatki z Analizy Matematycznej 4 Jacek M. Jędrzejewski
Notatki z Analizy Matematycznej 4
Jacek M. Jędrzejewski
ROZDZIAŁ 7
Całka Riemanna
1. Całka nieoznaczona
Definicja 7.1. Niech f : (a, b) −→ R będzie dowolną funkcją. Jeżeli dla pewnej funkcji
F : (a, b) −→ R spełniona jest równość
F 0 (x) = f (x)
dla każdego x ∈ (a, b), to funkcję F nazywamy funkcją pierwotną funkcji f w przedziale (a, b).
Definicja 7.2. Niech f : [a, b] −→ R będzie funkcją. Jeżeli dla pewnej funkcji F : [a, b] −→ R
ma miejsce równość
F 0 (x) = f (x)
dla x ∈ (a, b)
oraz
F+0 (a) = f (a)
i
F−0 (b) = f (b),
to funkcję F nazywamy funkcją pierwotną funkcji f w przedziale [a, b].
Własność 7.1. Dwie funkcje pierwotne danej funkcji różnią się o stałą.
Istotnie, jeśli F i G są dwiema funkcjami pierwotnymi funkcji f, to
F 0 (x) − G0 (x) = f (x) − f (x) = 0
dla każdego x ∈ (a, b), więc funkcja F − G jest stała.
Rodzinę funkcji pierwotnych danej funkcji nazywamy całką nieoznaczoną tej funkcji.
2. Definicja całki Riemanna
Niech f : [a, b] −→ R będzie funkcją ograniczoną. Podziałem π przedziału [a, b] nazywamy
skończony ciąg
π = (x0 , x1 , . . . , xn ) ,
taki, że
a = x0 < x1 < · · · < xn = b.
Zbiór wszystkich możliwych podziałów przedziału [a, b] będziemy oznaczali symbolem Ξ.
Dla podziału π tworzymy tzw. sumę górną i sumę dolną całkową funkcji f w sposób następujący:
S(π) =
n
X
i=1
sup {f (x) : x ∈ [xi−1 , xi ]} · (xi − xi−1 ),
60
Jacek M. Jędrzejewski
s(π) =
n
X
inf {f (x) : x ∈ [xi−1 , xi ]} · (xi − xi−1 ).
i=1
Czasem sumy te będziemy oznaczali z oznaczeniem funkcji i podziału, dla których są te sumy
zbudowane; wtedy oznaczenia te są następujące: sf (π) i Sf (π).
Oczywiście, prawdziwa jest nierówność s(π) ¬ S(π).
Podział π2 nazywamy drobniejszym od podziału π1 , gdy każdy punkt ciągu tworzącego
podział π1 jest punktem podziału π2 . W takim przypadku będziemy pisali π1 ≺ π2 .
Łatwo dowodzimy następujących własności.
Własność 7.2. Jeśli π1 ≺ π2 to
s(π1 ) ¬ s(π2 ) ¬ S(π2 ) ¬ S(π1 ).
Własność 7.3. Dla dowolnych podziałów π1 i π2 przedziału [a, b] spełniona jest nierówność
(b − a) · c ¬ s(π1 ) ¬ S(π2 ) ¬ (b − a) · d,
gdzie c = inf {f (x) : x ∈ [a, b]} , oraz d = sup {f (x) : x ∈ [a, b]} .
Zauważamy teraz, że zbiory
{s(π) : π ∈ Ξ} , {S(π) : π ∈ Ξ}
są ograniczone; istnieją więc kresy tych zbiorów. Mamy przy tym:
Własność 7.4. Dla dowolnej funkcji f : [a, b] −→ R ograniczonej w przedziale [a, b] mamy
c(b − a) ¬ sup {s(π) : π ∈ Ξ} ¬ inf {S(π) : π ∈ Ξ} ¬ d(b − a),
gdzie
c = inf {f (x) : x ∈ [a, b]} ,
oraz d = sup {f (x) : x ∈ [a, b]} .
Definicja 7.3. Liczbę
sup {s(π) : π ∈ Ξ}
nazywamy całką dolną funkcji f w przedziale [a, b] (dokładniej, dolną całką Darboux) i oznaczamy symbolem
Z b
f (x)dx,
a
zaś liczbę
inf {S(π) : π ∈ Ξ}
nazywamy całką górną funkcji f w przedziale [a, b] (górną całką Darboux) i oznaczamy symbolem
Z b
a
f (x)dx,
Notatki z analizy
61
Definicja 7.4. Jeśli dla ograniczonej funkcji f : [a, b] −→ R, całka dolna jest równa całce
górnej, to mówimy, że funkcja f jest całkowalna w sensie Riemanna w przedziale [a, b]; wspólną
wartość całki dolnej i całki górnej nazywamy całką Riemanna funkcji f w przedziale [a, b] i
oznaczamy symbolem
Z b
f (x) dx.
a
3. Własności całki Riemanna
Twierdzenie 7.1. Jeżeli funkcja f : [a, b] −→ R jest ograniczona, to jest całkowalna wtedy
i tylko wtedy, gdy dla każdej liczby dodatniej ε istnieje podział π przedziału [a, b], dla którego
(0 ¬)S(π) − s(π) < ε.
Bezpośrednio z definicji całki Riemanna i kresów zbioru wynika:
Wniosek 7.1. Jeżeli funkcja f : [a, b] −→ R jest ograniczona, to jest całkowalna wtedy i
tylko wtedy, gdy istnieje liczba I taka, że dla każdej liczby dodatniej ε istnieje podział π przedziału
[a, b], dla którego
|I − s(π)| < ε
|I − S(π)| < ε.
i
Wtedy, jeśli funkcja jest całkowalna, to jej całką jest liczba I.
Twierdzenie 7.2. Każda funkcja ciągła f : [a, b] −→ R jest całkowalna.
Twierdzenie 7.3. Jeśli funkcja f : [a, b] −→ R jest całkowalna oraz istnieją liczby c i d
takie, że
c ¬ f (x) ¬ d,
x ∈ [a, b],
dla
to
c·(b − a) ¬
Z b
f (x) dx ¬ d·(b − a).
a
Twierdzenie 7.4. Niech f : [a, b] −→ R i g : [a, b] −→ R będą funkcjami całkowalnymi i α
liczbą rzeczywistą. Wówczas następujące funkcje:
f + g,
f − g,
α·f
są całkowalne i spełnione są równości:
Z b
(f + g)(x) dx =
a
Z b
Z b
f (x) dx +
a
(f − g)(x) dx =
a
Z b
a
g(x) dx,
a
f (x) dx −
a
Z b
Z b
(αf )(x) dx = α ·
Z b
g(x) dx,
a
Z b
a
f (x) dx.
62
Jacek M. Jędrzejewski
Twierdzenie 7.5. Jeżeli funkcja f : [a, b] −→ R jest całkowalna w przedziale [a, b], to jest
całkowalna w każdym podprzedziale [c, d] przedziału [a, b]. Ponadto, jeśli c ∈ (a, b), to
Z c
f (x) dx +
a
Z b
f (x) dx =
Z b
c
g(x) dx
a
Prawdziwe jest też twierdzenie odwrotne.
Twierdzenie 7.6. Jeśli c ∈ (a, b) i funkcja f : [a, b] −→ R jest całkowalna w przedziałach
[a, c] i [c, b], to funkcja f jest całkowalna w przedziale [a, b] i
Z c
f (x) dx +
a
Z b
f (x) dx =
Z b
c
g(x) dx
a
Twierdzenie 7.7. Jeśli funkcja f : [a, b] −→ R ma skończony lub przeliczalny zbiór punktów nieciągłości, to jest całkowalna w przedziale [a, b].
Twierdzenie 7.8. Jeśli funkcje
f : [a, b] −→ R
g : [a, b] −→ R
i
są całkowalne i f (x) ¬ g(x) dla wszystkich x ∈ [a, b], to
Z b
Z b
f (x) dx ¬
g(x) dx.
a
a
Twierdzenie 7.9. Jeżeli funkcja f : [a, b] −→ R jest całkowalna, to funkcja |f | też jest
całkowalna i
Z
b
f (x) dx
a
¬
Z b
|f (x)| dx.
a
Twierdzenie 7.10. (Twierdzenie o wartości średniej)
Jeśli funkcja
f : [a, b] −→ R jest ciągła w przedziale [a, b], to istnieje punkt c ∈ [a, b] taki, że
1 Zb
f (x)dx = f (c).
b−a a
4. Podstawowe twierdzenie rachunku całkowego
Twierdzenie 7.11. Jeśli funkcja f : [a, b] −→ R jest ciągła, to funkcja F : [a, b] −→ R określona w następujący sposób:
F (x) =
Z x
f (t)dt
a
jest ciągła.
Twierdzenie 7.12. (Podstawowe tw. rachunku całkowego)
f : [a, b] −→ R jest funkcją ciągłą i F : [a, b] −→ R jest określona następująco:
F (x) =
Z x
f (t)dt
dla
x ∈ [a, b],
a
to funkcja F jest różniczkowalna w każdym punkcie przedziału (a, b) oraz
F 0 (x) = f (x), dla x ∈ (a, b).
Jeśli
Notatki z analizy
63
Z powyższego twierdzenia wynika równość:
Z b
f (x)dx = F (b).
a
Na mocy poprzedniej własności zaś stwierdzamy:
Twierdzenie 7.13. Niech f : [a, b] −→ R będzie funkcją ciągłą. Jeśli G : [a, b] −→ R jest
funkcją pierwotną funkcji f, to
Z b
f (x)dx = G(b) − G(a).
a
Wniokujemy zatem, że powyżej określona funkcja F jest funkcją pierwotną funkcji f.
5. Dalsze własności całki
Twierdzenie 7.14. (O całkowaniu przez części)
Niech f i g będą funkcjami ciągłymi w przedziale [a, b], różniczkowalnymi w przedziale (a, b) i
pochodne będą ciągłe w przedziale (a, b). Wtedy
Z b
0
(f · g) (x)dx = (f g)(b) − (f g)(a) −
Z b
(g 0 · f ) (x)dx.
a
a
Twierdzenie 7.15. (O całkowaniu przez podstawianie)
Niech g : [a, b] −→ [c, d] będzie funkcją ciągłą spełniającą następujące warunki:
1. g(a) = c, g(b) = d,
2. g ma ciągłą pochodną w przedziale (a, b),
3. g 0 (x) 6= 0 dla każdego x ∈ (a, b).
Jeśli f : [c, d] −→ R jest funkcją ciągłą, to
Z d
f (x)dx =
c
Z b
f (g(t)) · g 0 (t)dt.
a
Twierdzenie 7.16. Niech (fn )∞
n=1 będzie ciągiem funkcji ciągłych w przedziale [a, b] zbieżnym jednostajnie do funkcji f. Wtedy funkcja f jest całkowalna w przedziale [a, b] i
lim
Z b
n→∞ a
Wniosek Jeżeli szereg
P∞
n=1
fn (x)dx =
Z b
f (x)dx.
a
fn funkcji ciągłych w przedziale [a, b] jest jednostajnie zbieżny
do funkcji f : [a, b] −→ R, to funkcja f jest całkowalna i
∞ Z b
X
n=1 a
fn (x)dx =
Z b
a
f (x)dx.

Podobne dokumenty