Developpement asymptotique

Développement asymptotique

En mathématiques, un développement asymptotique d'une fonction f donnée dans un voisinage fixé est une somme finie de fonctions de références qui donne une bonne approximation du comportement de la fonction f dans le voisinage considéré. Le concept de développement asymptotique a été introduit par Poincaré à propos de l'étude du problème à N corps de la mécanique céleste par la théorie des perturbations.

La somme étant finie, la question de la convergence ne se pose pas. On parle parfois par abus de langage de « série asymptotique » pour une somme comprenant une infinité de termes. Cette somme infinie est le plus souvent formelle, car la série est en général divergente.

Sommaire

1 Analyse asymptotique : comportement équivalent
2 Développement asymptotique
- 2.1 Définition
- 2.2 Exemples
3 « Série asymptotique »
- 3.1 Introduction
- 3.2 Exemple
4 Articles liés
5 Bibliographie

Analyse asymptotique : comportement équivalent

Introduction

L'analyse asymptotique est une méthode d'analyse qui permet de classer les comportements de fonctions dans un voisinage donné en se concentrant sur certaines tendances caractéristiques. On l'exprime en général au moyen d'une relation d'équivalence. Par exemple, soient deux fonctions complexes f et g d'une variable réelle x dont on souhaite étudier le comportement au voisinage d'un point x₀. On écrira :

$f \ \sim \ g$

pour traduire le fait que :

$\frac{f(x)}{g(x)} \ \to 1 \ \quad \mbox{ lorsque } \ x \ \to \ x_0$

Ceci défini une relation d'équivalence entre fonctions, et la classe d'équivalence de la fonction f consiste en toutes les fonctions g qui possèdent un comportement similaire à f dans le voisinage du x₀. On est ainsi amené à définir un ensemble de fonctions « simples », qui vont servir de référence pour établir des comparaisons. Remarquons tout d'abord qu'on peut toujours se ramener à étudier le voisinage de $+ \infty$ . En effet, étudier le comportement de f au voisinage du x₀ est équivalent à étudier le comportement de :

$F(x) \ = \ f \left( \ x_0 + \frac{1}{x} \ \right)$

au voisinage de $+ \infty$ . On peut donc se limiter à un ensemble de fonctions de comparaison dans un voisinage de $+ \infty$ .

Fonctions de comparaison

Définitions

On considère comme connues au voisinage de $+ \infty$ les fonctions de l'un des types suivant :

la fonction constante 1 ;
$x α$ , où $\alpha \in \mathbb R^*$ ;
$(ln x) β$ où $\beta \in \mathbb R$ ;
$\exp ( c \, x^{\gamma} )$ , où $c \in \mathbb R^* , \gamma \in \mathbb R^{+*}$ ;

ainsi que leurs produits, c’est-à-dire toute fonction de la forme :

$f (x) \ = \ x^{\alpha} \ ( \ln x )^{\beta} \ \exp [ P (x) ]$

où P(x) est de la forme :

$P (x) \ = \ \sum_{i=1}^n \ c_i \ x^{\gamma_i} \qquad (\gamma_1 > \gamma_2 > \dots > \gamma_n > 0)$

Propriétés

Si on désigne par E l'ensemble des ces fonctions de comparaisons, on a les propriétés suivantes :

Toute fonction de E est positive dans un voisinage de $+ \infty$ ;
En dehors de la fonction constante 1, toute fonction de E tend soit vers zéro, soit vers $+ \infty$ lorsque x tend vers $+ \infty$ ;
Tout produit de fonctions de E appartient à E ;
Si f appartient à E, alors $f λ$ appartient à E pour tout $λ$ réel ;

Les deux dernières propriétés montrent en particulier que le quotient de deux fonctions de E appartient à E.

Si g est une fonction de E, on considère également connue toute fonction complexe f de la forme f = c g où c est un nombre complexe.

Partie principale d'une fonction

Soit f la fonction dont le comportement est à analyser au voisinage de $+ \infty$ . Si on peut trouver une fonction g₁ de E telle que f/g₁ ait une limite finie c₁ non nulle , on dit que c₁ g₁ est la partie principale de f par rapport à E, et on écrit :

