Fonctions elliptiques de Weierstrass

Fonction elliptique de Weierstrass

En analyse complexe, les fonctions elliptiques de Weierstrass forment la plus importante classe de fonctions elliptiques c’est-à-dire de fonctions méromorphes doublement périodiques. Toute fonction elliptique peut être exprimée à l'aide de celles-ci.

Sommaire

1 Introduction
- 1.1 Fabrication de fonctions périodiques
- 1.2 Fonctions périodiques, fonctions doublement périodiques.
2 Définition
3 Le théorème d'existence
- 3.1 Remarque
4 Une relation algébrique fondamentale
5 La cubique de Weierstrass vue comme courbe elliptique
6 Voir aussi
- 6.1 Articles connexes
- 6.2 Références

Introduction

Fabrication de fonctions périodiques

Supposons que l'on souhaite fabriquer une telle fonction de période $1\,$ . On peut prendre une fonction quelconque, définie sur $[0,1]\,$ et telle que $f(0)=f(1)\,$ et la prolonger convenablement. Un tel procédé a des limites. Par exemple, on n'obtiendra jamais de cette façon des fonctions analytiques.

Une idée plus sophistiquée est de prendre une fonction $f\,$ définie sur $\mathbb{R}\,$ et d'introduire la fonction $g\,$ définie par $g(x)=\sum_{n\in \mathbb{Z}} f(x+n)$

Un exemple simple est donné par

$\sum_{n\in \mathbb{Z}} (x+n)^{-k}, k \in \mathbb{N}$ .

Si $k > 1$ , on obtient une fonction infiniment dérivable, définie sur $\mathbb{R}\setminus\mathbb{Z}$ et de période $1\,$ . Si $k=1\,$ , la série ne converge pas, mais on peut introduire à la place

$\frac{1}{x}+\lim_{n\rightarrow +\infty}\sum_{\vert m\vert <n, m\not=0} \frac{1}{x+m}$ ,

qui s'écrit aussi

$\frac{1}{x}+\sum_{n\in\mathbb{Z}, n\not=0}\frac{1}{x+n}+ \frac{1}{x-n}$ ,

ou encore

$\frac{1}{x}+\sum_{n=1}^\infty\frac{2x}{x^2-n^2}$ .

C'est a priori la plus intéressante du lot, puisque les autres en sont (à des facteurs constants près) les dérivées successives. Dans le cadre de la théorie des fonctions holomorphes, il s'agit de la fonction $\pi cot\pi z\,$ .

André Weil, dans Elliptic Functions According to Einsenstein and Kronecker, retrouve avec des méthodes élémentaires ingénieuses les fonctions sinus et cosinus à partir des séries ci-dessus.

Fonctions périodiques, fonctions doublement périodiques.

Une période d'une fonction continue $f\,$ est un nombre $T \not=0\,$ tel que, pour tout $x\,$ réel, on ait $f(x+T)=f(x)\,$ . La somme de deux périodes est une période, et que, en raison de la continuité, les périodes forment un ensemble fermé. Les périodes forment un sous-groupe fermé du groupe $(\mathbb{R},+)$ . Un tel sous-groupe, s'il n'est pas réduit à zéro, est soit égal à $\mathbb{R}\,$ tout entier (la fonction $f\,$ est alors constante, cas trivial) soit de la forme $a\mathbb{Z}\,$ pour un réel $a >0\,$ , que les physiciens appellent la plus petite période de $f\,$ .

Une fonction doublement périodique est une fonction dont le groupe des périodes est isomorphe à $\mathbb{Z}^2\,$ . D'après ce qui précède, de telles fonctions continues d'une variable réelle n'existent pas. Il faut prendre des fonctions de deux variables, ou, plus intéressant, des fonctions d'une variable complexe. Le groupe des périodes d'une telle fonction est un réseau, c’est-à-dire un sous-groupe de $(\mathbb{C},+)\,$ engendré par deux élements $ω 1$ et $ω 2$ indépendants sur $\mathbb{R}\,$ .

Toute fonction holomorphe doublement périodique est constante, puisqu'une telle fonction est nécessairement bornée sur $\mathbb{C}\,$ (théorème de Liouville). C'est à l'occasion de recherches sur les fonctions elliptiques que Joseph Liouville a été amené à formuler et démontrer ce théorème. Il faut donc travailler avec des fonctions méromorphes.

Définition

Soit $L\,$ un réseau du plan complexe, de base $\omega_1, \omega_2\,$ . Par analogie avec l'introduction, on est amené à considérer les fonctions

