Bonjour à tous!
Dans ma colle de maths, je dois montrer que :
$$\int_{0}^{+infini} sin(xt)*1/(\exp t)-1 dt = \sum_{n=1}^{+infini} x / (x^{2}+n^{2})$$
Pour cela j'utilise le TCD, tout marche, sauf qu'à un moment je dois calculer :
$$\int_{0}^{+infini} \exp ((n-ix)t) dt$$
avec x un réel fixé.
Comment faire ? Car la limite en +infini d'une telle fonction est inconnue. Je pense que la limite en +infini est 0 mais je ne vois pas comment le montrer.
Merci d'avance
Message édité le 28 février 2018 à 17:32:23 par JeLaiPasTouche