Bonsoir,
Il faut passer au $\ln$ quand on peut. Plus précisément :
Si $(x_n)$ et $(y_n)$ sont non nulles à partir d'un certain rang, on passe au $\ln$ et on utilise ii.
Si $(y_n)$ s'annule une infinité de fois, alors $\liminf y_n=0$ et c'est bon.
Si $(x_n)$ est nulle à partir d'un certain rang, alors $\limsup x_n = \limsup x_ny_n =0$ et c'est bon.
Si ($x_n)$ s'annule une infinité de fois, mais pas à partir d'un certain rang, alors on pose $A=\{n\mid x_n=0\}$ et $(x_k'),(y_k')$ obtenues à partir de $(x_n),(y_n)$ en enlevant les termes $n\in A$. Alors $\limsup x_n = \limsup x_k'$, $\limsup x_ny_n =\limsup x_k'y_k'$ et $\liminf y_n\leqslant \liminf y_k'$. Donc c'est bon avec 1.
Cette preuve me semble compliquée (à cause de la disjonction de cas), je vais regarder. Toutefois, je n'ai pas non plus réussi à montrer $\limsup(x_n)+\liminf(y_n)\leq\limsup(x_n+y_n)$.
Le soucis est que par ma faute, il y a deux inégalités à démontrer dans ce topic et hormis le message de side, je ne sais pas si les deux messages précédents font référence à $\limsup(x_n)+\liminf(y_n)\leq\limsup(x_n+y_n)$ ou $(\limsup(x_n))(\liminf(y_n))\leq\limsup(x_ny_n)$.
Si \(y_n\) est nul pour une infinité de valeur de \(n\), alors \(\lim \inf y_n\) est nulle et tout va bien ; sinon, on tronque la suite \(y_n\) pour se débarrasser des \(y_n\) nuls et on use de :
\[x_n = (x_ny_n).\frac{1}{y_n}.\]
Réponses
Il faut passer au $\ln$ quand on peut. Plus précisément :
\[\lim\inf(y_n) = -\lim\sup(-y_n)\ ?\]
\[\boxed{a=a+b-b}\]
Si \(y_n\) est nul pour une infinité de valeur de \(n\), alors \(\lim \inf y_n\) est nulle et tout va bien ; sinon, on tronque la suite \(y_n\) pour se débarrasser des \(y_n\) nuls et on use de :
\[x_n = (x_ny_n).\frac{1}{y_n}.\]
Oui en effet, je n'arrivais pas à justifier proprement le cas $y_n=0$, merci gb !
Sauf que j'aurais démontré le iv) avec le iii) :-(