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

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

[math]\displaystyle{ f,g }[/math] פונקציות.
[math]\displaystyle{ a_n,b_n }[/math] הם מקדמי פורייה של [math]\displaystyle{ \cos(nx),\sin(nx) }[/math] (בהתאמה) בטור פורייה של [math]\displaystyle{ f }[/math], ו־[math]\displaystyle{ c_n }[/math] מקדמי פורייה של [math]\displaystyle{ \mathrm e^{\mathrm inx} }[/math].
[math]\displaystyle{ n!! }[/math] היא העצרת הכפולה של [math]\displaystyle{ n }[/math], והיא שווה למכפלת כל המספרים האי־זוגיים (אם [math]\displaystyle{ n }[/math] אי־זוגי) מ־1 עד [math]\displaystyle{ n }[/math], או כל המספרים הזוגיים (אחרת). כלומר: [math]\displaystyle{ (2n-1)!!=\prod_{k=1}^n (2k-1) }[/math] ו־[math]\displaystyle{ (2n)!!=\prod_{k=1}^n 2k=2^n n! }[/math].
[math]\displaystyle{ \{\mathbf e_1,\dots,\mathbf e_n\} }[/math] אורתונורמלית ו־[math]\displaystyle{ \{\mathbf b_1,\dots,\mathbf b_n\} }[/math] אורתוגונלית.

אי־שוויון הולדר: אם [math]\displaystyle{ x\in\ell_p\ \and\ y\in\ell_q }[/math] כאשר [math]\displaystyle{ \frac1p+\frac1q=1 }[/math] (כלומר, [math]\displaystyle{ \ell_p,\ell_q }[/math] צמודים) אזי [math]\displaystyle{ \sum_{n=1}^\infty|x_n\cdot y_n|\le\|x\|_p\cdot\|y\|_q }[/math].
אם [math]\displaystyle{ \mathbf u=\sum_{k=1}^n a_k\mathbf e_k }[/math] אזי [math]\displaystyle{ \forall k:\ a_k=\langle\mathbf u,\mathbf e_k\rangle }[/math].
ההיטל של [math]\displaystyle{ \mathbf u }[/math] על [math]\displaystyle{ \mathbf v }[/math] הוא [math]\displaystyle{ \mbox{proj}_{\mathbf v}(\mathbf u)=\frac{\langle\mathbf u,\mathbf v\rangle}{\langle\mathbf v,\mathbf v\rangle}\mathbf v }[/math].
אם [math]\displaystyle{ S=\{\mathbf b_1,\dots,\mathbf b_n\} }[/math] בסיס אורתוגונלי אזי הקירוב הטוב ביותר ל־[math]\displaystyle{ \mathbf u }[/math] ב־[math]\displaystyle{ \mbox{span}(S) }[/math] הוא [math]\displaystyle{ \tilde\mathbf u=\sum_{k=1}^n\mbox{proj}_{\mathbf b_k}(\mathbf u) }[/math], כלומר [math]\displaystyle{ \min_{\mathbf v\in W}\|\mathbf u-\mathbf v\|=\|\mathbf u-\tilde\mathbf u\| }[/math].
אי־שוויון בסל: [math]\displaystyle{ \|\mathbf u\|^2\ge\sum_{k=1}^n|\langle\mathbf u,\mathbf e_k\rangle|^2 }[/math].
תהליך גרם־שמידט: בהנתן בסיס [math]\displaystyle{ \{\mathbf u_1,\dots,\mathbf u_n\} }[/math] נוכל להגדיר בסיס אורתוגונלי [math]\displaystyle{ \{\mathbf b_1,\dots,\mathbf b_n\} }[/math] ובסיס אורתונורמלי [math]\displaystyle{ \{\mathbf e_1,\dots,\mathbf e_n\} }[/math] באופן הבא:
[math]\displaystyle{ \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} }[/math]
מרחב הפולינומים ממעלה [math]\displaystyle{ n }[/math] או פחות מסומן [math]\displaystyle{ P_n[x] }[/math].
פולינומי לז׳נדר: בהנתן המכפלה הפנימית [math]\displaystyle{ \langle f,g\rangle=\int\limits_{-1}^1 f(x)g(x)\mathrm dx }[/math] על מרחב הפולינומים [math]\displaystyle{ P_n[x] }[/math], הפולינומים האורתוגונליים הנוצרים בתהליך גרם־שמידט מהבסיס [math]\displaystyle{ \{1,x,x^2,\dots,x^n\} }[/math] הם
[math]\displaystyle{ \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]\displaystyle{ P_n(x)=\frac1{2^n\cdot n!}\frac{\mathrm d^n}{\mathrm dx^n}\left(x^2-1\right)^n }[/math] או [math]\displaystyle{ P_{n+1}(x)=\frac{(2n+1)x\cdot P_n(x)-n\cdot P_{n-1}(x)}{n+1} }[/math], והם מקיימים [math]\displaystyle{ \|P_n\|^2=\frac2{2n+1} }[/math].
פולינומי צבישב: בהנתן המכפלה הפנימית [math]\displaystyle{ \langle f,g\rangle=\int\limits_{-1}^1\frac{f(x)g(x)}\sqrt{1-x^2}\mathrm dx }[/math] על מרחב הפולינומים [math]\displaystyle{ P_n[x] }[/math], הפולינומים האורתוגונליים הנוצרים בתהליך גרם־שמידט מהבסיס [math]\displaystyle{ \{1,x,x^2,\dots,x^n\} }[/math] הם
[math]\displaystyle{ \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]\displaystyle{ 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]\displaystyle{ T_{n+1}(x)=2x\cdot T_n(x)-T_{n-1}(x) }[/math], והם מקיימים [math]\displaystyle{ \|T_n\|^2=\begin{cases}\pi,&n=0\\\frac\pi2,&\text{else}\end{cases} }[/math].
פונקציה רציפה למקוטעין היא פונקציה רציפה למעט במספר סופי של נקודות אי־רציפות שאינן מסוג שני. הפונקציות הרציפות למקוטעין יוצרות מרחב מכפלה פנימית [math]\displaystyle{ E }[/math] עם [math]\displaystyle{ \langle f,g\rangle_1=\frac1\pi\int\limits_{-\pi}^\pi f(x)\overline{g(x)}\mathrm dx }[/math] או [math]\displaystyle{ \langle f,g\rangle_2=\frac1{2\pi}\int\limits_{-\pi}^\pi f(x)\overline{g(x)}\mathrm dx }[/math].
מערכת סגורה: נתונה קבוצה אורתונורמלית אינסופית [math]\displaystyle{ \{\mathbf e_1,\mathbf e_2,\dots\} }[/math] במרחב מכפלה פנימית. המערכת תקרא סגורה אם היא מקיימת לכל וקטור [math]\displaystyle{ \mathbf u }[/math] את התנאי [math]\displaystyle{ \lim_{n\to\infty}\left\|\mathbf u-\sum_{k=1}^n\langle\mathbf u,\mathbf e_k\rangle\mathbf e_k\right\|=0 }[/math].
המערכות [math]\displaystyle{ \left\{\frac1\sqrt2\right\}\cup\{\cos(nx)\}_{n=1}^\infty\cup\{\sin(nx)\}_{n=1}^\infty }[/math] ו־[math]\displaystyle{ \left\{\mathrm e^{\mathrm inx}\right\}_{n\to-\infty}^\infty }[/math] אורתונורמליות סגורות ב־[math]\displaystyle{ E }[/math] לפי [math]\displaystyle{ \langle\cdot,\cdot\rangle_1 }[/math] ו־[math]\displaystyle{ \langle\cdot,\cdot\rangle_2 }[/math] בהתאמה.
טור פורייה של [math]\displaystyle{ f }[/math] הוא [math]\displaystyle{ \frac{a_0}2+\sum_{n=1}^\infty\Big(a_n\cos(nx)+b_n\sin(nx)\Big) }[/math] כאשר [math]\displaystyle{ \forall n:\ a_n:=\langle f,\cos(nx)\rangle_1 }[/math] ו־[math]\displaystyle{ b_n:=\langle f,\sin(nx)\rangle_1 }[/math].

