Loading [MathJax]/jax/element/mml/optable/GeneralPunctuation.js
Skip to main content
LibreTexts - Ukrayinska

9.2: Нескінченна серія

  • Edwin “Jed” Herman & Gilbert Strang
  • OpenStax

Цілі навчання
  • Поясніть значення суми нескінченного ряду.
  • Обчисліть суму геометричного ряду.
  • Оцініть телескопічну серію.

Ми бачили, що послідовність - це впорядкований набір термінів. Якщо ви додасте ці терміни разом, ви отримаєте серію. У цьому розділі ми визначаємо нескінченний ряд і показуємо, як серії пов'язані з послідовностями. Ми також визначаємо, що означає, що серія сходиться або розходиться. Ми представляємо один з найважливіших типів серій: геометричний ряд. Ми будемо використовувати геометричні ряди в наступному розділі, щоб записати певні функції як поліноми з нескінченною кількістю членів. Цей процес важливий, оскільки дозволяє нам оцінювати, диференціювати та інтегрувати складні функції за допомогою поліномів, які легше обробляти. Ми також обговорюємо гармонійну серію, можливо, найцікавішу розбіжну серію, оскільки вона просто не сходиться.

Суми та серії

Нескінченний ряд - це сума нескінченно багатьох термінів і пишеться у вигляді

n=1an=a1+a2+a3+.

Але що це означає? Ми не можемо додати нескінченну кількість термінів так само, як ми можемо додати кінцеву кількість термінів. Натомість значення нескінченного ряду визначається через межу часткових сум. Часткова сума нескінченного ряду - це скінченна сума виду

kn=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++12k1=kn=1(12)n1.

Нас цікавить, що відбувається якk. Символічно, кількість нафти в озері, якk це дається нескінченним рядом

n=1(12)n1=1+12+14+18+116+.

У той же час, якk, кількість нафти в озері можна розрахувати, оцінившиlimkSk. Тому поведінку нескінченного ряду можна визначити, дивлячись на поведінку послідовності часткових сумSk. Якщо послідовність часткових сумSk сходиться, ми говоримо, що нескінченний ряд сходиться, а його сума заданаlimkSk. Якщо послідовність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.

Це графік у квадранті 1 з осями x і y, позначені n і S_n відповідно. Від 1 до 5 наносяться точки. Вони збільшуються і немов сходяться до 2 і n йде в нескінченність.
Малюнок9.2.1: Графік показує послідовність часткових сумSk. Виявляється, що послідовність наближається до значення2.

Давайте пошукаємо більш переконливі докази. У наступній таблиці ми перерахуємо значенняSk для декількох значеньk.

k 5 10 15 20
Sk 1,9375 1.998 1,99939 1.9998

Ці дані дають більше доказів, що свідчать про те, що послідовністьSk збігається до2. Пізніше ми наведемо аналітичний аргумент, який можна використовувати, щоб довести цеlimkSk=2. Наразі ми покладаємося на числові та графічні дані, щоб переконати себе, що послідовність часткових сум насправді сходиться до2. Оскільки ця послідовність часткових сум сходиться до2, ми говоримо, що нескінченний ряд сходиться до2 і записувати

n=1(12)n1=2.

Повертаючись до питання про нафту в озері, так як цей нескінченний ряд сходиться до2, робимо висновок, що кількість нафти в озері буде довільно наближатися до2000 галонів, так як кількість часу стає досить великим.

Ця серія є прикладом геометричного ряду. Більш докладно про геометричні ряди ми розглянемо далі в цьому розділі. Спочатку підсумовуємо, що означає сходитися нескінченний ряд.

Визначення

Нескінченний ряд - це вираз форми

n=1an=a1+a2+a3+.

Для кожного натурального цілого числаk - сума

Sk=kn=1an=a1+a2+a3++ak

називаєтьсяkth частковою сумою нескінченного ряду. Часткові суми утворюють послідовністьSk. Якщо послідовність часткових сум сходиться до дійсного числаS, нескінченний ряд сходиться. Якщо ми можемо описати збіжність ряду доS, миS називаємо суму ряду, і пишемо

n=1an=S.

Якщо послідовність часткових сум розходиться, ми маємо розбіжність ряду.

Зверніть увагу, що індекс для ряду не потрібно починати з,n=1 а може починатися з будь-якого значення. Наприклад, серіал

