18.04.2014 Views

Numerikus sorok - Index of

Numerikus sorok - Index of

Numerikus sorok - Index of

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!