Fonction d'Eulerthumb|right|Module de dans le plan complexe, coloré de sorte que noir=0, rouge=4. En mathématiques, la fonction d'Euler est donnée par Elle est nommée d'après Leonhard Euler, et elle constitue un exemple type du q-analogue d'une série. C'est une forme modulaire, et elle fournit un exemple typique d'interaction entre combinatoire et analyse complexe. On peut écrire la définition de comme produit infini de façon compacte grâce au symbole de Pochhammer : Le coefficient du développement en série formelle de est le nombre de partitions de l'entier .
Partition function (number theory)In number theory, the partition function p(n) represents the number of possible partitions of a non-negative integer n. For instance, p(4) = 5 because the integer 4 has the five partitions 1 + 1 + 1 + 1, 1 + 1 + 2, 1 + 3, 2 + 2, and 4. No closed-form expression for the partition function is known, but it has both asymptotic expansions that accurately approximate it and recurrence relations by which it can be calculated exactly. It grows as an exponential function of the square root of its argument.
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.
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 .
Série de LambertEn mathématiques, une série de Lambert, nommée ainsi en l'honneur du mathématicien Jean-Henri Lambert, est une série génératrice prenant la forme Elle peut être resommée formellement en développant le dénominateur : où les coefficients de la nouvelle série sont donnés par la convolution de Dirichlet de (a) avec la fonction constante 1(n) = 1 : La série de Lambert de certaines fonctions multiplicatives se calcule facilement ; par exemple : la série de Lambert de la fonction de Möbius μ est la série génératri
Partition d'un entierEn mathématiques, une partition d'un entier (parfois aussi appelée partage d'un entier) est une décomposition de cet entier en une somme d'entiers strictement positifs (appelés parties ou sommants), à l'ordre près des termes (à la différence du problème de composition tenant compte de l'ordre des termes). Une telle partition est en général représentée par la suite des termes de la somme, rangés par ordre décroissant. Elle est visualisée à l'aide de son diagramme de Ferrers, qui met en évidence la notion de partition duale ou conjuguée.
Série génératriceEn mathématiques, et notamment en analyse et en combinatoire, une série génératrice (appelée autrefois fonction génératrice, terminologie encore utilisée en particulier dans le contexte de la théorie des probabilités) est une série formelle dont les coefficients codent une suite de nombres (ou plus généralement de polynômes) ; on dit que la série est associée à la suite. Ces séries furent introduites par Abraham de Moivre en 1730, pour obtenir des formules explicites pour des suites définies par récurrence linéaire.
Forme modulaireEn mathématiques, une forme modulaire est une fonction analytique sur le demi-plan de Poincaré satisfaisant à une certaine sorte d'équation fonctionnelle et de condition de croissance. La théorie des formes modulaires est par conséquent dans la lignée de l'analyse complexe mais l'importance principale de la théorie tient dans ses connexions avec le théorème de modularité et la théorie des nombres.
