Intégrale abélienne
En mathématiques, une intégrale abélienne, nommée ainsi en honneur du mathématicien Niels Abel, est une intégrale dans le plan complexe de la forme :
où est une fonction rationnelle arbitraire des deux variables et , reliées par l'équation :
où est un polynôme irréductible en :
dont les coefficients sont aussi des fonctions rationnelles en .
La valeur d'une intégrale abélienne dépend non seulement des bornes d'intégration, mais aussi du chemin d'intégration. C'est donc une fonction multivaluée de .
Les intégrales abéliennes sont des généralisations naturelles des intégrales elliptiques, que l'on retrouve lorsque :
où est un polynôme de degré 3 ou 4. Un autre cas d'intégrale abélienne est celui des intégrales hyperelliptiques, qui surviennent lorsque est un polynôme de degré supérieur à 4.
Historique
modifierLa théorie des intégrales abéliennes est née d'un article d'Abel publié en 1841. Cet article a été écrit lors de son séjour à Paris en 1826 et présenté à Cauchy en octobre de cette année. Cette théorie, développée plus tard par d'autres a été l'un des accomplissements des mathématiques du XIXe siècle et eu un impact majeur sur le développement des mathématiques modernes. En termes plus abstraits et plus géométriques, cette théorie est contenue dans le concept de variété abélienne, ou, plus précisément, dans la manière dont une courbe algébrique peut être plongée dans des variétés abéliennes. L'intégrale abélienne fut plus tard liée au seizième problème de Hilbert, et reste considérée comme un des problèmes les plus difficiles de l'analyse contemporaine.
Présentation
modifierDans le cadre de la théorie des surfaces de Riemann, une intégrale abélienne est une primitive d'une forme différentielle de degré 1. Soit une surface de Riemann et une forme différentielle sur cette surface qui est holomorphe partout sur . Soit un point de qui servira d'origine à l'intégrale.
Considérons : .
Il s'agit d'une fonction multivaluée, , fonction du chemin tracé sur entre et . Comme est en général non simplement connexe, nous devrions spécifier , mais la valeur dépend en fait uniquement de la classe d'homologie de .
Lorsque est une surface de Riemann compacte de genre 1, c'est-à-dire une courbe elliptique, ces fonctions sont les intégrales elliptiques.
Ces fonctions ont été introduites au départ pour étudier les intégrales hyperelliptiques, c'est-à-dire les cas où est une courbe hyperelliptique. C'est une extension naturelle de la théorie de l'intégration dans le cas d'intégrales de fonctions algébriques , où est un polynôme de degré . Les premiers résultats de cette théorie ont été apportés par Niels Abel ; ceux-ci furent ensuite formulés en termes de variété jacobienne .
Bibliographie
modifier- Paul Appell et Édouard Goursat, Théorie des fonctions algébriques et de leurs intégrales, Paris, Gauthier-Villars,
- (en) Gilbert Ames Bliss, Algebraic Functions, Providence, American Mathematical Society,
- (en) Andrew Forsyth, Theory of Functions of a Complex Variable, Providence, Cambridge University Press,
- (en) Phillip Griffiths et Joseph Harris, Principles of Algebraic Geometry, New York, John Wiley & Sons,
- (de) Carl Neumann, Vorlesungen über Riemann's Theorie der Abel'schen Integrale, Leipzig, B. G. Teubner, , 2e éd.
Notes et références
modifier