$f \ \sim \ c_1 \ g_1 \qquad \mathrm{ou} \qquad f \ = \ c_1 \ g_1 \ + \ o(g_1)$

en utilisant les notations de Landau. (Toute fonction de E est sa propre partie principale.)

Développement asymptotique

Définition

Supposons que la fonction f ait c₁ g₁ pour partie principale. On peut alors tenter de mieux préciser le comportement de f en cherchant si la différence f - c₁ g₁ n'aurait pas à son tour une partie principale c₂ g₂. 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(g_n) est appelé le reste du développement.

Exemples

Les exemples les plus simples de développement asymptotiques sont les développements de Taylor d'une fonction f(x) qui est n fois dérivable en x₀ :

$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 ; 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 de Taylor 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)$

« Série asymptotique »

Article détaillé : Série divergente.

Introduction

Pour un développement comprenant une infinité de termes, on parle parfois par abus de langage de « série asymptotique ». Cette somme infinie est le plus souvent formelle, car la série est en général divergente.

Par exemple, pour une fonction f lisse au voisinage d'un point x₀, on peut pousser son développement de Taylor aussi loin que l'on veut. On peut alors se poser le problème de la convergence de la série de Taylor obtenue, et de la relation entre sa somme et la fonction f de départ. Ce problème est sans rapport avec le comportement asymptotique de la fonction f dans le voisinage de x₀.

Exemple

Soit la fonction f(x) définie par la série convergente pour |x| < 1 :

$f(x) \ = \ \sum_{n=0}^\infty \ x^n \ = \ \frac{1}{1-x}$

La dernière expression de f permet d'étendre sa définition à tout le plan complexe privé de x = 1, notamment là où la série originale est divergente. Multiplions alors par $e - x / t$ et intégrons ; on obtient formellement :

$\int_0^\infty \ \frac{e^{-x/t}}{1-x} dx \ = \ \sum_{n=0}^\infty \ t^{n+1} \ \int_0^\infty \ e^{-u} \ u^n \ du \ = \ \sum_{n=0}^\infty \ t^{n+1} \ \Gamma(n+1)$

où $Γ(z)$ est la fonction gamma d'Euler. L'intégrale du membre de gauche s'exprime en fonction de l'exponentielle intégrale Ei(x), et on obtient alors le développement asymptotique de cette fonction au voisinage de t=0 :

$e^{-1/t} \ \operatorname{Ei}\left(\frac{1}{t}\right) \ \sim \ \sum _{n=0}^\infty \ n! \ t^{n+1}$

Pour tout t non-nul, le membre de droite ne converge pas. En revanche, pour t non-nul « petit », on obtient en tronquant la somme à un nombre fini de termes une bonne représentation de la fonction $\operatorname{Ei}(1/t)$ . Le changement de variable : $x = 1 / t$ et la relation fonctionnelle : $\operatorname{Ei}(x) \ = \ - \ E_1(-x)$ conduit au développement asymptotique :

$x \ e^x \ E_1(x) \ \sim \ \sum_{n=0}^\infty \ \frac{(-1)^nn!}{x^n} \qquad (x \rightarrow \infty)$

Bibliographie

Jean Dieudonné ; Calcul infinitésimal, Hermann (2^e édition-1980), ISBN 2-7056-5907-2.
R B Dingle ; Asymptotic Expansions: their derivation and interpretation, Academic Press (1973), ISBN 0122165500.
A Erdélyi ; Asymptotic Expansions, Dover (1987), ISBN 0486603180.
E Whittaker & G N Watson ; A Course in Modern Analysis, Cambridge University Press (4^e édition-1963).
R B Paris & D Kaminsky ; Asymptotics and Mellin-Barnes Integrals, Cambridge University Press (2001).

Portail des mathématiques
Portail de la physique

Ce document provient de « D%C3%A9veloppement asymptotique ».

