פולינומי צ'בישב

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

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

כמו כן, נסמן ב-, ,   ו- את קבוצות המספרים השלמים, הרציונליים, הממשיים והמרוכבים בהתאמה.

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

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

על-ידי סכימת שתי המשוואות והעברת אגפים מתקבל כי:

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

כלומר, לכל  קיים פולינום במקדמים שלמים  כך שלכל  מתקיים השוויון .

פולינומים אלו נקראים פולינומי צ'בישב מהסוג הראשון.

באופן זהה, בעקבות הזהות , ניתן להוכיח כי לכל  קיים פולינום במקדמים שלמים  כך שמתקיים שלכל  השוויון .

פולינומים אלו נקראים פולינומי צ'בישב מהסוג השני.

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

מכאן נובע שהמעלה של פולינום צ'בישב ה--י היא .

מן ההגדרה נובע כי

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

ולקבל את הפונקציה היוצרת 

מתקיים גם השוויון .

פולינומי צ'בישב  מהווים מערכת אורתונורמלית שלמה במרחב המכפלה הפנימית המוגדר על ידי המכפלה הפנימית המשוקללת .

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

בנוסף, קיימת נוסחת הנסיגה הבאה:

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

 רשימת פולינומי צ'בישב הראשונים 
להלן רשימת פולינומי צ'בישב הראשונים משני הסוגים:
+

 תכונות וזהויות 

 זוגיות ואי-זוגיות 
לכל מספר טבעי  ולכל מספר ממשי  מתקיים ש:

כלומר, פולינומי צ'בישב הם פונקציות זוגיות עבור  זוגי ואי-זוגיות עבור  אי-זוגי.

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

על-ידי החלפת  ב- ניתן להוכיח כי מתקיימות הזהויות הבאות עבור הפונקציות ההיפרבוליות:

 נגזרות 
הנגזרות של פולינומי צ'בישב מקיימות את הזהויות הבאות:

 ערכים מיוחדים 

 ערכים ידועים 
ניתן להוכיח כי לכל , הפולינומים  ו- מקבלים את הערכים הבאים:
+

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

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

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

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

 שימושים 

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

משמע ש- הוא שורש של הפולינום , ולכן הוא אלגברי.

ניתן להשתמש בשיטות דומות כדי להוכיח כי  ו- אף הם אלגברים.

ראו גם
מסנני צ'בישב
Chebfun

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

קטגוריה:פולינומים
קטגוריה:פונקציות אורתוגונליות