9.2: Нескінченна серія
- Поясніть значення суми нескінченного ряду.
- Обчисліть суму геометричного ряду.
- Оцініть телескопічну серію.
Ми бачили, що послідовність - це впорядкований набір термінів. Якщо ви додасте ці терміни разом, ви отримаєте серію. У цьому розділі ми визначаємо нескінченний ряд і показуємо, як серії пов'язані з послідовностями. Ми також визначаємо, що означає, що серія сходиться або розходиться. Ми представляємо один з найважливіших типів серій: геометричний ряд. Ми будемо використовувати геометричні ряди в наступному розділі, щоб записати певні функції як поліноми з нескінченною кількістю членів. Цей процес важливий, оскільки дозволяє нам оцінювати, диференціювати та інтегрувати складні функції за допомогою поліномів, які легше обробляти. Ми також обговорюємо гармонійну серію, можливо, найцікавішу розбіжну серію, оскільки вона просто не сходиться.
Суми та серії
Нескінченний ряд - це сума нескінченно багатьох термінів і пишеться у вигляді
∞∑n=1an=a1+a2+a3+⋯.
Але що це означає? Ми не можемо додати нескінченну кількість термінів так само, як ми можемо додати кінцеву кількість термінів. Натомість значення нескінченного ряду визначається через межу часткових сум. Часткова сума нескінченного ряду - це скінченна сума виду
k∑n=1an=a1+a2+a3+⋯+ak.
Щоб побачити, як ми використовуємо часткові суми для оцінки нескінченних рядів, розглянемо наступний приклад. Припустимо, нафта просочується в озеро таким чином, що1000 галони потрапляють в озеро перший тиждень. Протягом другого тижня в озеро надходить додаткові500 галони нафти. Третій тиждень в озеро надходить250 більше галонів. Припустимо, що ця закономірність триває так, що щотижня в озеро потрапляє вдвічі менше нафти, ніж на попередньому тижні. Якщо так триває вічно, що вже говорити про кількість нафти в озері? Чи буде кількість нафти продовжувати отримувати довільно велике, або можливо, що воно наближається до деякої кінцевої кількості? Щоб відповісти на це питання, ми розглянемо кількість нафти в озері післяk тижнів. ДаючиSk позначити кількість нафти в озері (вимірюється тисячами галонів) черезk тижні, ми бачимо, що
S1=1
S2=1+0.5=1+12
S3=1+0.5+0.25=1+12+14
S4=1+0.5+0.25+0.125=1+12+14+18
S5=1+0.5+0.25+0.125+0.0625=1+12+14+18+116.
Дивлячись на цю закономірність, ми бачимо, що кількість нафти в озері (в тисячах галонів) черезk тижні становить
Sk=1+12+14+18+116+⋯+12k−1=k∑n=1(12)n−1.
Нас цікавить, що відбувається якk→∞. Символічно, кількість нафти в озері, якk→∞ це дається нескінченним рядом
∞∑n=1(12)n−1=1+12+14+18+116+⋯.
У той же час, якk→∞, кількість нафти в озері можна розрахувати, оцінившиlimk→∞Sk. Тому поведінку нескінченного ряду можна визначити, дивлячись на поведінку послідовності часткових сумSk. Якщо послідовність часткових сумSk сходиться, ми говоримо, що нескінченний ряд сходиться, а його сума заданаlimk→∞Sk. Якщо послідовністьSk розходиться, ми говоримо, що нескінченний ряд розходиться. Тепер звернемо увагу на визначення межі цієї послідовностіSk.
По-перше, спрощуючи деякі з цих часткових сум, ми бачимо, що
S1=1
S2=1+12=32
S3=1+12+14=74
S4=1+12+14+18=158
S5=1+12+14+18+116=3116.
Поклавши деякі з цих значень на малюнку, виявляється, що послідовністьSk може наближатися до 2.

