Trouver un équivalent de la série de fonctions en 0
Soit la fonction $f(x) = \sum_{n=1}^{+\infty} n^x \exp(-nx)$,
On veut trouver un équivalent de $f$ en $0^+$.
Je pense avoir trouvé un équivalent possible : $f(x) \sim x^{-(x+1)}$.
Je l'ai trouvé à partir d'une analyse par un graphe.
Est-ce que quelqu'un aurait un équivalent de $f$ et [pourrait] me donner une idée pour démontrer un tel équivalent ?
Je l'ai trouvé à partir d'une analyse par un graphe.
Est-ce que quelqu'un aurait un équivalent de $f$ et [pourrait] me donner une idée pour démontrer un tel équivalent ?
Mots clés:
Réponses
-
On a plus simplement $f(x)\sim\dfrac1x$ en $0^+$. On l'obtient par comparaison à une intégrale.
-
Est-ce que la recherche de cet équivalent touche à la VIE DU FORUM ET DE SES MEMBRES ?Le 😄 Farceur
-
Alors, j'ai une petite difficulté avec la comparaison à une intégrale. C'est l'intégrale : $\int_1^N t^x \exp(-tx) dt$ ?
Comment fait-on pour trouver $\frac{1}{x}$ ? -
J'ai essayé de le calculer mais je ne trouve pas quelque chose de concluant
-
Ça ressemble furieusement à la fonction gamma. Une ipp bien sentie devrait éclairer.
-
Ok du coup, je trouve ça : $\int_{1}^{+\infty}t^x\exp(-tx)dt = \dfrac{1}{x^{x+1}}\big(x^x \exp(-x)+x\Gamma(x)-x\int_{0}^x u^{x-1}\exp(-u)du\big)$J'ai quelques difficultés avec ce résultat. Tout d'abord, je ne sais pas de l'allure de $x\int_{0}^x u^{x-1}\exp(-u)du$ quand $x\to 0^+$ (car il y a la variable $x$ dans l'intégrale).Puis, je ne suis pas sensé connaître la fonction $\Gamma$. Cela devrait être faisable sans elle (même si je l'avoue que cela aide fortement).
-
Bonjour,
Et pourquoi ne pas appliquer le CDV $u = t x$ ? On retombe alors sur l'équivalent $\frac{\Gamma(1)}{x}$ avec $\Gamma(1) = 0! = 1$. -
Normalement, tu obtiens $\frac{1}{x^{x+1}}\int_{x}^{+\infty} u^x e^{-u} du = \frac{1}{x^{x+1}} \mu(x)$. À partir de là, on cherche l'équivalent en $0$, donc il ne reste plus qu'à démontrer la continuité à droite de $\mu$ en $0$ (ce qui est trivial).
-
@Bibix
Voici mes calculs : $\int_{1}^{+\infty}t^x\exp(-tx)dt = \frac{1}{x}\int_{x}^{+\infty}(\frac{u}{x})^x\exp(-u)du = \frac{1}{x^{x+1}}\int_{x}^{+\infty}u^x\exp(-u)du$Effectivement, mais en quoi est-ce trivial ?Tout d'abord, $\forall x>0, t\to t^xe^{-tx}$ est décroissante pour $t\ge1$.
On sait $\forall n\in \mathbb N^*\backslash\{1\}, \int_{n-1}^{n}v^xe^{-vx}dv \ge n^xe^{-nx} \ge \int_{n}^{n+1}v^xe^{-vx}dv$ donc : $\int_{1}^{+\infty}v^xe^{-vx}dv \ge \sum_{n=2}^{+\infty}n^xe^{-nx} \ge \int_{2}^{+\infty}v^xe^{-vx}dv$
Or $\int_{1}^{+\infty}t^x\exp(-tx)dt = x^{-x}\Gamma(x) - \int_{0}^{1}t^x\exp(-tx)dt$ et $\int_{2}^{+\infty}t^x\exp(-tx)dt = x^{-x}\Gamma(x) - \int_{0}^{2}t^x\exp(-tx)dt$
Ainsi, on trouve $\forall x>0, x^{-x}\Gamma(x) - \int_{0}^{1}t^x\exp(-tx)dt \ge \sum_{n=2}^{+\infty}n^xe^{-nx} \ge x^{-x}\Gamma(x) - \int_{0}^{2}t^x\exp(-tx)dt$
Or $\forall x >0, \forall t\in[0,1], 0 \le t^x\exp(-tx) \le 1$. Donc on obtient : $\forall x>0, x^{-x}\Gamma(x) + e^{-x}\ge \sum_{n=1}^{+\infty}n^xe^{-nx} \ge x^{-x}\Gamma(x) - 1 + e^{-x}$
$x^{-x}\Gamma(x) \sim x^{-1-x}$ et $x^{-x-1}\to_{x\to0^+} +\infty$. Donc par le théorème des gendarmes en divisant par $x^{-1-x}$, on a donc :$$\sum_{n=1}^{+\infty}n^xe^{-nx}\sim_{x\to0^+}x^{-1-x}$$Etait-ce faux ?
-
Si tu sais intégrer des fonctions continues par morceaux, non car $\int_x^{+\infty} f(t) dt = \int_{\mathbb{R}_+} \mathbb{1}_{t \geqslant x} f(t) dt$.
-
_ étape 1 : $\underset{x \to 0^+}{\lim} \mu(x) = \mu(0) = \Gamma(1)$ (se démontre avec un petit TCD trivial)_ étape 2 : $\underset{x \to 0^+}{\lim} x^x = 1$ (il suffit d'utiliser les croissances comparées et $x^x = e^{x \ln(x)}$)_ étape 3 : $\underset{x \to 0^+}{\lim} \frac{\mu(x)}{\Gamma(1)} \frac{x}{x^{x + 1}} = 1$
-
POurquoi ne pas trvailler directement sur $\int_{0}^{+\infty}t^x\exp(-tx)dt $ au lieu de $\int_{1}^{+\infty}t^x\exp(-tx)dt $ du fait de la facilité $\int_{0}^{+\infty}t^x\exp(-tx)dt=\frac 1x \frac {\Gamma(x+1)}{x^x}\sim \frac 1x \frac 11=\frac 1x$Le 😄 Farceur
-
Ok du coup, je viens de comprendre que j'avais le bon équivalent. Merci beaucoup !
-
Et u.n équivalent de $f$ en $+\infty$ ?
Sens de variations de $f$ ? -
@jojob Il faut bien comprendre mon raisonnement. Du moment qu'on démontre que $\lim_{x\to 0} x \int_{0}^{+\infty}t^x\exp(-tx)dt =1$, on aura gratuitement ( sans TCD) $\lim_{x\to 0} x \int_{1}^{+\infty}t^x\exp(-tx)dt =1$ du fait que $\lim_{x\to 0} x \int_{0}^{1}t^x\exp(-tx)dt =0$ (A remarquer que,$ \forall x>0,\quad 0<\int_{0}^{1}t^x\exp(-tx)dt\leq 1$). Je pense que c'est le raisonnement pensé par @JandriLe 😄 Farceur
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 7 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
- 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