$\sum_{\lambda\in L}(z-\lambda)^{-k},$

qui s'écrivent

$\sum_{(m_1,m_2)\in \mathbb{Z}\times\mathbb{Z}}(z-m_1\omega_1 -m_2\omega_2)^{-k}$

Si l'entier $k\,$ vaut au moins $3\,$ , elles convergent. Il s'agit d'une convergence uniforme sur tout compact ne rencontrant pas le réseau. Cela résulte d'une série de remarques.

$\vert x_1\omega_1 + x_2 \omega_2 \vert$ est une norme sur $\mathbb{R}^2\,$
Elle est équivalente à $\sqrt{x_1^2 + x_2^2}\,$ . Il existe donc un $\alpha>0\,$ tel que, quels que soient $m_1\,$ et $m_2\,$ , on ait

$\vert m_1 \omega_1 + m_2 \omega_2 \vert \ge \alpha \sqrt{m_1^2 + m_2^2}$ .
Donc tout disque fermé ne contient qu'un nombre fini d'éléments de $L\,$ .

On prend $z\,$ dans le disque fermé $\vert z \vert \le R\,$ .

En ce qui concerne la convergence, il suffit de considérer les $\lambda\,$ tels que $\vert \lambda \vert \ge 2R$ ( $\ge R\,$ suffirait apparemment, il s'agit ici d'une astuce technique).

Dans ces conditions, $\vert z+ \lambda \vert \ge \vert \lambda \vert - \vert z \vert \ge \frac{\vert \lambda \vert }{2}$ . On est donc ramené à la convergence de la série $\sum_{\lambda\in L\setminus\{0\}}\vert \lambda\vert^{-k}$ ,

qui se ramène elle-même, d'après notre première remarque, à la convergence de la série de Riemann $\sum_{m_1,m_2 =1}^{+\infty} (m_1^2 + m_2^2)^{-k/2}$ . Cette dernière converge si $k>2\,$ .

Pour $k=2\,$ , cet argument est en défaut. Toujours par analogie avec l'introduction, on introduit la série modifiée

$\frac{1}{z^2}+ \sum_{\lambda\in L\setminus\{0\}}\frac{1}{(z+\lambda)^2}- \frac{1}{\lambda^2}\ (1)$

Le théorème d'existence

La série (1) converge uniformément sur tout compact ne rencontrant pas $L$ . Sa somme est une fonction méromorphe $\wp\,$ , qui admet des pôles doubles aux points de $L\,$ . Elle est paire et $L\,$ -périodique.

On se place dans un disque $\vert z\vert\le R\,$ , qui ne contient qu'un nombre fini d'éléments de $L\,$ , qu'on peut enlever à la série sans dommage pour l'étude de sa convergence.

Pour les autres, on écrit

$(z+\lambda)^{-2}= \lambda^{-2}(1+\frac{z}{\lambda})^{-2}= \frac{1}{\lambda^2} - \frac{2z}{\lambda^3}+O(\frac{1}{\lambda^4})$

uniformément par rapport à $z\in D(0,R)\,$ . Dans ces conditions, $\vert \frac{1}{(z+\lambda)^2} - \frac{1}{\lambda^2}\vert \le C(R)\vert\lambda\vert^{-3}$ , et on est ramené à une question déjà résolue.

D'après ce qui précède et des résultats classiques de dérivation terme à terme,

$\wp^\prime(z) =-2 \sum_{\lambda\in L}\frac{1}{(z+\lambda)^3},$

ce qui montre que la fonction $\wp^\prime\,$ est impaire et $L\,$ -périodique. Donc $\wp\,$ est paire. En raison de la périodicité de $\wp^\prime\,$ , la fonction $\wp(z+\omega_i)-\wp(z)$ (pour $i = 1,$ ou $2\,$ ) est constante, et cette constante vaut $\wp(\omega_i/2)-\wp(-\omega_i/2)=0$

Remarque

On peut montrer que toute fonction méromorphe $L\,$ -périodique qui admet des pôles doubles aux points de $L\,$ est de la forme $a\wp + b\,$ , et plus généralement, que toute fonction méromorphe $L\,$ -périodique est de la forme $R(\wp,\wp^\prime)\,$ , où $R\,$ désigne une fraction rationnelle à deux variables.

Une relation algébrique fondamentale

La fonction $\wp\,$ vérifie l'équation différentielle

$\wp^\prime(z)^2= 4\wp(z)^3-g_2\wp(z)-g_3$

