טור טיילור

מתוך המכלול, האנציקלופדיה היהודית
(הופנה מהדף פולינום טיילור)
קפיצה לניווט קפיצה לחיפוש

בערך זה
נעשה שימוש
בסימנים מוסכמים
מתחום המתמטיקה.
להבהרת הסימנים
ראו סימון מתמטי.

פונקציית האקספוננט (בכחול) ופיתוח טיילור של הפונקציה בנקודה אפס שמתכנס לפונקציה ככל שסדר הפיתוח עולה (באדום).
פיתוח טיילור חלקי לפונקציית הקוסינוס, מסדר ראשון עד סדר שישי

טור טיילור הוא טור חזקות המשויך לפונקציה חלקה ולנקודה כלשהי פנימית לתחום הגדרתה, שמקדמיו מחושבים על ידי ערכי הנגזרות של הפונקציה ב"נקודת הפיתוח" הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle x_0} של הטור. לעיתים טור טיילור של הפונקציה מתכנס אליה בסביבה כלשהי של נקודת הפיתוח, ובמקרה זה הסכומים החלקיים של הטור, כלומר פולינומים, מקרבים את הפונקציה בסביבה זו. זוהי למעשה הכללה של הקירוב הליניארי (קירוב מסדר ראשון) הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ f(x)= f(x_0) + f'(c) ( x - x_0 ) \approx f(x_0) + f'(x_0) ( x - x_0 )} שמתקבל על ידי משפט הערך הממוצע של לגראנז'.

היתרון העיקרי של טור טיילור הוא האפשרות לחשב באופן מקורב את הערכים של פונקציות מסובכות (כגון סינוס) באמצעות פולינומים, כלומר באמצעות פעולות חיבור וכפל בין מספרים ממשיים. לעיתים ניתן גם לחשב באופן מקורב את הנגזרת והאינטגרל של פונקציות אלה באמצעות חישוב הנגזרות והאינטגרלים של הפולינומים בטור.

תורה זו העסיקה מתמטיקאים כמו ברוק טיילור וקולין מקלורן. שאיפתם הייתה לנסות ולקרב פולינומים לפונקציות כמו האקספוננט, הלוגריתם והקוסינוס. כדי לבצע קירוב זה, מנסים למצוא את הפולינום שקרוב מספיק לפונקציה בתחום מסוים, כזה שאת ההפרש (השגיאה) בינו לבין הפונקציה עצמה ניתן להקטין כרצוננו, כך שההבדל בין הפונקציה לפולינום ילך ויהפוך זניח. את המטרה הזו משרתים טורי טיילור, שמתברר כי הפולינומים שמרכיבים אותם מוגדרים באופן יחיד לכל פונקציה ולקירוב מכל סדר. הטור נקרא על שמו של ממציאו ברוק טיילור. טור טיילור המפותח בנקודה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ x_0 = 0} נקרא טור מקלורן (הדמיון בין שם זה לשמו של טור לורן, שהוא הכללה של טור טיילור, הוא מקרי).

טור טיילור (המפותח בנקודה מסוימת הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ x_0} ) מתכנס לפונקציה בסביבה מסוימת של אם ורק אם סדרת השאריות שבפיתוח טיילור של הפונקציה אפסה בכל נקודה בסביבה הנ"ל. במקרה כזה, נאמר שהפונקציה היא אנליטית בנקודה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ x_0} .

אינטואיציה

טור טיילור מאפשר לחשב פונקציה על פי התנהגות הפונקציה בנקודה מסוימת.

נביט, לדוגמה, בפונקציה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ f(t)} המתארת את מיקומה של מכונית כפונקציה של הזמן, t. אם ידוע המיקום של המכונית בזמן מסוים, כלומר אם אנחנו יודעים את הערך של הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ f(t_0)} , אז הקרוב הבסיסי ביותר הוא שזהו המיקום של המכונית בכל זמן שהוא, כלומר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle f(t)\simeq f(t_0)} . הקרוב הזה מדויק אם המכונית חונה, כלומר אם המהירות שלה היא אפס, והתאוצה שלה אפס.

