הבדלים בין גרסאות בדף "אנליזת פורייה ויישומים קיץ תשעב/סיכומים/תקציר"

מתוך Math-Wiki
קפיצה אל: ניווט, חיפוש
שורה 1: שורה 1:
 +
__תוכן__
 +
 
להבא, אלא אם צוין אחרת, נסמן:
 
להבא, אלא אם צוין אחרת, נסמן:
 
* <math>f,g</math> פונקציות.
 
* <math>f,g</math> פונקציות.
שורה 6: שורה 8:
 
* <math>\{\mathbf e_1,\dots,\mathbf e_n\}</math> אורתונורמלית ו־<math>\{\mathbf b_1,\dots,\mathbf b_n\}</math> אורתוגונלית.
 
* <math>\{\mathbf e_1,\dots,\mathbf e_n\}</math> אורתונורמלית ו־<math>\{\mathbf b_1,\dots,\mathbf b_n\}</math> אורתוגונלית.
  
 
+
== תזכורות ותוספות לאלגברה לינארית ==
----
+
 
+
 
+
 
* '''אי־שוויון הולדר:''' אם <math>x\in\ell_p\ \and\ y\in\ell_q</math> כאשר <math>\frac1p+\frac1q=1</math> (כלומר, <math>\ell_p,\ell_q</math> צמודים) אזי <math>\sum_{n=1}^\infty|x_n\cdot y_n|\le\|x\|_p\cdot\|y\|_q</math>.
 
* '''אי־שוויון הולדר:''' אם <math>x\in\ell_p\ \and\ y\in\ell_q</math> כאשר <math>\frac1p+\frac1q=1</math> (כלומר, <math>\ell_p,\ell_q</math> צמודים) אזי <math>\sum_{n=1}^\infty|x_n\cdot y_n|\le\|x\|_p\cdot\|y\|_q</math>.
 
* אם <math>\mathbf u=\sum_{k=1}^n a_k\mathbf e_k</math> אזי <math>\forall k:\ a_k=\langle\mathbf u,\mathbf e_k\rangle</math>.
 
* אם <math>\mathbf u=\sum_{k=1}^n a_k\mathbf e_k</math> אזי <math>\forall k:\ a_k=\langle\mathbf u,\mathbf e_k\rangle</math>.
שורה 19: שורה 18:
 
* '''פולינומי לז׳נדר:''' בהנתן המכפלה הפנימית <math>\langle f,g\rangle=\int\limits_{-1}^1 f(x)g(x)\mathrm dx</math> על מרחב הפולינומים <math>P_n[x]</math>, הפולינומים האורתוגונליים הנוצרים בתהליך גרם־שמידט מהבסיס <math>\{1,x,x^2,\dots,x^n\}</math> הם {{left|<math>\begin{array}{l}P_0(x)=1\\P_1(x)=x\\\displaystyle P_2(x)=\frac{3x^2-1}2\\\displaystyle P_3(x)=\frac{5x^3-3x}2\\\vdots\end{array}</math>}}ניתן לחשב אותם גם ע״י <math>P_n(x)=\frac1{2^n\cdot n!}\frac{\mathrm d^n}{\mathrm dx^n}\left(x^2-1\right)^n</math> או <math>P_{n+1}(x)=\frac{(2n+1)x\cdot P_n(x)-n\cdot P_{n-1}(x)}{n+1}</math>, והם מקיימים <math>\|P_n\|^2=\frac2{2n+1}</math>.
 
* '''פולינומי לז׳נדר:''' בהנתן המכפלה הפנימית <math>\langle f,g\rangle=\int\limits_{-1}^1 f(x)g(x)\mathrm dx</math> על מרחב הפולינומים <math>P_n[x]</math>, הפולינומים האורתוגונליים הנוצרים בתהליך גרם־שמידט מהבסיס <math>\{1,x,x^2,\dots,x^n\}</math> הם {{left|<math>\begin{array}{l}P_0(x)=1\\P_1(x)=x\\\displaystyle P_2(x)=\frac{3x^2-1}2\\\displaystyle P_3(x)=\frac{5x^3-3x}2\\\vdots\end{array}</math>}}ניתן לחשב אותם גם ע״י <math>P_n(x)=\frac1{2^n\cdot n!}\frac{\mathrm d^n}{\mathrm dx^n}\left(x^2-1\right)^n</math> או <math>P_{n+1}(x)=\frac{(2n+1)x\cdot P_n(x)-n\cdot P_{n-1}(x)}{n+1}</math>, והם מקיימים <math>\|P_n\|^2=\frac2{2n+1}</math>.
 
* '''פולינומי צבישב:''' בהנתן המכפלה הפנימית <math>\langle f,g\rangle=\int\limits_{-1}^1\frac{f(x)g(x)}\sqrt{1-x^2}\mathrm dx</math> על מרחב הפולינומים <math>P_n[x]</math>, הפולינומים האורתוגונליים הנוצרים בתהליך גרם־שמידט מהבסיס <math>\{1,x,x^2,\dots,x^n\}</math> הם {{left|<math>\begin{array}{l}T_0(x)=1\\T_1(x)=x\\T_2(x)=2x^2-1\\T_3(x)=4x^3-3x\\\vdots\end{array}</math>}}ניתן לחשב אותם גם ע״י <math>T_n(x)=\frac{\sqrt{1-x^2}}{(-1)^n(2n-1)!!}\frac{\mathrm d^n}{\mathrm dx^n}\left(1-x^2\right)^{n-\frac12}</math> (נוסחת רודריגז) או <math>T_{n+1}(x)=2x\cdot T_n(x)-T_{n-1}(x)</math>, והם מקיימים <math>\|T_n\|^2=\begin{cases}\pi,&n=0\\\frac\pi2,&\text{else}\end{cases}</math>.
 
* '''פולינומי צבישב:''' בהנתן המכפלה הפנימית <math>\langle f,g\rangle=\int\limits_{-1}^1\frac{f(x)g(x)}\sqrt{1-x^2}\mathrm dx</math> על מרחב הפולינומים <math>P_n[x]</math>, הפולינומים האורתוגונליים הנוצרים בתהליך גרם־שמידט מהבסיס <math>\{1,x,x^2,\dots,x^n\}</math> הם {{left|<math>\begin{array}{l}T_0(x)=1\\T_1(x)=x\\T_2(x)=2x^2-1\\T_3(x)=4x^3-3x\\\vdots\end{array}</math>}}ניתן לחשב אותם גם ע״י <math>T_n(x)=\frac{\sqrt{1-x^2}}{(-1)^n(2n-1)!!}\frac{\mathrm d^n}{\mathrm dx^n}\left(1-x^2\right)^{n-\frac12}</math> (נוסחת רודריגז) או <math>T_{n+1}(x)=2x\cdot T_n(x)-T_{n-1}(x)</math>, והם מקיימים <math>\|T_n\|^2=\begin{cases}\pi,&n=0\\\frac\pi2,&\text{else}\end{cases}</math>.
 +
 +
== טורי פורייה ==
 
* '''פונקציה רציפה למקוטעין''' היא פונקציה רציפה למעט במספר סופי של נקודות אי־רציפות שאינן מסוג שני. הפונקציות הרציפות למקוטעין בקטע <math>[a,b]</math> יוצרות מרחב מכפלה פנימית <math>E[a,b]</math> עם <math>\langle f,g\rangle=q\int\limits_a^b f(x)\overline{g(x)}\mathrm dx</math>. מכפלה פנימית שימושית נוספת היא <math>\tfrac12\langle\cdot,\cdot\rangle</math>.
 
