Loading [MathJax]/jax/output/HTML-CSS/jax.js
Skip to main content
LibreTexts - Ukrayinska

8.6: Серія живлення

Поки що наше дослідження рядів розглядало питання «Чи є сума цих нескінченних членів кінцевою? , «Тобто, «Чи сходиться серія?» Зараз ми підходимо до ряду з іншої точки зору: як функція. Враховуючи значенняx, миf(x) оцінюємо, знаходячи суму конкретного ряду, яка залежить відx (припускаючи, що ряд сходиться). Ми починаємо цей новий підхід до серії з визначення.

Визначення 36: силовий ряд

{an}Дозволяти бути послідовність, нехайx бути змінною, і нехайc бути дійсним числом.

  1. Силова серія вx - це серіяn=0anxn=a0+a1x+a2x2+a3x3+
  2. Силовий ряд вx центріc - це серіяn=0an(xc)n=a0+a1(xc)+a2(xc)2+a3(xc)3+

Приклад8.6.1: Examples of power series

Випишіть перші п'ять термінів наступних силових рядів:

1.n=0xn2.n=1(1)n+1(x+1)nn3.n=0(1)n+1(xπ)2n(2n)!.

Рішення

  1. Однією з конвенцій, які ми приймаємо, є те, щоx0=1 незалежно від вартостіx. Томуn=0xn=1+x+x2+x3+x4+ Це геометричний ряд вx.
  2. Цей ряд зосереджений наc=1. Зверніть увагу, з чого починається ця серіяn=1. Ми могли б переписати цю серію, починаючиn=0 з розуміння цьогоa0=0, і, отже, перший термін є0. n=1(1)n+1(x+1)nn=(x+1)(x+1)22+(x+1)33(x+1)44+(x+1)55
  3. Цей ряд зосереджений наc=π. Нагадаємо, що0!=1. n=0(1)n+1(xπ)2n(2n)!=1+(xπ)22(xπ)424+(xπ)66!(xπ)88!

Введено степеневий ряд як тип функції, деx задано значення та повертається сума ряду. Звичайно, не кожна серія сходиться. Наприклад, у частині 1 Прикладу 8.6.1 ми визнали рядn=0xn як геометричний ряд вx. Теорема 60 стверджує, що цей ряд сходиться тільки тоді, коли|x|<1.

При цьому виникає питання: «За якими значеннямиx буде сходитися даний енергетичний ряд? », що призводить нас до теореми та визначення.

теорема 73: збіжність степеневих рядів

Нехайn=0an(xc)n буде дано силовий ряд. Тоді вірно одне з наступних дій:

  1. Серія сходиться тільки приx=c.
  2. ЄR>0 таке, що серія сходиться для всіхx в(cR,c+R) і розходиться для всіхx<cR іx>c+R.
  3. Серія сходиться для всіхx.

Значення маєR важливе значення при розумінні степеневого ряду, отже, йому дається назва в наступному визначенні. Також зауважте, що частина 2 Теореми 73 робить твердження про інтервал(cR,c+R), але не кінцеві точки цього інтервалу. Серія може сходитися або не сходитися в цих кінцевих точках.

Визначення 37: Радіус і інтервал збіжності

  1. Число,R наведене в теоремі 73, є радіусом збіжності заданого ряду. Коли ряд сходиться тільки дляx=c, ми говоримо радіус збіжності 0, тобтоR=0. Коли ряд сходиться для всіхx, ми говоримо, що ряд має нескінченний радіус збіжності, тобтоR=.
  2. Інтервал збіжності - це сукупність всіх значень,x для яких ряд сходиться.

Щоб знайти значення,x для яких сходиться даний ряд, ми будемо використовувати тести збіжності, які ми вивчали раніше (особливо тест на співвідношення). Однак всі тести вимагали, щоб терміни серії були позитивними. Наступна теорема дає нам роботу навколо цієї проблеми.

Теорема 74: Радіус збіжності ряду та абсолютна збіжність

Рядиn=0anxn іn=0|anxn| мають однаковий радіус збіжностіR.

Теорема 74 дозволяє знайти радіусR збіжності ряду, застосувавши тест коефіцієнта (або будь-який застосовний тест) до абсолютного значення членів ряду. Ми практикуємо це в наступному прикладі.

Приклад8.6.2: Determining the radius and interval of convergence.

Знайдіть радіус і інтервал збіжності для кожного з наступних рядів:

  1. n=0xnn!
  2. n=1(1)n+1xnn
  3. n=02n(x3)n
  4. n=0n!xn

Рішення

  1. Застосовуємо тест співвідношення до рядуn=0|xnn!|:\ [\ begin {align*}\ lim\ limits_ {n\ to\ infty}\ frac {\ big|x^ {n+1}/(n+1)! \ big|} {\ big|x^n/n! \ big|} &=\ lim\ limits_ {n\ to\ infty}\ ліворуч |\ frac {x^ {n+1}} {x^n}\ cdot\ frac {n!} {(n+1)!} \ праворуч |\\
    &=\ lim\ limits_ {n\ to\ infty}\ ліворуч |\ frac x {n+1}\ праворуч |\\
    &= 0\ текст {для всіх} x.\ end {align*}\]
  2. Тест співвідношення показує нам, що незалежно від виборуx, серія сходиться. Тому радіус збіжності єR=, а інтервал збіжності дорівнює(,).
  3. Ми застосовуємо Ratio Test до серіїn=1|(1)n+1xnn|=n=1|xnn|:limn|xn+1/(n+1)||xn/n|=limn|xn+1xnnn+1|=limn|x|nn+1=|x|.

    The Ratio Test стверджує, що серія збігається, якщо межа|an+1/an|=L<1. Ми знайшли межу вище, щоб бути|x|; отже, силовий ряд сходиться|x|<1, коли, або колиx знаходиться в(1,1). Таким чином радіус збіжності дорівнюєR=1.

    Щоб визначити інтервал збіжності, нам потрібно перевірити кінцеві точки(1,1). Колиx=1, ми маємо протилежне серії гармонік: Серіяn=1(1)n+1(1)nn=n=11n=. розходиться, колиx=1.

    Колиx=1 у нас є серіяn=1(1)n+1(1)nn, яка є змінною гармонійною серією, яка сходиться. Тому інтервал зближення є(1,1].
  4. Ми застосовуємо тест на співвідношення до серіїn=0|2n(x3)n|:
    limn|2n+1(x3)n+1||2n(x3)n|=limn|2n+12n(x3)n+1(x3)n|=limn|2(x3)|.

    Відповідно до тесту співвідношення, серія сходиться, коли|2(x3)|<1|x3|<1/2. Серія зосереджена на 3, іx повинна знаходитися в межах1/2 3, щоб серія сходилася. Тому радіус збіжності єR=1/2, і ми знаємо, що ряд сходиться абсолютно для всіхx в(31/2,3+1/2)=(2.5,3.5).

    Перевіряємо на збіжність в кінцевих точках, щоб знайти інтервал збіжності. Колиx=2.5, маємо:n=02n(2.53)n=n=02n(1/2)n=n=0(1)n, який розходиться. Подібний процес показує, що серія також розходиться наx=3.5. Тому інтервал зближення є(2.5,3.5).
  5. Ми застосовуємо тест співвідношення доn=0|n!xn|:\[\begin{align*}\lim\limits_{n\to\infty} \frac{\big| (n+1)!x^{n+1}\big|}{\big|n!x^n\big|} &= \lim\limits_{n\to\infty} \big|(n+1)x\big|\\&= \infty\ \text{ for all x, except x=0.}\end{align*}\] Тест коефіцієнта показує, що серія розходиться для всіх,x крімx=0. Тому радіус збіжності єR=0.

Ми можемо використовувати ряд потужності для визначення функції:

f(x)=n=0anxn

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

Теорема 75: Похідні та невизначені інтеграли функцій степеневих рядів

f(x)=n=0an(xc)nДозволяти функція, визначена степеневим рядом, з радіусом збіжностіR.

  1. f(x)є безперервним і диференційованим на(cR,c+R).
  2. f(x)=n=1ann(xc)n1, з радіусом сходженняR.
  3. f(x) dx=C+n=0an(xc)n+1n+1, з радіусом сходженняR.

Кілька приміток про теорему 75:

  1. Теорема стверджує, що диференціювання та інтеграція не змінюють радіус збіжності. У ньому нічого не сказано про інтервал сходження. Вони не завжди однакові.
  2. Зверніть увагу, як підсумовування дляf(x) починається зn=1. Це пов'язано з тим, що постійнийa0 термінf(x) переходить до 0.
  3. Диференціація та інтеграція - це просто обчислюється термін за терміном, використовуючи Правила влади.

