Προβολή πηγαίου κώδικα για τη σελίδα Σειρές Φουριέ

Στα [[μαθηματικά]], μια '''σειρά Fourier''' ('''σειρά Φουριέ''' - αγγλική προφορά: / fɔərieɪ /) είναι ένας τρόπος για να περιγραφεί ένα κύμα που μοιάζει να λειτουργεί ως ένας συνδυασμός απλών [[Ημιτονοειδής συνάρτηση|ημιτονοειδών κυμάτων]]. Πιο επίσημα, αποσυνθέτει κάθε [[περιοδική συνάρτηση]] ή περιοδικό σήμα στο άθροισμα (ενδεχομένως άπειρο) ενός συνόλου απλών συναρτήσεων ταλάντωσης, δηλαδή [[ημίτονο|ημίτονων]] και [[συνημίτονο|συνημίτονων]] (ή [[σύνθεση εκθετικών]]). Ο [[μετασχηματισμός Fourier διακριτού χρόνου]] είναι μία περιοδική συνάρτηση, που συχνά ορίζεται από τους όρους μιας σειράς Fourier. Επιπλέον, ο [[μετασχηματισμός-Ζ]] μετατρέπεται σε σειρά Fourier με την προϋπόθεση ότι |z|=1. Οι σειρές Fourier, επίσης, βασίζονται στην αρχική απόδειξη του [[θεώρημα δειγματοληψίας του Nyquist–Shannon|θεωρήματος δειγματοληψίας του Nyquist–Shannon]]. Είναι ένα ιδιαίτερα χρήσιμο εργαλείο του Λογισμού που βρίσκει πολλές εφαρμογές σε διάφορα πεδία της επιστήμης, π.χ. στις χρονολογικές σειρές στην στατιστική, στην ανάλυση σήματος και εικόνας, στην οικονομετρία, την μηχανική κλπ.

{{Gallery
|title=
|width=238
|height=300
|lines=2
|align=right
|File:Fourier Series.svg|Τα πρώτα 4 τμήματα σειράς Fourier για ένα [[τετραγωνικό κύμα]]
}}

