Voir la source de Série de Fourier

[[Fichier:Fourier Series.svg|vignette|250px|Les quatre premières sommes partielles de la série de Fourier pour un [[signal carré]].]]
[[Fichier:Fig 07b.png|vignette|250px|Le premier graphe donne l'allure du graphe d'une fonction périodique ; l'histogramme donne les valeurs des modules des coefficients de Fourier correspondant aux différentes fréquences.]]

En [[Analyse (mathématiques)|analyse]] mathématique, les '''séries de Fourier''' sont un outil fondamental dans l'étude des [[fonction périodique|fonctions périodiques]]. C'est à partir de ce concept que s'est développée la branche des [[mathématiques]] connue sous le nom d'[[Analyse harmonique (mathématiques)|analyse harmonique]].

Un [[signal périodique]] de fréquence <math>f</math> et de forme quelconque peut être obtenu en ajoutant à une sinusoïde de fréquence <math>f</math> (fondamentale) des sinusoïdes dont les fréquences sont des multiples entiers de <math>f</math>. Ces signaux ont des amplitudes et des positions de phase appropriées.

De même, on peut décomposer toute onde récurrente en une somme de sinusoïdes (fondamentale et harmoniques).

L'étude d'une fonction périodique par les séries de [[Joseph Fourier|Fourier]] comprend deux volets :

* l''''analyse''', qui consiste en la détermination de la suite de ses coefficients de Fourier ;
* la '''synthèse''', qui permet de retrouver, en un certain sens, la fonction à l'aide de la suite de ses coefficients.

Au-delà du problème de la décomposition, la théorie des séries de Fourier établit une correspondance entre la fonction périodique et les coefficients de Fourier. De ce fait, l'analyse de Fourier peut être considérée comme une nouvelle façon de décrire les fonctions périodiques.
Des opérations telles que la dérivation s'écrivent simplement en partant des coefficients de Fourier. La construction d'une fonction périodique solution d'une [[équation fonctionnelle]] peut se ramener à la construction des coefficients de Fourier correspondants.

Les séries de Fourier ont été introduites par [[Joseph Fourier]] en 1822, mais il a fallu un siècle pour que les analystes dégagent les outils d'étude adaptés : une théorie de l'[[intégrale de Lebesgue|intégrale]] pleinement satisfaisante et les premiers concepts de l'[[analyse fonctionnelle (mathématiques)|analyse fonctionnelle]]. Elles font encore actuellement l'objet de recherches actives pour elles-mêmes et ont suscité plusieurs branches nouvelles : [[Analyse harmonique (mathématiques)|analyse harmonique]], [[Traitement du signal|théorie du signal]], [[ondelette]]s{{etc.}}

Les séries de Fourier se rencontrent dans la décomposition de signaux périodiques, dans l'étude des courants électriques, des [[Rythme cérébral|ondes cérébrales]], dans la [[synthèse sonore]], le [[traitement d'images]]{{etc.}}

== Préliminaire ==

Soient <math>f</math> une fonction de <math>\R</math> dans <math>\R</math> et <math>T</math> un réel strictement positif. On dit que <math>f</math> est <math>T</math>-[[fonction périodique|périodique]] (ou périodique de période <math>T</math>) si :

:<math>\forall x\in\R\quad f(x+T)=f(x).</math>

S'il existe une plus petite période <math>t</math>, elle est appelée ''la'' période de <math>f</math> (et son inverse est appelé ''la'' fréquence de <math>f</math>).

Par exemple, si <math>T</math> est un réel strictement positif, les [[fonction trigonométrique|fonctions sinusoïdales]] :

:<math>x\mapsto\cos(2\pi\tfrac nTx)\quad{\rm et}\quad x\mapsto\sin(2\pi\tfrac nTx)</math>
sont périodiques de période <math>\tfrac Tn</math>, et, à fortiori, <math>T</math>-périodiques.

La somme, le produit ou le quotient de deux fonctions périodiques de période <math>T</math> est encore une fonction périodique de période <math>T</math>.

Par ailleurs, l'intégrale entre <math>x_0</math> et <math>x_0 + T</math> d'une fonction périodique <math>f</math> de période <math>T</math> ne dépend pas de l'origine <math>x_0</math>. Aussi note-t-on l'intégrale de <math>f</math> sur une période 
<math>\int_T f(x) dx.</math>

=== Polynômes trigonométriques ===

Une [[combinaison linéaire]] de ces fonctions sinusoïdales élémentaires porte le nom de [[polynôme trigonométrique]] et constitue aussi une fonction <math>T</math>-périodique. Elle peut se réécrire comme combinaison linéaire de fonctions :

:<math>x\mapsto{\rm e}^{{\rm i}2\pi\tfrac nTx}.</math>

L'emploi des [[nombre complexe|nombres complexes]] et de la [[fonction exponentielle]] permet de simplifier les notations, grâce à la [[formule d'Euler]] :

:<math>{\rm e}^{{\rm i}y}=\cos y+{\rm i}\sin y.</math>

Un polynôme trigonométrique <math>P</math> s'écrit donc sous la forme :

:<math>P(x)=\sum_{n=-\infty}^{+\infty}c_n (P){\rm e}^{{\rm i}2\pi\tfrac nTx}</math>

où les coefficients <math>c_n(P)</math> sont presque tous nuls et peuvent être obtenus par la formule :

:<math>\frac{1}{T} \int_T P(t){\rm e}^{-{\rm i}2\pi\tfrac nTt}\,\mathrm dt=c_n(P).</math>

{{Démonstration
| contenu = On cherche à isoler <math>c_n(P)</math> dans la définition du polynôme trigonométrique :

:<math>P(x)=\sum_{k=-\infty}^{+\infty}c_k (P){\rm e}^{{\rm i}2\pi\tfrac kTx}</math>

Soit :
:<math>P(x)=\sum_{k=-\infty}^{n-1}c_k (P){\rm e}^{{\rm i}2\pi\tfrac kTx}+c_n(P)e^{{\rm i}2\pi\tfrac nTx}+\sum_{k=n+1}^{+\infty}c_k (P){\rm e}^{{\rm i}2\pi\tfrac kTx}</math>
:<math>P(x)e^{-{\rm i}2\pi\tfrac nTx}=\sum_{k=-\infty}^{n-1}c_k (P){\rm e}^{{\rm i}2\pi\tfrac {k-n}Tx}+c_n(P)+\sum_{k=n+1}^{+\infty}c_k (P){\rm e}^{{\rm i}2\pi\tfrac {k-n}Tx}</math>

En intégrant sur <math>[-T/2, T/2]</math> :

:<math>\int_T P(t)e^{-{\rm i}2\pi\tfrac nTt}\mathrm dt=\int_T\left[\sum_{k=-\infty}^{n-1}c_k (P){\rm e}^{{\rm i}2\pi\tfrac {k-n}Tt}\right]\mathrm dt+\int_Tc_n(P)\,\mathrm dt+\int_T\left[\sum_{k=n+1}^{+\infty}c_k(P){\rm e}^{{\rm i}2\pi\tfrac {k-n}Tt}\right]\mathrm dt</math>
Par linéarité de l'intégrale, et, selon les [[Théorème d'interversion série-intégrale|hypothèses de convergence]] :
:<math>\int_T P(t)e^{-{\rm i}2\pi\tfrac nTt}\mathrm dt=\sum_{k=-\infty}^{n-1}\left[c_k (P)\int_T{\rm e}^{{\rm i}2\pi\tfrac {k-n}Tt}\mathrm dt\right]+c_n(P)\int_T\mathrm dt+\sum_{k=n+1}^{+\infty}\left[c_k(P)\int_T{\rm e}^{{\rm i}2\pi\tfrac {k-n}Tt}\mathrm dt\right]</math>

