Notes sur le théorème des résidus, Notes de Mathématiques
Caroline_lez
Caroline_lez14 January 2014

Notes sur le théorème des résidus, Notes de Mathématiques

PDF (158.9 KB)
7 pages
34Numéro de visites
Description
Notes de mathématique sur le théorème des résidus. Les principaux thèmes abordés sont les suivants: le pôle à l'infini, les relations.
20points
Points de téléchargement necessaire pour télécharger
ce document
Télécharger le document
Aperçu3 pages / 7
Ceci c'est un aperçu avant impression
Chercher dans l'extrait du document
Ceci c'est un aperçu avant impression
Chercher dans l'extrait du document
Aperçu avant impression terminé
Chercher dans l'extrait du document
Ceci c'est un aperçu avant impression
Chercher dans l'extrait du document
Ceci c'est un aperçu avant impression
Chercher dans l'extrait du document
Aperçu avant impression terminé
Chercher dans l'extrait du document

THÉORÈME DES RÉSIDUS

Considérons une fonction:

(17.216)

qui est analytique (c'est-à-dire que nous avons pris une fonction f(z) que nous avons rendue

analytique après élimination de ses pôles supposés en un nombre fini k...). Cette

fonction a alors un développement en série de Taylor dans un disque centré sur .

Comme nous l'avons vu plus haut, nous pouvons alors en utilisant la relation ci-dessous:

(17.217)

écrire:

(17.218)

En explicitant dans l'intégrale, il vient:

(17.219)

Il faut bien analyser cette relation et comprendre qu'elle relie l'intégrale d'une fonction ayant

des singularités avec la valeur en un point d'une fonction analytique n'ayant plus de

singularités!

La dernière relation peut se récrire en réarrangeant les termes:

(17.220)

Et en exprimant en utilisant (autorisé car cette dernière fonction est analytique) le fait

que:

(17.221)

Nous avons:

(17.222)

Soit en explicitant à nouveau :

(17.223)

Cette dernière relation est pour rappel valable que pour UNE singularité isolée (au cas où

vous auriez oublié les concepts introduits lors de notre présentation des singularités) et

où k vaut au minimum 1!

Les mathématiciens définissent alors:

(17.224)

comme étant le résidu de la fonction f(z) au point étant une singularité isolée et ayant

un pôle d'ordre k. Ou respectivement:

(17.225)

où l'intégrale curviligne est donc centrée en .

Remarquons que le terme à droite de l'égalité dans la relation précédente correspond au

coefficient de la série de Laurent. Effectivement:

(17.226)

D'où:

(17.227)

Remarque: Il vient donc qu'en une singularité isolée éliminable, le résidu est nul puisque comme

nous l'avons vu plus haut, l'intégrale curviligne entourant un domaine sans singularité est nulle!

Bref, la relation:

(17.228)

est très intéressante pour le physicien... car il y a donc une manière élégante lui permettant de

calculer l'intégrale curviligne d'une fonction f(z) non analytique ayant une unique singularité

isolée et ce juste en connaissant ses pôles!

Par exemple si une fonction f(z) n'a qu'un pôle d'ordre 1, il vient alors:

(17.229)

et nous remplaçons donc par la valeur voulue dans la parenthèse et ensuite nous

calculons la limite du terme entre crochets!

Maintenant pour aller plus loin, rappelons que le contour de l'intégrale curviligne:

(17.230)

et le même que le chemin curviligne de l'intégrale:

(17.231)

sont au fait confondus et que les coefficients ne dépendant pas de z! La seule contrainte du

chemin est qu'il soit fermé et dans un domaine analytique centré sur un point.

Donc si nous avons plusieurs singularités isolées, entourées par des chemins curvilignes reliés

tels que présenté ci-dessous sur le plan complexe d'une fonction ayant un pôle d'ordre 3 (donc

trois singularités non éliminables):

(17.232)

nous avons alors toujours qu'un seul chemin curviligne fermé mais dont les différentes

singularités isolées sont reliées par des traverses où comme nous le savons, les chemins qui

s'opposent, s'annulent! Et rappelons que les coefficients sont les mêmes partout sur tout le

chemin puisque celui-ci est dans un domaine analytique.

Nous avons alors la version généralisée du théorème des résidus pour une

fonction f ayant n singularités isolées:

(17.233)

avec une rigueur approche rigueur digne de l'ingénieur... qui notent cette dernière relation

parfois:

(17.234)

où r est donc un résidu.

Exemple:

Prenons la fonction:

(17.235)

Nous savons qu'elle a un pôle d'ordre 1 en et un pôle d'ordre 1 . Donc si nous

prenons cette fois la série de Laurent dans un chemin qui entoure les deux singularités (et non

plus qu'une seule) nous avons alors une fonction avec un pôle d'ordre 2.

Il vient alors pour ce cas particulier:

(17.236)

avec donc n valant 2.

Nous avons alors:

(17.237)

et:

(17.238)

Nous pouvons vérifier cela avec Maple:

>readlib(singular)

> singular(1/(1+z^2),z)

> readlib(residue):

>residue(1/(1+z^2),z=-I);

>residue(1/(1+z^2),z=I);

et dès lors:

(17.239)

Au fait dans le cas présent, le théorème des résidus est nul car la fonction n'a pas de pôles à

l'infini ce qui se vérifie puisque dans notre exemple:

(17.240)

Les physiciens quant à eux diraient que la force ne travaille pas sur le chemin...!

PÔLE À L'INFINI

Nous avons parlé juste précédemment que toute fonction qui n'avait pas de pôle à l'infini avait

donc la somme des résidus de tous ces pôles qui était nulle. Ce résultat est très important en

physique et mérite d'être approfondi!

Il est assez facile de reconnaître nombre de pôles... mais pour reconnaître les pôles à l'infini on

risque de se faire prendre au piège.

Considérons l'expression f(z)dz. Si z est au voisinage de l'infini alors 1/z se trouve au voisinage

de 0. Posons:

(17.241)

Nous avons alors:

(17.242)

Donc le résidu à l'infini est tel que:

(17.243)

avec:

(17.244)

Avec donc:

(17.245)

Cette dernière relation nous sera indispensable dans le chapitre de Physique Quantique

Corpusculaire pour construire le modèle relativiste de l'atome d'hydrogène de Sommerfeld car

nous aurons à y calculer une intégrale de chemin ayant un pôle à l'infini.

Voyons un exemple avec la fonction qui nous accompagne depuis le début de ce chapitre.

C'est-à-dire:

(17.246)

Il vient alors :

(17.247)

Or nous reconnaissons immédiatement la fonction initiale au signe près et qui n'a donc pas de

pôle en 0. Doncf(z) n'a pas de pôles à l'infini.

commentaires (0)
Aucun commentaire n'a été pas fait
Écrire ton premier commentaire
Ceci c'est un aperçu avant impression
Chercher dans l'extrait du document
Docsity n'est pas optimisée pour le navigateur que vous utilisez. Passez à Google Chrome, Firefox, Internet Explorer ou Safari 9+! Téléchargez Google Chrome