Тејлоров полином

Како степен Тејлоровог полинома расте, он се све више приближава функцији коју апроксимира. Слика показује функцију $\sin x$ и Тејлорове апроксимације полиномом развијеног до следећих редова степенима 1, 3, 5, 7, 9, 11 и 13.

Експоненцијална функција (плаво), и сума првих -{n}-+1 чланова њеног Тејлоровог реда у 0 (црвено).

Тејлорови редови се користе у анализи да се представи дата функција у околини неке тачке по избору као бесконачна сума чланова који се израчунавају из вредности извода функције у тој тачци. Ови редови су добили име по математичару Бруку Тејлору. Сродне тема је наравно Тејлорова формула, којом се служимо да функцију представимо као бесконачан ред.

Дефиниција

Тејлоров ред за неку сталну функцију $f(x)$ са бесконачно пуно извода за изабрану тачку $a$ јесте дефинисан овако:

$f(a)+\frac{f^{\prime }(a)}{1!}(x-a)+\frac{f^{″}(a)}{2!}(x-a{)}^2+\cdots +\frac{f^{(n)}(a)}{n!}(x-a{)}^n+\cdots$

$=\sum _{n=0}^{\mathrm{\infty }}\frac{f^{(n)}(a)}{n!}(x-a{)}^n$

Тејлоровим остатком $R_n^a(x)$ полинома називамо део за који се разликује функција и Тејлоров полином, тј. грешку која се при таквој апроксимацији функције полиномом прави, и он износи:

$R_n^a(x)=\frac{1}{n!}\underset{a}{\overset{x}{\int }}(x-t{)}^n{f}^{(n+1)}(t)dt$

Тако се свака функција може представити као збир одговарајућег Тејлоровог полинома за тачку $a$ коју смо ми сами изабрали и грешке коју смо направили том апроксимацијом:

$f(x)=T_n(x)+R_n(x)$

Када функција има више аргумената, примењујемо:

$T(x_1,\cdots ,x_d)=\sum _{n_1=0}^{\mathrm{\infty }}\cdots \sum _{n_d=0}^{\mathrm{\infty }}\frac{{\partial }^{n_1}}{\partial x_1^{n_1}}\cdots \frac{{\partial }^{n_d}}{\partial x_d^{n_d}}\frac{f(a_1,\cdots ,a_d)}{n_1!\cdots n_d!}(x_1-a_1{)}^{n_1}\cdots (x_d-a_d{)}^{n_d}$

У случају да добијемо вишедимензионалну функцију, користимо се следећом методом:

$T(𝐱)=f(𝐚)+\mathrm{\nabla }f(𝐚{)}^T(𝐱-𝐚)+\frac{1}{2}(𝐱-𝐚{)}^T{\mathrm{\nabla }}^{2}f(𝐚)(𝐱-𝐚)+\cdots$

где је $\mathrm{\nabla }f(𝐚)$ градијент, а ${\mathrm{\nabla }}^{2}f(𝐚)$ Хесова матрица.

Извод нултог реда од Шаблон:Mvar се дефинише као сама Шаблон:Mvar и Шаблон:Math и Шаблон:Math су по дефиницији једнаки 1. Кад је Шаблон:Math, серија се исто тако назива Маклоренов ред.

Конвергентност

Тејлоров ред не мора по правилу да конвергира за све $x$. У ствари, он конвергира само онда када остатак, $R_n(x)=f(x)-T_n(x)$, конвергира према 0.

Када је $f(x)$ сама степени ред око тачке $a$, онда је Тејлоров ред идентичан са њим.

Примери

Маклоренов ред за било који полином је поново полином. Маклоренов ред за (1 − x)⁻¹ је геометријски ред

$1+x+x^2+x^3+\cdots$

тако да Тејлоров ред за x⁻¹ u -{a}- = 1

$1-(x-1)+(x-1{)}^2-(x-1{)}^3+\cdots .$

Интеграцијом горњег Маклореновог реда проналази се Маклоренов ред за −-{log}-(1  − x), gde -{log}- означава природни логаритам:

$x+\frac{x^2}{2}+\frac{x^3}{3}+\frac{x^4}{4}+\cdots$

а одговарајући Тејлоров ред за -{log}-(x) у -{a}- = 1 је

$(x-1)-\frac{(x-1{)}^2}{2}+\frac{(x-1{)}^3}{3}-\frac{(x-1{)}^4}{4}+\cdots .$

Тејлоров ред за експоненцијалну функцију $e^x$ у $a=0$ је

$1+\frac{x^1}{1!}+\frac{x^2}{2!}+\frac{x^3}{3!}+\frac{x^4}{4!}+\frac{x^5}{5!}+\cdots =1+x+\frac{x^2}{2}+\frac{x^3}{6}+\frac{x^4}{24}+\frac{x^5}{120}+\cdots .$

Горњи израз важи зато што је деривација од -{e}-^x такође -{e}-^x, а -{e}-⁰ једнако је 1. Ово оставља чланове (x − 0)^-{n}- у бројиоцу, а -{n}-! остају у имениоцу за сваки члан у бесконачној суми.

