Noyau de Dirichlet

Tracé des premiers noyaux de Dirichlet.

En mathématiques, et plus précisément en analyse, le n-ième noyau de Dirichlet — nommé ainsi en l'honneur du mathématicien allemand Johann Dirichlet — est le polynôme trigonométrique défini par :

$D_{n}(x)=\sum _{k=-n}^{n}\mathrm {e} ^{\mathrm {i} kx}=1+2\sum _{k=1}^{n}\cos(kx)$.

C'est donc une fonction 2π-périodique de classe ${\mathcal {C}}^{\infty }$. Elle vérifie de plus :

• si x n'est pas un multiple entier de 2π, alors $D_{n}(x)={\frac {\sin \left(\left(n+{\frac {1}{2}}\right)x\right)}{\sin \left({\frac {x}{2}}\right)}}$ ;
• si x est un multiple entier de 2π, alors $D_{n}(x)=2n+1$.

Le noyau de Dirichlet permet notamment d'améliorer la convergence des séries de Fourier. Il intervient aussi en optique, pour rendre compte des franges et des compositions d'ondes cohérentes.

Considérations élémentaires

Équivalence des deux écritures du noyau de Dirichlet

Lorsque $\mathrm {e} ^{\mathrm {i} x}=1$, c'est-à-dire lorsque x appartient à 2πℤ, le noyau de Dirichlet est la somme de 2n + 1 termes chacun égaux à 1, et vaut donc 2n + 1.

Lorsque $\mathrm {e} ^{\mathrm {i} x}\neq 1$, l'identité trigonométrique qui apparaît au début de l'article peut être établie par le calcul d'une somme d'une suite géométrique de raison $\mathrm {e} ^{\mathrm {i} x}$ et en utilisant la formule d'Euler.

Propriétés du noyau de Dirichlet

• C'est un polynôme trigonométrique, donc une fonction ${\mathcal {C}}^{\infty }$, 2π-périodique ;
• il est pair ;
• sa valeur moyenne est 1 ;
• le comportement asymptotique de sa norme de la convergence en moyenne est :

$\|D_{n}\|_{1}={\frac {1}{2\pi }}\int _{-\pi }^{\pi }\left|D_{n}(t)\right|\,\mathrm {d} t={\frac {4}{\pi ^{2}}}\ln n+O(1)$.

Démonstration

L'idée générale est de se ramener à une fonction sinus cardinal. En effet, pour $|x|\leq \pi$,

$D_{n}(x)={\frac {2\sin(nx)}{x}}+\left(\sin(nx)\left(\operatorname {cotan} {\frac {x}{2}}-{\frac {2}{x}}\right)+\cos(nx)\right).$

On reconnaît dans le second terme de cette somme une fonction prolongeable par continuité en 0, donc continue, et bornée indépendamment de n. Dès lors, il suffit de montrer la propriété pour le premier terme de la somme qui est un sinus cardinal.

Pour ce dernier, il s'agit d'un résultat classique. On introduit la valeur moyenne du numérateur :

$S={\frac {1}{2\pi }}\int _{-\pi }^{\pi }|\sin t|\,\mathrm {d} t={\frac {2}{\pi }}$

et alors :

$\int _{-\pi }^{\pi }{\frac {|\sin(nx)|}{x}}\,\mathrm {d} x=2\int _{0}^{n\pi }{\frac {|\sin u|}{u}}\,\mathrm {d} u=2S\ln(n\pi )+O(1)$.

La démonstration, se faisant par comparaison série-intégrale, est suggérée dans l'article « Intégrale de Dirichlet ».

Opérateur associé

Le n-ième terme de la série de Fourier d'une fonction 2π-périodique et intégrable $f$ s'écrit :

$S_{n}(f)(x)={\frac {1}{2\pi }}\int _{-\pi }^{\pi }f(t)D_{n}(x-t)\,\mathrm {d} t={\frac {1}{2\pi }}\int _{-\pi }^{\pi }D_{n}(t)f(x-t)\,\mathrm {d} t=(D_{n}*f)(x)$.

L'identité précédente est un produit de convolution, ou l'application d'un opérateur à noyau.

C'est à partir de cette expression et des propriétés du noyau de Dirichlet qu'on démontre le théorème de Dirichlet sur la convergence des séries de Fourier.

Cet opérateur est un opérateur borné sur l'espace des fonctions continues, dont la norme d'opérateur est majorée par $\|D_{n}\|_{1}$.

En spécialisant l'étude en un point x particulier, l'application $x\mapsto S_{n}(f)(x)$ a pour norme d'opérateur $\|D_{n}\|_{1}$ lui-même, qui tend vers l'infini avec n. À l'aide du théorème de Banach-Steinhaus, on peut en déduire qu'il existe des fonctions continues dont la série de Fourier diverge au point x.

Introduction au formalisme des distributions

Le noyau de Dirichlet est 2π fois la somme d'ordre n du développement en série de Fourier du peigne de Dirac δ_p, qui est la distribution de période 2π donnée par

$\delta _{p}(x)=\sum _{k=-\infty }^{\infty }\delta (x-2\pi k)$

où δ est la « fonction » delta de Dirac, qui en réalité n'est pas une fonction mais une distribution. En d'autres termes, le développement en série de Fourier de la distribution δ_p s'écrit

$\delta _{p}(x)={\frac {1}{2\pi }}\sum _{k=-\infty }^{\infty }\mathrm {e} ^{\mathrm {i} kx}={\frac {1}{2\pi }}\left(1+2\sum _{k=1}^{\infty }\cos(kx)\right).$

La distribution périodique δ_p est l'élément neutre pour le produit de convolution défini sur l'ensemble des fonctions de période 2π par

$(f*g)(x)={\frac {1}{2\pi }}\int _{-\pi }^{\pi }f(y)g(x-y)\,\mathrm {d} y.$

Autrement dit,

pour toute fonction $f$ de période 2π, $f*\delta _{p}=\delta _{p}*f=f$

Le produit de convolution de D_n avec n'importe quelle fonction $f$ de période 2π est égal à la somme d'ordre n du développement en série de Fourier de $f$, c.-à-d. qu'on a

$(D_{n}*f)(x)=(f*D_{n})(x)={\frac {1}{2\pi }}\int _{-\pi }^{\pi }f(y)D_{n}(x-y)\,\mathrm {d} y=\sum _{k=-n}^{n}{\hat {f}}(k)\mathrm {e} ^{\mathrm {i} kx},$

où

${\hat {f}}(k)={\frac {1}{2\pi }}\int _{-\pi }^{\pi }f(x)\mathrm {e} ^{-\mathrm {i} kx}\,\mathrm {d} x$

est le k-ième coefficient de Fourier de $f$.

Notes et références

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Dirichlet kernel » (voir la liste des auteurs).

• Howard Levi, « A geometric construction of the Dirichlet kernel », Transactions of the New York Academy of Sciences, Series II, vol. 36, n^o 7,‎ 1974, ;640–643 (DOI 10.1111/j.2164-0947.1974.tb03023.x).

Articles connexes

• Série de Fourier
• Noyau de Fejér