הקירוב הבא למיקומה של המכונית הוא זה שמתחשב במהירות המכונית. הביטוי המתמטי למהירות הוא הנגזרת של פונקציית המיקום בזמן: הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ f'(t_0)=v} , ואם מתחשבים במהירות המכונית מקבלים קירוב מסדר ראשון למיקום המכונית: . קירוב זה הוא מדויק כאשר המהירות של המכונית קבועה, כלומר התאוצה שלה היא אפס. באופן מתמטי פירושו של דבר שהנגזרות מסדרים גבוהים מאחד (הנגזרת מסדר אחד היא המהירות) מתאפסות כולן.

באופן דומה אפשר להמשיך ולהכניס תיקונים לפונקציית המיקום של המכונית המתחשבים בסדרים גבוהים יותר: התיקון מסדר שני מתייחס לתאוצה של המכונית, התיקון מסדר שלישי מתייחס לקצב שבו התאוצה משתנה וכך הלאה. הדרך לתיקונים תהיה: מכיוון שהפונקציה הקדומה מסדר n של הקבוע הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle f^{(n)}(x_0)} היא הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle f^{(n)}(x_0)\frac{x^n}{n!}} (מכיוון שהפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle (x^n)^{(n)}=n!} ), נוסיף כל פעם את האיבר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle f^{(n)}(x_0)\frac{(x-x_0)^n}{n!}} .

מבחינה מתמטית, המשמעות של טור טיילור היא שניתן לשחזר באופן מלא התנהגות של פונקציה אם יש לנו מידע מלא על ההתנהגות שלה בנקודה מסוימת - כלומר אם ידועות לנו הנגזרות של הפונקציה מכל סדר שהוא בנקודה.

בבעיות פיזיקליות לעיתים קרובות התרומה העיקרית להתנהגות פונקציה מגיעה מהאיברים הראשונים בטור - ולכן אפשר להזניח איברים הגבוהים יותר. כך לדוגמה חוק הוק הקובע שהכוח שמפעיל קפיץ פרופורציונלי לאורך המתיחה של הקפיץ, למעשה איננו מתאר במדויק את התנהגותם של קפיצים אמיתיים, הוא רק קירוב מסדר ראשון, קירוב ליניארי להתנהגות זו, אך במקרים רבים קירוב זה טוב מספיק. הקירוב מסדר שני, שגם בו נעשה שימוש רב בפיזיקה, נקרא הקירוב ההרמוני.

הגדרה

טור טיילור של פונקציה ממשית במשתנה יחיד הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ f : \mathbb{R}\rightarrow \mathbb{R}} , הגזירה אינסוף פעמים סביב הנקודה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ x_0} , הוא טור החזקות

, ובקצרה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle T_f(x) = \sum_{n=0}^{\infty}{f^{(n)}(x_0)\frac{(x-x_0)^n}{n!}}} כאשר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ f^{(n)}(x_0) } היא הנגזרת מסדר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle n} של הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle f} בנקודה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle x_0} , (נהוג לסמנה גם ב-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \left. \frac{d^n f}{dx^n}\right|_{x=x_0}} ), ומוסכם שעבור מתקבל הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ f^{(0)}(x_0) = f(x_0)} .

הסכומים החלקיים של טור טיילור נקראים פולינומי טיילור ובפרט הסכום החלקיהפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum_{n=0}^{N}{f^{(n)}(x_0)\frac{(x-x_0)^n}{n!}}} נקרא פולינום טיילור מסדר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle N} של הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle f} סביב הנקודה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle x_0} .

שגיאה ביצירת תמונה ממוזערת:
פונקציה גזירה אינסוף פעמים שטור טיילור שלה מתכנס, אבל אינו מייצג אותה באף קטע

