Développement asymptotique - Définition

Source: Wikipédia sous licence CC-BY-SA 3.0.
La liste des auteurs de cet article est disponible ici.

Développement asymptotique

Définition

Supposons que la fonction f ait c1 g1 pour partie principale. On peut alors tenter de mieux préciser le comportement de f en cherchant si la différence f - c1 g1 n'aurait pas à son tour une partie principale c2 g2. Dans l'affirmative, on écrira :

 f \ \sim \ c_1 \ g_1 \ + \ c_2 \ g_2 \quad \Longleftrightarrow \quad f \ = \ c_1 \ g_1 \ + \ c_2 \ g_2 \ + \ o(g_2)

On peut parfois poursuivre ainsi le développement. On appelle alors développement asymptotique à n termes (ou à l'ordre n) de la fonction f par rapport à E l'expression :

 f \ \sim \ \sum_{i=1}^n \ c_i \ g_i \quad \Longleftrightarrow \quad f \ = \ \sum_{i=1}^n \ c_i \ g_i \ + \ o(g_n)

Si un tel développement existe, il est unique. Le terme o(gn) est appelé le reste du développement.

Exemples

  • Les exemples les plus simples de développement asymptotiques sont les développements de Taylor (les développements limités à l'ordre n) d'une fonction f(x) qui est n fois dérivable en x0 :

 f(x) \ = \ f(x_0) \ + \ \frac{f'(x_0)}{1!} \ (x - x_0) \ + \  \cdots \ + \  \frac{f^{(n)}(x_0)}{n!} \ (x - x_0)^n \ + \  o((x-x_0)^n)

  • Mais une fonction peut très bien posséder un développement asymptotique dans un voisinage où il n'existe pas de développement de Taylor (ni même de DL); par exemple, la fonction f(x) ci-dessous admet le développement asymptotique suivant au voisinage de zéro :

 f(x) \ = \ \frac{x \ \ln |x|}{1 + \exp x} \ = \ \frac{x \ \ln |x|}{2} \ - \ \frac{x^2 \ \ln |x|}{4} \ + \ o(x^2 \ln |x|)

alors qu'elle n'admet pas de développement limité (à un ordre \ge 1 ) en zéro.
  • L'existence d'un développement asymptotique à un nombre arbitrairement grand de termes est un cas très particulier. Par exemple, la fonction f(x) ci-dessous ne possède un développement asymptotique au voisinage de l'infini qu'à un seul terme :

 f(x) \ = \ x^2 \ + \ x \ \sin x \ = \ 2 \ \ x^2 \ + \ o(x^2)

  • Parfois même, l'obtention du premier terme du développement est très difficile. Par exemple, soit π(x) le nombre de nombres premiers p inférieurs ou égaux à x. Gauss avait conjecturé qu'au voisinage de l'infini :

 \pi(x) \ \sim \ \int_2^x \frac{dt}{\ln t}

Il a fallu un siècle avant qu'une démonstration ne soit produite en 1896 par Hadamard et de la Vallée-Poussin !
  • La fonction gamma d'Euler admet le développement asymptotique suivant au voisinage de l'infini :

 \frac{e^x}{x^x \, \sqrt{2\pi x}} \ \Gamma(x+1) \ \sim  \ 1 \ + \ \frac{1}{12 \, x} \ + \ \frac{1}{288 \, x^2} \ - \ \frac{139}{51840 \, x^3} \ - \ \cdots \qquad  (x \rightarrow \infty)

Page générée en 0.095 seconde(s) - site hébergé chez Contabo
Ce site fait l'objet d'une déclaration à la CNIL sous le numéro de dossier 1037632
A propos - Informations légales
Version anglaise | Version allemande | Version espagnole | Version portugaise