Nas questões 1), 2), 3) e 4), abaixo, \sum_{k \in \mathbb{Z}} c_{k} e^{i k x} é a série de Fourier de uma função 2 \pi-periódica (e complexa) f=f(x)(-\pi \leq x \leq \pi).
Se \tilde{c_{k}} \in \mathbb{C}(k=0, \pm 1) são tais que
\int_{-\pi}^{\pi}\left|f(t)-\sum_{\{k\} \leq 1} \tilde{c_{k}} e i k t\right|^{2} d t=\int_{-\pi}^{\pi}\left|f(t)-\sum_{\{k\} \leq 1} c_{k} e i k t\right|^{2} d t
então \tilde{c_{k}}=c_{k}(k=0, \pm 1).
( ) V ( ) F
Passo 1
O enunciado fala de uma função 2\pi-periódica f com série de Fourier
f(x)\sim\sum_{k\in\mathbb{Z}}c_{k}e^{ikx},
e diz que, se \tilde c_{k} (k=0,\pm1) também minimizam o erro quadrático
então devemos mostrar que \tilde c_{k}=c_{k}. O conteúdo é projeção ortogonal em L^{2}([-\pi,\pi]).
Passo 2
Definimos o subespaço E=\mathrm{span}\{e^{-i x},\,e^{0\cdot i x},\,e^{i x}\}. Para qualquer escolha de coeficientes \{d_{k}\}_{|k|\le1}, o erro quadrático
Mas \widetilde P-P=\sum_{|k|\le1}(\tilde c_{k}-c_{k})e^{ik t}, e como \{e^{ikx}\} é sistema ortonormal em L^{2}([-\pi,\pi]), cada coeficiente \tilde c_{k}-c_{k} deve ser zero. Logo \tilde c_{k}=c_{k} para k=0,\pm1.