Fonction elliptique

vignette|Fonctions elliptiques lemniscates et ellipse. En mathématiques, et plus particulièrement en analyse complexe, une fonction elliptique est, grossièrement parlant, une fonction définie sur le plan complexe qui est doublement périodique (périodique dans deux directions). Elle peut être vue comme analogue à une fonction trigonométrique (qui a une seule période). Formellement, une fonction elliptique est une fonction méromorphe f définie sur C pour laquelle il existe deux nombres complexes non nuls a et b tels que : De ceci, il suit que : À noter que si une fonction elliptique est holomorphe alors elle est nécessairement constante en vertu du théorème de Liouville. Les cas intéressants sont donc ceux où la fonction elliptique admet au moins un pôle. La plus importante classe de fonctions elliptiques est celle des fonctions elliptiques de Weierstrass ; toute fonction elliptique peut être exprimée à l'aide de celles-ci. Les fonctions elliptiques sont les applications réciproques des fonctions intégrales elliptiques, et c'est de cette façon qu'historiquement elles ont été introduites. Tout nombre complexe ω tel que est appelé « période » de f. Si les deux périodes a et b sont telles que toute autre période ω puisse être écrite sous la forme ω = ma + nb avec m et n entiers, alors a et b sont appelées « périodes fondamentales ». Toute fonction elliptique non constante possède une paire de périodes fondamentales, mais elle n'est pas unique. Si a et b sont des périodes fondamentales, alors tout parallélogramme de sommets d'affixes z, z + a, z + b, z + a + b est appelé un « parallélogramme fondamental ». Translater un tel parallélogramme d'un multiple entier de a et b donne un parallélogramme du même type, et la fonction f se comporte identiquement sur ce parallélogramme translaté, à cause de la périodicité. Le nombre de pôles dans tout parallélogramme fondamental est fini (et le même pour tout parallélogramme fondamental). À moins que la fonction elliptique ne soit constante, tout parallélogramme contient au moins un pôle, conséquence du théorème de Liouville.