Bonsoir,
il y a un élément d'analyse complexe sur lequel j'ai des difficultés à m'exprimer clairement. Il s'agit des zéros et des pôles d'une fonction holomorphe f, qu'on définira ici sur un ouvert Omega. On définit une boule dans Omega ( B_r (z_0) avec z_0 dans Omega ) et : on écrit aussi
Ma définition initiale de pôle est la suivante :
il existe un terme dans la partie singulière de la série de Laurent différent de 0 et les suivants nuls.
Et celle de zéros :
jusqu'à une certaine dérivée (k) , et la dérivée suivante (k+1) est non nulle.
ma question est la suivante:
est ce qu'il est possible de définir de façon équivalente pôle et zéro par :
1)
![]()
en prenant k entier positif dans le cas d'un pole et négatif pour un zéro? (et bien sûr minimal / maximal, que pour le k suivant cela ne fonctionne pas)
2)
est ce qu'il ne serait pas plus "propre", de passer par une fonction intermédiaire (en gardant les notations de tout à l'heure) :
où g est une fonction holomorphe sur l'ouvert.
3)
Enfin, on pourrait aussi imaginer une définition où l'on inverse la fonction dans un voisinage : si on regarde la multiplicité du zéros de f, cela reviendrait à compter l'ordre du pôle de g (en définissant sur la même boule f = 1/g, épointée) au même point. Et vice versa pour l'ordre des pôles.
Voila donc si vous pouviez juger ces 4 définitions de ces deux notions très proches, je vous en serai reconnaissant.
En effet, je devais prouver que si une fonction a sa dérivée non nul sur une boule, alors la fonction admet des zéros d'ordre au plus 1. J'ai su le montrer en passant par les séries de Laurent mais étant donnée que ce n'est pas la définition que j'ai de zéros, je ne savais pas si cela était juste.
Je vous remercie beaucoup pour vos éclaircissements et vous souhaite une agréable fin de weekend.
-----