טור טיילור מוגדר, כאמור, כאשר הפונקציה גזירה אינסוף פעמים בנקודה. עבור הפונקציות האלמנטריות אקספוננט, סינוס וקוסינוס, הטור מתכנס בכל הישר. מאידך, ייתכן שהטור יתכנס רק בקטע מסוים (עם או בלי קצות הקטע). אם הטור מתכנס אל הפונקציה בקטע פתוח כלשהו, היא נקראת אנליטית.

לא תמיד טור טיילור של פונקציה מתכנס אליה, גם אם היא גזירה אינסוף פעמים. קושי הציע את הדוגמה הבאה: הפונקציה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ f(x)=e^{-\frac{1}{x^2}}} (עם , כמובן), שהגרף שלה מוצג משמאל, גזירה אינסוף פעמים על כל הישר, וערכי הנגזרות באפס הם אפס, כך שטור טיילור שלה מתכנס זהותית לאפס, למרות שהפונקציה מקבלת ערך זה רק בנקודה אחת.

שימושים

הטור מהווה כלי חשוב באנליזה נומרית על מנת להעריך את ערכה הנומרי של פונקציה על ידי חישוב סדרת חזקות בלבד. שימוש בטור טיילור הוא אחת הדרכים בה יכולים מחשבים להחזיר ערכים מספריים של פונקציות דוגמת סינוס, אם כי ישנן שיטות קירוב נוספות, שחלקן יעילות יותר במקרים מסוימים. עם זאת, לטור טיילור, פרט לחשיבותו בחישובים מספריים יש גם חשיבות תאורטית רבה בזכות העובדה שהוא מתאר פונקציה שיכולה להיות מסובכת באמצעות טור של פונקציות פשוטות. נוסחת אוילר, לדוגמה, מוכחת באמצעות פיתוח טיילור של פונקציית האקספוננט[דרושה הבהרה].

אם טור טיילור של פונקציה מתכנס בכל הישר הממשי, הוא מאפשר להרחיב את ההגדרה של הפונקציה לכל אלגברת סי כוכב. למשל באופן זה ניתן להגדיר את האקספוננט של מטריצה ממשית או מרוכבת.

חישובי שארית

ערך מורחב – שארית של טור טיילור

לאחר חישוב הסכום של מספר סופי של איברים בטור טיילור של פונקציה, עדיין קיים לרוב הפרש בין ערך הפונקציה בנקודה שבה מחשבים את הטור ובין הסכום שהתקבל. לכן פותחו מספר נוסחאות שמיועדות לתת הערכה של גודל השארית. זו הערכה בלבד ולא מספר מדויק - הרי אם היינו יודעים בכמה בדיוק הסכום שלנו רחוק מערך הפונקציה, היינו יודעים מהו ערך הפונקציה.

שתי צורות מקובלות להערכת השארית הן השארית לפי לגראנז' והשארית לפי קושי. צורות הערכה אלו מניחות כי אם הקירוב נעשה עד האיבר ה-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle n} בטור טיילור, הפונקציה צריכה להיות גזירה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle n+1} פעמים. הביטוי של השארית המתקבלת לאחר סכימת הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ n} איברים בצורת לגראנז' הוא בדיוק הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ R_n(x)=\frac{f^{(n+1)}(c)}{(n+1)!}\cdot (x-x_0)^{n+1}} , ובצורת קושי הוא בדיוק הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ R_n(x)=\frac{f^{(n+1)}(c)}{(n)!}\cdot (x-x_0)\cdot(x-c)^{n}} , כאשר בשתי הצורות הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ c} היא נקודה לא ידועה ששייכת לקטע שבין ל-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ x} . מכיוון שאיננו יודעים בדיוק מהי נקודת ביניים זו, איננו יכולים לדעת במדויק את גודל השארית אלא רק להעריכה. הערכות השארית בצורה זו נובעת ממשפט הערך הממוצע של לגראנז' או באופן שקול מההכללה שלו - משפט הערך הממוצע של קושי.

דוגמה