אם [math]\displaystyle{ f }[/math] זוגית זה טור קוסינוסים, ואם היא אי־זוגית זה טור סינוסים.
מתקיים [math]\displaystyle{ \frac{|a_0|^2}2+\sum_{n=1}^\infty\left(|a_n|^2+|b_n|^2\right)\le\|f\|^2 }[/math].

טור פורייה של [math]\displaystyle{ f }[/math] הוא [math]\displaystyle{ \sum_{n\to-\infty}^\infty c_n\mathrm e^{\mathrm inx} }[/math] כאשר [math]\displaystyle{ \forall n:\ c_n:=\langle f,\mathrm e^{\mathrm inx}\rangle_2 }[/math].

מתקיים [math]\displaystyle{ \forall n\in\mathbb Z:\ c_n=\frac{a_{|n|}-\mathrm i\cdot\sgn(n)b_{|n|}}2 }[/math] וכן [math]\displaystyle{ a_n=c_n+c_{-n}\ \and\ b_n=\mathrm i(c_n-c_{-n}) }[/math].

אם [math]\displaystyle{ f\in E }[/math] ו־[math]\displaystyle{ S_N }[/math] הסכום החלקי ה־[math]\displaystyle{ N }[/math]־י של טור פורייה (מרוכב או ממשי) של [math]\displaystyle{ f }[/math], אזי [math]\displaystyle{ \lim_{N\to\infty}\|f-S_N\|=0 }[/math].
[math]\displaystyle{ E' }[/math] הוא מרחב כל הפוקנציות ב־[math]\displaystyle{ E }[/math] שקיימות להן הנגזרות החד־צדדיות בכל נקודה למעט, אולי, בקצות הקטע.
משפט ההתכנסות (משפט דיריכלה): תהי [math]\displaystyle{ f\in E'(\mathbb R) }[/math] אינטגרבילית בהחלט ובעלת מחזור [math]\displaystyle{ 2\pi }[/math]. בכל נקודה בה הפונקציה רציפה טור פורייה מתכנס ל־[math]\displaystyle{ f }[/math].

אם [math]\displaystyle{ x_0 }[/math] נקודת אי־רציפות אזי הטור מתכנס ל־[math]\displaystyle{ \frac{\displaystyle\lim_{x\to x_0^+}f(x)+\lim_{x\to x_0^-}f(x)}2 }[/math].

למת רימן־לבג: אם [math]\displaystyle{ f }[/math] אינטגרבילית בהחלט אזי [math]\displaystyle{ \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 }[/math] כאשר [math]\displaystyle{ n\in\mathbb R }[/math] (זה גבול של פונקציה, ולא רק של סדרה).
גרעין דיריכלה: [math]\displaystyle{ \frac12+\sum_{k=1}^n \cos(kx)=\frac{\sin\!\left(\left(n+\frac12\right)x\right)}{2\sin\!\left(\frac x2\right)} }[/math]. בנוסף, האינטגרל של הביטוי ב־[math]\displaystyle{ (-\pi,\pi) }[/math] שווה ל־[math]\displaystyle{ \pi }[/math].
אם [math]\displaystyle{ f\in E' }[/math] רציפה ב־[math]\displaystyle{ [-\pi,\pi] }[/math] ו־[math]\displaystyle{ f(-\pi)=f(\pi) }[/math] אז טור פורייה של [math]\displaystyle{ f }[/math] יתכנס אליה במ״ש על הקטע.
שוויון פרסבל: אם [math]\displaystyle{ f\in E }[/math] אזי [math]\displaystyle{ \|f\|_1^2=\frac1\pi\int\limits_{-\pi}^\pi |f(x)|^2\mathrm dx=\frac{|a_0|^2}2+\sum_{n=1}^\infty\Big(|a_n|^2+|b_n|^2\Big) }[/math] ו־[math]\displaystyle{ \|f\|_2^2=\frac1{2\pi}\int\limits_{-\pi}^\pi |f(x)|^2\mathrm dx=\sum_{n\to-\infty}^\infty |c_n|^2 }[/math].

שוויון פרסבל המוכלל: אם [math]\displaystyle{ f,g\in E }[/math] אזי [math]\displaystyle{ \langle f,g\rangle_1=\frac1\pi\int\limits_{-\pi}^\pi 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) }[/math] כאשר [math]\displaystyle{ g(x)\sim\frac{c_0}2+\sum_{n=1}^\infty\Big(c_n\cos(nx)+d_n\sin(nx)\Big) }[/math].

אם [math]\displaystyle{ f }[/math] רציפה ב־[math]\displaystyle{ [-\pi,\pi] }[/math], [math]\displaystyle{ f(-\pi)=f(\pi) }[/math] ו־[math]\displaystyle{ f'\in E }[/math] אזי טור פורייה של [math]\displaystyle{ f }[/math] גזיר איבר־איבר ומתקיים [math]\displaystyle{ f'(x)\sim\sum_{n=1}^\infty\big(n b_n\cos(nx)-n a_n\sin(nx)\Big)=\sum_{n\to-\infty}^\infty \mathrm inc_n\mathrm e^{\mathrm inx} }[/math].
אם [math]\displaystyle{ f\in E }[/math] אזי ניתן לבצע אינטגרציה איבר־איבר על טור פורייה. בנוסף, לכל [math]\displaystyle{ x\in[-\pi,\pi] }[/math] ולכל [math]\displaystyle{ m\in[-\pi,\pi) }[/math] מתקיים
[math]\displaystyle{ \begin{align}\int\limits_m^x f(t)\mathrm dt&=\frac{a_0}2(x-m)+\sum_{n=1}^\infty\left(\frac{a_n}n(\sin(nx)-\sin(nm))-\frac{b_n}n(\cos(nx)-\cos(nm))\right)\\&=c_0(x-m)+\sum_{n\ne0}\frac{c_n}{\mathrm in}\left(\mathrm e^{\mathrm inx}-\mathrm e^{\mathrm inm}\right)\end{align} }[/math]
והטורים מתכנסים במ״ש.

אם [math]\displaystyle{ F }[/math] קדומה ל־[math]\displaystyle{ f }[/math] ב־[math]\displaystyle{ [-\pi,\pi] }[/math] אזי [math]\displaystyle{ F(x)=\frac{a_0}2x+\sum_{n=1}^\infty\left(\frac{a_n}n\sin(nx)-\frac{b_n}n\cos(nx)\right)+\frac1{2\pi}\int\limits_{-\pi}^\pi F(x)\mathrm dx }[/math]