Ici, on a posé (les notations relèvent d'une tradition vénérable)

$g_2=120 \sum_{\lambda\in L\setminus\{0\}}\frac{1}{\lambda^4} \quad\textrm{et}\quad g_3=140 \sum_{\lambda\in L\setminus\{0\}}\frac{1}{\lambda^6}$

Le principe de la preuve est le suivant. La fonction $\wp^\prime(z)^2- 4\wp(z)^3+g_2\wp(z)+g_3$ est certainemement méromorphe et $L\,$ -périodique. Un argument de développement limité montre qu'elle est nulle à l'origine. Elle est donc holomorphe et bornée, donc constante (et ici identiquement nulle) d'après le théorème de Liouville.

L'application $z\mapsto \big(\wp(z),\wp^\prime(z)\big)$ envoie $\mathbb{C}\,$ dans la cubique de $\mathbb{C}\times \mathbb{C}\,$ d'équation $y^2=4x^3-g_2x-g_3\,$ . La courbe correspondante $\mathbf{E}\,$ du plan projectif, appelée cubique de Weierstrass est donnée en coordonnées homogènes $(x,y,t)\,$ par l'équation $y^2t-4x^3+g_2xt^2+g_3t^3=0 \,$ . On a alors une application continue (et même holomorphe à condition de savoir ce qu'est une variété complexe) de $\mathbb{C}$ dans $\mathbf{E}\,$ donnée par $z\mapsto [\big(\wp(z),\wp^\prime(z), 1\big)]$ qui se prolonge par continuité aux pôles de $\wp\,$ , qu'elle envoie sur le "point à l'infini" $[(0,1,0)]\,$ de $\mathbf{E}\,$ .

La cubique de Weierstrass vue comme courbe elliptique

De même que le quotient $\mathbb{R}/\mathbb{Z}\,$ est homéomorphe au cercle, le quotient $\mathbb{C}/L\,$ est homéomorphe à un tore de dimension $2\,$ ; c'est aussi une surface de Riemann compacte.

On démontre que l'application $z\mapsto [\big(\wp(z),\wp^\prime(z), 1\big)]$ vue plus haut définit par passage au quotient un homéomorphisme et une application biholomorphe de $\mathbb{C}/L\,$ dans $\mathbf{E}.\,$

La courbe $\mathbf{E}\,$ est lisse, c’est-à-dire sans singularités. Il suffit pour le voir de montrer que le discriminant du polynôme $4x^3-g_2x-g_3\,$ est non nul. Ce qui est le cas, car ses trois racines sont distinctes. D'après la relation algébrique fondamentale, si $\wp^\prime(u)=0\,$ , alors $x=\wp(u)\,$ est une racine de ce polynôme. Mais la fonction $\wp^\prime\,$ , impaire et $L\,$ -périodique, s'annule si $2u\in L\,$ . Donc pour $\frac{\omega_1}{2},\frac{\omega_2}{2}, \frac{\omega_1+\omega_2}{2}=\,$ . En raison de la bijection entre $\mathbb{C}/L\,$ et $\mathbf{E}\,$ , les nombres $\wp(\frac{\omega_1}{2})\,$ , $\wp(\frac{\omega_2}{2})\,$ et $\wp(\frac{\omega_1+\omega_2}{2})\,$ sont distincts.

Une structure de groupe additif sur l'ensemble des points d'une telle cubique est décrite dans Courbe elliptique. L'élément neutre est le point à l'infini $[(0,1,0)]\,$ , et trois points $P,Q,R\,$ sont alignés si et seulement si $P+Q+R=0\,$ . L'application $z\mapsto [\big(\wp(z),\wp^\prime(z), 1\big)]$ est un isomorphisme de groupes entre $\mathbb{C}/L\,$ et $\mathbf{E}.\,$ .

Les éléments neutres se correspondent. Les points de $\mathbf{E}\,$ correspondant à $u,v\,$ et $-(u+v)\,$ étant alignés, il s'agit d'une conséquence de la formule d'addition, citée sans preuve :

$\wp(u)+\wp(v)+\wp(u+v)=\frac{1}{4}\left(\frac{\wp^\prime(u)-\wp^\prime(v)}{\wp(u)\wp(v)}\right)^2$

« Structure de groupe sur $\mathbf{E}\,$ » et « structure de groupe sur $\mathbb{C}/L\,$ » sont équivalents : un résultat profond, difficile d'accès, assure que une cubique lisse $y^2=4x^3-ax-b\,$ étant donnée, il existe un réseau $L\,$ , tel que $a=g_2\,$ et $b=g_3\,$ .

