Il faut donc utiliser un truc plus précis que le simple fait que $\frac 1k\overset{+\infty}{\sim}\arctan\left(\frac 1k\right)$. C'est ça qui m'avait interpellé.
On a bien
$$ \mathrm{arctan} \left ( \frac{1}{k} \right ) = \frac{1}{k} + O \left ( \frac{1}{k^3} \right ) \quad\mathrm{quand\ }k\to +\infty$$
Mais après cela me semble délirant de sommer sur $k$...
Notons que pour $k=1$ on aurait
$$ \mathrm{arctan} ( 1 ) = 1 + O(1) \quad\mathrm{quand\ }1\to +\infty$$
Mais faire tendre $1$ vers $+\infty$ est vraiment bizarre !
En fait on a
$$\arctan(x)=x+\mathrm{O}(x^3)\quad\mathrm{quand}\ x\to 0\ \ (x\geq 0)$$
Mais dans cette relation on ne peut pas remplacer $x$ par $1$.
Pour cette discussion il vaut mieux ne pas utiliser la notation $\mathrm{O}$ dont l'usage ici est risqué.
D'autant plus que le plus simple est de partir de l'inégalité
$$\left|\arctan(x)-x\right| \leq x^3\quad\mathrm{pour}\ x\in[0,1]$$
pour tout entier $ k \geqslant 1$ , on a
$\displaystyle \textrm{arctan} \left ( \frac{1}{k} \right ) = \frac{1}{k} + O \left ( \frac{1}{k^3} \right )$
Pour $k=1$ c'est du n'importe quoi ! Le $\mathrm{O}$ est relatif à une limite. Lorsque l'on remplace $k$ par $1$, la variable $k$ disparaît, on ne voit plus de limite...
Dans ta définition on doit dire $ f(x) = O(g(x))\ \mathrm{quand}\ x\to+\infty$. Et c'est le "$\mathrm{quand}\ x\to+\infty$" qui t'amène à écrire "$ x \geqslant x_0$" ($[x_0,+\infty[$ est un voisinage de $+\infty$).
La notation $ f(x) = O(g(x))\ \mathrm{quand}\ x\to+\infty$ signifie
$$\exists x_0,\ \exists C>0,\ \forall x\geq x_0, |f(x)| \leq C\,|g(x)|$$
comme tu l'indiques ; c'est aussi la mienne du reste.
On peut aussi noter $ f(x) = O(g(x))\ \mathrm{au\ voisinage\ de}\ +\infty$.
En fait notre différent tient je pense à un problème de notations.
Tu écris :
pour tout entier $ k \geq 1$ , on a $\displaystyle \arctan \left ( \frac{1}{k} \right ) = \frac{1}{k} + O \left ( \frac{1}{k^3} \right )$
Je pense que l'usage est d'écrire que l'on a :
$\displaystyle \arctan \left ( \frac{1}{k} \right ) = \frac{1}{k} + O \left ( \frac{1}{k^3} \right )\quad\quad(k\in\N^*)$
Cette dernière notation montre bien que le $O$ est relatif à l'ensemble des $k\in\N^*$.
Tandis que ta façon d'écrire laisse penser que pour tout $k\in\N^*$ on a une certaine égalité, égalité dans laquelle on trouve $O \left ( \frac{1}{k^3} \right )$, lequel n'a pas de sens pour un $k$ fixé (ou, s'il en a, n'a pas le sens que tu veux lui donner).
Cette question intéressante provient de la rubrique "Problems and Solutions" du mensuel "The American Mathematical Monthly". Il s'agit du dernier numéro d'août-septembre 2011.
Le mensuel, qui n'a pas encore publié de solution, attend nos contributions...
après tout ce qui a été dit je n'ai pas grand chose de plus !
Si ce n'est mon petit grain de sel... Ceci pour calculer sous une autre forme la constante C qui apparait dans le développement asymptotique (page jointe) :
Attention JJ, Archimède va te gronder parce que tu fais un usage pas très canonique du signe $\sim$ d'équivalence : $\sum_1^n arctan(1/k)\sim \ln(n) + C + \dfrac{1}{2n}+ \dfrac{1}{12n^2} + \cdots$ ne donne pas plus d'information que $\sum_1^n arctan(1/k)\sim \ln(n)$, si l'on se réfère à la définition de l'équivalence.
En fait le signe $\sim$ admet 2 usages. Dans l'usage habituel utilisé en licence, il traduit une équivalence entre fonctions ; mais certains l'utilisent aussi pour les développements asymptotiques, ce qui peut être une source de confusions (cf wikipedia fr).
Archimède, que je salue, peut me gronder tant qu'il veut et, dans un certains sens, je le mérite.
Mais je m'en moque éperduement, pour la bonne raison que ce qui m'intéressait dans cette affaire, c'est le cacul de la fameuse constante.
Les petits points qui s'en suivent peuvent être remplacés par du plus sérieux. Si une âme bien intentionnée les trouve trop déplaisants, qu'il fasse lui-même le ménage et nous nous en réjouirons.
Anselme-Olivier, que je salue derechef, a donné un résultat intéressant.
Affaire à suivre...
Effectivement, les propriétés de la fonction Gamma dans le domaine complexe sont intéressantes pour calculer la constante :
C = Arg(Gamma(1-i)) = Arg(Gamma(-i)) - pi/2 = -Arg(Gamma(i)) - pi/2
c.f. "Un Atlas of Functions", p.418, copie jointe.
La somme infinie de arctg(1/k)-(1/k) apparait dans 43:11:4 avec y=1,
Bien vu Yalcin !
Et on peut décliner sans fin :
$$\lim_{n \to +\infty} \left(- \ln n +\sum_{k=1}^{n} k \arctan \frac{1}{k^{2}+k+1} \right) $$ $$\lim_{n \to +\infty} \left(- \ln (n^{4}+1)+\sum_{k=1}^{n} k^{2} \arctan \frac{4k+2}{k^{4}+2k^{3}+k^{2}+4} \right) $$ $$...$$Anselme-Olivier.
Réponses
amicalement,
e.v.
On doit pouvoir aussi utiliser de bonnes vieilles inégalités.
S'exprimme t-elle à l'aide d'autres constantes ?
DA à 2 termes maple donne
$u(n) = (25)/(28) - \frac{\pi}{8} - \frac{\ln(2)}{2}} +O(1) +ln(n) + O(1/n)$
DA à 4 termes
$(1499)/(1440) - \frac{\pi}{8} - \frac{\ln(2)}{2}} +O(1) +ln(n) + 1/(2n) + 1/(12n^2) +O(1/n^3)$
Je conjecture que
Pour un DA à l'odre k
$u(n)= r(k) - \frac{\pi}{8} - \frac{\ln(2)}{2}} +O(1) + ln(n) +...$
Que dire de plus de r(k)+O(1) ?
il vaut mieux en effet parler de limite plutôt que d'équivalents; on trouve:
Limite pour n infini de u(n) - ln(n) = y - (1/3).Zéta(3) = 0,176 530 029......
avec y constante d'Euler et la fonction Zéta de Riemann
la démonstration passe par un simple développement à l'ordre 3 de Arctan(1/n)
cordialement
Je ne suis pas convaincu qu'un DA de arctan(1/k) permet de trouver la limite de u(n)-ln(n) , à moins que je ne me trompe.
L'approche de Borde me semble plus pertinente avec Euler-MacLaurin
$$ \mathrm{arctan} \left ( \frac{1}{k} \right ) = \frac{1}{k} + O \left ( \frac{1}{k^3} \right ) \quad\mathrm{quand\ }k\to +\infty$$
Mais après cela me semble délirant de sommer sur $k$...
Notons que pour $k=1$ on aurait
$$ \mathrm{arctan} ( 1 ) = 1 + O(1) \quad\mathrm{quand\ }1\to +\infty$$
Mais faire tendre $1$ vers $+\infty$ est vraiment bizarre !
Justement, cela n'avait pas été indiqué ni prouvé.
Il faut rajouter $C$ dans les calculs précédents.
$$\arctan(x)=x+\mathrm{O}(x^3)\quad\mathrm{quand}\ x\to 0\ \ (x\geq 0)$$
Mais dans cette relation on ne peut pas remplacer $x$ par $1$.
Pour cette discussion il vaut mieux ne pas utiliser la notation $\mathrm{O}$ dont l'usage ici est risqué.
D'autant plus que le plus simple est de partir de l'inégalité
$$\left|\arctan(x)-x\right| \leq x^3\quad\mathrm{pour}\ x\in[0,1]$$
Pour $k=1$ c'est du n'importe quoi ! Le $\mathrm{O}$ est relatif à une limite. Lorsque l'on remplace $k$ par $1$, la variable $k$ disparaît, on ne voit plus de limite...
Dans ta définition on doit dire $ f(x) = O(g(x))\ \mathrm{quand}\ x\to+\infty$. Et c'est le "$\mathrm{quand}\ x\to+\infty$" qui t'amène à écrire "$ x \geqslant x_0$" ($[x_0,+\infty[$ est un voisinage de $+\infty$).
$$\exists x_0,\ \exists C>0,\ \forall x\geq x_0, |f(x)| \leq C\,|g(x)|$$
comme tu l'indiques ; c'est aussi la mienne du reste.
On peut aussi noter $ f(x) = O(g(x))\ \mathrm{au\ voisinage\ de}\ +\infty$.
Curieux, le $x_0$ est fixé mais la définition dit "il existe $x_0$"...
Si mes messages précédents ne t'ont pas convaincu, je ne peux plus faire grand-chose !
Tu écris :
pour tout entier $ k \geq 1$ , on a $\displaystyle \arctan \left ( \frac{1}{k} \right ) = \frac{1}{k} + O \left ( \frac{1}{k^3} \right )$
Je pense que l'usage est d'écrire que l'on a :
$\displaystyle \arctan \left ( \frac{1}{k} \right ) = \frac{1}{k} + O \left ( \frac{1}{k^3} \right )\quad\quad(k\in\N^*)$
Cette dernière notation montre bien que le $O$ est relatif à l'ensemble des $k\in\N^*$.
Tandis que ta façon d'écrire laisse penser que pour tout $k\in\N^*$ on a une certaine égalité, égalité dans laquelle on trouve $O \left ( \frac{1}{k^3} \right )$, lequel n'a pas de sens pour un $k$ fixé (ou, s'il en a, n'a pas le sens que tu veux lui donner).
Voilà !
Cette question intéressante provient de la rubrique "Problems and Solutions" du mensuel "The American Mathematical Monthly". Il s'agit du dernier numéro d'août-septembre 2011.
Le mensuel, qui n'a pas encore publié de solution, attend nos contributions...
Pourquoi ghhg ne l'a t-il pas signalé?
Cordialement,
Anselme-Olivier.
après tout ce qui a été dit je n'ai pas grand chose de plus !
Si ce n'est mon petit grain de sel... Ceci pour calculer sous une autre forme la constante C qui apparait dans le développement asymptotique (page jointe) :
- Oui, la constante cherchée vaut approximativement 0.3016403204675331978875316577...
Elle n'est pas reconnue sur les différents inverseurs...
- j'ai établi que la constante en question est : $$\lim_{n \to +\infty} \left(- \ln n +\sum_{k=1}^{n} \arctan(1/k) \right) = \arg \Gamma(1-i) $$
Cela se généralise, conduisant à $\arg \Gamma(1+x-yi) $. On peut aussi exprimer les choses avec $\ln \Gamma$.
Nos résultats doivent se télescoper de manière constructive.
Anselme-Olivier.
Théorème. Soient $x \geq 0$ et $y \neq 0$. On a : $$ \lim_{n \to +\infty} \left(- \ln (n+x) + \frac{1}{y} \sum_{k=1}^{n} \arctan \frac{y}{k+x} \right) = \frac{1}{y} \arg \Gamma(1+x-iy) $$ Anselme-Olivier.
En fait le signe $\sim$ admet 2 usages. Dans l'usage habituel utilisé en licence, il traduit une équivalence entre fonctions ; mais certains l'utilisent aussi pour les développements asymptotiques, ce qui peut être une source de confusions (cf wikipedia fr).
Mais je m'en moque éperduement, pour la bonne raison que ce qui m'intéressait dans cette affaire, c'est le cacul de la fameuse constante.
Les petits points qui s'en suivent peuvent être remplacés par du plus sérieux. Si une âme bien intentionnée les trouve trop déplaisants, qu'il fasse lui-même le ménage et nous nous en réjouirons.
Anselme-Olivier, que je salue derechef, a donné un résultat intéressant.
Affaire à suivre...
C = Arg(Gamma(1-i)) = Arg(Gamma(-i)) - pi/2 = -Arg(Gamma(i)) - pi/2
c.f. "Un Atlas of Functions", p.418, copie jointe.
La somme infinie de arctg(1/k)-(1/k) apparait dans 43:11:4 avec y=1,
La difficulté ici était de trouver le bon résultat.
Une fois identifié, on constate qu'il n'est pas nouveau, étant intimement lié à la définition de la fonction $\Gamma$.
On retrouve d'ailleurs la propriété générale dans le Abramowitz&Stegun.
Anselme-Olivier.
Sans m'attaquer au problème j'ai voulu voir si Maple savait calculer $\ell$, apparemment oui :
$\ell=\frac {601787}{1125000}}-\frac{1}{24}\arctan 2 -\frac{1}{4}\ln 5$
Tu as probablement oublié un facteur 2 quelque part...
Quoi qu'il en soit, l'expression que tu proposes est simplement une valeur approchée de la limite cherchée.
Anselme-Olivier.
Et on peut décliner sans fin :
$$\lim_{n \to +\infty} \left(- \ln n +\sum_{k=1}^{n} k \arctan \frac{1}{k^{2}+k+1} \right) $$ $$\lim_{n \to +\infty} \left(- \ln (n^{4}+1)+\sum_{k=1}^{n} k^{2} \arctan \frac{4k+2}{k^{4}+2k^{3}+k^{2}+4} \right) $$ $$...$$Anselme-Olivier.
avec le développement en série de $\arctan$ \[\mathop {\lim }\limits_{n \to \infty } \left( { - \ln n + \sum\limits_{k = 1}^n {{k^{m - 1}}\arctan \left( {{k^{ - m}}} \right)} } \right) = \gamma + \sum\limits_{p = 0}^\infty {\frac{{{{\left( { - 1} \right)}^p}}}{{2p + 1}}\zeta \left( {2mp + 1} \right)} \]
pourquoi des n² dans l'expression F(x) ?
{} désigne la partie entière ?