Давайте пошукаємо більш переконливі докази. У наступній таблиці ми перерахуємо значенняSk для декількох значеньk.
k | 5 | 10 | 15 | 20 |
---|---|---|---|---|
Sk | 1,9375 | 1.998 | 1,99939 | 1.9998 |
Ці дані дають більше доказів, що свідчать про те, що послідовністьSk збігається до2. Пізніше ми наведемо аналітичний аргумент, який можна використовувати, щоб довести цеlimk→∞Sk=2. Наразі ми покладаємося на числові та графічні дані, щоб переконати себе, що послідовність часткових сум насправді сходиться до2. Оскільки ця послідовність часткових сум сходиться до2, ми говоримо, що нескінченний ряд сходиться до2 і записувати
∞∑n=1(12)n−1=2.
Повертаючись до питання про нафту в озері, так як цей нескінченний ряд сходиться до2, робимо висновок, що кількість нафти в озері буде довільно наближатися до2000 галонів, так як кількість часу стає досить великим.
Ця серія є прикладом геометричного ряду. Більш докладно про геометричні ряди ми розглянемо далі в цьому розділі. Спочатку підсумовуємо, що означає сходитися нескінченний ряд.
Нескінченний ряд - це вираз форми
∞∑n=1an=a1+a2+a3+⋯.
Для кожного натурального цілого числаk - сума
Sk=k∑n=1an=a1+a2+a3+⋯+ak
називаєтьсяkth частковою сумою нескінченного ряду. Часткові суми утворюють послідовністьSk. Якщо послідовність часткових сум сходиться до дійсного числаS, нескінченний ряд сходиться. Якщо ми можемо описати збіжність ряду доS, миS називаємо суму ряду, і пишемо
∞∑n=1an=S.
Якщо послідовність часткових сум розходиться, ми маємо розбіжність ряду.
Зверніть увагу, що індекс для ряду не потрібно починати з,n=1 а може починатися з будь-якого значення. Наприклад, серіал
∞∑n=1(12)n−1
також може бути записаний як
∞∑n=0(12)nor∞∑n=5(12)n−5.
Часто індекс зручно починати з1, тому якщо з якоїсь причини він починається з іншого значення, ми можемо повторно індексувати, зробивши зміну змінних. Для прикладу розглянемо серію
∞∑n=21n2.
Вводячи зміннуm=n−1, так щоn=m+1, ми можемо переписати серію як
∞∑m=11(m+1)2.
Для кожного з наступних рядів використовуйте послідовність часткових сум, щоб визначити, чи збігається чи розходиться ряд.
- ∞∑n=1nn+1
- ∞∑n=1(−1)n
- ∞∑n=11n(n+1)
Рішення
а Послідовність часткових сумSk задовольняє
S1=12
S2=12+23
S3=12+23+34
S4=12+23+34+45.
Зверніть увагу, що кожен доданий термін більше, ніж1/2. В результаті ми бачимо, що
S1=12
S2=12+23>12+12=2(12)
S3=12+23+34>12+12+12=3(12)
S4=12+23+34+45>12+12+12+12=4(12).
З цього шаблону ми бачимо, щоSk>k(12) для кожного цілого числаk. ТомуSk є необмеженим і, отже, розходиться. Тому нескінченний ряд∞∑n=1nn+1 розходиться.
б. послідовність часткових сумSk задовольняє
S1=−1
S2=−1+1=0
S3=−1+1−1=−1
S4=−1+1−1+1=0.
З цієї закономірності ми можемо бачити послідовність часткових сум
Sk=−1,0,−1,0,….
Оскільки ця послідовність розходиться, нескінченний ряд∞∑n=1(−1)n розходиться.
c Послідовність часткових сумSk задовольняє
S1=11⋅2=12
S2=11⋅2+12⋅3=12+16=23
S3=11⋅2+12⋅3+13⋅4=12+16+112=34
S4=11⋅2+12⋅3+13⋅4+14⋅5=45
S5=11⋅2+12⋅3+13⋅4+14⋅5+15⋅6=56.
З цієї закономірності ми бачимо, щоkth часткова сума задається явною формулою
Sk=kk+1.
Оскількиk/(k+1)→1, ми робимо висновок, що послідовність часткових сум сходиться, і тому нескінченний ряд сходиться до1. У нас є
∞∑n=11n(n+1)=1.
Визначте,∞∑n=1n+1n сходиться чи розходиться ряд.
- Підказка
-
Подивіться на послідовність часткових сум.
- Відповідь
-
Ряд розходиться черезkth часткову сумуSk>k.
Гармонічна серія
Корисний серіал, про який слід знати, - це гармонійний ряд. Гармонічний ряд визначається як
∞∑n=11n=1+12+13+14+⋯.
Цей серіал цікавий тим, що розходиться, але розходиться дуже повільно. Під цим ми маємо на увазі, що члени в послідовності часткових сумSk наближаються до нескінченності, але роблять це дуже повільно. Ми покажемо, що ряд розходиться, але спочатку проілюструємо повільне зростання термінів в послідовностіSk в наступній таблиці.
k | 10 | 100 | 1000 | 10,00 | 100 000 | 1 000 000 |
---|---|---|---|---|---|---|
Sk | 2.92897 | 5.18738 | 7.48547 | 9.78761 | 12.09.015 | 14 39273 |
Навіть після закінчення1,000,000 строків часткова сума все ще відносно невелика. З цієї таблиці незрозуміло, що цей ряд насправді розходиться. Однак аналітично можна показати, що послідовність часткових сум розходиться, і тому ряд розходиться.
Щоб показати, що послідовність часткових сум розходиться, показано, що послідовність часткових сум необмежена. Починаємо з написання перших декількох часткових сум:
S1=1
S2=1+12
S3=1+12+13
S4=1+12+13+14.
Зверніть увагу, що протягом останніх двох термінів вS4,
13+14>14+14
Тому робимо висновок, що
S4>1+12+(14+14)=1+12+12=1+2(12).
Використовуючи ту ж ідею дляS8, ми бачимо, що
S8=1+12+13+14+15+16+17+18>1+12+(14+14)+(18+18+18+18)=1+12+12+12=1+3(12).
З цієї викрійки ми бачимо, щоS1=1,S2=1+1/2,S4>1+2(1/2), іS8>1+3(1/2). У загальному плані можна показати, щоS2j>1+j(1/2) для всіхj>1. Так як1+j(1/2)→∞, робимо висновок, щоSk послідовність необмежена і тому розходиться. У попередньому розділі ми заявляли, що збіжні послідовності обмежені. Отже, оскількиSk є необмеженим, він розходиться. Таким чином, гармонійний ряд розходиться.
Алгебраїчні властивості збіжних рядів
Оскільки сума збіжного нескінченного ряду визначається як межа послідовності, алгебраїчні властивості для рядів, перерахованих нижче, випливають безпосередньо з алгебраїчних властивостей послідовностей.
∞∑n=1bnДозволяти∞∑n=1an і бути збіжними рядами. Потім дотримуються наступні алгебраїчні властивості.
i. ряд∞∑n=1(an+bn) сходиться, і∞∑n=1(an+bn)=∞∑n=1an+∞∑n=1bn. (правило суми)
II. Ряд∞∑n=1(an−bn) сходиться, і∞∑n=1(an−bn)=∞∑n=1an−∞∑n=1bn. (Правило різниці)
III. Для будь-якого дійсного числа рядc∞∑n=1can сходиться, і∞∑n=1can=c∞∑n=1an. (Постійне множинне правило)
Оцінити∞∑n=1[3n(n+1)+(12)n−2].
Рішення
Раніше ми показали, що
∞∑n=11n(n+1)=1
і
∞∑n=1(12)n−1=2.
Оскільки обидва ці ряди сходяться, ми можемо застосувати властивості Note9.2.1 для оцінки
∞∑n=1[3n(n+1)+(12)n−2].
Використовуючи правило суми, запишіть
∞∑n=1[3n(n+1)+(12)n−2]=∞∑n=13n(n+1)+∞∑n=1(12)n−2.
Потім, використовуючи постійне кратне правило і суми вище, можна зробити висновок, що
∞∑n=13n(n+1)+∞∑n=1(12)n−2=3∞∑n=11n(n+1)+(12)−1∞∑n=1(12)n−1=3(1)+(12)−1(2)=3+2(2)=7.
Оцінити∞∑n=152n−1.
- Підказка
-
Перепишіть як∞∑n=15(12)n−1.
- Відповідь
-
10
Геометрична серія
Геометричний ряд - це будь-яка серія, яку ми можемо написати у формі
a+ar+ar2+ar3+⋯=∞∑n=1arn−1.
Оскільки відношення кожного члена в цьому ряду до попереднього члена дорівнює r, число r називається співвідношенням. Ми називаємо a початковим терміном, оскільки це перший термін у серії. Наприклад, серіал
∞∑n=1(12)n−1=1+12+14+18+⋯
являє собою геометричний ряд з початковим терміномa=1 і співвідношеннямr=1/2.
Загалом, коли сходиться геометричний ряд? Розглянемо геометричні ряди
∞∑n=1arn−1
колиa>0. Його послідовність часткових сумSk задається
Sk=k∑n=1arn−1=a+ar+ar2+⋯+ark−1.
Розглянемо випадок, колиr=1. У такому випадку
Sk=a+a(1)+a(1)2+⋯+a(1)k−1=ak.
З тих пірa>0, ми знаємоak→∞ якk→∞. Тому послідовність часткових сум необмежена і таким чином розходиться. Отже, нескінченний ряд розходиться заr=1. Для тогоr≠1, щоб знайти межуSk, помножте Рівняння на1−r. Роблячи так, ми бачимо, що
(1−r)Sk=a(1−r)(1+r+r2+r3+⋯+rk−1)=a[(1+r+r2+r3+⋯+rk−1)−(r+r2+r3+⋯+rk)]=a(1−rk).
Всі інші умови скасовуються.
Тому,
Sk=a(1−rk)1−rдляr≠1.
З нашого обговорення в попередньому розділі ми знаємо, що геометрична послідовність,rk→0 якщо|r|<1 і щоrk розходиться, якщо|r|>1 абоr=±1. Тому для|r|<1,Sk→a1−r і у нас є
∞∑n=1arn−1=a1−rif|r|<1.
Якщо|r|≥1,Sk розходиться, а значить
∞∑n=1arn−1diverges if|r|≥1.
Геометричний ряд - це серія форми
∞∑n=1arn−1=a+ar+ar2+ar3+⋯.
Якщо|r|<1, ряд сходиться, і
∞∑n=1arn−1=a1−rfor|r|<1.
Якщо|r|≥1, ряд розходиться.
Геометричні ряди іноді з'являються в дещо інших формах. Наприклад, іноді індекс починається зі значення, відмінного відn=1 або експонента включає лінійний вираз дляn іншого, ніжn−1. Поки ми можемо переписати ряд у формі, заданій рівнянням, це геометричний ряд. Для прикладу розглянемо серію
∞∑n=0(23)n+2.
Щоб побачити, що це геометричний ряд, виписуємо перші кілька термінів:
∞∑n=0(23)n+2=(23)2+(23)3+(23)4+⋯=49+49⋅(23)+49⋅(23)2+⋯.
Ми бачимо, що початковий термін єa=4/9 і співвідношенняr=2/3. Тому ряд можна записати як
∞∑n=149⋅(23)n−1.
Так якr=2/3<1, цей ряд сходиться, а його сума задається
∞∑n=149⋅(23)n−1=4/91−2/3=43.
Визначте, сходиться або розходиться кожен з наступних геометричних рядів, і якщо він сходиться, знайдіть його суму.
- ∞∑n=1(−3)n+14n−1
- ∞∑n=1e2n
Рішення
а. виписуючи перші кілька термінів в серії, ми маємо
∞∑n=1(−3)n+14n−1=(−3)240+(−3)34+(−3)442+⋯=(−3)2+(−3)2⋅(−34)+(−3)2⋅(−34)2+⋯=9+9⋅(−34)+9⋅(−34)2+⋯.
Початковий термінa=−3 і співвідношенняr=−3/4. Так як|r|=3/4<1, ряд сходиться до
91−(−3/4)=97/4=367.
б. написання цієї серії як
e2∞∑n=1(e2)n−1
ми бачимо, що це геометрична серія, деr=e2>1. Тому серія розходиться.
Визначте,∞∑n=1(−25)n−1 сходиться чи розходиться ряд. Якщо вона сходиться, знайдіть її суму.
- Підказка
-
r=−2/5
- Відповідь
-
5/7
Тепер звернемо увагу на приємну аплікацію з геометричних рядів. Ми показуємо, як вони можуть бути використані для запису повторюваних десяткових дробів як дробів цілих чисел.
Використовуйте геометричний ряд, щоб записати3.¯26 як дріб цілих чисел.
Рішення
Так як 3.\bar{26}—=3.262626…, спочатку ми пишемо
\begin{align*} 3.262626… &= 3+\frac{26}{100}+\frac{26}{1000}+\frac{26}{100,000}+⋯ \\[4pt] &=3+\frac{26}{10^2}+\frac{26}{10^4}+\frac{26}{10^6}+⋯. \end{align*}
Ігноруючи термін 3, решта цього виразу являє собою геометричний ряд з початковим терміном a=26/10^2 і співвідношенням. r=1/10^2. Тому сума цього ряду дорівнює
\frac{26/10^2}{1−(1/10^2)}=\frac{26/10^2}{99/10^2}=\frac{26}{99}. \nonumber
Таким чином,
3.262626…=3+\frac{26}{99}=\frac{323}{99}.
Запишіть 5.2\bar{7} як дріб цілих чисел.
- Підказка
-
Висловлюючи це число як ряд, знайдіть геометричний ряд з початковим терміном a=7/100 і співвідношенням r=1/10.
- Відповідь
-
475/90
Визначте послідовність фігур \{F_n\} рекурсивно наступним чином (рис.\PageIndex{2}). F_0Дозволяти рівносторонній трикутник зі сторонами довжини 1. Для n≥1, F_n нехай крива створена шляхом видалення середньої третини кожної сторони F_{n−1} і замінивши її рівностороннім трикутником, спрямованим назовні. Гранична фігура n→∞, як відома як сніжинка Коха.