Voir aussi

Références

Roger Godement, Cours d'Analyse, Springer.
Yves Hellegouarch, Invitation aux mathématiques de Fermat-Wiles, Masson 1997.
André Weil, Elliptic functions according to Einsenstein and Kronecker, Springer.

Portail des mathématiques

Ce document provient de « Fonction elliptique de Weierstrass ».

Catégories : Fonction elliptique | Géométrie algébrique | Analyse complexe | Fonction remarquable

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Fonctions elliptiques de Weierstrass de Wikipédia en français (auteurs)

Игры ⚽ Нужно сделать НИР?

Regardez d'autres dictionnaires:

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… … Encyclopédie Universelle
Weierstrass — Karl Weierstrass Karl Weierstrass Karl Theodor Wilhelm Weierstrass Naissance 31 octobre 1815 Ostenfelde (Westphalie) … Wikipédia en Français
WEIERSTRASS (K. T. W.) — La longue vie de Weierstrass fut entièrement consacrée à l’analyse mathématique et peu de savants exercèrent sur leur science une influence aussi profonde, durable et bienfaisante. D’abord professeur à l’Institut militaire prussien, Weierstrass… … Encyclopédie Universelle
FONCTIONS ANALYTIQUES - Fonctions d’une variable complexe — On se propose, dans ce premier article, d’exposer, avec des démonstrations quasiment complètes, les résultats les plus élémentaires de la théorie des fonctions analytiques d’une variable complexe; les deux derniers chapitres sont consacrés à… … Encyclopédie Universelle
FONCTIONS (REPRÉSENTATION ET APPROXIMATION DES) — Il arrive très souvent que, dans les problèmes issus des mathématiques ou des autres sciences, les fonctions qui interviennent soient définies par des procédés qui ne permettent pas d’étudier de manière efficace leurs propriétés. C’est le cas des … Encyclopédie Universelle
FONCTIONS ANALYTIQUES - Représentation conforme — La représentation conforme la plus anciennement connue est la projection stéréographique, inventée par les Grecs (Hipparque, Ptolémée). Les problèmes cartographiques conduisirent à la découverte d’autres applications conservant les angles d’un… … Encyclopédie Universelle
Courbes Elliptiques — Courbe elliptique Une sélection de courbes cubiques réelles définies par l équation y2 = x3 + ax + b.. La région montrée est [ 3,3]². La courbe pour a=b=0 n est pas elliptique. En mathématiques, une courbe elliptique est un cas particulier de… … Wikipédia en Français
Courbes elliptiques — Courbe elliptique Une sélection de courbes cubiques réelles définies par l équation y2 = x3 + ax + b.. La région montrée est [ 3,3]². La courbe pour a=b=0 n est pas elliptique. En mathématiques, une courbe elliptique est un cas particulier de… … Wikipédia en Français
Fonction Elliptique De Weierstrass — En analyse complexe, les fonctions elliptiques de Weierstrass forment la plus importante classe de fonctions elliptiques c’est à dire de fonctions méromorphes doublement périodiques. Toute fonction elliptique peut être exprimée à l aide de celles … Wikipédia en Français
Fonction elliptique de weierstrass — En analyse complexe, les fonctions elliptiques de Weierstrass forment la plus importante classe de fonctions elliptiques c’est à dire de fonctions méromorphes doublement périodiques. Toute fonction elliptique peut être exprimée à l aide de celles … Wikipédia en Français

Dictionnaires et Encyclopédies sur 'Academic'

Fonctions elliptiques de Weierstrass

Fonction elliptique de Weierstrass

Sommaire

Introduction

Fabrication de fonctions périodiques

Fonctions périodiques, fonctions doublement périodiques.

Définition

Le théorème d'existence

Remarque

Une relation algébrique fondamentale

La cubique de Weierstrass vue comme courbe elliptique

Voir aussi

Articles connexes

Références

Regardez d'autres dictionnaires:

Share the article and excerpts

Dictionnaires et Encyclopédies sur 'Academic'

Wikipédia en Français

Fonctions elliptiques de Weierstrass

Fonction elliptique de Weierstrass

Sommaire

Introduction

Fabrication de fonctions périodiques

Fonctions périodiques, fonctions doublement périodiques.

Définition

Le théorème d'existence

Remarque

Une relation algébrique fondamentale

La cubique de Weierstrass vue comme courbe elliptique

Voir aussi

Articles connexes

Références

Regardez d'autres dictionnaires:

Share the article and excerpts

Direct link