Abonnez-vous à Universalis pour 1 euro

FONCTIONS ANALYTIQUES Fonctions elliptiques et modulaire

Les fonctions de Weierstrass

L'ordre d'une fonction G-elliptique étant au moins 2, on en cherche une d'ordre 2 : la somme de la série de terme général 1/(u − τ)2, pour τ ∈G, répondrait à la question si elle avait un sens ; une légère modification, dont le seul but est d'assurer la convergence nécessaire, donne la fonction de Karl Weierstrass (1815-1897), notée par lui d'un p gothique :

C'est une fonction paire et G-elliptique d'ordre 2, car l'origine en est un pôle double, et le seul pôle modulo G ; au voisinage de l'origine, on a :

avec :

Du développement (2), il résulte que :

est holomorphe et nulle à l'origine, d'où la formule fondamentale :
prouvant que x =  (u) est fonction inverse de l'intégrale elliptique :
considérée au chapitre 1, ou encore que x = p(u), y = p′(u) est une représentation paramétrique de la cubique :
qui, pour cette raison, est dite elliptique (cf. courbes algébriques, chap. 7).

Aux deux points de C/G, où p prend une valeur donnée x, p′ prend des valeurs opposées ; par suite (cf. chap. 2), les fonctions G-elliptiques sont exactement les fonctions rationnelles de p et p′. De la formule de Weierstrass :

résultent, d'abord, une relation algébrique entre p(u), p(v), p(u + v), puis une relation algébrique entre f (u), f (v), f (u + v) pour une fonction G-elliptique quelconque f. Le problème de Weierstrass est la recherche des fonctions f analytiques uniformes ayant cette propriété : ce sont les fonctions rationnelles de la variable ou de l'exponentielle, et les fonctions elliptiques.

Les autres fonctions de Weierstrass attachées à G, ζ et σ, respectivement méromorphe et holomorphe partout, ne sont pas G-elliptiques, mais sont liées à p par les formules :

elles permettent d'exprimer toute fonction G-elliptique d'ordre n soit en combinaison linéaire de n fonctions dérivées de translatées de ζ, soit comme quotient du produit de n translatées de σ par le produit de n autres translatées de σ.

La suite de cet article est accessible aux abonnés

  • Des contenus variés, complets et fiables
  • Accessible sur tous les écrans
  • Pas de publicité

Découvrez nos offres

Déjà abonné ? Se connecter

Écrit par

Classification

Média

Domaine du groupe modulaire - crédits : Encyclopædia Universalis France

Domaine du groupe modulaire

Autres références

  • FONCTIONS ANALYTIQUES (A.-L. Cauchy)

    • Écrit par
    • 269 mots
    • 1 média

    Augustin-Louis Cauchy (1789-1857) est un mathématicien français prolifique, auteur de 789 notes qui furent publiées pour la plupart aux Comptes rendus de l'Académie des sciences. Parmi les nombreux résultats importants qu’il a démontrés, ceux qui concernent les fonctions d'une variable...

  • PRIX ABEL 2016

    • Écrit par
    • 1 168 mots
    • 2 médias
    Pour ce qui est des formes modulaires, on peut dire très schématiquement que ce sont des fonctions analytiques qui respectent certaines conditions exprimées par certaines équations fonctionnelles – un exemple étant f[(az + b)/(cz + d)] = (cz + d)2 f(z) pour tout z complexe ; a, b, c et d étant...
  • ANALYSE MATHÉMATIQUE

    • Écrit par
    • 8 528 mots
    ...exemple pour la fonction égale à exp (− 1/x2) pour x ≠ 0 et à 0 pour x = 0, en prenant x0 = 0). Il y a donc lieu de faire l'étude des fonctions, dites analytiques, qui, au voisinage de chaque point x0 où elles sont définies, sont égales à leur série de Taylor en ce point. On savait depuis...
  • ANNEAUX & ALGÈBRES

    • Écrit par
    • 5 036 mots
    • 1 média
    ...fonctions analytiques à l'origine O du plan complexe. Considérons les couples (U, f ) d'un voisinage ouvert de O dans le plan complexe et d'une fonction f définie et analytique dans U. Nous dirons que deux tels couples (U, f ) et (V, g) définissent le même germe à l'origine si f et ...
  • ASYMPTOTIQUES CALCULS

    • Écrit par et
    • 6 250 mots
    • 1 média
    ...) = etReh(x+iy), appelé le relief de eth(z). Cette surface ne présente pas de « sommet » relatif, d'après le principe du maximum pour les fonctions analytiques, et, par suite, les seuls points où le plan tangent est horizontal (ce sont les points où la dérivée h′(z) s'annule), sont...
  • Afficher les 20 références