Teorema Taylor

Dalam kalkulus, teorema Taylor menyatakan bahwa suatu fungsi yang terdiferensiasi dapat dinyatakan dalam suatu deret pangkat atau suku banyak (polinomial). Koefisien polinomial tersebut hanya tergantung pada turunan fungsi pada titik yang bersangkutan. Lebih lanjut, teorema ini juga memberikan estimasi nilai galat dari seberapa banyaknya barisan dalam deret yang digunakan. Teorema ini mendapat nama dari matematikawan Brook Taylor, yang menyatakannya pada tahun 1712, meskipun hasilnya sudah ditemukan pertama kali tahun 1671 oleh James Gregory.

Fungsi eksponensial ${\displaystyle y=e^{x}}$ (garis merah kontinu) dan polinomial Taylor orde empat di sekitar titik asal (garis hijau putus-putus)

Kalkulus
Teorema dasar Limit fungsi Kontinuitas Teorema nilai purata Teorema Rolle
Diferensial Definisi Turunan (perumuman) Tabel turunan Diferensial infinitesimal fungsi total Konsep Notasi untuk pendiferensialan Turunan kedua Turunan ketiga Perubahan variabel Pendiferensialan implisit Laju yang berkaitan Teorema Taylor Kaidah dan identitas Kaidah penjumlahan dalam pendiferensialan Perkalian Rantai Pangkat Pembagian Rumus Faà di Bruno
Integral Definisi Antiderivatif Integral (takwajar) Integral Riemann Integrasi Lebesgue Integrasi kontur Tabel integral Integrasi secara parsial cakram kulit tabung substitusi (trigonometri) pecahan parsial Urutan Rumus reduksi
Deret geometri (aritmetika-geometrik) harmonik selang-seling pangkat binomial Taylor Uji kekonvergenan uji suku rasio akar integral perbandingan langsung perbandingan limit deret selang-seling kondensasi Cauchy Dirichlet Abel
Vektor Gradien Divergence Keikalan Laplace berarah identitas Teorema Kedivergenan Gradien Green Stokes
Multivariabel Formalisme matriks tensor eksterior geometrik Definisi Turunan parsial Integral lipat Integral garis Permukaan integral integral volume Jacobi Hesse
Khusus fraksional Malliavin stokastik variasi
l b s

Teorema Taylor dalam satu variabel

Teorema Taylor menyatakan setiap fungsi mulus dapat dihampiri dengan polinomial. Contoh sederhana penerapan teorema Taylor adalah hampiran fungsi eksponensial e^x di dekat x = 0:

${\displaystyle {\textrm {e}}^{x}\approx 1+x+{\frac {x^{2}}{2!}}+{\frac {x^{3}}{3!}}+\cdots +{\frac {x^{n}}{n!}}.}$

Hampiran ini dinamakan hampiran Taylor orde ke-n' terhadap e^x karena menghampiri nilai fungsi eksponensial menggunakan polinomial derajat n. Hampiran ini hanya berlaku untuk x mendekati nol, dan bila x bergerak menjauhi nol, hampiran ini menjadi semakin buruk. Kualitas hampiran dinyatakan oleh suku sisa:

${\displaystyle R_{n}(x)={\textrm {e}}^{x}-\left(1+x+{\frac {x^{2}}{2!}}+{\frac {x^{3}}{3!}}+\cdots +{\frac {x^{n}}{n!}}\right).}$

Lebih umum lagi, teorema Taylor berlaku untuk setiap fungsi yang dapat diturunkan ƒ, dengan hampiran untuk x di dekat titik a, dalam bentuk:

${\displaystyle f(x)\approx f(a)+f'(a)(x-a)+{\frac {f''(a)}{2!}}(x-a)^{2}+\dots {\frac {f^{(n)}(a)}{n!}}(x-a)^{n}.}$

Suku sisa adalah perbedaan antara fungsi dan polinomial hampirannya:

${\displaystyle R_{n}(x)=f(x)-\left(f(a)+f'(a)(x-a)+{\frac {f''(a)}{2!}}(x-a)^{2}+\dots {\frac {f^{(n)}(a)}{n!}}(x-a)^{n}\right).}$

Meskipun rumus eksplisit untuk suku sisa ini jarang digunakan, teorema Taylor juga memberikan estimasi nilai sisanya. Dengan kata lain, untuk x cukup dekat terhadap a, suku sisa haruslah cukup kecil. Teorema Taylor memberikan informasi persis seberapa kecil suku sisa tersebut.

Pernyataan

Pernyataan cermat teorema ini adalah sebagai berikut: bila n ≥ 0 adalah bilangan bulat dan f adalah fungsi yang terturunkan kontinu pada selang tertutup [a, x] dan terturunkan n + 1 kali pada selang terbuka (a, x), maka

${\displaystyle f(x)=f(a)+{\frac {f'(a)}{1!}}(x-a)+{\frac {f^{(2)}(a)}{2!}}(x-a)^{2}+\cdots +{\frac {f^{(n)}(a)}{n!}}(x-a)^{n}+R_{n}(x).}$

Di sini n! melambangkan n faktorial dan R_n(x) adalah suku sisa, melambangkan beda antara polinomial Taylor derajat-n terhadap fungsi asli. Suku sisa R_n(x) tergantung pada x, dan kecil bila x cukup dekat terhadap a. Ada beberapa pernyataan untuk suku sisa ini.

Bentuk Lagrange^[1] dari suku sisa menyatakan bahwa terdapat bilangan ξ antara a dan x sedemikian sehingga

${\displaystyle R_{n}(x)={\frac {f^{(n+1)}(\xi )}{(n+1)!}}(x-a)^{n+1}.}$

Ini mengungkapkan teorema Taylor sebagai perampatan teorema nilai rata-rata. Sebenarnya, teorema nilai rata-rata digunakan untuk membuktikan teorema Taylor dengan suku sisa bentuk Lagrange.

Bentuk Cauchy^[2] suku sisa menyatakan bahwa terdapat bilangan ξ antara a dan x sehingga

${\displaystyle R_{n}(x)={\frac {f^{(n+1)}(\xi )}{n!}}(x-\xi )^{n}(x-a).}$

Secara umum, bila G(t) adalah fungsi kontinu pada selang tertutup [a,x], yang terturunkan dengan turunan tidak nol pada (a,x), maka ada suatu bilangan ξ antara a dan x sehingga

${\displaystyle R_{n}(x)={\frac {f^{(n+1)}(\xi )}{n!}}(x-\xi )^{n}\cdot {\frac {G(x)-G(a)}{G'(\xi )}}.}$

Ini mengungkapkan teorema Taylor sebagai generalisasi teorema nilai rata-rata Cauchy.

Bentuk di atas terbatas pada fungsi riil. Namun bentuk integral^[3] dari suku sisa juga berlaku untuk fungsi kompleks, yaitu:

${\displaystyle R_{n}(x)=\int _{a}^{x}{\frac {f^{(n+1)}(t)}{n!}}(x-t)^{n}\,dt,}$

dengan syarat, seperti yang biasa ditemui, f_n kontinu mutlak dalam [a, x]. Ini menunjukkan teorema ini sebagai perampatan teorema dasar kalkulus.

Secara umum, suatu fungsi tidak perlu sama dengan deret Taylor-nya, karena mungkin saja deret Taylor tersebut tidak konvergen, atau konvergen menuju fungsi yang berbeda. Namun, untuk banyak fungsi f(x), kita dapat menunjukkan bahwa suku sisa R_n mendekati nol saat n mendekati ∞. Fungsi-fungsi tersebut dapat dinyatakan sebagai deret Taylor pada persekitaran titik a, dan disebut sebagai fungsi analitik.

Estimasi suku sisa

Versi umum teorema Taylor lainnya berlaku pada selang (a − r, a + r) tempat variabel x mengambil nilainya. Perumusan teorema ini memiliki keuntungan bahwa mungkin mengendalikan ukuran suku-suku sisa, dan dengan demikian kita dapat menghitung hampiran fungsi yang sahih pada seluruh selang, dengan batas yang cermat untuk mutu hampirannya.

Versi yang cermat untuk teorema Taylor dalam bentuk ini adalah sebagai berikut. Misalkan ƒ adalah fungsi yang terturunkan kontinu n kali pada selang tertutup [a - r, a + r] dan terturunkan n + 1 kali pada selang terbuka (a − r, a + r). Bila ada konstanta positif riil M_n sedemikian sehingga |ƒ⁽ⁿ⁺¹⁾(x)| ≤ M_n untuk semua x ∈ (a − r, a + r), maka

${\displaystyle f(x)=f(a)+{\frac {f'(a)}{1!}}(x-a)+{\frac {f^{(2)}(a)}{2!}}(x-a)^{2}+\cdots +{\frac {f^{(n)}(a)}{n!}}(x-a)^{n}+R_{n}(x),}$

di mana fungsi sisa R_n memenuhi ketidaksamaan (dikenal sebagai estimasi Cauchy)

${\displaystyle |R_{n}(x)|\leq M_{n}{\frac {r^{n+1}}{(n+1)!}}}$

untuk semua x ∈ (a − r, a + r). Ini disebut sebagai estimasi seragam galat pada polinomial Taylor yang terpusat pada a, karena ini berlaku seragam untuk setiap x dalam selang.

Bila ƒ adalah fungsi mulus pada [a − r, a + r], maka konstanta positif M_n ada untuk tiap n = 1, 2, 3, … sedemikian sehingga | ƒ⁽ⁿ⁺¹⁾(x)| ≤ M_n untuk semua x ∈ (a − r, a + r). Tambahan lagi, jika mungkin memilih konstanta ini, sehingga

${\displaystyle M_{n}{\frac {r^{n+1}}{(n+1)!}}\rightarrow 0}$ as ${\displaystyle n\rightarrow \infty ,\!}$

maka ƒ adalah fungsi analitik pada (a − r, a + r). Secara khusus, suku sisa pada hampiran Taylor, R_n(x) cenderung menuju nol secara seragam saat n→∞. Dengan kata lain, fungsi analitik adalah limit seragam dari polinomial Taylornya pada sebuah selang.

Pembuktian: satu variabel

Berikut adalah bukti teorema Taylor dengan suku sisa integral^[4]

Teorema dasar kalkulus menyatakan bahwa

${\displaystyle \int _{a}^{x}\,f'(t)\,dt=f(x)-f(a),}$

yang dapat disusun ulang menjadi:

${\displaystyle f(x)=f(a)+\int _{a}^{x}\,f'(t)\,dt.}$

Sekarang kita dapat melihat bahwa penerapan integrasi parsial menghasilkan

${\displaystyle {\begin{aligned}f(x)&=f(a)+xf'(x)-af'(a)-\int _{a}^{x}\,tf''(t)\,dt\\&=f(a)+\int _{a}^{x}\,xf''(t)\,dt+xf'(a)-af'(a)-\int _{a}^{x}\,tf''(t)\,dt\\&=f(a)+(x-a)f'(a)+\int _{a}^{x}\,(x-t)f''(t)\,dt.\end{aligned}}}$

Persamaan pertama diperoleh dengan memisalkan ${\displaystyle u=f'(t)\,}$ dandv = dt; persamaan kedua didapatkan dengan mencatat bahwa ${\displaystyle \int _{a}^{x}\,xf''(t)\,dt=xf'(x)-xf'(a)}$; yang ketiga didapatkan dengan mengeluarkan faktor yang sama.

Bila integrasi parsial ini diteruskan didapatkan:

${\displaystyle f(x)=f(a)+(x-a)f'(a)+{\frac {1}{2}}(x-a)^{2}f''(a)+{\frac {1}{2}}\int _{a}^{x}\,(x-t)^{2}f'''(t)\,dt.}$

Dengan mengulangi proses ini, kita dapat menurunkan teorema Taylor untuk nilai n yang lebih tinggi.

Proses ini dapat diformalkan dengan menerapkan teknik induksi matematika. Jadi misalkan teorema Taylor berlaku unutk n tertentu, yaitu, misalkan

${\displaystyle f(x)=f(a)+{\frac {f'(a)}{1!}}(x-a)+\cdots +{\frac {f^{(n)}(a)}{n!}}(x-a)^{n}+\int _{a}^{x}{\frac {f^{(n+1)}(t)}{n!}}(x-t)^{n}\,dt.\qquad (*)}$

Kita dapat menulis ulang integral dengan integrasi parsial. Sebuah antiturunan (x − t)ⁿ sebagai fungsi dari t diberikan sebagai −(x−t)ⁿ⁺¹ / (n + 1), sehingga

${\displaystyle \int _{a}^{x}{\frac {f^{(n+1)}(t)}{n!}}(x-t)^{n}\,dt}$

${\displaystyle {}=-\left[{\frac {f^{(n+1)}(t)}{(n+1)n!}}(x-t)^{n+1}\right]_{a}^{x}+\int _{a}^{x}{\frac {f^{(n+2)}(t)}{(n+1)n!}}(x-t)^{n+1}\,dt}$

${\displaystyle {}={\frac {f^{(n+1)}(a)}{(n+1)!}}(x-a)^{n+1}+\int _{a}^{x}{\frac {f^{(n+2)}(t)}{(n+1)!}}(x-t)^{n+1}\,dt.}$

Mensubstitusikan ini dalam (*) membuktikan teorema Taylor untuk n + 1, dan karenanya untuk semua n bilangan bulat non-negatif.

Suku sisa dalam bentuk Lagrange dapat diturunkan dengan teorema nilai rata-rata untuk integral dengan cara berikut:

${\displaystyle R_{n}=\int _{a}^{x}{\frac {f^{(n+1)}(t)}{n!}}(x-t)^{n}\,dt=f^{(n+1)}(\xi )\int _{a}^{x}{\frac {(x-t)^{n}}{n!}}\,dt,}$

di mana ξ adalah suatu bilangan dari selang [a, x]. Integral terakhir dapat dievaluasi langsung, yang menghasilkan

${\displaystyle R_{n}={\frac {f^{(n+1)}(\xi )}{(n+1)!}}(x-a)^{n+1}.}$

Secara lebih umum, untuk tiap fungsi G(t), teorema nilai rata-rata menjamin eksistensi ξ dalam selang [a,x] yang memenuhi

${\displaystyle R_{n}=\int _{a}^{x}{\frac {f^{(n+1)}(t)}{n!}}(x-t)^{n}{\frac {G'(t)}{G'(t)}}\,dt={\frac {f^{(n+1)}(\xi )}{n!}}(x-\xi )^{n}{\frac {1}{G'(\xi )}}\int _{a}^{x}G'(t)\,dt}$

${\displaystyle ={\frac {f^{(n+1)}(\xi )}{n!}}(x-\xi )^{n}\cdot {\frac {G(x)-G(a)}{G'(\xi )}}.}$

Teorema Taylor dalam satu variabel nyata

Pernyataan teorema

Pernyataan dari versi paling dasar dari teorema Taylor adalah sebagai berikut:

Teorema Taylor.^[5][6][7] Let k ≥ 1 jika nilai pada integer dan biarkan nilai fungsi f : R → R jika nilai k kali ini dapat dibedakan pada titik tersebut a ∈ R. Setelah itu fungsi pada h_k : R → R, dirumuskan:

${\displaystyle f(x)=f(a)+f'(a)(x-a)+{\frac {f''(a)}{2!}}(x-a)^{2}+\cdots +{\frac {f^{(k)}(a)}{k!}}(x-a)^{k}+h_{k}(x)(x-a)^{k},}$

${\displaystyle {\mbox{dan}}\quad \lim _{x\to a}h_{k}(x)=0}$. Hal ini disebut juga Peano.

Hasil teorema yang muncul dalam teorema Taylor adalah k urutan pada Teorema Taylor, yaitu:

${\displaystyle P_{k}(x)=f(a)+f'(a)(x-a)+{\frac {f''(a)}{2!}}(x-a)^{2}+\cdots +{\frac {f^{(k)}(a)}{k!}}(x-a)^{k}}$

dari fungsi f pada titik a. Teorema Taylor adalah Teorema yang digunakan dalam arti, jika terdapat suatu fungsi h_k : R → R dan k ke order teorema ``p dengan sedemikian rupa

${\displaystyle f(x)=p(x)+h_{k}(x)(x-a)^{k},\quad \lim _{x\to a}h_{k}(x)=0,}$

setelah itu p = P_k. Teorema Taylor menggambarkan perilaku asimtotik dari istilah sisa

${\displaystyle \ R_{k}(x)=f(x)-P_{k}(x),}$

Salah satu kesalahan aproksimasi saat mendekati nilai f dengan teorema taylor. Menggunakan notasi o kecil, pernyataan dalam teorema Taylor dibaca sebagai berikut

${\displaystyle R_{k}(x)=o(|x-a|^{k}),\quad x\to a.}$

Rumus eksplisit untuk sisa

Di bawah asumsi keteraturan yang lebih kuat pada nilai f ada beberapa rumus yang tepat untuk istilah sisa pada R_k dari teorema taylor, yang paling relevan adalah sebagai berikut.

Bentuk nilai rata-rata dari sisa. Mari mencari nilai f : R → R berada pada nilai k + 1 saat kita dapat membedakan pada interval terbuka dengan f^(k) saat fungsi kontinu pada interval tertutup antara a serta x.^[8] Kemudian

${\displaystyle R_{k}(x)={\frac {f^{(k+1)}(\xi _{L})}{(k+1)!}}(x-a)^{k+1}}$

untuk beberapa bilangan real pada nilai ξ_L di antara nilai a dan x. Hal tersebut adalah dari Lagrange^[9] pada sisa pernyataan.

Demikian pula,

${\displaystyle R_{k}(x)={\frac {f^{(k+1)}(\xi _{C})}{k!}}(x-\xi _{C})^{k}(x-a)}$

untuk beberapa bilangan real pada ξ_C di antara a dan x. Hal tersebut adalah bentuk dari Cauchy^[10] dari sisa pernyataan.

Perbaikan teorema Taylor tersebut terbiasa dibuktikan menggunakan teorema nilai rata-rata, dari mana namanya. Hal tersebut ekspresi serupa lainnya. Contoh dari G(t) kontinu pada interval tertutup dan dapat dibedakan dengan turunan pada interval terbuka di antaranya a dan x, maka

${\displaystyle R_{k}(x)={\frac {f^{(k+1)}(\xi )}{k!}}(x-\xi )^{k}{\frac {G(x)-G(a)}{G'(\xi )}}}$

Untuk beberapa nomor ξ di antara a dan x. Versi tersebut mencakup bentuk Lagrange dan Cauchy sisanya sebagai kasus khusus dan dibuktikan dengan penggunaan di bawah Teorema Nilai Rata-rata Cauchy.

Pernyataan dalam bentuk integral dari sisa lebih maju dari yang sebelumnya, dan membutuhkan pemahaman tentang teori integrasi Lebesgue untuk pencarian penuh. Namun, itu berlaku juga dalam arti integral Riemann asalkan nilai (k + 1) keturunan dari f kontinu pada interval tertutup [a,x].

Bentuk integral dari sisanya.^[11] Mari f^(k) cara menjadikan bilangan berkelanjutan pada interval tertutup antara a dan x. Setelah itu

${\displaystyle R_{k}(x)=\int _{a}^{x}{\frac {f^{(k+1)}(t)}{k!}}(x-t)^{k}\,dt.}$

Estimasi untuk sisanya

Contoh

Catatan kaki

1. Klein (1998) 20.3; Apostol (1967) 7.7.
2. Apostol (1967) 7.7.
3. Apostol (1967) 7.5.
4. Perhatikan bahwa bukti ini mensyaratkan bahwa fⁿ kontinu mutlak pada[a, x] sehingga teorema dasar kalkulus berlaku. Kecuali pada bagian akhir saat teorema nilai rata-rata diterapkan, keterdiferensialan fⁿ tidak perlu diasumsikan, karena kekontinan mutlak menyiratkan keterdiferensialan hampir di mana saja, serta kesahihan teorema dasar kalkulus, dengan syarat integral yang terlibat dipahami sebagai integral Lebesgue. Sebagai akibatnya, bentuk integral suku sisa berlaku dengan pelemahan asumsi terhadap f.
5. Catatan:
6. Spivak, Michael (1994), Calculus (edisi ke-3rd), Houston, TX: Publish or Perish, hlm. 383, ISBN 978-0-914098-89-8
7. Hazewinkel, Michiel, ed. (2001) [1994], "Taylor formula", Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4
9. Kline 1998, §20.3; Apostol 1967, §7.7.
10. Apostol 1967, §7.7.
11. Apostol 1967, §7.5.

Rujukan

• Apostol, Tom (1967). Calculus. Jon Wiley & Sons, Inc. ISBN 0-471-00005-1.
• Klein, Morris (1998). Calculus: An Intuitive and Physical Approach. Dover. ISBN 0-486-40453-6.

Pranala luar

• (Inggris)Trigonometric Taylor Expansion Applet demonstrasi interaktif
• (Inggris)Taylor Series Revisited Diarsipkan 2008-10-10 di Wayback Machine. pada Holistic Numerical Methods Institute