# Nucleo di Dirichlet

In analisi matematica, il nucleo di Dirichlet è la famiglia di polinomi trigonometrici definita da
    $D_{n}(x)=\sum _{k=-n}^{n}e^{ikx}=1+2\sum _{k=1}^{n}\cos(kx)={\frac {\sin \left(\left(n+1/2\right)x\right)}{\sin(x/2)}}.$
È così chiamata in onore di Peter Gustav Lejeune Dirichlet.

## Criterio di convergenza per serie di Fourier

Il nucleo di Dirichlet trova ampia applicazione nella teoria delle serie di Fourier. La convoluzione di D$_n$(x) con qualsiasi funzione ƒ di periodo $2\pi$ è pari all' approssimazione in serie di Fourier di ƒ troncata all' n-esimo termine, cioè si ha
    $(D_{n}*f)(x)={\frac {1}{2\pi }}\int _{-\pi }^{\pi }f(y)D_{n}(x-y)\,dy=\sum _{k=-n}^{n}{\hat {f}}(k)e^{ikx},$
dove
    ${\widehat {f}}(k)={\frac {1}{2\pi }}\int _{-\pi }^{\pi }f(x)e^{-ikx}\,dx$
è il k-esimo coefficiente di Fourier di ƒ.
Questo fatto può essere utile nello studio della convergenza puntuale dello sviluppo di Fourier di una funzione periodica. Infatti posto $S_{n}(x)=\sum _{k=-n}^{n}{\hat {f}}(k)e^{ikx}$ si ha, usando il risultato precedente,
    $S_{n}(x)={\frac {1}{2\pi }}\int _{-\pi }^{\pi }f(y+x){\frac {\sin \left(\left(n+1/2\right)y\right)}{\sin(y/2)}}\,dy.$
Tale espressione vale in particolare anche per la funzione costante $f(x)=1$ per la quale tutti i coefficienti della serie di Fourier sono nulli tranne quello per cui $k=0$ che vale $1$. Si vede quindi che per tale funzione costante vale
    $S_{n}(x)=1={\frac {1}{2\pi }}\int _{-\pi }^{\pi }{\frac {\sin \left(\left(n+1/2\right)y\right)}{\sin(y/2)}}\,dy.$
(Ciò è facilmente verificabile anche integrando termine a termine la serie trigonometrica che definisce il nucleo di Diriclet).
Se ora vogliamo verificare le condizioni per cui la serie di Fourier di f converga puntualmente in un punto $x$ dobbiamo studiare il comportamento del resto n-esimo
    $|S_{n}(x)-f(x)|={\frac {1}{2\pi }}{\biggl \vert }\int _{-\pi }^{\pi }f(y+x){\frac {\sin \left(\left(n+1/2\right)y\right)}{\sin(y/2)}}\,dy-f(x){\frac {\sin \left(\left(n+1/2\right)y\right)}{\sin(y/2)}}\,dy{\biggl \vert },$
ossia
    $\vert S_{n}(x)-f(x)\vert ={\frac {1}{2\pi }}{\biggl \vert }\int _{-\pi }^{\pi }(f(y+x)-f(x)){\frac {\sin \left(\left(n+1/2\right)y\right)}{\sin(y/2)}}\,dy{\biggl \vert }.$
Grazie al lemma di Riemann-Lebesgue sappiamo che una condizione sufficiente affinché il resto n-esimo si annulli per $n\rightarrow \infty$ è che ${\frac {f(x+y)-f(y)}{\sin({\frac {y}{2}})}}$ sia integrabile in $[-\pi ,+\pi ]$. A partire da questo risultato si può dimostrare facilmente la condizione di convergenza del Dini per le serie di Fourier.

## Relazione con la delta di Dirac

Si può definire la distribuzione delta di Dirac periodica in modo tale che si abbia
    $f*(2\pi \delta )=f$
per ogni funzione ƒ di periodo $2\pi$. La rappresentazione in serie di Fourier di questa funzione generalizzata è
    $2\pi \delta (x)\sim \sum _{k=-\infty }^{\infty }e^{ikx}=\left(1+2\sum _{k=1}^{\infty }\cos(kx)\right).$
Per cui il nucleo di Dirichlet può essere visto come un'approssimazione di tale distribuzione.

## Dimostrazione dell'identità trigonometrica

L'identità trigonometrica
    $\sum _{k=-n}^{n}e^{ikx}={\frac {\sin((n+1/2)x)}{\sin(x/2)}}$
può essere dimostrata nel modo seguente. Ricordando che la somma di una progressione geometrica è
    $\sum _{k=0}^{n}ar^{k}=a{\frac {1-r^{n+1}}{1-r}}.$
Abbiamo in particolare che
    $\sum _{k=-n}^{n}r^{k}=r^{-n}\cdot {\frac {1-r^{2n+1}}{1-r}}.$
Moltiplicando sia numeratore che denominatore per r$^{−1/2}$abbiamo
    ${\frac {r^{-n-1/2}}{r^{-1/2}}}\cdot {\frac {1-r^{2n+1}}{1-r}}={\frac {r^{-n-1/2}-r^{n+1/2}}{r^{-1/2}-r^{1/2}}}.$
Ora se r = e$^{ix}$ troviamo
    $\sum _{k=-n}^{n}e^{ikx}={\frac {e^{-(n+1/2)ix}-e^{(n+1/2)ix}}{e^{-ix/2}-e^{ix/2}}}={\frac {-2i\sin((n+1/2)x)}{-2i\sin(x/2)}}={\frac {\sin((n+1/2)x)}{\sin(x/2)}}$
che era quello che volevamo dimostrare.