Comme les intégrales sont nulles pour tout <math>k</math> différent de <math>n</math>, il reste :

:<math>\int_T P(t)e^{-{\rm i}2\pi\tfrac nTt}\mathrm dt=c_n(P)\times T</math>
:<math>\frac{1}{T} \int_T P(t){\rm e}^{-{\rm i}2\pi\tfrac nTt}\mathrm dt=c_n(P)</math>
}}

=== Principe des séries de Fourier ===

L'idée sous-jacente à l'introduction des séries de Fourier est de pouvoir obtenir une fonction <math>T</math>-périodique, par exemple continue, comme somme de fonctions sinusoïdales :

<math display="block">f(x)=\sum_{n=-\infty}^{+\infty}c_n (f){\rm e}^{{\rm i}2\pi\tfrac nTx}</math>

avec les coefficients <math>c_n(f)</math>, appelés '''coefficients de Fourier''' de <math>f</math>, définis par :

<math display="block">c_n(f) = \frac{1}{T} \int_T f(t){\rm e}^{-{\rm i}2\pi\tfrac nTt}\mathrm dt.</math>

Il s'agit d'une somme infinie, c'est-à-dire d'une limite de somme finie, ce qui correspond au concept de somme de [[série (mathématiques)|série]].

De nombreux calculs se traduisent de façon très simple sur les coefficients des polynômes trigonométriques, comme le calcul de dérivée. Il est possible de les généraliser au niveau des coefficients de Fourier généraux.

Au sens strict, la formule de décomposition n'est pas correcte en général. Elle l'est, ponctuellement, sous de bonnes hypothèses de régularité portant sur <math>f</math>. Alternativement, on peut lui donner sens en se plaçant dans les bons [[Espace fonctionnel|espaces fonctionnels]].

== Aspects historiques ==
[[Fichier:Fourier2.jpg|vignette|Portrait de Joseph Fourier, début du {{s-|XIX}}.]]

Les séries de Fourier constituent la branche la plus ancienne de l'[[analyse harmonique (mathématiques)|analyse harmonique]], mais n'en demeurent pas moins un domaine vivant, aux nombreuses questions ouvertes. L'étude de leurs particularités est allée de pair, pendant tout le {{s-|XIX}}, avec les progrès de la théorie de l'[[Intégrale (mathématiques)|intégration]].

=== Les origines ===

