הצגת המקור של הדף "טור פורייה"

[[קובץ:Ряд Фурье.gif|330px|שמאל|המחשת טור פורייה|ממוזער]]
[[קובץ:Fourier series and transform.gif|שמאל|350px|הרכבה של פונקציה מפונקציה מחזורית והרמוניות|ממוזער]]

'''טוּר פוּרְיֶה''' הוא [[טור (מתמטיקה)|טור]] (סופי או אינסופי) של [[פונקציה מחזורית|פונקציות מחזוריות]], שמטרתו לקרב פונקציה נתונה. באופן עקרוני, טור פורייה הוא דרך לתאר כל סוג של פונקציה מחזורית ואת [[הרמוניה|ההרמוניות]] שלה (שהן אותה פונקציה בסיסית עם [[תדר]] הולך וגדל) בעזרת חיבור של [[פונקציה טריגונומטרית|פונקציות טריגונומטריות]] בסיסיות ([[סינוס (טריגונומטריה)|סינוס]] ו[[קוסינוס]]). שיטה זו פותחה על-ידי המתמטיקאי הצרפתי [[ז'אן-בטיסט ז'וזף פורייה]], והיא קרויה על שמו.

ניתן להוכיח שאפשר להציג כל [[פונקציה חלקה]] מספיק כ[[סכום]] (ליתר דיוק, [[טור (מתמטיקה)|טור]]) של הרמוניות. המרה כזו של פונקציה נקראת פירוק פורייה, והסכום שנוצר נקרא טור פורייה. המרה זו היא שימושית ביותר בתחומים רבים כגון [[פיזיקה]] ו[[הנדסת אלקטרוניקה]], והיא הכלי העיקרי ל[[עיבוד תמונה|עיבוד תמונות]] ו[[עיבוד אותות קול|עיבוד אודיו]].

ב[[מתמטיקה]], לעיתים קרובות נוח להציג [[פונקציה]] מסוימת בתור סכום או טור של פונקציות פשוטות יותר. בצורה זו ניתן להעמיק את ההבנה של התנהגות הפונקציה על ידי הבנת התנהגות אברי הסכום (הטור). טור פורייה הוא סוג של טור שכזה, שבו מוצגת פונקציה כסכום (טור) של פונקציות מחזוריות.

ב[[פיזיקה]] ובהנדסה, בעיקר בתחומים הנוגעים ל[[גל]]ים, נוח להציג את המידע בצורת סכום (טור) של הרמוניות. גם יישומי מחשב העוסקים ב[[עיבוד תמונה]] וקול משתמשים רבות בטורי פורייה לצורך ניתוח ודחיסה של המידע.

בניסוח פורמלי יותר, טור פורייה הוא הצגה של [[פונקציה]] שריבועה הוא [[אינטגרל לבג|אינטגרבילי-לבג]] ב[[קטע]] סופי כ[[טור אינסופי]] של [[פונקציה הרמונית|פונקציות הרמוניות]] וטריגונומטריות. זוהי בעצם גרסה בדידה ל[[התמרת פורייה]] (או טרנספורם פורייה).

== מבוא ורקע כללי ==
טור פורייה הוא תוצאה פרטית של התורה העוסקת ב[[בסיס אורתונורמלי|בסיסים אורתונורמליים]] על [[מרחב הילברט]].

מבחינה אלגברית, מדובר בהצגת איבר ב[[מרחב וקטורי]] על ידי [[צירוף ליניארי]] של איברי [[בסיס אורתונורמלי]] של המרחב. כלומר, עבור בסיס אורתונורמלי
<math>\left\{\hat{e}\right\} </math>
האיבר <math>\vec{x}</math> מוצג על ידי:
:<math>\vec{x} = \sum_{\alpha\isin\Lambda}{a_\alpha \hat{e_\alpha}} </math>

מכיוון שהבסיס הוא אורתונורמלי, את המקדמים אפשר לחשב באמצעות הטלה:
:<math>a_n = \lang \vec{x}, \hat{e_n} \rang</math>

ומובטח שהמקדמים יתאפסו עבור כל איברי הבסיס פרט לקבוצה בת-מנייה. לכן ניתן לכתוב את ההצגה של כל איבר במרחב זה בצורה זו:
:<math>\vec{x} = \sum_{n=1}^{\infty}{ \lang \vec{x}, \hat{e_n} \rang \hat{e_n}}</math>

