Une série

Bonjour, comment on montre
$$\sum_{n=-\infty}^{\infty} \frac{1}{(x+nL)^2}=\frac{1}{\big (\frac{L}{\pi}\sin\frac{\pi x}{L}\big)^2},
$$ où $L$ est une constante, $x\in\R$ ?
Merci d'avance !

Réponses

  • On doit pouvoir s’en sortir à partir de la décomposition de la fonction cotangente que l’on obtient par exemple en passant par les séries de Fourier. Il existe peut-être une preuve directe via les séries de Fourier.
  • Bonjour
    Sans pb on suppose que L=1.

    Ensuite tu développes en série $\cot(\pi x)$ grâce à Mittag-Leffler et puis tu dérives.
     
  • Merci ! Est-ce que vous pouvez un peu plus détaillé car je n'ai jamais entendu parler de Mittag-Leffler.
  • Ou bien les résidus : le pôle $s=-x/L$ étant double, on a
    $$\sum_{n \in \mathbb{Z}} \frac{1}{(x+nL)^2} = - \underset{s=-x/L}{\textrm{Res}} \left( \frac{\pi \cot \pi s}{(x+sL)^2} \right) = - \frac{1}{L^2} \left[ \frac{\textrm{d}}{\textrm{d}s} \left(\pi \cot \pi s \right) \right]_{} = \frac{\pi^2}{L^2 \sin (\pi x/L)^2}.$$
  • Rebonjour

    Voir ici par exemple.

    Mittag-Leffler
     
  • Merci !
  • Il me semble qu’il y a une preuve niveau prépas avec $f$ de $\R$ dans $\R$ continue telle qu’il existe une constante $c>2$ telle que pour tout $x\in \R,\ f(x/2) + f(x/2 +1/2) =cf(x)$.
  • Bonjour

    tu pars du produit infini eulérien :

    $\frac{\sin(\pi x)}{\pi x}= (1 - x^2)(1 - \frac{x^2}{2^2})\cdots(1 - \frac{x^2}{n^2})\ldots$

    tu passes aux logarithmes népériens et tu dérives terme à terme, tu trouves la série rationnelle :

    $\frac{\pi}{\tan(\pi x)} - \frac{1}{x} = \frac{1}{x - 1} + \frac{1}{x + 1} + \frac{1}{x-2} + \frac{1}{x + 2} + \ldots$
    que tu dérives par rapport à $x$, il vient :
    $\frac{\pi^2}{\sin^2(\pi x)} = \frac{1}{x^2} + \frac{1}{(x - 1)^2} + \frac{1}{(x + 1)^2} + \frac{1}{(x - 2)^2} + \frac{1}{(x + 2)^2} +\ldots $ soit :
    $\sum_{-\infty}^{+\infty}\frac{1}{(x + n)^2} = \frac{\pi^2}{\sin^2(\pi x)}$
    Ta série peut s'écrire : $$\frac{1}{L^2}\sum_{-\infty}^{+\infty}\frac{1}{(\frac{x}{L} + n)^2} = \frac{\pi^2}{L^2}\times\frac{1}{\sin^2\frac{\pi x}{L}}.

    $$ Cordialement.
  • Merci ;-) !
Connectez-vous ou Inscrivez-vous pour répondre.