* '''פונקציה רציפה למקוטעין''' היא פונקציה רציפה למעט במספר סופי של נקודות אי־רציפות שאינן מסוג שני. הפונקציות הרציפות למקוטעין בקטע <math>[a,b]</math> יוצרות מרחב מכפלה פנימית <math>E[a,b]</math> עם <math>\langle f,g\rangle=q\int\limits_a^b f(x)\overline{g(x)}\mathrm dx</math>. מכפלה פנימית שימושית נוספת היא <math>\tfrac12\langle\cdot,\cdot\rangle</math>.
 
:* <math>E</math> הוא סימון מקוצר ל־<math>E[-\pi,\pi]</math>.
 
:* <math>E</math> הוא סימון מקוצר ל־<math>E[-\pi,\pi]</math>.
שורה 26: שורה 27:
 
:* אם <math>f</math> זוגית זה טור קוסינוסים, ואם היא אי־זוגית זה טור סינוסים.
 
:* אם <math>f</math> זוגית זה טור קוסינוסים, ואם היא אי־זוגית זה טור סינוסים.
 
:* מתקיים <math>\frac{|a_0|^2}2+\sum_{n=1}^\infty\left(|a_n|^2+|b_n|^2\right)\le\|f\|^2</math>.
 
:* מתקיים <math>\frac{|a_0|^2}2+\sum_{n=1}^\infty\left(|a_n|^2+|b_n|^2\right)\le\|f\|^2</math>.
* טור פורייה המרוכב של <math>f</math> ב־<math>[a,b]</math> הוא <math>\sum_{n\to-\infty}^\infty c_n\mathrm e^{\mathrm iq_nx}</math> כאשר <math>\forall n\in\mathbb Z:\ c_n:=\tfrac12\left\langle f,\mathrm e^{\mathrm iq_nx}\right\rangle</math>.
+
* טור פורייה המרוכב של <math>f</math> ב־<math>[a,b]</math> הוא <math>\sum_{n\to-\infty}^\infty c_n\mathrm e^{\mathrm iq_nx}</math> כאשר <math>\forall n\in\mathbb Z:\ c_n:=\tfrac12\left\langle f,\mathrm e^{\mathrm iq_nx}\right\rangle=\hat f(q_n)</math>.
 
:* מתקיים <math>\forall n\in\mathbb Z:\ c_n=\frac{a_{|n|}-\mathrm i\cdot\sgn(n)b_{|n|}}2</math> וכן <math>a_n=c_n+c_{-n}\ \and\ b_n=\mathrm i(c_n-c_{-n})</math>.
 
:* מתקיים <math>\forall n\in\mathbb Z:\ c_n=\frac{a_{|n|}-\mathrm i\cdot\sgn(n)b_{|n|}}2</math> וכן <math>a_n=c_n+c_{-n}\ \and\ b_n=\mathrm i(c_n-c_{-n})</math>.
 
* אם <math>f\in E[a,b]</math> ו־<math>S_N</math> הסכום החלקי ה־<math>N</math>־י של טור פורייה (מרוכב או ממשי) של <math>f</math>, אזי <math>\lim_{N\to\infty}\|f-S_N\|=0</math>.
 
* אם <math>f\in E[a,b]</math> ו־<math>S_N</math> הסכום החלקי ה־<math>N</math>־י של טור פורייה (מרוכב או ממשי) של <math>f</math>, אזי <math>\lim_{N\to\infty}\|f-S_N\|=0</math>.
שורה 42: שורה 43:
 
* אם <math>f\in E[a,b]</math> אזי ניתן לבצע אינטגרציה איבר־איבר על טור פורייה. בנוסף, לכל <math>x\in[a,b]</math> ולכל <math>m\in[a,b)</math> מתקיים{{left|<math>\begin{align}\int\limits_m^x f(t)\mathrm dt&=\frac{a_0}2(x-m)+\sum_{n=1}^\infty\left(\frac{a_n}{q_n}(\sin(q_nx)-\sin(q_nm))-\frac{b_n}{q_n}(\cos(q_nx)-\cos(q_nm))\right)\\&=c_0(x-m)+\sum_{n\ne0}\frac{c_n}{\mathrm iq_n}\left(\mathrm e^{\mathrm iq_nx}-\mathrm e^{\mathrm iq_nm}\right)\end{align}</math>}}והטורים מתכנסים במ״ש.
 
* אם <math>f\in E[a,b]</math> אזי ניתן לבצע אינטגרציה איבר־איבר על טור פורייה. בנוסף, לכל <math>x\in[a,b]</math> ולכל <math>m\in[a,b)</math> מתקיים{{left|<math>\begin{align}\int\limits_m^x f(t)\mathrm dt&=\frac{a_0}2(x-m)+\sum_{n=1}^\infty\left(\frac{a_n}{q_n}(\sin(q_nx)-\sin(q_nm))-\frac{b_n}{q_n}(\cos(q_nx)-\cos(q_nm))\right)\\&=c_0(x-m)+\sum_{n\ne0}\frac{c_n}{\mathrm iq_n}\left(\mathrm e^{\mathrm iq_nx}-\mathrm e^{\mathrm iq_nm}\right)\end{align}</math>}}והטורים מתכנסים במ״ש.
 
:* אם <math>F</math> קדומה ל־<math>f</math> ב־<math>[a,b]</math> אזי <math>F(x)=\frac{a_0}2x+\sum_{n=1}^\infty\left(\frac{a_n}{q_n}\sin(q_nx)-\frac{b_n}{q_n}\cos(q_nx)\right)+\frac q2\int\limits_a^b F(x)\mathrm dx</math>.
 
