ATLAS Ouvrir dans l'atlas →

AnnalesÉcoles d'ingénieurs

Mines-Ponts PC 2016 — Maths 1

Marche aléatoire : retour à 00 · 6 pages

PDF hébergé hors du site officiel — source : archive officielle (ZIP)

Le sujet établit d'abord le développement de 1/1−x1/\sqrt{1-x} et une identité de Karamata : si (1−x)1/2∑akxk(1-x)^{1/2} \sum a_k x^k tend vers π\sqrt{\pi} en 1−1^-, alors ∑k⩽nak∼2n\sum_{k\leqslant n} a_k \sim 2\sqrt{n}. Un théorème taubérien montre ensuite que pour (an)(a_n) décroissante positive, Sn∼2nS_n \sim 2\sqrt{n} entraîne an∼1/na_n \sim 1/\sqrt{n}. Ces résultats sont appliqués à la marche aléatoire simple sur ℤ\mathbb{Z} : par une décomposition selon le dernier passage en 00 et des séries génératrices, on obtient ∑P(T>n)xn=(1+x)/(1−x)\sum P(T > n) x^n = \sqrt{(1+x)/(1-x)}, d'où P(T>n)∼2/(πn)P(T > n) \sim \sqrt{2/(\pi n)}, la récurrence P(T=+∞)=0P(T = +\infty) = 0 et la loi du temps de retour P(T=2n)=(2nn)/((2n−1)4n)P(T = 2n) = \binom{2n}{n}/((2n-1)4^n).

Le sujet, partie par partie

A — Préliminaire p. 2

Séries entières · Coefficients binomiaux — développement en série entière de (1−x)−1/2(1-x)^{-1/2}, coefficient binomial central, rayon de convergence

B — Identité de Karamata p. 2–3

Procédés de sommation et théorèmes taubériens · Séries entières · Intégrales généralisées et intégrabilité · Fonctions Gamma et Bêta · Équivalents et comparaison — théorème taubérien de Hardy-Littlewood-Karamata, limite en 11 à gauche, intégrale de e−t/te^{-t}/\sqrt{t}, fonction polynomiale, fonction discontinue hh

C — Théorème taubérien p. 3–4

Procédés de sommation et théorèmes taubériens · Équivalents et comparaison · Suites numériques — théorème taubérien, suite décroissante, partie entière, encadrement, sommes partielles

D — Marche aléatoire p. 4–6

Marches aléatoires · Fonctions génératrices · Procédés de sommation et théorèmes taubériens · Conditionnement et indépendance · Familles sommables et produit de Cauchy · Coefficients binomiaux · Séries entières — marche aléatoire simple, temps de retour à l'origine, récurrence de la marche, série génératrice, produit de Cauchy, dernier passage en 00

Ouvrir dans l'atlas interactif →