Etude de suites définies implicitement

Exercices du dossier Etude de suites définies implicitement

Exercice 505 *

12 janvier 2021 15:40 — Par Emmanuel Vieillard-Baron Alain Soyeur François Capaces

Pour tout \(n\in\mathbb{N}\) on considère l’équation \(\left(E_n\right)~:\quad xe^x=n\) d’inconnue \(x\in\mathbb{R}_+\).

  1. Montrer que, pour tout \(n\in\mathbb{N}\), \(\left(E_n\right)\) admet une et une seule solution dans \(\mathbb{R}_+\). On la notera \(x_n\).

  2. Déterminer la limite de \((x_n)\).



[ID: 538] [Date de publication: 12 janvier 2021 15:40] [Catégorie(s): Etude de suites définies implicitement ] [ Nombre commentaires: 0] [nombre d'éditeurs: 1 ] [Editeur(s): Emmanuel Vieillard-Baron ] [nombre d'auteurs: 3 ] [Auteur(s): Emmanuel Vieillard-Baron Alain Soyeur François Capaces ]
Accordéon
Titre
Solution
Texte

Exercice 505
Par Emmanuel Vieillard-Baron Alain Soyeur François Capaces le 12 janvier 2021 15:40
  1. Posons \(\theta: \left\{ \begin{array}{ccl} \mathbb{R}_+ & \longrightarrow & \mathbb{R} \\ x & \longmapsto & xe^x \end{array} \right.\).La fonction \(\theta\) est dérivable sur \(\mathbb{R}_+\) et si \(x\in\mathbb{R}_+\), \(\theta'\left(x\right)=\left(x+1\right)e^x\). On en déduit que \(\theta'\) est strictement positive sur \(\mathbb{R}_+\) et que \(\theta\) est strictement croissante sur \(\mathbb{R}_+\). On peut alors affirmer que \(\theta\) réalise une bijection de \(\mathbb{R}_+\) sur \(\mathbb{R}_+\). Pour tout \(n\in\mathbb{N}\), il existe donc un unique réel positif noté \(x_n\) tel que \(\theta\left(x_n\right)=n\). Ce réel est donné par : \(x_n=\theta^{-1}\left(n\right)\).

  2. Comme \(\theta^{-1}\left(x\right)\xrightarrow[x\rightarrow +\infty]{}+\infty\), en appliquant le théorème de composition d’une suite par une fonction on obtient : \(\displaystyle{\lim_{n \rightarrow +\infty}x_n}=\displaystyle{\lim_{n \rightarrow +\infty}\theta^{-1}\left(n\right)}=+\infty\) car \(\theta\left(x\right)\xrightarrow[x\rightarrow +\infty]{}+\infty\).


Exercice 712 *

12 janvier 2021 15:40 — Par Emmanuel Vieillard-Baron Alain Soyeur François Capaces

Pour tout \(n\in\mathbb{N}\), on considère l’équation \(\left(E_n\right)~:\quad x+\ln x=n\) d’inconnue \(x\in \mathbb{R}_+^*\).

  1. Montrer que l’équation \(E_n\) possède une solution unique notée \(x_n\).

  2. Montrer que la suite \((x_n)\) diverge vers \(+\infty\).

  3. Donner un équivalent simple de la suite \((x_n)\).

 



[ID: 540] [Date de publication: 12 janvier 2021 15:40] [Catégorie(s): Etude de suites définies implicitement ] [ Nombre commentaires: 0] [nombre d'éditeurs: 1 ] [Editeur(s): Emmanuel Vieillard-Baron ] [nombre d'auteurs: 3 ] [Auteur(s): Emmanuel Vieillard-Baron Alain Soyeur François Capaces ]
Accordéon
Titre
Solution
Texte

Exercice 712
Par Emmanuel Vieillard-Baron Alain Soyeur François Capaces le 12 janvier 2021 15:40
  1. Posons \(\theta: \left\{ \begin{array}{ccl} \mathbb{R}_+^* & \longrightarrow & \mathbb{R}_+^* \\ x & \longmapsto & x+\ln x \end{array} \right.\). La fonction \(\theta\) est dérivable sur \(\mathbb{R}_+^*\) et si \(x\in\mathbb{R}_+^*\), \(\theta'\left(x\right)={\scriptstyle x+1\over\scriptstyle x}\). On en déduit que \(\theta'\) est strictement positive sur \(\mathbb{R}_+^*\) et que \(\theta\) est strictement croissante sur \(\mathbb{R}_+\). La fonction \(\theta\) réalise donc une bijection de \(\mathbb{R}_+^*\) sur \(\mathbb{R}\). Pour tout \(n\in\mathbb{N}\), il existe donc un unique réel positif noté \(x_n\) tel que \(\theta\left(x_n\right)=n\). Ce réel est donné par : \(x_n=\theta^{-1}\left(n\right)\).

  2. Comme \(\theta^{-1}\left(x\right)\xrightarrow[x\rightarrow +\infty]{}+\infty\), appliquant le théorème de composition d’une suite par une fonction on obtient : \(\displaystyle{\lim_{n \rightarrow +\infty}x_n}=\displaystyle{\lim_{n \rightarrow +\infty}\theta^{-1}\left(n\right)}=+\infty\).

  3. Soit \(n\in\mathbb{N}\). En partant de \(x_n+\ln x_n = n\) on obtient : \(x_n=n\dfrac{1}{1+\dfrac{\ln x_n}{x_n}}\). Mais comme \(x_n\xrightarrow[n\rightarrow +\infty]{}+\infty\), on a : \(\dfrac{\ln x_n}{x_n} \xrightarrow[n\rightarrow +\infty]{} 0\) et donc \(\boxed{u_n \underset{n \rightarrow +\infty}{\sim}n}\).


Exercice 174 ***

12 janvier 2021 15:40 — Par Emmanuel Vieillard-Baron Alain Soyeur François Capaces

  1. Montrer que l’équation \[x^n+x-1 =0\] possède une unique solution \(u_n\in [0,1]\).

  2. Montrer que la suite \((u_n)\) converge vers \(1\).

  3. En posant \(y_n=1-u_n\), montrer que \(n\ln(1-y_n)=\ln y_n\), et que \[\dfrac{\ln n}{2n} \leqslant y_n \leqslant\dfrac{2\ln n}{n}.\]

  4. En déduire un équivalent de la suite \((y_n)\).



[ID: 542] [Date de publication: 12 janvier 2021 15:40] [Catégorie(s): Etude de suites définies implicitement ] [ Nombre commentaires: 0] [nombre d'éditeurs: 1 ] [Editeur(s): Emmanuel Vieillard-Baron ] [nombre d'auteurs: 3 ] [Auteur(s): Emmanuel Vieillard-Baron Alain Soyeur François Capaces ]
Accordéon
Titre
Solution
Texte

Exercice 174
Par Emmanuel Vieillard-Baron Alain Soyeur François Capaces le 12 janvier 2021 15:40

On va se servir de trois inégalités : \[\forall u\in [0,1], -u - \dfrac{u^2}{2}\leqslant\ln(1-u) \leqslant-u \quad \forall t\in ]0,+\infty[, \dfrac{\ln t}{t} \leqslant\dfrac{1}{e} \quad \textrm{ et} \quad\forall t\in ]1,+\infty[, \dfrac{\ln^2 t}{t} \leqslant\dfrac{4}{e^2}.\] La deuxième inégalité se démontre en étudiant les variations de \(t\mapsto\dfrac{\ln t}{t}\) qui obtient son maximum en \(t=e\) et la troisième se démontre de même en étudiant les variations de \(t\mapsto\dfrac{\ln t}{t}\) (sur \(]1,+\infty[\)) qui obtient son maximum en \(t=e^2\).

  1. Soit \(f_n(x) = x^n+x-1\) pour \(0\leqslant x \leqslant 1\). On a \(f_n'(x) = nx^{n-1}+1 > 0\) , \(f_n(0) = -1\) et \(f_n(1) = 1\). De ce fait l’équation \(f_n(x) = 0\) admet une unique solution (sur \([0,1]\).)

  2. On a \(f_{n+1}(u_n) = u_n u_n^n+u_n-1\). Comme \(u_n\in[0,1]\), on a \(f_{n+1}(u_n) < u_n^n+u_n-1 = 0 = f_{n+1}(u_{n+1})\). D’après la croissance stricte de \(f_n\) sur \([0,1]\), on en déduit que \(u_n < u_{n+1}\). La suite \((u_n)\) est donc strictement croissante et majorée, elle converge donc vers \(\ell\in[0,1]\). Comme la suite \((u_n)\) est strictement croissante, on a \(\forall n\in\mathbb{N}\), \(u_n < \ell\) et donc \(f_n(u_n) = 0 < \ell^n + \ell - 1\). Si on suppose, \(\ell< 1\), en passant à la limite on aurait \(0\leqslant\ell - 1\). Impossible. Donc \(\ell = 1\).

  3. À partir de \(u_n^n = 1 - u_n\) on obtient \((1-y_n)^n = y_n\) et comme \(1-y_n\) est positif, \(n\ln(1-y_n)=\ln y_n\). Soit \(f(x) = \dfrac{\ln(1-x)}{\ln(x)}\) pour \(0< x < 1\). On a \(f'(x) = \dfrac{-{\scriptstyle 1\over\scriptstyle 1-x}\ln x - {\scriptstyle 1\over\scriptstyle x}\ln(1-x)}{\ln^2x} > 0\). Donc \(f\) est strictement croissante sur \(]0,1[\).

    On prend \(n\geqslant 1\). En partant de \(\ln (1-u)\leqslant-u\) pour \(0\leqslant u < 1\) on obtient, en prenant \(u = \dfrac{2\ln n}{n} < \dfrac{2}{e} < 1\), \(\ln\left( 1- {\scriptstyle 2\ln n\over\scriptstyle n}\right) \leqslant-\dfrac{2\ln n}{n}\) donc puisque \(\ln\left( {\scriptstyle 2\ln n\over\scriptstyle n}\right) < 0\), \[f\left( {\scriptstyle 2\ln n\over\scriptstyle n}\right)\geqslant-\dfrac{{\scriptstyle 2\ln n\over\scriptstyle n}}{\ln\ln n + \ln 2 - \ln (n)} \geqslant\dfrac{2}{n}\,\dfrac{1}{1 - {\scriptstyle\ln (2\ln n) \over\scriptstyle\ln n}} \geqslant\dfrac{2}{n}\geqslant\dfrac{1}{n}.\] Comme on a \(f(y_n) = \dfrac{1}{n}\), la croissance de \(f\) assure que \({\scriptstyle 2\ln n\over\scriptstyle n} \geqslant y_n\).

    On prend \(n\geqslant 2\). En partant de \(-u - \dfrac{u^2}{2}\leqslant\ln(1-u)\) pour \(0\leqslant u < 1\) on obtient, en prenant \(u = \dfrac{\ln n}{2n} < \dfrac{1}{2e} < 1\), \(\ln\left( 1- {\scriptstyle\ln n\over\scriptstyle 2n}\right) \geqslant-\dfrac{\ln n}{2n} - \dfrac{\ln^2n}{8n^2}\) donc puisque \(\ln\left( {\scriptstyle\ln n\over\scriptstyle 2n}\right) < 0\), \[f\left( {\scriptstyle\ln n\over\scriptstyle 2n}\right)\leqslant-\dfrac{{\scriptstyle\ln n\over\scriptstyle 2n}+ \dfrac{\ln^2n}{8n^2}}{\ln\ln n - \ln 2 - \ln (n)} \leqslant\dfrac{1}{2n}\,\dfrac{1 + {\scriptstyle\ln^2n\over\scriptstyle 4n}}{1 + {\scriptstyle\ln 2\over\scriptstyle\ln n} - {\scriptstyle\ln \ln n\over\scriptstyle\ln n}}.\] Au numérateur, on majore \({\scriptstyle\ln^2 n\over\scriptstyle n}\) par \({\scriptstyle 4\over\scriptstyle e^2}\) et au dénominateur on minore \({\scriptstyle\ln 2\over\scriptstyle\ln n} - {\scriptstyle\ln \ln n\over\scriptstyle\ln n}\) par \(0 - {\scriptstyle 1\over\scriptstyle e}\).

    Ainsi \(f\left( {\scriptstyle\ln n\over\scriptstyle 2n}\right)\leqslant\dfrac1n\, \dfrac{1+{\scriptstyle 1\over\scriptstyle e^2}}{2\left( 1-{\scriptstyle 1\over\scriptstyle e}\right) } \leqslant\dfrac1n = f(y_n)\).

    On en déduit, toujours grâce à la croissance de \(f\), que \({\scriptstyle\ln n\over\scriptstyle 2n} \leqslant y_n\) et ce pour \(n\geqslant 2\).

  4. On va remplacer les facteurs \({\scriptstyle 1\over\scriptstyle 2}\) et \(2\) de la question précédente par \(1-\varepsilon\) et \(1+\varepsilon\). On n’obtiendra plus des inégalités globales, mais des inégalités à partir d’un certain rang.

    Soit \(\varepsilon>0\) et soit \(n\geqslant 2\). On a \(\ln\left( 1- {\scriptstyle(1+\varepsilon)\ln n\over\scriptstyle n}\right) \leqslant-\dfrac{(1+\varepsilon)\ln n}{n}\) donc \[f\left( {\scriptstyle(1+\varepsilon)\ln n\over\scriptstyle n}\right)\geqslant-\dfrac{{\scriptstyle(1+\varepsilon)\ln n\over\scriptstyle n}}{\ln\ln n + \ln (1+\varepsilon) - \ln (n)} \geqslant\dfrac{1+\varepsilon}{n}\,\dfrac{1}{1 - {\scriptstyle\ln ((1+\varepsilon)\ln n) \over\scriptstyle\ln n}} \geqslant\dfrac{(1+\varepsilon)}{n}\geqslant\dfrac{1}{n}.\] On en déduit que \({\scriptstyle(1+\varepsilon)\ln n\over\scriptstyle n} \geqslant y_n\).

    Dans l’autre sens, \(\ln\left( 1- {\scriptstyle(1-\varepsilon)\ln n\over\scriptstyle n}\right) \geqslant-\dfrac{(1-\varepsilon)\ln n}{n} - \dfrac{(1-\varepsilon)^2\ln^2n}{2n^2}\) donc \[f\left( {\scriptstyle(1-\varepsilon)\ln n\over\scriptstyle n}\right)\leqslant-\dfrac{{\scriptstyle(1-\varepsilon)\ln n\over\scriptstyle n}+ \dfrac{(1-\varepsilon)^2\ln^2n}{2n^2}}{\ln\ln n - \ln (1-\varepsilon) - \ln (n)} \leqslant\dfrac{(1-\varepsilon)}{n}\,\dfrac{1 + (1-\varepsilon){\scriptstyle\ln n\over\scriptstyle 2n}}{1 - {\scriptstyle\ln (1-\varepsilon)\over\scriptstyle\ln n} - {\scriptstyle\ln \ln n\over\scriptstyle\ln n}}.\] Or \(\displaystyle\lim_{n\to\infty} (1-\varepsilon) \dfrac{1 + (1-\varepsilon){\scriptstyle\ln n\over\scriptstyle 2n}}{1 - {\scriptstyle\ln (1-\varepsilon)\over\scriptstyle\ln n} - {\scriptstyle\ln \ln n\over\scriptstyle\ln n}} = 1-\varepsilon\), donc à partir d’un certain rang \(N_\varepsilon\), on a \((1-\varepsilon) \dfrac{1 + (1-\varepsilon){\scriptstyle\ln n\over\scriptstyle 2n}}{1 - {\scriptstyle\ln (1-\varepsilon)\over\scriptstyle\ln n} - {\scriptstyle\ln \ln n\over\scriptstyle\ln n}} = 1-\varepsilon \leqslant 1\).

    On en déduit que pour \(n\geqslant N_\varepsilon\), \(\dfrac{(1-\varepsilon)\ln n}{n} \leqslant y_n\).

    En résumé pour \(n\geqslant N_\varepsilon\), \(1-\varepsilon \leqslant y_n \dfrac{n}{\ln n} \leqslant 1+\varepsilon\). On a bien démontré que \(\displaystyle\lim_{n\to\infty} y_n \dfrac{n}{\ln n} = 1\) c’est-à-dire que \(y_n \sim \dfrac{\ln n}{n}\).


Exercice 533 ***

12 janvier 2021 15:40 — Par Emmanuel Vieillard-Baron Alain Soyeur François Capaces

Pour \(n\geqslant 1\), on considère l’équation \[(x-n)\ln n = x\ln(x-n).\]

  1. Montrer que pour \(n\) assez grand, cette équation admet une unique racine \(x_n\in ]n+1,n+2[\).

  2. Montrer que \((x_n-n-1) \underset{n \rightarrow +\infty}{\sim} \dfrac{\ln n}{n}\).



[ID: 544] [Date de publication: 12 janvier 2021 15:40] [Catégorie(s): Etude de suites définies implicitement ] [ Nombre commentaires: 0] [nombre d'éditeurs: 1 ] [Editeur(s): Emmanuel Vieillard-Baron ] [nombre d'auteurs: 3 ] [Auteur(s): Emmanuel Vieillard-Baron Alain Soyeur François Capaces ]
Accordéon
Titre
Solution
Texte

Exercice 533
Par Emmanuel Vieillard-Baron Alain Soyeur François Capaces le 12 janvier 2021 15:40
  1. On pose \(y = x-n-1\in[0,1]\). On considère donc l’équation \((y+1)\ln n = (y+n+1)\ln(y+1)\), soit \((y+1)\ln(y+1) - (y+1)\ln n + n\ln(y+1) - n\ln n + n\ln n = 0\) ou encore \((y+1+n)\ln{\scriptstyle y+1\over\scriptstyle n}+n\ln n = 0\).

    Soit \(F(y) = (y+1+n)\ln{\scriptstyle y+1\over\scriptstyle n}+n\ln n\). On a \(F(0) = (1+n)\ln{\scriptstyle 1\over\scriptstyle n}+n\ln n = -\ln n \leqslant 0\). On a \(F(1) = (2+n)\ln{\scriptstyle 2\over\scriptstyle n}+n\ln n = 2\ln2 - 2\ln n + n\ln 2 = \ln \dfrac{2^{n+2}}{n^2}\).

    Soit \(u_n = \dfrac{2^{n+2}}{n^2}\). On a \(u_1 = 8; u_2 = 4; u_3 = \dfrac{32}{9}\). Comme \(\dfrac{u_{n+1}}{u_n} = \dfrac{2}{\left( 1+{\scriptstyle 1\over\scriptstyle n}\right) ^2} \geqslant 1\) pour \(n\geqslant 3\). Donc la suite \(u_n\) est croissante, et par suite, \(\forall n\geqslant 1\), \(u_n \geqslant 0\). Ainsi \(F(1) \geqslant 0\). Comme \(F\) est continue sur \([0,1]\), d’après le théorème des valeurs intermédiaires, \(F\) s’annule au moins une fois sur \([0,1]\).

    De plus, \(F'(y) = \ln{\scriptstyle y+1\over\scriptstyle n} + \dfrac{y+1+n}{y+1} = \ln{\scriptstyle y+1\over\scriptstyle n} + 1 + \dfrac{n}{y+1}\). Soit \(z = {\scriptstyle y+1\over\scriptstyle n} \in \left[ {\scriptstyle 1\over\scriptstyle n},{\scriptstyle 2\over\scriptstyle n} \right] \subset ]0,2]\). On a \(F'(y) = \ln z + 1 + {\scriptstyle 1\over\scriptstyle z} = G(z)\). On a \(G'(z) = \dfrac1z - \dfrac{1}{z^2} = \dfrac{z-1}{z^2}\). La fonction \(G\) admet donc un minimum en \(1\), et comme \(G(1) = 2\), on en déduit que \(G(z)\), comme \(F'(y)\) est strictement positif. On en déduit que \(F\) est strictement croissante sur \([0,1]\), ce qui assure l’unicité de \(y_n = x_n-n-1\) et donc celle de \(x_n\).

  2. À partir de \((y_n + 1 + n)\ln(y_n + 1) = (1+y_n)\ln n\), on a \(\ln(y_n + 1) = \dfrac{1+y_n}{y_n + 1 + n}\ln n \sim (1+y_n) \dfrac{\ln n}{n}\) puisque la suite \((y_n)\) est bornée. Toujours parce que \((y_n)\) est bornée, on a \(\displaystyle \lim_{n\to\infty} \ln(y_n + 1) = 0\). Donc \(\displaystyle \lim_{n\to\infty} y_n = 0\). Donc \(\ln(y_n + 1) \sim y_n\) d’une part et \((1+y_n) \dfrac{\ln n}{n} \sim \dfrac{\ln n}{n}\) d’autre part, on en conclut que \(y_n \sim \dfrac{\ln n}{n}\) ce qu’il fallait démontrer.


;
Success message!