Conjecture - U(n+1)/U(n) -1 = o(1/n)
Bonjour
En reprenant un de mes cours de prépa, je suis tombé sur une conjecture dont je n'ai trouvé ni démonstration ni contre-exemple, je n'arrive donc pas à voir si elle est vraie ou fausse (bien qu'elle m'a l'air fausse).
La voici : (Un) étant une suite à termes positifs qui converge vers vers l (l non nul), on a alors U(n+1)/Un qui converge vers 1. A-t-on alors U(n+1)/U(n) - 1 négligeable devant 1/n ?
J'ai essayé quelques contre-exemples de la forme Un = 1 - Vn où Vn tend vers 0 si possible "pas trop rapidement" (comme Ln(n)/n), mais pour l'instant sans succès...
L'un ou l'une d'entre vous aurait-il/elle une idée ?
Merci d'avance à ceux qui voudront bien me filer un petit coup de main !
En reprenant un de mes cours de prépa, je suis tombé sur une conjecture dont je n'ai trouvé ni démonstration ni contre-exemple, je n'arrive donc pas à voir si elle est vraie ou fausse (bien qu'elle m'a l'air fausse).
La voici : (Un) étant une suite à termes positifs qui converge vers vers l (l non nul), on a alors U(n+1)/Un qui converge vers 1. A-t-on alors U(n+1)/U(n) - 1 négligeable devant 1/n ?
J'ai essayé quelques contre-exemples de la forme Un = 1 - Vn où Vn tend vers 0 si possible "pas trop rapidement" (comme Ln(n)/n), mais pour l'instant sans succès...
L'un ou l'une d'entre vous aurait-il/elle une idée ?
Merci d'avance à ceux qui voudront bien me filer un petit coup de main !
Réponses
-
Effectivement c'est faux.
Si on note $v_n = \ln(u_n)$, on a : $
\begin{aligned}[t]
v_{n+1} - v_n & = \ln\left[1 + \left(\frac{u_{n+1}}{u_n} - 1 \right)\right] \\
& \sim \frac{u_{n+1}}{u_n} - 1 .
\end{aligned}
$
La question devient équivalente à :
Si la série de terme général $d_n = v_{n+1} - v_n$ converge, a-t-on $d_n = o\big(\frac{1}{n}\big)$ ? -
On peut prendre par exemple
$u_n = \exp\big(\sum\limits_{k=1}^{n} \frac{(-1)^k}{k}\big)$
ou bien : $
\begin{aligned}[t]
u_n & = \textstyle \exp\big(\sum\limits_{k=1}^{n} 1_{k \text{ est une puissance de deux}} \cdot \frac{1}{k}\big) \\
& = \textstyle \exp\big(\sum\limits_{2^i\le n} \frac{1}{2^i}\big) \\
\end{aligned}
$. -
Merci (encore une fois !) Marsup, c'est vraiment sympa !
Par contre je suppose que tu voulais écrire la "suite de terme général..." et pas "la série de terme général..." dans ta première réponse, non ? -
La convergence de la suite $(v_n)$ équivaut à la convergence de la série $\sum (\underbrace{v_{n+1} - v_n}_{d_n})$.
-
Excuse-moi j'ai lu un peu vite, et j'avais compris a-t-on Vn = o(1/n)...
-
Un exemple plus simple de suites $u_n$?Le 😄 Farceur
-
Ce qui fait que mes exemples sont compliqués, c'est le résultat suivant :
si $(d_n)$ est monotone, alors il est nécessaire que $d_n = o\big(\frac{1}{n}\big)$ pour que la série $\sum d_n$ converge.
Pour $(u_n)$, ce que ça signifie, c'est que si $(\ln(u_n))$ est convexe ou concave, alors la conjecture est vraie.
Après on peut remplacer $
u_n = \exp\big(\sum\limits_{k=1}^{n} \frac{(-1)^{k-1}}{k}\big)
$
par $
\begin{aligned}[t]
u_n & = \exp\big(\sum\limits_{k=1}^{n} (-1)^{k-1} \cdot \big[\ln(k+1)-\ln(k) \big]\big) \\
& = \prod\limits_{k=1}^{n} \left(\frac{k+1}{k}\right)^{(-1)^{k-1}}.
\end{aligned}
$
et la limite est le célèbre produit infini de Wallis : $\frac{\pi}{2} =
\frac{2}{1} \cdot
\frac{2}{3} \cdot
\frac{4}{3} \cdot
\frac{4}{5} \cdot
\frac{6}{5} \cdot
\frac{6}{7} \dots$. -
Oui, il y a plusieurs suites, une avec des $(-1)^k \cdot \frac{1}{k}$ et l'autre avec des $(-1)^k \cdot \big[\ln(k+1)-\ln(k)\big]$.
Elles sont différentes, mais présentent le même comportement de variation alternée.
C'était pour donner un exemple sans $\exp\big(\sum\big)$, qui, effectivement donne un air un peu factice à la construction.
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
- 63 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
- 313 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