Développement du cosinus intégral
Bonjour,
je sais que l'on a pour tout $x\in\R_+^\ast$ le développement \[
\int_{+\infty}^x \dfrac{\cos(t)}{t} dt = \ln(x)+\gamma + \sum_{n=1}^{+\infty} (-1)^n\dfrac{x^{2n}}{(2n)!(2n)}.
\] J'ai essayé d'établir cette formule, mais j'ai quelques difficultés à faire apparaître la constante $\gamma$. Si je n'ai pas fait d'erreurs de calculs, il me semble qu'il me reste à établir que \[
\gamma=\int_0^1 \dfrac{1-\cos(t)}{t} dt -\int^{+\infty}_1 \dfrac{\cos(t)}{t} dt,
\] mais je ne vois pas comment y arriver.
Quelqu'un aurait-il une idée ou une autre méthode de calcul pour démontrer le développement ci-dessus ?
Merci !
je sais que l'on a pour tout $x\in\R_+^\ast$ le développement \[
\int_{+\infty}^x \dfrac{\cos(t)}{t} dt = \ln(x)+\gamma + \sum_{n=1}^{+\infty} (-1)^n\dfrac{x^{2n}}{(2n)!(2n)}.
\] J'ai essayé d'établir cette formule, mais j'ai quelques difficultés à faire apparaître la constante $\gamma$. Si je n'ai pas fait d'erreurs de calculs, il me semble qu'il me reste à établir que \[
\gamma=\int_0^1 \dfrac{1-\cos(t)}{t} dt -\int^{+\infty}_1 \dfrac{\cos(t)}{t} dt,
\] mais je ne vois pas comment y arriver.
Quelqu'un aurait-il une idée ou une autre méthode de calcul pour démontrer le développement ci-dessus ?
Merci !
Réponses
-
Merci Chaurien !
Ne faut-il pas donner une justification pour pouvoir utiliser le changement de variable $u=it$ comme dans le lien que tu m’as indiqué ? -
bonsoir
dans l'expression du cosinus intégral avec x > 0
il faut montrer que la discontinuité de cost/t pour t = 0 est compensée dans l'intégration qui supporte donc la discontinuité
par exemple en montrant que la limite pour x tendant vers 0 de l'intégrale $\int_{-x}^{x}\frac{cost}{t}dt$ est finie
cost tend vers 1 lorsque t tend vers 0
et donc la limite de l'intégrale est celle de ln|t| calculée de - x à x soit ln|x/x| c'est-à-dire 0
cordialement -
En cherchant sur le web je viens de trouver ceci
https://services.artofproblemsolving.com/download.php?id=YXR0YWNobWVudHMvZS9hL2QyMmI1ODcwYjYwY2JmMzIyNmE1NzY4NzU0NjQwMWIwMmYzMTMz&rn=RXVsZXIncyBjb25zdGFudC5wZGY=
@Mr J pour ta formule dans le lien ci-dessus on démontre la formule 13/ puis la formule 14/ -
Jean Lismonde avait apparemment renoncé au n'importe quoi qui faisait notre joie il y a quelque temps, et il y revient, pour nous faire rigoler à nouveau, qu'il en soit remercié.
-
supp
-
Cela a été abordé il y a 5 mois dans le fil Égalité avec la constante d'Euler
-
Merci pour toutes vos références!
J’ai récupéré par la même occasion la démonstration très simple de lale dans le lien de jandri pour la formule analogue avec la fonction exponentielle.
@etanche : ce document est très complet sur le sujet et il présente une démonstration alternative à celle de jandri et side. Je vais le garder sous la main, ça peut toujours faire un bon devoir pour les étudiants. :-D -
Chau rien,
Pardonne Jlismonde car il omet dans son explication de parler de la valeur principale de Cauchy et de son lien avec les distributions.... Ceci dit, ses theories vis à vis d'un bac+1-2 risquent ces derniers d'aller droit au casse-pipe en concours et/ou examen
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.2K Toutes les catégories
- 9 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 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
- 65 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 69 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
- 314 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
- 773 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres
Qui est en ligne 3
3 Invités