Ряд (математика)

Числовий ряд — послідовність чисел, яку розглядають разом з іншою послідовністю, що називається послідовністю часткових сум (ряду).

Розглядаються числові ряди двох видів:

• Дробові числові ряди — вивчаються в математичному аналізі;
• Комплексні числові ряди — вивчаються в комплексному аналізі;

Важливіше питання дослідження числових рядів — це збіжність числових рядів. Числові ряди застосовуються як система наближень до чисел. Узагальненням поняття ряду є поняття ^[ru].

Тривалий час, думка про те, що така потенційно нескінченна сума може мати скінченний результат, математиками і філософами розглядалася як парадокс. Цей парадокс було вирішено з виникненням поняття границі під час 19-го століття. Парадокс Зенона про (Ахілла та черепаху) ілюструє цю контрінтуїтивну властивість скінченних рядів: Ахілл біжить услід за черепахою, але коли він наздоганяє черепаху на початку гонки, вона вже досягає другої позиції; коли він досягає другої позиції черепахи, вона буде вже на третій позиції, і так далі. Зенон розрахував, що Ахілл ніколи не зможе досягнути черепаху, і що таким робом такого моменту не існує. Зенон розділив цю гонку на нескінченно велику кількість частин гонки, кожна з яких займає скінченну частину часу, так, що загальний час, за який Ахілл добіжить до черепахи, заданий рядом. Вирішенням цього парадоксу є те, що, хоча ряд має нескінченно велику кількість елементів, він має скінченну суму, яка і є тим часом, за який Ахілл наздожене та впіймає черепаху.

У сучасній термінології, будь-яка (впорядкована) нескінченна послідовність ${\displaystyle (a_{1},a_{2},a_{3},\ldots )}$ з термів (що можуть бути числами, функціями, або будь-чого, що може додаватися) визначає ряд, який є операцією додавання ${\displaystyle a_{i}}$ між собою. Аби підкреслити те, що існує нескінченна кількість термів, ряд може називатися нескінченним рядом. Такий ряд записується у вигляді такого математичного виразу:

${\displaystyle a_{1}+a_{2}+a_{3}+\cdots ,}$

або з використанням знака суми,

${\displaystyle \sum _{i=1}^{\infty }a_{i}.}$

Загалом поняття ряду виникло з поняття кільця, що часто є полем ${\displaystyle \mathbb {R} }$ дійсних чисел або полем ${\displaystyle \mathbb {C} }$ комплексних чисел. У такому разі множина всіх рядів сама собою є кільцем (або навіть асоціативною алгеброю), у якій операція додавання визначає додавання рядів поелементно, терм за термом, а множення є операцією ^[en].

Визначення

Нехай  ${\displaystyle \{a_{i}\}_{i=1}^{\infty }}$ — (числова послідовність); розглянемо нарівні із заданою послідовністю послідовність

${\displaystyle \{s_{k}\}_{k=1}^{\infty },}$

кожен елемент якої являє собою суму перших ${\displaystyle k}$ членів вихідної послідовності, що називається частковою сумою виду:

${\displaystyle s_{k}=\sum _{i=1}^{k}a_{i}.}$

Рядом називається сукупність цих двох послідовностей. Взагалі, для позначення ряду використовується символ:

${\displaystyle \sum _{i=1}^{\infty }a_{i},}$

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

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

Якщо числовий ряд збігається, то границя ${\displaystyle S}$ послідовності його часткових сум має назву суми ряду:

${\displaystyle S=\sum _{i=1}^{\infty }a_{i},}$

Операції над рядами

Нехай задано ряди ${\displaystyle \sum _{n=0}^{\infty }a_{n}}$ і ${\displaystyle \sum _{n=0}^{\infty }b_{n}}$, що збігаються. Тоді:

• Їхньою сумою називається ряд ${\displaystyle \sum _{n=0}^{\infty }(a_{n}+b_{n})}$
• Їхнім добутком за Коші називається ряд ${\displaystyle \sum c_{n}}$, де ${\displaystyle c_{n}=\sum _{k=0}^{n}a_{k}b_{n-k}}$

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

Критерій абсолютної збіжності

Ряд з дійсних чисел збігається абсолютно тоді й тільки тоді, коли збігаються обидва ряди: ряд з додатних його членів і ряд з від'ємних членів.

Приклади числових рядів

Докладніше: Список рядів та сум

• Геометричний ряд — це такий ряд, ц якому кожен наступний елемент утворений множенням попереднього на стале число (що зветься сталим відношенням ряду). Наприклад:

${\displaystyle 1+{1 \over 2}+{1 \over 4}+{1 \over 8}+{1 \over 16}+\cdots =\sum _{n=0}^{\infty }{1 \over 2^{n}}.}$

Загалом геометричний ряд

${\displaystyle \sum _{n=0}^{\infty }z^{n}}$

