שוויון פרסבל

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

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


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

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


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

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

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

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

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

 ראו גם 
 טור פורייה
 התמרת פורייה הרציפה
 מכפלה פנימית
 מערכת אורתונורמלית שלמה

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

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


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