הצגת המקור של הדף "קוד:פולינום טיילור"

\section{פולינום טיילור}

\begin{definition}

תהי $f:(a,b)\rightarrow\mathbb{R}$ פונקציה הגזירה $n$ פעמים, ותהי $x_0\in(a,b)$. \textbf{פולינום טיילור} של $f$ סביב $x_0$ מסדר $n$ הוא הפולינום

$$P_n(x,x_0)=\sum_{k=0}^n\frac{f^{(k)}(x_0)}{k!}(x-x_0)^k=f(x_0)+f'(x_0)(x-x_0)+\frac{f''(x_0)}{2}(x-x_0)^2+\cdots+\frac{f^{(n)}(x_0)}{n!}(x-x_0)^n$$

אם $x_0=0$, לפעמים קוראים לפולינום זה \textbf{פולינום טיילור-מקלורן} או \textbf{פולינום מקלורן}.

מסמנים את \textbf{השארית} בתור $R_n(x,x_0)=f(x)-P_n(x,x_0)$

\end{definition}

\begin{remark}

פולינום טיילור הוא הפולינום היחיד ממעלה $n$ כך ש-$n+1$ הנגזרות שלו מזדהות עם הנגזרות של $f$, ולכן הוא מקרב את $f$ בסביבה של $x_0$.

\end{remark}

\begin{example}

ניתן כמה דוגמאות לפולינומי טיילור של פונקציות מוכרות:

\begin{enumerate}

\item פולינום טיילור של $e^x$ סביב $x_0=0$ מסדר $n$ הוא $\displaystyle{\sum_{k=0}^n\frac{1}{k!}x^k}$.

\item פולינום טיילור של $\ln(1+x)$ סביב $x_0=0$ מסדר $n$ הוא $\displaystyle{\sum_{k=1}^n\frac{(-1)^k}{k}x^k}$.

\item פולינום טיילור של $\sin(x)$ סביב $x_0=0$ מסדר $2n+1$ הוא $\displaystyle{\sum_{k=0}^n\frac{(-1)^k}{(2k+1)!}x^{2k+1}}$.

\item פולינום טיילור של $\cos(x)$ סביב $x_0=0$ מסדר $2n$ הוא $\displaystyle{\sum_{k=0}^n\frac{(-1)^k}{(2k)!}x^{2k}}$.

\end{enumerate}

\end{example}

רוצים להבין \underline{כמה} פולינום טיילור קרוב לפונקציה. יש שני משפטים הנותנים לנו את היכולת למדוד את הקירוב:

\begin{thm}[פיתוח טיילור עם שארית בצורת פיאנו]

תהי $f:(a,b)\rightarrow\mathbb{R}$ פונקציה הגזירה $n$ פעמים, ותהי $x_0\in(a,b)$. נניח ש-\(P_n(x,x_0)\) פולינום טיילור של $f$ סביב $x_0$ מסדר $n$, ונרשום $R_n(x,x_0)=f(x)-P_n(x,x_0)$. אזי

$$\displaystyle{\lim_{x\to x_0}\frac{f(x)-P_n(x,x_0)}{(x-x_0)^n}}=\displaystyle{\lim_{x\to x_0}\frac{R_n(x,x_0)}{(x-x_0)^n}}=0$$

\end{thm}

\begin{thm}[פיתוח טיילור עם שארית בצורת לגראנז']

תהי $f:(a,b)\rightarrow\mathbb{R}$ פונקציה הגזירה $n+1$ פעמים, ותהי $x_0\in(a,b)$. נניח ש-\(P_n(x,x_0)\) פולינום טיילור של $f$ סביב $x_0$ מסדר $n$, ונרשום $R_n(x,x_0)=f(x)-P_n(x,x_0)$. אזי קיימת נקודה $c$ בין $x_0$ ל-$x$ שעבורה

$$f(x)-P_n(x,x_0)=R_n(x,x_0)=\frac{f^{(n+1)(c)}}{(n+1)!}(x-x_0)^{n+1}$$

(כמובן, $c$ תלוי ב-$x$).

\end{thm}

מהמשפט האחרון אפשר להגיע למסקנה לגבי אומדן השארית בחישוב עם פולינום טיילור:

\begin{corollary}

תהי $f:(a,b)\rightarrow\mathbb{R}$ פונקציה הגזירה $n+1$ פעמים, ותהי $x_0\in(a,b)$. נניח ש-\(P_n(x,x_0)\) פולינום טיילור של $f$ סביב $x_0$ מסדר $n$, ונרשום $R_n(x,x_0)=f(x)-P_n(x,x_0)$. עוד נניח שהנגזרת ה-$n+1$ של $f$ חסומה בין $x_0$ ל-$x$, כלומר קיים \(M>0\) שעבורו לכל $c$ בין $x_0$ ל-$x$, $\left|f^{(n+1)}(c)\right|\leq M$. אזי השגיאה מקיימת

$$|f(x)-P_n(x,x_0)|=|R_n(x,x_0)|\leq\frac{M}{(n+1)!}|x-x_0|^{n+1}$$

\end{corollary}