.
, alors l'
.
.
trois fois (trois fois dans le sens 
.
.
,
Polémique de la semaine : Mireille Dumas et Cyril Féraud, ''totalement nuls'' à l'Eurovision ?
Le 18 mai, se tenait à Malmö, en Suède le concours de l'Eurovision, qui a sacré la Danoise Emmelie de Forest et son titre Only Teardrops. En 23e position, Amandine Bourgeois a malheureusement dû s'incliner, malgré une belle interprétation de son titre L'Enfer Et Moi. Sur France 3, ce sont...
Principe de l'argument
En analyse complexe, le principe de l'argument (parfois appelé théorème de l'argument[1]) indique que si 
est une fonction méromorphe sur un ouvert 
simplement connexe dont l'ensemble 
des zéros et des pôles est fini, alors pour tout lacet 
à image dans 
,
Un lacet simple et positivement orienté C (en noir), les zéros de 
(en bleu) et les poles de (en rouge).
(en bleu) et les poles de (en rouge).
où 
est la valuation de en 
c'est-à-dire l'ordre de si est un zéro et l'opposé de l'ordre de si c'est un pôle et 
est l'indice du point par rapport au lacet.
Si est un lacet simple positivement orienté formant le bord 
d'un compact 
, la relation ci-dessus se réécrit :
où 
et 
représentent respectivement le nombre de zéros et de pôles de dans comptés avec leur multiplicité.
Sommaire |
Interprétation géométrique
Le principe de l'argument permet de compter le nombre de tours que fait l'image de par autour de l'origine. C'est sur cette notion que se base notamment la démonstration du théorème de Rouché.
. En bleu le lacet 
avec 
, en rouge l'image de ce lacet par la fonction. On s'aperçoit que cette dernière effectue trois tours autour de l'origine (dans le sens anti-trigonométrique).
. En bleu le lacet avec 
, en rouge l'image de ce lacet par la fonction. On s'aperçoit que cette dernière effectue deux tours autour de l'origine (dans le sens anti-trigonométrique).Exemples
Soit la fonction 
ayant deux zéros simples en 
(la valuation de ces deux points est +1) et définie par :
.
Considérons le lacet le plus simple : le cercle centré à l'origine et de rayon 
, il y a deux cas à considérer :
- Tout d'abord si
, alors l'indice des deux zéros est nul et l'image du lacet par ne tourne pas autour de l'origine.
- L'autre cas est :
, alors l'indice des deux zéros est égal à 1 et l'image du lacet par tourne deux fois autour de l'origine en effet :
.
Considérons à présent la fonction 
ayant un pôle triple à l'origine et un zéro simple en 
(les valuations de ces deux points sont respectivement 
et 
) et définie par :
.
En considérant comme ci-dessus le cercle , nous avons à nouveau deux cas à considérer :
- Si , alors l'indice du zéro simple est nul, et il ne reste que le pôle triple à considérer, l'image du lacet par la fonction
tourne 
trois fois (trois fois dans le sens anti-trigonométrique) autour de l'origine.
- Si , on doit considérer le zéro et le pôle et donc l'image du lacet par la fonction tourne deux fois autour de l'origine.
Ces deux cas sont illustrés par les figures 1 et 2 ci-contre.
Démonstration
Par hypothèse, 
et est holomorphe sur donc 
(quotient de deux fonctions holomorphes) est également holomorphe sur .
est simplement connexe donc le lacet est homotope à un point dans ; ainsi, on peut donc appliquer le théorème des résidus :
.
Pour 
, on a, au voisinage de :
où 
est holomorphe et ne s'annule pas sur un voisinage de et 
est la valuation de .
On a donc :
dont on tire :
.
Le quotient ci-dessus a un pôle simple en puisque est holomorphe et ne s'annule pas au voisinage de . On peut maintenant calculer le résidu en :
,
avec 
. En insérant ce dernier résultat dans la première équation, nous obtenons finalement :
.
Applications
Des ouvrages d'automatique utilisent assez fréquemment ce principe comme base théorique pour le critère de stabilité de Nyquist (en). La thèse originale de 1932 de Harry Nyquist[2] fait usage d'une approche plutôt maladroite et primitive pour développer le critère de stabilité. Dans sa thèse, H. Nyquist ne mentionnait pas le principe de l'argument. Par la suite, Leroy MacColl[3] et Hendrik Bode[4] sont partis du principe de l'argument pour déterminer le critère de stabilité, approche qui est utilisée actuellement dans bon nombre d'ouvrages d'analyse complexe ou d'automatique
Références
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Argument principle » (voir la liste des auteurs)
- Murray R. Spiegel, Variables complexes, McGraw-Hill, 1973 (ISBN 978-2-7042-0020-7)
- (en) H. Nyquist, Regeneration theory, Bell System Technical Journal, vol. 11, 1932, p. 126-147
- (en) Leroy Maccoll, Fundamental theory of servomechanisms, 1945
- (en) Hendrik Bode, Network analysis and feedback amplifier design, 1945
Voir aussi
mentions légales Wikipédia
politique
de confidentialité à propos de Wikipédia avertissements
contacts
faire un don
politique
de confidentialité à propos de Wikipédia avertissements
contacts
faire un don
En direct des marchés
Etats-Unis: "quelques personnes" toujours portées manquantes après la tornade
Voitures renversées, bâtiments rasés, rues couvertes de débris: à Moore, près de 24 heures après le passage d'une qui a fait au moins 24 morts, les secours cherchaient toujours mardi dans les décombres "quelques personnes" encore portées manquantes.