Modular lambda functionIn mathematics, the modular lambda function λ(τ) is a highly symmetric Holomorphic function on the complex upper half-plane. It is invariant under the fractional linear action of the congruence group Γ(2), and generates the function field of the corresponding quotient, i.e., it is a Hauptmodul for the modular curve X(2). Over any point τ, its value can be described as a cross ratio of the branch points of a ramified double cover of the projective line by the elliptic curve , where the map is defined as the quotient by the [−1] involution.
Fonction elliptique de JacobiEn mathématiques, les fonctions elliptiques de Jacobi sont des fonctions elliptiques d'une grande importance historique. Introduites par Carl Gustav Jakob Jacobi vers 1830, elles ont des applications directes, par exemple dans l'équation du pendule. Elles présentent aussi des analogies avec les fonctions trigonométriques, qui sont mises en valeur par le choix des notations sn et cn, qui rappellent sin et cos. Si les fonctions elliptiques thêta de Weierstrass semblent mieux adaptées aux considérations théoriques, les problèmes physiques pratiques font plus appel aux fonctions de Jacobi.
Fonction thêtaEn mathématiques, on appelle fonctions thêta certaines fonctions spéciales d'une ou de plusieurs variables complexes. Elles apparaissent dans plusieurs domaines, comme l'étude des variétés abéliennes, des espaces de modules, et les formes quadratiques. Elles ont aussi des applications à la théorie des solitons. Leurs généralisations en algèbre extérieure apparaissent dans la théorie quantique des champs, plus précisément dans la théorie des cordes et des D-branes.
Intégrale elliptiqueLes intégrales elliptiques interviennent dans de nombreux problèmes de physique mathématique : comme par exemple, le calcul de la période d'un pendule aux grandes amplitudes et plus généralement les formes d'équilibre ellipsoïdales des corps en rotation autour d'un axe (planètes, étoiles, goutte d'eau, noyau atomique,...). Une intégrale elliptique est une intégrale de la forme où est une fonction rationnelle à deux variables, est une fonction polynomiale de degré 3 ou 4 avec des racines simples et est une constante.
Fundamental pair of periodsIn mathematics, a fundamental pair of periods is an ordered pair of complex numbers that defines a lattice in the complex plane. This type of lattice is the underlying object with which elliptic functions and modular forms are defined. A fundamental pair of periods is a pair of complex numbers such that their ratio is not real. If considered as vectors in , the two are not collinear. The lattice generated by and is This lattice is also sometimes denoted as to make clear that it depends on and It is also sometimes denoted by or or simply by The two generators and are called the lattice basis.
Fonction lemniscatiqueEn mathématiques, les fonctions lemniscatiques sont des fonctions elliptiques liées à la longueur d'arc d'une lemniscate de Bernoulli ; ces fonctions ont beaucoup d'analogies avec les fonctions trigonométriques. Elles ont été étudiées par Giulio Fagnano en 1718 ; leur analyse approfondie, et en particulier la détermination de leurs périodes, a été obtenue par Carl Friedrich Gauss en 1796. Ces fonctions ont un réseau de périodes carré, et sont étroitement reliées à la fonction elliptique de Weierstrass dont les invariants sont g2 = 1 et g3 = 0.
Fonction elliptique de WeierstrassEn analyse complexe, les fonctions elliptiques de Weierstrass forment une classe importante 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. 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 obtiendra rarement des fonctions analytiques de cette façon.
Moyenne arithmético-géométriqueLa moyenne arithmético-géométrique de deux réels positifs est une valeur intermédiaire obtenue comme limite de deux suites adjacentes satisfaisant une relation de récurrence qui reprend les formules de moyennes arithmétique et géométrique. La convergence quadratique de ces suites permet une approximation rapide de la moyenne arithmético-géométrique qui est notamment associée à la longueur d'une ellipse en fonction des longueurs de ses axes.
J-invariantLe j-invariant, parfois appelé fonction j, est une fonction introduite par Felix Klein pour l'étude des courbes elliptiques, qui a depuis trouvé des applications au-delà de la seule géométrie algébrique, par exemple dans l'étude des fonctions modulaires, de la théorie des corps de classes et du monstrous moonshine. On travaille dans le . Soient quatre points distincts , leur birapport est : Cette quantité est invariante par homographies du plan, mais dépend de l'ordre des quatre nombres considérés.
Monstrous moonshineEn mathématiques, monstrous moonshine est un terme anglais conçu par John Horton Conway et Simon P. Norton en 1979, utilisé pour décrire la connexion, alors totalement inattendue, entre le groupe Monstre M et les formes modulaires (en particulier la fonction j). Précisément, Conway et Norton, suivant une observation initiale de John McKay, trouvèrent que le développement de Fourier de (, où désigne le ) pouvait être exprimé en termes de combinaisons linéaires des dimensions des représentations irréductibles de M () où et Conway et Norton formulèrent des conjectures concernant les fonctions obtenues en remplaçant les traces sur l'élément neutre par les traces sur d'autres éléments g de M.
Weber modular functionIn mathematics, the Weber modular functions are a family of three functions f, f1, and f2, studied by Heinrich Martin Weber. Let where τ is an element of the upper half-plane. Then the Weber functions are These are also the definitions in Duke's paper "Continued Fractions and Modular Functions". The function is the Dedekind eta function and should be interpreted as . The descriptions as quotients immediately imply The transformation τ → –1/τ fixes f and exchanges f1 and f2.
Q-symbole de PochhammerEn combinatoire, le q-symbole de Pochhammer est un symbole permettant de noter facilement certains produits. C'est l'élément de base des q-analogues. C'est le q-analogue du symbole de Pochhammer défini par Leo Pochhammer. Le q-symbole de Pochhammer est : avec On peut étendre la notation à des produits infinis : On note parfois , lorsqu'il est clair que la variable est q. Un grand nombre de séries génératrices représentant des partitions peuvent être exprimées de façon compacte avec ces symboles.
Constante de GaussEn mathématiques, la constante de Gauss, notée G, est l'inverse de la moyenne arithmético-géométrique de 1 et de la racine carrée de 2 : L'éponyme de cette constante est le mathématicien allemand Carl Friedrich Gauss (-) car il a découvert le à Brunswick que : La constante de Gauss peut être exprimée grâce à la valeur de la fonction bêta en (1/4, 1/2) : soit encore, grâce à la valeur de la fonction gamma en 1/4 : et puisque π et Γ(1/4) sont algébriquement indépendants, la constante de Gauss est transcendant
Fonction elliptiquevignette|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).
Fonction êta de DedekindLa fonction êta de Dedekind est une fonction définie sur le demi-plan de Poincaré formé par les nombres complexes de partie imaginaire strictement positive. Pour un tel nombre complexe , on pose et la fonction êta est alors : , en posant . La fonction êta est holomorphe dans le demi-plan supérieur mais n'admet pas de prolongement analytique en dehors de cet ensemble. La fonction êta vérifie les deux équations fonctionnelles et La seconde se généralise : soient des entiers tels que (donc associés à une transformation de Möbius appartenant au groupe modulaire), avec .
