- f est paire sur [−π,π], donc bn=0 et
an=π2∫0πcos(αx)cos(nx)dx=π1∫0π[cos((α−n)x)+cos((α+n)x)]dx.
=π1[α−nsin((α−n)π)+α+nsin((α+n)π)].
sin((α±n)π)=(±1)nsin(απ)⋅selon signe… En fait sin(απ−nπ)=(−1)nsin(απ)⋅(−1)=−(−1)nsin(απ). Hmm, plus simplement sin(απ±nπ)=sin(απ)cos(nπ)±cos(απ)sin(nπ)=(−1)nsin(απ).
Donc an=π(−1)nsin(απ)[α−n1+α+n1]=π(−1)nsin(απ)⋅α2−n22α.
Et a0=π2∫0πcos(αx)dx=απ2sin(απ).
Donc la série de Fourier de f (continue et C1 par morceaux, convergence uniforme) est :
cos(αx)=απsin(απ)+π2αsin(απ)∑n=1∞α2−n2(−1)ncos(nx).
- Pour cot : évaluer en x=π : cos(απ)=απsin(απ)+π2αsin(απ)∑n=1∞α2−n21 (car cos(nπ)(−1)n=1).
Divisant par sin(απ) :
cot(απ)=απ1+π2α∑n=1∞α2−n21.
Posant y=απ (donc α=y/π) :
coty=y1+π22y∑n=1∞(y/π)2−n21=y1+∑n=1∞y2−n2π22y.
Pour 1/sin : évaluer la série de Fourier en x=0 : 1=απsin(απ)+π2αsin(απ)∑n=1∞α2−n2(−1)n.
Divisant par sin(απ) :
sin(απ)1=απ1+π2α∑n=1∞α2−n2(−1)n.
Avec y=απ :
siny1=y1+∑n=1∞y2−n2π2(−1)n⋅2y.