Пример функције која се не да апроксимирати уз помоћ Тејлорових редова

Тејлоров ред не конвергира увек ка функцији. У следећем примеру Тејлоров ред не одговара функцији ни у једној тачки:

$f(x)=\{\begin{array}{cc}0& \text{kada }x\le 0\\ {\mathrm{e}}^{-1/x}& \text{kada }x>0\end{array}$

За вредности $x\le 0$ извод горње функције је 0. То значи да за свако изабрано $a\le 0$ добијамо Тејлоров полином који је увек нула. За случај $a>0$ добијамо ред који конвергира само у интервалу $[0,2a]$.

Тејлоров ред са радијусом конвергенције већим од нуле

Многе функције можемо представити као степене редове, који су истовремено и Тејлоров ред те исте функције.

Експоненцијална функција и логаритам

$e^x=\sum _{n=0}^{\mathrm{\infty }}\frac{x^n}{n!}$

$\log (1+x)=\sum _{n=1}^{\mathrm{\infty }}(-1{)}^{n-1}\frac{x^n}{n},-1<x\le +1$

У пракси овај ред конвергира често преспоро, те се зато користи следећа варијанта:

$\log \left(\frac{1+x}{1-x}\right)=2\sum _{k=0}^{\mathrm{\infty }}\frac{x^{2k+1}}{2k+1},-1<x<+1$

Када изаберемо $x:=\frac{y-1}{y+1}$ за неко $y>0$, овај ред конвергира ка $\log (y)$.

Тригонометријске функције

За $a=0$ добијамо следеће редове:

$\sin (x)=\sum _{n=0}^{\mathrm{\infty }}(-1{)}^n\frac{x^{2n+1}}{(2n+1)!}$

$\cos (x)=\sum _{n=0}^{\mathrm{\infty }}(-1{)}^n\frac{x^{2n}}{(2n)!}$

$\tan (x)=\sum _{n=1}^{\mathrm{\infty }}\frac{B_{2n}(-4{)}^n(1-4^n)}{(2n)!}{x}^{2n-1},\left|x\right|<\frac{\pi }{2}$, притом је $B_{2n}$ $2n$ по реду Бернулијев број.

$\sec (x)=\sum _{n=0}^{\mathrm{\infty }}\frac{(-1{)}^n{E}_{2n}}{(2n)!}{x}^{2n},\left|x\right|<\frac{\pi }{2}$, где је $E_{2n}$ $2n$ по реду Ојлеров број.

Списак Тејлорових редова неких уобичајених функција

Такође погледајте: Списак математичких редова

Косинусна функција у комплексној равни.

Осми степен апроксимације косинусне функције у комплексној равни.

Две горње криве постављене заједно.

Следи неколико важних проширења Маклоренових редова. Сва ова проширења важе за комплексне аргументе $x$.

Експоненцијална функција:

${\mathrm{e}}^x=\sum _{n=0}^{\mathrm{\infty }}\frac{x^n}{n!}=1+x+\frac{x^2}{2!}+\frac{x^3}{3!}+\cdots \text{ za sve }x$

Природни логаритам:

$\ln (1-x)=-\sum _{n=1}^{\mathrm{\infty }}\frac{x^n}{n}\text{ za }|x|\le 1,x=1$

$\ln (1+x)=\sum _{n=1}^{\mathrm{\infty }}(-1{)}^{n+1}\frac{x^n}{n}\text{ za }|x|\le 1,x=-1$

Коначан геометријски ред:

$\frac{1-x^{m+1}}{1-x}=\sum _{n=0}^m{x}^n\text{ za }x=1\text{ i }m\in {\mathbb{N}}_0$

Бесконачан геометријски ред:

$\frac{1}{1-x}=\sum _{n=0}^{\mathrm{\infty }}{x}^n\text{ za }|x|<1$

Варијанте бесконачних геометријских редова:

$\frac{x^m}{1-x}=\sum _{n=m}^{\mathrm{\infty }}{x}^n\text{ za }|x|<1\text{ i }m\in {\mathbb{N}}_0$

$\frac{x}{(1-x{)}^2}=\sum _{n=1}^{\mathrm{\infty }}n{x}^n\text{ za }|x|<1$

Квадратни корен:

$\sqrt{1+x}=\sum _{n=0}^{\mathrm{\infty }}\frac{(-1{)}^n(2n)!}{(1-2n)n{!}^2{4}^n}{x}^n\text{ za }|x|<1$

Биномни ред (укључујући квадратни корен за α = 1/2 и бесконачан геометријски ред за α = −1):

$(1+x{)}^{\alpha }=\sum _{n=0}^{\mathrm{\infty }}(\genfrac{}{}{0ex}{}{\alpha }{n})x^n\text{ za sve }|x|<1\text{ i sve kompleksne }\alpha$

са општим биномним коефицијентима

$(\genfrac{}{}{0ex}{}{\alpha }{n})=\prod _{k=1}^n\frac{\alpha -k+1}{k}=\frac{\alpha (\alpha -1)\cdots (\alpha -n+1)}{n!}.$

Тригонометријске функције:

$\sin x=\sum _{n=0}^{\mathrm{\infty }}\frac{(-1{)}^n}{(2n+1)!}{x}^{2n+1}=x-\frac{x^3}{3!}+\frac{x^5}{5!}-\cdots \text{ za sve }x$

$\cos x=\sum _{n=0}^{\mathrm{\infty }}\frac{(-1{)}^n}{(2n)!}{x}^{2n}=1-\frac{x^2}{2!}+\frac{x^4}{4!}-\cdots \text{ za sve }x$

$\tan x=\sum _{n=1}^{\mathrm{\infty }}\frac{B_{2n}(-4{)}^n(1-4^n)}{(2n)!}{x}^{2n-1}=x+\frac{x^3}{3}+\frac{2x^5}{15}+\cdots \text{ za }|x|<\frac{\pi }{2}$

Где је -{B}- Бернулијев број.

$\sec x=\sum _{n=0}^{\mathrm{\infty }}\frac{(-1{)}^n{E}_{2n}}{(2n)!}{x}^{2n}\text{ za }|x|<\frac{\pi }{2}$

$\arcsin x=\sum _{n=0}^{\mathrm{\infty }}\frac{(2n)!}{4^n(n!{)}^2(2n+1)}{x}^{2n+1}\text{ za }|x|<1$

$\arctan x=\sum _{n=0}^{\mathrm{\infty }}\frac{(-1{)}^n}{2n+1}{x}^{2n+1}\text{ za }|x|\le 1$

Хиперболичка функција:

$\sinh x=\sum _{n=0}^{\mathrm{\infty }}\frac{x^{2n+1}}{(2n+1)!}=x+\frac{x^3}{3!}+\frac{x^5}{5!}+\cdots \text{ za sve }x$

$\cosh x=\sum _{n=0}^{\mathrm{\infty }}\frac{x^{2n}}{(2n)!}=1+\frac{x^2}{2!}+\frac{x^4}{4!}+\cdots \text{ za sve }x$

$\tanh x=\sum _{n=1}^{\mathrm{\infty }}\frac{B_{2n}{4}^n(4^n-1)}{(2n)!}{x}^{2n-1}=x-\frac{z^3}{3}+\frac{2}{15}{z}^5-\frac{17}{315}{z}^7+\cdots \text{ za }|x|<\frac{\pi }{2}$

$\mathrm{a}\mathrm{r}\mathrm{s}\mathrm{i}\mathrm{n}\mathrm{h}(x)=\sum _{n=0}^{\mathrm{\infty }}\frac{(-1{)}^n(2n)!}{4^n(n!{)}^2(2n+1)}{x}^{2n+1}\text{ za }|x|<1$

$\mathrm{a}\mathrm{r}\mathrm{t}\mathrm{a}\mathrm{n}\mathrm{h}(x)=\sum _{n=0}^{\mathrm{\infty }}\frac{x^{2n+1}}{2n+1}\text{ za }|x|<1$

Ламбертова W функција:

$W_0(x)=\sum _{n=1}^{\mathrm{\infty }}\frac{(-n{)}^{n-1}}{n!}{x}^n\text{ za }|x|<\frac{1}{\mathrm{e}}$

Бројеви -{B_k}-, који се појављују у сумирању при развијању -{tan}-(x) и -{tanh}-(x) представљају Бернулијев број. -{E_k}- у развијању -{sec}-(x) је Ојлеров број.

Види још

• Тејлорова формула
• Маклоренова формула
• Лоранов ред
• Доказ да су холоморфске функције аналитичке
• Њутнов полином
• Диференцијална машина
• Лагранжова теорема

Литература

• Душан Аднађевић, Зоран Каделбург: Математичка анализа 1, Студентски трг, Београд, 1995.
• Шаблон:Citation
• Шаблон:Citation
• Шаблон:Citation
• Шаблон:Cite book
• Шаблон:Cite book
• Шаблон:Cite journal
• Шаблон:Citation
• Шаблон:Citation
• Шаблон:Citation
• Шаблон:Citation
• Шаблон:Citation
• Шаблон:Citation
• Шаблон:Citation
• Шаблон:Citation
• Шаблон:Citation
• Шаблон:Citation

Спољашње везе

• Шаблон:Springer
• Шаблон:MathWorld
• -{Taylor polynomial - practical introduction}-
• -{Madhava of Sangamagramma}-
• -{Discussion of the Parker-Sochacki Method Шаблон:Wayback}-
• -{Another Taylor visualisation — where you can choose the point of the approximation and the number of derivatives}-
• -{Taylor series revisited for numerical methods at Numerical Methods for the STEM Undergraduate}-
• -{Cinderella 2: Taylor expansion}-
• -{Taylor series}-
• -{Inverse trigonometric functions Taylor series}-
• Шаблон:Cite web