Démontrer une limite avec Fourier
Bonjour à tous, je suis coincé sur un exercice et j'ai besoin d'aide pour commencer.
Soient $f$ et $g$ deux fonctions continues $2\pi$-périodiques. Je dois démontrer que:
$$
\lim_{n\to\infty}\int_{-\pi}^{\pi}f(x)g(nx)dx=\frac{1}{2\pi}\int_{-\pi}^{\pi}f(x)dx\int_{-\pi}^{\pi}g(x)dx.
$$ Jusqu'à présent, j'ai seulement remarqué que la limite ressemble beaucoup au lemme de Riemann-Lebesgue mais je ne sais pas si cela peut être utile.
Quelqu'un a-t-il des suggestions ?
Soient $f$ et $g$ deux fonctions continues $2\pi$-périodiques. Je dois démontrer que:
$$
\lim_{n\to\infty}\int_{-\pi}^{\pi}f(x)g(nx)dx=\frac{1}{2\pi}\int_{-\pi}^{\pi}f(x)dx\int_{-\pi}^{\pi}g(x)dx.
$$ Jusqu'à présent, j'ai seulement remarqué que la limite ressemble beaucoup au lemme de Riemann-Lebesgue mais je ne sais pas si cela peut être utile.
Quelqu'un a-t-il des suggestions ?
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
$$ correspond à celui dans $\ell^2(\mathbb Z)$ :
$$\langle f,h \rangle = \sum_{k \in \mathbb Z} c_k(f)\overline{c_k(h)},
$$ où $c_k(f)$ est le $k$-ème coefficient de Fourier de $f$.
Tu peux calculer les coefficients de Fourier de $x \mapsto g(nx)$.
Sans Fourier.
Benjamin, très astucieux ; mais je n'avais jamais remarqué à quel point le calcul des coefficients de Fourier de $x\mapsto g(nx)$ peut être exaspérant.
$$\int_0^{2\pi} g(nx) e^{-ikx} \mathrm dx = \sum_{j=0}^{n-1} \int_0^{\frac{2 \pi}{n}} g(nx)e^{-ik(x+\frac{2 j\pi}{n})} \mathrm dx= \Big (\int_0^{\frac{2 \pi}{n}} g(nx)e^{-ikx} \mathrm dx \Big ) \times \Big ( \sum_{\zeta \in \mathbb U_n} \zeta^{k} \Big ) ,
$$ où $\mathbb U_n$ est le groupe des racines $n$-ème de l'unité. Or la dernière somme vaut $n$ si $n\mid k$ et $0$ sinon.
$$\int_0^{2\pi}f(x)g(nx)dx=2\pi\sum_{k\in \mathbb{Z}}\hat{f}(kn)\overline{\hat{g}(k)}\to_{n\to \infty} 2\pi\hat{f}(0)\overline{\hat{g}(0)}$$