- Знайти L_n довжину периметра F_n. Оцініть,\displaystyle \lim_{n→∞}L_n щоб знайти довжину периметра сніжинки Коха.
- Знайдіть A_n площу фігури F_n. Оцініть,\displaystyle \lim_{n→∞}A_n щоб знайти площу сніжинки Коха.
Рішення
а. нехай N_n позначають кількість сторін фігури F_n. Так як F_0 це трикутник, N_0=3. Нехай ln позначають довжину кожної сторони F_n. Так як F_0 це рівносторонній трикутник зі сторонами довжини l_0=1, нам тепер потрібно визначити N_1 і l_1. Оскільки F_1 створюється шляхом видалення середньої третини кожної сторони і замінивши цей відрізок лінії двома відрізками лінії, для кожної сторони F_0, ми отримуємо чотири сторони в F_1. Таким чином, кількість сторін для F_1 становить
N_1=4⋅3.
Оскільки довжина кожного з цих нових відрізків лінії 1/3 дорівнює довжині відрізків лінії в F_0, довжина відрізків лінії для F_1 задається
l_1=\frac{1}{3}⋅1=\frac{1}{3}.
Аналогічно F_2, для, оскільки середня третина кожної сторони F_1 видаляється і замінюється двома відрізками лінії, кількість сторін в F_2 задається
N_2=4N_1=4(4⋅3)=4^2⋅3.
Так як довжина кожної з цих сторін дорівнює 1/3 довжині сторін F_1, то довжина кожної сторони фігури F_2 задається
l_2=\frac{1}{3}⋅l_1=\frac{1}{3}⋅\frac{1}{3}=\left(\frac{1}{3}\right)^2.
Більш загалом, оскільки F_n створюється шляхом видалення середньої третини кожної сторони F_{n−1} і заміна цього відрізка лінії двома відрізками довжини \frac{1}{3}l_{n−1} у формі рівностороннього трикутника, ми знаємо, що N_n=4N_{n−1} і l_n=\dfrac{l_{n−1}}{3}. Тому кількість сторін фігури F_n дорівнює
N_n=4^n⋅3
і довжина кожної сторони
l_n=\left(\frac{1}{3}\right)^n. \nonumber
Тому, щоб обчислити периметр F_n, множимо кількість сторін N_n і довжину кожної сторони l_n. Робимо висновок, що периметр F_n задається
L_n=N_n⋅l_n=3⋅\left(\frac{4}{3}\right)^n \nonumber
Тому довжина периметра сніжинки Коха дорівнює
L=\lim_{n→∞}L_n=∞. \nonumber
б. нехай T_n позначають площу кожного нового трикутника, створеного при формуванні F_n. For n=0, T_0 - площа вихідного рівностороннього трикутника. Тому, T_0=A_0=\sqrt{3}/4. Бо n≥1, оскільки довжини сторін нового 1/3 трикутника є довжиною сторін F_{n−1}, ми маємо
T_n=\left(\frac{1}{3}\right)^2⋅T_{n−1}=\frac{1}{9}⋅T_{n−1}. \nonumber
Тому, T_n=\left(\frac{1}{9}\right)^n⋅\frac{\sqrt{3}}{4}. Так як з кожного боку утворюється новий трикутник F_{n−1},
A_n=A_{n−1}+N_{n−1}⋅T_n=A_{n−1}+(3⋅4_{n−1})⋅\left(\frac{1}{9}\right)^n⋅\frac{\sqrt{3}}{4}=A_{n−1}+\frac{3}{4}⋅\left(\frac{4}{9}\right)^n⋅\frac{\sqrt{3}}{4}. \nonumber
Виписуючи перші кілька термінів, A_0,A_1,A_2, ми бачимо, що
A_0=\frac{\sqrt{3}}{4}
A_1=A_0+\frac{3}{4}⋅\left(\frac{4}{9}\right)⋅\frac{\sqrt{3}}{4}=\frac{\sqrt{3}}{4}+\frac{3}{4}⋅\left(\frac{4}{9}\right)⋅\frac{\sqrt{3}}{4}=\frac{\sqrt{3}}{4}\left[1+\frac{3}{4}⋅\left(\frac{4}{9}\right)\right]
A_2=A_1+\frac{3}{4}⋅(\frac{4}{9})^2⋅\frac{\sqrt{3}}{4}=\frac{\sqrt{3}}{4}\left[1+\frac{3}{4}⋅\left(\frac{4}{9}\right)\right]+\frac{3}{4}⋅\left(\frac{4}{9}\right)^2⋅\frac{\sqrt{3}}{4}=\frac{\sqrt{3}}{4}[1+\frac{3}{4}⋅(\frac{4}{9})+\frac{3}{4}⋅\left(\frac{4}{9}\right)^2].
У загальному плані,
A_n=\frac{\sqrt{3}}{4}\left[1+\frac{3}{4}\left(\frac{4}{9}+\left(\frac{4}{9}\right)^2+⋯+\left(\frac{4}{9}\right)^n\right)\right].
Факторинг 4/9 кожного члена всередині внутрішніх дужок, ми переписуємо наш вираз як
A_n=\frac{\sqrt{3}}{4}\left[1+\frac{1}{3}\left(1+\frac{4}{9}+\left(\frac{4}{9}\right)^2+⋯+\left(\frac{4}{9}\right)^{n−1}\right)\right].
Вираз 1+\left(\frac{4}{9}\right)+\left(\frac{4}{9}\right)^2+⋯+\left(\frac{4}{9}\right)^{n−1} являє собою геометричну суму. Як було показано раніше, ця сума задовольняє
1+\frac{4}{9}+\left(\frac{4}{9}\right)^2+⋯+\left(\frac{4}{9}\right)^{n−1}=\dfrac{1−(4/9)^n}{1−(4/9)}.
Підставляючи цей вираз в вираз вище і спрощуючи, робимо висновок, що
A_n=\frac{\sqrt{3}}{4}\left[1+\frac{1}{3}(\frac{1−(4/9)^n}{1−(4/9)})\right]=\frac{\sqrt{3}}{4}\left[\frac{8}{5}−\frac{3}{5}\left(\frac{4}{9}\right)^n\right]. \nonumber
Тому площа сніжинки Коха
\displaystyle A=\lim_{n→∞}A_n=\frac{2\sqrt{3}}{5}.
Аналіз
Сніжинка Коха цікава тим, що має кінцеву площу, але нескінченний периметр. Хоча спочатку це може здатися неможливим, нагадайте, що подібні приклади ви бачили раніше в тексті. Наприклад, розглянемо область, обмежену кривою y=1/x^2 і x -вісь на інтервалі [1,∞). З неправильного інтеграла
∫^∞_1\frac{1}{x^2}\,dx \nonumber
сходиться, площа цієї області кінцева, хоча периметр нескінченний.
Телескопічна серія
Розглянемо серію\displaystyle \sum_{n=1}^∞\frac{1}{n(n+1)}. Ми розглянули цю серію на прикладі, показуючи, що ряд сходиться, виписуючи перші кілька часткових сум S_1,S_2,…,S_6 і помічаючи, що всі вони мають форму S_k=\dfrac{k}{k+1}. Тут ми використовуємо іншу техніку, щоб показати, що ця серія сходиться. Використовуючи часткові дроби, ми можемо записати
\frac{1}{n(n+1)}=\frac{1}{n}−\frac{1}{n+1}. \nonumber
Тому серію можна записати як
\displaystyle \sum_{n=1}^∞\left[\frac{1}{n}−\frac{1}{n+1}\right]=\left(1+\frac{1}{2}\right)+\left(\frac{1}{2}−\frac{1}{3}\right)+\left(\frac{1}{3}−\frac{1}{4}\right)+⋯.
Виписуючи перші кілька членів в послідовності часткових сум, {S_k}, ми бачимо, що
S_1=1−\frac{1}{2}
S_2=\left(1−\frac{1}{2}\right)+\left(\frac{1}{2}−\frac{1}{3}\right)=1−\frac{1}{3}
S_3=\left(1−\frac{1}{2}\right)+\left(\frac{1}{2}−\frac{1}{3}\right)+\left(\frac{1}{3}−\frac{1}{4}\right)=1−\frac{1}{4}.
Загалом,
S_k=\left(1−\frac{1}{2}\right)+\left(\frac{1}{2}−\frac{1}{3}\right)+\left(\frac{1}{3}−\frac{1}{4}\right)+⋯+\left(\frac{1}{k}−\frac{1}{k+1}\right)=1−\dfrac{1}{k+1}.
Ми помічаємо, що середні терміни скасовують один одного, залишаючи тільки перший і останній терміни. У певному сенсі серія руйнується, як підзорне скло з трубками, які зникають один в одного, щоб вкоротити телескоп. З цієї причини ми називаємо серію, яка має цю властивість телескопічною серією. Для цього ряду, оскільки S_k=1−1/(k+1) і 1/(k+1)→0 як k→∞, послідовність часткових сум сходиться до 1, і тому ряд сходиться до 1.
Телескопічна серія - це серія, в якій більшість термінів скасовуються в кожній з часткових сум, залишаючи лише деякі перші терміни та деякі останні терміни.
Наприклад, будь-яка серія форми
\displaystyle \sum_{n=1}^∞[b_n−b_{n+1}]=(b_1−b_2)+(b_2−b_3)+(b_3−b_4)+⋯
являє собою телескопічну серію. Ми можемо переконатися в цьому, виписуючи частину часткових сум. Зокрема, ми бачимо, що
S_1=b_1−b_2
S_2=(b_1−b_2)+(b_2−b_3)=b_1−b_3
S_3=(b_1−b_2)+(b_2−b_3)+(b_3−b_4)=b_1−b_4.
Загалом, k-я часткова сума цього ряду дорівнює
S_k=b_1−b_{k+1}.
Оскільки k-я часткова сума може бути спрощена до різниці цих двох членів, послідовність часткових сум {S_k} буде сходитися тоді і тільки в тому випадку, якщо послідовність {b_{k+1}} сходиться. Причому, якщо послідовність b_{k+1} сходиться до деякого скінченного числа B, то послідовність часткових сум сходиться до b_1−B, а значить
\displaystyle \sum_{n=1}^∞[b_n−b_{n+1}]=b_1−B.
У наступному прикладі ми покажемо, як використовувати ці ідеї для аналізу телескопічного ряду цієї форми.
Визначте, чи є телескопічна серія
\displaystyle \sum_{n=1}^∞\left[\cos\left(\frac{1}{n}\right)−\cos\left(\frac{1}{n+1}\right)\right]
сходиться або розходиться. Якщо вона сходиться, знайдіть її суму.
Рішення
Виписуючи терміни в послідовності часткових сум, ми можемо бачити, що
S_1=\cos(1)−\cos(\frac{1}{2})
S_2=(\cos(1)−\cos(\frac{1}{2}))+(\cos(\frac{1}{2})−\cos(\frac{1}{3}))=\cos(1)−\cos(\frac{1}{3})
S_3=(\cos(1)−\cos(\frac{1}{2}))+(\cos(\frac{1}{2})−\cos(\frac{1}{3}))+(\cos(\frac{1}{3})−\cos(\frac{1}{4}))
=\cos(1)−\cos(\frac{1}{4}).
Загалом,
S_k=\cos(1)−\cos\left(\frac{1}{k+1}\right).
Оскільки 1/(k+1)→0 як k→∞ і \cos x є безперервною функцією, \cos(1/(k+1))→\cos(0)=1. Тому робимо висновок, що S_k→\cos(1)−1. Телескопічний ряд сходиться і сума задається
\displaystyle \sum_{n=1}^∞\left[\cos\left(\frac{1}{n}\right)−\cos\left(\frac{1}{n+1}\right)\right]=\cos(1)−1.
Визначте,\displaystyle \sum^∞_{n=1}[e^{1/n}−e^{1/(n+1)}] сходиться або розходиться. Якщо вона сходиться, знайдіть її суму.
- Підказка
-
Випишіть послідовність часткових сум, щоб побачити, які терміни скасовують.
- Відповідь
-
e−1
Ми показали, що гармонійний ряд\displaystyle \sum^∞_{n=1}\frac{1}{n} розходиться. Тут ми досліджуємо поведінку часткових сум S_k як k→∞. Зокрема, ми показуємо, що вони поводяться як функція натурального логарифма, показуючи, що існує константа γ така, що
\displaystyle \sum_{n=1}^k\left(\frac{1}{n}−\ln k\right)→γяк k→∞.
Ця константа γ відома як константа Ейлера.
1. Дозвольте\displaystyle T_k=\sum_{n=1}^k\left(\frac{1}{n}−\ln k\right). оцінювати T_k для різних значень k.
2. Для T_k як визначено в частині 1. показати, що послідовність {T_k} збігається за допомогою наступних кроків.
a. показати, що послідовність {T_k} є монотонним зменшенням. (Підказка: Покажіть, що \ln(1+1/k>1/(k+1))
b. показати, що послідовність {T_k} обмежена нижче нулем. (Підказка: Експрес \ln k як певний інтеграл.)
c Використовуйте теорему про збіжність монотонних, щоб зробити висновок, що послідовність {T_k} сходиться. Межа γ - константа Ейлера.
3. Тепер оцініть, наскільки T_k далеко від γ заданого цілого числа k. Доведіть, що k≥1, 0<T_k−γ≤1/k за допомогою наступних кроків.
a. показати, що \ln(k+1)−\ln k<1/k.
b Використовуйте результат з частини a., щоб показати, що для будь-якого цілого числа k
T_k−T_{k+1}<\frac{1}{k}−\frac{1}{k+1}. \nonumber
c Для будь-яких цілих чисел k і j таких j>k, що, висловити T_k−T_j як телескопічну суму шляхом написання
T_k−T_j=(T_k−T_{k+1})+(T_{k+1}−T_{k+2})+(T_{k+2}−T_{k+3})+⋯+(T_{j−1}−T_j). \nonumber
Використовуйте результат частини б. у поєднанні з цією телескопічною сумою, щоб зробити висновок, що
T_k−T_j<\frac{1}{k}−\frac{1}{j}. \nonumber
а) застосувати межу до обох сторін нерівності в частині c., щоб зробити висновок, що
T_k−γ≤\frac{1}{k}. \nonumber
е. γ оцінити з точністю в межах 0,001.
Ключові поняття
- З огляду на нескінченний ряд
\displaystyle \sum_{n=1}^∞a_n=a_1+a_2+a_3+⋯
і відповідну послідовність часткових сум {S_k}, де
\displaystyle S_k=\sum_{n=1}^ka_n=a_1+a_2+a_3+⋯+a_k,
ряд сходиться тоді і тільки в тому випадку, якщо послідовність {S_k} сходиться.
- Геометричний ряд\displaystyle \sum^∞_{n=1}ar^{n−1} сходиться, якщо |r|<1 і розходиться, якщо |r|≥1. для |r|<1,
\displaystyle \sum_{n=1}^∞ar^{n−1}=\frac{a}{1−r}.
- Гармонічний ряд
\displaystyle \sum_{n=1}^∞\frac{1}{n}=1+\frac{1}{2}+\frac{1}{3}+⋯
розходиться.
- Серія форми\displaystyle \sum_{n=1}^∞[b_n−b_{n+1}]=[b_1−b_2]+[b_2−b_3]+[b_3−b_4]+⋯+[b_n−b_{n+1}]+⋯ являє собою телескопічну серію. k^{\text{th}}Часткова сума цього ряду задається за допомогою S_k=b_1−b_{k+1}. Ряд буде сходитися, якщо і тільки якщо\displaystyle \lim_{k→∞} b_{k+1} існує. У такому випадку
\displaystyle \sum_{n=1}^∞[b_n−b_{n+1}]=b_1−\lim_{k→∞}(b_{k+1}).
Ключові рівняння
- Гармонічна серія
\displaystyle \sum_{n=1}^∞\frac{1}{n}=1+\frac{1}{2}+\frac{1}{3}+\frac{1}{4}+⋯
- Сума геометричного ряду
\displaystyle \sum_{n=1}^∞ar^{n−1}=\frac{a}{1−r}для |r|<1
Глосарій
- зближення ряду
- ряд сходиться, якщо послідовність часткових сум для цього ряду збігається
- розбіжність ряду
- ряд розходиться, якщо послідовність часткових сум для цього ряду розходиться
- геометрична серія
- геометричний ряд - це ряд, який можна записати у вигляді
\displaystyle \sum_{n=1}^∞ar^{n−1}=a+ar+ar^2+ar^3+⋯
- гармонійний ряд
- гармонійний ряд набуває вигляду
\displaystyle \sum_{n=1}^∞\frac{1}{n}=1+\frac{1}{2}+\frac{1}{3}+⋯
- нескінченна серія
- нескінченний ряд - це вираз форми
\displaystyle a_1+a_2+a_3+⋯=\sum_{n=1}^∞a_n
- часткова сума
-
kthчасткова сума нескінченного ряду\displaystyle \sum^∞_{n=1}a_n - скінченна сума
\displaystyle S_k=\sum_{n=1}^ka_n=a_1+a_2+a_3+⋯+a_k
- телескопічна серія
- телескопічний ряд - це той, в якому більшість термінів скасовуються в кожній з часткових сум