Polinomio trigonometrico
# Polinomio trigonometrico

In matematica, un polinomio trigonometrico è una combinazione lineare finita di funzioni $\sin(nx)$ e $\cos(nx)$ per alcuni valori di $n$ interi positivi. Una serie di Fourier troncata è un polinomio trigonometrico.

I polinomi trigonometrici sono usati, per esempio, nell'interpolazione trigonometrica usata per interpolare funzioni periodiche e nella trasformata di Fourier discreta.

Il termine polinomio trigonometrico deriva dall'analogia dell'uso delle funzioni $\sin(nx)$ e $\cos(nx)$ a una base di monomi per i polinomi.

## Definizione formale

Una funzione $T$ della forma

    $T(x)=a_{0}+\sum _{n=1}^{N}a_{n}\cos(nx)+i\sum _{n=1}^{N}b_{n}\sin(nx)\qquad (x\in \mathbb {R} ),$

con $a_{n},b_{n}\in \mathbb {C}$ per $n=0,\ldots ,N$ e almeno uno tra $a_{N}$ e $b_{N}$ diverso da zero, è detta polinomio trigonometrico complesso di grado $N$. Usando la formula di Eulero il polinomio può essere riscritto come

    $T(x)=\sum _{n=-N}^{N}c_{n}e^{inx}\qquad (x\in \mathbb {R} ).$

Analogamente, se $a_{n},b_{n}\in \mathbb {R}$ per $n=0,\ldots ,N$ e almeno uno tra $a_{N}$ e $b_{N}$ diverso da zero, la funzione

    $t(x)=a_{0}+\sum _{n=1}^{N}a_{n}\cos(nx)+\sum _{n=1}^{N}b_{n}\sin(nx)\qquad (x\in \mathbb {R} ),$

è detta polinomio trigonometrico reale di grado $N$.

## Proprietà

* Un polinomio trigonometrico di grado $N$ può essere considerato come una funzione periodica sulla retta reale con periodo un divisore di $2\pi$ o come una funzione (non periodica) sul cerchio unitario.
* Un polinomio trigonometrico non identicamente nullo di grado $N$ ha al massimo $2N$ radici in ogni intervallo $[a,a+2\pi )$ per ogni $a$ reale.
* L'insieme dei polinomi trigonometrici è denso nello spazio delle funzioni continue sul cerchio unitario con la norma uniforme. Questo è un caso speciale del teorema di Stone-Weierstrass. Più precisamente: per ogni funzione continua $f$ e per ogni $\varepsilon >0$ esiste un polinomio trigonometrico $T$ tale che $|f(x)-T(x)|<\varepsilon$ per ogni $x$.
* Il teorema di Fejér afferma che la media aritmetica delle somme parziali della serie di Fourier di una funzione $f$ converge uniformemente a $f$.