Приклад8.6.3: Derivatives and indefinite integrals of power series

Нехайf(x)=n=0xn. Знайтиf(x) іF(x)=f(x) dx разом з ними відповідні інтервали зближення.

Рішення

Знайдено похідну та невизначений інтегралf(x), слідуючи теоремі 75.

  1. f(x)=n=1nxn1=1+2x+3x2+4x3+.
    У прикладі 8.6.1 ми визнали, щоn=0xn це геометричний ряд вx. Ми знаємо, що такий геометричний ряд сходиться коли|x|<1; тобто інтервал збіжності є(1,1).

    Для визначення інтервалу збіжностіf(x), розглянуто кінцеві точки(1,1):
    f(1)=12+34+,which diverges.
    f(1)=1+2+3+4+,which diverges.

    Отже, інтервал збіжностіf(x) є (1,1).
  2. F(x)=f(x) dx=C+n=0xn+1n+1=C+x+x22+x33+
    Щоб знайти інтервал збіжностіF(x), ми знову розглянемо кінцеві точки(1,1):
    F(1)=C1+1/21/3+1/4+

    ЗначенняC не має значення; зверніть увагу, що решта ряду є чергуються рядами, що терміни сходяться до 0. За тестом чергування серії ця серія сходиться. (Насправді ми можемо визнати, що умови серії післяC протилежні змінному гармонійному ряду. Таким чином, ми можемо сказати, щоF(1)=Cln2.)
    F(1)=C+1+1/2+1/3+1/4+

    Зверніть увагу, що це підсумовуванняC + є Гармонічний ряд, який розходиться. ОскількиF сходиться дляx=1 і розходиться заx=1, інтервал сходженняF(x) є[1,1).

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

Нагадаємо, щоf(x)=n=0xn в прикладі 8.6.3 це геометричний ряд. Згідно теоремі 60, цей ряд сходиться до1/(1x) коли|x|<1. Таким чином, можна сказати

f(x)=n=0xn=11x, on (1,1).

Інтегруючи силовий ряд, (як це зроблено в прикладі 8.6.3), ми знаходимо

F(x)=C1+n=0xn+1n+1,

при інтеграції функціїf(x)=1/(1x) дає

F(x)=ln|1x|+C2.

Рівняння рівняння\ ref {eq:ps3a} і\ ref {eq:ps3b}, ми маємо

F(x)=C1+n=0xn+1n+1=ln|1x|+C2.

Відпускаючиx=0, у нас єF(0)=C1=C2. Це означає, що ми можемо скинути константи і зробити висновок

n=0xn+1n+1=ln|1x|.

У прикладі 8.6.3 ми встановили, що ряд зліва сходиться наx=1; підставляючиx=1 по обидва боки вищевказаної рівності дає

1+1213+1415+=ln2.

Ліворуч у нас є протилежність серії змінних гармонік; праворуч у нас єln2. Ми робимо висновок, що

112+1314+=ln2.

Важливо: Ми заявили в Key Idea 31 (у розділі 8.2), що серія змінних гармонік збігаєтьсяln2, і знову посилалися на цей факт у розділі 8.5. Однак ми ніколи не приводили аргументу, чому це було так. Наведена вище робота нарешті показує, як ми робимо висновок, що серія змінних гармонік сходиться доln2.

Ми використовуємо цей тип аналізу в наступному прикладі.

Приклад8.6.4: Analyzing power series functions

Нехайf(x)=n=0xnn!. Знайтиf(x) іf(x) dx, і використовувати їх для аналізу поведінкиf(x).

Рішення

Почнемо з двох заміток: спочатку, в прикладі 8.6.2, ми знайшли інтервал збіжності цього степеневого ряду дорівнює(,). По-друге, пізніше нам буде корисно виписати кілька термінів серії:

n=0xnn!=1+x+x22+x36+x424+

Тепер знаходимо похідну:

\ [\ begin {align*}
f^\ прайм (x) &=\ сума\ limits_ {n = 1} ^\ infty n\ frac {x^ {n-1}} {n!} \\
&=\ сума\ limits_ {n = 1} ^\ infty\ розрив {x^ {n-1}} {(n-1)!} = 1+х+\ розрив {x^2} {2!} +\ точки. \\
\ text {Оскільки ряд починається зn=1 і кожен член посилається на(n1),} &\ text {ми можемо повторно індексувати ряд, починаючи зn=0:}\\
&=\ sum\ limits_ {n=0} ^\ infty\ frac {x^ {n}} {n!} \\
&= f (х).
\ end {вирівнювати*}\]

