Cotangente sous forme intégrale
Réponses
-
Bonjour
Dans l'intégrale ($-1<\Re(z)<1$ ) tu utilises l'identité $\displaystyle \frac{1}{e^t-1}=\sum_{n=1}^\infty e^{-nt}$ pour la calculer sous la forme d'une série. Cela correspondra au membre de droite ; cela se démontrera avec l'analyse complexe. -
bonjour
pour que ton intégrale converge il faut supposer z variable complexe de module strictement inférieur à 1
je te propose une démonstration avec la variable x réelle :
tu pars de la transformée de Laplace de la fonction $t^x$
avec t variable d'intégration et x variable réelle comprise entre - 1 et 1 soit :
$$\int_0^{+oo}e^{-pt}t^x.dt=\frac{\Gamma(1+x)}{p^{x+1}}$$
avec $\Gamma(1+x)$ fonction eulérienne Gamma
p étant entier naturel, en sommant à l'infini chaque membre de l'identité
tu en déduis l'intégrale génératrice :
$\int_0^{+oo}\frac{t^x}{e^t - 1}dt = Z(x+1).\Gamma(1+x)$
avec Z(1+x) fonction Zéta de Riemann
pour x entier naturel égal à n il vient : $\int_0^{+oo}\frac{t^n}{n!}\frac{dt}{e^t - 1} = Z(n+1)$
si n est entier impair en sommant de 0 à +oo chaque membre de l'identité avec 0 < x < 1
(en reconnaissant le développement en série du sinus hyperbolique sh(tx)) il vient :
$\int_0^{+oo}\frac{sh(tx)}{e^t - 1}dt = xZ(2) + x^3Z(3) + x^5Z(4) + ....... + x^{2n-1}.Z(2n) +......$
au second membre tu reconnais le développement en série d'une fonction liée au produit eulérien
$\frac{sin(\pi.x)}{\pi.x} = (1-x²)(1-x²/2²).......(1-x²/n²).....$
(et obtenue après dérivation du logarithme de chaque membre)
finalement : $$\int_0^{+oo}\frac{sh(tx)}{e^t - 1}dt = \frac{1}{2x} - \frac{\pi}{2tan(\pi.x)}$$
cordialement -
$\newcommand{\res}{\operatorname{res}}$@Lismonde
pas tout à fait d'accord. Comme je l'ai écrit l'intégrale est convergente pour $-1< Re(z)<1$ (donc $|z|$ peut être $>1$).
Bon je développe mon calcul $-1< Re(z)<1$
$\displaystyle \int_0 ^ \infty \sum_{n=1}^{\infty} \exp(-n t) \big( \exp( t z)- \exp(-tz)\big) dt =\sum _{n=1}^\infty \frac{2 z}{n^2-z^2},$
en justifiant l'échange somme intégrale.
D'autre part (pour tout $z\in \C ,\ z\notin \Z$) en posant $f(z)=\pi \cot(\pi z)$
$\displaystyle f(z)=\pi \cot (\pi z) = \dfrac{ \res(f,0) }{z}+ \sum_{n=1}^\infty \Big(\dfrac{\res(f,n)}{z-n}+\dfrac{\res(f,-n)}{z+n}\Big).$
$\displaystyle \pi \cot (\pi z)= \dfrac{1}{z}-\sum_{n=1}^\infty \frac{2 z}{n^2-z^2}.$ -
Merci.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 7 Collège/Lycée
- 21.8K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 52 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 62 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 312 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 772 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres