שינויים
/* הוכחת משפט ההתמרה ההפוכה */
===הוכחת משפט ההתמרה ההפוכה===
*<math>\int_{-(n+\frac{1}{2})}^{n+\frac{1}{2}}\mathcal{F}[f](s)e^{isx}ds = \int_{-(n+\frac{1}{2})}^{n+\frac{1}{2}}\left[\frac{1}{2\pi}\int_{-\infty}^\infty f(y)e^{-isy}dy\right]e^{isx}ds=</math>
*<math>=\frac{1}{2\pi} \int_{-(n+\frac{1}{2})}^{n+\frac{1}{2}}\int_{-\infty}^\infty f(y)e^{is(x-y)}dyds</math>
*נחליף את סדר האינטגרציה (הצדקה בהמשך), ונקבל:
*<math>\frac{1}{2\pi}\int_{-\infty}^\infty\int_{-(n+\frac{1}{2})}^{n+\frac{1}{2}}f(y)e^{is(x-y)}dsdy =</math>
*<math>\frac{1}{2\pi}\int_{-\infty}^\infty f(y) \left[\frac{e^{is(x-y)}}{i(x-y)}\right]_{-(n+\frac{1}{2})}^{n+\frac{1}{2}} dy =</math>
*<math>\frac{1}{2\pi}\int_{-\infty}^\infty f(y) \frac{2\sin\left((n+\frac{1}{2})(x-y)\right)}{(x-y)} dy</math>
*נציב <math>t=y-x</math> ונקבל:
*<math>\frac{1}{\pi}\int_{-\infty}^\infty f(x+t) \frac{\sin\left((n+\frac{1}{2})t\right)}{t}dt = \frac{f(x^+)+f(x^-)}{2}</math>
כאשר המעבר האחרון הוא בזכות טענת העזר לעיל.
====הצדקת החלפת סדר האינטגרציה====
*נביט בסדרה <math>u_k(s)=\int_{-k}^k f(y)e^{is(x-y)}dy</math>, שמתכנסת כמובן ל<math>\int_{-\infty}^\infty f(y)e^{is(x-y)}dy</math>
*מתקיים כי <math>|\int_{-\infty}^\infty f(y)e^{is(x-y)}dy - u_k(s)| \leq \int_{|y|>k} |f(y)e^{is(x-y)}|dy = \int_{|y|>k} |f(y)|dy\to 0</math>
**(נתון כי <math>f\in G</math>)
*לכן הסדרה מתכנסת במ"ש ומותר לבצע אינטגרציה איבר איבר:
**<math>\int_{-(n+\frac{1}{2})}^{n+\frac{1}{2}}\int_{-\infty}^\infty f(y)e^{is(x-y)}dyds = \lim_{k\to\infty} \int_{-(n+\frac{1}{2})}^{n+\frac{1}{2}} u_k(s)ds</math>
**לפי פוביני מותר לנו להחליף את סדר האינטגרציה ונקבל כי
**<math>\int_{-(n+\frac{1}{2})}^{n+\frac{1}{2}}\int_{-\infty}^\infty f(y)e^{is(x-y)}dyds = \lim_{k\to\infty} \int_{-k}^k \int_{-(n+\frac{1}{2})}^{n+\frac{1}{2}}f(y)e^{is(x-y)}dsdy = \int_{-\infty}^\infty \int_{-(n+\frac{1}{2})}^{n+\frac{1}{2}}f(y)e^{is(x-y)}dsdy</math>
**שימו לב שהאינטגרל הלא אמיתי אכן מתכנס (כפי שהוכחנו לעיל) ולכן שווה לגבול.
