Vés al contingut

Símbol de Pochhammer

De la Viquipèdia, l'enciclopèdia lliure

En matemàtiques, el símbol de Pochhammer és una funció especial usada en combinatòria i en teoria de les funcions hipergeomètriques. Aquesta notació la va introduir Leo Pochhammer. S'utilitza per a indicar el factorial creixent o el factorial decreixent.

Notació

[modifica]

El símbol que representa aquesta funció s'utilitza en diverses variants:

(entre d'altres en combinatòria)
o (en anàlisi)
(altres usos)

En teoria de les funcions especials, escrivim el factorial creixent

mentre que el mateix símbol de vegades es fa servir en combinatòria per representar el factorial decreixent

Per evitar confusions, sovint s'utilitza el símbol (i es farà en aquest article) pel factorial creixent i pel factorial decreixent.

Hi ha una notació encara diferent que van introduir Ronald L. Graham, Donald E. Knuth i Oren Patashnik al seu llibre Concrete Mathematics.[1] Ells escriuen per al factorial creixent

 ; (exemple: )

i per al factorial decreixent

 ; (exemple: )

Definició i ús

[modifica]

El factorial creixent s'escriu

i el factorial decreixent

Si i són dos nombre enters, tenim :

per al factorial creixent
per al factorial decreixent

El producte buit 0 es defineix com a 1 en tots dos casos. Podem ampliar la definició a valors que no siguin enters de n per a

per al factorial creixent,
per al factorial decreixent.

Segons les propietats de la funció gamma, aquesta definició és coherent amb la dels valors enters de n.

Propietats

[modifica]

Els factorials creixents i decreixents estan relacionades amb els coeficients binomials mitjançant les següents relacions:

En conseqüència, moltes identitats dels coeficients binomials es converteixen en factorials creixents o decreixents.

Un factorial creixent s'expressa com un factorial decreixent des de l'altre extrem:

Aquest és un cas especial de la relació:

entre factorials creixents i decreixents.

Es pot observar que els factorials creixents i decreixents estan definits en qualsevol anell, per tant, en l'element  pot ser per exemple un nombre complex, un polinomi o qualsevol funció amb valor complex.

Relació amb el càlcul ombral

[modifica]

El factorial decreixent apareix en una fórmula que permet representar un polinomi mitjançant l'operador de diferència , que és similar a la fórmula de Taylor en anàlisi. En aquesta fórmula, el factorial decreixent juga el paper, en el càlcul de diferències finites, del monomi en càlcul diferencial. Es pot observar, per exemple, la similitud entre

i de

on és l'operador per derivar polinomis.

L'estudi d'analogies d'aquest tipus es coneix amb el nom de càlcul ombral. Una teoria general que cobreix aquestes relacions és donada per la teoria de les sèries de Sheffer. Els factorials creixents i decreixents són aquestes seqüències i verifica:

Coeficients de connexió

[modifica]

Com que els factorials decreixents formen una base de l'anell de polinomis, podem expressar el producte de dos factorials com a combinació lineal de factorials. La fórmula és:

Els coeficients de s'anomenen coeficients de connexió. Tenen una interpretació combinatòria: és el nombre de maneres de combinar elements agafats d'un conjunt amb elements i elements agafats d'un conjunt amb elements.

Símbols q-Pochhammer

[modifica]

Hi ha un equivalent del símbol de Pochhammer a les q-sèries: el símbol q-Pochhammer, definit com:

amb

.

Referències

[modifica]
  1. Ronald L., Graham; Donald E., Knuth; Oren, Patashnik. Mathématiques concrètes. Fondations pour l'informatique (en francès), 2003 (Vuibert informatique (2)). ISBN 978-2711748242. 

Bibliografia

[modifica]
  • Andrews, Larry C.; Phillips, Ronald L. Mathematical Techniques for Engineers and Scientists (en angles), 2003. 

Enllaços externs

[modifica]