שוויון פרסבל

מתוך המכלול
קפיצה אל: ניווט, חיפוש

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

הגדרה מתמטית

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

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

כאשר cn הוא מקדם טור פורייה (המרוכב) של הפונקציה ƒ ונתון על ידי

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

תנאים מספיקים לקיום השוויון, כלומר סוג של תנאי דיריכלה:

1) הנגזרת החד צדדית של הפונקציה, הימנית והשמאלית, קיימת בכל נקודה. בנוסף, קיימת נגזרת שמאלית בנקודת סוף המחזור ונגזרת ימנית בתחילת המחזור.

2) הפוקציה רציפה בכל נקודה.

3) ובנוסף ערך הפונקציה בתחילת המחזור שווה לערכה בסוף המחזור (כלומר רציפות על פני המחזורים).

הגדרה הנדסית

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

כאשר בצד שמאל האות במרחב הזמן ובצד ימין האות עובר התמרת פורייה ובמרחב התדר.
בהצגה של האות במרחב התדר כתלות בתדירות הזוויתית ω להוסיף נרמול בפקטור של 2π.

צורות כתיבה נוספות

  1. שוויון פרסבל המוכלל: כאשר a0, an ו bn הם מקדמי טור פורייה של הפונקציה ƒ.
  2. עבור מערכת אורתונורמלית שלמה במרחב הילברט  , אם איבר כלשהו, אז ניתן להציג את כך: . ומתקיימות שתי הזהויות הבאות:
  3. שוויון פרסבל עם מכפלה פנימית: .
  4. שוויון פרסבל המוכלל עם מכפלה פנימית: .

ראו גם

לקריאה נוספת

  • סמי זעפרני, אלון פנקוס, טורי פוריה והתמרות אינטגרליות, 1997, הוצאת הטכניון.