טור פורייה הוא מקרה פרטי של בנייה זו. מאחר שמדובר בטור אינסופי, יש לטפל בבעיות [[גבול (מתמטיקה)|התכנסות]] ולהראות שהטור אכן מתכנס אל האיבר שאותו מציגים. בסעיפים הבאים נעסוק בנושאים הקשורים ישירות לטור פורייה הטריגונומטרי. זהו טור פורייה הנפוץ ביותר ולעיתים קרובות כאשר אומרים "טור פורייה" סתם, מתכוונים אליו.

== הגדרה פורמלית ==
תהי <math>f</math> פונקציה, <math>f \in L^2[-\pi,\pi]</math>, כאשר <math>L^2[-\pi,\pi]</math> הוא אוסף הפונקציות ה[[פונקציה מדידה|מדידות]] שריבוען [[אינטגרל לבג|אינטגרבילי-לבג]] בקטע. אזי אפשר להציג את <math>f</math> כפיתוח ל[[טור אינסופי]] באופן הבא:
:<math>f(x) = \sum_{n=-\infty}^{\infty} F_n \,e^{inx} </math>

כאשר מקדמי פורייה, <math>F_n</math>, נתונים על ידי:
:<math>F_n =\frac{1}{2\pi}\int_{-\pi}^\pi f(x)\,e^{-inx} \, dx</math>
(נוסחה זאת נובעת משיקולי [[אורתוגונליות]]. ראו [[#אורתונורמליות|להלן]]). כל איבר בטור זה נקרא '''[[אופן תנודה]]''', '''''Fourier mode''''' או '''[[הרמוניה]]'''.

על ידי שימוש ב[[נוסחת אוילר (אנליזה מרוכבת)|נוסחת אוילר]] <math>e^{inx}=\cos(nx)+i\sin(nx) \,\!</math> אפשר להציג את טור פורייה כ[[צירוף ליניארי]] של [[סינוס (טריגונומטריה)|סינוסים]] ו[[קוסינוס]]ים באופן הבא:
:<math>f(x) = \frac{1}{2}a_0 + \sum_{n=1}^\infty\left[a_n\cos(nx)+b_n\sin(nx)\right]</math>
כאשר המקדמים נתונים על ידי:
:<math>a_n = \frac{1}{\pi}\int_{-\pi}^\pi f(x)\cos(nx)\,dx</math>
:<math>b_n = \frac{1}{\pi}\int_{-\pi}^\pi f(x)\sin(nx)\,dx</math>

את הקשר בין מקדמים אלה למקדמים <math>F_n</math> ניתן לחלץ בקלות והוא <math>F_n = (a_n - i b_n) / 2 \,\!</math> כאשר <math>F_n = F_{-n}^*</math>. באמצעות החלפת משתנים ניתן להכליל את הפיתוח הזה לכל [[קטע]] סופי שהוא.

== דוגמה ==
תהי <math>f </math> הפונקציה הליניארית <math>f(x)=\frac{x}{\pi}</math> בקטע <math>[-\pi,\pi]</math>. כדי שטור פורייה שלה יהיה תקף גם מחוץ לקטע זה, נצטרך להרחיב אותה באופן מחזורי. הפונקציה המורחבת נקראת גם "[[גל שן מסור]]". הרחבה זו איננה פונקציה [[רציפה]], אך הפיתוח לטור פורייה עדיין קיים.

[[קובץ:sawtooth pi.svg|ממוזער|מרכז|500px|גרף של פונקציית גל שן-מסור]]

ניתן לחשב את מקדמי פוריה שלה בהצגה הטריגונומטרית (נוח להשתמש בהצגה זו עבור פונקציות זוגיות או אי-זוגיות כפי שנראה להלן).

מאחר ש־<math>f(x)</math> היא פונקציה אי-זוגית, ו־<math>\cos(nx)</math> הן פונקציות זוגיות לכל <math>n</math>, המכפלות הן פונקציות אי זוגיות. כתוצאה מכך כל המקדמים של ה[[קוסינוס]]ים מתאפסים:

:<math>
\begin{align}
a_0 &= \frac{1}{\pi}\int_{-\pi}^{\pi}f(x)dx=\frac{1}{\pi}\int_{-\pi}^{\pi} \frac{x}{\pi} dx = 0 \\
a_n &= \frac{1}{\pi}\int_{-\pi}^{\pi}f(x)\cos(nx)dx = \frac{1}{\pi}\int_{-\pi}^{\pi}\frac{x}{\pi} \cos(nx)dx = 0
\end{align}
</math>

כעת, ניתן לחשב את מקדמי הסינוסים:
:<math>
\begin{align}
b_n &= \frac{1}{\pi}\int_{-\pi}^{\pi}f(x)\sin(nx)dx = \frac{1}{\pi}\int_{-\pi}^{\pi} \frac{x}{\pi} \sin(nx)dx \\
 &= \frac{2}{\pi}\int_{0}^{\pi} \frac{x\sin(nx)}{\pi} dx= \frac{2}{\pi}\left(
\left[-\frac{x\cos(nx)}{n\pi}\right]_0^{\pi}+\left[\frac{\sin(nx)}{n^2\pi}\right]_0^{\pi}
\right) \\
 &= \frac{2}{\pi}\frac{(-1)^{n+1}}{n}
\end{align}
</math>

בסך הכל, טור פורייה של <math>f(x)=\frac{x}{\pi}</math> בקטע הוא:
:<math>
\begin{align}
f(x) &= \frac{x}{\pi}=\frac{a_0}{2} + \sum_{n=1}^{\infty}(a_n\cos(nx)+b_n\sin(nx)) \\
 &= \frac{2}{\pi}\sum_{n=1}^{\infty}\frac{(-1)^{n+1}}{n}\sin(nx), \quad \forall x\in (-\pi,\pi)
\end{align}
</math>

חישוב סכומים חלקיים של איברי הטור ייתן קירוב של הפונקציה, שיהיה טוב יותר ככל שניקח יותר איברים, כמודגם בתמונה.

[[קובץ:Periodic identity function.gif|ממוזער|מרכז|500px|גרף המכיל סדרת קירובים לפונקציית גל שן-משור באמצעות סכומים חלקיים של טור פורייה.]]

בטור זה אפשר להשתמש כדי לחשב את הערך של [[פונקציית זטא של רימן]] עבור <math>s=2</math> בעזרת [[שוויון פרסבל]] המאפשר להמיר את בעיית חישוב הטור לבעיה של חישוב [[אינטגרל]]ים (אותה אפשר לחשב מפורשות).

== תאוריה ==
=== המרחב L<sup>2</sup> ===
המרחב <math>L^2[-\pi,\pi]</math> כולל את הפונקציות שריבוען אינטגרבילי-לבג בקטע, כלומר, עבור <math>f \in L^2[-\pi,\pi]</math>, {{כ}} <math>f</math> [[פונקציה מדידה]] ומתקיים <math>\int_{-\pi}^{\pi}{|f(t)|^2 dt} < \infty</math>. מרחב זה הוא [[מרחב הילברט]] עם [[מכפלה פנימית|המכפלה הפנימית]]
<math>\lang f, g \rang = \int_{-\pi}^{\pi}{f(t) \bar{g}(t) dt}</math>,
כאשר <math>\bar{g}(t)</math> הוא ה[[צמוד מרוכב|צמוד המרוכב]] של <math>g(t)</math>.

במרחב הילברט זה – על אף שהוא מממד אינסופי – קיימת [[מערכת אורתונורמלית שלמה]], הפורשת [[קבוצה צפופה]] במרחב. ניתן לראות בכך הכללה של מושג ה[[בסיס (אלגברה)|בסיס]] (ובפרט [[בסיס אורתונורמלי]]) של [[מרחב וקטורי]] מממד סופי (לעיתים קוראים גם למערכת אורתונורמלית שלמה אינסופית בשם "בסיס"). ה[[מתמטיקאי]] [[ז'וזף פורייה]] וממשיכיו הוכיחו שהפונקציות ההרמוניות יוצרות מערכת אורתונורמלית שלמה.

טור פורייה הוא למעשה דרך להציג איבר במרחב <math>L^2</math> כ[[צירוף ליניארי]] (בדרך כלל אינסופי) של איברי הבסיס הזה, כאשר המקדמים של הצירוף הליניארי נקראים מקדמי פורייה. ניתן לעשות זאת גם עם בסיסים אורתונורמליים אחרים, אבל ביישומים רבים מתגלה השימוש בטורי פורייה כיעיל במיוחד.

=== אורתונורמליות ===
בסיס ההרמוניות <math>\left\{ \frac{e^{inx}}{\sqrt{2 \pi}} \right\}_{n \in \mathbb{Z}}</math> הוא [[בסיס אורתונורמלי]], כי:
:<math> \lang \frac{e^{inx}}{\sqrt{2 \pi}}, \frac{e^{imx}}{\sqrt{2 \pi}} \rang = \frac{1}{2\pi}\int_{-\pi}^\pi e^{inx}e^{-imx}\,dx = \delta_{n,m}</math>
כאשר <math>\delta_{n,m}</math> היא [[הדלתא של קרונקר]].

מכאן נובעות הנוסחאות לחישוב המקדמים:
:<math>\frac{1}{2 \pi} \int_{-\pi}^{\pi}{f(t) e^{-int} dt} = \frac{1}{2 \pi} \lang f(t), e^{int} \rang =
\frac{1}{2 \pi} \lang \sum_{k=-\infty}^{\infty}{F_k e^{ikt}}, e^{int} \rang =
 \sum_{k=-\infty}^{\infty}{F_k \frac{1}{2 \pi} \lang e^{ikt}, e^{int} \rang } = \sum_{k=-\infty}^{\infty}{F_k \delta_{n,k}} = F_n</math>

באופן דומה גם בסיס הסינוסים והקוסינוסים הוא אורתונורמלי:
:<math>\frac{1}{\pi} \int_{-\pi}^{\pi} {\cos(nt) \cos(mt) \ dt} = \delta_{m,n}</math>
:<math>\frac{1}{\pi} \int_{-\pi}^{\pi} {\sin(nt) \cos(mt) \ dt} = 0 \ \ \ \ </math>
:<math>\frac{1}{\pi} \int_{-\pi}^{\pi} {\sin(nt) \sin(mt) \ dt} = \delta_{m,n}</math>
אפשר להשתכנע בכך בבדיקה ישירה או מכך שמקבלים אותו על ידי [[אופרטור אוניטרי|התמרה אוניטרית]] מבסיס ההרמוניות.

==התכנסות==
כאשר עוסקים בהתכנסות של טור פורייה יש להבדיל בין '''התכנסות בנורמה''' של הטור, לבין '''התכנסות נקודתית'''.

ההתכנסות בנורמה פירושה שהטור מתכנס במרחב <math>L^2</math> על פי ה[[נורמה (אנליזה)|נורמה]] המוגדרת בו. כלומר, מתקיים:
:<math>\lim_{N\rightarrow\infty}\int_{-\pi}^\pi\left|f(x)-\sum_{n=-N}^{N}
F_n\,e^{inx}\right|^2\,dx=0</math>

במילים פשוטות: כאשר מגדילים את מספר האיברים בטור החלקי של <math>f</math> לאינסוף, הנורמה של ההפרש בין הפיתוח החלקי לבין <math>f</math> (שהיא האינטגרל של פונקציית ריבוע ההפרש) שואפת לאפס. תכונה זו מתקיימת עבור כל טור פורייה, בהיותו הצגת איבר ב-<math>L^2</math> על פי בסיס אורתונורמלי.

התכנסות בנורמה לא מחייבת התכנסות של הטור לערך של <math>f</math> בכל נקודה בקטע – ההתכנסות הנקודתית של טור פורייה היא תכונה מורכבת יותר, ומחקר רב עוסק במציאת תנאים שבהם היא תתקיים במסגרת ה[[אנליזה הרמונית|אנליזה ההרמונית]].

בחישוב של טור פורייה לפונקציה נתונה <math>f</math> יש שני שלבים הפוכים זה לזה. בשלב ראשון מחשבים, מכיוון שעבור פונקציה מחזורית קיים שוויון מהצורה <math>f(x)=\sum_{n}(a_n\sin(nx)+b_n\cos(nx))</math>, את המקדמים המספריים <math>a_n</math> ו־<math>b_n</math>. חישוב כזה ניתן לערוך לכל פונקציה השייכת למרחב הפונקציות <math>L^2</math>. לאחר מכן, עבור הצגת הפונקציה באמצעות המקדמים שהתקבלו, נדרש שהטור באגף ימין יתכנס לערכה של הפונקציה בנקודה <math>x</math> לכל <math>x</math>.

כאשר פיתח פורייה את התאוריה שלו, ב-[[1807]], לא היו בידיו כלים שיענו על הצורך בהתכנסות נקודתית, וזו הסיבה העיקרית לכך שעבודתו נדחתה בתחילה על ידי מתמטיקאים חשובים בני זמנו. בשאלה איזה הנחות של רציפות נכללות בהגדרת מושג ה[[פונקציה ממשית|פונקציה]] היה ערפול מסוים במחצית הראשונה של [[המאה ה-19]], ועבודתו של פורייה רק הקשתה על הבהרת התמונה. ב־[[1913]] ניסח האנליטיקאי הרוסי [[ניקולאי לוזין]] את ההשערה שטור פורייה של [[פונקציה רציפה]] יתכנס נקודתית בכל מקום, אלא שב־[[1926]] מצא מתמטיקאי רוסי אחר, [[אנדריי קולמוגורוב]], [[דוגמה נגדית]] שהפריכה השערה זו.

פתרון לבעיה זו ניתן על-ידי המתמטיקאי השוודי [[לנרט קרלסון]] ב-[[1966]], כאשר הוא הוכיח שלכל פונקציה ששייכת למרחב <math>L^2</math>, ובפרט לכל פונקציה רציפה, יש טור פורייה המתכנס אליה כמעט בכל נקודה בקטע (מידתה של קבוצת הנקודות שבה אין התכנסות היא אפס). כלומר ההתכנסות של טור פורייה במקרים כאלה היא [[כמעט בכל מקום]]. על עבודתו זו, שנחשבה לפריצת דרך ב[[אנליזה הרמונית]], ועל עבודות רבות אחרות, זכה קרלסון ב[[פרס אבל]] לשנת [[2006]].

=== תופעת גיבס ===
[[תופעת גיבס]] היא תופעה שבה טור פורייה של פונקציה שאינה רציפה בנקודה, מתכנס בנקודה זו לממוצע הגבולות מימין ומשמאל (<math>(f(x_-) + f(x_+))/2</math>). יתרה מכך, סביב נקודת אי-רציפות מתקבלות תנודות חזקות; ככל שמוסיפים יותר איברים לקירוב, מצטמצמת הסביבה בה מופיעות התנודות, אך גובהן לא נחלש.

=== דעיכת מקדמי פורייה ===
קיים קשר ישיר בין "מידת החלקות" של פונקציה מסוימת לקצב הדעיכה של מקדמי פורייה שלה, קשר שבתורו מכתיב את טיב הקירוב של הפונקציה על ידי סכום פורייה סופי. עבור פונקציה ממחלקה <math>C^k</math>, כלומר הגזירה ברציפות <math>k</math> פעמים, הערכים המוחלטים של מקדמי פורייה שלה אינם דועכים מהר יותר מ-<math>\frac{1}{n^{k+2+\epsilon}}</math> לכל <math>\epsilon>0</math>. תופעה זו נובעת מן העובדות הבאות:
* עבור פונקציות רציפות למקוטעין: "אבני הבניין" של טורי פורייה הן הרמוניות טריגונומטריות, שהן עצמן פונקציות [[רציפות במידה שווה]]. כיוון שכך, ניתן להראות שבסביבת [[נקודת אי-רציפות]] מסוג ראשון סדרת הסכומים החלקיים של טור פורייה לא יכולה [[התכנסות במידה שווה|להתכנס במידה שווה]] לממוצע של הגבול הימני והשמאלי של הפונקציה (תמיד ישנו "רעש" סופי מסוים בסביבת נקודת האי רציפות; ראו גם: [[תופעת גיבס]]). על פי [[מבחן M של ויירשטראס]], התנהגות זו חייבת לבוא לידי ביטוי ב[[התכנסות בתנאי]] של סדרת המקדמים (ולא ב[[התכנסות בהחלט]]). מצד שני, לפי [[למת רימן-לבג]], מקדמי פורייה שואפים בערכם המוחלט לאפס כאשר <math>n</math> שואף לאינסוף. לכן, ממבחן ההשוואה הגבולי עם [[הטור ההרמוני]] המתבדר, נובע שהערכים המוחלטים של מקדמי פורייה דועכים לאפס לאט יותר מאשר <math>\frac{1}{n^{1+\epsilon}}</math>, לכל <math>\epsilon>0</math>.
* עבור פונקציה ממחלקה <math>C^k</math>, ניתן להסתכל על הנגזרת ה-<math>k+1</math>, שהיא על פי ההנחה פונקציה רציפה למקוטעין, ואז לבצע אינטגרציה לאחור <math>k+1</math> פעמים כדי לשחזר את הפונקציה המקורית. בכל צעד אינטגרציה, מקדם פורייה ה-<math>n</math> מוכפל ב-<math>\frac{1}{n}</math>, ולכן מקדם פורייה ה-<math>n</math> של <math>f(x)</math> מתנהג כמו <math>a_n\propto \frac{1}{n^{k+2}}</math>. בפרט, נובע מכך שעבור [[פונקציה חלקה|פונקציות חלקות]] (ממחלקה <math>C^{\infty}</math>), מקדמי פורייה דועכים "מהר מאוד" לאפס.

== תכונות ==
בסעיף זה יסומנו הפונקציות:
: <math>f(x) = \sum_{n=-\infty}^{\infty}{F_n e^{inx}}\;; \quad g(x) = \sum_{n=-\infty}^{\infty}{G_n e^{inx}}\;; \quad h(x) = \sum_{n=-\infty}^{\infty}{H_n e^{inx}} </math>
כאשר מונח ש-<math>f</math>,{{כ}} <math>g</math> ו־<math>h</math> הן פונקציות המוגדרות על כל הישר באמצעות המשכה מחזורית של הגדרתן בקטע <math>[-\pi,\pi]</math>.

=== ליניאריות ===
אם <math>h(x) = \alpha f(x) + \beta g(x)</math>, אזי <math>H_n = \alpha F_n + \beta G_n</math>.

=== זהויות פלנשרל ופרסבל ===
הזהויות הבאות מראות את ה[[אוניטריות]] של הפירוק לטור פורייה. כלומר, פעולה זו שומרת על [[נורמה (אנליזה)|נורמה]] ו[[מכפלה פנימית]].

[[משפט פלנשרל|זהות פלנשרל]] {{אנג|Plancherel theorem|Plancherel identity}}:
:<math>\sum_{n=-\infty}^\infty F_nG^*_n = \frac{1}{2\pi} \int_{-\pi}^\pi f(x)g^*(x)\,dx </math>

זהות פרסבל (על שם [[מארק אנטואן פרסבל]]):
:<math>\sum_{n=-\infty}^\infty |F_n|^2 = \frac{1}{2\pi} \int_{-\pi}^\pi |f(x)|^2 dx \,</math>

ובבסיס הטריגונומטרי הממשי
:<math>\frac{a_0^2}{4} + \frac{1}{2} \sum_{n=1}^\infty \left( a_n^2 + b_n^2 \right) = \frac{1}{2\pi} \int_{-\pi}^\pi f(x)^2 dx</math>

משפטים אלה אפשר להוכיח באמצעות [[אורתוגונליות]].

=== תכונת ההזזה ===
אם <math>g(x)=f(x-y) \,\!</math>, אזי <math>G_n = e^{-iny}F_n \,\!</math>

=== תכונת הקונבולוציה ===
אם <math>h</math> היא [[קונבולוציה]] ציקלית של <math>f</math> ו-<math>g</math>, כלומר:
:<math>h(t)=\int_{-\pi}^\pi f(t')g(t-t')\,dt'</math>
כאשר <math>g</math> היא מחזורית עם מחזור <math>2\pi</math>, אזי טור פורייה של <math>h</math> מקיים:
:<math>H_n=2\pi\,F_nG_n \,</math>

באופן הפוך, אם המקדמים <math>H_n</math> הם קונבולוציה של <math>F_n</math> ו־<math>G_n</math>, כלומר:
:<math>H_k=\sum_{n=-\infty}^\infty F_n G_{k-n}</math>
אזי בהכרח:
:<math>h(t)=f(t)g(t)\,</math>

תכונות אלה מוכחות באמצעות אורתוגונליות.

== טורי פורייה בקטע כלשהו ==
נניח שנתונה פונקציה <math>g: [a,a+\tau] \to \mathbb{R}</math>, אינטגרבילית בריבוע בקטע זה, וממשיכים אותה באופן [[פונקציה מחזורית|מחזורי]] בכל [[הישר הממשי]], אזי טור פורייה שלה מוגדר על ידי:
:<math>g(x)=\sum_{n=-\infty}^\infty G(n) \cdot e^{i \frac{2\pi}{\tau}n x}</math>
את מקדמי פורייה ניתן לחשב באמצעות הנוסחה:
:<math>G(n) = \frac{1}{\tau}\int_a^{a+\tau} g(x)\cdot e^{-i \frac{2\pi}{\tau}n x}\, dx</math>

במונחי [[סינוס (טריגונומטריה)|סינוס]]ים ו[[קוסינוס]]ים הביטויים יראו כך:{{הערה|[http://mathworld.wolfram.com/FourierSeries.html Fourier Series], ב-[[MathWorld]].{{ש}} הביטויים מתלכדים עם הזיהוי <math>\tau = 2 L</math>.}}
:<math>g(x) = \frac{a_0}{2} + \sum_{n=1}^{\infty} a_n \cos \left( \frac{2 \pi}{\tau}nx \right) + b_n \sin \left( \frac{2 \pi}{\tau}nx \right)</math>
:<math>a_n = \frac{2}{\tau} \int_{a}^{a+\tau} g(x) \cos \left( \frac{2 \pi}{\tau}nx \right) dx</math>
:<math>b_n = \frac{2}{\tau} \int_{a}^{a+\tau} g(x) \sin \left( \frac{2 \pi}{\tau}nx \right) dx</math>

== שימושים ==
{{טורים
|רוחב=26em
|תוכן=
* [[מתמטיקה]]
** פתרון [[משוואות דיפרנציאליות]] (בעיקר [[משוואה דיפרנציאלית חלקית|חלקיות]])
** [[אנליזה הרמונית]]
** [[אנליזה פונקציונלית]]
* [[פיזיקה]]
** [[גל]]ים
** [[אופני תנודה עצמיים]]
** פתרון [[משוואת הגלים]]
** [[קרינה אלקטרומגנטית]]
** [[מכניקת הקוונטים]]
** פתרון [[משוואת שרדינגר]]
* [[מדעי המחשב]]
** [[עיבוד אותות]]
** [[עיבוד אותות קול]]
** [[עיבוד תמונה]]
* [[הנדסה]]
** [[אלקטרוניקה]]
** [[אלקטרומגנטיות]]
** [[רוחב פס]]
}}

== ראו גם ==
{{טורים
|רוחב=26em
|תוכן=
* [[תורת שטורם-ליוביל]]
* [[התמרת פורייה]]
* [[מרחב הילברט]]
* [[אלגברה ליניארית]]
* [[אינטגרל לבג]]
* [[אינטגרל]]
}}

== קישורים חיצוניים ==
{{ויקישיתוף בשורה}}
* {{MathWorld|FourierSeries}}
* {{וידאו}} [https://www.youtube.com/watch?v=ds0cmAV-Yek What is a Fourier Series? (Explained by drawing circles) - Smarter Every Day 205] ב[[יוטיוב]]
* מחשבון דסמוס טור פורייה https://www.desmos.com/calculator/6lry0ysnrm
* {{בריטניקה}}
* {{דף שער בספרייה הלאומית|987007548250805171|טור פוריה}}

== הערות שוליים ==
{{הערות שוליים}}

{{בקרת זהויות}}

[[קטגוריה:אנליזה פונקציונלית]]
[[קטגוריה:אלגברה ליניארית]]
[[קטגוריה:פונקציות אורתוגונליות]]
[[קטגוריה:אנליזה הרמונית]]
[[קטגוריה:תורת הטורים|פורייה]]
[[קטגוריה:התמרת פורייה]]