:* אם <math>F</math> קדומה ל־<math>f</math> ב־<math>[a,b]</math> אזי <math>F(x)=\frac{a_0}2x+\sum_{n=1}^\infty\left(\frac{a_n}{q_n}\sin(q_nx)-\frac{b_n}{q_n}\cos(q_nx)\right)+\frac q2\int\limits_a^b F(x)\mathrm dx</math>.
* '''מעבר חום:''' נתונה המד״ח <math>\frac{\partial u}{\partial t}=k\frac{\partial^2 u}{\partial x^2}</math> (<math>k</math> קבוע) עם תנאי ההתחלה <math>\forall -L\le x\le L:\ u(x,0)=f(x)</math> ותנאי השפה <math>\forall t\ge0:\ u(-L,t)=u(L,t)\ \and\ \frac{\partial u}{\partial x}(-L,t)=\frac{\partial u}{\partial x}(L,t)</math>. נניח שניתן להציג את הפתרון <math>u(x,t)</math> כמכפלה <math>X(x)\cdot T(t)</math> (זו ''שיטת הפרדת משתנים''). אזי <math>\frac{T'}{k T}=\frac{X''}X=:-\lambda</math> כאשר <math>\lambda</math> מספר חיובי (אם אי־חיובי תנאי השפה לא יתקיימו). מקבלים שתי מד״ר נפרדות: <math>\begin{cases}X''+\lambda X=0\\T'+\lambda T=0\end{cases}</math>. לגבי המד״ר הראשונה, תנאי השפה דורשים ש־<math>\lambda=\frac{\pi^2n^2}{L^2}</math> עבור <math>n\in\mathbb N\cup\{0\}</math> ולכן, עבור <math>n</math> נתון, <math>X_n(x)=a_n\sin\!\left(\frac{\pi n}L x\right)+b_n\cos\!\left(\frac{\pi n}L x\right)</math> פתרון עבור <math>a_n,b_n</math> כרצוננו. לגבי המד״ר השנייה, <math>T_n(t)=\exp\!\left(-k\frac{\pi^2n^2}{L^2}t\right)</math> הוא פתרון עבור <math>n</math> נתון. הפתרון הכללי של <math>u</math> הוא צירוף לינארי של פתרונות הבסיס: <math>u(x,t)=\frac{a_0}2+\sum_{n=1}^\infty\exp\!\left(-k\frac{\pi^2n^2}{L^2}t\right)\left(a_n\cos\!\left(\frac{\pi n}L x\right)+b_n\sin\!\left(\frac{\pi n}L x\right)\right)</math>, כאשר מתנאי ההתחלה נובע ש־<math>a_n,b_n</math> מקדמי טור פורייה של <math>f</math> ב־<math>[-L,L]</math>.
+
 
 +
== התמרות פורייה ==
 +
* <math>G(\mathbb R)</math> הוא המרחב הלינארי של כל הפונקציות המוגדרות מ־<math>\mathbb R</math> ל־<math>\mathbb C</math> שהן רציפות למקוטעין ואינטגרביליות בהחלט ב־<math>\mathbb R</math>.
 +
* '''התמרת פורייה:''' <math>\hat f=\mathcal F(f):\mathbb R\to\mathbb C</math> נקראת "התמרת פורייה של <math>f</math>" ומוגדרת ע״י <math>\hat f(\omega):=\frac1{2\pi}\int\limits_{-\infty}^\infty f(x)\mathrm e^{-\mathrm i\omega x}\mathrm dx</math>.
 +
* אם <math>f\in G(\mathbb R)</math> אזי <math>\hat f</math> מוגדרת ורציפה בכל נקודה <math>\omega\in\mathbb R</math>. בנוסף, <math>\lim_{\omega\to\pm\infty}\hat f(\omega)=0</math>.
 +
* לכל <math>f,g\in G(\mathbb R)</math> ולכל <math>a,b\in\mathbb C</math> מתקיים:
 +
:* <math>\mathcal F(af+bg)=a\mathcal F(f)+b\mathcal F(g)</math>
 +
:* אם <math>f</math> ממשית אזי <math>\hat f(-\omega)=\overline{\hat f(\omega)}</math>.
 +
::* {{הערה|מקרה פרטי:}} אם <math>f</math> ממשית וזוגית אזי <math>\hat f(\omega)=\hat f(-\omega)</math> והיא פונקציה ממשית.
 +
::* {{הערה|מקרה פרטי:}} אם <math>f</math> ממשית ואי־זוגית אזי <math>\hat f(-\omega)=-\hat f(\omega)</math> והיא פונקציה מדומה.
 +
:* אם <math>f</math> מדומה אזי <math>\hat f(-\omega)=-\overline{\hat f(\omega)}</math>.
 +
:* אם <math>a\ne0</math> אזי <math>\mathcal F(f(ax+b))(\omega)=\frac1{|a|}\exp\!\left(\frac{\mathrm ib\omega}2\right)\mathcal F(f)\left(\frac\omega a\right)</math>.
 +
:* אם <math>a\in\mathbb R</math> אזי <math>\mathcal F\!\left(\mathrm e^{\mathrm iax}f(x)\right)(\omega)=\mathcal F(f)(\omega-a)</math>.
 +
:* אם <math>a\in\mathbb R</math> אזי <math>\mathcal F(\cos(ax)f(x))(\omega)=\frac{\mathcal F(f)(\omega-a)-\mathcal F(f)(\omega+a)}2</math>.
 +
:* אם <math>a\in\mathbb R</math> אזי <math>\mathcal F(\sin(ax)f(x))(\omega)=\frac{\mathcal F(f)(\omega-a)-\mathcal F(f)(\omega+a)}{2\mathrm i}</math>.
 +
:* אם <math>f,f',\dots,f^{(n)}\in G(\mathbb R)</math> ו־<math>\lim_{x\to\pm\infty}=0</math> אזי <math>\mathcal F\!\left(f^{(n)}\right)(\omega)=(\mathrm i\omega)^n\mathcal F(f)(\omega)</math>.
 +
::* {{הערה|מקרה פרטי:}} אם <math>f,f'\in G(\mathbb R)</math> ו־<math>\lim_{x\to\pm\infty}=0</math> אזי <math>\mathcal F(f')(\omega)=\mathrm i\omega\mathcal F(f)(\omega)</math>.
 +
:* אם <math>\int\limits_{-\infty}^\infty x|f(x)|\mathrm dx</math> מתכנס אזי <math>\hat f</math> גזירה ברציפות ומתקיים <math>\mathcal F\!\left(x^n f(x)\right)(\omega)=\mathrm i^n\frac{\mathrm d^n}{\mathrm d\omega^n}\mathcal F(f)(\omega)</math>.
 +
* '''התמרת פורייה ההפוכה:''' אם <math>f\in G(\mathbb R)</math> אזי בכל נקודה <math>x_0</math> שבה קיימות הנגזרות החד־צדדיות מתקיים <math>\frac{\displaystyle\lim_{x\to x_0^+}f(x)+\lim_{x\to x_0^-}f(x)}2=\lim_{R\to\infty}\int\limits_{-R}^R\hat f(\omega)\mathrm e^{\mathrm i\omega x}\mathrm d\omega</math>.
 +
:* {{הערה|מקרה פרטי:}} אם <math>f'\in E(\mathbb R)</math> אזי <math>f(x)=\int\limits_{-\infty}^\infty\hat f(\omega)\mathrm e^{\mathrm i\omega x}\mathrm d\omega</math>.
 +
* '''עקרון הדואליות של ההתמרה וההתמרה ההפוכה:''' תהי <math>f</math> המקיימת <math>f'\in E(\mathbb R)</math>, ונרצה למצוא את התמרת פורייה של ההתמרה <math>\hat f</math> שלה. נוכל להציב <math>x:=-\omega,\ \omega:=x</math> ב־<math>\int\limits_{-\infty}^\infty\hat f(\omega)\mathrm e^{\mathrm i\omega x}\mathrm d\omega=f(x)</math>, לחלק את שני האגפים ב־<math>2\pi</math> ולקבל <math>\hat\hat f(\omega)=\frac1{2\pi}\int\limits_{-\infty}^\infty\hat f(x)\mathrm e^{-\mathrm i\omega x}\mathrm dx=\frac{f(-\omega)}{2\pi}</math>.
 +
* אם <math>f,g\in G(\mathbb R)</math> ו־<math>\int\limits_{-\infty}^\infty f(x)\overline{g(x)}\mathrm dx</math> ו־<math>\int\limits_{-\infty}^\infty\hat f(\omega)\overline{\hat g(\omega)}\mathrm d\omega</math> מתכנסים אזי <math>\int\limits_{-\infty}^\infty f(x)\overline{g(x)}\mathrm dx=2\pi\int\limits_{-\infty}^\infty\hat f(\omega)\overline{\hat g(\omega)}\mathrm d\omega</math>.
 +
