Symbole de Pochhammer

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher

En mathématiques, le symbole de Pochhammer est une fonction spéciale utilisée en combinatoire et en théorie des fonctions hypergéométriques. Cette notation a été introduite par Leo Pochhammer. Elle sert à dénoter la factorielle croissante ou la factorielle décroissante.

Notation[modifier | modifier le code]

Le symbole qui représente cette fonction est employé dans plusieurs variantes :

x^{(n)} (entre autres en combinatoire)
(x)_{n} ou (x,n) (en analyse)
(x^n) (autres usages)

En théorie des fonctions spéciales, on note par (x)_n\, la factorielle croissante

(x)_n=x(x+1)(x+2)\cdots(x+n-1),

alors que le même symbole est parfois utilisée en combinatoire pour représenter la factorielle décroissante

(x)_n=x(x-1)(x-2)\cdots(x-n+1)=A_n^x.

Pour éviter des confusions, on utilise fréquemment - et ce sera fait ici - le symbole x^{(n)} pour la factorielle croissante et (x)_n pour la factorielle décroissante. Enfin, il y a une notation encore différente introduite par Ronald L. Graham, Donald E. Knuth et Oren Patashnik (en) dans leur livre Concrete Mathematics[1]. Ils écrivent

x^{\overline{n}}=\frac{(x+n-1)!}{(x-1)!},

pour la factorielle croissante, et

x^{\underline{n}}=\frac{x!}{(x-n)!}

pour la factorielle décroissante.

Définition et usage[modifier | modifier le code]

On note

x^{(n)} = x(x+1)(x+2)\cdots(x+n-1)

la factorielle croissante et

(x)_n = x(x-1)(x-2)\cdots(x-n+1)

la factoirelle décroissante.

Si x et n sont des entiers, on a :

x^{(n)} = {(x+n-1)! \over (x-1)!} pour la factorielle croissante, et
(x)_n = {x! \over (x-n)!} pour la factorielle décroissante.

Le produit vide x^{(0)} ou (x)_0 est défini comme étant égal à 1 dans les deux cas. On peut étendre la définition à des valeurs non entières de n par

x^{(n)} = {\Gamma(x+n) \over \Gamma(x)} pour la factorielle croissante,
(x)_n = {\Gamma(x+1) \over \Gamma(x-n+1)} pour la factorielle décroissante.

D’après les propriétés de la fonction Gamma, cette définition est cohérente avec celle pour les valeurs entières de n.

Propriétés[modifier | modifier le code]

Les factorielles croissantes et décroissantes sont liées aux coefficients binomiaux par les relations suivantes :

\frac{x^{(n)}}{n!} = {x+n-1 \choose n} = \Gamma_n^x \quad\mbox{et}\quad \frac{(x)_n}{n!} = {x \choose n}=C_n^x.

Par conséquent, de nombreuses identités sur les coefficients binomiaux se transportent aux factorielles croissantes ou décroissantes.

Une factorielle croissante s'exprime comme une factorielle décroissante à partir de l'autre bout :

x^{(n)} = {(x + n - 1)}_n .

Ceci est un cas particulier de la relation :

{(-x)}^{(n)} = {(-1)}^n {(x)}_{{n}} .

entre factorielles croissantes et décroissantes.

Observons que les factorielles croissantes et décroissantes sont définies dans tout anneau, donc l'élément x peut être par exemple un nombre complexe, un polynôme ou toute fonction à valeur complexe.

Lien avec le calcul ombral[modifier | modifier le code]

La factorielle décroissante apparaît dans une formule qui permet de représenter un polynôme en utilisant l'opérateur de différence \Delta, qui est similaire à la formule de Taylor en analyse. Dans cette formule, la factorielle décroissante (x)_k joue le rôle, dans le calcul des différences finies, du monôme x^k en calcul différentiel. Remarquons par exemple la similitude entre

\Delta((x)_k) = k \cdot (x)_{(k-1)}

et de

D(x^k) = k \cdot x^{k-1}

D désigne l'opérateur de dérivation des polynômes. L'étude d'analogies de ce type est connue sous le nom de calcul ombral. Une théorie générale qui couvre de telles relations est donnée par la théorie des suites de Sheffer. Les factorielles croissantes et décroissantes sont de telles suites, et vérifient :

(a + b)^{(n)} = \sum_{{j=0}}^n {n \choose j} (a)^{(n-j)}(b)^{(j)}
(a + b)_n = \sum_{{j=0}}^n {n \choose j} (a)_{n-j}(b)_{j}

Coefficients de connexion[modifier | modifier le code]

Comme les factorielles décroissantes forment une base de l'anneau des polynômes, on peut exprimer le produit de deux factorielles comme combinaison linéaire de factorielles. La formule est :

(x)_{m} (x)_{n} = \sum_{k=0}^{m} {m \choose k} {n \choose k} k!\, (x)_{m+n-k}.

Les coefficients (x)_{m+n-k} sont appelés les coefficients de connexion. Ils ont une interprétation combinatoire : c'est le nombre de façons de fusionner k éléments pris dans un ensemble à m éléments et k éléments pris dans un ensemble à n éléments.

q-symbole de Pochhammer[modifier | modifier le code]

Il existe un équivalent du symbole de Pochhammer dans les q-séries : le q-symbole de Pochhammer, défini comme suit.

(a;q)_n = \prod_{k=0}^{n-1} (1-aq^k)=(1-a)(1-aq)(1-aq^2)\cdots(1-aq^{n-1})

avec

(a;q)_0 = 1.

Références[modifier | modifier le code]

  1. Ronald L. Graham, Donald E. Knuth et Oren Patashnik (trad. Alain Denise), Mathématiques concrètes : Fondations pour l'informatique, Vuibert, coll. « Vuibert informatique »,‎ 2003, 2e éd., 687 p. (ISBN 978-2711748242).
  • (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Pochhammer symbol » (voir la liste des auteurs)
  • (en) Larry C. Andrews et Ronald L. Phillips, Mathematical techniques for engineers and scientists, 2003

Lien externe[modifier | modifier le code]

(en) Eric W. Weisstein, « Pochhammer Symbol », MathWorld