הפיתוח הלא טריוויאלי הפשוט ביותר של טור טיילור הוא של פונקציית האקספוננט, הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ e^x} סביב הנקודה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ x_0 = 0} . פשטות הפיתוח נובעת מכך שנגזרת האקספוננט היא הפונקציה עצמה, ולכן כל הנגזרות בנקודה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ x_0 = 0} הן הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ e^0=1} . על ידי הצבה בנוסחה מקבלים מיידית את הטור הבא: הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ e^x = \sum_{n=0}^{\infty}\frac{x^n}{n!}} . את השוויון ניתן לכתוב משום שפונקציית האקספוננט היא אנליטית, ולכן טור טיילור שלה מתכנס אליה.

טורי טיילור ומקלורן של פונקציות נפוצות

להלן מספר טורי טיילור ומקלורן של פונקציות נפוצות. כל הפיתוחים נכונים גם עבור ארגומנטים מרוכבים. כמקובל, הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ x^0} מקבל את הערך 1 לכל x.

  • אקספוננט:
  • לוגריתם טבעי: הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ln(1+x) = \sum^{\infin}_{n=1} \frac{(-1)^{n-1}}{n} x^{n}\quad\mbox{ for } \left| x \right| < 1}
  • סדרה הנדסית (טור גאומטרי): הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{x^m}{1-x} = \sum^{\infin}_{n=m} x^n\quad\mbox{ for } \left| x \right| < 1}
  • הבינום של ניוטון: לכל מספר מרוכב הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \alpha} , הטור הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle (1+x)^\alpha =1+\alpha x+\alpha (\alpha -1)x^2 /2!+\alpha (\alpha -1)(\alpha -2)x^3 /3!...= \sum^{\infin}_{n=0} {\alpha \choose n} x^n} מתכנס לכל הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ |x|<1} . אם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \alpha} טבעי, יש בטור רק מספר סופי של מקדמים שונים מאפס, ובמקרה הזה הטור סופי ולכן מתכנס לכל הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ x} .
  • ובפרט, שורש ריבועי: הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sqrt{1+x} = \sum_{n=0}^\infty \frac{(-1)^n(2n)!}{(1-2n)(n!)^2 4^n}x^n \text{ for } |x|<1\!}
  • כמו כן: הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{1}{\sqrt{1-x}} = \sum_{n=0}^\infty \frac{(2n)!}{(n!)^2 4^n}x^n \text{ for } |x|<1\!}
  • סינוס: הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sin x = \sum^{\infin}_{n=0} \frac{(-1)^n}{(2n+1)!} x^{2n+1}= x - \frac{x^3}{3!} + \frac{x^5}{5!} - \frac{x^7}{7!} \pm \cdots \quad\forall x}
  • קוסינוס: הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \cos x = \sum^{\infin}_{n=0} \frac{(-1)^n}{(2n)!} x^{2n} = 1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \frac{x^6}{6!} \pm \cdots \quad\forall x}
  • טנגנס: הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \tan x = \sum^{\infin}_{n=1} \frac{B_{2n} (-4)^n (1-4^n)}{(2n)!} x^{2n-1}\quad\mbox{ for } \left| x \right| < \frac{\pi}{2}}
  • סקנס : הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sec x = \sum^{\infin}_{n=0} \frac{(-1)^n E_{2n}}{(2n)!} x^{2n}\quad\mbox{ for } \left| x \right| < \frac{\pi}{2}}
  • ארכסינוס: הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \arcsin x = \sum^{\infin}_{n=0} \frac{(2n)!}{4^n (n!)^2 (2n+1)} x^{2n+1}\quad\mbox{ for } \left| x \right| < 1}
  • ארכטנגנס: הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \arctan x = \sum^{\infin}_{n=0} \frac{(-1)^n}{2n+1} x^{2n+1}\quad\mbox{ for } \left| x \right| \le 1}
  • סינוס היפרבולי: הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sinh \left(x\right) = \sum^{\infin}_{n=0} \frac{1}{(2n+1)!} x^{2n+1}\quad\forall x}
  • קוסינוס היפרבולי: הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \cosh \left(x\right) = \sum^{\infin}_{n=0} \frac{1}{(2n)!} x^{2n}\quad\forall x}
  • טנגנס היפרבולי: הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \tanh\left(x\right) = \sum^{\infin}_{n=1} \frac{B_{2n} 4^n (4^n-1)}{(2n)!} x^{2n-1}\quad\mbox{ for } \left|x\right| < \frac{\pi}{2}}
  • ארכסינוס היפרבולי: הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathrm{arcsinh} \left(x\right) = \sum^{\infin}_{n=0} \frac{(-1)^n (2n)!}{4^n (n!)^2 (2n+1)} x^{2n+1}\quad\mbox{ for } \left| x \right| < 1}
  • ארכטנגנס היפרבולי: הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathrm{arctanh} \left(x\right) = \sum^{\infin}_{n=0} \frac{1}{2n+1} x^{2n+1}\quad\mbox{ for } \left| x \right| < 1}