==Ιστορία==
Η σειρά Fourier πήρε το όνομά της προς τιμήν του [[Ζοζέφ Φουριέ]] (''Jean-Baptiste Joseph Fourier (1768-1830)), ο οποίος έκανε σημαντικές συνεισφορές στη μελέτη των [[τριγωνομετρική σειρά|τριγωνομετρικών σειρών]], μετά από προκαταρκτικές έρευνες από τον [[Λέοναρντ Όιλερ]], [[Ζαν λε Ροντ ντ' Αλαμπέρ]], και [[Ντάνιελ Μπερνούλι]]..<ref group="nb">Αυτοί οι τρεις έκαναν κάποιου είδους [[Κυματική εξίσωση#Notes|σημαντική δουλειά πάνω στην κυματική εξίσωση]], ειδικά ο D'Alembert. Η δουλειά του Euler σε αυτόν τον τομέα ήταν κυρίως [[Εξίσωση δέσμης Euler-Bernoulli|σύγχρονη/ σε συνεργασία με τον Bernoulli]], αν και ο Bernoulli έκανε κάποιες ανεξάρτητες συνεισφορές στη θεωρία των κυμάτων και των ταλαντώσεων ([http://books.google.co.uk/books?id=olMpStYOlnoC&pg=PA214&lpg=PA214&dq=bernoulli+solution+wave+equation&source=bl&ots=h8eN69CWRm&sig=lRq2-8FZvcXIjToXQI4k6AVfRqA&hl=en&sa=X&ei=RqOhUIHOIOa00QWZuIHgCw&ved=0CCEQ6AEwATg8#v=onepage&q=bernoulli%20solution%20wave%20equation&f=false βλέπε, pg.s 209 & 210, ]).</ref> Ο Fourier εισήγαγε τη σειρά με σκοπό την επίλυση της εξίσωσης της θερμότητας σε μια μεταλλική πλάκα, δημοσιεύοντας τα πρώτα αποτελέσματα του το 1807 [[Mémoire sur la propagation de la chaleur dans les corps solides]] (Διατριβή στην διάδοση της θερμότητας σε στερεά σώματα), και με την δημοσίευση  Théorie analytique de la chaleur (Αναλυτική Θεωρία της Θερμότητας) το 1822. Η πρώτη ιδέα για την αποσύνθεση μιας περιοδικής συνάρτησης σε άθροισμα απλών συναρτήσεων ταλάντωσης, που χρονολογείται περίπου τον 3ο αιώνα π.Χ., όπου οι αρχαίοι αστρονόμοι πρότειναν ένα εμπειρικό μοντέλο πλανητικών κινήσεων, στηριζόμενο στην [[κυκλική τροχιά]].  ''

Η [[εξίσωση θερμότητας]] είναι μια [[μερική διαφορική εξίσωση]]. Πριν από το έργο του Fourier, καμία λύση για την εξίσωση της θερμότητας δεν ήταν γνωστή στη γενική περίπτωση, αν και ήταν γνωστές οι μερικές λύσεις της στην περίπτωση που η πηγή θερμότητας συμπεριφερόταν με έναν απλό τρόπο, ιδίως, εάν η πηγή θερμότητας ήταν ένα ημιτονοειδές ή συνημιτονοειδές κύμα. Αυτές οι μερικές λύσεις καλούνται [[χαρακτηριστικές συναρτήσεις]] ή [[ιδιοσυνάρτηση|ιδιοσυναρτήσεις]].  Η ιδέα του Fourier  ήταν να μοντελοποιήσει μια περίπλοκη πηγή θερμότητας ως μια επαλληλία (ή [[γραμμικός συνδυασμός|γραμμικό συνδυασμό]]) απλών ημιτονοειδών και συνημιτονοειδών κυμάτων, και να γράψει τη λύση ως μια επαλληλία των αντίστοιχων ιδιοσυναρτήσεων. Η σύνθεση των μελών της επαλληλίας ή του γραμμικού συνδυασμού ονομάζεται σειρά Fourier.

Από μια σύγχρονη άποψη, τα αποτελέσματα του Fourier είναι κάπως άτυπα, καθώς δεν υπήρχε ακριβής ορισμός των εννοιών της [[συνάρτηση|συνάρτησης]] και του [[ολοκλήρωμα|ολοκληρώματος]] στις αρχές του δέκατου ένατου αιώνα. Αργότερα, οι [[Peter Gustav Lejeune Dirichlet]]<ref>Lejeune-Dirichlet, P. "[[List of important publications in mathematics#Sur la convergence des séries trigonométriques qui servent à représenter une fonction arbitraire entre des limites données|Sur la convergence des séries trigonométriques qui servent à représenter une fonction arbitraire entre des limites données]]". (In French), transl. "On the convergence of trigonometric series which serve to represent an arbitrary function between two given limits". Journal f¨ur die reine und angewandte Mathematik, Vol. 4 (1829) pp. 157–169.</ref> και [[Μπέρναρντ Ρίμαν]]<ref>{{cite web|url=http://www.maths.tcd.ie/pub/HistMath/People/Riemann/Trig/|title=Ueber die Darstellbarkeit einer Function durch eine trigonometrische Reihe|language=Γερμανικά|work=Habilitationschrift, Göttingen; 1854. Abhandlungen der [[Göttingen Academy of Sciences|Königlichen Gesellschaft der Wissenschaften zu Göttingen]], vol. 13, 1867''. Published posthumously for Riemann by Richard Dedekind|trans-title=About the representability of a function by a trigonometric series|accessdate=2008-05-19 |archiveurl=https://web.archive.org/web/20080520085248/http://www.maths.tcd.ie/pub/HistMath/People/Riemann/Trig/|archivedate=2008-05-20 |url-status=dead}}</ref><ref>D. Mascre, Bernhard Riemann: Posthumous Thesis on the Representation of Functions by Triginometric Series (1867). [http://books.google.co.uk/books?id=UdGBy8iLpocC&printsec=frontcover#v=onepage&q&f=false Landmark Writings in Western Mathematics 1640–1940], Ivor Grattan-Guinness (ed.); pg. 492. Elsevier, 20 May 2005.Accessed 7 Dec 2012.</</ref><ref>[http://books.google.co.uk/books?id=uP8SF4jf7GEC&printsec=frontcover#v=onepage&q&f=false Theory of Complex Functions: Readings in Mathematics], by Reinhold Remmert; pg 29. Springer, 1991. Accessed 7 Dec 2012.</ref> εξέφρασαν τα αποτελέσματα του Fourier με μεγαλύτερη ακρίβεια και τυπικότητα.

Αν και ο πρωταρχικός στόχος ήταν η επίλυση της εξίσωσης θερμότητας, αργότερα έγινε φανερό ότι οι ίδιες τεχνικές μπορούν να εφαρμοστούν σε ένα ευρύ φάσμα προβλημάτων μαθηματικών και φυσικής, και ιδιαίτερα προβλήματα που αφορούν γραμμικές [[Διαφορική εξίσωση|διαφορικές εξισώσεις]] με σταθερούς συντελεστές, για τις οποίες οι ιδιοσυναρτήσεις είναι ημιτονοειδών μορφών. Η σειρά Fourier έχει πολλές τέτοιες εφαρμογές στον τομέα της [[ηλεκτρολογία|ηλεκτρολογίας]], της [[ανάλυση κραδασμών|ανάλυσης κραδασμών]], στην [[ακουστική]], [[οπτική]], [[επεξεργασία σήματος]], [[επεξεργασία εικόνας]], στην [[κβαντομηχανική]], [[οικονομετρία]],<ref>{{cite book |first=Marc |last=Nerlove |first2=David M. |last2=Grether |first3=Jose L. |last3=Carvalho |year=1995 |title=Analysis of Economic Time Series. Economic Theory, Econometrics, and Mathematical Economics |location= |publisher=Elsevier |isbn=0-12-515751-7 |url-access=registration |url=https://archive.org/details/analysisofeconom0000nerl }}</ref>  στη θεωρία [[λεπτού κέλυφους με τοιχώματα]],<ref>{{cite book |first=Wilhelm |last=Flugge |year=1957 |title=Statik und Dynamik der Schalen |publisher=Springer-Verlag |location=Berlin }}</ref>  κ.τ.λ.

== Ορισμός ==
Σε αυτή την ενότητα, s (x) είναι μια συνάρτηση της πραγματικής μεταβλητής x, ολοκληρώσιμη στο διάστημα <math>\scriptstyle [x_0,\ x_0+P],</math>&nbsp;, για πραγματικούς αριθμούς <math>\scriptstyle x_0,</math>&nbsp; και P. Εμείς θα προσπαθήσουμε να αναπαραστήσουμε το s σε αυτό το  διάστημα ως άθροισμα άπειρων, δηλαδή [[σειρά]], αρμονικών συναρτήσεων. Έξω από το διάστημα, η σειρά είναι περιοδική με περίοδο P (συχνότητα 1 / P). Επομένως, αν s έχει επίσης αυτή την ιδιότητα, η προσέγγιση ισχύει σε ολόκληρη την ευθεία των πραγματικών αριθμών. Μπορούμε να ξεκινήσουμε με ένα πεπερασμένο άθροισμα (ή μερικό άθροισμα):
 
:<math>s_N(x) = \frac{a_0}{2} + \sum_{n=1}^N A_n\cdot \sin(\tfrac{2\pi nx}{P}+\phi_n), \quad \scriptstyle</math> για ακεραίους <math>N\ \ge\ 1.</math>

<math>s_N(x)</math>&nbsp; είναι μία περιοδική συνάρτηση με περίοδο &nbsp;'''P'''.&nbsp;Χρησιμοποιώντας τις ταυτότητες ''':'''

:<math>\sin(\tfrac{2\pi nx}{P}+\phi_n) \equiv \sin(\phi_n) \cos(\tfrac{2\pi nx}{P}) + \cos(\phi_n) \sin(\tfrac{2\pi nx}{P})</math>
:<math>\sin(\tfrac{2\pi nx}{P}+\phi_n) \equiv \text{Re}\left\{\frac{1}{i}\cdot e^{i \left(\tfrac{2\pi nx}{P}+\phi_n\right)}\right\} = \frac{1}{2i}\cdot e^{i \left(\tfrac{2\pi nx}{P}+\phi_n\right)} +\left(\frac{1}{2i}\cdot e^{i \left(\tfrac{2\pi nx}{P}+\phi_n\right)}\right)^*,</math>
[[File:Fourier series and transform.gif|frame|right|Συνάρτηση ''s''(''x'') (με κόκκινο) είναι το άθροισμα των έξι ημιτονοειδών συναρτήσεων των διαφόρων πλατών και των αρμονικών  συχνοτήτων. Το άθροισμα τους ονομάζεται σειρά Fourier. Ο μετασχηματισμός Fourier , ''S''(''f'') (με μπλε),ο οποίος απεικονίζει το πλάτος vs συχνότητα, αποκαλύπτει τις 6 συχνότητες και πλάτη τους  .]]
μπορούμε επίσης να γράψουμε τη συνάρτηση στις παρακάτω ισοδύναμες μορφές:

{| class="wikitable" style="text-align:left"
|<math>
\begin{align}
s_N(x) &= \frac{a_0}{2} + \sum_{n=1}^N \left(\overbrace{a_n}^{A_n \sin(\phi_n)} \cos(\tfrac{2\pi nx}{P}) + \overbrace{b_n}^{A\cos(\phi_n)} \sin(\tfrac{2\pi nx}{P})\right)\\
&= \sum_{n=-N}^N c_n\cdot e^{i \tfrac{2\pi nx}{P}},
\end{align}
</math>
|}

όπου''':'''

:<math>
c_n \ \stackrel{\mathrm{def}}{=} \ \begin{cases}
\frac{A_n}{2i} e^{i\phi_n} = \frac{1}{2}(a_n - i b_n) & \text{for } n > 0 \\
\frac{1}{2}a_0 & \text{for }n = 0\\
c_{|n|}^*  & \text{for } n < 0.
\end{cases}
</math>
Οι συντελεστές (γνωστοί ως '''συντελεστές Fourier ''') υπολογίζονται ως εξής''':'''<ref>{{cite book| last1 = Dorf| first1 = Richard C. | first2 = Ronald J. | last2 = Tallarida | title =Pocket Book of Electrical Engineering Formulas | url = https://archive.org/details/pocketbookofelec0000dorf| publisher =CRC Press | edition =1η | date =1993-07-15 | location =Boca Raton,FL | pages =[https://archive.org/details/pocketbookofelec0000dorf/page/171 171]–174 | isbn =0849344735 }}</ref>
:{|
|<math>a_n = \frac{2}{P}\int_{x_0}^{x_0+P} s(x)\cdot  \cos(\tfrac{2\pi nx}{P})\ dx</math><br>
<math>b_n = \frac{2}{P}\int_{x_0}^{x_0+P} s(x)\cdot  \sin(\tfrac{2\pi nx}{P})\ dx</math>
|&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; <math>c_n = \frac{1}{P}\int_{x_0}^{x_0+P} s(x)\cdot e^{-i \tfrac{2\pi nx}{P}}\ dx,</math>
|}

<math>s_N(x)</math>&nbsp; προσεγγίζει την <math>\scriptstyle s(x)</math>&nbsp; στο διάστημα &nbsp;<math>\scriptstyle [x_0,\ x_0+P],</math>&nbsp; και η προσέγγιση βελτιώνεται καθώς ''N''&nbsp;→&nbsp;∞. Το [[άθροισμα άπειρων όρων]], <math>\scriptstyle s_{\infty}(x),</math>&nbsp; καλείται '''σειρά Fourier''' που αναπαριστά το <math>s.</math>&nbsp; . Σε [[μηχανολογική| μηχανολογικές]] εφαρμογές, η σειρά Fourier  γενικά θεωρείται ότι συγκλίνει παντού εκτός από τα σημεία ασυνέχειας, δεδομένου ότι οι συναρτήσεις που χρησιμοποιούνται στη μηχανική είναι πιο καλά ορισμένες από αυτές που οι μαθηματικοί μπορούν να παρέχουν ως αντι-παραδείγματα σε αυτό το τεκμήριο. Ειδικότερα, η σειρά Fourier συγκλίνει απόλυτα και ομοιόμορφα σε s (x) όταν η παράγωγος του s (x) (η οποία δεν μπορεί να ορίζεται παντού) είναι ολοκληρώσιμο τετράγωνο.<ref>{{cite book | title = Fourier Series | author = Georgi P. Tolstov | publisher = Courier-Dover | year = 1976 | isbn = 0-486-63317-9 | url = http://books.google.com/?id=XqqNDQeLfAkC&pg=PA82&dq=fourier-series+converges+continuous-function }}</ref>&nbsp; Αν μια συνάρτηση είναι [[τετράγωνο-ολοκληρώσιμη]] στο διάστημα <math>\scriptstyle [x_0,\ x_0+P],</math>&nbsp;, τότε η σειρά Fourier συγκλίνει στη συνάρτηση ''[[σχεδόν σε κάθε]]'' σημείο. Δείτε [[σύγκλιση σειρών Fourier]]. Είναι δυνατόν να καθοριστούν οι συντελεστές Fourier για γενικότερες συναρτήσεις ή κατανομές, σε τέτοιες περιπτώσεις, η σύγκλιση στο πρότυπο ή ασθενής σύγκλιση είναι συνήθως αξιοσημείωτη.
<gallery widths="256" heights="256">
Fourier_series_square_wave_circles_animation.gif|Μια άλλη απεικόνιση της προσέγγισης του ενός τετραγωνικού κύματος με τη λήψη των πρώτων 1, 2, 3 και 4 από τους όρους της σειράς Fourier
Fourier_series_sawtooth_wave_circles_animation.gif|Μια απεικόνιση της προσέγγισης του πριονωτού κύματος του ίδιου πλάτους και συχνότητας για σύγκριση
</gallery>


===Παράδειγμα 1: μια απλή σειρά Fourier===
[[File:sawtooth 2pi.gif|thumb|right|400px|,Γραφική παράσταση μίας περιοδικής συνάρτησης, ένα [[πριονωτό κύμα]]]]
[[File:Periodic identity function.gif|thumb|right|400px|Κινούμενη γραφική παράσταση των πρώτων πέντε διαδοχικών τμημάτων μίας σειράς Fourier]] 

Χρησιμοποιούμε τον  παραπάνω τύπο  για να επεκτείνουμε μια σειρά Fourier μιας πολύ απλής συνάρτησης. Σκεφτείτε ένα πριονωτό κύμα 
:<math>s(x) = \frac{x}{\pi}, \quad \mathrm{for } -\pi < x < \pi,</math>
:<math>s(x + 2\pi k) = s(x), \quad \mathrm{for } -\infty < x < \infty \text{ and } k \in \mathbb{Z} .</math>
Στην περίπτωση αυτή, οι συντελεστές Fourier δίνονται από 

:<math>\begin{align}
a_n &{} = \frac{1}{\pi}\int_{-\pi}^{\pi}s(x) \cos(nx)\,dx = 0, \quad n \ge 0. \\
b_n &{} = \frac{1}{\pi}\int_{-\pi}^{\pi}s(x) \sin(nx)\, dx\\
&= -\frac{2}{\pi n}\cos(n\pi) + \frac{2}{\pi^2 n^2}\sin(n\pi)\\
&= \frac{2\,(-1)^{n+1}}{\pi n}, \quad n \ge 1.\end{align}</math>
Μπορεί να αποδειχθεί ότι η σειρά Fourier συγκλίνει στο s (x) σε κάθε σημείο x όπου α είναι διαφορίσιμη, και ως εκ τούτου: :
{{NumBlk|:
|<math>\begin{align}
s(x) &= \frac{a_0}{2} + \sum_{n=1}^\infty \left[a_n\cos\left(nx\right)+b_n\sin\left(nx\right)\right] \\
&=\frac{2}{\pi}\sum_{n=1}^\infty \frac{(-1)^{n+1}}{n} \sin(nx), \quad \mathrm{for} \quad x - \pi \notin 2 \pi \mathbf{Z}.
\end{align}</math>
|{{EquationRef|Eq.1}}}}
Όταν x = π, η σειρά Fourier συγκλίνει στο 0, η οποία είναι το μισό άθροισμα στο αριστερό και το δεξί όριο του s στο x = π. Αυτή είναι μια ιδιαίτερη περίπτωση του [[θεώρημα Dirichlet|θεωρήματος Dirichlet]] για την σειρά Fourier .
[[File:Fourier heat in a plate.png|thumb|right|Κατανομή της θερμότητας σε μια μεταλλική πλάκα, χρησιμοποιώντας τη μέθοδο του Fourier]]
Το παρακάτω παράδειγμα μας οδηγεί στην λύση του [[πρόλημα Basel|προβλήματος Basel]].

===Παράδειγμα 2: Το κίνητρο του Fourier===

Η επέκταση της σειράς Fourier στη συνάρτηση του 1ου παραδείγματος μοιάζει αρκετά πιο περίπλοκο από τον τύπο ''s''(''x'') = ''x/π'', και δεν είναι ακριβώς εμφανές γιατί χρειαζόμαστε αυτή τη σειρά Fourier. Ενώ υπάρχουν αρκετές εφαρμογές, εμείς εμμένουμε στο κίνητρο του Fourier για την επίλυση της εξίσωσης της θερμότητας. Για παράδειγμα, ας θεωρήσουμε μια μεταλλική πλάκα σε σχήμα τετραγώνου με μήκος πλευράς ''π'' μέτρα, με συντεταγμένες (''x'',&nbsp;''y'') ∈ [0,&nbsp;''π'']&nbsp;×&nbsp;[0,&nbsp;''π'']. Αν δεν υπάρχει πηγή θερμότητας εντός της πλάκας, και αν 3 από τις 4 πλευρές διατηρούνται στους 0 βαθμούς Κελσίου, ενώ η τέταρτη πλευρά, με αρχική τιμή ''y''&nbsp;=&nbsp;π, διατηρείται στη θερμοκρασιακή βαθμίδα ''T''(''x'',&nbsp;''π'') = ''x'' βαθμούς Κελσίου, για ''x'' στο (0,&nbsp;''π''), τότε μπορεί κανείς να αποδείξει ότι η στάσιμη κατανομή της θερμότητας (ή η κατανομή της θερμότητας μετά από μια μακροχρόνια περίοδο έχει παρέλθει) δίνεται ως εξής:
: <math>T(x,y) = 2\sum_{n=1}^\infty \frac{(-1)^{n+1}}{n} \sin(nx) {\sinh(ny) \over \sinh(n\pi)}.</math>
Όπου, sinh είναι η [[υπερβολικό ημίτονο|υπερβολική ημιτονοειδής]] συνάρτηση. Αυτή η λύση της εξίσωσης της θερμότητας 
προκύπτει από τον πολλαπλασιασμό κάθε όρου του &nbsp; {{EquationNote|Eq.1}} με sinh(''ny'')/sinh(''n''π). Ενώ στο παράδειγμά μας η συνάρτηση ''s''(''x'') φαίνεται να έχει μια άσκοπα περίπλοκη σειρά Fourier, η κατανομή της θερμότητας ''T''(''x'',&nbsp;''y'') είναι τετριμμένη. Η συνάρτηση ''T'' δεν μπορεί να γραφεί ως  [[έκφραση κλειστής μορφής]]. Η μέθοδος επίλυσης του προβλήματος της θερμότητας κατασκευάστηκε πιθανόν από το έργο του Fourier.

===Άλλες εφαρμογές===

Μια άλλη εφαρμογή των σειρών Fourier είναι η επίλυση του [[πρόβλημα Basel|προβλήματος Basel]] χρησιμοποιώντας το [[θεώρημα Parseval]]. Το παράδειγμα γενικεύεται και μπορεί κανείς να υπολογίσει τη [[ζήτα συνάρτηση Riemann|ζ]](2''n''), για οποιοδήποτε θετικό ακέραιο &nbsp;''n''.

===Άλλοι κοινοί συμβολισμοί===

Ο συμβολισμός ''c''<sub>''n''</sub> είναι ανεπαρκής για να συζητηθούν οι συντελεστές Fourier διαφόρων συναρτήσεων.  Ωστόσο, αντικαθίσταται συνήθως από μια τροποποιημένη μορφή της συνάρτησης (''s'', σ'αυτήν την περίπτωση), όπως ένα <math>\scriptstyle\hat{s}</math> ή ''S'', και ο συμβολισμός της συνάρτησης αντικαθίσταται συνήθως από τον παρακάτω τύπο.
:<math>\begin{align}
s_{\infty}(x) &= \sum_{n=-\infty}^\infty \hat{s}(n)\cdot e^{i\tfrac{2\pi nx}{P}} \\
&= \sum_{n=-\infty}^\infty S[n]\cdot e^{j\tfrac{2\pi nx}{P}} &&\scriptstyle \text{common engineering notation}
\end{align}</math>
Στη μηχανική, συγκεκριμένα όταν η μεταβλητή ''x'' εκφράζει χρόνο, ο συντελεστής της σειράς καλείται [[πεδίο συχνότητας]] αναπαράστασης. Οι αγκύλες χρησιμοποιούνται συχνά για να δώσουν έμφαση στο ότι το πεδίο αυτής της συνάρτησης είναι ένα διακριτό σύνολο συχνοτήτων.

Μια άλλη κοινή αναπαράσταση του πεδίου συχνοτήτων χρησιμοποιεί τους συντελεστές των σειρών Fourier για να διαμορφώσει τη [[συνάρτηση δειγματοληψίας Dirac|χτένα Dirac]]:
:<math>S(f) \ \stackrel{\mathrm{def}}{=} \ \sum_{n=-\infty}^\infty S[n]\cdot \delta \left(f-\frac{n}{P}\right),</math>

όπου ''f'' αναπαριστά ένα συνεχές πεδίο συχνοτήτων.  Όπου η μεταβλητή ''x'' έχει μονάδες δευτερολέπτων, ''f'' έχει μονάδες [[hertz|χέρτζ]]. Τα «δόντια» της χτένας Dirac έχουν τοποθετηθεί κατά πολλαπλάσια (π.χ. [[αρμονικές]]) του 1/P, το οποίο καλείται [[θεμελιώδης συχνότητα]]. Το &nbsp;<math>\scriptstyle s_{\infty}(x)</math>&nbsp; μπορεί να αντικατασταθεί από την αναπαράσταση του [[αντίστροφος μετασχηματισμός Fourier| αντίστροφου μετασχηματισμού Fourier]]:
:<math>\begin{align}
\mathcal{F}^{-1}\{S(f)\} &= \int_{-\infty}^\infty \left( \sum_{n=-\infty}^\infty S[n]\cdot \delta \left(f-\frac{n}{P}\right)\right) e^{i 2 \pi f x}\,df,  \\
&= \sum_{n=-\infty}^\infty S[n]\cdot \int_{-\infty}^\infty \delta\left(f-\frac{n}{P}\right) e^{i 2 \pi f x}\,df,  \\
&= \sum_{n=-\infty}^\infty S[n]\cdot e^{i\tfrac{2\pi nx}{P}} \ \ \stackrel{\mathrm{def}}{=} \ s_{\infty}(x).
\end{align}</math>
Η συνάρτηση ''S''(''f'') που δημιουργήσαμε συνήθως αναφέρεται ως '''μετασχηματισμός Fourier''', μολονότι το ολοκλήρωμα Fourier της περιοδικής συνάρτησης δε συγκλίνει στις αρμονικές συχνότητες.<ref group="nb"> Αφού το ολοκλήρωμα που ορίζει ο μετασχηματισμός Fourier της περιοδικής συνάρτησης δε συγκλίνει, είναι απαραίτητο να εξετάσουμε την περιοδική συνάρτηση και τη μετατροπή της ως [[κατανομή]]. Με αυτήν την έννοια <math>\mathcal{F} \left\{ e^{i \frac{2\pi nx}{P} } \right\}</math> είναι μία [[δέλτα συνάρτηση Dirac]], η οποία είναι γνωστό παράδειγμα κατανομών.</ref>

==Ξεκίνημα==
{{cquote|<math>\varphi(y)=a_0\cos\frac{\pi y}{2}+a_1\cos 3\frac{\pi y}{2}+a_2\cos5\frac{\pi y}{2}+\cdots.</math>

πολλαπλασιάζοντας και τα 2 μέλη με <math>\cos(2k+1)\frac{\pi y}{2}</math>, και τότε ολοκληρώνοντας από <math>y=-1</math> σε <math>y=+1</math> προκύπτει:

: <math>a_k=\int_{-1}^1\varphi(y)\cos(2k+1)\frac{\pi y}{2}\,dy.</math>
|30px|30px|Joseph Fourier|[[Mémoire sur la propagation de la chaleur dans les corps solides]]. (1807)<ref>[http://gallica.bnf.fr/ark:/12148/bpt6k33707.image.r=Oeuvres+de+Fourier.f223.pagination.langFR Gallica – Fourier, Jean-Baptiste-Joseph (1768–1830). Oeuvres de Fourier. 1888, pp. 218–219,<!-- Bot generated title -->]</ref><ref group="nb">Αυτά τα λόγια δεν είναι αυστηρά του Φουριέ.  Ενώ στο άρθρο παρατίθενται ο Φουριέ ως συγγραφέας του, επισημαίνεται σε σχετική υποσημείωση ότι το άρθρο έχει γραφτεί στην πραγματικότητα από τον Poisson (το γεγονός ότι δεν έχει γραφτεί από το Φουριέ είναι επίσης ξεκάθαρο από τη συνεπή χρήση του τρίτου προσώπου για να αναφερθεί σ' αυτόν) και ότι παρουσιάζεται, "για λόγους ιστορικού ενδιαφέροντος", σαν να ήταν του Φουριέ πραγματική memoire.</ref>}}

Αυτό δίνει άμεσα οποιοδήποτε συντελεστή ''a<sub>k</sub>'' της τριγωνομετρικής σειράς φ(''y'') για οποιαδήποτε συνάρτηση η οποία έχει τέτοια επέκταση. Λειτουργεί επειδή αν η φ έχει μια τέτοια επέκταση, τότε (κάτω από κατάλληλες προϋποθέσεις) 
το ολοκλήρωμα

:<math>\begin{align}
a_k&=\int_{-1}^1\varphi(y)\cos(2k+1)\frac{\pi y}{2}\,dy \\
&= \int_{-1}^1\left(a\cos\frac{\pi y}{2}\cos(2k+1)\frac{\pi y}{2}+a'\cos 3\frac{\pi y}{2}\cos(2k+1)\frac{\pi y}{2}+\cdots\right)\,dy
\end{align}</math>

μπορεί να εκτελέσει κάθε όρο χωριστά. Αλλά όλοι οι όροι περιέχουν <math>\cos(2j+1)\frac{\pi y}{2} \cos(2k+1)\frac{\pi y}{2}</math> για {{nowrap|''j'' &ne; ''k''}} μηδενίζοντας τότε το ολοκλήρωμα από −1 εώς 1, αφήνοντας μόνο τον ''k'' οστό όρο.

Σε αυτές τις λίγες γραμμές, οι οποίες είναι κοντά στο σύγχρονο [[μαθηματικό φορμαλισμό]] χρησιμοποιούνται στις σειρές Fourier, ο Fourier δημιούργησε επανάσταση τόσο στα μαθηματικά όσο και στη φυσική. Αν και παρόμοιες τριγωνομετρικές συναρτήσεις έχουν χρησιμοποιηθεί προηγουμένως από τους [[Λέοναρντ Όιλερ|Όιλερ]], [[Ζαν λε Ρον Ντ'Αλαμπέρ|Ντ'Αλαμπέρ]], [[Ντάνιελ Μπερνούλι]] και [[Καρλ Φρίντριχ Γκάους|Γκάους]], ο Φουριέ πίστευε ότι τέτοιες τριγωνομετρικές συναρτήσεις μπορούν να εκπροσωπήσουν  οποιαδήποτε αυθαίρετη συνάρτηση.  Η προσπάθεια για την εύρεση της πραγματικές αλήθειας οδήγησε σε σημαντικές θεωρίες, όπως της  [[Συγκλίνουσες σειρές|σύγκλισης]], [[κενής συνάρτησης]], και [[αρμονικής ανάλυσης]].
Όταν ο Fourier δημοσίευσε αργότερα ένα δοκίμιο σε έναν διαγωνισμό το 1811, η επιτροπή η οποία καταρτιζόταν από τους [[Joseph Louis Lagrange|Lagrange]], [[Πιερ-Σιμόν ντε Λαπλάς|Λαπλάς]], [[Étienne-Louis Malus|Μαλους]] και [[Αντριέν-Μαρί Λεζάντρ|Λεζάντρ]], μεταξύ πολλών) ανέφερε: ''...ο τρόπος με τον οποίον ένας συγγραφέας φτάνει σε αυτές τις εξισώσεις αντιμετωπίζει πολλές δυσκολίες και...η ανάλυσή του για την απόδειξή τους αφήνει κάτι για βελτίωση στο σκορ της γενικότητας με μεγαλύτερη [[Μαθηματική ακρίβεια|αυστηρότητα]]''.

===Γέννηση της αρμονικής ανάλυσης===
Από την εποχή του Fourier, πολλές διαφορετικές προσεγγίσεις για τον προσδιορισμό και την κατανόηση της έννοιας της σειράς Fourier έχουν αναπτυχθεί, οι οποίες συνάδουν η μία με την άλλη, αλλά η κάθε μία από τις οποίες τονίζουν διαφορετικές πτυχές του θέματος. Μερικές από τα πιο ισχυρές και κομψές προσεγγίσεις βασίζονται σε μαθηματικές ιδέες και εργαλεία που δεν ήταν διαθέσιμα κατά τα χρόνια του Fourier συμπληρώνοντας το πρωτότυπο έργο του. Ο Fourier όρισε αρχικά τη σειρά Fourier για πραγματικές συναρτήσεις, και χρησιμοποίησε αργότερα τις ημιτονοειδείς και συνημιτονοειδείς ως [[βασική οικογένεια αλγεβρικών συναρτήσεων]] για την αποσύνθεση.

Πολλοί άλλοι [[παρόμοιοι μετασχηματισμοί Fourier]] έκτοτε έχουν οριστεί, επεκτείνοντας την αρχική ιδέα σε άλλες εφαρμογές. Αυτός ο γενικός κλάδος της έρευνας ονομάζεται [[αρμονική ανάλυση]]. Μια σειρά Fourier, ωστόσο, μπορεί να χρησιμοποιηθεί μόνο για περιοδικές συναρτήσεις, ή για συναρτήσεις που οριοθετούνται σε (συμπαγές) διάστημα.

== Επεκτάσεις ==

=== Σειρές Φουριέ σε τετράγωνο ===
Μπορούμε επίσης να ορίσουμε σειρές Φουριέ για συναρτήσεις με δύο μεταβλητές ''x'' και ''y'' στο τετράγωνο [−π,&nbsp;π]×[−π,&nbsp;π]:
:<math>f(x,y) = \sum_{j,k \in \mathbf{Z}\text{ (integers)}} c_{j,k}e^{ijx}e^{iky},</math>
:<math>c_{j,k} = {1 \over 4 \pi^2} \int_{-\pi}^\pi \int_{-\pi}^\pi f(x,y) e^{-ijx}e^{-iky}\, dx \, dy.</math>
Εκτός από το ότι είναι χρήσιμες για την επίλυση μερικών διαφορικών εξισώσεων όπως η εξίσωση της θερμότητας, μία αξιοσημείωτη εφαρμογή των σειρών Φουριέ σε τετράγωνο είναι η [[συμπίεση εικόνας]]. Ειδικότερα, η μορφή [[jpeg]] συμπίεσης εικόνων χρησιμοποιεί το δισδιάστατο [[διακριτό μετασχηματισμό συνημιτόνου]], ο οποίος είναι ένας μετασχηματισμός Φουριέ που χρησιμοποιεί τις βασικές συνημιτονοειδείς συναρτήσεις.


=== Σειρές Φουριέ σε Bravais-πλέγμα-περιοδικών-συναρτήσεων ===
Το [[πλέγμα Bravais]] ορίζεται ως το σύνολο των διανυσμάτων της μορφής:
:<math>\mathbf{R} = n_{1}\mathbf{a}_{1} + n_{2}\mathbf{a}_{2} + n_{3}\mathbf{a}_{3}</math>
όπου ''n<sub>i</sub>'' είναι ακέραιοι και '''a'''<sub>''i''</sub> είναι τρία γραμμικά ανεξάρτητα διανύσματα. Υποθέτοντας ότι έχουμε τυχαία συνάρτηση, ''f''('''r'''), η οποία ικανοποιεί την παρακάτω συνθήκη για οποιοδήποτε διάνυσμα πλέγματος Bravais '''R''': ''f''('''r''') = ''f''('''r'''&nbsp;+&nbsp;'''R'''),  θα μπορούσαμε να φτιάξουμε μία σειρά Φουριέ. Αυτό το είδος συνάρτησης θα μπορούσε να είναι, για παράδειγμα, το ενεργό δυναμικό που ένα ηλεκτρόνιο "αισθάνεται" μέσα σε ένα περιοδικό κρύσταλλο. Είναι χρήσιμο να φτιάχνουμε μία σειρά Φουριέ του δυναμικού αφού έχουμε εφαρμόσει το [[θεώρημα του Bloch]]. Αρχικά, μπορούμε να γράψουμε οποιοδήποτε αυθαίρετο διάνυσμα '''r''' στο σύστημα συντεταγμένων του πλέγματος:

: <math>\mathbf{r} = x_1\frac{\mathbf{a}_{1}}{a_1}+ x_2\frac{\mathbf{a}_{2}}{a_2}+ x_3\frac{\mathbf{a}_{3}}{a_3},</math>

όπου ''a''<sub>''i''</sub> = |'''a'''<sub>''i''</sub>|.

Έτσι μπορούμε να ορίσουμε μία νέα συνάρτηση,

: <math>g(x_1,x_2,x_3) := f(\mathbf{r}) = f \left (x_1\frac{\mathbf{a}_{1}}{a_1}+x_2\frac{\mathbf{a}_{2}}{a_2}+x_3\frac{\mathbf{a}_{3}}{a_3} \right ).</math>

Αυτή η νέα συνάρτηση, <math>g(x_1,x_2,x_3)</math>, είναι τώρα μία συνάρτηση τριών μεταβλητών, η κάθε μία από τις οποίες έχει περιοδικότητα ''a''<sub>1</sub>, ''a''<sub>2</sub>, ''a''<sub>3</sub> αντίστοιχα: <math>g(x_1,x_2,x_3) = g(x_1+a_1,x_2,x_3) = g(x_1,x_2+a_2,x_3) = g(x_1,x_2,x_3+a_3)</math>.
Αν γράψουμε μία σειρά του ''g'' στο διάστημα [0, ''a''<sub>1</sub>] για ''x''<sub>1</sub>, μπορούμε να ορίσουμε το εξής:

:<math>h^\mathrm{one}(m_1, x_2, x_3) := \frac{1}{a_1}\int_0^{a_1} g(x_1, x_2, x_3)\cdot e^{-i 2\pi \frac{m_1}{a_1} x_1}\, dx_1</math>

Και μετά μπορούμε να γράψουμε:

:<math>g(x_1, x_2, x_3)=\sum_{m_1=-\infty}^\infty h^\mathrm{one}(m_1, x_2, x_3) \cdot e^{i 2\pi \frac{m_1}{a_1} x_1}</math>

Ορίζοντας έτσι:

:<math>
\begin{align}
h^\mathrm{two}(m_1, m_2, x_3) & := \frac{1}{a_2}\int_0^{a_2} h^\mathrm{one}(m_1, x_2, x_3)\cdot e^{-i 2\pi \frac{m_2}{a_2} x_2}\, dx_2 \\[12pt]
& = \frac{1}{a_2}\int_0^{a_2} dx_2 \frac{1}{a_1}\int_0^{a_1} dx_1 g(x_1, x_2, x_3)\cdot e^{-i 2\pi \left(\frac{m_1}{a_1} x_1+\frac{m_2}{a_2} x_2\right)}
\end{align}
</math>

Μπορούμε να γράψουμε το g ακόμη μία φορά ως:

:<math>g(x_1, x_2, x_3)=\sum_{m_1=-\infty}^\infty \sum_{m_2=-\infty}^\infty h^\mathrm{two}(m_1, m_2, x_3) \cdot e^{i 2\pi \frac{m_1}{a_1} x_1} \cdot e^{i 2\pi \frac{m_2}
{a_2} x_2}</math>

Τελικά εφαρμόζοντας το ίδιο για την τρίτη συντεταγμένη, ορίζουμε:

: <math>
\begin{align}
h^\mathrm{three}(m_1, m_2, m_3) & := \frac{1}{a_3}\int_0^{a_3} h^\mathrm{two}(m_1, m_2, x_3)\cdot e^{-i 2\pi \frac{m_3}{a_3} x_3}\, dx_3 \\[12pt]
& = \frac{1}{a_3}\int_0^{a_3} dx_3 \frac{1}{a_2}\int_0^{a_2} dx_2 \frac{1}{a_1}\int_0^{a_1} dx_1 g(x_1, x_2, x_3)\cdot e^{-i 2\pi \left(\frac{m_1}{a_1} x_1+\frac{m_2}{a_2} x_2 + \frac{m_3}{a_3} x_3\right)}
\end{align}
</math>

Γράφουμε το ''g'' ως:

:<math>g(x_1, x_2, x_3)=\sum_{m_1=-\infty}^\infty \sum_{m_2=-\infty}^\infty \sum_{m_3=-\infty}^\infty h^\mathrm{three}(m_1, m_2, m_3) \cdot e^{i 2\pi \frac{m_1}{a_1} x_1} \cdot e^{i 2\pi \frac{m_2}{a_2} x_2}\cdot e^{i 2\pi \frac{m_3}{a_3} x_3}</math>

Αναδιοργανώνουμε:

:<math>g(x_1, x_2, x_3)=\sum_{m_1, m_2, m_3 \in \Z } h^\mathrm{three}(m_1, m_2, m_3) \cdot e^{i 2\pi \left( \frac{m_1}{a_1} x_1+ \frac{m_2}{a_2} x_2 + \frac{m_3}{a_3} x_3\right)}. </math>

Τώρα, κάθε ''ανάστροφο'' πλέγμα διανυσμάτων μπορεί να γραφεί ως <math>\mathbf{K} = l_{1}\mathbf{g}_{1} + l_{2}\mathbf{g}_{2} + l_{3}\mathbf{g}_{3}</math>, όπου ''l<sub>i</sub>'' είναι ακέραιοι και '''g'''<sub>''i''</sub> είναι το ανάστροφο πλέγμα διανυσμάτων, μπορούμε να χρησιμοποιήσουμε το γεγονός ότι <math>\mathbf{g_i} \cdot \mathbf{a_j}=2\pi\delta_{ij}</math> για να υπολογίσουμε ότι για οποιοδήποτε αυθαίρετο ανάστροφο πλέγμα διανυσμάτων '''K''' και αυθαίρετο διάνυσμα στο χώρο '''r''', το αριθμητικό τους γινόμενο είναι: 

:<math>\mathbf{K} \cdot \mathbf{r} = \left ( l_{1}\mathbf{g}_{1} + l_{2}\mathbf{g}_{2} + l_{3}\mathbf{g}_{3} \right ) \cdot  \left (x_1\frac{\mathbf{a}_{1}}{a_1}+ x_2\frac{\mathbf{a}_{2}}{a_2} +x_3\frac{\mathbf{a}_{3}}{a_3} \right ) = 2\pi \left( x_1\frac{l_1}{a_1}+x_2\frac{l_2}{a_2}+x_3\frac{l_3}{a_3} \right ).</math>

Είναι λοιπόν ξεκάθαρο ότι στη δική μας επέκταση, το άθροισμα εξαρτάται στην πραγματικότητα από το ανάστροφο πλέγμα διανυσμάτων:

:<math>f(\mathbf{r})=\sum_{\mathbf{K}} h(\mathbf{K}) \cdot e^{i \mathbf{K} \cdot \mathbf{r}}, </math>

όπου

:<math>h(\mathbf{K}) = \frac{1}{a_3}\int_0^{a_3} dx_3 \frac{1}{a_2}\int_0^{a_2} dx_2 \frac{1}{a_1}\int_0^{a_1} dx_1 f\left(x_1\frac{\mathbf{a}_{1}}{a_1}+x_2\frac{\mathbf{a}_{2}}{a_2}+x_3\frac{\mathbf{a}_{3}}{a_3} \right)\cdot e^{-i \mathbf{K} \cdot \mathbf{r}}. </math>

Υποθέτοντας

:<math>\mathbf{r} = (x,y,z) = x_1\frac{\mathbf{a}_{1}}{a_1}+x_2\frac{\mathbf{a}_{2}}{a_2}+x_3\frac{\mathbf{a}_{3}}{a_3},</math>

μπορούμε να λύσουμε αυτό το σύστημα των τριών γραμμικών εξισώσεων ως προς ''x'', ''y'', και ''z'' συναρτήσει των ''x''<sub>1</sub>, ''x''<sub>2</sub> και ''x''<sub>3</sub> προκειμένου να υπολογίσουμε το στοιχείο του όγκου σε ένα αρχέτυπο [[καρτεσιανό σύστημα συντεταγμένων]]. Από τη στιγμή που έχουμε τα ''x'', ''y'', και ''z'' συναρτήσει των ''x''<sub>1</sub>, ''x''<sub>2</sub> και ''x''<sub>3</sub>, μπορούμε να υπολογίσουμε την Ιακωβιανή ορίζουσα:

:<math>\begin{bmatrix}
\dfrac{\partial x_1}{\partial x} & \dfrac{\partial x_1}{\partial y} & \dfrac{\partial x_1}{\partial z} \\[3pt]
\dfrac{\partial x_2}{\partial x} & \dfrac{\partial x_2}{\partial y} & \dfrac{\partial x_2}{\partial z} \\[3pt]
\dfrac{\partial x_3}{\partial x} & \dfrac{\partial x_3}{\partial y} & \dfrac{\partial x_3}{\partial z}
\end{bmatrix}</math>

η οποία μετά από υπολογισμούς και εφαρμόζοντας μη τετριμμένες ταυτότητες εξωτερικού γινομένου μπορεί να αποδειχθεί ότι είναι ίση με:

: <math>\frac{a_1 a_2 a_3}{\mathbf{a_1}\cdot(\mathbf{a_2} \times \mathbf{a_3})}</math>

(ίσως είναι επωφελές για χάρη της απλούστευσης των υπολογισμών, να δουλεύουμε σε ένα τέτοιο καρτεσιανό σύστημα συντεταγμένων, κατά το οποίο τυχαίνει το '''a'''<sub>1</sub> να είναι παράλληλο στον άξονα των x, το '''a'''<sub>2</sub> να ανήκει στο επίπεδο x-y, και το '''a'''<sub>3</sub> έχει τις συνιστώσες του και στους τρεις άξονες). Ο παρονομαστής είναι ο όγκος της αρχικής μονάδας της στερεής σφαίρας ο οποίος περικλείεται από τα τρία αρχικά διανύσματα '''a'''<sub>1</sub>, '''a'''<sub>2</sub> και '''a'''<sub>3</sub>. Πιο συγκεκριμένα, γνωρίζουμε πλέον ότι

:<math>dx_1 \, dx_2 \, dx_3 = \frac{a_1 a_2 a_3}{\mathbf{a_1}\cdot(\mathbf{a_2} \times \mathbf{a_3})} \cdot dx \, dy \, dz. </math>

Μπορούμε πλέον να γράψουμε το ''h''('''K''') σαν ολοκλήρωμα με το παραδοσιακό σύστημα συντεταγμένων του όγκου της αρχικής στερεής σφαίρας, αντί με τις ''x''<sub>1</sub>, ''x''<sub>2</sub> και ''x''<sub>3</sub> μεταβλητές:

:<math>h(\mathbf{K}) = \frac{1}{\mathbf{a_1}\cdot(\mathbf{a_2} \times \mathbf{a_3})}\int_{C} d\mathbf{r} f(\mathbf{r})\cdot e^{-i \mathbf{K} \cdot \mathbf{r}} </math>

Και το ''C'' είναι η αρχική μονάδα της στερεής σφαίρας, έτσι, <math>\mathbf{a_1}\cdot(\mathbf{a_2} \times \mathbf{a_3})</math> είναι ο όγκος της αρχικής μονάδας της στερεής σφαίρας.

=== Ερμηνεία χώρου Hilbert ===
{{main|χώρος Hilbert}}
Στη γλώσσα των [[χώρος Χίλμπερτ|χώρων Hilbert]], το σύνολο των συναρτήσεων {''<math>e_n=e^{2{\pi}inx}</math>''; ''n'' ∈ '''Z'''} είναι μία [[ορθοκανονική βάση]] στο χώρο ''L''<sup>2</sup>([−π,&nbsp;π]) των τετραγωνικά ολοκληρώσιμων συναρτήσεων στο [−π,&nbsp;π]. Αυτός ο χώρος είναι στην πραγματικότητα ένας χώρος Hilbert με [[εσωτερικό γινόμενο]] που δίνεται για δύο οποιαδήποτε στοιχεία ''f'' και ''g'' από τον τύπο
:<math>\langle f,\, g \rangle \;\stackrel{\mathrm{def}}{=} \; \frac{1}{2\pi}\int_{-\pi}^{\pi} f(x)\overline{g(x)}\,dx.</math>
Οι βασικές σειρές Φουριέ που δίνουν αποτελέσματα για τους χώρους Hilbert μπορούν να γραφούν ως
:<math>f=\sum_{n=-\infty}^\infty \langle f,e_n \rangle \, e_n.</math>
[[File:Fourier series integral identities.gif|thumb|400px|right|Τα ημίτονα και τα συνημίτονα σχηματίζουν ένα ορθοκανονικό σύνολο, όπως απεικονίζεται παραπάνω. Το ολοκλήρωμα του ημιτόνου, του συνημιτόνου και το γινόμενό τους είναι ίσο με μηδέν (οι πράσινες και οι κόκκινες περιοχές είναι ίσες και έχουν ακυρωθεί) όπου ''m'', ''n'' ή οι συναρτήσεις είναι διαφορετικές, και π μόνο όταν τα ''m'' και ''n'' είναι ίσα, και η συνάρτηση που χρησιμοποιείται είναι η ίδια.]]
Αυτό αντιστοιχεί ακριβώς στη μιγαδική εκθετική προσέγγιση που δίνεται παραπάνω. Η εκδοχή με τα ημίτονα και τα συνημίτονα αποδεικνύεται επίσης με την ερμηνεία του χώρου του Hilbert. Πράγματι,τα ημίτονα και τα συνημίτονα σχηματίζουν ένα [[ορθοκανονικό σύνολο]]:
:<math>\int_{-\pi}^{\pi} \cos(mx)\, \cos(nx)\, dx = \pi \delta_{mn}, \quad m, n \ge 1, \, </math>
:<math>\int_{-\pi}^{\pi} \sin(mx)\, \sin(nx)\, dx = \pi \delta_{mn}, \quad m, n \ge 1</math>
(όπου δ<sub>''mn''</sub> είναι το [[δέλτα του Κρόνεκερ]]), και
:<math>\int_{-\pi}^{\pi} \cos(mx)\, \sin(nx)\, dx = 0;\,</math>
επιπλέον, τα ημίτονα και τα συνημίτονα είναι ορθογώνια στη συνεχή συνάρτηση '''1'''.  Μία ''ορθοκανονική βάση'' στον ''L''<sup>2</sup>([−π, π]) αποτελείται από πραγματικές συναρτήσεις που σχηματίζονται από τις συναρτήσεις 1/{{sqrt|2π}}&nbsp;'''1''' και 1/{{sqrt|π}}&nbsp;cos(''nx''),&thinsp; 1/{{sqrt|π}}&nbsp;sin(''nx'') με ''n''&nbsp;= 1,&nbsp;2,...&nbsp; Η πυκνότητα του αναπτύγματός τους (span) είναι η συνέπεια του [[θεωρήματος Stone–Weierstrass]], αλλά προκύπτει επίσης από τις ιδιότητες των κλασσικών πυρήνων όπως οι [[πυρήνες Fejér]].

== Ιδιότητες ==
Λέμε ότι η ''f'' ανήκει στο <math>C^k(\mathbb{T})</math> αν η ''f'' είναι 2π-περιοδική συνάρτηση στον '''R''' η οποία είναι ''k'' φορές διαφορίσιμη, και η ''k''-οστή παράγωγος είναι συνεχής.

* Αν η ''f'' είναι μία 2π-περιοδική [[περιττή συνάρτηση]], τότε ''a<sub>n</sub>'' = 0 για κάθε ''n''.
* Αν η ''f'' είναι μία 2π-περιοδική [[άρτια συνάρτηση]], τότε ''b<sub>n</sub>'' = 0 για κάθε ''n''.
* Αν η ''f'' είναι [[ολοκληρώσιμη]], <math>\lim_{|n|\rightarrow \infty}\hat{f}(n)=0</math>, <math>\lim_{n\rightarrow +\infty}a_n=0</math> και <math>\lim_{n\rightarrow +\infty}b_n=0.</math>  Το αποτέλεσμα αυτό είναι γνωστό ως [[λήμμα Riemann–Lebesgue]].
* Μία [[διπλά απειροστή]] ακολουθία {''a<sub>n</sub>''} στο ''c''<sub>0</sub>('''Z''') είναι η ακολουθία των συντελεστών Φουριέ μίας συνάρτησης στον ''L''<sup>1</sup>([0,&nbsp;2π]) [[αν και μόνο αν]] είναι συνέλιξη δύο συναρτήσεων στον <math>\ell^2(\mathbf{Z})</math>. Βλέπε [http://mathoverflow.net/questions/46626/characterizations-of-a-linear-subspace-associated-with-fourier-series]
* Αν <math>f \in C^1(\mathbb{T})</math>, τότε οι συντελεστές Φουριέ <math>\widehat{f'}(n)</math> της παραγώγου ''f′'' μπορούν να εκφραστούν συναρτήσει των συντελεστών Φουριέ <math>\hat{f}(n)</math> της συνάρτησης ''f'', μέσω του τύπου <math>\widehat{f'}(n) = in \hat{f}(n)</math>.
* Αν <math>f \in C^k(\mathbb{T})</math>, τότε <math>\widehat{f^{(k)}}(n) = (in)^k \hat{f}(n)</math>. Πιο συγκεκριμένα, όταν η <math>\widehat{f^{(k)}}(n)</math> τείνει στο μηδέν, προκύπτει ότι το <math>|n|^k\hat{f}(n)</math> τείνει στο μηδέν, το οποίο σημαίνει ότι οι συντελεστές Φουριέ συγκλίνουν στο μηδέν πιο γρήγορα από την ''k''οστή δύναμη του ''n''.
* [[Το θεώρημα του Parseval]]. Αν η ''f'' ανήκει στον ''L''<sup>2</sup>([−π,&nbsp;π]), τότε <math>\sum_{n=-\infty}^\infty |\hat{f}(n)|^2 = \frac{1}{2\pi}\int_{-\pi}^{\pi} |f(x)|^2 \, dx</math>.
* [[Το Θεώρημα του Plancherel]]. Αν <math>c_0,\, c_{\pm 1},\, c_{\pm 2},\ldots</math> είναι συντελεστές και <math>\sum_{n=-\infty}^\infty |c_n|^2 < \infty</math> τότε υπάρχει μία μοναδική συνάρτηση <math>f\in L^2([-\pi,\pi])</math> τέτοια ώστε <math>\hat{f}(n) = c_n</math> για κάθε ''n''.

* Το πρώτο θεώρημα συνέλιξης υποστηρίζει ότι αν οι ''f'' και ''g'' ανήκουν στον ''L''<sup>1</sup>([−π,&nbsp;π]), οι συντελεστές των σειρών Φουριέ της 2π-περιοδικής [[συνέλιξης]] των ''f'' και ''g'' δίνονται από τον τύπο:

::<math>[\widehat{f*_{2\pi}g}](n) = 2\pi\cdot \hat{f}(n)\cdot\hat{g}(n),</math><ref group="nb"> Ο παράγοντας της κλίμακας είναι πάντα ίσος με την περίοδο, 2π σε αυτήν την περίπτωση.<!-- Μπορείς εύκολα να επαληθεύσεις ότι ο παράγοντας είναι απαραίτητος εδώ, επιλέγοντας τις f και g να είναι σταθερές 1. --></ref>

:όπου:
::<math>\begin{align}
\left[f*_{2\pi}g\right](x) \ &\stackrel{\mathrm{def}}{=} \int_{-\pi}^{\pi} f(u)\cdot g[\text{pv}(x-u)] du, && 
\big(\text{and }\underbrace{\text{pv}(x)  \ \stackrel{\mathrm{def}}{=} \text{Arg}\left(e^{ix}\right)
}_{\text{principal value}}\big)\\
&= \int_{-\pi}^{\pi} f(u)\cdot g(x-u)\, du, &&\scriptstyle \text{when g(x) is 2}\pi\text{-periodic.}\\
&= \int_{2\pi} f(u)\cdot g(x-u)\, du, &&\scriptstyle \text{when both functions are 2}\pi\text{-periodic, and the integral is over any 2}\pi\text{ interval.}
\end{align}</math>

* Το δεύτερο θεώρημα συνέλιξης υποστηρίζει ότι οι συντελεστές των σειρών Φουριέ του γινομένου των ''f'' και ''g'' δίνονται από τη [[Συνέλιξη#Διακριτή συνέλιξη|διακριτή συνέλιξη]] των <math>\hat f</math> και <math>\hat g</math> ακολουθιών:

::<math>[\widehat{f\cdot g}](n) = [\hat{f}*\hat{g}](n).</math>

=== Συμπαγείς ομάδες ===
{{main|Συμπαγής ομάδα|ομάδα Lie|θεώρημα Peter–Weyl}}

Μία από τις ενδιαφέρουσες ιδιότητες των μετασχηματισμών Φουριέ που έχουμε αναφέρει, είναι ότι φέρουν συνέλιξη σε σημειακά γινόμενα.  Αν αυτή είναι η ιδιότητα που ψάχνουμε να διατηρήσουμε, κάποιος μπορεί να παράγει σειρές Φουριέ σε οποιαδήποτε [[συμπαγή ομάδα]]. Τυπικά παραδείγματα περιλαμβάνουν τις [[κλασσικές ομάδες]] που είναι συμπαγείς. Αυτό γενικεύει τους μετασχηματισμούς Φουριέ σε όλους τους χώρους της μορφής ''L''<sup>2</sup>(''G''), όπου ''G'' είναι ένας συμπαγής χώρος, με τέτοιο τρόπο ώστε οι μετασχηματισμοί Φουριέ να φέρουν [[συνελίξεις]] σε σημειακά γινόμενα. Οι σειρές Φουριέ υπάρχουν και συγκλίνουν με παρόμοιους τρόπους με αυτούς στο διάστημα [−π,&nbsp;π].

Μία εναλλακτική επέκταση των συμπαγών ομάδων είναι το [[θεώρημα Peter–Weyl]], το οποίο αποδεικνύει τα αποτελέσματα των παρουσιάσεων των συμπαγών ομάδων ανάλογα με αυτά των πεπερασμένων ομάδων.

=== Πολλαπλότητα Riemann ===
[[File:AtomicOrbital n4 l2.png|thumb|right|Τα [[ατομικά τροχιακά]] της [[χημείας]] είναι [[σφαιρικά αρμονικά]] και μπορούν να χρησιμοποιηθούν για να παράγουν σειρές Φουριέ στη [[σφαίρα]].]]

{{main|Τελεστής Laplace|Πολλαπλότητα Riemann}}

Αν το πεδίο ορισμού δεν είναι ομάδα, τότε δεν υπάρχει εγγενώς καθορισμένη συνέλιξη. Παρ' όλα αυτά, αν ''X'' είναι μία [[Συμπαγής χώρος|συμπαγής]] [[πολλαπλότητα Riemann]], έχει [[τελεστή Laplace–Beltrami]]. Ο τελεστής Laplace–Beltrami είναι ένας διαφορικός τελεστής που αντιστοιχεί στον [[τελεστή Laplace]] για την πολλαπλότητα Riemann ''X''. Έπειτα, αναλογικά, κάποιος μπορεί να σκεφτεί εξισώσεις θερμότητας στην ''X''.   Από τη στιγμή που ο Φουριέ έφθασε στη βάση του προσπαθώντας να λύσει την εξίσωση της θερμότητας, η φυσική γενίκευση είναι να χρησιμοποιήσουμε τις χαρακτηριστικές λύσεις των τελεστών Laplace–Beltrami σαν βάση. Αυτό γενικεύει τις σειρές Φουριέ σε χώρους της μορφής ''L''<sup>2</sup>(''X''), όπου ''X'' είναι η πολλαπλότητα Riemann. Οι σειρές Φουριέ συγκλίνουν με παρόμοιους τρόπους με αυτούς στο διάστημα [−π,&nbsp;π]. Ένα τυπικό παράδειγμα είναι να πάρουμε την ''X'' ως σφαίρα με συνήθη μετρική, όπου η βάση Φουριέ αποτελείται από [[σφαιρικά αρμονικά]].

=== Τοπικά συμπαγείς Αβελιανές ομάδες ===
{{main|Δυαδικότητα Pontryagin}}

Η γενίκευση των συμπαγών ομάδων που συζητήθηκαν παραπάνω δεν γενικεύουν τις μη συμπαγείς, μη Αβελιανές ομάδες. Παρ' όλα αυτά υπάρχει μία απλή γενίκευση για τις Τοπικά Συμπαγείς Αβελιανές (ΤΣΑ) ομάδες.

Αυτό γενικεύει τους μετασχηματισμούς Φουριέ στους χώρους ''L''<sup>1</sup>(''G'') ή ''L''<sup>2</sup>(''G''), όπου ''G'' είναι μία ΤΣΑ ομάδα. Αν ''G'' είναι συμπαγής, λαμβάνεται επίσης μία σειρά Φουριέ, η οποία συγκλίνει παρόμοια με το διάστημα [−π,&nbsp;π], αλλά αν η ''G'' είναι μη συμπαγής, λαμβάνεται αντ' αυτού ένα [[ολοκλήρωμα Φουριέ]]. Αυτή η γενίκευση αποδίδει το συνήθη [[μετασχηματισμό Φουριέ]] όταν η υποκείμενη τοπικά συμπαγής Αβελιανή ομάδα είναι '''R'''.

== Προσέγγιση και σύγκλιση των σειρών Φουριέ ==
Μία σημαντική ερώτηση για τη θεωρία καθώς και τις εφαρμογές είναι αυτή της σύγκλισης.Πιο συγκεκριμένα, είναι συχνά απαραίτητο στις εφαρμογές να αντικαθιστούμε τις άπειρες σειρές <math>\sum_{-\infty}^\infty</math>&thinsp; από πεπερασμένες,

:<math>f_N(x) = \sum_{n=-N}^N \hat{f}(n) e^{inx}.</math>

Αυτό καλείται ''μερικό άθροισμα''. Θα θέλαμε να γνωρίζουμε, με ποια έννοια η ''f''<sub>''N''</sub>(''x'') συγκλίνει στην ''f''(''x'') με ''N'' → ∞.

===Ιδιότητες ελαχίστων τετραγώνων===
Λέμε ότι το ''p'' είναι ένα [[τριγωνομετρικό πολυώνυμο]] βαθμού ''N'' όταν είναι της μορφής

:<math>p(x)=\sum_{n=-N}^N p_n e^{inx}.</math>

Να σημειώσουμε ότι ''f<sub>N</sub> είναι τριγωνομετρικό πολυώνυμο βαθμού ''N''. Από [[θεώρημα Parseval]] συνεπάγεται ότι

<blockquote>'''Θεώρημα.''' Το τριγωνομετρικό πολυώνυμο ''f<sub>N</sub> είναι το μοναδικό βέλτιστο τριγωνομετρικό πολυώνυμο βαθμού ''N'' που προσεγγίζει την ''f''(''x''), υπό την έννοια ότι, για οποιοδήποτε τριγωνομετρικό πολυώνυμο ''p'' ≠ ''f<sub>N</sub> βαθμού ''N'', έχουμε
:<math>\|f_N - f\|_2 < \|p - f\|_2,</math>
όπου η νόρμα του χώρου Hilbert ορίζεται ως:
:<math>\| g \|_2 = \sqrt{{1 \over 2\pi} \int_{-\pi}^{\pi} |g(x)|^2 \, dx}.</math>
</blockquote>


===Σύγκλιση===
Λόγω της συμαντικότηταας της μεθόδου ελαχίστων τετραγώνων, και λόγω της πληρότητας των θεμέλιων της σειράς Fourier, έχουμε αποκτήσει ένα στοιχειώδες αποτέλεσμα σύγκλισης.

'''Θεώρημα.''' Αν ''f'' ανήκει στο ''L''<sup>2</sup>([−π,&nbsp;π]), τότε f<sub>∞</sub> συγκλίνει η ''f'' στο ''L''<sup>2</sup>([−π,&nbsp;π]), το οποίο σημαίνει ότι,&thinsp; <math>\|f_N - f\|_2</math> συγκλίνει στο 0 όταν ''N'' → ∞.

Έχουμε, ήδη, αναφέρει ότι, αν ''f'' διαφορίσιμη [[Συνέχεια συνάρτησης|συνεχής συνάρτηση]], τότε &nbsp;<math>(i\cdot n) \hat{f}(n)</math>&nbsp; είναι ο ''n''οστός συντελεστής της σειράς Fourier της παραγώγου ''f''′. Επομένως, ουσιαστικά από την [[ανισότητα Κωσύ-Σβαρτς]], όπου f<sub>∞</sub> είναι απόλυτα αθροίσιμη.  Το άθροισμα αυτής της σειράς είναι μία συνεχής συνάρτηση, ίση με ''f'' , δεδομένου ότι η σειρά Fourier συγκλίνει κατά μέση τιμή στην'' f'': 

'''Θεώρημα.''' Αν <math>f \in C^1(\mathbb{T})</math>, τότε f<sub>∞</sub> συγκλίνει στην ''f'' [[ομοιόμορφη σύγκλιση|ομοιόμορφα]] (και επίσης, [[σημειακή σύγκλιση | σημειακά]].)

Το συμπέρασμα αυτό μπορεί να αποδειχτεί εύκολα, αν ''f'' επιπλέιο θεωρείται ότι είναι ''C''<sup>2</sup>, μιας και σε αυτήν την περίπτωση <math>n^2\hat{f}(n)</math> τείνει στο μηδέν καθώς ''n'' → ∞.  Γενικεύοντας, οι σειρές Fourier είναι απόλυτα αθρόισιμες, έτσι συγκλίνει ομοιόμορφα στην ''f'', με την προϋπόθεση ότι η ''f'' ικανοποιεί τη [[συνθήκη Hölder]] προκειμένου α&nbsp;>&nbsp;½.  Στην περίπτωση της απόλυτης άθροισης, η ανισότητα <math>\sup_x |f(x) - f_N(x)| \le \sum_{|n| > N} |\hat{f}(n)|</math>&thinsp; αποδεικνύει την ομοιόμορφη σύγκλιση.
Πολλά άλλα αποτελέσματα έχουν προκύψει για τη [[σύγκλιση σειράς Fourier|σύγκλιση των σειρών Fourier]] ,  κυμαίνονται από το απλό αποτέλεσμα ότι η σειρά συγκλίνει στο ''x'' αν η ''f'' είναι διαφορίσιμη στο ''x'', τα αποτελέσματα του [[Lennart Carleson]] είναι πολύ πιο εξελιγμένα από ότι η σειρά Fourier μιας ''L''<sup>2</sup> συνάρτησης πραγματικής σύγκλισης [[σχεδόν παντού]].

Αυτά τα θεωρήματα, και ανεπίσημες παραλλαγές τους που δεν διευκρινίζουν τις προϋποθέσεις σύγκλισης, αναφέρονται αρκετές φορές ως "θεώρημα του Fourier" ή "το θεώρημα Fourier".<ref>{{cite book| title = Circuits, signals, and systems | author = William McC. Siebert | publisher = MIT Press | year = 1985 | isbn = 978-0-262-19229-3 | url = http://books.google.com/?id=zBTUiIrb2WIC&pg=PA402&dq=%22fourier%27s+theorem%22 | page = 402 }}</ref><ref>{{cite book| title = Advances in Electronics and Electron Physics | author = L. Marton | author2 = Claire Marton | publisher = Academic Press | year = 1990 | isbn = 978-0-12-014650-5 | url = http://books.google.com/?id=27c1WOjCBX4C&pg=PA369&dq=%22fourier+theorem%22 | page = 369 }}</ref><ref>{{cite book| title = Solid-state spectroscopy | author = Hans Kuzmany | publisher = Springer | year = 1998 | isbn = 978-3-540-63913-8 | page = 14 | url = http://books.google.com/?id=-laOoZitZS8C&pg=PA14&dq=%22fourier+theorem%22 }}</ref><ref>{{cite book | title = Brain and perception | author = Karl H. Pribram | author2 = Kunio Yasue | author3 = Mari Jibu | publisher = Lawrence Erlbaum Associates | year = 1991 | isbn = 978-0-89859-995-4 | page = 26 | url = http://books.google.com/?id=nsD4L2zsK4kC&pg=PA26&dq=%22fourier+theorem%22 }}{{Dead link|date=Ιανουαρίου 2023 }}</ref>

=== Απόκλιση ===

Μιας και οι σειρές Fourier έχουν τόσο καλές ιδιότητες σύγκλισης, πολλοί εκπλήσσονται συχνά όταν προκύπτουν αρνητικά αποτελέσματα. Για παράδειγμα, η σειρά Fourier μιας συνεχούς περιοδικής συνάρτησης '' Τ'' δεν χρειάζεται να συγκλίνει κατά σημείο. Η [[αρχή ομοιόμορφου φράγματος]] αποδίδει μία απλή μη εποικοδομητική απόδειξη αυτού του γεγονότος.

Το 1922, ο [[Αντρέι Κολμογκόροφ]] δημοσίευσε ένα άρθρο με τίτλο "[http://translate.google.com/#fr/en/Une%20s%C3%A9rie%20de%20Fourier-Lebesgue%20divergente%20presque%20partout Une série de Fourier-Lebesgue divergente presque partout]" στο οποίο έδωσε ένα παράδειγμα μιας ολοκληρώσιμης-Lebesgue συνάρτησης, της οποίας η σειρά Fourier αποκλίνει σχεδόν παντού. Αργότερα, επίσης, κατασκεύασε μία ολοκληρώσιμη συνάρτηση όπου η σειρά  Fourier της αποκλίνει παντού {{harv|Katznelson|1976}}.

== Δείτε επίσης ==
* [[ATS θεώρημα]]
* [[Πυρήνας Dirichlet]]
* [[Διακριτός μετασχηματισμός Fourier]]
* [[Μετασχηματισμός Fast Fourier]]
* [[Σειρές Fourier ημιτόνου και συνημιτόνου]]
* [[Θεώρημα του Fejér ]]
* [[Φαινόμενο Γκιμπς ]]
* [[Σειρά Laurent]]-η αντικατάσταση ''q''&nbsp;=&nbsp;''e''<sup>''ix''</sup> μετασχηματίζει μια σειρά Fourier σε σειρά Laurent, ή αντίστροφα. Αυτό χρησιμοποιείται στην q-σειρά επέκταση της j-αναλλοίωτης.
* [[Πολυδιάστατος μετασχηματισμός]]
* [[Φασματική θεωρία]]
* [[Θεώρημα Sturm-Liouville]]

== Σημειώσεις ==
<references group="nb" />

==Παραπομπές==
<references />

===Βιβλιογραφία===
* {{cite book |author=William E. Boyce |author2=Richard C. DiPrima |title=Elementary Differential Equations and Boundary Value Problems |url=https://archive.org/details/elementarydiffer0000boyc_e3u4 |edition=8η |publisher=John Wiley & Sons, Inc. |location=New Jersey |year=2005 |isbn=0-471-43338-1}}
* {{cite book | author = Joseph Fourier |translator=Alexander Freeman | title = Théorie Analytique de la Chaleur |trans-title= The Analytical Theory of Heat) | publisher = Dover Publications | origyear = 1822 |year= 2003 | isbn = 0-486-49531-0 }} [Αρχική έκδοση 1822 στα Γαλλικά. Η έκδοση του 2003 αποτελεί επανέκδοση της μετάφρασης του 1878 από τον Alexander Freeman.]
* {{cite journal |author=Enrique A. Gonzalez-Velasco |title=Connections in Mathematical Analysis: The Case of Fourier Series |url=https://archive.org/details/sim_american-mathematical-monthly_1992-05_99_5/page/427 |journal=American Mathematical Monthly |volume=99 |year=1992 |pages=427–441 |issue=5 |doi=10.2307/2325087}}
* {{Cite journal| last=Katznelson| first= Yitzhak| title=An introduction to harmonic analysis| url=https://archive.org/details/introductiontoha0000katz| edition = Διορθωμένη 2η | publisher = Dover Publications, Inc | year=1976 | location=New York | ref=harv | isbn=0-486-63331-4}}
* [[Felix Klein]], ''Development of mathematics in the 19th century''. Mathsci Press Brookline, Mass, 1979. Translated by M. Ackerman from ''Vorlesungen über die Entwicklung der Mathematik im 19 Jahrhundert'', Springer, Berlin, 1928.
* {{cite book |author=Walter Rudin |title=Principles of mathematical analysis |url=https://archive.org/details/principlesofmath00rudi |edition=3η |publisher=McGraw-Hill, Inc. |location=New York |year=1976 |isbn=0-07-054235-X}}
* {{cite book | author=A. Zygmund | title=Trigonometric series | edition=3η | publisher = Cambridge University Press | location=Cambridge | year=2002 | origyear=1935 | isbn=0-521-89053-5}}

==Εξωτερικοί σύνδεσμοι==
{{commonscat}}
* [http://www.thefouriertransform.com/series/fourier.php thefouriertransform.com] Fourier Series as a prelude to the Fourier Transform
* [http://mathoverflow.net/questions/46626/characterizations-of-a-linear-subspace-associated-with-fourier-series]-Characterizations of a linear subspace associated with Fourier series
* [https://web.archive.org/web/20140715225944/http://www.fourier-series.com/fourierseries2/fourier_series_tutorial.html An interactive flash tutorial for the Fourier Series]
* [http://www.jhu.edu/~signals/phasorapplet2/phasorappletindex.htm Phasor Phactory] Allows custom control of the harmonic amplitudes for arbitrary terms
* [http://www.falstad.com/fourier/ Java applet] shows Fourier series expansion of an arbitrary function
* [http://www.exampleproblems.com/wiki/index.php/Fourier_Series Example problems] {{Webarchive|url=https://web.archive.org/web/20080410180641/http://www.exampleproblems.com/wiki/index.php/Fourier_Series |date=2008-04-10 }} – Examples of computing Fourier Series
*{{springer|title=Fourier series|id=p/f041090}}
* {{MathWorld | urlname= FourierSeries | title= Fourier Series}}
* [http://math.fullerton.edu/mathews/c2003/FourierSeriesComplexMod.html Fourier Series Module by John H. Mathews]
* [https://web.archive.org/web/20011205152434/http://www.shsu.edu/~icc_cmf/bio/fourier.html Joseph Fourier] – A site on Fourier's life which was used for the historical section of this article
* [http://www.sfu.ca/sonic-studio/handbook/Fourier_Theorem.html SFU.ca] – 'Fourier Theorem'

{{Authority control}}
{{Portal bar|Μαθηματικά}}


{{DEFAULTSORT:Fourier Series}}
[[Κατηγορία:Ανάλυση Φουριέ]]