Ряд Тейлора: Як Деякі Похідні Відновлюють Криву

Приближення кривої поліноміалом

Серія Тейлора відтворює гладку функцію як нескінченну суму поліноміальних членів, кожен з яких побудований на основі похідних функції в одному місці x = a. Ідея полягає в тому, що якщо ви знаєте значення функції, її нахил, кривизну та всі вищі порядки «кривизни» в точці x = a, ви маєте достатньо інформації, щоб відтворити всю функцію поблизу – і часто набагато далі, ніж це передбачає «поблизу».

f(x) = f(a) + f'(a)(x-a) + f''(a)/2!·(x-a)² + f'''(a)/3!·(x-a)³ + ...
     = Σ (from n=0 to ∞)  f⁽ⁿ⁾(a)/n! · (x-a)ⁿ

Maclaurin series (a = 0), the three classics:
sin(x) = x - x³/3! + x⁵/5! - x⁷/7! + ...
cos(x) = 1 - x²/2! + x⁴/4! - x⁶/6! + ...
eⁿ = 1 + x + x²/2! + x³/3! + x⁴/4! + ...

Чому факторіали та степені, зокрема

Кожен член будується так, щоб точно відповідати одній похідній у точці x = a і залишати всі інші захоплені похідні без змін. Диференціювання n-го члена, (x-a) в степені n поділеного на n!, точно n разів дає 1, а n! в знаменнику є саме тим, що скасовує n! при повторному диференціюванні x в степені n - таким чином коефіцієнт (n-та похідна у a, поділена на n!) є унікальним вибором, який робить n-ту похідну полінома у a рівною справжній похідний функції n-го порядку у a для кожного n одночасно. Обріжте нескінченну суму після члена (x-a) в степені N і отримаєте поліном Тейлора ступеня N - найкраще можливе поліномне наближення даного ступеня в сенсі того, що воно точно відповідає функції та її першим N похідним у точці розширення.

Как быстро улучшается приближение

Для sin и cos, удваивание от степени 2 до степени 4 (приблизительно) в квадрате повышает точность около x = 0, потому что каждый новый член уменьшается примерно на коэффициент x во второй степени деленный на (n+1)(n+2) - для |x| значительно меньше 1, и это быстро уменьшается, поэтому уже N = 5 отлично «запекает» sin(x) до графической точности для |x| менее 2. Предел Лагранжа точно определяет, насколько неточно может быть отсечение степени-N:

R_N(x) = f⁽ᴜ⁺¹⁾(ξ)/(N+1)! · (x-a)^(N+1) для некоторого ξ между a и x для sin, cos: |f⁽ᴜ⁺¹⁾(ξ)| ≤ 1 всегда, поэтому |R_N(x)| ≤ |x|^(N+1) / (N+1)! Этот факториал в знаменателе выполняет основную работу: (N+1)! растет быстрее любой фиксированной степени x, поэтому для sin и cos остаток в конечном итоге сводится к нулю для любого действительного x, независимо от того, насколько велико оно - ряд сходится везде. e в степени x ведет себя так же, сходится для всех действительных x, что делает его таким надежным строительным блоком в числовых библиотеках.

R_N(x) = f⁽ᴜ⁺¹⁾(ξ)/(N+1)! · (x-a)^(N+1)     for some ξ between a and x

for sin, cos: |f⁽ᴜ⁺¹⁾(ξ)| ≤ 1 always, so |R_N(x)| ≤ |x|^(N+1) / (N+1)!

Де точність поліноміальної розкладу закінчується: радіус збіжності

Не кожна функція така ж співпрацівниця. Серії Тейлора ln(1+x) та 1/(1-x) збігаються лише в межах радіуса збіжності - для обох цих функцій |x| менше 1 – оскільки сама функція має сингулярність (точку, де вона розпадається або не визначена) на кінці віддаленого від точки розширення. Жоден поліном, незалежно від ступеня, не може відтворити справжнього розпаду. Зовні цього радіуса часткові суми не просто повільно втрачають точність; вони повністю розходяться, що є корисним нагадуванням про те, що «більше членів завжди краще» має сенс лише в межах області, де серія дійсно збігається.

Чому це має значення за межами аудиторії, де математика вивчається

Наближення Тейлора – це тихий двигун, що стоїть за величезною кількістю застосованих обчислень. Реалізація CPU для sin(), cos() і exp() зрештою зменшує вхідні дані до невеликого діапазону та оцінює короткий поліноміальний вираз – часто це не пряма серія Тейлора, а покращена варіація (мінімаксний поліном), яка рівномірно розподіляє помилку по інтервалу замість зосередження її біля точки розширення. Фізичні двигуни лінеаризують нелінійні сили першим порядком за допомогою терміну Тейлора, щоб зберегти обчислення вирішення кожного кадру; метод Ньютона для знаходження коренів буквально «інвертує перший поліном Тейлора та повторює його»; а поширення помилок у наукових експериментах майже завжди починається з розширення Тейлора функції вимірювання першого порядку навколо виміряних значень.

Frequently asked questions

Спробуйте наживо

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