Catégories : Analyse réelle | Physique mathématique

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Developpement asymptotique de Wikipédia en français (auteurs)

Игры ⚽ Нужна курсовая?

Regardez d'autres dictionnaires:

Développement Asymptotique — En mathématiques, un développement asymptotique d une fonction f donnée dans un voisinage fixé est une somme finie de fonctions de références qui donne une bonne approximation du comportement de la fonction f dans le voisinage considéré. Le… … Wikipédia en Français
Développement asymptotique — En mathématiques, un développement asymptotique d une fonction f donnée dans un voisinage fixé est une somme finie de fonctions de références qui donne une bonne approximation du comportement de la fonction f dans le voisinage considéré. Le… … Wikipédia en Français
développement asymptotique — asimptotinis skleidimas statusas T sritis fizika atitikmenys: angl. asymptotic scanning vok. asymptotische Entwicklung, f rus. асимптотическое разложение, n pranc. développement asymptotique, m … Fizikos terminų žodynas
Developpement en reflexions multiples de Balian-Bloch — Développement en réflexions multiples de Balian Bloch En physique théorique, le développement en réflexions multiples de Balian Bloch est un développement asymptotique des fonctions de Green de l équation de Helmholtz pour des ondes confinées… … Wikipédia en Français
Développement En Réflexions Multiples De Balian-Bloch — En physique théorique, le développement en réflexions multiples de Balian Bloch est un développement asymptotique des fonctions de Green de l équation de Helmholtz pour des ondes confinées dans une cavité (domaine borné de l espace). Il permet d… … Wikipédia en Français
Développement en réflexions multiples de balian-bloch — En physique théorique, le développement en réflexions multiples de Balian Bloch est un développement asymptotique des fonctions de Green de l équation de Helmholtz pour des ondes confinées dans une cavité (domaine borné de l espace). Il permet d… … Wikipédia en Français
développement — [ dev(ə)lɔpmɑ̃ ] n. m. • XVe, répandu XVIIe XVIIIe; de développer A ♦ (Spatial) 1 ♦ Rare Action de donner toute son étendue à (qqch.). ⇒ déployer, dérouler. Le développement d une pièce d étoffe. (1694) … Encyclopédie Universelle
asymptotique — asymptote [ asɛ̃ptɔt ] n. f. et adj. • 1638; gr. asumptôtos, de sumpiptein « tomber sur » ♦ Math. 1 ♦ Droite telle que la distance d un point d une courbe à cette droite tend vers zéro lorsque le point s éloigne sur la courbe à l infini; tangente … Encyclopédie Universelle
Développement en réflexions multiples de Balian-Bloch — En physique théorique, le développement en réflexions multiples de Balian Bloch est un développement asymptotique des fonctions de Green de l équation de Helmholtz pour des ondes confinées dans une cavité (domaine borné de l espace). Il permet d… … Wikipédia en Français
Développement limité — En physique et en mathématiques, un développement limité (noté DL) d une fonction f au voisinage d un point, est une approximation polynomiale de cette fonction en ce point, c est à dire l écriture de cette fonction sous la forme de la… … Wikipédia en Français

Dictionnaires et Encyclopédies sur 'Academic'

Developpement asymptotique

Développement asymptotique

Sommaire

Analyse asymptotique : comportement équivalent

Introduction

Fonctions de comparaison

Définitions

Propriétés

Partie principale d'une fonction

Développement asymptotique

Définition

Exemples

« Série asymptotique »

Introduction

Exemple

Articles liés

Bibliographie

Regardez d'autres dictionnaires:

Share the article and excerpts

Dictionnaires et Encyclopédies sur 'Academic'

Wikipédia en Français

Developpement asymptotique

Développement asymptotique

Sommaire

Analyse asymptotique : comportement équivalent

Introduction

Fonctions de comparaison

Définitions

Propriétés

Partie principale d'une fonction

Développement asymptotique

Définition

Exemples

« Série asymptotique »

Introduction

Exemple

Articles liés

Bibliographie

Regardez d'autres dictionnaires:

Share the article and excerpts

Direct link