У математиці Ряд Те́йлора — представлення функції у вигляді нескінченної суми доданків, які обчислюються зі значень похідних функції в одній точці.
Концепцію ряду Тейлора був сформулював шотландський математик Джеймс Грегорі і офіційно презентував англійський математик Брук Тейлор в 1715 році. Якщо ряд Тейлора з центром в нулі, то цей ряд також називається рядом Маклорена, який названий на честь шотландського математика Маклорена, який широко використав цей особливий випадок ряду Тейлора в XVIII столітті.
Функція може бути апроксимована за допомогою скінченного числа членів ряду Тейлора. Теорема Тейлора дає кількісні оцінки похибок, які вносяться за допомогою використання такого наближення. Поліном, утворений з деяких початкових членів ряду Тейлора, називається многочленом Тейлора. Ряд Тейлора функції є границею поліномів Тейлора цієї функції у міру збільшення міри, за умови, що існує границя. Функція може не дорівнювати її ряду Тейлора, навіть якщо ряд збігається в кожній точці. Функція, яка дорівнює її ряду Тейлора у відкритому інтервалі (чи в колі в комплексній площині), називається аналітичною в цьому інтервалі.
Грецький філософ Зенон розглядав проблему знаходження суми нескінченного ряду для досягнення скінченного результату, але відхилив його як неможливе: результатом був парадокс Зенона. Пізніше Арістотель запропонував філософське розв'язання парадоксу, але математичний зміст не з'ясував. Його отримав Архімед, як це був зробив до Арістотеля атоміст Демокріт. Завдяки методу вичерпування Архімеда, нескінченну кількість поділів можна виконати для досягнення скінченного результату.[1] Китайський математик Лю Хуей незалежно використав схожий метод через декілька століть.[2]
Уперше використав ряди Тейлора і тісно пов'язані з ними методи у 14-му столітті Мадхаве з Сандамаграми.[3][4] Хоча жоден звіт про його роботу не уцілів, праці пізніших індійських математиків[en] свідчать про те, що він виявив ряд особливих випадків рядів Тейлора, у тому числі для тригонометричних функцій синуса, косинуса, тангенса і арктангенса. Керальска школа астрономії і математики до 16-го століття розвивала його роботи, збільшуючи кількість розкладів у ряди і раціональні наближення.
У 17-му столітті, Джеймс Грегорі також працював в цій галузі і опублікував декілька рядів Маклорена. Проте лише в 1715 році Брук Тейлор запропонував загальний метод побудови цих рядів для усіх функцій, для яких вони існують,[5], на честь якого тепер названо ці ряди.
Ряд Маклорена було названо на честь Коліна Маклорена, професора з Единбургу, який опублікував спеціальний випадок ряду Тейлора у 18-му столітті.
Якщо задається збіжним степеневим рядом у відкритомукрузі (або в інтервалі дійсної прямої) з центром в точці на комплексній площині, то вона називається аналітичною в цьому крузі. Таким чином, для в цьому крузі визначається збіжним степеневим рядом
Диференціюючи по наведені вище формули разів, та підставляючи маємо:
і тому розклад цієї функції в степеневий ряд збігається з її рядом Тейлора.
Таким чином, функція є аналітичною у відкритому крузі з центром в точці тоді і тільки тоді, коли її ряд Тейлора збігається до значення функції в кожній точці заданого круга.
Якщо дорівнює її ряду Тейлора для всіх в комплексній площині, то вона називається цілою. Многочлени, експоненційна функція і тригонометричні функції синус і косинус, є прикладами цілих функцій. Функції, такі як квадратний корінь, логарифм, тригонометричні функції тангенс та арктангенс не є цілими. Для цих функцій ряд Тейлора не збігається, якщо далеко від . Тобто, ряд Тейлора розбігається в точці , якщо відстань між і більше, ніж його радіус збіжності. Ряд Тейлора можна використовувати для обчислення значення цілої функції в кожній точці, якщо лише в одній точці відомі значення функції і всіх її похідних.
Використання ряду Тейлора для аналітичних функцій включає в себе:
Часткові суми (поліноми Тейлора) рядів можуть бути використані як наближення функції. Ці наближення стають більш точними при включені чим більшої кількості членів розкладу.
Диференціювання та інтегрування степенних рядів можна виконати почленно і, отже, досить легко.
(Усіченні) ряди можна використовувати для чисельного обчислення значень функції (часто переробляючи поліном у форму Чебишова і його обчислення за допомогою алгоритму Кленшава[en]).
Алгебраїчні операції легко проводити над функціями, які представлені у вигляді степенних рядів; наприклад, формула Ейлера випливає з розкладу ряду Тейлора для тригонометричних і показових функцій. Цей результат має фундаментальне значення в таких областях, як гармонічний аналіз.
Апроксимація з використанням декількох перших членів ряду Тейлора може зробити нерозв'язні проблеми розв'язними для обмеженої області; цей підхід часто використовується у фізиці.
Формула Тейлора використовується при доведенні багатьох теорем у диференціальному численні. Якщо говорити нестрого, то формула Тейлора відображає поведінку функції в околі деякої точки.
Існує декілька методів обчислення рядів Тейлора. Можна спробувати використати означення ряду, однак цей спосіб часто вимагає узагальнення форми коефіцієнтів. Також можна використовувати такі маніпуляції, як заміна, множення або ділення, додавання або віднімання стандартних рядів Тейлора, щоб побудувати ряд Тейлора функції, оскільки ряд Тейлора є степеневим рядом. У деяких випадках можна знайти ряд Тейлора, багаторазово застосовуючи інтегрування по частинах.
Перший приклад:
Тут використовується метод під назвою «непряме розширення», щоб розширити задану функцію. Цей метод використовує відомий розклад Тейлора експоненти. Щоб розкласти функцію в ряд Тейлора, використаємо відомий ряд Тейлора функції :
Тому
Другий приклад:
Нехай задано функцію
Знайдемо її формулу Тейлора з точністю до включно.
Перепишемо задану функцію наступним чином:
Формули Тейлора натурального логарифма з точністю до :
і косинуса з точністю до :
.
Підставимо другу формулу в першу:
Оскільки косинус є парною функцією, то коефіцієнти для всіх непарних степенів x, x3, x5, x7, ... мають дорівнювати нулю.
Третій приклад:
Нехай задано функцію
Знайдемо її ряд Тейлора в точці 0. Для експоненти маємо такий ряд Тейлора:
а для косинуса такий:
В загальному степеневий розклад має такий вигляд:
Тоді множення на її знаменник і підстановка ряду Маклорена косинуса дає наступне:
Групування доданків до четвертого степеня дає
Значення можна знайти шляхом порівняння коефіцієнтів правої частини з відповідними коефіцієнатими розкладу експоненти, що дає:
Зображений справа графік є наближенням в околі точки . Рожева крива задається наступним многочленом сьомого степеня:
Похибка в цьому наближенні не перевищує . Для повного періоду з центром в точці (), похибка менша за 0.08215. Зокрема, при , похибка менша ніж 0.000003.
На противагу цьому показано графік функції натурального логарифма і деякі з його многочленів Тейлора в околі точки . Ці наближення сходяться до функції тільки в області ; за межами цієї області многочлени Тейлора вищих степенів гірше наближені до функції. Це схоже на феномен Рунге.
Похибка, що виникає при наближенні функції її поліномом Тейлора n-го степеня, називається залишком або залишковим многочленом та позначається через . Теорема Тейлора може бути використана для отримання оцінки для величини залишку.
Загалом, ряд Тейлора не обов'язково має збігатися у всіх точках. Доведено, що множина функцій зі збіжним рядом Тейлора є множиною міри нуль в просторі Фреше гладких функцій. І навіть якщо ряд Тейлора функції дійсно сходиться, то в загальному випадку його сума не обов'язково дорівнює значенню функції . Наприклад, функція
В аналізі функцій дійсної змінної, цей приклад показує, що існують нескінченно диференційовані, для яких ряди Тейлора не рівні , навіть якщо вони збігаються. На противагу цьому, голоморфні функції, які вивчаються в комплексному аналізі, завжди мають збіжні ряди Тейлора, і навіть ряди Тейлора мероморфних функцій, які можуть мати особливості, ніколи не збігаються до значень, відмінних від значень самої функції. Комплексна функція не прямує до при , що прямує до вздовж уявної осі, тому вона не є неперервною в комплексній площині і її ряд Тейлора є невизначеним в точці .
У більш загальному сенсі, будь-яка послідовність дійсних або комплексних чисел може бути коефіцієнтами в ряді Тейлора нескінченно диференційованої функції, заданої на дійсній прямій, внаслідок леми Бореля[en]. В результаті радіус збіжності ряду Тейлора може дорівнювати нулю. Є навіть нескінченно диференційовані функції, визначеної на дійсній прямій, ряд Тейлора якої має радіус збіжності, рівний .[7]
Функцію не можна розкласти в ряд Тейлора в особливій точці; в цих випадках часто використовуються ряди з від'ємними степенями змінної ; див. ряд Лорана. Наприклад, можна розкласти в ряд Лорана.
Тут — -та скінченна різниця з кроком розміру . Ряд — це саме ряд Тейлора, за винятком того, що скінченні різниці стоять замість похідних: ряд формально аналогічний ряду Ньютона. Коли функція є аналітичною в точці , то члени цього ряду збігаються до членів ряду Тейлора, і в цьому сенсі наведений вище ряд узагальнює звичайний ряд Тейлора.
Загалом, для будь-якої нескінченної послідовності має місце наступна рівність:
Тригонометричний ряд Фур'є дозволяє виразити періодичну функцію або функцію, визначену на відрізку , як нескінченну суму тригонометричних функцій (синусів і косинусів). У цьому сенсі ряд Фур'є схожий на ряд Тейлора, оскільки останній дозволяє виразити функцію як нескінченну суму степенів. Тим не менш, ці два ряди відрізняються один від одного кількома важливими моментами:
Значення в точці x = a усіх часткових сум ряду Тейлора f (x) точно дорівнюють значенню f від a. Однак, ряд Фур'є обчислюється шляхом інтегрування по всьому інтервалу, тому, як правило, для нього немає такої точки, де всі часткові суми ряду є точними.
Обчислення ряду Тейлора вимагає знання функції на деякому околі точки, тоді як обчислення ряду Фур'є вимагає знання функції на всьому інтервалі, на якому визначена функція. У певному сенсі можна сказати, що ряд Тейлора є «локальним», а ряд Фур'є — «глобальним».
Ряд Тейлора визначається для функції, яка має нескінченно багато похідних в одній точці, тоді як ряд Фур'є визначається для будь-якої інтегровної функції. Зокрема, функція може бути ніде диференційованою. Наприклад, функція Веєрштрасса.
Збіжність обох рядів має різні властивості. Навіть якщо ряд Тейлора має додатній радіус збіжності, то отриманий ряд може не збігатися з функцією; але якщо функція є аналітичною, то ряд збігається поточково до функції та рівномірно на кожній компактній підмножині інтервалу збіжності. Щодо ряду Фур'є, якщо функція квадратично інтегровна, то ряд збігається в середньому квадратичному, але необхідні додаткові вимоги для забезпечення поточкової або рівномірної збіжності. Наприклад, якщо функція є періодичною та неперервно диференційовною, то збіжність є рівномірною.
На практиці потрібно апроксимувати функцію скінченною кількістю членів, скажімо, поліномом Тейлора або частковою сумою тригонометричного ряду відповідно. У випадку ряду Тейлора помилка дуже мала в околах точки, де вона обчислюється, тоді як вона може бути дуже великою у більш віддаленій точці. У випадку ряду Фур'є похибка розподілена по всій області визначення функції.
Завало С. Т. (1972). Елементи аналізу. Алгебра многочленів. Київ: Радянська школа. с. 462. (укр.)
Формула Тейлора // Вища математика в прикладах і задачах / Клепко В.Ю., Голець В.Л.. — 2-ге видання. — К. : Центр учбової літератури, 2009. — С. 277. — 594 с.
Розклад функцій в ряди Тейлора // Вища математика в прикладах і задачах / Клепко В.Ю., Голець В.Л.. — 2-ге видання. — К. : Центр учбової літератури, 2009. — С. 525. — 594 с.
Розклад функції в ряд Маклорена // Вища математика в прикладах і задачах / Клепко В.Ю., Голець В.Л.. — 2-ге видання. — К. : Центр учбової літератури, 2009. — С. 526. — 594 с.
↑S. G. Dani (2012). Ancient Indian Mathematics – A Conspectus. Resonance. 17 (3): 236—246. doi:10.1007/s12045-012-0022-y.
↑Taylor, Brook, Methodus Incrementorum Directa et Inversa [Direct and Reverse Methods of Incrementation] (London, 1715), pages 21–23 (Proposition VII, Theorem 3, Corollary 2). Translated into English in D. J. Struik, A Source Book in Mathematics 1200—1800 (Cambridge, Massachusetts: Harvard University Press, 1969), pages 329—332.
↑Rudin, Walter (1980), Real and Complex Analysis, New Dehli: McGraw-Hill, с. 418, Exercise 13, ISBN0-07-099557-5
↑Feller, William (1971), An introduction to probability theory and its applications, Volume 2 (вид. 3rd), Wiley, с. 230—232.
↑Hille, Einar; Phillips, Ralph S. (1957), Functional analysis and semi-groups, AMS Colloquium Publications, т. 31, American Mathematical Society, с. 300–327.