{{Douteux|Les premières considérations sur les [[série trigonométrique|séries trigonométriques]] apparaissent vers 1400 en Inde, chez [[Madhava de Sangamagrama|Madhava]], chef de file de l'[[école du Kerala]]. En Occident, on les trouve au {{s-|XVII}} chez [[James Gregory (mathématicien)|James Gregory]],|confusion entre « série trigo » et « série de Taylor d'une fonction trigo » ?|date=4 mai 2018}} au début du {{s-|XVIII}} chez [[Brook Taylor]]. C'est l'ouvrage de ce dernier, ''Methodus Incrementorum Directa et Inversa'', paru en [[1715]], qui donne le coup d'envoi à l'étude systématique des [[corde vibrante|cordes vibrantes]] et de la [[Son (physique)#Propagation du son|propagation du son]], thème de recherche majeur pendant tout le siècle.

Une controverse éclate dans les années 1750 entre [[Jean le Rond d'Alembert|d'Alembert]], [[Leonhard Euler|Euler]] et [[Daniel Bernoulli]] sur le problème des cordes vibrantes. D'Alembert détermine l'[[équation d'onde]] et ses solutions analytiques. Bernoulli les obtient également, sous forme de décomposition en série trigonométrique. La controverse porte sur la nécessité de concilier ces points de vue avec les questions de régularité des solutions. Selon J.-P. Kahane<ref>{{Kahane1}}, {{p.|33}} et suivantes.</ref>, elle aura un rôle majeur dans la genèse des séries de Fourier.

Bernoulli avait introduit des séries trigonométriques dans le problème des cordes vibrantes pour superposer des solutions élémentaires.

[[Joseph Fourier]] introduit l'[[équation de la chaleur]] dans un premier mémoire en [[1807 en science|1807]]<ref>''Mémoire sur la propagation de la chaleur dans les corps solides'', disparu depuis des archives de l'Institut et connu à travers [https://gallica.bnf.fr/ark:/12148/bpt6k33707.image.r=Oeuvres+de+Fourier.f223.langFR.pagination un abrégé] paru sous la signature de [[Siméon Denis Poisson]] dans le Nouveau Bulletin des sciences par la [[Société philomathique de Paris]], {{Tome|I}}, {{p.|112-116}}, {{n°|6}}, mars 1808, Paris, Bernard.</ref> qu'il complète et présente en [[1811 en science|1811]] pour le [[Grand prix des sciences mathématiques|Grand prix de mathématiques]]. Ces premiers travaux, controversés sur le plan de l'analyse, ne sont pas publiés. En [[1822 en science|1822]], Fourier expose les séries et la transformation de Fourier dans son traité ''Théorie analytique de la chaleur''. Il énonce qu'une fonction peut être décomposée sous forme de série trigonométrique, et qu'il est facile de prouver la convergence de celle-ci. Il juge même toute hypothèse de continuité inutile<ref>{{Ouvrage|langue=|auteur1=Joseph Fourier|titre=Théorie analytique de la chaleur|lieu=Paris|éditeur=Jacques Gabay|date=1822|pages totales=640|passage=259 et 551|lire en ligne=https://gallica.bnf.fr/ark:/12148/bpt6k29061r|consulté le=2024-09-01}}.</ref>.

En [[1829 en science|1829]], [[Johann Peter Gustav Lejeune Dirichlet|Dirichlet]] donne [[#Théorème de convergence ponctuelle de Dirichlet|un premier énoncé correct]] de convergence limité aux fonctions périodiques continues par morceaux ne possédant qu'un nombre fini d'extrema. Dirichlet considérait que les autres cas s'y ramenaient ; l'erreur sera corrigée par [[Camille Jordan (mathématicien)|Jordan]] en 1881.

En [[1848 en science|1848]], [[Henry Wilbraham]] est le premier à mettre en évidence le [[#Phénomène de Gibbs|phénomène de Gibbs]] en s'intéressant au comportement des séries de Fourier au voisinage des points de discontinuité.

=== Avancée conjointe des séries de Fourier et de l'analyse réelle ===

Le ''Mémoire sur les séries trigonométriques'' de [[Bernhard Riemann]], publié en [[1867 en science|1867]]<ref>''Œuvres de Riemann'', {{2e|édition}}, {{p.|230}}.</ref>, constitue une avancée décisive. L'auteur lève un obstacle majeur en définissant pour la première fois une théorie de l'[[intégrale de Riemann|intégration]] satisfaisante. Il démontre notamment que les coefficients de Fourier [[théorème de Riemann-Lebesgue|ont une limite nulle à l'infini]], et un résultat de convergence connu comme le théorème de sommabilité de Riemann.

[[Georg Cantor]] publie une série d'articles sur les séries trigonométriques entre [[1870 en science|1870]] et [[1872 en science|1872]], où il démontre son [[Série trigonométrique#Théorème d'unicité de Cantor|théorème d'unicité]]. Cantor raffine ses résultats en recherchant des « ensembles d'unicité », pour lesquels son théorème reste vérifié. C'est l'origine de l'introduction de la [[théorie des ensembles]].

En [[1873 en science|1873]], [[Paul David Gustave du Bois-Reymond|du Bois-Reymond]] donne le premier exemple de fonction continue périodique dont la série de Fourier diverge en un point<ref>{{Article|langue=de|prénom1=Paul du|nom1=Bois-Reymond|titre=Eine neue Theorie der Convergenz und Divergenz von Reihen mit positiven Gliedern.|périodique=Journal für die reine und angewandte Mathematik|volume=1873|numéro=76|pages=61–91|date=1873-01-01|issn=1435-5345|doi=10.1515/crll.1873.76.61|lire en ligne=https://gdz.sub.uni-goettingen.de/id/PPN243919689_0076?tify=%7B%22pan%22%3A%7B%22x%22%3A0.505%2C%22y%22%3A0.711%7D%2C%22view%22%3A%22info%22%2C%22zoom%22%3A0.38%7D|consulté le=2024-09-01}}.</ref>. Le dernier quart du {{s-|XIX}} voit relativement peu d'avancées dans le domaine des séries de Fourier ou de l'analyse réelle en général, alors que l'[[analyse complexe]] connaît une progression rapide.

Dans une note de [[1900 en science|1900]] et dans un article de [[1904 en science|1904]], [[Lipót Fejér|Fejér]] démontre [[#Théorème de Fejér|son théorème de convergence uniforme]] utilisant le [[Lemme de Cesàro|procédé de sommation de Cesàro]] ([[moyenne arithmétique]] des sommes partielles de Fourier). Surtout, il dégage un principe nouveau : l'association systématique entre régularisation au moyen d'un « [[opérateur à noyau|noyau]] » et [[Série divergente|procédé de sommation]] pour la série de Fourier.

=== De nouveaux outils d'étude ===

[[Henri Léon Lebesgue|Henri Lebesgue]] donne à la théorie des séries de Fourier son cadre définitif en introduisant une nouvelle [[intégrale de Lebesgue|théorie de l'intégration]]. Dans une série de publications qui s'étalent de [[1902 en science|1902]] à [[1910 en science|1910]], il étend les théorèmes de ses prédécesseurs, notamment le [[théorème de Riemann-Lebesgue|théorème de Riemann sur la limite des séries de Fourier]]. Il prouve également plusieurs théorèmes de convergence nouveaux. La plupart de ses résultats figurent dans ses ''Leçons sur les séries trigonométriques'' publiées en [[1906 en science|1906]].

En [[1907 en science|1907]], [[Pierre Fatou]] démontre l'[[égalité de Parseval]] dans le cadre général des fonctions de [[carré sommable]]. La même année, [[Frigyes Riesz]] et [[Ernst Sigismund Fischer]], de façon indépendante, prouvent la réciproque. Ces résultats participent à la naissance d'un domaine nouveau, l'[[Analyse fonctionnelle (mathématiques)|analyse fonctionnelle]].

Dorénavant, les questions de convergence dans les espaces fonctionnels sont envisagées à travers l'étude des propriétés des suites de noyaux et des opérateurs associés. Une grande partie des résultats passe par des questions d'estimation de normes appelées [[Constante de Lebesgue (approximation)|constantes de Lebesgue]], qui deviennent un objet d'étude systématique.

Parallèlement, le problème de la convergence simple des séries de Fourier donne lieu à plusieurs coups de théâtre avec la publication de résultats qui ont connu un grand retentissement et surpris les contemporains. En [[1926 en science|1926]], [[Andreï Kolmogorov]] construit un exemple de fonction intégrable dont la série de Fourier diverge partout<ref>A. Kolmogorov, « Une série de Fourier-Lebesgue divergente partout », ''[[CRAS|C. R. Acad Sci. Paris]]'', vol. 183, 1926, {{p.|1327-1328}}.</ref>. En [[1966 en science|1966]], [[Lennart Carleson]] établit au contraire<ref>Voir « [[Théorème de Carleson]] ».</ref> que la série de Fourier d'une fonction de carré sommable converge [[Ensemble négligeable|presque partout]] vers cette fonction. D'autres résultats ([[Jean-Pierre Kahane|Kahane]] et [[Yitzhak Katznelson|Katznelson]] 1966<ref name=":0" />, [[Richard Allen Hunt|Hunt]] 1967) viennent compléter l'étude. Les recherches se portent ensuite sur la convergence des séries de Fourier à plusieurs dimensions, encore imparfaitement connue.

== Coefficients de Fourier ==

La définition des coefficients de Fourier porte sur les fonctions périodiques [[intégrale de Lebesgue|intégrables au sens de Lebesgue]] sur une période. Pour une fonction périodique, être de classe {{mvar|L{{exp|p}}}} implique l'intégrabilité. Ceci comprend en particulier les fonctions continues, ou continues par morceaux, périodiques. On reprend ici les notations du premier paragraphe.

=== Coefficients complexes ===

Les '''coefficients de Fourier''' (complexes) de <math>f</math> (pour <math>n \in \Z</math>) sont donnés par :

<center><math>c_n(f)=\frac1T\int_Tf(t)\operatorname e^{-\mathrm i\frac{2n\pi}Tt}\,\mathrm dt</math>.</center>

Par périodicité de l'intégrande, ces coefficients peuvent également être calculés en considérant l'intégrale sur n'importe quel segment de longueur <math>T</math>. Le coefficient <math>c_n(f)</math> est la [[Moyenne#Valeur moyenne d'une fonction|valeur moyenne]] de <math>f(t)\operatorname e^{-\mathrm i\frac{2n\pi}Tt}</math>. En particulier, le coefficient <math>c_0(f)</math> n'est autre que la valeur moyenne de <math>f</math>.

Si <math>n > 0</math>, on appelle '''[[Harmonique (physique)|harmonique]] de rang <math>n</math>''' et note <math>H_n(f)</math> la fonction sinusoïdale de fréquence <math>nF = \frac{n}{T}</math> obtenue en tenant compte des coefficients de Fourier d'indice <math>n</math> et <math>-n</math>, donnée par :

<center><math>H_n(f) : x\mapsto c_n(f)\operatorname e^{\mathrm i\frac{2n\pi}Tx}+ c_{-n}(f)\operatorname e^{-\mathrm i\frac{2n\pi}Tx}</math>.</center>

La série de Fourier, <math>S_n(f)</math>, est la [[série de fonctions]] obtenue en sommant les harmoniques successifs jusqu'au rang <math>n</math>, soit :

<center><math>S_n(f)= c_0(f) + \sum_{k=1}^n H_k(f)</math></center>


ou encore :

<center><math>S_n(f)(x)= c_0(f) + \sum_{k=1}^n H_k(f)(x) = \sum_{k=-n}^n c_k(f)\operatorname e^{\mathrm i\frac{2k\pi}Tx}</math>.</center>

Une des questions auxquelles répond la [[théorie de Fourier]] est de déterminer le mode de convergence de cette série ([[Convergence simple|convergence ponctuelle]], [[convergence uniforme]], [[convergence quadratique]]…).

=== Coefficients réels ===
==== Première convention ====
Si la fonction <math>f</math> est à valeurs réelles, il peut être intéressant de manipuler des coefficients réels, notamment dans le cas de fonctions paires ou impaires. On définit ainsi<ref>S. Balac et L. Chupin, ''Analyse et algèbre: cours de mathématiques de deuxième année avec exercices corrigés et illustrations avec Maple'', [[PPUR]], 2008, {{p.|314}}, {{Google Livres|Ihh2uOXnRQcC|page=314|aperçu}}.</ref> les coefficients de Fourier réels de <math>f</math> :
* <math>a_0(f)=\frac1T\int_Tf(t)\,\mathrm{d}t=c_0(f)</math> ;
* <math>b_0(f)=0</math> ;
* pour <math>n>0</math> : <math>a_n(f)=\frac2T\int_Tf(t)\cos\left(nt\frac{2\pi}T\right)\,\mathrm dt</math> ;
* pour <math>n>0</math> : <math>b_n(f)=\frac2T\int_Tf(t)\sin\left(nt\frac{2\pi}T\right)\,\mathrm dt</math>.

L'[[harmonique (physique)|harmonique]] de rang <math>n</math> se réécrit alors comme la fonction :

<center><math>H_n :x\mapsto a_n(f) \cos\left(nx\frac{2\pi}T\right) + b_n(f) \sin\left(nx\frac{2\pi}T\right) = \chi_n \cos\left(nx\frac{2\pi}T+\Phi_n\right)</math>, </center>

où <math>\chi_n^2 = a_n(f)^2 + b_n(f)^2</math> et, si <math>\chi_n \neq 0</math>, <math>\cos(\Phi_n) = a_n / \chi_n</math> et <math>\sin(\Phi_n) = -b_n / \chi_n</math>.

==== Convention alternative ====
La convention suivante peut aussi être choisie<ref>D. Guinin et B. Joppin, ''Analyse PC'', [[Éditions Bréal|Bréal]], 2004, {{p.|284}}, {{Google Livres|_0AHl6aIkz4C|page=284|aperçu}}.</ref> pour <math>a_0</math> :

:<math>{a_0 (f)= \frac2T\int_T f(t)\, \mathrm{d}t=2c_0(f)},</math>

ce qui ne s'interprète plus alors comme une valeur moyenne, mais en est le double. Cette dernière convention harmonise les définitions des coefficients qui commencent alors tous par <math>2/T</math>.

Les systèmes de coefficients <math>(a_n, b_n)</math> pour <math>n</math> positif et <math>c_n</math> pour <math>n</math> [[entier relatif]] sont liés linéairement par les relations suivantes pour <math>n > 0</math> :

* <math> \begin{cases}
a_n(f)&=c_n(f)+c_{-n}(f)\\
b_n(f)&=\mathrm i(c_{n}(f)-c_{-n}(f))
\end{cases} \qquad \begin{cases}
c_{n}(f)&=\frac{a_n(f)-\mathrm i\cdot b_n(f)}2\\
c_{-n}(f)&=\frac{a_n(f)+\mathrm i\cdot b_n(f)}2.
\end{cases}</math>

Ces identités restent vraies pour <math>n = 0</math> sous la convention du coefficient en <math>2/T</math>.

La parité d'une fonction se traduit sur les coefficients de Fourier : 
* si <math>f</math> est une fonction [[fonction paire|paire]], alors <math>c_{-n}(f) = c_n(f)</math> pour tout <math>n</math> ; dans le cas d'une fonction <math>f</math> réelle, cette propriété devient <math>b_n(f)=0</math> pour tout <math>n</math> ;
* si <math>f</math> est une fonction impaire, alors <math>c_{-n}(f) = -c_n(f)</math> pour tout <math>n</math> ; dans le cas réel cela donne <math>a_n(f)=0</math> pour tout <math>n</math>.

La série de Fourier, <math>S_n(f)</math>, est alors la [[série de fonctions]] :

<center><math>S_n(f(x))= \frac{1}2 a_0(f) + \sum_{k=1}^n \left(a_k(f)\cos\left(kx\frac{2\pi}T\right) + b_k(f) \sin\left(kx\frac{2\pi}T\right)\right)</math>.</center>

Lorsque <math>n</math> augmente, la série <math>S_n</math> ''approche'', selon une signification mathématique à spécifier, la fonction <math>f</math> (voir le paragraphe ci-après sur la [[#Reconstitution des fonctions|reconstitution des fonctions]] et les animations fournies).

=== Égalité de Parseval ===
{{article détaillé|Égalité de Parseval}}
Pour une fonction <math>T</math>-périodique continue par morceaux, ou plus généralement de carré intégrable sur une période, l'[[égalité de Parseval]] affirme la convergence de la série suivante et l'identité :

<center><math>\sum_{n=-\infty}^{+\infty}|c_n(f)|^2=\frac1T\int_T|f(t)|^2\,\mathrm dt= \|f\|^2</math>.</center>

Ce résultat est équivalent à une convergence en moyenne quadratique des séries de Fourier correspondantes (voir ci-dessous).

L'égalité de Parseval implique en particulier que les coefficients de Fourier de <math>f</math> tendent (suffisamment vite) vers 0 en l'infini. Suivant les hypothèses de régularité sur <math>f</math>, la vitesse de convergence peut être précisée (voir ci-dessous). Avec les notations utilisées ci-dessus, on a donc :

<center><math>\sum_{n=-\infty}^{+\infty}|c_n(f)|^2= |\frac{a_0(f)}2|^2+\frac12\sum_{n=1}^{+\infty}\left(|a_n(f)|^2+|b_n(f)|^2\right)</math>.</center>

=== Effet de la dérivation sur les coefficients ===

Pour une fonction continue et <math>\mathcal C^1</math> par morceaux, on établit, par [[intégration par parties]] :
:<math>c_n(f\, ')= \frac{2i \pi n}{T} c_n(f)</math>.
Plus généralement, pour une fonction de classe <math>\mathcal C^k</math> et <math>\mathcal C^{k+1}</math> [[régularité par morceaux|par morceaux]], on établit :
:<math>c_n(f^{(k+1)})=\left(\frac{2\mathrm i \pi n}T\right)^{k+1}c_n(f)</math>.

=== Coefficients et régularité de la fonction ===

Les coefficients de Fourier caractérisent la fonction : deux fonctions ayant les mêmes coefficients de Fourier sont égales [[Ensemble négligeable|presque partout]]. Notamment, dans le cas [[régularité par morceaux|continu par morceaux]], elles coïncident en tous les points de <math>\left[ 0,T \right]</math> sauf un nombre fini.

Un certain nombre de résultats relient régularité de la fonction et comportement à l'infini des coefficients de Fourier :
* le [[théorème de Riemann-Lebesgue]] montre que les coefficients de Fourier d'une fonction <math>f</math> intégrable sur une période tendent vers 0 lorsque <math>n</math> tend vers l'infini ;
* l'identité de Parseval admet une réciproque : une fonction est de carré sommable sur une période si et seulement si la série des carrés des modules des coefficients de Fourier converge. C'est le [[théorème de Riesz-Fischer]] ;
* il existe peu de caractérisations analogues pour d'autres espaces fonctionnels. On peut affirmer cependant qu'une fonction périodique est <math>{\mathcal C}^\infty</math> si et seulement si ses coefficients de Fourier sont à décroissance rapide,
::<math>\forall p\in \N\qquad c_n(f)=o_{n \rightarrow \pm \infty}\left(\frac1{|n|^p}\right)</math>
:Plus précisément, si la fonction est de classe <math>\mathcal C^{k}</math>, ses coefficients de Fourier sont négligeables devant <math>1/n^k</math>.
:Réciproquement, si les coefficients de Fourier sont dominés par <math>1/n^{k+2}</math>, alors la fonction est de classe <math>\mathcal C^{k}</math>.

== Reconstitution des fonctions ==

Une des questions centrales de la théorie est celle du comportement de la série de Fourier d'une fonction et en cas de convergence de l'égalité de sa somme avec la fonction initialement considérée, ceci dans le but de pouvoir remplacer l'étude de la fonction elle-même par celle de sa série de Fourier, qui autorise des opérations analytiques aisément manipulables. Sous des hypothèses de régularité convenables, une fonction périodique peut effectivement se décomposer comme somme de fonctions sinusoïdales.

=== Théorème de convergence ponctuelle de Dirichlet ===
{{article détaillé|Théorème de Dirichlet (séries de Fourier)}}
[[Fichier:Periodic identity.png|vignette|250px|Un [[signal en dents de scie]].]]
[[Fichier:Periodic identity function.gif|vignette|250px|Les cinq premières sommes partielles de sa série de Fourier.]]

Pour une [[fonction périodique]] <math>f</math> de période <math>T</math>, [[Continuité (mathématiques)|continue]] en un réel <math>x</math>, et dérivable à droite et à gauche en <math>x</math>, le [[Théorème de Dirichlet (séries de Fourier)|théorème de Dirichlet]] affirme la convergence de sa série de Fourier évaluée en <math>x</math> et donne l'égalité :

<center><math>f(x) = \sum_{n = -\infty}^{\infty} c_n(f) \cdot e^{i nx\frac{2\pi}T}</math>.</center>

Si <math>f</math> est à valeurs réelles, l'égalité ci-dessus se réécrit avec les coefficients de Fourier réels :

<center><math>f(x) =a_0(f)+ \sum_{n = 1}^{\infty} \left ( a_n (f) \cdot \cos \left ( nx\frac{2\pi}T\right ) +  b_n(f) \cdot \sin \left ( nx\frac{2\pi}T\right )\right )</math>.</center>

Les hypothèses peuvent être affaiblies. La fonction <math>f</math> peut seulement être continue à gauche et à droite en <math>x</math> et [[fonction à variation bornée|à variation bornée]] sur un voisinage de <math>x</math>. Dans ce cas, <math>f(x)</math> doit être remplacé par la valeur moyenne de <math>f</math> en <math>x</math>, soit donc la moyenne entre ses limites à droite et à gauche en <math>x</math> : <math>\tfrac12(f(x_-)+f(x_+))</math>. La démonstration du théorème se base sur le fait que la série de Fourier se calcule par [[produit de convolution]] avec un polynôme trigonométrique aux propriétés remarquables : le [[noyau de Dirichlet]].

Le critère de Dini est un résultat plus puissant sur la convergence ponctuelle d'une série de Fourier : si une fonction périodique <math>f</math> est telle que la fonction <math>(f(t)+f(-t))/t</math> est localement intégrable sur un voisinage de 0, alors la série de Fourier de <math>f</math> converge vers 0 en <math>t=0</math>. Ainsi, on peut en déduire un résultat contraposé intéressant : si <math>g</math> est une fonction continue positive telle que <math>g(t)/t</math> n'est pas localement intégrable près de 0, il existe une fonction continue <math>f</math> telle que <math>|f(t)| \leqslant g(t)</math> et dont la série de Fourier ne converge pas en 0<ref>{{ouvrage |lang=it |auteur1=Ulisse Dini|titre=Serie di Fourier e altre rappresentazioni analitiche delle funzioni di una variabile reale|lieu=Pisa |éditeur=Nistri |isbn=978-1429704083 |année=1880 |url=https://archive.org/details/seriedifourierea00diniuoft}}.</ref>{{,}}<ref>{{EncycloMath |id=Dini_criterion|titre=Dini criterion|prénom1=B. I. |nom1=Golubov }}.</ref>.

=== Théorème de convergence normale de Dirichlet ===
{{Ancre|Théorème de convergence normale (et donc uniforme) de Dirichlet}}
Le théorème de [[convergence normale]] de Dirichlet est une version globale du théorème de convergence ponctuelle. Pour une fonction <math>T</math>-périodique et continûment dérivable au [[Voisinage (mathématiques)#Voisinage d'une partie|voisinage d'un segment]] <math>I</math>, la série de Fourier de <math>f</math> converge normalement (donc [[Convergence uniforme|uniformément]]) vers <math>f</math> sur <math>I</math>.
{{Démonstration|titre=Preuve dans le cas où <math>f</math> est de classe <math>\mathcal{C}^1</math> sur <math>\mathbb{R}</math>|
(c'est-a-dire où <math>I</math> est de longueur au moins <math>T</math>). Dans l'[[espace préhilbertien]] des fonctions continues et <math>T</math>-périodiques avec le produit scalaire <math>\langle f,g\rangle=\frac1T\int_T f\bar g</math>, les ondes pures <math>\mathrm e^{2\mathrm i\pi n\frac xT}</math> forment une famille orthonormée. L'[[inégalité de Bessel]] appliquée à <math>f'</math> montre alors<math display="block">\sum_{n\in \mathbb{Z}} |c_n(f')|^2 \leq \frac{1}{T}\int_T|f'|^2 < +\infty</math>L'effet de la dérivation sur les coefficients implique ainsi <math>\sum_{n\in\mathbb{Z}}n^2|c_n(f)|^2 < +\infty</math>, puis l'[[inégalité de Cauchy-Schwarz]] et la [[Série de Riemann|sommabilité de <math>\left(\frac1{n^2}\right)_{n\in\mathbb{Z}^*}</math>]] entraînent<math display="block">\sum_{n\in\mathbb{Z}^*}|c_n(f)| \leq \left(\sum_{n\in\mathbb{Z}^*}\frac1{n^2}\right)^{\frac12}\left(\sum_{n\in\mathbb{Z}}n^2|c_n(f)|^2\right)^\frac12< +\infty.</math>
}}
En particulier, la série de Fourier d'une fonction <math>T</math>-périodique, continûment dérivable par morceaux et continue, converge uniformément sur <math>\R</math> vers la fonction. Un contrôle de la convergence des séries de Fourier des fonctions régulières est donné par l'[[inégalité de Jackson]] et le {{Lien|trad=Bernstein's theorem (approximation theory)|Théorème de Bernstein (théorie de l'approximation)|texte=théorème de Bernstein}}.

=== Phénomène de Gibbs ===
{{article détaillé|Phénomène de Gibbs}} 
Le [[phénomène de Gibbs]] est un effet de bord observé au voisinage d'une discontinuité de la fonction. Pour l'illustrer, voici la représentation des termes d'ordre 10, 50 et 250 de la série de Fourier de la fonction « créneau ».

{| border="0" align="center"
|+ Phénomène de Gibbs
|[[Fichier:Gibbs phenomenon 10.png|thumb|center|Approximation du créneau à l'ordre 10]]
|[[Fichier:Gibbs phenomenon 50.jpg|thumb|center|Approximation du créneau à l'ordre 50]]
|[[Fichier:Gibbs phenomenon 250.png|thumb|center|Approximation du créneau à l'ordre 250]]
|}

Le polynôme trigonométrique <math>n</math>-ième terme de la série de Fourier, <math>S_n(f)</math>, est une fonction continue, il est donc normal qu'il ne puisse approcher [[convergence uniforme|uniformément]] la fonction créneau qui, elle, ne l'est pas. Sur une des zones de « plateau », en dehors d'un voisinage de la discontinuité, cependant, la série de Fourier converge uniformément vers la fonction (elle en est indiscernable sur le dernier graphique).

Au niveau du point de discontinuité, <math>S_n(f)</math> subit une forte [[oscillation]], une sorte de « sursaut ». Les images laissent soupçonner et le calcul montre effectivement que l'amplitude de ce sursaut tend vers une constante. Précisément si la fonction a une discontinuité d'amplitude <math>\Delta y</math>, alors <math>S_n(f)</math> tout en restant continue, connaîtra un « sursaut » en ordonnée valant de l'ordre de 9 % du « saut » (la différence entre le niveau haut et le niveau bas) ou 18 % de l'amplitude (différence entre le niveau moyenne et la valeur crête, la moitié du saut).

=== Convergence en moyenne quadratique ===

La convergence en moyenne quadratique concerne la convergence pour la norme [[hermitien]]ne :
<center><math>\|f\|^2=\frac1T\int_T|f(t)|^2 \,\mathrm dt</math>.</center>
Cette norme est définie par exemple sur l'[[espace vectoriel]] <math>E</math> des fonctions <math>T</math>-périodiques et continues, ou sur l'espace <math>F</math> des fonctions <math>T</math>-périodiques mesurables de carré intégrable identifiées modulo égalité sur un [[ensemble négligeable]] ; c'est d'ailleurs la périodicité qui permet de donner l'égalité des deux normes. La norme provient du [[Produit scalaire#Généralisation aux espaces vectoriels complexes|produit scalaire hermitien]] :

<center><math>(f\cdot g)= \frac1T\int_T f(t)\overline{g(t)} \,\mathrm{d}t</math>.</center>

L'espace <math>E</math> est [[Partie dense|dense]] dans l'espace <math>F</math> et l'espace normé <math>F</math> est complet ; il peut être obtenu comme le complété de <math>E</math>.

Introduisons la fonction exponentielle complexe d'indice <math>n</math> :

:<math>e_n : x\mapsto\operatorname e^{\mathrm in\frac{2\pi}Tx}</math>.

La famille <math>(e_n)</math> forme une [[Base de Hilbert#Définition|famille orthonormale]] donc [[Indépendance linéaire|libre]]. L'[[Sous-espace vectoriel engendré|espace qu'elle engendre]] est l'espace des polynômes trigonométriques, [[Sous-espace vectoriel|sous-espace]] de <math>E</math>. Le <math>n</math>-ième coefficient de Fourier de <math>f</math> est le produit scalaire de <math>f</math> par <math>e_n</math> :

<center><math>c_n(f)=(f\cdot e_n)</math>,</center>

ce qui correspond bien à la définition des coefficients donnée en début d'article :

:<math>(f\cdot e_n)={1 \over T}\int_T f(t) \overline{\operatorname e^{\mathrm i2\pi\frac nTt}}\,\mathrm dt={1 \over T}\int_T f(t)\operatorname e^{-\mathrm i2\pi\frac nTt}\,\mathrm dt=c_n(f)</math>.

En particulier, le <math>n</math>-ième polynôme trigonométrique de <math>f</math> est la [[projection orthogonale]] de <math>f</math> sur l'espace engendré par <math>(e_k)_{-n\leq k\leq n}</math>.

{{énoncé|
* La famille (<math>e_n</math>) est une [[base de Hilbert]] : le sous-espace des polynômes trigonométriques est dense dans <math>E</math> et dans <math>F</math>.
* La série de Fourier d'une fonction <math>T</math>-périodique de carré intégrable sur une période converge en norme <math>L^2</math> vers la fonction considérée.
}}

Une conséquence est l'[[égalité de Parseval]].

=== Théorème de Fejér ===
{{article détaillé|Théorème de Fejér}}

Le [[théorème de Fejér]] consiste à améliorer la convergence donnée par le théorème de convergence uniforme de Dirichlet en effectuant une limite de Cesàro des sommes partielles de la série de Fourier. Pour une fonction continue et <math>T</math>-périodique, on note :

<center><math>S_n (f)= \sum_{k = -n}^nc_k (f)\operatorname e^{\mathrm i kx\frac{2\pi}T}</math> puis <math>\sigma_N (f)= \frac1N\sum_{n = 0}^{N-1} S_n(f)= \sum_{k = -N+1}^{N-1} \frac {N-|k|}Nc_k(f)\operatorname e^{\mathrm i kx\frac{2\pi}T}</math>.</center>

Le théorème de Fejér affirme que, sous la seule hypothèse de continuité, la suite des fonctions <math>\sigma_N(f)</math> [[convergence uniforme|converge uniformément]] vers <math>f</math>.

Ce théorème de [[Lipót Fejér|Fejér]] constitue une démonstration possible de la version trigonométrique du [[théorème de Stone-Weierstrass]]. Il se démontre en utilisant les propriétés d'un polynôme trigonométrique particulier : le [[noyau de Fejér]] d'indice <math>n</math> est positif et la suite de ces noyaux constitue une [[approximation de l'identité]].

Le polynôme trigonométrique <math>\sigma_N(f)</math> admet des fréquences s'étalant de <math>-nF</math> à <math>nF</math>. Pour chaque fréquence, le coefficient précédent est modifié. Les nouveaux coefficients tendent à donner plus d'importance aux petites fréquences et à amortir les termes de fréquence élevée, ce qui permet de lisser les comportements trop brusques.

=== Convergence simple ===

Les résultats positifs obtenus en envisageant d'autres modes de convergence ne font pas perdre sa pertinence à l'étude de la convergence simple.

Dans le cadre des fonctions continues, le théorème de Fejér permet d'affirmer que si la série de Fourier de <math>f</math> converge simplement, alors elle admet pour limite la fonction <math>f</math>. En revanche des considérations d'[[Analyse fonctionnelle (mathématiques)|analyse fonctionnelle]] permettent de prouver qu'il existe une fonction continue dont la série de Fourier diverge en au moins un point : précisément, il s'agit d'une application du [[théorème de Banach-Steinhaus]] à l'opérateur de convolution par la fonction [[noyau de Dirichlet]]. Il est également possible d'en donner des exemples explicites simples. C'est ainsi le cas de la fonction 2π-périodique définie par :

:<math>\forall x\in [-\pi,\pi], \,\, f(x)=\sum_{n=1}^{+\infty} \frac1{n^2} \sin \left(\left(2^{n^3}+1\right)\frac {|x|} 2\right)</math>

Les domaines de divergence possibles sont connus grâce à deux théorèmes complémentaires :
* d'une part, selon un théorème de Kahane et Katznelson, pour tout ensemble de [[mesure de Lebesgue]] nulle, on peut trouver une fonction continue dont la série de Fourier diverge en tout point de cet ensemble<ref name=":0">{{Article|auteur1=Jean-Pierre Kahane|auteur2=Yitzhak Katznelson|titre=Sur les ensembles de divergence des séries trigonométriques|périodique=[[Studia Mathematica]]|volume=26|numéro=3|pages=305–306|date=1965|lire en ligne=http://matwbn.icm.edu.pl/ksiazki/sm/sm26/sm26125.pdf|format=pdf}}.</ref> ;
* d'autre part, selon un [[théorème de Carleson]], la série de Fourier d'une fonction continue converge [[Ensemble négligeable|presque partout]] vers cette fonction.

Si l'on élargit le cadre aux fonctions [[intégrabilité|intégrables]] sur une période :
* le théorème de [[Andreï Kolmogorov|Kolmogorov]] assure qu'il existe une fonction intégrable dont la série de Fourier diverge en tout point ;
* en revanche le théorème de [[Lennart Carleson|Carleson]] cité plus haut a été prouvé dans le cadre des fonctions [[espace L2|<math>L^2</math>]] et possède même une extension aux [[espace Lp|espaces <math>L^p</math>]] pour <math>p > 1</math>. Pour de telles fonctions, la série de Fourier de <math>f</math> converge presque partout.

== Applications ==

=== Calculs de séries ===
L'application des théorèmes de Dirichlet et de Parseval, précédemment énoncés, permettent de calculer la valeur exacte de la somme de [[série (mathématiques)|séries numériques]] remarquables, parmi lesquelles :
:<math>\frac{\pi^2}6= \frac1{1^2} + \frac1{2^2} + \frac1{3^2} + \frac1{4^2} + \cdots = \sum_{n=1}^{\infty} \frac1{n^2}</math> (la célèbre formule du [[problème de Bâle]] démontrée par [[Leonhard Euler|Euler]])
:<math> \frac{\pi^2}{12} = 1 - \frac1{2^2} + \cdots + (-1)^{n+1}\frac1{n^2} + \cdots=
\sum_{n=1}^{\infty} (-1)^{n+1}\frac1{n^2}</math>
:<math>\frac{\pi^2}8= \frac1{1^2} + \frac1{3^2} + \frac1{5^2} + \cdots + \frac1{(2n+1)^2} + \cdots=\sum_{n=0}^{\infty}\frac1{(2n+1)^2}</math>
:<math>\frac{\pi}4= 1 - \frac13+ \frac15- \frac17+ \cdots + \frac{(-1)^n}{2n+1} + \cdots=\sum_{n=0}^{\infty}\frac{(-1)^n}{2n+1} </math> ([[Arc tangente#Développement en série de Taylor|formule de Leibniz]])
:<math>\frac{\pi-1}2= \sum_{n=1}^{\infty}\frac{\sin(n)}n= \sum_{n=1}^{\infty}\left(\frac{\sin(n)}n\right)^2</math>
:<math>\sum_{n=1}^{+\infty} \frac1{n^{2p}}</math> ([[Fonction zêta de Riemann#Valeurs de la fonction zêta pour s entier pair non nul|valeurs de la fonction zêta de Riemann en les entiers pairs]])

{{Démonstration/début|titre=Détails}}

Pour <math>f</math> périodique de période <math>2 \pi</math>, valant <math>f(x) = x^2</math> si <math>-\pi \le x \le \pi </math><ref>{{Note autre projet|Wikiversité|Sommation/Exercices/Séries de Fourier et fonction zêta#Exercice 9-3|cet exercice corrigé de la leçon « Sommation »|début=Voir par exemple}}</ref> :
* le théorème de Dirichlet, appliqué en <math>\pi</math> et en 0, donne les formules annoncées pour <math>\frac{\pi^2}6</math> et <math> \frac{\pi^2}{12}</math> ;
* la formule de Parseval donne <math> \frac{\pi^4}{90} = \sum_{n=1}^{+\infty} \frac1{n^4}</math>.

En prenant d'autres fonctions, telles que :
* le signal carré périodique : <math>f\,2\pi</math>-périodique qui coïncide sur <math>[-\pi,\pi[</math> avec <math>x \mapsto \left\{\begin{array}{cl} -1 & \mbox{si } x \in [-\pi,0[ \\ 0 & \mbox{si } x = 0 \\ 1 & \mbox{si } x \in ]0,\pi[\end{array}\right. </math> ;
* le signal triangulaire périodique : <math>f(x) = \left| x \right|</math> si <math>-\pi \le x \le \pi </math> ;
*etc.
on retrouve d'autres formules similaires, telles que les formules annoncées pour <math>\frac{\pi^2}8</math>, <math>\frac{\pi}4</math>, <math>\sum_{n=1}^{+\infty} \frac1{n^{2p}}</math>{{etc.}}

{{Démonstration/fin}}

=== Équations différentielles et aux dérivées partielles ===

Les séries trigonométriques peuvent être employées, comme les [[série entière|séries entières]], pour rechercher les solutions de certaines [[équation différentielle linéaire|équations différentielles linéaires]].

La méthode de [[séparation des variables]] pour une [[équation aux dérivées partielles]] consiste à en chercher des solutions sous forme de produit de fonctions d'une seule variable. Lorsque cette méthode s'applique, chacune de ces fonctions vérifie une [[équation différentielle]] linéaire et des conditions aux limites. Ainsi, pour le problème des [[corde vibrante|cordes vibrantes]] :

:<math>\begin{cases}\hbox{(i)}\qquad \frac{\partial^2 u}{\partial t^2}=\frac{\partial^2 u}{\partial x^2},\\
\hbox{(ii)}\qquad u(0,t)=u(1,t)=0,\\
\hbox{(iii)}\qquad u(x,0)=f(x), \frac{\partial u}{\partial t}(x,0)=v(x)\end{cases} \qquad (x,t)\in \left ]0,1 \right [\times \left ]0,+\infty \right[, </math>

La variable <math>t</math> est le temps, <math>x</math> est une coordonnée d'espace comprise entre deux valeurs 0 et 1 qui représentent les points d'attache de la corde. La fonction <math>u</math> donne la position de la corde à tout moment. La fonction <math>f</math> donne sa position initiale, <math>v</math> la distribution initiale des vitesses.

On peut trouver des fonctions satisfaisant <math>\hbox{(i)}</math> et <math>\hbox{(ii)}</math> qui sont de la forme <math>a(x)\,b(t)</math>. Par superposition, on trouve l'expression générale de la solution :

:<math>u(x,t)=\sum_{n=0}^{+\infty} \sin (n\pi x) (a_n \cos (n\pi t) +b_n\sin(n\pi t)),</math>

où les coefficients <math>a_n</math> et <math>b_n</math> sont ceux qu'on obtient en décomposant <math>f</math> et <math>v</math> en série de Fourier.

Plus généralement, la [[théorie de Sturm-Liouville]] permet de traiter les problèmes de séparation de variables de façon très similaire en donnant l'existence d'une base hilbertienne jouant le même rôle que la famille des fonctions trigonométriques élémentaires.

Le [[problème de Dirichlet]] sur un disque est un autre exemple classique d'emploi des séries de Fourier. Il consiste à déterminer les [[fonction harmonique|fonctions harmoniques]] sur le disque (ouvert) ayant une valeur limite fixée au bord. Physiquement, il s'interprète comme la recherche d'un profil de température à l'équilibre, les valeurs sur le bord du disque étant imposées. Si on suppose qu'il s'agit du disque unité, en employant les [[coordonnées polaires]], la fonction donnant le profil de température imposé est <math>f(\theta)</math>, supposée continue et périodique. Elle admet des coefficients de Fourier <math>a_n(f)</math> et <math>b_n(f)</math>. Alors la fonction suivante donne la solution sur le disque :

:<math>T(r,\theta)=\sum_{n=0}^{+\infty} r^n(a_n(f) \cos (n\theta)+b_n(f)\sin (n\theta)).</math>

Le fait que la limite lorsque <math>r</math> tend vers 1 soit égale à <math>f</math>, avec convergence uniforme, est une application du procédé de [[Sommation par parties|sommation d'Abel]].

=== Inégalités fonctionnelles ===

L'analyse de Fourier permet de donner des expressions nouvelles pour l'opération de dérivation, et d'en tirer des estimées intéressantes.

Ainsi l'[[inégalité de Wirtinger]] s'applique à une fonction <math>f</math> de classe <math>\mathcal {C}^1</math>, <math>2\pi</math>-périodique et de [[Moyenne|valeur moyenne]] nulle. Elle compare les normes de <math>f</math> et de sa dérivée (normes de la convergence en moyenne quadratique) :

:<math> \|f\|_2^2\leq \|f'\|_2^2 </math> c'est-à-dire <math> \int_{-\pi}^{\pi} |f(t)|^2 dt \leq \int_{-\pi}^{\pi} |f'(t)|^2 dt</math>

Ce résultat peut servir à son tour à établir le [[théorème isopérimétrique]] : le cercle est la courbe fermée enserrant un domaine connexe d'aire maximale pour une longueur donnée.

Un autre exemple d'application est l'[[inégalité de Bernstein]]. Celle-ci s'applique à une fonction de la forme suivante :

:<math>f(t)=\sum_{k=1}^p \alpha_k e^{i\lambda_k t}</math>

avec des coefficients <math>\alpha_k</math> complexes et des coefficients <math>\lambda_k</math> réels (ce n'est donc pas nécessairement un polynôme trigonométrique) et distincts. L'inégalité permet de comparer cette fois les [[Borne (mathématiques)|bornes supérieures]] de <math>f</math> et de sa dérivée :

:<math>\|f'\|_\infty \leq \max\limits_{1\leq k\leq p}|\lambda_k|\cdot \|f\|_\infty.</math>

La démonstration de l'inégalité de Bernstein repose sur l'écriture de <math>f'</math> comme une combinaison infinie de translatées de <math>f</math>, à l'aide d'une formule d'analyse de Fourier.

== Extension du concept de série de Fourier ==

=== Extension aux distributions ===

Les séries de Fourier se définissent plus généralement pour les [[Distribution (mathématiques)|distributions]] périodiques. Une distribution <math>D</math> est par définition une [[forme linéaire]] sur un espace de fonctions. <math>D</math> est dite <math>T</math>-périodique lorsque sa valeur sur une fonction test <math>f</math> est la même que sur sa <math>T</math>-translatée. Dans ce cas, il existe une distribution à support compact <math>d</math> telle que <math>D</math> est la somme de la série suivante au sens des distributions : 

:<math>D=\sum_{k\in\Z} t_{kT}d</math>.

Les '''coefficients de Fourier de <math>D</math>''' sont alors définis comme suit : 

<center><math>c_p(D)=\frac1T \left\langle d ,\operatorname e^{-\mathrm i\frac{2p\pi}Tt}\right\rangle</math>.</center>

Ces coefficients ne dépendent pas du choix de <math>d</math>. Ils sont « à croissance lente », c'est-à-dire dominés par une expression polynomiale.

La série de Fourier converge vers <math>D</math> au sens des distributions :

<center><math>D=\sum_{p\in \Z}c_p(D)\operatorname e^{\mathrm i\frac{2p\pi}Tt}</math>,</center>

ce qui prouve que la transformation de Fourier est [[Injection (mathématiques)|injective]] sur les distributions <math>T</math>-périodiques, et à fortiori sur les [[Fonction localement intégrable|fonctions localement intégrables]] <math>T</math>-périodiques.

Réciproquement, si l'on considère une suite à croissance lente, la série trigonométrique correspondante converge au sens des distributions vers une distribution périodique. Un exemple d'utilisation est le [[peigne de Dirac]].

=== Espaces de Hilbert ===

Les [[espace de Hilbert|espaces de Hilbert]] sont les espaces vectoriels munis d'un produit scalaire et qui sont complets pour la norme associée. L'espace des fonctions <math>T</math>-périodiques, de carré sommable, identifiées par la relation d'égalité [[Ensemble négligeable|presque partout]], possède une structure de ce type. L'identité de Parseval et théorème de Riesz-Fischer montrent que les fonctions trigonométriques élémentaires forment une base hilbertienne, et les coordonnées d'une fonction sont données par ses coefficients de Fourier.

Tout espace de Hilbert séparable et de dimension infinie <math>E</math> est muni d'une telle base, et l'application qui à un élément de l'espace associe ses coefficients (encore appelés « coefficients de Fourier ») est une isométrie de <math>E</math> dans l'[[espace de suites lp|espace <math>L^2</math>]].

Il est possible d'envisager également des espaces de Hilbert non séparables, ainsi il existe des coefficients de Fourier-Bohr pour les [[fonction presque périodique|fonctions presque périodiques]]. On ne pose alors plus de conditions sur le rapport de fréquences pour les fonctions trigonométriques de référence.

=== Série et transformation de Fourier ===

La décomposition en séries de Fourier est également généralisée aux fonctions non périodiques avec la théorie de la [[transformée de Fourier]] et la notion de [[densité spectrale de puissance|densité spectrale]]. Pour une présentation élémentaire, voir [[Analyse spectrale]].

Série et transformation de Fourier sont reliées par la [[formule sommatoire de Poisson]].

== Notes et références ==
{{Traduction/Référence|en|Dini criterion|1146529241}}
{{Références}}

== Voir aussi ==
{{Autres projets
  | wikiversity = Série de Fourier
}}

=== Articles connexes ===
* [[Série de Fourier généralisée]]

=== Bibliographie ===


*{{Ouvrage|langue=fr|auteur1=Jacques Peyrière|titre=Convolution, séries et intégrales de Fourier|éditeur=[[Éditions Ellipses|Ellipses]]|année=2012|isbn=}}.
* {{Kahane1}}.
* {{Rudin}}.
*{{Ouvrage|langue=en|auteur1=[[Yitzhak Katznelson]]|titre=An Introduction to Harmonic Analysis|lieu=New York|éditeur=[[Dover Publications]]|année=1976|pages totales=264|isbn=978-0-486-63331-2}}.

=== Liens externes ===
* [https://www.geogebra.org/m/42276 Animation Geogebra sur la synthèse de Fourier] par François Byasson
* [http://www.sciences.univ-nantes.fr/physique/perso/gtulloue/Elec/Fourier/fourier1.html Synthèse de Fourier (animation Flash)]

{{Palette|Analyse fonctionnelle}}
{{Portail|analyse}}

[[Catégorie:Série de Fourier|*]]