Calcul asymptotique — Polytechnique

Exercices corrigés de Polytechnique sur le thème « calcul asymptotique », regroupés par filière.

MP–MPI


Exercice 1. (★★★★) Diviseurs ; Partie entière ; Développements asymptotiques
Soient {i(k)} et {p(k)} les nombres de diviseurs positifs impairs et pairs de {k}.

Étudier la limite, un équivalent et un développement asymptotique de {u_n=\frac1n\sum_{k=1}^n(i(k)-p(k)).}

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 2. (★★) Négligeabilité ; Monotonie ; Majorations
Pour {n\ge2} et {0\le k\lt n}, posons {P(k,n)=\prod\limits_{i=0}^k(1-i/n)}.
1) Montrer qu’il existe un plus petit indice {k_n} tel que {P(k_n,n)\le1/2}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Montrer que {k_n\to\infty}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
3) Montrer que {k_n=o(n)}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 3. (★★★) Équivalents ; Sommes de logarithmes ; Développements limités
Pour {n\ge2}, poser {\ell_n=\min\left\{1\le k\le n:\prod_{i=1}^k(1-i/n)\le1/2\right\}.}
a) Montrer que {\ell_n=o(n)}.

b) Donner un équivalent de {\ell_n}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 4. (★★★★) Intégration sur un intervalle quelconque ; Taylor avec reste ; Cauchy-Schwarz
Soit {f(x)=e^{x^2/2}\int_x^\infty e^{-t^2/2}dt}.
a) Montrer que {f(x)\lt 1/x} pour {x>0}.

a) Montrer que {f(x)>(\sqrt{x^2+4}-x)/2} pour {x>0}.

a) Donner un développement asymptotique à quatre termes en {+\infty}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 5. (★★★★) Équivalents ; Cardinal ; Produit de Cauchy
a) Pour {x\ge0}, poser {f(x)=|\left\{(n,m)\in(\mathbb{N}^\star)^2:n^2+m^2\le x\right\}|}.

Donner un équivalent en {+\infty}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
b) Pour {0\le t\lt 1}, poser {g(t)=\sum\limits_{n\ge0}t^{n^2}}.

Donner un équivalent en {1^-} en utilisant {g^2}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 6. (★★★★) Taylor avec reste ; Rayon de convergence ; Changement de variable
Soient {\alpha,\beta>0} et {I(x)=\int_0^\infty t^{\beta-1}e^{-t-xt^\alpha}dt}, {x>0}.
a) Donner sa limite et un équivalent en {+\infty}.

b) Donner un développement asymptotique à tout ordre.

c) Quand ce développement est-il issu d’une série convergente pour tout {x>0} ?

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 7. (★★★★) Équivalents ; Permutations ; Sommes d'indicatrices
Pour {\sigma\in S_{2n}}, relier les points {e^{ik\pi/n}} et {e^{i\sigma(k)\pi/n}} par un segment {s(\sigma,k)}. Deux segments se croisent si leur intersection contient un point qui n’est pas une extrémité. Soit {b(\sigma)} le nombre de segments ne croisant aucun autre.

Pour {\sigma} uniforme, calculer {\mathbb E(b(\sigma))} et un équivalent.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 8. (★★★★) Intégration sur un intervalle quelconque ; Formule de Stirling ; Convergence dominée
Soient {(X_k)} i.i.d. de loi {\mathcal P(1)}.

Poser {S_n=\sum\limits_{k=1}^nX_k} et {T_n=(S_n-n)/\sqrt n}.

a) Montrer que {\int_0^\infty P(T_n\ge t)dt=\sqrt n(n/e)^n/n!.}b) On admet que, pour tout réel {t}, {P(T_n\ge t)\to(2\pi)^{-1/2}\int_t^\infty e^{-u^2/2}du}.

Retrouver la formule de Stirling.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 9. (★★★★★) Théorème de Cesàro ; Développements asymptotiques ; Suites récurrentes
Soit {a_{n+1}=a_n(1-a_n)}.
a) Pour {a_0=1/2}, montrer {1/a_n-n\sim\ln n}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
b) Pour {a_0>1}, déterminer la limite puis un équivalent de {a_n}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
c) Donner un développement asymptotique à deux termes de {a_n}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 10. (★★★) Développements limités ; Valeurs intermédiaires ; Suites implicites
a) Pour {n\ge3}, montrer que {x-n\ln x=0} possède deux solutions {0\lt x_n\lt y_n}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
b) Donner leurs développements asymptotiques à deux termes.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :


PSI


Exercice 1. (★★★) équivalents ; sous-espaces stables ; puissances de matrices
Soit {A\in M_3(\mathbb{R})} avec {\mathbb{R}^3=\ker(A-I)^2\oplus\ker(A-2I)}.

Pour {x\ne0}, donner un équivalent de {\lVert A^nx\rVert}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :


PC


Exercice 1. (★★★★) Convergence uniforme ; Théorème fondamental ; Équivalents
Soit {n\geq1} et {f:\mathbb{R}_+\to\mathbb{R}_+^\star} de classe {C^\infty}. Supposer {f^{(n)}} jamais nulle et {\sup_{y\in[x-1,x+1]}f^{(n)}(y)/f^{(n)}(x)\to1} en {+\infty}. Montrer {\sum_{k=0}^n\binom nk(-1)^{n-k}f(x+k)\sim f^{(n)}(x).}
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 2. (★★★★) Négligeabilité ; Comparaison ; Produit
On note {\tau(n)} le nombre de diviseurs de {n\ge1}.

Montrer que {\tau(n)=o(n^u)} pour tout {u>0}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 3. (★★★) Convergence uniforme ; Équivalents ; Continuité de la somme
1) Pour {x\ge0}, donner un équivalent de {u_n=(x+1)\cdots(x+n)} sous la forme {C(x)v_n(x)}, avec {v_n} explicite.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Calculer {C(k)} pour {k\in\mathbb{N}} et sa limite lorsque {x\to\infty}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 4. (★★★★) Développements asymptotiques ; Équivalents ; Extremums
Soit {u_n} le maximum de {x\mapsto(n-x)\log x} sur {[0,n]}.
1) Trouver un équivalent de {u_n}.

2) Pour {\lambda\in\mathbb{R}}, poser {v_n=u_n-n\log n+n+n\log\log n+\lambda n}.

Montrer que {v_n\to+\infty} si {\lambda\ge0}, et {v_n\to-\infty} sinon.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :


Retour aux planches par thème

Author: Jean-Michel Ferrard

Professeur de mathématiques en classe préparatoire aux grandes écoles.