Abonnez-vous à Universalis pour 1 euro

FONCTIONS ANALYTIQUES Fonctions elliptiques et modulaire

Inaugurée par N. H. Abel et C. Jacobi, la théorie des fonctions elliptiques a été un sujet de prédilection pour les analystes pendant tout le xixe siècle. Appliquées par B. Riemann et K. Weierstrass à l'étude des courbes algébriques dans le plan projectif complexe, ces fonctions sont à la base de la théorie plus générale des fonctions algébriques, du domaine de l'algèbre et de la géométrie algébrique. Généralisées par H. Poincaré, qui a étudié les fonctions « fuchsiennes », elles sont aussi à l'origine de la théorie des fonctions automorphes. Il s'agit là de deux branches très actives des mathématiques contemporaines, qui utilisent simultanément des techniques d'analyse et d'algèbre très élaborées.

Intégrales circulaires et elliptiques

Le calcul intégral classique montre qu'une intégrale de la forme :

où P(x) est un polynôme du 2e degré sans racine double, se calcule à l'aide de fonctions dites élémentaires, c'est-à-dire circulaires ou hyperboliques. Posons par exemple :
  si x et t sont réels, ils doivent être compris entre ± 1, et l'on a u = Arc sin x, dont la fonction inverse est x = sin u ; comme u reste compris entre ± π/2, la période 2 π de cette fonction inverse n'apparaît pas si l'on prend x et t réels.

Mais prenons-les complexes : si ω est l'ensemble des points du plan dont l'affixe est non réel ou réel strictement compris entre ± 1, la fonction :

a une détermination holomorphe sur ω, valant 1 à l'origine, qui à son tour a une primitive u(x) holomorphe sur ω et nulle à l'origine. Quand x varie dans ω le long de la partie [1, + ∞ [ (resp.] − ∞, − 1]) de la frontière, au-dessus ou au-dessous, u décrit la droite Re u = π/2 (resp. − π/2) au-dessus ou au-dessous de l'axe réel. De la formule intégrale de Cauchy (cf. fonctions analytiques – Fonctions analytiques d'une variable complexe, chap. 5) résulte alors une correspondance conforme biunivoque entre x décrivant ω et u décrivant la bande δ définie par :

Le principe de symétrie de Schwarz (cf. fonction analytique - Fonctions analytiques d'une variable complexe, chap. 4) permet de prolonger cette correspondance par symétrie par rapport aux frontières rectilignes de ω et δ : après ce prolongement, à deux valeurs de u symétriques par rapport à l'une des droites Re u = ± π/2 correspondent deux valeurs de x symétriques par rapport à l'axe réel, donc à deux valeurs de u différant de 2 π correspond la même valeur de x. Ainsi l'inversion de l'intégrale circulaire :

effectuée dans le champ complexe, donne une fonction de période 2 π, qui, d'autre part, est évidemment solution de l'équation différentielle :

Ce raisonnement, dont le principe est de Carl Jacobi (1804-1851), s'applique aussi à l' intégrale elliptique :

où P est le degré 3 ou 4, sans racine double. Prenons par exemple :
Cette intégrale a une détermination holomorphe sur ω, positive sur la partie ]α, + ∞[ de la frontière. Cette détermination, à son tour, a une primitive u(x) holomorphe sur ω et nulle à l'infini. Quand x varie dans ω le long de la frontière, passant successivement par + ∞, α, β, γ, − ∞, u décrit le périmètre 0, a, b, c, 0 d'un rectangle, où a et ic sont réels < 0 ; comme dans le cas précédent, la correspondance conforme biunivoque, entre x décrivant ω et u décrivant l'intérieur δ de ce rectangle, se prolonge par symétrie par rapport aux frontières rectilignes de ω et δ. Après ce prolongement, x prend la même valeur en deux points u symétriques par rapport à l'un des sommets du rectangle, donc admet un groupe (additif) de périodes engendré par τ = 2 a, τ′ = 2 ic, dont le rapport est imaginaire pur.

Ainsi[...]

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

Carte mentale
Élargissez votre recherche dans Universalis

Classification

Média

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

Domaine du groupe modulaire

Encyclopædia Universalis France

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
    Andrew John Wiles - crédits : Charles Rex Arbogast/ AP Photo/ SIPA
    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
    Anneaux et algèbres - crédits : Encyclopædia Universalis France
    ...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
    Développements asymptotiques - crédits : Encyclopædia Universalis France
    ...) = 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
Abonnez-vous à Universalis pour 1 euro

Rejoignez-nous

Inscrivez-vous à notre newsletter