n=1(12)n1

також може бути записаний як

n=0(12)norn=5(12)n5.

Часто індекс зручно починати з1, тому якщо з якоїсь причини він починається з іншого значення, ми можемо повторно індексувати, зробивши зміну змінних. Для прикладу розглянемо серію

n=21n2.

Вводячи зміннуm=n1, так щоn=m+1, ми можемо переписати серію як

m=11(m+1)2.

Приклад9.2.1: Evaluating Limits of Sequences of Partial Sums

Для кожного з наступних рядів використовуйте послідовність часткових сум, щоб визначити, чи збігається чи розходиться ряд.

  1. n=1nn+1
  2. n=1(1)n
  3. 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+11=1

S4=1+11+1=0.

З цієї закономірності ми можемо бачити послідовність часткових сум

Sk=1,0,1,0,.

Оскільки ця послідовність розходиться, нескінченний рядn=1(1)n розходиться.

c Послідовність часткових сумSk задовольняє

S1=112=12

S2=112+123=12+16=23

S3=112+123+134=12+16+112=34

S4=112+123+134+145=45

S5=112+123+134+145+156=56.

З цієї закономірності ми бачимо, щоkth часткова сума задається явною формулою

Sk=kk+1.

Оскількиk/(k+1)1, ми робимо висновок, що послідовність часткових сум сходиться, і тому нескінченний ряд сходиться до1. У нас є

n=11n(n+1)=1.

Вправа9.2.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 є необмеженим, він розходиться. Таким чином, гармонійний ряд розходиться.

Алгебраїчні властивості збіжних рядів

Оскільки сума збіжного нескінченного ряду визначається як межа послідовності, алгебраїчні властивості для рядів, перерахованих нижче, випливають безпосередньо з алгебраїчних властивостей послідовностей.

Примітка9.2.1: Algebraic Properties of Convergent Series

n=1bnДозволятиn=1an і бути збіжними рядами. Потім дотримуються наступні алгебраїчні властивості.

i. рядn=1(an+bn) сходиться, іn=1(an+bn)=n=1an+n=1bn. (правило суми)

II. Рядn=1(anbn) сходиться, іn=1(anbn)=n=1ann=1bn. (Правило різниці)

III. Для будь-якого дійсного числа рядcn=1can сходиться, іn=1can=cn=1an. (Постійне множинне правило)

Приклад9.2.2: Using Algebraic Properties of Convergent Series

Оцінитиn=1[3n(n+1)+(12)n2].

Рішення

Раніше ми показали, що

n=11n(n+1)=1

і

n=1(12)n1=2.

Оскільки обидва ці ряди сходяться, ми можемо застосувати властивості Note9.2.1 для оцінки

n=1[3n(n+1)+(12)n2].

Використовуючи правило суми, запишіть

n=1[3n(n+1)+(12)n2]=n=13n(n+1)+n=1(12)n2.

Потім, використовуючи постійне кратне правило і суми вище, можна зробити висновок, що

n=13n(n+1)+n=1(12)n2=3n=11n(n+1)+(12)1n=1(12)n1=3(1)+(12)1(2)=3+2(2)=7.

Вправа9.2.2

Оцінитиn=152n1.

Підказка

Перепишіть якn=15(12)n1.

Відповідь

10

Геометрична серія

Геометричний ряд - це будь-яка серія, яку ми можемо написати у формі

a+ar+ar2+ar3+=n=1arn1.

Оскільки відношення кожного члена в цьому ряду до попереднього члена дорівнює r, число r називається співвідношенням. Ми називаємо a початковим терміном, оскільки це перший термін у серії. Наприклад, серіал

n=1(12)n1=1+12+14+18+

являє собою геометричний ряд з початковим терміномa=1 і співвідношеннямr=1/2.

Загалом, коли сходиться геометричний ряд? Розглянемо геометричні ряди

n=1arn1

колиa>0. Його послідовність часткових сумSk задається

Sk=kn=1arn1=a+ar+ar2++ark1.

Розглянемо випадок, колиr=1. У такому випадку

Sk=a+a(1)+a(1)2++a(1)k1=ak.

З тих пірa>0, ми знаємоak якk. Тому послідовність часткових сум необмежена і таким чином розходиться. Отже, нескінченний ряд розходиться заr=1. Для тогоr1, щоб знайти межуSk, помножте Рівняння на1r. Роблячи так, ми бачимо, що