збігається тоді й тільки тоді, коли ${\textstyle |z|<1}$.

•  — це узагальнення геометричного ряду, коефіцієнти сталого відношення якого дорівнюють елементам в арифметичній прогресії. Наприклад:

${\displaystyle 3+{5 \over 2}+{7 \over 4}+{9 \over 8}+{11 \over 16}+\cdots =\sum _{n=0}^{\infty }{(3+2n) \over 2^{n}}.}$

• Гармонічний ряд — це ряд виду

${\displaystyle 1+{1 \over 2}+{1 \over 3}+{1 \over 4}+{1 \over 5}+\cdots =\sum _{n=1}^{\infty }{1 \over n}.}$

Гармонічні ряди є (розбіжними).

•  — це ряд, у якому елементи можуть змінювати свій знак. У таких рядах доданки є як додатні, так і від'ємні. Наприклад:

${\displaystyle 1-{1 \over 2}+{1 \over 3}-{1 \over 4}+{1 \over 5}-\cdots =\sum _{n=1}^{\infty }{\left(-1\right)^{n-1} \over n}=\ln(2)\quad }$ (знакозмінний гармонічний ряд)

і

${\displaystyle -1+{\frac {1}{3}}-{\frac {1}{5}}+{\frac {1}{7}}-{\frac {1}{9}}+\cdots =\sum _{n=1}^{\infty }{\frac {\left(-1\right)^{n}}{2n-1}}=-{\frac {\pi }{4}}}$

• Узагальнений гармонічний ряд або p-ряд:

${\displaystyle \sum _{n=1}^{\infty }{\frac {1}{n^{p}}}}$

збігається, коли p > 1, і є розбіжним, коли p ≤ 1. Функція відносно p, що є сумою цього ряду є дзета-функцією Рімана.

• Телескопічний ряд:

${\displaystyle \sum _{n=1}^{\infty }(b_{n}-b_{n+1})}$

збігається, якщо послідовність b_n збігається до границі L, притому як n прямує до нескінченності. Значення ряду тоді дорівнюватиме b₁ − L.

π

Апроксимація числа π за допомогою ряду

${\displaystyle \sum _{n=1}^{\infty }{\frac {1}{n^{2}}}={\frac {1}{1^{2}}}+{\frac {1}{2^{2}}}+{\frac {1}{3^{2}}}+{\frac {1}{4^{2}}}+\cdots ={\frac {\pi ^{2}}{6}}}$

${\displaystyle \sum _{n=1}^{\infty }{\frac {(-1)^{n+1}(4)}{2n-1}}={\frac {4}{1}}-{\frac {4}{3}}+{\frac {4}{5}}-{\frac {4}{7}}+{\frac {4}{9}}-{\frac {4}{11}}+{\frac {4}{13}}-\cdots =\pi }$

Натуральний логарифм 2

${\displaystyle \sum _{n=1}^{\infty }{\frac {(-1)^{n+1}}{n}}=\ln 2}$

${\displaystyle \sum _{n=0}^{\infty }{\frac {1}{(2n+1)(2n+2)}}=\ln 2}$

${\displaystyle \sum _{n=0}^{\infty }{\frac {(-1)^{n}}{(n+1)(n+2)}}=2\ln(2)-1}$

${\displaystyle \sum _{n=1}^{\infty }{\frac {1}{n(4n^{2}-1)}}=2\ln(2)-1}$

${\displaystyle \sum _{n=1}^{\infty }{\frac {1}{2^{n}n}}=\ln 2}$

${\displaystyle \sum _{n=1}^{\infty }\left({\frac {1}{3^{n}}}+{\frac {1}{4^{n}}}\right){\frac {1}{n}}=\ln 2}$

${\displaystyle \sum _{n=1}^{\infty }{\frac {1}{2n(2n-1)}}=\ln 2}$

Натуральний логарифм за основою e

Докладніше: e (число)

${\displaystyle \sum _{n=0}^{\infty }{\frac {(-1)^{n}}{n!}}=1-{\frac {1}{1!}}+{\frac {1}{2!}}-{\frac {1}{3!}}+\cdots ={\frac {1}{e}}}$

${\displaystyle \sum _{n=0}^{\infty }{\frac {1}{n!}}={\frac {1}{0!}}+{\frac {1}{1!}}+{\frac {1}{2!}}+{\frac {1}{3!}}+{\frac {1}{4!}}+\cdots =e}$

Література

• Дороговцев А. Я. Математичний аналіз. Частина 1. — К. : Либідь, 1993. — 320 с. — .(укр.)
• Григорій Михайлович Фіхтенгольц. Курс диференціального та інтегрального числення. — 2024. — 2100+ с.(укр.)
• Математический анализ. — 10-е. — М : МЦНМО, 2019. — Т. 1. — 564 с. — .(рос.)