שינויים

קפיצה אל: ניווט, חיפוש

אנליזת פורייה - ארז שיינר

נוספו 310 בתים, 08:35, 2 במאי 2019
/* תכונות ההתמרה */
*תהי <math>f\in G</math> אזי <math>F(s)=\mathcal{F}[f](s)</math> רציפה במ"ש ב<math>\mathbb{R}</math>.
**הוכחה:
**יהי <math>\varepsilon>0</math>. כיוון ש <math>\int_{-\infty}^{\infty}|f(x)|dx</math> מתכנס, קיים <math>R</math> עבורו <math>\frac{1}{2\pi}\int_{|x|>R}|f(x)|dx <\frac{\varepsilon}{4}</math>**עבור <math>s_1,s_2</math> מתקיים כי <math>|F(s_1)-F(s_2)|\leq \frac{1}{2\pi}\int_{-\infty}^{\infty}|f(x)(e^{-is_1x}-e^{-is_2x})|dx</math>
**כמובן ש <math>|e^{-is_1x}-e^{-is_2x}|\leq 2</math> ולכן בתחום <math>|x|>R</math> האינטגרל הנ"ל קטן מ<math>\frac{\varepsilon}{2}</math>.
**נותר להוכיח שעבור <math>s_1,s_2</math> מספיק קרובים מתקיים כי <math>\frac{1}{2\pi}\int_{-R}^{R}|f(x)(e^{-is_1x}-e^{-is_2x})|dx<\frac{\varepsilon}{2}</math>
**נראה כי <math>|e^{ix}-e^{iy}|\leq |x-y|</math>.
***<math>|e^{ix}-e^{iy}|</math> הוא המרחק בין שתי נקודות על מעגל היחידה.
*<math>\mathcal{F}[f'](s)=is\mathcal{F}[f](s)</math>
**הוכחה:
**<math>\mathcal{F}[f'](s) = \frac{1}{2\pi}\int_{-\infty}^{\infty} f'(x)e^{-isx}dx</math>
**נבצע אינטגרציה בחלקים ונקבל כי
**<math>\mathcal{F}[f'](s) = \frac{1}{2\pi}(fe^{-isx})_{-\infty}^{\infty} + \frac{is }{2\pi} \int_{-\infty}^{\infty} f(x)e^{-isx}dx</math>.
**כיוון ש<math>e^{-isx}</math> חסומה, יחד עם הנתון נובע כי <math>(fe^{-isx})_{-\infty}^{\infty}=0</math>.
**לכן סה"כ קיבלנו כי <math>\mathcal{F}[f'](s)=is\mathcal{F}[f](s)</math>
====דוגמאות====
 
*ראינו כי <math>\mathcal{F}[e^{-|x|}](s) = \frac{1}{\pi(1+s^2)}</math>
*לכן על ידי הזזה בזמן נקבל כי:
**<math>\mathcal{F}[e^{-|1-2x|}(s) = \frac{e^{\frac{is}{2}}}{2\pi (1+(-\frac{s}{2})^2)}</math>