Série de laurent

Série de laurent

Série de Laurent

Karl Weierstrass.
Cet article traite du développement en série de Laurent en analyse complexe. Pour la définition et les propriétés des séries de Laurent formelles en algèbre, veuillez consulter l'article Série de Laurent formelle.

En analyse complexe, la série de Laurent (aussi appelée développement de Laurent) d'une fonction holomorphe f est une manière de représenter f au voisinage d'une singularité, ou plus généralement, autour d'un "trou" de son domaine de définition. On représente f comme somme d'une série de puissances (positives et négatives) de la variable complexe.

Une fonction f d'une variable complexe est holomorphe si elle présente une régularité supérieure à la continuité. On peut directement supposer f développable en séries entières au voisinage de chaque point de son domaine de définition. Autrement dit, au voisinage d'un point af est définie, on peut écrire f(z) sous la forme :

f(z)=\sum_{n=0}^{\infty}a_n(z-a)^n.

On a fait apparaitre une série entière en a, qui est la série de Taylor de f en a. Les séries de Laurent peuvent être vues comme une extension pour décrire f autour d'un point où elle n'est pas (a priori) définie. On inclut les puissances négatives ; une série de Laurent se présentera donc sous la forme:

f(z)=\sum_{n=-\infty}^{\infty}a_n(z-a)^n.

Les séries de Laurent furent nommées ainsi après leur publication par Pierre Alphonse Laurent en 1843. Karl Weierstrass les découvrit le premier mais il ne publia pas sa découverte.

Le plus souvent, les auteurs d'analyse complexe présentent les séries de Laurent pour les fonctions holomorphes définies sur des couronnes, c'est-à-dire des ouverts du plan complexe délimitées par deux cercles concentriques. Mais elles permettent de mieux comprendre le comportement d'une fonction holomorphe autour d'une singularité.

Sommaire

Énoncé

Une couronne centrée en a est un ouvert du plan complexe C délimité par au plus deux cercles de centre a. En général, une couronne est délimitée par deux cercles de rayons respectifs r  <  R. Plusieurs cas dégénérés peuvent toutefois être envisagés:

  • Si R vaut l'infini, la couronne considérée est le complémentaire du disque fermé de centre a et de rayon r ;
  • Si r vaut 0, la couronne correspond au disque ouvert de centre a et de rayon R, privé de a. On parle aussi dans ce cas de disque apointé ;
  • Si r vaut 0 et R l'infini, alors la couronne est le plan complexe privé du point a.
Pour toute fonction holomorphe f sur une couronne C centrée en a, il existe une unique suite (a_n)_{n\in\mathbf{Z}} qui dépend seulement de f telle que:
f(z)=\sum_{n=-\infty}^{\infty} a_n(z-a)^n,
où la série de fonctions converge normalement sur tout compact de la couronne C. De plus, les coefficients an sont donnés par:
a_n=\frac{1}{2\pi i} \oint_\gamma
\frac{f(z)\,dz}{(z-a)^{n+1}}\, ,
γ est le paramétrage d'un cercle de centre a tracé dans la couronne.

Sur un exemple

Une fonction rationnelle est holomorphe en dehors de ses pôles. On exprime la série de Laurent d'une fonction rationnelle F en un pôle a, en calculant la série de Taylor de (z-a)nF(z) avec n suffisamment grand. Par exemple, on trouve la série de Laurent en j (racine troisième de l'unité):

\frac{1}{1+z+z^2}=-\frac{1}{3}\sum_{n\geq -1}
{\left(-\frac{(z-j)}{\sqrt{3}}\right)}^n.

En effet, j et j2 sont les racines du polynôme 1+Z+Z2. On est donc en mesure d'écrire, avec y  =  z  -  j:

\frac{1}{1+z+z^2}=\frac{1}{y}\cdot\frac{1}{y+\sqrt{3}}=\frac{1}{y\sqrt{3}}\sum_{n\geq
0}{\left(\frac{-y}{\sqrt{3}}\right)}^n.

Ce genre de techniques se généralise en algèbre pour développer des fractions rationnelles en série de Laurent formelle (ou série méromorphe formelle). Ce type de développement peut en effet être adapté sur tout anneau.

Preuves

