אנליזת פורייה ויישומים קיץ תשעב/סיכומים/הרצאות/1.8.12
תוכן עניינים
פונקציה רציפה למקוטעין
הגדרה: הפונקציה תקרא רציפה למקוטעין אם:
- ל־ יש לכל היותר מספר סופי של נקודות אי־רציפות.
- בכל נקודת אי־רציפות קיימים הגבולות החד־צדדיים. כלומר, אם אי־רציפות אזי קיימים במובן הצר.
הערה: מובן שניתן לדבר גם על פונקציות רציפות למקוטעין בתחומים אחרים, אולם אנו לא נעסוק בהן.
תכונות
- סכום, הפרש או כפל של פונקציות רציפות למקוטעין גם היא רציפה למקוטעין.
- הכפלה של פונקציה רציפה למקוטעין בסקלר היא פונקציה רציפה למקוטעין.
לפיכך מתקיימים התנאים לתת־מרחב לינארי, כלומר קבוצת הפונקציות הרציפות למקוטעין הוא מרחב לינארי. נסמן מרחב זה ב־. המכפלה הפנימית בו מוגדרת כ־.
משפט
סדרת הפונקציות היא מערכת אורתונורמלית ב־.
הוכחה
נראה כי מכפלה פנימית של כל זוג אברים שונים במערכת שווה ל־0, ושנורמה של כל אבר היא 1:
הערה: נעזרנו בזהות . דרך נוספת תהיה להשתמש פעמיים באינטגרציה בחלקים:
עדיף לבדוק לפני ביצוע האינטגרציה אם מדובר בפונקציה זוגית או אי־זוגית.
באותו אופן ניתן להראות כי .
עתה נראה שהנורמה של כל אבר היא 1:
מערכת סגורה
הגדרה: תהי מערכת אורתונורמלית אינסופית במרחב מ״פ . המערכת תקרא סגורה ב־ אם
מסקנה: ניתן להציג כל בעזרת צירוף לינארי אינסופי של האברים השייכים למערכת האורתונורמלית האינסופית. נמצא את סדרת מקדמי פורייה עבור המערכת האורתונורמלית החדשה שהגדרנו.
לסיכום, ניתן לרשום את כל הטור בצורה הבאה:
- עיבוד הנוסחה נכשל (שגיאת תחביר): \frac{a_0}{2}+\sum_{n=1}^\infty\Big(a_n\cos(nx)+b_n\sin(nx)\Big)\\\begin{cases}\displaystyle a_n=\frac{1}{\pi}\int\limits_{-\pi}^\pi f(x)\cos(nx)dx,&n=0,1,2,\ldots\\\displaystyle b_n=\frac{1}{\pi}\int\limits_{-\pi}^\pi f(x)\sin(nx)dx,&n=1,2,\ldots\end{cases}
טור פורייה
תהי . הטור שמצאנו נקרא טור פורייה של ויסומן
פונקציות זוגיות ואי־זוגיות
תכונות:
- מכפלה של פונקציות זוגיות היא זוגית.
- מכפלה של פונקציות אי־זוגיות היא זוגית.
- מכפלה של פונקציה זוגית ופונקציה אי־זוגית היא אי־זוגית.
משפט
תהי .
- אם זוגית אז טור פורייה שלה הוא . טור כזה נקרא "טור קוסינוסים".
- אם אי־זוגית אז טור פורייה שלה הוא . טור כזה נקרא "טור סינוסים".
תרגיל
מצא טור פורייה של בקטע .
פתרון
ראשית, נשים לב שהפונקציה אינה זוגית ואינה אי־זוגית. מתקיים
ולכן . נשים לב שזה עדיין לא טור סינוסים, בגלל האבר שבהתחלה.
תרגיל
מצא טור פורייה של ב־.
פתרון
אי־זוגית ולכן נחשב לה טור סינוסים:
כלומר .
תרגיל
נתונה . לכל נגדיר
עבור אלה ערכי מקבלת את ערכה המינימלי?
פתרון
נשים לב כי עיבוד הנוסחה נכשל (שגיאת לקסינג): G(a,b,c)=\Big\|f(x)-{\color{#0000FF}(-a-b\cos(x)-c\sin(x))}\Big\|^2 . אם החלק הכחול הוא ההיטל האורתוגונלי של אזי מובטח לנו כי מקבלת את ערכה המינימלי. נפתור זאת:
נתייחס למרחב הלינארי ולאבר . מתקיים
אלה טורים הנדסיים והתוצאה היא . לכן .