כאשר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \,B_n} ו-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \,E_n} הם מספרי ברנולי ומספרי אוילר בהתאמה.

טור טיילור במספר משתנים

את טור טיילור של פונקציה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle f(x_1,\cdots,x_d) } ב-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ d} משתנים סביב הנקודה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ (a_1,\dots,a_d)} ניתן למצוא באמצעות הפעלת כלל השרשרת על המקרה החד ממדי, והוא:

הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle T(x_1,\cdots,x_d) = \sum_{n_1=0}^{\infty} \cdots \sum_{n_d=0}^{\infty} \frac{\partial^{n_1}}{\partial x_1^{n_1}} \cdots \frac{\partial^{n_d}}{\partial x_d^{n_d}} f(a_1,\cdots,a_d)\frac{(x_1-a_1)^{n_1}\cdots (x_d-a_d)^{n_d}}{n_1!\cdots n_d!} }

לדוגמה, עבור פונקציה התלויה בשני משתנים, הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \,x} ו-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \,y} , פולינום טיילור מסדר שני סביב הנקודה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \,(a,b)} יהיה:

הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle + \frac{1}{2!}\left[ f_{xx}(a,b)(x-a)^2 + 2f_{xy}(a,b)(x-a)(y-b) + f_{yy}(a,b)(y-b)^2 \right]\!}

כאשר הסימון הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \,f_{xy}} מציין גזירה חלקית לפי המשתנה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \,x} ולאחריו לפי המשתנה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \,y} (או להפך), ואילו הסימונים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \,f_{xx},f_{yy}} מציינים גזירה חלקית פעמיים לפי אחד מהמשתנים.

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

הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle T(\mathbf{x}) = f(\mathbf{a}) + \mathrm{D} f(\mathbf{a})^T (\mathbf{x} - \mathbf{a}) + \frac{1}{2!} (\mathbf{x} - \mathbf{a})^T \mathrm{D}^2 f(\mathbf{a}) (\mathbf{x} - \mathbf{a}) + \cdots\! }

כאשר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle D f(\mathbf{a})\!} הוא הגרדיאנט ו-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle D^2 f(\mathbf{a})\!} היא מטריצת הסיאן.

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

הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle T(\mathbf{x}) = \sum_{|\alpha| \ge 0}^{}{\frac{\mathrm{D}^{\alpha}f(\mathbf{a})}{\alpha!}(\mathbf{x}-\mathbf{a})^{\alpha}}\!}

באנלוגיה מלאה למקרה הפרטי של משתנה אחד.

טור לורן באנליזה מרוכבת

באנליזה מרוכבת, טור לורן (Laurent) הוא הכללה של טור טיילור מהצורההפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \sum_{n=-\infty}^\infty a_n x^n} , כלומר הוא טור חזקות שבו מופיעות גם חזקות שליליות. הטור נקרא על שם המתמטיקאי פייר אלפונס לורן.

במדעי המחשב

קישורים חיצוניים

ויקישיתוף מדיה וקבצים בנושא טור טיילור בוויקישיתוף


הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0

32909143טור טיילור