Seria Taylora: Jak Kilka Pochodnych Buduje Krzywą

Näkreślanie krzywej za pomocą wielomianu

Seria Taylora buduje funkcję gładką jako nieskończoną sumę wielomianowych wyrazów, każdy zbudowany z pochodnych funkcji w jednym punkcie. Idea polega na tym, że jeśli znasz wartość funkcji, jej nachylenie, krzywiznę oraz każdą kolejną 'zakrzywioność' w jednym punkcie x = a, to masz wystarczająco informacji do przestrojenia całą funkcję w okolicy tego punktu - i często znacznie dalej niż sugeruje to 'okolica'.

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! + ...

Dlaczego silnie i potęgi, konkretnie

Każdy wyraz jest zaprojektowany tak, aby dokładnie pasować do jednej pochodnej w punkcie x = a i pozostawiać pozostałe pochodne niewzmacniane. Diferencjonując n-ty wyraz, (x-a) do potęgi n podzielonego przez silnię n, dokładnie n razy daje 1, a silnia n w mianowniku dokładnie odpowiada na anulowanie silni n, która wynika z wielokrotnej różniczkowania x do potęgi n - więc współczynnik (n-ty pochodny w punkcie a podzielony przez silnię n) jest jedynym wyborem, który sprawia, że n-ta pochodna wielomianu w punkcie a równa się rzeczywistej funkcji i jej n-tej pochodnej w tym samym punkcie, dla każdego n jednocześnie. Przerwij niekończoną sumę po wyrazie (x-a) do potęgi N i otrzymujesz wielomian Taylora stopnia N - najlepsze możliwe przybliżenie wielomianowe tego stopnia w sensie, że pasuje on dokładnie do funkcji oraz jej pierwszych N pochodnych w punkcie rozwoju.

Jak szybko aproksymacja się poprawia

Dla sin i cos podwójne stopnia wielomianu z 2 do 4 znacznie podnieśći dokładność blisko x = 0, ponieważ każda nowa kolejna wyraz jest mniejsza o czynnik około x² nad (n+1)(n+2) - dla |x| pod 1 to zmniejsza się bardzo szybko, co powoduje, że N = 5 już zasłania sin(x) do poziomu graficznego dokładności dla |x| mniej niż 2. Reszta Lagrangea ogranicza dokładnie jak nieprawidłowo może być obcięcie wielomianu stopnia N:

R_N(x) = f⁽ⁿ⁺¹⁾(ξ)/(N+1)! · (x-a)^(N+1) dla pewnego ξ między a i x dla sin, cos: |f⁽ⁿ⁺¹⁾(ξ)| ≤ 1 zawsze, więc |R_N(x)| ≤ |x|^(N+1) / (N+1)! Ta faktora w mianowniku wykonuje naprawdę dużo pracy: (N+1)! rośnie szybciej niż dowolna stała potęga x, dlatego dla sin i cos reszta ostatecznie zanika do zera dla każdego rzeczywistego x niezależnie od tego jak duży jest - szereg konverguje wszędzie. e do x zachowuje się tak samo, konvergując dla wszystkich rzeczywistych x, co jest powodem, dlaczego jest taka wiarygodna komponentem budowlanym w bibliotekach numerycznych.

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)!

Gdzie szereg Taylora przestaje być pomocny: promień zbieżności

Nie każda funkcja jest taka kooperatywna. ln(1+x) i 1/(1-x) mają szeregi Taylora, które zbiegają się tylko wewnątrz pewnego promienia zbieżności - dla obu tych funkcji |x| musi być mniejsza od 1, ponieważ funkcja sama ma singularność (punkt, w którym osiąga ona nieskończoną wartość lub jest nieokreślona) na skończonej odległości od punktu rozwoju, a żaden wielomian, nawet o bardzo wysokiej stopniu, nie może powtórzyć prawdziwej osiągniętej nieskończoności. Zewnątrz tego promienia sumy częściowe nie stracają dokładności wolno; one rozbiegają się prosto, co jest przydatnym przypomnieniem, że 'Więcej wyrazów zawsze lepiej' ma sens tylko w regionie, w którym szereg rzeczywiście zbiega się.

Dlaczego to ważne poza klasą matematyczną

Taylorowska aproksymacja jest cicha sila podziemna za ogromną ilością zastosowań obliczeniowych. Implementacja CPU funkcji sin(), cos() i exp() w końcu zmniejsza wejście do małego zakresu i ocenia krótką wielomianową szereg - często nie oryginalny szereg Taylora, ale jego optymalizowana wersja (wielomian minimax), która rozprowadza błąd równomiernie po całym przedziale zamiast koncentrując go blisko punktu rozwinięcia. Silniki fizyczne liniarzują nieciągłe siły za pomocą pierwszego rzędu szeregu Taylora, aby utrzymać symulacje rozwiązywalne w każdym klatce; metoda Newtona do znalezienia pierwiastków jest „odwróceniem wielomianu Taylorowskiego stopnia 1 i powtarzaniem”; a propagacja błędu w naukach eksperymentalnych prawie zawsze zaczyna się przez rozwinięcie funkcji pomiarowej do pierwszego rzędu wokół wartości pomiarowych.

Często zadawane pytania

Wypróbuj na żywo

Wszystko powyżej działa bezpośrednio w Twojej przeglądarce — otwórz Taylor Series — Polynomial Approximation i zmieniaj parametry podczas działania. Nic nie jest instalowane ani przesyłane na serwer, cały model działa w jednej karcie.