:* {{הערה|מקרה פרטי:}} '''נוסחת פלנרשל (Plancherel):''' אם <math>f\in G(\mathbb R)</math> ו־<math>\int\limits_{-\infty}^\infty |f(x)|^2\mathrm dx</math> ו־<math>\int\limits_{\infty}^\infty \left|\hat f(\omega)\right|^2\mathrm d\omega</math> מתכנסים אזי <math>\int\limits_{-\infty}^\infty |f(x)|^2\mathrm dx=2\pi\int\limits_{-\infty}^\infty\left|\hat f(\omega)\right|^2\mathrm d\omega</math>.
 +
* '''קונבולוציה:''' יהיו <math>f,g:\mathbb R\to\mathbb R</math>. אזי <math>\forall x\in\mathbb R:\ (f*g)(x)=\int\limits_{-\infty}^\infty f(x-t)g(t)\mathrm dt</math>.
 +
* <math>f*g=g*f</math>
 +
* <math>(f*g)*h=f*(g*h)</math>
 +
* <math>f*(g+h)=f*g+f*h</math>
 +
* אם <math>f,g</math> אינטגרביליות בהחלט אז <math>f*g</math> מוגדרת עבורן בכל <math>\mathbb R</math> וגם היא אינטגרבילית בהחלט.
 +
* '''משפט הקונבולוציה:''' <math>\forall f,g\in G(\mathbb R):\ \mathcal F(f*g)=2\pi\mathcal F(f)\mathcal F(g)</math>.
 +
:* {{הערה|שימוש חשוב:}} נניח שידועות <math>f,g,\hat f,\hat g</math> ונרצה למצוא <math>h</math> כך ש־<math>\hat h=\hat f\cdot\hat g</math>. אזי <math>h=\frac1{2\pi}f*g</math>.
 +
*
 +
 
 +
=== התמרות פורייה שימושיות ===
 +
* <math>\mathcal F\left(\mathrm e^{-|x|}\right)(\omega)=\frac1{\pi(1+\omega^2)}</math>
 +
