Numerikus sorok - Index of
Numerikus sorok - Index of
Numerikus sorok - Index of
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
VIK, Műszaki Informatika<br />
ANALÍZIS (1)<br />
<strong>Numerikus</strong> <strong>sorok</strong><br />
Oktatási segédanyag<br />
A Villamosmérnöki és Informatikai Kar<br />
műszaki informatikus hallgatóinak tartott előadásai alapján<br />
összeállította:<br />
Fritz Józsefné dr.<br />
Kónya Ilona<br />
2004. szeptember<br />
Szerkesztette: Győri Sándor
1. <strong>Numerikus</strong> <strong>sorok</strong> konvergenciája<br />
A<br />
∑ ∞ a k<br />
k=1<br />
módon:<br />
végtelen összeghez hozzárendelünk egy ( s n ) számsorozatot a következő<br />
s n :=<br />
n∑<br />
a k :<br />
k=1<br />
∞∑<br />
k=1<br />
a k = a }{{} 1 +a 2 +a 3 + · · · + a n + · · ·<br />
s<br />
}<br />
1<br />
{{ }<br />
s<br />
}<br />
2<br />
{{ }<br />
s<br />
}<br />
3<br />
{{ }<br />
s n<br />
n-edik részletösszeg<br />
E számsorozat határértékének segítségével definiáljuk a sor összegét az alábbiaknak<br />
megfelelően.<br />
✎☞ ∑ ∞<br />
✍✌ D A a k numerikus sor konvergens és összege s , ha létezik a<br />
k=1<br />
(véges) határérték.<br />
( n∑<br />
)<br />
lim s n = lim a k = s ∈ R<br />
n→∞ n→∞<br />
k=1<br />
A részletösszegek (s n ) sorozatának viselkedése szerint az alábbi esetek lehetségesek:<br />
⎧<br />
s ∈ R ,<br />
∞∑<br />
n∑<br />
⎪⎨ ⎫ az összeg konvergens<br />
+∞ , ⎬<br />
a k = lim a k = lim s n =<br />
n→∞<br />
n→∞ −∞ , az összeg divergens.<br />
k=1<br />
k=1<br />
⎪⎩ ⎭<br />
∄ ,<br />
✓✏ ∞∑<br />
∑<br />
Pl.<br />
✒✑ 1 = 1 + 1 + 1 + 1 + · · · esetén s n = n 1 = n<br />
k=1<br />
k=1<br />
=⇒ lim<br />
n→∞<br />
s n = ∞<br />
(Divergens a sor.)<br />
✓✏ ∞∑<br />
Pl.<br />
✒✑ (−1) k+1 = 1 − 1 + 1 − 1 + · · · + (−1) k + · · · divergens, mert<br />
k=1<br />
c○ Kónya I. – Fritz Jné – Győri S. 1 v1.4
s 2k+1 = 1 → 1<br />
s 2k = 0 → 0<br />
}<br />
=⇒ (s n ) -nek 2 torlódási pontja van, a sor divergens.<br />
✓✏<br />
Pl.<br />
✒✑<br />
∞∑<br />
( ) k 1<br />
= 1 ( ) 2 ( n<br />
(<br />
1 1<br />
2 2 + 1 1<br />
) n<br />
2 − 1<br />
+ · · · + + · · · = lim<br />
2<br />
2)<br />
n→∞<br />
1<br />
2<br />
k=1 } {{ }<br />
− 1 = 1 2<br />
2<br />
} {{ }<br />
s n<br />
s n<br />
−1<br />
− 1 2<br />
= 1 ,<br />
tehát a sor konvergens.<br />
✓✏<br />
Pl.<br />
✒✑<br />
∞∑ 1<br />
k (k + 1) = 1 , mert<br />
k=1<br />
lim<br />
n→∞<br />
n∑<br />
k=1<br />
1<br />
k (k + 1) = lim<br />
n→∞<br />
(( ) −1<br />
= lim<br />
n→∞ 2 + 1 +<br />
(<br />
= lim 1 − 1<br />
n→∞ n + 1<br />
(<br />
n∑ −1<br />
k=1 k + 1 + 1 )<br />
=<br />
k<br />
( −1<br />
3 + 1 ) ( −1<br />
+<br />
2 4 + 1 ) ( −1<br />
+ · · · +<br />
3<br />
n + 1 + 1 ))<br />
=<br />
n<br />
)<br />
= 1, konvergens a sor.<br />
✓✏∞∑<br />
1<br />
Pl.<br />
✒✑ k<br />
k=1<br />
(harmonikus sor) divergens<br />
Ugyanis<br />
( ( 1 1<br />
s 2 k = 1+ +<br />
2)<br />
3 4)<br />
+ 1 ( 1<br />
+<br />
5 + 1 6 + 1 7 + 1 (<br />
+· · ·+ · · · +<br />
8)<br />
1 )<br />
+<br />
2 k−1<br />
≥ 1 + 1 2 + 2 · 1<br />
4 + 4 · 1<br />
8 + · · · + 2k−1 · 1<br />
2 k = 1 + k · 1<br />
2 → ∞<br />
lim s 2 = ∞ =⇒ ∑ ∞<br />
1<br />
k→∞ k k = ∞<br />
Ugyanis s n ≥ s 2 k, ha n > 2 k miatt lim<br />
n→∞<br />
s n = ∞.<br />
•••<br />
k=1<br />
(<br />
1<br />
2 k−1 + 1 + · · · + 1 )<br />
≥<br />
2 k<br />
c○ Kónya I. – Fritz Jné – Győri S. 2 v1.4
✎☞<br />
✍✌ T Geometriai sor<br />
1 + q + q 2 + · · · =<br />
⎧<br />
1<br />
∞∑<br />
⎪⎨ , ha |q| < 1<br />
1 − q<br />
q k−1 = ∞ , ha q ≥ 1<br />
⎪⎩<br />
divergens , ha q ≤ −1<br />
k=1<br />
✎☞ ∑<br />
✍✌ B sn = n k=1<br />
q k−1 = 1 + q + q 2 + · · · + q n−1<br />
Ha q = 1 :<br />
s n = n , ezért lim s n = ∞ .<br />
n→∞<br />
Ha q ≠ 1 :<br />
s n = qn − 1<br />
q − 1 .<br />
Mivel q n → 0 , ha |q| < 1 , ezért<br />
lim n =<br />
−1<br />
n→∞ q − 1 = 1 , ha |q| < 1.<br />
1 − q<br />
Mivel q n → ∞ , ha q > 1 =⇒ s n → ∞ , ha q > 1.<br />
Ha q = −1 :<br />
q n -nek két torlódási pontja van, mégpedig t 1 = 1 , t 2 = −1 .<br />
=⇒ s n -nek is 2 torlódási pontja van: 0 és 1, tehát divergens.<br />
Ha q < −1 :<br />
q n -nek két torlódási pontja van, mégpedig t 1 = −∞ , t 2 = ∞ .<br />
=⇒ s n -nek is 2 torlódási pontja van: −∞ és ∞, tehát divergens.<br />
✓✏∞∑<br />
Pl.<br />
✒✑<br />
k=3<br />
q k = q 3 + q 4 + q 5 + · · · = q3<br />
1 − q<br />
, ha |q| < 1 .<br />
A részletösszegek a tételben szereplő részletösszegek q 3 -szeresei, így a határérték (a sor<br />
összege) is q 3 -nel szorzódik.<br />
✓✏∞∑<br />
Pl.<br />
✒✑ a q k =<br />
k=0<br />
k=1<br />
∞∑<br />
a q k−1 =<br />
a<br />
1 − q<br />
, ha |q| < 1<br />
Most a részletösszegek a tételben szereplő részletösszegek a -szorosai, így a határérték<br />
is ( a -szoros lesz.<br />
)<br />
első tag<br />
A képletet úgy érdemes megjegyezni, hogy s =<br />
1 − kvóciens .<br />
✎☞<br />
✍✌ M Ha a sorban véges sok tagot elhagyunk vagy megváltoztatunk, akkor a konvergencia<br />
ténye nem változik, konvergens sorból konvergens sort, divergens sorból divergens sort<br />
kapunk. A sorösszeg értéke természetesen megváltozik.<br />
c○ Kónya I. – Fritz Jné – Győri S. 3 v1.4
✎☞∑<br />
∞ ∞∑<br />
✍✌ M (c · a k ) és a k (c ≠ 0) egyszerre konvergens illetve divergens.<br />
k=1<br />
1<br />
n∑<br />
n∑<br />
(Ugyanis s n = a k és s ∗ n = (c · a k ) egyidejűleg konvergens illetve divergens.)<br />
k=1<br />
k=1<br />
✓✏∞∑<br />
Pl.<br />
✒✑<br />
k=2<br />
(−3) k+2<br />
2 2k+1 = (−3)2<br />
2 1 ∞<br />
∑<br />
k=2<br />
( ) k −3<br />
= 9 4 2<br />
( ) 2 −3<br />
4<br />
1 − ( −3<br />
4 )<br />
(<br />
q = −3<br />
4 , |q| < 1 teljesül. )<br />
✓✏∞∑<br />
Pl.<br />
✒✑<br />
k=1<br />
2 k + 3 k+1<br />
4 k+2 = ?<br />
s n =<br />
n∑<br />
( )<br />
2<br />
k<br />
3k+1<br />
+ =<br />
4k+2 4 k+2<br />
k=1<br />
( n∑<br />
s n = 1 ( ) k 1<br />
+ 3<br />
16 2<br />
k=1<br />
(<br />
n∑<br />
k=1<br />
n∑<br />
( ) k 3<br />
4)<br />
k=1<br />
1<br />
16 · ( 1<br />
2<br />
→ 1 ( 1<br />
16 · 2<br />
1 − 1 2<br />
) k<br />
+ 3 ( ) ) k 3<br />
16 · 4<br />
3<br />
)<br />
4<br />
+ 3 ·<br />
1 − 3 = 5 8<br />
4<br />
✓✏<br />
Pl.<br />
✒✑Milyen x-re konvergens a<br />
k=0<br />
∞∑<br />
(log 2 x) k sor?<br />
q = log 2 x, | log 2 x| < 1 ⇐⇒ −1 < log 2 x < 1,<br />
2 −1 < x < 2, azaz x ∈ (2 −1 , 2) .<br />
•••<br />
A konvergencia szükséges és elégséges feltétele (Cauchy kritérium):<br />
✎☞∑<br />
∞<br />
✍✌ T a k akkor és csak akkor konvergens, ha ∀ ε > 0-hoz ∃ M(ε):<br />
k=1<br />
|a n+1 + a n+2 + · · · + a n+k | < ε, ha n > M(ε) és k ∈ N +<br />
✎☞<br />
✍✌ B Triviálisan igaz, hiszen a számsorozatok konvergenciájára tanult szükséges és<br />
c○ Kónya I. – Fritz Jné – Győri S. 4 v1.4
elégséges tétel alkalmazható. (s n ) akkor és csak akkor konvergens, ha ∀ ε > 0 -hoz<br />
∃ M(ε) , hogy n, m > M(ε) esetén |s m − s n | < ε.<br />
Legyen m > n és m = n + k ! Mivel<br />
Ezért<br />
s n = a 1 + a 2 + · · · + a n ,<br />
s m = s n+k = a 1 + a 2 + · · · + a n + a n+1 + a n+2 + · · · + a n+k .<br />
ha n > M(ε) és k ∈ N + tetszőleges.<br />
|s m − s n | = |a n+1 + a n+2 + · · · + a n+k | < ε ,<br />
✓✏∞∑<br />
Pl.<br />
✒✑ (−1) n+1 1 n = 1 − 1 2 + 1 3 − 1 4 + · · ·<br />
n=1<br />
konvergens<br />
Ugyanis<br />
|s n+k − s n | = |a n+1 + a n+2 + · · · + a n+k | =<br />
1<br />
∣n + 1 − 1<br />
n + 2 + 1<br />
n + 3 − · · · + (−1)k+1<br />
n + k ∣ =<br />
⎧ ( 1<br />
n + 1 − 1 ) ( 1<br />
+<br />
n + 2 n + 3 − 1 ) (<br />
1<br />
+ · · · +<br />
n + 4<br />
n + k − 1 − 1 )<br />
=<br />
n + k<br />
} {{ } } {{ } } {{ }<br />
>0<br />
>0<br />
>0<br />
= 1 ( 1<br />
n + 1 − n + 2 − 1 ) ( ) 1<br />
− · · · − , ha k páros<br />
n + 3<br />
n + k<br />
} {{ } } {{ }<br />
>0<br />
>0<br />
⎪⎨<br />
=<br />
( 1<br />
n + 1 − 1 )<br />
n + 2<br />
} {{ }<br />
>0<br />
⎪⎩<br />
Vagyis<br />
= 1<br />
n + 1 − ( 1<br />
n + 3 − 1 ) (<br />
)<br />
1<br />
+ · · · +<br />
n + 4<br />
n + k − 2 − 1<br />
n + k − 1<br />
} {{ } } {{ }<br />
( 1<br />
+<br />
>0<br />
>0<br />
+ 1<br />
n + k =<br />
n + 2 − 1 ) (<br />
1<br />
− · · · −<br />
n + 3<br />
n + k − 1 − 1 )<br />
, ha k páratlan<br />
n + k<br />
} {{ } } {{ }<br />
>0<br />
>0<br />
|s n+k − s n | < 1<br />
n + 1 < ε, ha n > 1 ε − 1 =⇒ N(ε) ≥ [ 1<br />
ε − 1 ]<br />
Későbbiekben könnyen ellenőrizhetjük, hogy ez egy úgynevezett Leibniz sor.<br />
c○ Kónya I. – Fritz Jné – Győri S. 5 v1.4
1.1. A konvergencia szükséges feltétele<br />
✎☞<br />
✍✌ T<br />
(<br />
∑ ∞<br />
)<br />
a k konvergens<br />
k=1<br />
=⇒<br />
( )<br />
lim a k = 0<br />
k→∞<br />
✎☞<br />
✍✌ B A Cauchy kritériumból ( k = 1 választással):<br />
|s n+1 − s n | = |a n+1 | < ε, ha n > N(ε) =⇒ a n → 0<br />
Vagy (egy másik bizonyítás)<br />
s n = s n−1 + a n =⇒ a n = s n − s n−1 → s − s = 0<br />
✎☞<br />
✍✌ M A feltétel nem elégséges. Például a<br />
∞∑<br />
k=1<br />
1<br />
k<br />
sor a feltételt teljesíti, mégis divergens.<br />
2. Váltakozó előjelű (alternáló) <strong>sorok</strong><br />
c 1 − c 2 + c 3 − · · · + (−1) n+1 c n + · · · =<br />
∞∑<br />
(−1) n+1 c n , c n > 0<br />
Leibniz kritérium:<br />
✎☞<br />
✍✌ T Ha az alternáló sor tagjainak abszolút értékeiből képzett sorozat (fent (c n ) ) monoton<br />
fogyóan tart 0 -hoz ( jelben c n ↘ 0) , akkor a sor konvergens.<br />
Az ilyen alternáló sor neve: Leibniz sor.<br />
n=1<br />
✎☞<br />
✍✌ B Belátjuk, hogy s2k ↗ és felülről korlátos:<br />
Másrészt<br />
s 2k+2 = s 2k + (c 2k+1 − c<br />
} {{ 2k+2 ) ≥ s<br />
} 2k =⇒ s 2k ↗<br />
≥0<br />
0 ≤ s<br />
} {{ 2k+2 = c<br />
}<br />
1 − (c 2 − c 3 ) − (c } {{ } 4 − c 5 ) − · · · − (c } {{ }<br />
2k+2 ) ≤ c<br />
} {{ } 1<br />
az előzőből látható<br />
≥0<br />
≥0<br />
≥0<br />
c○ Kónya I. – Fritz Jné – Győri S. 6 v1.4
Tehát s 2k monoton növő és felülről korlátos =⇒ s 2k konvergens, legyen s =<br />
lim<br />
k→∞ s 2k.<br />
Megmutatjuk, hogy s 2k+1 → s szintén, és így a sor konvergens.<br />
s 2k+1 = s 2k + c 2k+1 → s + 0 = s<br />
✎☞<br />
✍✌ M Az is megmutatható, hogy az s 2k+1<br />
részsorozat monoton csökkenően tart s -hez.<br />
0 ≤ s 2k+1 = (c 1 − c 2 ) + (c 3 − c 4 ) + · · · + (c 2k−1 − c 2k ) + c 2k+1 =<br />
= (c 1 − c 2 ) + (c 3 − c 4 ) + · · · + c<br />
} {{ 2k−1 − (c<br />
} 2k − c 2k+1 )<br />
} {{ }<br />
s 2k−1<br />
≥ 0<br />
≤ s 2k−1<br />
Hibabecslés Leibniz típusú <strong>sorok</strong>nál<br />
Tehát a Leibniz típusú <strong>sorok</strong>nál a páros indexű részletösszegek s -nél kisebbek vagy<br />
egyenlők:<br />
s 2k ≤ s.<br />
A páratlan indexű elemek monoton csökkenve tartanak s -hez, ezért<br />
s ≤ s 2k+1 .<br />
Mivel<br />
s − s 2k ≤ s 2k+1 − s 2k = c 2k+1 és s 2k+1 − s ≤ s 2k+1 − s 2k+2 = c 2k+2 ,<br />
ezért<br />
|H| = |s − s n | ≤ c n+1 , ∀ n ∈ N .<br />
•••<br />
✓✏∞∑<br />
Pl.<br />
✒✑<br />
n=1<br />
(−1) n+1 1<br />
3√ 2n + 1<br />
=<br />
∞∑<br />
n=1<br />
(−1) n+1 c n<br />
A sor Leibniz típusú és így konvergens, mivel c n =<br />
1<br />
3√ 2n + 1<br />
↘ 0 .<br />
✓✏∞∑<br />
Pl.<br />
✒✑<br />
n=1<br />
(−1) n+1 1<br />
n√ 2n + 1<br />
=<br />
1<br />
n√<br />
3<br />
n √ n<br />
} {{ }<br />
↓<br />
1<br />
=<br />
∞∑<br />
n=1<br />
a n =<br />
∞∑<br />
n=1<br />
(−1) n+1 c n<br />
1<br />
n√ 2n + n<br />
≤ c n < 1 → 1<br />
c○ Kónya I. – Fritz Jné – Győri S. 7 v1.4
=⇒ lim c n = 1 =⇒ lim a n ≠ 0 , tehát nem teljesül a konvergencia szükséges<br />
n → ∞ n → ∞<br />
feltétele, így a sor divergens.<br />
✓✏∞∑<br />
Pl.<br />
✒✑<br />
n=1<br />
(−1) n+1 n + 1<br />
n 2 + 2<br />
=<br />
c n =<br />
∞∑<br />
n=1<br />
(−1) n+1 c n<br />
1<br />
n + 1 n 2<br />
1 + 2 n 2 → 0<br />
A monoton csökkenés most nem triviálisan igaz, hiszen n növelésével a számláló és a<br />
nevező is nő. Várható, hogy a (c n ) sorozat monoton csökkenő, mert a nevező ”gyorsabban<br />
nő”. De ezt ilyenkor be kell bizonyítanunk! Tehát igaz-e, hogy<br />
(n + 1) + 1<br />
(n + 1) 2 + 2<br />
(n + 2) (n 2 + 2)<br />
c n+1<br />
?<br />
≤ cn<br />
0<br />
?<br />
≤ n + 1<br />
n 2 + 2<br />
?<br />
≤ (n + 1) (n 2 + 2n + 3)<br />
Tehát a sor Leibniz típusú és így konvergens.<br />
?<br />
≤ n 2 + 3n − 1 Ez pedig igaz, minden n -re .<br />
2.1. Feladatok a váltakozó előjelű <strong>sorok</strong>hoz<br />
Vizsgálja meg konvergencia szempontjából az alábbi <strong>sorok</strong>at!<br />
∞∑ cos kπ<br />
1.<br />
lg k<br />
2.<br />
3.<br />
4.<br />
2<br />
∞∑<br />
1<br />
∞∑<br />
2<br />
2<br />
(−1) n<br />
n√ n<br />
(−1) k−1 2k<br />
k 2 − 1<br />
∞∑<br />
( n<br />
(−1) n n + 1<br />
) n<br />
c○ Kónya I. – Fritz Jné – Győri S. 8 v1.4
3. Sorok abszolút és feltételes konvergenciája<br />
✎☞ ∑ ∞<br />
✍✌ D ak sor abszolút konvergens, ha<br />
∞∑<br />
(<br />
Pl. − 1 k<br />
abszolút konvergens.<br />
2)<br />
k=1<br />
∞∑<br />
|ak | konvergens.<br />
(Konvergens geometriai <strong>sorok</strong>ról van szó, ahol a kvóciens − 1 2 illetve 1 2 . )<br />
∞∑ (−1) k+1<br />
k=1<br />
k<br />
nem abszolút konvergens, de konvergens.<br />
✎☞<br />
✍✌ D<br />
Feltételesen konvergens sor:<br />
a konvergens, de nem abszolút konvergens sor<br />
∞∑ (−1) k+1<br />
Ilyen pl. a<br />
sor.<br />
k<br />
k=1<br />
∑<br />
Ugyanis beláttuk, hogy ez a sor konvergens, de a ∞ (−1) k+1<br />
∣ k ∣ = ∑ ∞<br />
k=1<br />
k=1<br />
1<br />
k<br />
sor divergens.<br />
✎☞<br />
✍✌ T<br />
( ∞<br />
∑<br />
|ak | konvergens<br />
)<br />
=⇒<br />
( ∞<br />
∑<br />
ak konvergens)<br />
Tehát az abszolút konvergenciából következik a konvergencia.<br />
✎☞ ∞∑<br />
✍✌ B Ha |ak | konvergens, akkor teljesül rá a Cauchy kritérium, továbbá<br />
miatt<br />
|a n+1 + · · · + a n+k | ≤ |a n+1 | + · · · + |a n+k |<br />
|a n+1 + · · · + a n+k | ≤ ||a n+1 | + · · · + |a n+k || < ε, ha n > M(ε), k ∈ N +<br />
} {{ }<br />
Cauchy kritérium ∞ ∑ |ak |-ra<br />
∞∑<br />
Így ak -ra is teljesül a szükséges és elégséges tétel (Cauchy kritérium), tehát<br />
konvergens.<br />
Ez a tétel azt mutatja, hogy az abszolút konvergencia vizsgálata igen hasznos lehet.<br />
A ∞ ∑ |ak | sor elemei nem negatívak, sőt pozitívnak tekinthetők, mivel a nulla elemeket<br />
nyilván nem kell figyelembe vennünk.<br />
c○ Kónya I. – Fritz Jné – Győri S. 9 v1.4
4. Pozitív tagú <strong>sorok</strong><br />
✎☞<br />
✍✌ T (i) Egy pozitív tagú sor részletösszegei monoton növekedőek.<br />
(ii) Egy pozitív tagú sor akkor és csak akkor konvergens, ha részletösszegeinek<br />
sorozata korlátos.<br />
✎☞<br />
B ✍✌<br />
(i) Ha a n ≥ 0, ∀ n ∈ N, akkor s n+1 = s n + a n+1 ≥ s n ∀ n-re.<br />
(ii) a) Ha a sor konvergens, akkor (s n ) konvergens =⇒ (s n ) korlátos<br />
b) Ha (s n ) korlátos, akkor (s n ) ↗ miatt (s n ) konvergens.<br />
✎☞<br />
✍✌ M Pozitív tagú sor vagy konvergens, vagy ∞-nel egyenlő. Ez nem igaz általánosságban<br />
egy váltakozó előjelű sorra, ahol a részletösszegek sorozatának lehet több torlódási pontja<br />
∞∑<br />
(pl. (−1) k ).<br />
k=0<br />
✎☞<br />
✍✌ T a k > 0; a k ≥ a k+1 feltételek mellett<br />
∞∑<br />
a a k sor akkor és csak akkor konvergens, ha<br />
k=1<br />
∞∑<br />
a 2 l · 2 l<br />
l=1<br />
is konvergens<br />
✎☞<br />
✍✌ B (¬B)<br />
A bizonyítás lényege, hogy az első sor részletösszegei a második sor megfelelő részletösszegeivel<br />
alulról és felülről is becsülhetőek. A becslés igazolásához fontos feltenni,<br />
hogy az (a k ) sorozat monoton csökken.<br />
(A részletes bizonyítás megtekinthető Walter Rudin: A matematikai analízis alapjai<br />
című könyvében.)<br />
Példák a tétel alkalmazására:<br />
✓✏ ∞∑ 1<br />
Pl.<br />
✒✑ konvergens, ha α > 1 .<br />
nα n=1<br />
Egyébként divergens.<br />
Ha α ≤ 0 : a n = 1<br />
n α = n|α| ↛ 0<br />
A konvergencia szükséges feltétele nem teljesül =⇒ divergens a sor.<br />
Ha α > 0 : a n = 1 ↘ , így alkalmazható az előző tétel:<br />
nα c○ Kónya I. – Fritz Jné – Győri S. 10 v1.4
Vagyis<br />
∞∑<br />
l=1<br />
∞∑<br />
n=1<br />
1<br />
(2 l ) α · 2l =<br />
1<br />
n és ∑ ∞<br />
1<br />
α (2 l ) · α 2l egyidejűleg konvergens, illetve divergens.<br />
∞∑<br />
l=1<br />
l=1<br />
1 1<br />
=<br />
2 αl 2 −l<br />
∞∑<br />
( ) lα−l 1<br />
=<br />
2<br />
l=1<br />
∞∑<br />
( ) (α−1)l 1<br />
=<br />
2<br />
Geometriai sort kaptunk,<br />
( )<br />
mely csak akkor konvergens, ha<br />
α−1<br />
1<br />
|q| = < 1.<br />
2<br />
l=1<br />
(<br />
∞∑ (1 ) ) α−1 l<br />
=<br />
2<br />
l=1<br />
∞∑<br />
l=1<br />
q l<br />
Tehát a konvergencia csak akkor teljesül, ha α − 1 > 0, vagyis α > 1.<br />
Vigyázat! A tételben szereplő két sor összege nem azonos, tehát nem tudtuk megállapítani<br />
∞∑ 1<br />
a sor összegét, csak a konvergencia tényét tudtuk megállapítani α > 1 -re.<br />
1<br />
n α<br />
Ilyenkor a megfelelő s n részletösszeggel tudjuk közelíteni a sor összegét az esetleg előírt<br />
pontossággal (lásd hibabecslések).<br />
✓✏ ∞∑ 1<br />
Pl.<br />
✒✑ n · log<br />
n=n 1 2 n<br />
Ugyanis:<br />
divergens<br />
∞∑ 1<br />
∞∑<br />
2 l · log<br />
l=l 2 2 · 1<br />
l 2l =<br />
l<br />
1 l=l 1<br />
divergens.<br />
✓✏ ∞∑ 1<br />
Pl.<br />
✒✑ n · (log<br />
n=n 1 2 n) p<br />
p > 1 konvergens, egyébként divergens<br />
p > 0 esetén alkalmazható az előző tétel:<br />
∞∑ 1<br />
∞∑<br />
2 l · (log<br />
l=l 2 2 l ) · 1<br />
p 2l = 0 < p ≤ 1 : div.; 1 < p : konv.<br />
l p<br />
1 l=l 1<br />
(p ≤ 0 esete HF. Pl. minoráns kritériummal — lásd később — megmutatható.)<br />
✓✏ ∞∑ 1<br />
Pl.<br />
✒✑ n · log<br />
n=n 1 2 n · log 2 log 2 n<br />
divergens<br />
c○ Kónya I. – Fritz Jné – Győri S. 11 v1.4
A tétel alkalmazható.<br />
∞∑<br />
1<br />
2 l · (log<br />
l=l 2 2 l ) · (log 2 log 2 2 l ) · 2l =<br />
1<br />
∞∑ 1<br />
l · log<br />
l=l 2 l<br />
1<br />
ez pedig divergens<br />
5. Pozitív tagú <strong>sorok</strong> konvergenciájával kapcsolatos<br />
elégséges kritériumok<br />
• majoráns kritérium (csak konvergencia eldöntésére)<br />
• minoráns kritérium (csak divergencia eldöntésére)<br />
• hányados kritérium<br />
• gyökkritérium<br />
• integrál kritérium<br />
Ezeket a kritériumokat kizárólag pozitív tagú <strong>sorok</strong>ra alkalmazhatjuk. Így a szóbanforgó<br />
kritériumok hasznosak lehetnek az abszolút konvergencia eldöntésére (amiből következik<br />
az eredeti — nem feltétlenül pozitív tagú — sor konvergenciája is.)<br />
5.1. Majoráns kritérium<br />
✎☞<br />
∞∑<br />
∞∑<br />
✍✌ T Ha 0 < a n ≤ c n ∀ n-re és c n konvergens =⇒ a n konvergens<br />
n=1<br />
n=1<br />
✎☞<br />
✍✌ B A megfelelő részletösszegek sorozatára a feltétel miatt fennáll, hogy<br />
s a n ≤ s c n.<br />
∑<br />
Továbbá ∞ c n konvergenciája miatt s c n ≤ K =⇒ s a n korlátos és pozitív tagú a sor<br />
n=1<br />
∞∑<br />
=⇒ a n konv.<br />
1<br />
c○ Kónya I. – Fritz Jné – Győri S. 12 v1.4
5.2. Minoráns kritérium<br />
✎☞<br />
✍✌ T Ha 0 ≤ d n ≤ a n ∀ n-re és<br />
∞∑<br />
d n divergens =⇒<br />
n=1<br />
∞∑<br />
a n divergens<br />
n=1<br />
✎☞<br />
✍✌ B s<br />
a<br />
n ≥ s d n → ∞ =⇒ s a n → ∞ (spec. rendőrelv)<br />
✎☞<br />
✍✌ M Mindkét esetben elegendő, ha a feltétel ∀ n helyett n ≥ N 0 -ra teljesül.<br />
∑<br />
( ∞ ∞∑<br />
a n és a n egyidejűleg konvergens ill. divergens, hiszen az első szumma részletösszegei<br />
c = N ∑0−1<br />
a n konstanssal nagyobbak, mint a második szumma<br />
n=1 n=N 0<br />
részletösszegei.)<br />
n=1<br />
✓✏∞∑<br />
Pl.<br />
✒✑<br />
n=1<br />
1<br />
2n + 1<br />
=<br />
∞∑<br />
n=1<br />
a n<br />
A harmonikus sorból végtelen sok tagot elhagytunk. Vajon konvergens-e az új sor? A<br />
minoráns kritériummal belátjuk, hogy még ez a sor is divergens. Ugyanis<br />
a n ><br />
1<br />
2n + n = 1<br />
3n ,<br />
∞<br />
∑<br />
n=1<br />
1<br />
3n = 1 3<br />
∞∑<br />
n=1<br />
∞<br />
1<br />
n divergens =⇒ ∑<br />
n=1<br />
a n<br />
divergens<br />
✓✏∞∑<br />
Pl.<br />
✒✑<br />
n=2<br />
1<br />
√<br />
2n5 + 3<br />
=<br />
∞∑<br />
n=1<br />
a n<br />
a n < 1 √<br />
2n<br />
5 = 1<br />
√<br />
2 n<br />
5/2 , 1 √2<br />
∞<br />
∑<br />
n=1<br />
1<br />
konvergens (α = 5 ∞<br />
n 5/2 2 > 1) =⇒ ∑<br />
n=1<br />
a n<br />
konvergens<br />
✓✏∞∑<br />
Pl.<br />
✒✑<br />
n=1<br />
1<br />
n√<br />
2n5 + 3<br />
=<br />
∞∑<br />
n=1<br />
a n<br />
c○ Kónya I. – Fritz Jné – Győri S. 13 v1.4
A sor divergens, mivel a rendőrelvvel megmutatható, hogy<br />
lim<br />
n → ∞<br />
a n = 1 , tehát nem<br />
tart nullához, így nem teljesül a konvergencia szükséges feltétele. Részletezve:<br />
1<br />
n√ √ 5 (<br />
n<br />
n) 5 =<br />
} {{ }<br />
↓<br />
1<br />
1 · 1 = 1 5<br />
1<br />
n√<br />
2n5 + 3n 5 ≤ a n =<br />
=⇒ a n → 1 .<br />
1<br />
n√<br />
2n5 + 3 < 1 n √ 1 = 1 }{{}<br />
↓<br />
1<br />
✓✏∞∑<br />
Pl.<br />
✒✑<br />
n=1<br />
n + 2<br />
3n 4 + 5<br />
=<br />
∞∑<br />
n=1<br />
a n<br />
a n < n + 2n<br />
3n 4 = 1 n 3 , ∞<br />
∑<br />
n=1<br />
1<br />
n 3 konvergens (α = 3 > 1) =⇒<br />
∞∑<br />
n=1<br />
a n<br />
konvergens<br />
✓✏∞∑<br />
Pl.<br />
✒✑<br />
n=1<br />
2n 2 − 32<br />
n 3 + 8<br />
=<br />
∞∑<br />
n=1<br />
a n<br />
n ≥ 4 -re a sor pozitív tagú. A minoráns kritériummal megmutatjuk, hogy divergens.<br />
Ugyanis, ha n ≥ 6 , akkor n 2 > 32 és ezért<br />
a n = 2n2 − 32<br />
n 3 + 8<br />
> 2n2 − n 2<br />
n 3 + 8n 3 = 1<br />
9n ,<br />
∞<br />
∑<br />
n=1<br />
1<br />
9n = 1 9<br />
∞∑<br />
n=1<br />
1<br />
n divergens<br />
=⇒<br />
∞∑<br />
n=1<br />
a n<br />
divergens.<br />
✓✏∞∑<br />
Pl.<br />
✒✑<br />
n=1<br />
2 n + 3 n+1<br />
2 2n+3 + 5<br />
=<br />
∞∑<br />
n=1<br />
a n<br />
1<br />
2<br />
∞∑<br />
n=1<br />
a n = 2n + 3 · 3 n<br />
8 · 4 n + 5 < 3n + 3 · 3 n<br />
= 1 ( n 3<br />
8 · 4 n 2 4)<br />
( ) n 3<br />
konvergens geometriai sor<br />
(q = 3 )<br />
4<br />
4 , |q| < 1<br />
=⇒<br />
∞∑<br />
n=1<br />
a n<br />
konvergens<br />
c○ Kónya I. – Fritz Jné – Győri S. 14 v1.4
Feladatok<br />
Vizsgálja meg konvergencia szempontjából az alábbi <strong>sorok</strong>at!<br />
1.<br />
∞∑<br />
1<br />
1<br />
3n + 2<br />
8.<br />
∞∑<br />
1<br />
2 n + 3 n<br />
6 n + 2 n+1<br />
2.<br />
∞∑<br />
2<br />
1<br />
n 2 − √ n<br />
9.<br />
∞∑<br />
1<br />
3 n + n<br />
n · 4 n − 3<br />
3.<br />
∞∑<br />
2<br />
1<br />
n 2 log 2 n<br />
10.<br />
∞∑<br />
1<br />
( 1 + n<br />
1 + n 2 ) 2<br />
4.<br />
∞∑<br />
2<br />
1<br />
n log 2 n 2<br />
11.<br />
∞∑<br />
1<br />
7n 5 − 2n 3 + 1<br />
n 6 + 3n 2 − √ n<br />
5.<br />
∞∑<br />
1<br />
2 n<br />
2 n+2 − 3<br />
12.<br />
∞∑<br />
1<br />
7n 5 − 2n 3 + 1<br />
n 7 + n 2 − n + 3<br />
6.<br />
7.<br />
∞∑<br />
1<br />
∞∑<br />
1<br />
2 n<br />
2 2n − 3<br />
2 2n<br />
2 n − 3<br />
13.<br />
14.<br />
∞∑<br />
1<br />
7n 5 + n 3 + 1<br />
n 8 − n 2 + 3<br />
( ∞∑ n<br />
( 2)<br />
n<br />
4)<br />
6<br />
5.3. Hányados kritérium<br />
✎☞<br />
T1<br />
✍✌<br />
✎☞<br />
✍✌<br />
1. (a n > 0, ∀ n) ∧<br />
2. (a n > 0, ∀ n) ∧<br />
(<br />
an+1<br />
a n<br />
(<br />
an+1<br />
a n<br />
B<br />
1. Mivel a n+1 ≤ q a n ≤ q 2 a n−1 ≤ q 3 a n−2 ≤ · · · ≤ q n a 1 , ∀ n , ezért<br />
)<br />
≤ q < 1, ∀ n<br />
)<br />
≥ q ≥ 1, ∀ n<br />
=⇒<br />
=⇒<br />
∞∑<br />
n=1<br />
∞∑<br />
n=1<br />
a n<br />
a n<br />
konvergens.<br />
divergens.<br />
c○ Kónya I. – Fritz Jné – Győri S. 15 v1.4
∞∑<br />
∞∑<br />
a n -nek q n−1 a 1 konvergens majoránsa (geometriai sor, 0 < q < 1 ) =⇒<br />
1<br />
∞∑<br />
1<br />
a n<br />
1<br />
konvergens.<br />
2. Mivel a n+1 ≥ q a n ≥ q 2 a n−1 ≥ · · · ≥ q n a 1 , ∀ n , ezért<br />
∞∑<br />
∞∑<br />
a n -nek q n−1 a 1 divergens minoránsa (geometriai sor, q ≥ 1) =⇒<br />
1<br />
∞∑<br />
1<br />
a n<br />
1<br />
divergens.<br />
✎☞∑<br />
∞<br />
M1<br />
✍✌ a n és<br />
1<br />
∞∑<br />
N 0<br />
a n egyidejűleg konvergens ill. divergens, ezért elég, ha a T 1 feltételei<br />
∀ n ≥ N 0 -ra teljesülnek.<br />
(Természetesen, ha konvergensek, akkor az első sor összege a 1 + a 2 + · · · + a N0 −1 -gyel<br />
több, mint a második sor összege.)<br />
✎☞<br />
M2<br />
✍✌T 1 (1)-nél nem elég megmutatni, hogy a n+1<br />
< 1 , q -t is kell találni.<br />
a n<br />
✓✏ ∞∑ 1<br />
Pl.<br />
✒✑<br />
1 n<br />
divergens, pedig<br />
a n = 1 n , a n+1 = 1<br />
n + 1<br />
✓✏ ∞∑<br />
Pl.<br />
✒✑<br />
1<br />
a n+1<br />
a n<br />
=<br />
1<br />
n 2<br />
1<br />
(n + 1) 2<br />
1<br />
n 2 =<br />
konvergens.<br />
miatt<br />
És most is<br />
a n+1<br />
a n<br />
=<br />
1<br />
n + 1<br />
1<br />
n<br />
= n<br />
n + 1 < 1 .<br />
( )<br />
n 2<br />
2 n<br />
(n + 1) = < 1 . (De ∄ 0 < q < 1 )<br />
2 n + 1<br />
T 1 (2)-nél viszont q megtalálása nem fontos. A tétel így is kimondható.<br />
Ekkor ugyanis:<br />
(a n > 0) ∧<br />
(<br />
an+1<br />
a n<br />
≥ 1, ∀ n ≥ N 0<br />
)<br />
=⇒<br />
∞∑<br />
a n div.<br />
1<br />
c○ Kónya I. – Fritz Jné – Győri S. 16 v1.4
0 < a n ≤ a n+1 , tehát a n ↗ (és a n > 0) =⇒ a n ↛ 0 (nem teljesül a szükséges<br />
∞∑<br />
feltétel) =⇒ a n divergens<br />
1<br />
A hányados kritérium egy kényelmesebben használható formában is kimondható:<br />
✎☞<br />
T<br />
✍✌ 1 ∗<br />
1. (a n > 0, ∀ n) ∧<br />
2. (a n > 0, ∀ n) ∧<br />
(<br />
)<br />
a n+1<br />
∃ lim = c < 1<br />
n→∞ a n<br />
(<br />
)<br />
a n+1<br />
∃ lim = c > 1<br />
n→∞ a n<br />
=⇒<br />
=⇒<br />
∞∑<br />
a n konv.<br />
n=1<br />
∞∑<br />
a n div.<br />
n=1<br />
✎☞<br />
B ✍✌<br />
1. Legyen ε = 1 − c , így q = c + ε < 1. A határérték tulajdonsága miatt<br />
2<br />
a n+1<br />
< q < 1 , ∀ n > N(ε).<br />
a n<br />
∞∑<br />
∞∑<br />
Ezért T 1 (1)-ből adódik, hogy<br />
a n<br />
n=N(ε)<br />
és így vele együtt<br />
2. Legyen ε = c − 1 , így q = c − ε > 1 . Ekkor ∃ N(ε) , hogy<br />
2<br />
a n+1<br />
> q > 1, ∀ n > N(ε).<br />
a n<br />
Így T ∗ 1 (2)-ből adódik az állítás.<br />
a n<br />
n=1<br />
is konvergens.<br />
T ∗ a n+1<br />
1 (2) állítása c = ∞ esetén is igaz. Ugyanis, ha lim<br />
n→∞ a n<br />
megfelelő q . (Pl. q = 2 is választható.)<br />
1<br />
✎☞<br />
M4<br />
✍✌<br />
= ∞ , akkor is található<br />
✎☞ a n+1<br />
M3<br />
✍✌Ha lim = 1 , akkor nem tudtunk meg semmit a konvergenciáról. Lehet a<br />
n→∞ a n<br />
sor konvergens és divergens is.<br />
∞∑ 1<br />
∑ ∞<br />
1<br />
a n+1<br />
Pl. divergens, és a konvergens <strong>sorok</strong> esetén egyaránt lim = 1.<br />
n n 2 n→∞ a n<br />
1<br />
A fenti tétel tovább finomítható. Bebizonyíthatók az alábbi állítások is:<br />
Ha a n > 0 ∀ n, és lim a n+1<br />
a n<br />
< 1 =⇒<br />
∞∑<br />
a n konvergens.<br />
1<br />
c○ Kónya I. – Fritz Jné – Győri S. 17 v1.4
(lim a n+1<br />
a n<br />
Ha a n > 0 ∀ n, és lim a n+1<br />
a n<br />
> 1 =⇒<br />
≥ 1 a konvergenciáról nem mond semmit.)<br />
∞∑<br />
a n divergens.<br />
1<br />
✓✏<br />
Pl.<br />
✒✑Konvergens-e az alábbi sor?<br />
∞∑ (n + 2) 3 n+1<br />
n=1<br />
n!<br />
A feladatot a T ∗ 1<br />
lim<br />
n → ∞<br />
a n+1<br />
a n<br />
= lim<br />
n → ∞<br />
tétellel (hányadoskritériummal) oldjuk meg.<br />
(n + 3) 3 n+2 n!<br />
= lim<br />
(n + 1)! (n + 2) 3n+1 n → ∞<br />
3 (n + 3)<br />
(n + 1) (n + 2) =<br />
= lim<br />
n → ∞<br />
3<br />
n<br />
1 + 3 n<br />
(1 + 1 ) (<br />
1 + 2 ) = 0 < 1 =⇒<br />
n n<br />
∞∑<br />
an<br />
konvergens.<br />
5.3.1. Feladatok<br />
Vizsgálja meg az alábbi <strong>sorok</strong>at konvergencia szempontjából!<br />
1.<br />
∞∑<br />
1<br />
(√<br />
2<br />
) n<br />
(2n + 1)!<br />
4.<br />
∞∑<br />
1<br />
n!<br />
n n<br />
2.<br />
∞∑<br />
1<br />
2 n<br />
3 n+2 (n + 2)!<br />
5.<br />
∞∑<br />
1<br />
n + 2<br />
(n + 1) n+3<br />
3.<br />
∞∑<br />
1<br />
(n!) 2<br />
(2n)!<br />
6.<br />
∞∑<br />
1<br />
n k<br />
n! , k ∈ N+<br />
c○ Kónya I. – Fritz Jné – Győri S. 18 v1.4
5.4. Gyökkritérium<br />
✎☞<br />
T2<br />
✍✌Ha ∀ n ≥ N -re a n > 0 és<br />
1. √ ∞∑<br />
n<br />
a n ≤ q < 1 =⇒ a n konv.<br />
2. √ ∞∑<br />
n<br />
a n ≥ 1 =⇒ a n div.<br />
✎☞<br />
B ✍✌<br />
∞∑<br />
1. 0 < a n ≤ qn és q n konvergens =⇒<br />
N<br />
kritérium miatt.<br />
∞∑<br />
2. a n ≥ 1 =⇒ a n ↛ 0 =⇒ a n div.<br />
N<br />
N<br />
N<br />
∞∑<br />
a n konvergens a majoráns<br />
N<br />
✎☞ √<br />
M5 n<br />
✍✌ a n ≥ 1 elég, ha végtelen sok n-re igaz. Nem kell, hogy ∀ n > N-re teljesüljön.<br />
Ekkor már ∃ a nr ↛ 0 részsorozat.<br />
Ez a tétel is kimondható limeszes alakban:<br />
✎☞<br />
T<br />
✍✌ 2 ∗ Ha lim<br />
n<br />
a n = c<br />
n→∞<br />
és<br />
c < 1 =⇒<br />
∞∑<br />
an konvergens.<br />
c > 1 vagy c = ∞ =⇒<br />
∞∑<br />
an divergens.<br />
✎☞<br />
✍✌ B Hasonló a hányados kritériumnál látotthoz.<br />
✎☞<br />
M6<br />
✍✌c = 1 , tehát lim<br />
√ n<br />
a n = 1 esetén nem használható a gyökkritérium. Az alábbi<br />
n→∞<br />
két példa igazolja állításunk helyességét.<br />
✓✏ ∞∑ 1<br />
Pl.<br />
✒✑ divergens és<br />
n<br />
√<br />
lim n√ n 1<br />
an = lim<br />
n→∞<br />
n→∞ n = lim 1<br />
n→∞ n√ = 1 n<br />
✓✏ ∞∑ 1<br />
Pl.<br />
✒✑ konvergens és<br />
n 2<br />
c○ Kónya I. – Fritz Jné – Győri S. 19 v1.4
lim<br />
n→∞<br />
n√<br />
an = lim<br />
n→∞<br />
√<br />
n 1<br />
n = lim<br />
2 n→∞<br />
1<br />
( n√ n) 2 = 1<br />
Bebizonyítható az alábbi állítás is:<br />
Ha a n > 0, n > N és lim n√ a n < 1 =⇒<br />
Ha a n > 0, n > N és lim n√ a n > 1 =⇒<br />
∞∑<br />
an konv.<br />
∞∑<br />
an div.<br />
✎☞<br />
M6<br />
✍✌A második állítás könnyen bizonyítható, hiszen lim n√ a n > 1 -ből következik a<br />
divergencia, mivel végtelen sok n -re:<br />
n√<br />
an > 1 =⇒ a n > 1 ; tehát ∃ a nr ↛ 0 részsorozat.<br />
✓✏<br />
Pl.<br />
✒✑Konvergens-e az alábbi sor?<br />
∞∑<br />
( ) 2n 2 2n 3<br />
+ 2<br />
2n 2 + 5<br />
n=1<br />
A feladatot a T ∗ 2<br />
tétellel (gyökkritériummal) oldjuk meg.<br />
lim<br />
n → ∞<br />
n√<br />
an =<br />
lim<br />
n → ∞<br />
( ) 2n 2 2n 2<br />
+ 2<br />
2n 2 + 5<br />
= lim<br />
n → ∞<br />
(<br />
1 + 2 ) 2n 2<br />
2n 2<br />
(<br />
1 + 5 ) 2n 2<br />
2n 2<br />
= e2<br />
e 5 = 1 e 3 < 1<br />
=⇒<br />
∞∑<br />
a n konvergens.<br />
n=1<br />
5.4.1. Feladatok<br />
Vizsgálja meg az alábbi <strong>sorok</strong>at konvergencia szempontjából!<br />
c○ Kónya I. – Fritz Jné – Győri S. 20 v1.4
1.<br />
∞∑<br />
1<br />
3 n<br />
n 2 7 n<br />
5.<br />
∞∑<br />
1<br />
( ) n 3n + 1<br />
2 +2n<br />
3n + 3<br />
2.<br />
∞∑<br />
1<br />
n 2 3 n<br />
7 n+1<br />
6.<br />
∞∑<br />
1<br />
2 n<br />
4n + 1<br />
3.<br />
∞∑<br />
1<br />
n 6<br />
2 n+3<br />
7.<br />
∞∑<br />
1<br />
3 n+1<br />
4 2n+1 (3n + 1)<br />
4.<br />
∞∑<br />
1<br />
( ) n 2<br />
n + 3<br />
n + 5<br />
8.<br />
∞∑<br />
1<br />
( n<br />
) n 2<br />
n − 2<br />
1<br />
4 n<br />
További kidolgozott példák<br />
✓✏∞∑<br />
Pl.<br />
✒✑<br />
n=1<br />
7 n<br />
n 4 8 n =<br />
∞∑<br />
n=1<br />
a n<br />
Ezt a feladatot legegyszerűbben a majoráns kritérimmal oldhatjuk meg.<br />
a n <<br />
8n<br />
n 4 8 = 1 n n , ∑ ∞ 4<br />
n=1<br />
1<br />
n 4 konvergens (α = 4 > 1) =⇒<br />
A hányados kritérium, illetve a gyökkritérium is használható lenne.<br />
∞∑<br />
n=1<br />
a n<br />
konvergens<br />
✓✏∞∑<br />
Pl.<br />
✒✑<br />
n=1<br />
n 4 7 n<br />
=<br />
8 n<br />
∞∑<br />
n=1<br />
a n<br />
Ennek a feladatnak a megoldása már a majoráns kritérummal elég nehézkes lenne. A<br />
hányados kritérim alkalmazható, de itt a gyökkritérium alkalmazása a legjobb választás.<br />
lim<br />
n → ∞<br />
n√<br />
an =<br />
lim<br />
n → ∞<br />
( n√ n) 4 7<br />
8<br />
= 7 ∞<br />
8 < 1 =⇒ ∑<br />
a n konvergens.<br />
n=1<br />
✓✏∞∑<br />
Pl.<br />
✒✑<br />
n=1<br />
3 n+1<br />
(2n + 1) 5 n =<br />
∞∑<br />
n=1<br />
a n<br />
c○ Kónya I. – Fritz Jné – Győri S. 21 v1.4
Most viszont a hányados kritérium alkalmazása a legcélszerűbb. (A gyökkritérium alkalmazásánál<br />
a rendőrelvre is szükségünk lenne az<br />
n√ 2n + 1 sorozat határértékének<br />
bizonyításához.)<br />
lim<br />
n → ∞<br />
a n+1<br />
a n<br />
= lim<br />
n → ∞<br />
3 n+2 (2n + 1) 5 n<br />
= lim<br />
(2n + 3) 5 n+1 3n+1 n → ∞<br />
3<br />
5<br />
2n + 1<br />
2n + 3 =<br />
= lim<br />
n → ∞<br />
3<br />
5<br />
2 + 1 n<br />
2 + 3 n<br />
= 3 5 < 1 =⇒ ∞<br />
∑<br />
an konvergens.<br />
✓✏∞∑<br />
Pl.<br />
✒✑<br />
n=1<br />
(n + 1)! 2 n<br />
3 2n =<br />
∞∑<br />
(n + 1)!<br />
n=1<br />
( 2<br />
9) n<br />
lim<br />
n → ∞<br />
Itt is a hányados kritériumot alkalmazzuk:<br />
( n+1 2<br />
(n + 2)!<br />
a n+1<br />
9)<br />
= lim<br />
( n = lim<br />
a n n → ∞<br />
2 n → ∞<br />
9)<br />
(n + 1)!<br />
2<br />
9<br />
(n + 2) = ∞ > 1<br />
=⇒<br />
∞∑<br />
an<br />
divergens.<br />
✓✏<br />
Pl.<br />
✒✑Abszolút vagy feltételesen konvergens-e<br />
∞∑<br />
(−1) n n<br />
5 n 2 + 3 sor?<br />
n=2<br />
Nem abszolút konvergens, mert<br />
|a n | =<br />
n<br />
5n 2 + 3 ≥<br />
n<br />
5n 2 + 3n = 1<br />
2 8n<br />
és 1 ∞∑ 1<br />
8 n=2 n divergens, tehát ∑ ∞ |a n | divergens (a minoráns kritérium miatt).<br />
n=2<br />
∞∑<br />
Viszont konvergens, mert Leibniz típusú. Ugyanis<br />
|a n | =<br />
n=2<br />
n<br />
a n<br />
5n 2 + 3 ↘ 0, mert |a n | = n n 2<br />
}{{}<br />
= 1 n<br />
1<br />
5 + 3 → 0 · 1<br />
5 = 0<br />
n 2<br />
c○ Kónya I. – Fritz Jné – Győri S. 22 v1.4
És<br />
n + 1<br />
|a n+1 | =<br />
5(n + 1) 2 + 3 < n<br />
5n 2 + 3 = |a n|<br />
⇑<br />
(n + 1)(5n 2 + 3) < n (5n 2 + 10n + 8)<br />
⇑<br />
5n 3 + 5n 2 + 3n + 3 < 5n 3 + 10n 2 + 8n<br />
⇑<br />
0 < 5n 2 + 5n − 3 , ha n ≥ 2<br />
Vagyis a sor feltételesen konvergens.<br />
(Majd folytatjuk.)<br />
5.5. Integrálkritérium<br />
✎☞<br />
✍✌ T Legyen f pozitív értékű monoton csökkenő függvény [1, ∞) -en és f(k) = a k > 0<br />
1. Ha<br />
∞∫<br />
f(x) dx konvergens =⇒<br />
∑ ∞ a k konvergens<br />
1<br />
k=1<br />
∞∫<br />
∑<br />
2. Ha f(x) dx divergens =⇒ ∞<br />
a k<br />
1<br />
k=1<br />
divergens<br />
✎☞<br />
✍✌ M ⇐⇒ állítás is igaz, tehát a sor és az improprius integrál egyidejűleg konvergens,<br />
illetve divergens.<br />
✎☞<br />
B ✍✌<br />
1. Mivel<br />
a 2 + a 3 + · · · + a n ≤<br />
∫ n<br />
1<br />
f(x) dx<br />
} {{ }<br />
monoton növő függvénye n -nek<br />
≤<br />
≤ lim<br />
n → ∞<br />
n∫<br />
1<br />
∫ ∞<br />
f(x) dx = f(x) dx ∈ R ,<br />
1<br />
a k > 0 és<br />
n∑<br />
∑<br />
a k korlátos =⇒ ∞ ∑<br />
a k konvergens =⇒ ∞<br />
2<br />
a k<br />
2<br />
1<br />
konvergens<br />
c○ Kónya I. – Fritz Jné – Győri S. 23 v1.4
2.<br />
∫ n<br />
1<br />
f(x) dx ≤ a 1 + a 2 + · · · + a n−1 = s n−1<br />
Mivel lim<br />
n→∞<br />
∫n<br />
1<br />
f(x) dx = ∞ =⇒ lim<br />
n→∞<br />
s n−1 = ∞ , tehát a sor divergens.<br />
5.6. Hibabecslés pozitív tagú sorösszegek közelítése esetén<br />
1. Ha a sor konvergenciája integrálkritériummal állapítható meg, akkor az s sorösszeg<br />
s n részletösszeggel való közelítésének hibáját is egy integrállal becsülhetjük.<br />
✎☞<br />
✍✌ T Ha az integrálkritérium 1. állításának feltételei teljesülnek, akkor az<br />
s ≈ s n közelítésnél elkövetett hiba<br />
∞∑<br />
∫ ∞<br />
0 < H = r n = a n+1 + a n+2 · · · = a k ≤ f(x) dx<br />
✎☞<br />
✍✌ B Mivel<br />
a n+1 + a n+2 · · · + a m ≤<br />
ezért<br />
H = r n = lim<br />
m∑<br />
m→∞<br />
k=n+1<br />
∫ m<br />
n<br />
f(x) dx ,<br />
a k ≤ lim<br />
m→∞<br />
∫ m<br />
n<br />
f(x) dx =<br />
k=n+1<br />
∫ ∞<br />
n<br />
n<br />
f(x) dx.<br />
2. Ha a sor konvergenciájára hányados vagy gyökkritériummal következtettünk, akkor<br />
a sorhoz található konvergens majoráló geometriai sor. A majoráló sor rn<br />
∗<br />
maradékösszegével becsülhetjük az eredeti sor r n maradékösszegét.<br />
(L. előadás és gyakorlat!)<br />
c○ Kónya I. – Fritz Jné – Győri S. 24 v1.4
6. Műveletek konvergens <strong>sorok</strong>kal<br />
✎☞ ∞∑<br />
∞∑<br />
✍✌ T Ha a k = S a és b k = S b , S a , S b ∈ R<br />
k=1<br />
k=1<br />
∑<br />
=⇒ ∞ ∞∑<br />
(a k + b k ) = S a + S b és (c · a k ) = c · S a .<br />
k=1<br />
k=1<br />
✎☞<br />
B ✍✌<br />
S a = lim<br />
n∑<br />
n → ∞ sa n = lim a k<br />
n → ∞<br />
k=1<br />
n∑<br />
S b = lim<br />
n → ∞ sb n = lim b k<br />
n → ∞<br />
k=1<br />
(<br />
n∑<br />
n<br />
)<br />
∑ ∑<br />
S a+b = lim<br />
n → ∞ sa+b n = lim (a k + b k ) = lim a k +<br />
n b k =<br />
n → ∞<br />
k=1<br />
n → ∞<br />
( k=1 k=1<br />
n<br />
) (<br />
∑<br />
n<br />
)<br />
∑<br />
lim a k + lim b k = S a + S b<br />
n → ∞<br />
k=1<br />
n → ∞<br />
k=1<br />
Másrészt<br />
S c a = lim<br />
n → ∞ sc n<br />
a = lim<br />
n → ∞<br />
n∑<br />
k=1<br />
(c a k ) = c lim<br />
n → ∞<br />
n∑<br />
k=1<br />
a k = c S a<br />
6.1. Végtelen <strong>sorok</strong> természetes szorzata<br />
a 1 + a 2 + a 3 + a 4 + · · · + a k + · · ·<br />
b 1 b 1 a 1 + b 1 a 2 + b 1 a 3 + b 1 a 4 + · · · + b 1 a k + · · ·<br />
+<br />
b 2 b 2 a 1 + b 2 a 2 + b 2 a 3 + b 2 a 4 + · · · + b 2 a k + · · ·<br />
+<br />
b 3 b 3 a 1 + b 3 a 2 + b 3 a 3 + b 3 a 4 + · · · + b 3 a k + · · ·<br />
+<br />
b 4 b 4 a 1 + b 4 a 2 + b 4 a 3 + b 4 a 4 + · · · + b 4 a k + · · ·<br />
+. .<br />
+<br />
b k b k a 1 + b k a 2 + b k a 3 + b k a 4 + · · · + b k a k + · · ·<br />
+. .<br />
A természetes szorzat elemei:<br />
c○ Kónya I. – Fritz Jné – Győri S. 25 v1.4
t 1 = b 1 a 1 , t 2 = b 2 a 1 + b 2 a 2 + b 1 a 2 , t 3 = b 3 a 1 + b 3 a 2 + b 3 a 3 + b 2 a 3 + b 1 a 3 , . . .<br />
A természetes szorzat:<br />
∞∑<br />
t k , ahol<br />
n∑<br />
t k =<br />
n∑<br />
a k<br />
k=1<br />
k=1 k=1 k=1<br />
n∑<br />
b k .<br />
✎☞ ∞∑<br />
∞∑<br />
✍✌ T Ha a k = S a és b k = S b , akkor a<br />
k=1<br />
k=1<br />
természetes szorzata konvergens, és<br />
∞∑<br />
k=1<br />
a k<br />
és<br />
∞∑<br />
k=1<br />
b k<br />
<strong>sorok</strong><br />
(<br />
∞∑<br />
∞<br />
) (<br />
∑ ∞<br />
)<br />
∑<br />
t k = a k b k = S a S b .<br />
k=1 k=1 k=1<br />
(Bizonyítás az előzőek alapján nyilvánvaló.)<br />
6.2. Végetelen <strong>sorok</strong> Cauchy-szorzata<br />
a 1 + a 2 + a 3 + a 4 + · · · + a k + · · ·<br />
b 1 b 1 a 1 b 1 a 2 b 1 a 3 b 1 a 4 · · · b 1 a k · · ·<br />
+ ✑ ✑✑ ✑ ✑✑ ✑ ✑✑<br />
b 2 b 2 a 1 b 2 a 2 b 2 a 3 b 2 a 4 · · · b 2 a k · · ·<br />
+<br />
✑ ✑✑ ✑ ✑✑<br />
b 3 b 3 a 1 b 3 a 2 b 3 a 3 b 3 a 4 · · · b 3 a k · · ·<br />
+<br />
✑ ✑✑<br />
b 4 b 4 a 1 b 4 a 2 b 4 a 3 b 4 a 4 · · · b 4 a k · · ·<br />
+. .<br />
+<br />
b k b k a 1 b k a 2 b k a 3 b k a 4 · · · b k a k · · ·<br />
+. .<br />
A Cauchy-szorzat elemei:<br />
c 1 = b 1 a 1 ,<br />
c 2 = b 1 a 2 + b 2 a 1 ,<br />
c 3 = b 1 a 3 + b 2 a 2 + b 3 a 1 ,<br />
· · · ,<br />
c n = b 1 a n + b 2 a n−1 + b 3 a n−2 + · · · + b n a 1 (indexek összege n + 1 ).<br />
c○ Kónya I. – Fritz Jné – Győri S. 26 v1.4
A Cauchy-szorzat:<br />
∞∑<br />
c n , ahol c n =<br />
n=1<br />
n∑<br />
b k a n−k+1 .<br />
k=1<br />
✎☞<br />
✍✌ T Ha<br />
∞∑<br />
k=1<br />
akkor a<br />
a k<br />
∞∑<br />
k=1<br />
és<br />
a k<br />
∞∑<br />
k=1<br />
és<br />
b k<br />
∞∑<br />
k=1<br />
∞∑<br />
∞∑<br />
abszolút konvergens <strong>sorok</strong> és a k = S a , b k = S b ,<br />
b k<br />
k=1<br />
k=1<br />
Cauchy-szorzata is abszolút konvergens, és<br />
∞∑<br />
c n = S a S b , ahol c n =<br />
n=1<br />
k=1<br />
n∑<br />
b k a n−k+1 .<br />
(¬B)<br />
✓✏∞∑<br />
Pl.<br />
✒✑<br />
k=0<br />
∞∑<br />
k=0<br />
x k = 1 + x + x 2 + · · · + x k + · · · = 1 , ha |x| < 1.<br />
1 − x<br />
(−1) k x k = 1 − x + x 2 + · · · + (−1) k x k + · · · = 1 , ha |x| < 1 .<br />
1 + x<br />
Írjuk fel a fenti két sor Cauchy-szorzatát!<br />
1 + x + x 2 + x 3 + · · · + x k + · · ·<br />
1 1 x x 2 x 3 · · · x k · · ·<br />
+ ✑ ✑✑ ✑ ✑✑ ✑ ✑✑<br />
−x −x −x 2 −x 3 −x 4 · · · −x k+1 · · ·<br />
+<br />
✑ ✑✑ ✑ ✑✑<br />
x 2 x 2 x 3 x 4 x 5 · · · x k+2 · · ·<br />
+<br />
✑ ✑✑<br />
−x 3 −x 3 −x 4 −x 5 −x 6 · · · −x k+3 · · ·<br />
+. .<br />
+<br />
(−1) k x k · · ·<br />
+. .<br />
Cauchy-szorzat:<br />
1+0+x 2 +0+x 4 +0+x 6 +· · · = 1+x 2 +x 4 +x 6 +· · ·+x 2k +· · · = 1<br />
1 − x = 1 1<br />
2 1 − x·<br />
1 + x ,<br />
ha |x| < 1 .<br />
c○ Kónya I. – Fritz Jné – Győri S. 27 v1.4
Házi feladat:<br />
∞∑ x k<br />
∞∑<br />
Határozzuk meg a<br />
k! = ex és<br />
k=0<br />
k=0<br />
∞∑<br />
(Megjegyzés: e x · e y = e x+y (x + y) k<br />
=<br />
k!<br />
k=0<br />
y k<br />
k! = ey <strong>sorok</strong> Cauchy-szorzatát!<br />
eredményt kell kapni.)<br />
6.3. Zárójelek elhelyezése illetve elhagyása végtelen sor esetén<br />
a 1 + a 2 + a 3 + a 4 + a 5 + a 6 + · · ·<br />
A fenti sor részletösszegei:<br />
s 1 = a 1 , s 2 = a 1 +a 2 , s 3 = a 1 +a 2 +a 3 , s 4 = a 1 +a 2 +a 3 +a 4 , s 5 = a 1 +a 2 +a 3 +a 4 +a 5 , . . .<br />
stb. Az<br />
a 1 + a 2 + (a 3 + a 4 + a } {{ } 5 ) + a 6 + · · ·<br />
a ∗ 3<br />
bezárójelezett új sor részletösszegei<br />
s ∗ 1 = a 1 , s ∗ 2 = a 1 + a 2 , s ∗ 3 = a 1 + a 2 + a 3 + a 4 + a 5 , s ∗ 4 = a 1 + a 2 + a 3 + a 4 + a 5 + a 6 , . . .<br />
Zárójelek elhelyezése esetén a részletösszegek sorozata szűkül. Ha a sor konvergens volt,<br />
akkor zárójelek behelyezése esetén is konvergens marad. Előfordulhat, hogy divergens<br />
sorból – zárójelek elhelyezése után – konvergens sor lesz.<br />
Pl. (1 − 1) + (1 − 1) + (1 − 1) + (1 − · · · .<br />
Véges sok zárójel elhelyezése nem befolyásolja a konvergenciát!<br />
Zárójelek elhagyása után a részletösszegek sorozata bővül. Ha a sor divergens volt,<br />
akkor zárójelek elhagyása esetén is divergens marad. Előfordulhat, hogy konvergens<br />
sorból – zárójelek elhagyása után – divergens sor lesz. Véges sok zárójel elhagyása nem<br />
befolyásolja a konvergenciát!<br />
6.4. Végtelen sor elemeinek felcserélése (átrendezése)<br />
a 1 + a 2 + a 3 + a 4 + a 5 + · · · + a k + · · ·<br />
a 1 + a 3 + a 2 + a 100 + a 5 + a 6 + · · · + a 99 + a 4 + a 101 + · · ·<br />
Véges sok elem felcserélése nem változtatja meg a konvergencia vagy divergencia<br />
tényét, nem változik meg a sorösszeg sem. Végtelen sok elemcsere megváltoztathatja a<br />
sorösszeget, feltételesen konvergens sor átrendezhető akár divergenssé is.<br />
c○ Kónya I. – Fritz Jné – Győri S. 28 v1.4
∞∑<br />
✎☞<br />
✍✌ T Ha a k<br />
k=1<br />
konvergens és<br />
∞∑<br />
|a k | divergens, akkor<br />
k=1<br />
∞∑<br />
k=1<br />
a k<br />
átrendezhető úgy, hogy<br />
divergens legyen, és átrendezhető úgy is, hogy egy előre tetszőlegesen megadott szám<br />
legyen az összege. (Nem bizonyítjuk.)<br />
✎☞ ∞∑<br />
✍✌ T Ha a k abszolút konvergens, akkor tetszőleges átrendezése is abszolút konvergens,<br />
k=1<br />
az átrendezés nem változtatja meg a sorösszeget. (Nem bizonyítjuk.)<br />
7. Feladatok <strong>sorok</strong>hoz<br />
1. a)<br />
b)<br />
c)<br />
∞∑<br />
2<br />
∞∑<br />
1<br />
∞∑<br />
1<br />
3 k+1 + 2 2k+1<br />
5 k = ?<br />
2<br />
n(n + 2) = ?<br />
1<br />
− 1<br />
n n+1<br />
√1 + 1 n + √<br />
1 + 1<br />
n+1<br />
= ?<br />
2. Konvergensek-e az alábbi <strong>sorok</strong>?<br />
a)<br />
b)<br />
c)<br />
d)<br />
e)<br />
f)<br />
∞∑<br />
1<br />
∞∑<br />
1<br />
∞∑<br />
1<br />
∞∑<br />
1<br />
∞∑<br />
1<br />
∞∑<br />
1<br />
1<br />
√ n +<br />
3 √ n + 4√ n<br />
( n n<br />
n+1)<br />
n 3 + 1<br />
n 5 + 1<br />
√<br />
1<br />
3 n<br />
n 4 n+1 l)<br />
g)<br />
h)<br />
n<br />
n 2 + 5<br />
i)<br />
5 n<br />
(2n + 3)!<br />
j)<br />
n n−1<br />
3n + 1<br />
k)<br />
∞∑<br />
1<br />
∞∑<br />
1<br />
∞∑<br />
1<br />
∞∑<br />
2<br />
∞∑<br />
1<br />
∞∑<br />
1<br />
1<br />
n + 2 n<br />
2n + 1<br />
2 n + n<br />
n 2<br />
2 n<br />
1<br />
(ln n) n<br />
n 3<br />
7 3n+2<br />
2 n · n<br />
(3n)!<br />
c○ Kónya I. – Fritz Jné – Győri S. 29 v1.4
m)<br />
n)<br />
o)<br />
p)<br />
q)<br />
r)<br />
s)<br />
∞∑<br />
( ) n n + 1<br />
t)<br />
2n + 3<br />
1<br />
∞∑<br />
1<br />
n<br />
10<br />
n − √ n 2 − √ y)<br />
n + 3<br />
( √ ) n ∞∑ 5<br />
1 −<br />
z)<br />
3n<br />
∞∑ 3 n + 4 n<br />
5 n + 6 n<br />
1<br />
u)<br />
∞∑<br />
(−1) n n + 1<br />
2n + 1<br />
1<br />
v)<br />
∞∑<br />
(−1) n n<br />
n 2 + 5<br />
1<br />
w)<br />
∞∑<br />
(−1) n n<br />
n 3 + 5<br />
1<br />
x)<br />
1<br />
∞∑ 10 n<br />
n! n 2<br />
1<br />
( √ ∞∑ 3<br />
1 −<br />
n<br />
1<br />
) n 2 +n<br />
∞∑ n<br />
( 3<br />
)<br />
1 4 +<br />
2 n<br />
n 2<br />
∞∑ n!<br />
n n<br />
1<br />
∞∑<br />
( ) n 2<br />
2n<br />
2n + 1<br />
1<br />
∞∑<br />
( ) n 2<br />
n<br />
n 2 + 1<br />
1<br />
∞∑<br />
1<br />
( n<br />
) n 2<br />
n − 1<br />
1<br />
2 n<br />
3. Határozzuk meg az alábbi <strong>sorok</strong> értékét 10 −3 -nál kisebb hibával!<br />
∞∑<br />
( ) n<br />
2 n<br />
a)<br />
2n 2 + 1<br />
b)<br />
c)<br />
d)<br />
e)<br />
f)<br />
1<br />
∞∑<br />
2<br />
1<br />
(2n)! − n!<br />
∞∑<br />
(−1) n<br />
1<br />
∞∑<br />
1<br />
∞∑<br />
1<br />
∞∑<br />
1<br />
(−2) n<br />
n · 2 n + 5<br />
2 n<br />
n!<br />
n! 3 n<br />
(2n)!<br />
2 n<br />
2 n + 10 n<br />
4. Mekkora hibát követünk el, ha a sorösszeget 10. részletösszegével közelítjük?<br />
∑<br />
(s ≈ s 10 ; H = r 10 = ∞ a k ; |H| ≤ ?)<br />
k=11<br />
c○ Kónya I. – Fritz Jné – Győri S. 30 v1.4
a)<br />
b)<br />
c)<br />
d)<br />
e)<br />
f)<br />
∞∑<br />
1<br />
n! + √ 2<br />
1<br />
∞∑ 1<br />
n 2 + 3 n<br />
1<br />
∞∑<br />
( n + 1<br />
3n + 1<br />
1<br />
∞∑<br />
1<br />
∞∑<br />
1<br />
∞∑<br />
1<br />
n!<br />
(2n)!<br />
) n<br />
3 n<br />
2 2n + n 2 + 3<br />
(−1) n (n − 1)<br />
n 2 + n<br />
5. Abszolút illetve feltételesen konvergens-e az alábbi sor?<br />
a)<br />
b)<br />
c)<br />
∞∑<br />
1<br />
∞∑<br />
1<br />
∞∑<br />
1<br />
(−1) n n + 4<br />
n 2 + 4<br />
(−1) n<br />
n log 2 n 2<br />
(−1) n<br />
2n 2 − 3n + 8<br />
d) 1 − 1 3 + 1 2 2 − 1 3 2 + 1 3 2 − 1 3 3 + · · · + 1 n 2 − 1 3 n + · · ·<br />
e)<br />
1<br />
√<br />
1<br />
− 1 1 2 + · · · + 1 √ n<br />
− 1 n 2 + · · ·<br />
f) −1 + 1 2 − 1 2! + 1 2 2 − 1 3! + 1 2 3 − · · · − 1 n! + 1 2 n − · · ·<br />
g) 1 − 1 2 2 + 1 3 3 − · · · + 1<br />
(2n − 1) 3 − 1<br />
(2n) 2 + · · ·<br />
h) 1 − 1 2 + 1 3 − 1 2 2 + · · · + 1<br />
2n − 1 − 1 2 n + · · ·<br />
c○ Kónya I. – Fritz Jné – Győri S. 31 v1.4
8. Számsorozatok nagyságrendje<br />
✎☞<br />
✍✌ D an = O(b n ) ( nagy ordó b ” n ”), ha ∃ c 1 :<br />
|a n | ≤ c 1 |b n |, n > N (legfeljebb véges sok kivétellel)<br />
✎☞<br />
✍✌ D an = Ω(b n ) ( omega b ” n ”), ha b n = O(a n ).<br />
Vagyis |b n | ≤ c 1 |a n | n > N (∃ c 1 ).<br />
Ekkor: c 2 |b n | = 1 c 1<br />
|b n | ≤ |a n |, vagyis most |a n | alulról becsülhető |b n | segítségével.<br />
✎☞<br />
✍✌ D an = Θ(b n ) ( teta b ” n ”), ha a n = O(b n ) és a n = Ω(b n ).<br />
Az előzőből következik:<br />
✎☞<br />
✍✌ T a n = Θ(b n ) ⇐⇒ c 2 |b n | ≤ |a n | ≤ c 1 |b n |<br />
✓✏<br />
Pl.<br />
✒✑a n = 2n 2 − n + 3<br />
1. a n = O(n 2 ), mert 2n 2 − n + 3 ≤ 2 · n 2 , ha n ≥ 3. Persze a n = O(n 3 ) is igaz, sőt<br />
általánosságban: a n = O(n 2+α ), α ≥ 0.<br />
2. a n = Ω(n 2 ), mert 1 · n 2 = 2n 2 − n 2 ≤ 2n 2 − n + 3. Sőt a n = Ω(n 2−α ), α ≥ 0.<br />
3. Tehát a n = Θ(n 2 ).<br />
8.1. Műveletek Θ-val<br />
✎☞<br />
✍✌ T a n , b n , c n , d n > 0<br />
a n = Θ(c n )<br />
b n = Θ(d n )<br />
}<br />
=⇒<br />
⎧<br />
⎪⎨<br />
⎪⎩<br />
1. a n · b n = Θ(c n · d n )<br />
2.<br />
( )<br />
a n cn<br />
= Θ<br />
b n d n<br />
3. a n + b n = Θ(c n + d n )<br />
Különbségre nem igaz!<br />
Megj.: Akkor van értelme használni ezt, ha c n és d n sokkal egyszerűbb” sorozatok.<br />
✎☞<br />
” B ✍✌<br />
0 < α 1 c n ≤ a n ≤ α 2 c n , mert a n = Θ(c n )<br />
0 < β 1 d n ≤ b n ≤ β 2 d n , mert b n = Θ(d n )<br />
c○ Kónya I. – Fritz Jné – Győri S. 32 v1.4
1. Azonos értelmű egyenlőtlenségek összeszorozhatók:<br />
(α 1 β 1 )c n d n ≤ a n b n ≤ (α 2 β 2 )c n d n =⇒ a n b n = Θ(c n d n )<br />
2.<br />
3.<br />
0 < α 1 c n ≤ α n ≤ α 2 c n<br />
⎫<br />
⎪⎬<br />
0 < 1 1<br />
≤ 1 ≤ 1 1 =⇒<br />
⎪ ⎭<br />
β 2 d n b n β 1 d n<br />
tehát a ( )<br />
n cn<br />
= Θ<br />
b n d n<br />
( )<br />
α1 cn<br />
≤ a ( )<br />
n α2 cn<br />
≤ ,<br />
β 1 d n b n β 1 d n<br />
α(c n + d n ) ≤ α 1 c n + β 1 d n ≤ a n + b n ≤ α 2 c n + β 2 d n ≤ β(c n + d n )<br />
=⇒ a n + b n = Θ(c n + d n )<br />
α = min{α 1 , β 1 }, β = max{α 2 , β 2 }<br />
✓✏<br />
Pl.<br />
✒✑a n = √ 2n 2 + 3n + 1 − √ n 2 − n + 1 =<br />
=<br />
(<br />
Θ(n 2 )<br />
Θ(n) + Θ(n) = Θ(n2 )<br />
Θ(n + n) = Θ(n2 ) n<br />
2<br />
Θ(n) = Θ n<br />
✓✏<br />
Pl.<br />
✒✑a n = √ 7n 2 − 2n + 10 − √ 7n 2 − 2n + 3 =<br />
= Θ(1) ( ) 1<br />
Θ(n + n) = Θ =⇒ a n → 0<br />
n<br />
n 2 + 4n<br />
√<br />
2n2 + 3n + 1 + √ n 2 − n + 1 =<br />
)<br />
= Θ(n) =⇒ a n → ∞<br />
10 − 3<br />
√<br />
7n2 − 2n + 10 + √ 7n 2 − 2n + 3 =<br />
8.2. a n ∼ b n<br />
✎☞<br />
✍✌ D an aszimptotikusan egyenlő b n -nel, jelben a n ∼ b n , ha<br />
a n<br />
lim = 1<br />
n→∞ b n<br />
✓✏<br />
Pl.<br />
✒✑sin 1 n ∼ 1 sin 1 n<br />
, mert lim<br />
n n→∞<br />
1<br />
= 1<br />
n<br />
✓✏ ( n<br />
) n √<br />
Pl.<br />
✒✑n! ∼ 2πn Stirling formula (¬B)<br />
e<br />
c○ Kónya I. – Fritz Jné – Győri S. 33 v1.4
✎☞<br />
✍✌ T a n , b n , c n , d n > 0<br />
⎧<br />
1. a n + b n ∼ c n + d n<br />
}<br />
a n ∼ c n<br />
b n ∼ d n<br />
=⇒<br />
⎪⎨<br />
⎪⎩<br />
2. a n b n ∼ c n d n<br />
3.<br />
4.<br />
1<br />
∼ 1 a n c n<br />
b n<br />
∼ d n<br />
a n c n<br />
Megint nincs különbség!<br />
✎☞<br />
B ✍✌<br />
a n ∼ c n : a n<br />
→ 1 =⇒ 0 < 1 − ε < a n<br />
< 1 + ε, n > N 1<br />
c n c n<br />
b n ∼ d n :<br />
Legyen n > max{N 1 , N 2 } = N<br />
b n<br />
d n<br />
→ 1 =⇒ 0 < 1 − ε < b n<br />
d n<br />
< 1 + ε, n > N 2<br />
1. 1 − ε = (1 − ε)c n + (1 − ε)d n<br />
c n + d n<br />
< a n + b n<br />
c n + d n<br />
< (1 + ε)c n + (1 + ε)d n<br />
c n + d n<br />
= 1 + ε ,<br />
ha n > N<br />
2. ¬B<br />
3.<br />
1<br />
a n<br />
1<br />
c n<br />
= c n<br />
a n<br />
= 1 a n<br />
cn<br />
→ 1<br />
4. Az előző kettőből következik: a n ∼ c n =⇒ 1 a n<br />
∼ 1 c n<br />
; másrészt b n ∼ d n<br />
=⇒ b n<br />
a n<br />
∼ d n<br />
c n<br />
✓✏<br />
Pl.<br />
✒✑a n = 3√ 2n 2 + n + 1 − 3√ 2n 2 − 3n − 7 =<br />
2n 2 + n + 1 − (2n 2 − 3n − 7)<br />
= ( √ 3<br />
2n2 + n + 1 ) 2 √ +<br />
3<br />
2n 2 + n + 1 3√ 2n 2 − 3n − 7 + ( √ 3<br />
2n 2 − 3n − 7 ) 2 ∼<br />
∼<br />
(<br />
)<br />
3√ 2 2 (<br />
2 n 3 +<br />
4n<br />
3√<br />
2 n<br />
2<br />
3<br />
) 2<br />
+<br />
(<br />
)<br />
3√ 2 2<br />
=<br />
2 n 3<br />
4n<br />
3√<br />
4 · 3 n<br />
4<br />
3<br />
=<br />
4<br />
3 3√ 4 3√ n<br />
=⇒ a n → 0<br />
✓✏<br />
Pl.<br />
✒✑a n =<br />
arctg √ n<br />
3√<br />
2n2 + n + 1 − 3√ 2n 2 − 3n − 7 ∼<br />
π<br />
2<br />
4<br />
3 3√ 4 3√ n<br />
=konst· 3√ n → ∞<br />
c○ Kónya I. – Fritz Jné – Győri S. 34 v1.4
✓✏<br />
(n!)<br />
Pl.<br />
2<br />
✒✑(2n)! ∼<br />
( n<br />
) 2n<br />
2πn<br />
( )<br />
e<br />
2n<br />
=<br />
2n √<br />
2π · 2n<br />
e<br />
√ π<br />
√ n<br />
4 n → 0<br />
✓✏<br />
Pl.<br />
✒✑Az előző példa felhasználásával:<br />
( ) 2n<br />
= (2n)!<br />
( ))<br />
∼ √ 4n<br />
4<br />
n<br />
√<br />
(= Θ √<br />
n n!n! π n n<br />
✎☞<br />
M ✍✌ a n ∼ b n ≠⇒ (a n ) n ∼ (b n ) n Pl. 1 + 1 ↓<br />
n<br />
1<br />
∼ n√ 2<br />
↓<br />
1<br />
, de<br />
(<br />
1 + 1 ) n<br />
n<br />
↓<br />
e<br />
≁ 2<br />
Persze a n ∼ b n esetén a k n ∼ b k n, k ∈ N + már igaz (k ≠ f(n)). (k valós is lehet)<br />
(<br />
( ) ) k<br />
a n<br />
an<br />
→ 1 =⇒ → 1<br />
b n b n<br />
És igaz a következő tétel is:<br />
✎☞<br />
✍✌ T a n , b n > 0<br />
a n ∼ b n =⇒ n√ a n ∼ n√ b n<br />
✎☞<br />
✍✌ B an ∼ b n =⇒ a n<br />
→ 1 =⇒ 0 < 1 − ε < a n<br />
< 1 + ε,<br />
b n b n<br />
n > N(ε)<br />
=⇒ n√ 1 − ε<br />
↓<br />
1<br />
< n √<br />
an<br />
b n<br />
<<br />
n√ 1 + ε<br />
↓<br />
1<br />
=⇒ n √<br />
an<br />
b n<br />
→ 1<br />
✓✏√ n 3n<br />
Pl.<br />
2 − n √ √<br />
n + 6 3<br />
✒✑ 2n 2 + 3n + 7 ∼ n 2 ∼ 1<br />
✓✏<br />
Pl.<br />
✒✑Határozza meg A és α értékét úgy, hogy cos 1 n − 1 ∼ Anα teljesüljön!<br />
c○ Kónya I. – Fritz Jné – Győri S. 35 v1.4
1. megoldás:<br />
lim<br />
n→∞<br />
cos 1 n − 1<br />
An α = 1 =⇒ lim<br />
n→∞<br />
cos 1 n − 1<br />
n α = A ≠ 0<br />
u := 1 n −→n ↓<br />
∞<br />
lim<br />
u→+0<br />
}<br />
α = 0-ra A = 0 lenne<br />
α > 0-ra 0 → 0 = A lenne =⇒ α < 0<br />
∞<br />
0<br />
0<br />
0<br />
cos u − 1<br />
} u{{ −α<br />
}<br />
L’H<br />
= lim<br />
u→+0<br />
− sin u<br />
= lim<br />
−αu−α−1 u→+0<br />
sin u<br />
u · 1<br />
−α−1 α = 1 α = A<br />
ha −α − 1 = 1 =⇒ α = −2, A = − 1 2 .<br />
Tehát cos 1 n − 1 ∼ −1 2<br />
2. megoldás:<br />
1<br />
n 2<br />
cos x − 1 = −2 sin 2 x cos 1<br />
2 azonosság segítségével: n − 1<br />
=<br />
( ) An α 2 1<br />
An α = −2 → A = − 1 2n<br />
2 , α = −2<br />
−2 sin 2 1<br />
2n<br />
An α<br />
→ 1, ha<br />
Feladat:<br />
Határozza meg A és α értékét úgy, hogy sin 1 n − 1 n ∼ Anα fennálljon!<br />
✎☞<br />
✍✌ T a n > 0, b n > 0<br />
a n ∼ b n =⇒<br />
∞∑<br />
an és<br />
∞∑<br />
bn egyidejűleg konvergens, illetve divergens<br />
(Jelben:<br />
∞∑<br />
an ∼<br />
∞∑<br />
bn )<br />
✎☞<br />
✍✌ B an ∼ b n =⇒ a n<br />
→ 1 =⇒ 1 − ε < a n<br />
< 1 + ε. Legyen ε < 1.<br />
b n b n<br />
Tehát c 1 b n < a n < c 2 b n (c 1 = 1 − ε > 0, c 2 = 1 + ε)<br />
Ha<br />
Ha<br />
∞∑<br />
an konvergens, akkor b n < 1 c 1<br />
a n miatt<br />
∞∑<br />
an divergens, akkor 1 c 2<br />
a n < b n miatt<br />
∞∑<br />
bn is konvergens (majoráns kritérium)<br />
∞∑<br />
bn is divergens (minoráns kritérium)<br />
c○ Kónya I. – Fritz Jné – Győri S. 36 v1.4
Ha<br />
Ha<br />
∞∑<br />
bn konvergens, akkor a n < c 2 b n miatt<br />
∞∑<br />
bn divergens, akkor c 1 b n < a n miatt<br />
∞∑<br />
an is konvergens (majoráns kritérium)<br />
∞∑<br />
an is divergens (minoráns kritérium)<br />
✓✏∞∑ ∞<br />
1<br />
Pl.<br />
✒✑ 3n 2 − 2 √ n + 8 = ∑<br />
an<br />
a n ∼ 1<br />
3n 2 = b n<br />
és<br />
✓✏∞∑ ∞<br />
1<br />
Pl.<br />
✒✑ 7n + 3√ n − 1 = ∑<br />
an<br />
a n ∼ 1<br />
7n = b n<br />
és<br />
✓✏∞∑ ∞<br />
1<br />
Pl.<br />
✒✑ arctg<br />
n = ∑<br />
an<br />
∞∑<br />
bn konvergens =⇒<br />
∞∑<br />
bn divergens =⇒<br />
∞∑<br />
an konvergens<br />
∞∑<br />
an divergens<br />
a n ∼ 1 n = b n<br />
és<br />
∞∑<br />
bn divergens =⇒<br />
∞∑<br />
an divergens<br />
✓✏∞∑ (<br />
Pl.<br />
✒✑ 1 − cos<br />
n)<br />
1 =<br />
∞∑<br />
an<br />
a n = 2 sin 2 1<br />
2n ∼ 2 1<br />
4n 2 = 1<br />
2n 2 = b n<br />
és<br />
∞∑<br />
bn konvergens =⇒<br />
∞∑<br />
an konvergens<br />
Feladatok:<br />
Konvergensek-e az alábbi <strong>sorok</strong>?<br />
∞∑<br />
( 1<br />
1.<br />
n n)<br />
− arctg 1<br />
2.<br />
n=1<br />
∞∑<br />
n=1<br />
(<br />
ch 2 n − cos 3 )<br />
n<br />
3.<br />
∞∑<br />
n=1<br />
1<br />
( 3n<br />
n<br />
)<br />
c○ Kónya I. – Fritz Jné – Győri S. 37 v1.4
✎☞<br />
✍✌ D an = o(b n ) ( kis ordó b ” n ”), ha ∀ c > 0-ra<br />
|a n | ≤ c|b n | n > N-re<br />
Más jelölés is használatos:<br />
a n ≪ b n , ha a n = o(b n )<br />
(Nagyságrendileg kisebb vagy lényegesen kisebb.)<br />
∣ A definíció következménye, hogy b n ≠ 0 esetén<br />
a n ∣∣∣<br />
∣ ≤ c, n > N ∀ c > 0-ra. Ebből<br />
b n ∣ persze már következik, hogy ekkor ∀ ε > 0-hoz ∃ N 0 (ε), hogy<br />
a n ∣∣∣<br />
∣ < ε, ha n > N 0 (ε).<br />
b n<br />
Nyilvánvalóan igaz az alábbi állítás is:<br />
✎☞<br />
✍✌ T a n = o(b n ), b n ≠ 0 ⇐⇒<br />
a n<br />
lim = 0<br />
n→∞ b n<br />
✓✏<br />
Pl.<br />
✒✑Mit jelent a n = o(1)?<br />
Mivel ∀ c > 0-ra |a n | ≤ c, ha n > N, ezért lim a n = 0<br />
n→∞<br />
✎☞<br />
✍✌ M A következő állítás is könnyen bizonyítható lenne:<br />
a n ∼ b n ⇐⇒ a n = b n (1 + o(1)).<br />
✓✏<br />
Pl.<br />
✒✑n! = o(n n n!<br />
), mert lim<br />
n→∞ n = 0 n<br />
1. megoldás:<br />
2. megoldás:<br />
0 < n!<br />
n n = 1 · 2 · · · n<br />
n · n · · · n < 1 n<br />
(<br />
n! n<br />
) n √<br />
n ∼ e 2πn<br />
=<br />
n n n<br />
+ rendőrelv<br />
√<br />
2πn<br />
e n → 0<br />
Vége!<br />
c○ Kónya I. – Fritz Jné – Győri S. 38 v1.4