פולינום ברנשטיין

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

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

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

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

הגדרה[עריכת קוד מקור | עריכה]

n + 1 פולינומי הבסיס של ברנשטיין מדרגה n מוגדרים כך:

כאשר הוא המקדם הבינומי.

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

צירוף ליניארי של פולינומי הבסיס של ברנשטיין,

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

דוגמה[עריכת קוד מקור | עריכה]

מספר פולינומי הבסיס הראשונים של ברנשטיין הם:

תכונות[עריכת קוד מקור | עריכה]

לפולינומי הבסיס של ברנשטיין התכונות הבאות:

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

קירוב פונקציות רציפות[עריכת קוד מקור | עריכה]

נניח ש-ƒ פונקציה רציפה בקטע [0,1]. נבחן את פולינום ברנשטיין להלן:

ניתן להראות כי:

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

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

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

כאשר בנוסף

הוא ערך עצמי של Bn; והפונקציה העצמית המקבילה היא פולינום מדרגה k.

הוכחה[עריכת קוד מקור | עריכה]

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

בעזרת הגרסה החלשה של חוק המספרים הגדולים מתורת ההסתברות,

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

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

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

במידה שווה ב-x. כאן אפשר לראות כי התוחלת מתחלקת לשני חלקים. בחלק אחד ההפרש אינו עולה על ε; חלק זה יכול לתרום יותר מאשר ε. בעל החלק השני ההפרש עולה על ε, אך אינו עולה על 2M, כאשר M מהווה חסם עליון ל-|(ƒ(x)|; חלק זה אינו יכול לתרום יותר מ-2M פעמים את ההסתברות הקטנה כי ההפרש גדול מ-ε.

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

ראו לדוגמה.[3]

ראו גם[עריכת קוד מקור | עריכה]

קישורים חיצוניים[עריכת קוד מקור | עריכה]

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

הערות שוליים[עריכת קוד מקור | עריכה]

  1. ^ Natanson (1964) p.6
  2. ^ Natanson (1964) p.3
  3. ^ Koralov, Leonid; Sinai, Yakov G. (10 באוגוסט 2007). Theory of Probability and Random Processes. Springer Science & Business Media. ISBN 978-3-540-68829-7. ; see page 29, Section "Probabilistic proof of the Weierstrass theorem".