On propose deux preuves différentes de l'existence de la série de Laurent, et de son mode de convergence:

  • La première preuve s'appuie sur la théorie de Fourier, qui cherche à décomposer les fonctions d'une variable réelle périodiques en une somme de sinusoïdales ;
  • La seconde preuve s'appuie directement sur la formule intégrale de Cauchy, qui permet d'écrire la valeur d'une fonction holomorphe en un point comme une certaine intégrale curviligne sur un contour qui entoure le point.

Pour simplifier les notations, on suppose, sans perte de généralité, a  =  0. On peut s'y ramener par l'action de la translation z\mapsto z-a. On suppose donc que f est une fonction holomorphe sur la couronne C délimitée par les deux cercles de centre 0 et de rayons respectifs r  <  R.

Par la théorie de Fourier

Joseph Fourier, dont la théorie porte le nom.

La restriction de f au cercle de rayon s (compris entre r et R) peut être regardée comme une fonction 2pi-périodique d'une variable réelle fs: il suffit d'exprimer f(z) en fonction de l'argument de z. On pose:

fs(t) = f(seit).

Le théorème de convergence de Dirichlet s'applique aux fonctions périodiques continues fs et permet de les décomposer comme somme de sinusoïdales. Plus exactement, on peut faire apparaitre des coefficients de Fourier cn(f,s) (qui dépendent du choix de s) tels que:

f_s(t)=\sum_{n=-\infty}^{n=+\infty}
c_n(f,s)e^{i t}.

Or, comme la fonction fs est de classe au moins C2, la série de Fourier converge normalement vers fs. Ce résultat général de la théorie de Fourier se démontre en utilisant des estimations sur la vitesse de convergence des coefficients de Fourier. En reprenant l'argument, on pourra obtenir la convergence normale sur tout compact de la série, vue comme série de fonctions en s et t. Fort malheureusement, la série obtenue n'est pas, du moins en apparence, exactement de la forme recherchée : des puissances de z doivent apparaître. Il est donc nécessaire de faire sortir la dépendance des coefficients de Fourier cn(f,s) en le module s. Plus précisément, il faut chercher à définir des coefficients complexes an vérifiant:

cn(f,s) = an(f)sn. (*)

Or, on dispose d'une expression intégrale pour les coefficients de Fourier: par conséquent, cn(f,s) en fonction de s peut être regardée comme une intégrale à paramètres. On peut chercher à établir sa régularité (au moins C1 suffira amplement), puis à exprimer sa dérivée. Il est remarquable d'obtenir une équation différentielle relativement facile à intégrer:

\frac{d}{ds}c_n(f,s)=\frac{n}{s}c_n(f,s).

De cette équation différentielle découle effectivement (*), qui permet de voir f comme somme d'une série de Laurent qui converge au moins ponctuellement. Et la convergence normale sur tout compact de la couronne sera chose déjà obtenue. Toujours de (*) et de l'expression des coefficients de Fourier, on déduit:

a_n(f)=\frac{c_n(f,s)}{s^n}=\oint_\gamma
\frac{f(z)\,dz}{(z-c)^{n+1}}\, .

Ainsi se démontre dans les grandes lignes l'existence de la série de Laurent en utilisant les seuls outils de la Théorie de Fourier.


Par la formule intégrale de Cauchy

La formule intégrale de Cauchy permet de représenter la valeur d'une fonction holomorphe f en z en fonction d'une expression intégrale le long d'une courbe fermée qui "entoure" z. C'est la formule intégrale de Cauchy qui permet d'obtenir le développement en séries entières de f au voisinage des points de son domaine de définition. Il est donc naturel de vouloir de nouveau exploiter cette formule ici pour obtenir le développement en séries de Laurent.

Le dessin ci-à droite décrit une courbe γ tracée dans la couronne C, qui consiste à :

  • Parcourir une fois le cercle de centre 0 et de rayon S dans le sens trigonométrique ;
  • Aller de S à s en suivant le segment [s,S] ;
  • Parcourir le cercle de centre 0 et de rayon s dans le sens des aiguilles d'une montre ;
  • Retourner de s à S, toujours en suivant le segment [s,S].

Cette courbe γ est contractile dans la couronne U et "renferme" la couronne ouverte C(s,S) délimitée par les cercles de rayons respectifs s  <  S. Si z est un nombre complexe (non réel positif) de module compris entre s et S, la formule intégrale de Cauchy s'applique donc en z et donne:

s<|z|<S \; z\in \mathbf{R}_+^c \quad\Longrightarrow\quad\oint_\gamma
\frac{f(w)\,dw}{(w-z)}dw=f(z).

Or, le lacet γ a été décrit en concaténant des chemins, de sorte que l'intégrale curviligne se décompose en une somme de quatre intégrales curvilignes. On intègre deux fois le long du segment [s,S], la première fois de S à s, la seconde fois de s à S. Ces deux intégrales s'annulent. Par conséquent:

f(z)=\int_{C_S} \frac{f(w)\, dw}{(w-z)} -
\int_{C_s}\frac{f(w)\, dw}{(w-z)}

Cs et CS désignent les cercles de rayons s et S. Cette formule reste valable pour tout nombre complexe w de module compris entre s et S.

Dans les deux intégrales, on peut exprimer l'intégrande comme une série de fonctions, qui font apparaitre des puissances de z, positives pour la première intégrale, négatives pour la seconde. L'inversion série-intégrale se justifie en évaluant la norme infinie des fonctions sommées. De la sorte, f(z) s'exprime comme la somme d'une série en puissances de z, de la forme:

f(z)=\sum_{n=-\infty}^{\infty}a_n(f,s,S)z^n.

La convergence de la série est au moins ponctuelle. La même estimation sur les normes infini justifie la convergence normale de cette série sur tout compact contenu dans la couronne ouverte C(s,S). On aura donc écrit f comme somme d'une série de Laurent sur chaque couronne ouverte C(s,S) fortement incluse dans C. Pour obtenir l'indépendance des coefficients en s et S, il faut à nouveau effectuer une interversion série-intégrale. Le calcul fournit aussi l'unicité des coefficients, et l'expression annoncée.


  • Portail des mathématiques Portail des mathématiques
Ce document provient de « S%C3%A9rie de Laurent ».

Wikimedia Foundation. 2010.

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

Игры ⚽ Поможем написать курсовую

Regardez d'autres dictionnaires:

  • Serie de Laurent — Série de Laurent Karl Weierstrass. Cet article traite du développement en série de Laurent en analyse complexe. Pour la définition et les propriétés des séries de Laurent formelles en algèbre, veuillez consulter l article Série de Laurent… …   Wikipédia en Français

  • Série de Laurent — Une fonction holomorphe dans une couronne de centre c s y développe en série de Laurent ; les coefficients de la série s expriment comme des intégrales sur un chemin fermé γ contenu dans la couronne et entourant c. Cet article traite du… …   Wikipédia en Français

  • Serie de Laurent — En matemáticas, la serie de Laurent de una función compleja f(z) es la representación de la misma función en la forma de una serie de potencias, la cual también incluye términos de grado negativo. Esta serie se puede usar para expresar funciones… …   Wikipedia Español

  • Serie formelle — Série formelle En mathématiques, les séries formelles sont un outil qui permet d utiliser l arsenal analytique des séries entières sans tenir compte de la notion de convergence. Pour cela on construit une série, non pas comme une fonction à l… …   Wikipédia en Français

  • Serie de Taylor — sin(x) y aproximaciones de Taylor centradas en 0, con polinomios de grado 1, 3, 5, 7, 9, 11 y 13. En matemáticas, una serie de Taylor de una función f(x) infinitamente derivable (real o compleja) defin …   Wikipedia Español

  • Laurent — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom.  Pour les articles homophones, voir Loren, Lorent, Lauren, Laurant, Lorant et Loran (homonymie) …   Wikipédia en Français

  • Série de Taylor — Pour les articles homonymes, voir Taylor. En mathématiques, et plus précisément en analyse, la série de Taylor d une fonction f (au voisinage d un point a) est une série entière construite à partir de f et de ses dérivées successives en a …   Wikipédia en Français

  • Serie matemática — En matemáticas, una serie es la generalización de la suma a los términos de una sucesión. Informalmente, es el resultado de sumar los términos: a1 + a2 + a3 + · ·  lo cual suele escribirse en forma más… …   Wikipedia Español

  • Laurent Lachance — en 2010 Laurent Lachance, M.A. (linguistique), B. Pédagogie, B.A. est un linguiste, pédagogue, auteur et créateur québécois. Né à Montréal le 16 mars 1931, Laurent Lachance fait ses études à l Université de Montréal où il obtient un… …   Wikipédia en Français

  • Laurent Guénet — [[image …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”