* <math>\mathcal F\left(\mathrm e^{-x^2}\right)(\omega)=\frac1{2\sqrt\pi}\mathrm e^{-\omega^2/4}</math> (הוכחה ע״י חישוב הנגזרת של ההתמרה ופתרון המד״ר המתקבלת: <math>\hat f'(\omega)=-\frac\omega2\hat f(\omega)</math>).
 +
* עבור <math>a>0</math>: <math>\mathcal F(1_{[-a,a]})=\frac{\sin(a\omega)}{\pi\omega}</math> (כאשר <math>1_A</math> היא הפונקציה המציינת של קבוצה <math>A</math> ומוגדרת ע״י <math>1_A(x)=\begin{cases}1,&x\in A\\0,&\text{else}\end{cases}</math>).
 +
 
 +
== מד״ח ==
 +
* '''מעבר חום:''' נתונה המד״ח <math>\frac{\partial u}{\partial t}=k\frac{\partial^2 u}{\partial x^2}</math> (<math>k</math> קבוע) עם תנאי ההתחלה <math>\forall -L\le x\le L:\ u(x,0)=f(x)</math> ותנאי השפה <math>\forall t\ge0:\ u(-L,t)=u(L,t)\ \and\ \frac{\partial u}{\partial x}(-L,t)=\frac{\partial u}{\partial x}(L,t)</math>.
 +
:* ''שיטת הפרדת משתנים'': נניח שניתן להציג את הפתרון <math>u(x,t)</math> כמכפלה <math>X(x)\cdot T(t)</math>. אזי <math>\frac{T'}{k T}=\frac{X''}X=:-\lambda</math> כאשר <math>\lambda</math> מספר חיובי (אם אי־חיובי תנאי השפה לא יתקיימו). מקבלים שתי מד״ר נפרדות: <math>\begin{cases}X''+\lambda X=0\\T'+\lambda T=0\end{cases}</math>. לגבי המד״ר הראשונה, תנאי השפה דורשים ש־<math>\lambda=\frac{\pi^2n^2}{L^2}</math> עבור <math>n\in\mathbb N\cup\{0\}</math> ולכן, עבור <math>n</math> נתון, <math>X_n(x)=a_n\sin\!\left(\frac{\pi n}L x\right)+b_n\cos\!\left(\frac{\pi n}L x\right)</math> פתרון עבור <math>a_n,b_n</math> כרצוננו. לגבי המד״ר השנייה, <math>T_n(t)=\exp\!\left(-k\frac{\pi^2n^2}{L^2}t\right)</math> הוא פתרון עבור <math>n</math> נתון. הפתרון הכללי של <math>u</math> הוא צירוף לינארי של פתרונות הבסיס: <math>u(x,t)=\frac{a_0}2+\sum_{n=1}^\infty\exp\!\left(-k\frac{\pi^2n^2}{L^2}t\right)\left(a_n\cos\!\left(\frac{\pi n}L x\right)+b_n\sin\!\left(\frac{\pi n}L x\right)\right)</math>, כאשר מתנאי ההתחלה נובע ש־<math>a_n,b_n</math> מקדמי טור פורייה של <math>f</math> ב־<math>[-L,L]</math>.
 +
:* ''שימוש בהתמרת פורייה:'' נסמן <math>\hat u(\omega,t)=\frac1{2\pi}\int\limits_{-\infty}^\infty u(x,t)\mathrm e^{-\mathrm i\omega x}\mathrm dx</math> (כלומר, זו התמרת פורייה של <math>u</math> לפי <math>x</math>). לפי המד״ח <math>\frac{\partial\hat u}{\partial t}(\omega,t)=\frac k{2\pi}\int\limits_{-\infty}^\infty \frac{\partial^2 u}{\partial x^2}(x,t)\mathrm e^{-\mathrm i\omega x}\mathrm dx=k\mathcal F\!\left(\frac{\partial^2u}{\partial x^2}\right)(\omega,t)=k(\mathrm i\omega)^2\hat u(\omega,t)</math>. פתרונה של המד״ר הזו הוא <math>\hat u(\omega,t)=A(\omega)\mathrm e^{-k\omega^2t}</math>, והצבה של <math>t=0</math> תתן <math>A(\omega)=\hat u(\omega,0)=\hat f(\omega)</math>. עתה נחפש פונקציה <math>g</math> כך שהתמרת פורייה שלה לפי <math>x</math> תהא <math>\hat g(\omega,t)=\mathrm e^{-k\omega^2 t}</math>. לפי ההתמרה של <math>\mathrm e^{-x^2}</math> וכמה מתכונות ההתמרה נקבל <math>g(x,t)=\sqrt\frac\pi{kt}\exp\!\left(-\frac{x^2}{4kt}\right)</math> ולכן, לפי משפט הקונבולוציה, <math>u(x,t)=\frac{g(x,t)*f(x)}{2\pi}=\frac1{2\pi}\int\limits_{-\infty}^\infty f(s)\sqrt\frac\pi{kt}\exp\!\left(-\frac{(x-s)^2}{4kt}\right)\mathrm ds</math>.
 
* '''משוואות גלים:''' נתונה המד״ח <math>\frac{\partial^2 u}{\partial t^2}=k^2\frac{\partial^2 u}{\partial x^2}</math> (<math>k\ne0</math> קבוע) עם תנאי ההתחלה <math>u(x,0)=\varphi(x)</math> ו־<math>\frac{\partial u}{\partial t}(x,0)=\psi(x)</math> ותנאי שפה <math>u(0,t)=u(L,t)=0</math>. נניח כי הפתרון מוצג כמכפלה <math>X(x)\cdot T(t)</math> (''שיטת הפרדת משתנים'') ולכן <math>\frac{T''}{k^2 T}=\frac{X''}X=:-\lambda</math> עבור <math>\lambda</math> מספר חיובי. נקבל שתי מד״ר נפרדות: <math>\begin{cases}X''+\lambda X=0\\T''+k^2\lambda T=0\end{cases}</math>, ובאופן דומה למה שעשינו במשוואות מעבר חום נקבל <math>u(x,t)=\sum_{n=1}^\infty\left(a_n\cos\!\left(\frac{\pi kn}L t\right)+b_n\sin\!\left(\frac{\pi kn}L t\right)\right)\sin\!\left(\frac{\pi n}L x\right)</math> כאשר <math>a_n=\frac2L\int\limits_0^L\varphi(x)\sin\!\left(\frac{\pi n}L x\right)\mathrm dx\ \and\ b_n=\frac2{\pi kn}\int\limits_0^L\psi(x)\sin\!\left(\frac{\pi n}L x\right)\mathrm dx</math>.
 
* '''משוואות גלים:''' נתונה המד״ח <math>\frac{\partial^2 u}{\partial t^2}=k^2\frac{\partial^2 u}{\partial x^2}</math> (<math>k\ne0</math> קבוע) עם תנאי ההתחלה <math>u(x,0)=\varphi(x)</math> ו־<math>\frac{\partial u}{\partial t}(x,0)=\psi(x)</math> ותנאי שפה <math>u(0,t)=u(L,t)=0</math>. נניח כי הפתרון מוצג כמכפלה <math>X(x)\cdot T(t)</math> (''שיטת הפרדת משתנים'') ולכן <math>\frac{T''}{k^2 T}=\frac{X''}X=:-\lambda</math> עבור <math>\lambda</math> מספר חיובי. נקבל שתי מד״ר נפרדות: <math>\begin{cases}X''+\lambda X=0\\T''+k^2\lambda T=0\end{cases}</math>, ובאופן דומה למה שעשינו במשוואות מעבר חום נקבל <math>u(x,t)=\sum_{n=1}^\infty\left(a_n\cos\!\left(\frac{\pi kn}L t\right)+b_n\sin\!\left(\frac{\pi kn}L t\right)\right)\sin\!\left(\frac{\pi n}L x\right)</math> כאשר <math>a_n=\frac2L\int\limits_0^L\varphi(x)\sin\!\left(\frac{\pi n}L x\right)\mathrm dx\ \and\ b_n=\frac2{\pi kn}\int\limits_0^L\psi(x)\sin\!\left(\frac{\pi n}L x\right)\mathrm dx</math>.

גרסה מ־18:34, 22 בספטמבר 2012

להבא, אלא אם צוין אחרת, נסמן:

  • f,g פונקציות.
  • בהנתן a,b נסמן q=\frac2{b-a} ו־q_n=\pi nq.
  • a_n,b_n הם מקדמי פורייה של \cos(q_nx),\sin(q_nx) (בהתאמה) בטור פורייה של f, ו־c_n מקדמי פורייה של \mathrm e^{\mathrm iq_nx} בטור פורייה המרוכב.
  • n!! היא העצרת הכפולה של n, והיא שווה למכפלת כל המספרים האי־זוגיים (אם n אי־זוגי) מ־1 עד n, או כל המספרים הזוגיים (אחרת). כלומר: (2n-1)!!=\prod_{k=1}^n (2k-1) ו־(2n)!!=\prod_{k=1}^n 2k=2^n n!.
  • \{\mathbf e_1,\dots,\mathbf e_n\} אורתונורמלית ו־\{\mathbf b_1,\dots,\mathbf b_n\} אורתוגונלית.

תזכורות ותוספות לאלגברה לינארית

  • אי־שוויון הולדר: אם x\in\ell_p\ \and\ y\in\ell_q כאשר \frac1p+\frac1q=1 (כלומר, \ell_p,\ell_q צמודים) אזי \sum_{n=1}^\infty|x_n\cdot y_n|\le\|x\|_p\cdot\|y\|_q.
  • אם \mathbf u=\sum_{k=1}^n a_k\mathbf e_k אזי \forall k:\ a_k=\langle\mathbf u,\mathbf e_k\rangle.
  • ההיטל של \mathbf u על \mathbf v הוא \mbox{proj}_{\mathbf v}(\mathbf u)=\frac{\langle\mathbf u,\mathbf v\rangle}{\langle\mathbf v,\mathbf v\rangle}\mathbf v.
  • אם S=\{\mathbf b_1,\dots,\mathbf b_n\} בסיס אורתוגונלי אזי הקירוב הטוב ביותר ל־\mathbf u ב־\mbox{span}(S) הוא \tilde\mathbf u=\sum_{k=1}^n\mbox{proj}_{\mathbf b_k}(\mathbf u), כלומר \min_{\mathbf v\in W}\|\mathbf u-\mathbf v\|=\|\mathbf u-\tilde\mathbf u\|.
  • אי־שוויון בסל: \|\mathbf u\|^2\ge\sum_{k=1}^n|\langle\mathbf u,\mathbf e_k\rangle|^2.
  • תהליך גרם־שמידט: בהנתן בסיס \{\mathbf u_1,\dots,\mathbf u_n\} נוכל להגדיר בסיס אורתוגונלי \{\mathbf b_1,\dots,\mathbf b_n\} ובסיס אורתונורמלי \{\mathbf e_1,\dots,\mathbf e_n\} באופן הבא:
    \begin{array}{ll}\mathbf b_1:=\mathbf u_1,&\displaystyle\mathbf e_1:=\frac{\mathbf b_1}{\|\mathbf b_1\|}\\\mathbf b_2:=\mathbf u_2-\mbox{proj}_{\mathbf b_1}(\mathbf u_2),&\mathbf e_2:=\displaystyle\frac{\mathbf b_2}{\|\mathbf b_2\|}\\\vdots&\vdots\\\displaystyle\mathbf b_k:=\mathbf u_k-\sum_{i=1}^{k-1}\mbox{proj}_{\mathbf b_i}(\mathbf u_k),&\displaystyle\mathbf e_k:=\frac{\mathbf b_k}{\|\mathbf b_k\|}\\\vdots&\vdots\end{array}
  • מרחב הפולינומים ממעלה n או פחות מסומן P_n[x].
  • פולינומי לז׳נדר: בהנתן המכפלה הפנימית \langle f,g\rangle=\int\limits_{-1}^1 f(x)g(x)\mathrm dx על מרחב הפולינומים P_n[x], הפולינומים האורתוגונליים הנוצרים בתהליך גרם־שמידט מהבסיס \{1,x,x^2,\dots,x^n\} הם
    \begin{array}{l}P_0(x)=1\\P_1(x)=x\\\displaystyle P_2(x)=\frac{3x^2-1}2\\\displaystyle P_3(x)=\frac{5x^3-3x}2\\\vdots\end{array}
    ניתן לחשב אותם גם ע״י P_n(x)=\frac1{2^n\cdot n!}\frac{\mathrm d^n}{\mathrm dx^n}\left(x^2-1\right)^n או P_{n+1}(x)=\frac{(2n+1)x\cdot P_n(x)-n\cdot P_{n-1}(x)}{n+1}, והם מקיימים \|P_n\|^2=\frac2{2n+1}.
  • פולינומי צבישב: בהנתן המכפלה הפנימית \langle f,g\rangle=\int\limits_{-1}^1\frac{f(x)g(x)}\sqrt{1-x^2}\mathrm dx על מרחב הפולינומים P_n[x], הפולינומים האורתוגונליים הנוצרים בתהליך גרם־שמידט מהבסיס \{1,x,x^2,\dots,x^n\} הם
    \begin{array}{l}T_0(x)=1\\T_1(x)=x\\T_2(x)=2x^2-1\\T_3(x)=4x^3-3x\\\vdots\end{array}
    ניתן לחשב אותם גם ע״י T_n(x)=\frac{\sqrt{1-x^2}}{(-1)^n(2n-1)!!}\frac{\mathrm d^n}{\mathrm dx^n}\left(1-x^2\right)^{n-\frac12} (נוסחת רודריגז) או T_{n+1}(x)=2x\cdot T_n(x)-T_{n-1}(x), והם מקיימים \|T_n\|^2=\begin{cases}\pi,&n=0\\\frac\pi2,&\text{else}\end{cases}.

טורי פורייה

  • פונקציה רציפה למקוטעין היא פונקציה רציפה למעט במספר סופי של נקודות אי־רציפות שאינן מסוג שני. הפונקציות הרציפות למקוטעין בקטע [a,b] יוצרות מרחב מכפלה פנימית E[a,b] עם \langle f,g\rangle=q\int\limits_a^b f(x)\overline{g(x)}\mathrm dx. מכפלה פנימית שימושית נוספת היא \tfrac12\langle\cdot,\cdot\rangle.
  • E הוא סימון מקוצר ל־E[-\pi,\pi].
  • מערכת סגורה: נתונה קבוצה אורתונורמלית אינסופית \{\mathbf e_1,\mathbf e_2,\dots\} במרחב מכפלה פנימית. המערכת תקרא סגורה אם היא מקיימת לכל וקטור \mathbf u את התנאי \lim_{n\to\infty}\left\|\mathbf u-\sum_{k=1}^n\langle\mathbf u,\mathbf e_k\rangle\mathbf e_k\right\|=0.
  • המערכות \left\{\frac1\sqrt2\right\}\cup\{\cos(q_nx)\}_{n=1}^\infty\cup\{\sin(q_nx)\}_{n=1}^\infty ו־\left\{\mathrm e^{\mathrm iq_nx}\right\}_{n\to-\infty}^\infty אורתונורמליות סגורות ב־E[a,b] לפי המכפלות הפנימיות \langle\cdot,\cdot\rangle ו־\tfrac12\langle\cdot,\cdot\rangle בהתאמה.
  • טור פורייה של f ב־[a,b] הוא \frac{a_0}2+\sum_{n=1}^\infty\Big(a_n\cos(q_nx)+b_n\sin(q_nx)\Big) כאשר \forall n\in\mathbb N\cup\{0\}:\ a_n:=\langle f,\cos(q_nx)\rangle\ \and\ \forall n\in\mathbb N:\ b_n:=\langle f,\sin(q_nx)\rangle.
  • אם f זוגית זה טור קוסינוסים, ואם היא אי־זוגית זה טור סינוסים.
  • מתקיים \frac{|a_0|^2}2+\sum_{n=1}^\infty\left(|a_n|^2+|b_n|^2\right)\le\|f\|^2.
  • טור פורייה המרוכב של f ב־[a,b] הוא \sum_{n\to-\infty}^\infty c_n\mathrm e^{\mathrm iq_nx} כאשר \forall n\in\mathbb Z:\ c_n:=\tfrac12\left\langle f,\mathrm e^{\mathrm iq_nx}\right\rangle=\hat f(q_n).
  • מתקיים \forall n\in\mathbb Z:\ c_n=\frac{a_{|n|}-\mathrm i\cdot\sgn(n)b_{|n|}}2 וכן a_n=c_n+c_{-n}\ \and\ b_n=\mathrm i(c_n-c_{-n}).
  • אם f\in E[a,b] ו־S_N הסכום החלקי ה־N־י של טור פורייה (מרוכב או ממשי) של f, אזי \lim_{N\to\infty}\|f-S_N\|=0.
  • E'[a,b] הוא מרחב כל הפוקנציות ב־E[a,b] שקיימות להן הנגזרות החד־צדדיות בכל נקודה ב־[a,b] למעט, אולי, בקצות הקטע.
  • משפט ההתכנסות (משפט דיריכלה): תהי f\in E'(\mathbb R) אינטגרבילית בהחלט ב־[a,b] ובעלת מחזור b-a. בכל נקודה בה הפונקציה רציפה טור פורייה ב־[a,b] מתכנס ל־f.
  • אם f\in E'[c,d] אזי ניתן ליצור המשכה מחזורית שלה ב־\mathbb R.
  • אם x_0 נקודת אי־רציפות אזי הטור מתכנס ל־\displaystyle\lim_{x\to x_0^+}f(x)+\lim_{x\to x_0^-}f(x)\over2.
  • תופעת גיבס: נניח שבנוסף f'\in E[a,b] ו־x_0 נקודת אי־רציפות מסוג ראשון של f כך ש־a<x_0<b. כמו כן, S_N הסכום החלקי ה־N־י של טור פורייה של f. אזי קיימת סדרת נקודות \{x_n\}_{n=1}^\infty המקיימת x_n\to x_0\ \and\ \forall n:\ x_n>x_0 וכן \lim_{N\to\infty}\frac{S_N(x_N)-f(x_N)}{\displaystyle\lim_{x\to x_0^+}f(x)-\lim_{x\to x_0^-}f(x)}\approx0.0895\dots, וזו השגיאה המקסימלית.
  • למת רימן־לבג: אם f אינטגרבילית בהחלט אזי \lim_{n\to\infty}\int\limits_a^b f(x)\sin(nx)\mathrm dx=\lim_{n\to\infty}\int\limits_a^b f(x)\cos(nx)\mathrm dx=0 כאשר n\in\mathbb R (זה גבול של פונקציה, ולא רק של סדרה).
  • גרעין דיריכלה: \frac12+\sum_{k=1}^n \cos(kx)=\frac{\sin\!\left(\left(n+\frac12\right)x\right)}{2\sin\!\left(\frac x2\right)}. בנוסף, האינטגרל של הביטוי ב־(-\pi,\pi) שווה ל־\pi.
  • אם f\in E'[a,b] רציפה ב־[a,b] ו־f(a)=f(b) אז טור פורייה של f יתכנס אליה במ״ש על הקטע.
  • שוויון פרסבל: אם f\in E[a,b] אזי \|f\|^2=q\int\limits_a^b |f(x)|^2\mathrm dx=\frac{|a_0|^2}2+\sum_{n=1}^\infty\Big(|a_n|^2+|b_n|^2\Big) ו־\frac{\|f\|^2}2=\frac q2\int\limits_a^b |f(x)|^2\mathrm dx=\sum_{n\to-\infty}^\infty |c_n|^2.
  • שוויון פרסבל המוכלל: אם f,g\in E[a,b] אזי \langle f,g\rangle=q\int\limits_a^b f(x)\overline{g(x)}\mathrm dx=\frac{a_0\overline{c_0}}2+\sum_{n=1}^\infty\Big(a_n\overline{c_n}+b_n\overline{d_n}\Big) כאשר g(x)\sim\frac{c_0}2+\sum_{n=1}^\infty\Big(c_n\cos(q_nx)+d_n\sin(q_nx)\Big).
  • אם f רציפה ב־[a,b], f(a)=f(b) ו־f'\in E[a,b] אזי טור פורייה של f גזיר איבר־איבר ומתקיים f'(x)\sim\sum_{n=1}^\infty\big(q_n b_n\cos(q_nx)-q_n a_n\sin(q_nx)\Big)=\sum_{n\to-\infty}^\infty \mathrm iq_nc_n\mathrm e^{\mathrm iq_nx}.
  • אם f\in E[a,b] אזי ניתן לבצע אינטגרציה איבר־איבר על טור פורייה. בנוסף, לכל x\in[a,b] ולכל m\in[a,b) מתקיים
    \begin{align}\int\limits_m^x f(t)\mathrm dt&=\frac{a_0}2(x-m)+\sum_{n=1}^\infty\left(\frac{a_n}{q_n}(\sin(q_nx)-\sin(q_nm))-\frac{b_n}{q_n}(\cos(q_nx)-\cos(q_nm))\right)\\&=c_0(x-m)+\sum_{n\ne0}\frac{c_n}{\mathrm iq_n}\left(\mathrm e^{\mathrm iq_nx}-\mathrm e^{\mathrm iq_nm}\right)\end{align}
    והטורים מתכנסים במ״ש.
  • אם F קדומה ל־f ב־[a,b] אזי F(x)=\frac{a_0}2x+\sum_{n=1}^\infty\left(\frac{a_n}{q_n}\sin(q_nx)-\frac{b_n}{q_n}\cos(q_nx)\right)+\frac q2\int\limits_a^b F(x)\mathrm dx.

התמרות פורייה

  • G(\mathbb R) הוא המרחב הלינארי של כל הפונקציות המוגדרות מ־\mathbb R ל־\mathbb C שהן רציפות למקוטעין ואינטגרביליות בהחלט ב־\mathbb R.
  • התמרת פורייה: \hat f=\mathcal F(f):\mathbb R\to\mathbb C נקראת "התמרת פורייה של f" ומוגדרת ע״י \hat f(\omega):=\frac1{2\pi}\int\limits_{-\infty}^\infty f(x)\mathrm e^{-\mathrm i\omega x}\mathrm dx.
  • אם f\in G(\mathbb R) אזי \hat f מוגדרת ורציפה בכל נקודה \omega\in\mathbb R. בנוסף, \lim_{\omega\to\pm\infty}\hat f(\omega)=0.
  • לכל f,g\in G(\mathbb R) ולכל a,b\in\mathbb C מתקיים:
  • \mathcal F(af+bg)=a\mathcal F(f)+b\mathcal F(g)
  • אם f ממשית אזי \hat f(-\omega)=\overline{\hat f(\omega)}.
  • מקרה פרטי: אם f ממשית וזוגית אזי \hat f(\omega)=\hat f(-\omega) והיא פונקציה ממשית.
  • מקרה פרטי: אם f ממשית ואי־זוגית אזי \hat f(-\omega)=-\hat f(\omega) והיא פונקציה מדומה.
  • אם f מדומה אזי \hat f(-\omega)=-\overline{\hat f(\omega)}.
  • אם a\ne0 אזי \mathcal F(f(ax+b))(\omega)=\frac1{|a|}\exp\!\left(\frac{\mathrm ib\omega}2\right)\mathcal F(f)\left(\frac\omega a\right).
  • אם a\in\mathbb R אזי \mathcal F\!\left(\mathrm e^{\mathrm iax}f(x)\right)(\omega)=\mathcal F(f)(\omega-a).
  • אם a\in\mathbb R אזי \mathcal F(\cos(ax)f(x))(\omega)=\frac{\mathcal F(f)(\omega-a)-\mathcal F(f)(\omega+a)}2.
  • אם a\in\mathbb R אזי \mathcal F(\sin(ax)f(x))(\omega)=\frac{\mathcal F(f)(\omega-a)-\mathcal F(f)(\omega+a)}{2\mathrm i}.
  • אם f,f',\dots,f^{(n)}\in G(\mathbb R) ו־\lim_{x\to\pm\infty}=0 אזי \mathcal F\!\left(f^{(n)}\right)(\omega)=(\mathrm i\omega)^n\mathcal F(f)(\omega).
  • מקרה פרטי: אם f,f'\in G(\mathbb R) ו־\lim_{x\to\pm\infty}=0 אזי \mathcal F(f')(\omega)=\mathrm i\omega\mathcal F(f)(\omega).
  • אם \int\limits_{-\infty}^\infty x|f(x)|\mathrm dx מתכנס אזי \hat f גזירה ברציפות ומתקיים \mathcal F\!\left(x^n f(x)\right)(\omega)=\mathrm i^n\frac{\mathrm d^n}{\mathrm d\omega^n}\mathcal F(f)(\omega).
  • התמרת פורייה ההפוכה: אם f\in G(\mathbb R) אזי בכל נקודה x_0 שבה קיימות הנגזרות החד־צדדיות מתקיים \frac{\displaystyle\lim_{x\to x_0^+}f(x)+\lim_{x\to x_0^-}f(x)}2=\lim_{R\to\infty}\int\limits_{-R}^R\hat f(\omega)\mathrm e^{\mathrm i\omega x}\mathrm d\omega.
  • מקרה פרטי: אם f'\in E(\mathbb R) אזי f(x)=\int\limits_{-\infty}^\infty\hat f(\omega)\mathrm e^{\mathrm i\omega x}\mathrm d\omega.
  • עקרון הדואליות של ההתמרה וההתמרה ההפוכה: תהי f המקיימת f'\in E(\mathbb R), ונרצה למצוא את התמרת פורייה של ההתמרה \hat f שלה. נוכל להציב x:=-\omega,\ \omega:=x ב־\int\limits_{-\infty}^\infty\hat f(\omega)\mathrm e^{\mathrm i\omega x}\mathrm d\omega=f(x), לחלק את שני האגפים ב־2\pi ולקבל \hat\hat f(\omega)=\frac1{2\pi}\int\limits_{-\infty}^\infty\hat f(x)\mathrm e^{-\mathrm i\omega x}\mathrm dx=\frac{f(-\omega)}{2\pi}.
  • אם f,g\in G(\mathbb R) ו־\int\limits_{-\infty}^\infty f(x)\overline{g(x)}\mathrm dx ו־\int\limits_{-\infty}^\infty\hat f(\omega)\overline{\hat g(\omega)}\mathrm d\omega מתכנסים אזי \int\limits_{-\infty}^\infty f(x)\overline{g(x)}\mathrm dx=2\pi\int\limits_{-\infty}^\infty\hat f(\omega)\overline{\hat g(\omega)}\mathrm d\omega.
  • מקרה פרטי: נוסחת פלנרשל (Plancherel): אם f\in G(\mathbb R) ו־\int\limits_{-\infty}^\infty |f(x)|^2\mathrm dx ו־\int\limits_{\infty}^\infty \left|\hat f(\omega)\right|^2\mathrm d\omega מתכנסים אזי \int\limits_{-\infty}^\infty |f(x)|^2\mathrm dx=2\pi\int\limits_{-\infty}^\infty\left|\hat f(\omega)\right|^2\mathrm d\omega.
  • קונבולוציה: יהיו f,g:\mathbb R\to\mathbb R. אזי \forall x\in\mathbb R:\ (f*g)(x)=\int\limits_{-\infty}^\infty f(x-t)g(t)\mathrm dt.
  • f*g=g*f
  • (f*g)*h=f*(g*h)
  • f*(g+h)=f*g+f*h
  • אם f,g אינטגרביליות בהחלט אז f*g מוגדרת עבורן בכל \mathbb R וגם היא אינטגרבילית בהחלט.
  • משפט הקונבולוציה: \forall f,g\in G(\mathbb R):\ \mathcal F(f*g)=2\pi\mathcal F(f)\mathcal F(g).
  • שימוש חשוב: נניח שידועות f,g,\hat f,\hat g ונרצה למצוא h כך ש־\hat h=\hat f\cdot\hat g. אזי h=\frac1{2\pi}f*g.

התמרות פורייה שימושיות

  • \mathcal F\left(\mathrm e^{-|x|}\right)(\omega)=\frac1{\pi(1+\omega^2)}
  • \mathcal F\left(\mathrm e^{-x^2}\right)(\omega)=\frac1{2\sqrt\pi}\mathrm e^{-\omega^2/4} (הוכחה ע״י חישוב הנגזרת של ההתמרה ופתרון המד״ר המתקבלת: \hat f'(\omega)=-\frac\omega2\hat f(\omega)).
  • עבור a>0: \mathcal F(1_{[-a,a]})=\frac{\sin(a\omega)}{\pi\omega} (כאשר 1_A היא הפונקציה המציינת של קבוצה A ומוגדרת ע״י 1_A(x)=\begin{cases}1,&x\in A\\0,&\text{else}\end{cases}).

מד״ח

  • מעבר חום: נתונה המד״ח \frac{\partial u}{\partial t}=k\frac{\partial^2 u}{\partial x^2} (k קבוע) עם תנאי ההתחלה \forall -L\le x\le L:\ u(x,0)=f(x) ותנאי השפה \forall t\ge0:\ u(-L,t)=u(L,t)\ \and\ \frac{\partial u}{\partial x}(-L,t)=\frac{\partial u}{\partial x}(L,t).
  • שיטת הפרדת משתנים: נניח שניתן להציג את הפתרון u(x,t) כמכפלה X(x)\cdot T(t). אזי \frac{T'}{k T}=\frac{X''}X=:-\lambda כאשר \lambda מספר חיובי (אם אי־חיובי תנאי השפה לא יתקיימו). מקבלים שתי מד״ר נפרדות: \begin{cases}X''+\lambda X=0\\T'+\lambda T=0\end{cases}. לגבי המד״ר הראשונה, תנאי השפה דורשים ש־\lambda=\frac{\pi^2n^2}{L^2} עבור n\in\mathbb N\cup\{0\} ולכן, עבור n נתון, X_n(x)=a_n\sin\!\left(\frac{\pi n}L x\right)+b_n\cos\!\left(\frac{\pi n}L x\right) פתרון עבור a_n,b_n כרצוננו. לגבי המד״ר השנייה, T_n(t)=\exp\!\left(-k\frac{\pi^2n^2}{L^2}t\right) הוא פתרון עבור n נתון. הפתרון הכללי של u הוא צירוף לינארי של פתרונות הבסיס: u(x,t)=\frac{a_0}2+\sum_{n=1}^\infty\exp\!\left(-k\frac{\pi^2n^2}{L^2}t\right)\left(a_n\cos\!\left(\frac{\pi n}L x\right)+b_n\sin\!\left(\frac{\pi n}L x\right)\right), כאשר מתנאי ההתחלה נובע ש־a_n,b_n מקדמי טור פורייה של f ב־[-L,L].
  • שימוש בהתמרת פורייה: נסמן \hat u(\omega,t)=\frac1{2\pi}\int\limits_{-\infty}^\infty u(x,t)\mathrm e^{-\mathrm i\omega x}\mathrm dx (כלומר, זו התמרת פורייה של u לפי x). לפי המד״ח \frac{\partial\hat u}{\partial t}(\omega,t)=\frac k{2\pi}\int\limits_{-\infty}^\infty \frac{\partial^2 u}{\partial x^2}(x,t)\mathrm e^{-\mathrm i\omega x}\mathrm dx=k\mathcal F\!\left(\frac{\partial^2u}{\partial x^2}\right)(\omega,t)=k(\mathrm i\omega)^2\hat u(\omega,t). פתרונה של המד״ר הזו הוא \hat u(\omega,t)=A(\omega)\mathrm e^{-k\omega^2t}, והצבה של t=0 תתן A(\omega)=\hat u(\omega,0)=\hat f(\omega). עתה נחפש פונקציה g כך שהתמרת פורייה שלה לפי x תהא \hat g(\omega,t)=\mathrm e^{-k\omega^2 t}. לפי ההתמרה של \mathrm e^{-x^2} וכמה מתכונות ההתמרה נקבל g(x,t)=\sqrt\frac\pi{kt}\exp\!\left(-\frac{x^2}{4kt}\right) ולכן, לפי משפט הקונבולוציה, u(x,t)=\frac{g(x,t)*f(x)}{2\pi}=\frac1{2\pi}\int\limits_{-\infty}^\infty f(s)\sqrt\frac\pi{kt}\exp\!\left(-\frac{(x-s)^2}{4kt}\right)\mathrm ds.
  • משוואות גלים: נתונה המד״ח \frac{\partial^2 u}{\partial t^2}=k^2\frac{\partial^2 u}{\partial x^2} (k\ne0 קבוע) עם תנאי ההתחלה u(x,0)=\varphi(x) ו־\frac{\partial u}{\partial t}(x,0)=\psi(x) ותנאי שפה u(0,t)=u(L,t)=0. נניח כי הפתרון מוצג כמכפלה X(x)\cdot T(t) (שיטת הפרדת משתנים) ולכן \frac{T''}{k^2 T}=\frac{X''}X=:-\lambda עבור \lambda מספר חיובי. נקבל שתי מד״ר נפרדות: \begin{cases}X''+\lambda X=0\\T''+k^2\lambda T=0\end{cases}, ובאופן דומה למה שעשינו במשוואות מעבר חום נקבל u(x,t)=\sum_{n=1}^\infty\left(a_n\cos\!\left(\frac{\pi kn}L t\right)+b_n\sin\!\left(\frac{\pi kn}L t\right)\right)\sin\!\left(\frac{\pi n}L x\right) כאשר a_n=\frac2L\int\limits_0^L\varphi(x)\sin\!\left(\frac{\pi n}L x\right)\mathrm dx\ \and\ b_n=\frac2{\pi kn}\int\limits_0^L\psi(x)\sin\!\left(\frac{\pi n}L x\right)\mathrm dx.