לדלג לתוכן
שינוי מצב סרגל צד
Math-Wiki
חיפוש
יצירת חשבון
כלים אישיים
יצירת חשבון
כניסה לחשבון
דפים לעורכים שלא נכנסו לחשבון
מידע נוסף
שיחה
תרומות
ניווט
עמוד ראשי
שינויים אחרונים
העלאת קובץ
כלים
דפים המקושרים לכאן
שינויים בדפים המקושרים
דפים מיוחדים
מידע על הדף
עריכת הדף "
אנליזת פורייה - ארז שיינר
" (פסקה)
דף
שיחה
עברית
קריאה
עריכה
גרסאות קודמות
עוד
קריאה
עריכה
גרסאות קודמות
אזהרה:
אינכם מחוברים לחשבון. כתובת ה־IP שלכם תוצג בפומבי אם תבצעו עריכות כלשהן. אם
תיכנסו לחשבון
או
תיצרו חשבון
, העריכות שלכם תיוחסנה לשם המשתמש שלכם ותקבלו גם יתרונות אחרים.
בדיקת אנטי־ספאם.
אין
למלא שדה זה!
===התמרת פורייה=== ====טור פורייה המרוכב==== *לא קשה לוודא כי <math>\{e^{inx}\}_{n\in\mathbb{Z}}</math> מהווה קבוצה אורתונורמלית בE אם נעדכן מעט את המכפלה הפנימית: :<math>\langle f,g\rangle = \frac{1}{2\pi}\int_{-\pi}^{\pi}f(x)\overline{g(x)}dx</math> *תהי <math>f\in E</math>, שאלה שעולה באופן טבעי היא האם: :<math>f=\sum_{n=-\infty}^\infty \langle f,e^{inx}\rangle e^{inx}</math> *כאשר אנו מגדירים את הסכום ממינוס אינסוף עד אינסוף באופן הבא: :<math>\sum_{n=-\infty}^\infty u_n = u_0+\sum_{n=1}^\infty (u_n+u_{-n}) </math> *נסמן את מקדמי פורייה הרגילים ב<math>a_n,b_n</math>. *נשים לב כי עבור <math>n=0</math> נקבל: :<math>\langle f,1\rangle = \frac{a_0}{2}</math> *כעת עבור <math>n>0</math> מתקיים: :<math>\langle f, e^{inx}\rangle e^{inx}+\langle f, e^{-inx}\rangle e^{-inx} =</math> :<math>= (\langle f, e^{inx}\rangle+\langle f, e^{-inx}\rangle)\cos(nx) + (\langle f, e^{inx}\rangle-\langle f, e^{-inx}\rangle)i\sin(nx)=</math> :<math>= 2\langle f, \cos(nx)\rangle \cos(nx) + 2\langle f, i\sin(nx)\rangle i\sin(nx)= </math> :<math>=a_n\cos(nx)+b_n\sin(nx)</math> *(שימו לב: הi יצא מהצד הימני של המכפלה הפנימית עם מינוס) *כלומר, טור פורייה המרוכב הוא בדיוק טור פורייה הרגיל! ====הכללה לפונקציות שאינן מחזוריות==== *טורי פורייה עזרו לנו לחקור פונקציות בקטע <math>[-\pi,\pi]</math>. *בהנתן גל <math>e^{inx}</math>, מצאנו את ה'אמפליטודה' שלו (המקדם): :<math>\frac{1}{2\pi}\int_{-\pi}^{\pi}f(x)e^{-inx}dx</math> *(שימו לב - המכפלה הפנימית מצמידה את הפונקציה מימין, ולכן קיבלנו <math>-i</math>). *מחשבה הגיונית היא שאם נרצה לחקור פונקציות בכל הממשיים, עבור גל <math>e^{isx}</math> נמצא את ה'אמפליטודה': :<math>\mathcal{F}[f](s)=\frac{1}{2\pi}\int_{-\infty}^\infty f(x)e^{-isx}dx</math>. *כאשר האינטגרל מתכנס, הפונקציה <math>\mathcal{F}[f](s)</math> נקראת '''התמרת פורייה''' של הפונקציה <math>f</math>. *הערה - המקדם <math>\frac{1}{2\pi}</math> לעיתים אינו מופיע בהגדרת ההתמרה. אנחנו נראה בהמשך שיש לו קשר להתמרה ההפוכה. *הערות כלליות: **נסמן בדר"כ את ההתמרה של f ב<math>F(s)=\mathcal{F}(f)(s)</math>. **<math>F(s)</math> מייצגת את האמפליטודה בכל תדר, ולכן נהוג לומר שהיא מוגדרת ב'מרחב התדר'. **לעומת זאת, <math>f(x)</math> מייצגת את גובה הפונקציה בכל נקודה בזמן, ונהוג לומר שהיא מוגדרת ב'מרחב הזמן'. **לכל תדר <math>s</math> יש שני גלים שמייצגים אותו, <math>e^{\pm isx}</math>. **כפי שלמדנו, באמצעות שני הגלים ניתן לייצג כל 'פאזה'. *נסמן ב<math>G</math> את אוסף הפונקציות <math>g</math> הרציפות למקוטעין ב<math>\mathbb{R}</math>, עבורן האינטגרל הלא אמיתי מתכנס <math>\int_{-\infty}^\infty|g(x)|dx<\infty</math>. *לכל <math>f\in G</math> התמרת הפורייה מוגדרת בכל הממשיים. **הוכחה: **<math>\int_{-\infty}^\infty|f(x)e^{-isx}|dx = \int_{-\infty}^\infty|f(x)|dx</math> מתכנס. **כיוון שהאינטגרל המגדיר את <math>F(s)</math> מתכנס בהחלט, הוא מתכנס. =====דוגמאות===== *נמצא את <math>\mathcal{F}(f)(s)</math> עבור <math>f(x)=e^{-|x|}</math>. :<math>2\pi F(s)=\int_{-\infty}^\infty e^{-|x|}e^{-isx}dx = \int_0^\infty e^{-x}e^{-isx}dx + \int_{-\infty}^0 e^{x}e^{-isx}dx=</math> :<math>=\left[\frac{e^{-x(1+is)}}{-(1+is)}\right]_0^\infty + \left[\frac{e^{x(1-is)}}{1-is}\right]_{-\infty}^0=\frac{1}{1+is} + \frac{1}{1-is} = \frac{2}{1+s^2}</math> *שימו לב - השתמשנו בעובדה ש<math>e^{isx}</math> חסומה, ואילו <math>e^{-x}\to 0</math> כאשר <math>x\to \infty</math>. *לכן סה"כ קיבלנו כי <math>\mathcal{F}[e^{-|x|}](s) = \frac{1}{\pi(1+s^2)}</math> *נמצא את התמרת הפורייה של <math>f(x)=\begin{cases}|x| & |x|\leq \pi \\ 0 & |x|>\pi\end{cases}</math> :<math>F(s)=\frac{1}{2\pi}\int_{-\infty}^\infty f(x)e^{-isx}dx = \frac{1}{2\pi}\int_{-\pi}^\pi |x|e^{-isx}dx = </math> :<math>\frac{1}{2\pi}\int_{-\pi}^\pi |x|\cos(sx)dx - \frac{i}{2\pi}\int_{-\pi}^\pi |x|\sin(sx)dx = \frac{1}{\pi}\int_{0}^\pi x\cos(sx)dx = \frac{\sin(s\pi)}{s} + \frac{\cos(s\pi)-1}{s^2\pi}</math> *שימו לב: חישוב האינטגרל שגוי עבור <math>s=0</math>, ניתן להציבו בנוסחא המקורית של האינטגרל או להשתמש ברציפות ההתמרה, שנלמד בהמשך.
תקציר:
לתשומת לבך: תורמים אחרים עשויים לערוך או אף להסיר את תרומתך ל־Math-Wiki. אם אינך רוצה שעבודתך תהיה זמינה לעריכה על־ידי אחרים, אין לפרסם אותה פה.
כמו־כן, שמירת העריכה משמעה הבטחה שכתבת את הטקסט הזה בעצמך, או העתקת אותו ממקור שאינו מוגן בזכויות יוצרים (אפשר לעיין בדף
Math-Wiki:זכויות יוצרים
לפרטים נוספים).
אין לעשות שימוש בחומר המוגן בזכויות יוצרים ללא רשות!
ביטול
עזרה בעריכה
(נפתח בחלון חדש)