18.04.2014 Views

Numerikus sorok - Index of

Numerikus sorok - Index of

Numerikus sorok - Index of

SHOW MORE
SHOW LESS

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

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

Saved successfully!

Ooh no, something went wrong!