(1r)Sk=a(1r)(1+r+r2+r3++rk1)=a[(1+r+r2+r3++rk1)(r+r2+r3++rk)]=a(1rk).

Всі інші умови скасовуються.

Тому,

Sk=a(1rk)1rдляr1.

З нашого обговорення в попередньому розділі ми знаємо, що геометрична послідовність,rk0 якщо|r|<1 і щоrk розходиться, якщо|r|>1 абоr=±1. Тому для|r|<1,Ska1r і у нас є

n=1arn1=a1rif|r|<1.

Якщо|r|1,Sk розходиться, а значить

n=1arn1diverges if|r|1.

Визначення: Розбіжні та збігаються ряди

Геометричний ряд - це серія форми

n=1arn1=a+ar+ar2+ar3+.

Якщо|r|<1, ряд сходиться, і

n=1arn1=a1rfor|r|<1.

Якщо|r|1, ряд розходиться.

Геометричні ряди іноді з'являються в дещо інших формах. Наприклад, іноді індекс починається зі значення, відмінного відn=1 або експонента включає лінійний вираз дляn іншого, ніжn1. Поки ми можемо переписати ряд у формі, заданій рівнянням, це геометричний ряд. Для прикладу розглянемо серію

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)n1.

Так якr=2/3<1, цей ряд сходиться, а його сума задається

n=149(23)n1=4/912/3=43.

Приклад9.2.3: Determining Convergence or Divergence of a Geometric Series

Визначте, сходиться або розходиться кожен з наступних геометричних рядів, і якщо він сходиться, знайдіть його суму.

  1. n=1(3)n+14n1
  2. n=1e2n

Рішення

а. виписуючи перші кілька термінів в серії, ми маємо

n=1(3)n+14n1=(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.

б. написання цієї серії як

e2n=1(e2)n1

ми бачимо, що це геометрична серія, деr=e2>1. Тому серія розходиться.

Вправа9.2.3

Визначте,n=1(25)n1 сходиться чи розходиться ряд. Якщо вона сходиться, знайдіть її суму.

Підказка

r=2/5

Відповідь

5/7

Тепер звернемо увагу на приємну аплікацію з геометричних рядів. Ми показуємо, як вони можуть бути використані для запису повторюваних десяткових дробів як дробів цілих чисел.

Приклад9.2.4: Writing Repeating Decimals as Fractions of Integers

Використовуйте геометричний ряд, щоб записати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}.

Вправа\PageIndex{4}

Запишіть 5.2\bar{7} як дріб цілих чисел.

Підказка

Висловлюючи це число як ряд, знайдіть геометричний ряд з початковим терміном a=7/100 і співвідношенням r=1/10.

Відповідь

475/90

Приклад \PageIndex{5}: Finding the Area of the Koch Snowflake

Визначте послідовність фігур \{F_n\} рекурсивно наступним чином (рис.\PageIndex{2}). F_0Дозволяти рівносторонній трикутник зі сторонами довжини 1. Для n≥1, F_n нехай крива створена шляхом видалення середньої третини кожної сторони F_{n−1} і замінивши її рівностороннім трикутником, спрямованим назовні. Гранична фігура n→∞, як відома як сніжинка Коха.

Це схема сніжинки Коха, яку вона створила за допомогою ітерацій. Базовим корпусом є рівносторонній трикутник. У кожній ітерації середня третина кожного відрізка лінії замінюється іншим рівностороннім трикутником, спрямованим назовні.
Малюнок\PageIndex{2}: Перші чотири фігури F_0,F_1,F_2 F_3, причому, в конструкції сніжинки Коха.
  1. Знайти L_n довжину периметра F_n. Оцініть,\displaystyle \lim_{n→∞}L_n щоб знайти довжину периметра сніжинки Коха.
  2. Знайдіть 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.

У наступному прикладі ми покажемо, як використовувати ці ідеї для аналізу телескопічного ряду цієї форми.

Приклад \PageIndex{6}: Evaluating a Telescoping Series

Визначте, чи є телескопічна серія

\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.

Вправа\PageIndex{5}

Визначте,\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

телескопічна серія
телескопічний ряд - це той, в якому більшість термінів скасовуються в кожній з часткових сум
9.1E: Вправи для розділу 9.1
9.2E: Вправи для розділу 9.2