Ми знайшли похідну відf(x) isf(x). Єдині функції, для яких це вірно, мають виглядy=cex для якоїсь константиc. Якf(0)=1 (див. Рівняння\ ref {eq:ps4}),c має бути 1. Тому робимо висновок, що

f(x)=n=0xnn!=ex

для всіхx.

Ми також можемо знайтиf(x) dx:

\ [\ почати {вирівнювати*}
\ int f (x) х &= С+\ сума\ limits_ {n = 0} ^\ infty\ гідророзриву {x^ {n+1}} {n! (n+1)}\\
&= C +\ сума\ limits_ {n = 0} ^\ infty\ frac {x^ {n+1}} {(n+1)!}
\ end {вирівнювати*}\]

Виписуємо кілька термінів цієї останньої серії:

C+n=0xn+1(n+1)!=C+x+x22+x36+x424+

Інтегралf(x) відрізняється відf(x) тільки постійною, знову ж таки вказуючи на цеf(x)=ex.

Приклад 8.6.4 і робота наступного Приклад 8.6.3 встановлені зв'язки між функцією степеневого ряду і «регулярними» функціями, з якими ми мали справу в минулому. Взагалі, з огляду на функцію степеневого ряду, важко (якщо не неможливо) висловити функцію в терміні елементарних функцій. Ми вибрали приклади, де все вийшло добре.

В останньому прикладі цього розділу ми покажемо, як розв'язати просте диференціальне рівняння з степеневим рядом. \\

Приклад8.6.5: Solving a differential equation with a power series.

Дайте перші 4 умови силового ряду рішенняy=2y, деy(0)=1.

Рішення

Диференціальне рівнянняy=2y описує функцію,y=f(x) де похіднаy дорівнює двічіy іy(0)=1. Це досить просте диференціальне рівняння; з трохи роздумів слід розумітиy=Ce2x, що якщоy=2Ce2x, то і отжеy=2y. C=1Дозволяючи задовольнити початкову умовуy(0)=1.

Давайте ігноруємо той факт, що ми вже знаємо рішення і знайдемо функцію степеневого ряду, яка задовольняє рівнянню. Рішення, яке ми шукаємо, матиме форму

f(x)=n=0anxn=a0+a1x+a2x2+a3x3+

для невідомих коефіцієнтівan. Ми можемо знайтиf(x) за допомогою теореми 75:

f(x)=n=1annxn1=a1+2a2x+3a3x2+4a4x3.

З тих пірf(x)=2f(x), у нас є

\ [\ почати {вирівнювати*}
a_1+2a_2x+3a_3x^2+4a_4x^3\ cdots &= 2\ великий (
a_0+a_1x+a_2x^2a_2x^2a_2a_3x^3+\ cdots
\ кінець {align*}\]

Коефіцієнти подібних степенейx повинні бути рівні, тому ми знаходимо, що

a1=2a0,2a2=2a1,3a3=2a2,4a4=2a3,etc.

Початкова умоваy(0)=f(0)=1 вказує на цеa0=1; за допомогою цього ми можемо знайти значення інших коефіцієнтів:

\ [\ begin {align*}
a_0 = 1\ текст {і} a_1=2a_0 &\ Стрілка вправо a_1 = 2;\
a_1 = 2\ текст {і} 2a_2 = 2a_1 &\ Стрілка вправо a_2=4/2 =2;\
a_2=2\ text {і} 3a_3 = 2a_2 &\ Стрілка вправо a_3=8/ (2\ cdot3) =4/3;\\
a_3=4/3\ текст {і} 4a_4 = 2a_3 &\ стрілка вправо a_4 = 16/ (2\ cdot3\ cdot4) = 2/3.
\ end {вирівнювати*}\]

Таким чином, перші 5 членів степеневого ряду розв'язку диференціального рівнянняy=2y є

f(x)=1+2x+2x2+43x3+23x4+

У розділі 8.8, коли ми вивчаємо Серію Тейлора, ми навчимося розпізнавати цю серію як описувануy=e2x.

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

Дописувачі та атрибуція

  • Was this article helpful?