Pochhammersymbolen

Pochhammersymbolen är en speciell funktion som används inom kombinatorik och teorin för den hypergeometriska funktionen. Namnet kommer från den tyske matematikern Leo August Pochhammer.^[1]

Flera beteckningar används för pochhammersymbolen:

${\displaystyle x^{(n)}}$ (speciellt inom kombinatorik)

${\displaystyle (x,n)}$,${\displaystyle (x)_{n}}$ (analys, speciella funktioner)

${\displaystyle (x^{n})}$

Inom teorin för speciella funktioner avses med

${\displaystyle (x)_{n}\,}$

den "stigande fakulteten"^[2]

${\displaystyle (x)_{n}=x(x+1)(x+2)\cdots (x+n-1)={\frac {(x+n-1)!}{(x-1)!}}}$,

medan denna beteckning inom kombinatoriken avser den "fallande fakulteten"^[2]

${\displaystyle (x)_{n}=x(x-1)(x-2)\cdots (x-n+1)={\frac {x!}{(x-n)!}}}$.

För att undvika sammanblandning används ofta ${\displaystyle (x)^{n}}$ för den stigande och ${\displaystyle (x)_{n}}$ för den fallande funktionen. Därutöver har ytterligare en ny beteckning införts av Ronald Graham, Donald Knuth och Oren Patashnik i boken Concrete Mathematics.

För den "stigande fakulteten" används ${\displaystyle x^{\overline {n}}={\frac {(x+n-1)!}{(x-1)!}}}$, och för den fallande ${\displaystyle x^{\underline {n}}={\frac {x!}{(x-n)!}}}$.

De fallande fakulteterna har inom differenskalkyl liknande egenskaper som potenser inom differentialkalkyl och kan användas för beräkning av serier.

Pochhammersymbolen definieras i allmänhet med gammafunktionen:

${\displaystyle (x,n)\equiv {\frac {\Gamma (x+n)}{\Gamma (x)}}}$

För naturliga tal gäller härvid:

${\displaystyle (m,n)\equiv m(m+1)\dots (m+n-1);\quad (m,n\in \mathbb {N} )}$

• Pochammersymbolen är en meromorf funktion
• De stigande och fallande fakulteterna kan användas för att uttrycka en binomialkoefficient:

${\displaystyle {\frac {x^{(n)}}{n!}}={x+n-1 \choose n}}$ och ${\displaystyle {\frac {(x)_{n}}{n!}}={x \choose n}.}$

Härigenom kan många likheter som gäller för binomialkoefficienter föras över till stigande och fallande fakulteter.

• En stigande fakultet kan uttryckas som en fallande som börjar "i andra änden"

${\displaystyle x^{(n)}={(x+n-1)}_{n},}$

eller som en fallande fakultet med motsatt argument

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

• Om ${\displaystyle n\in \mathbb {N} }$, så kan ${\displaystyle (x,n)}$ uttryckas som polynom i x. Dessa har ett gemensamt nollställe i ${\displaystyle x=0}$.
• Samband mellan koeffecienter med olika förtecken

${\displaystyle (x,-n)=(-1)^{n}{\frac {1}{(1-x,n)}}}$

• Divisionsregler

${\displaystyle {\frac {x^{\overline {n}}}{x^{\overline {m}}}}=(x+m)^{\overline {n-m}};\quad n>m}$

${\displaystyle {\frac {x^{\overline {n}}}{x^{\overline {m}}}}={\frac {1}{(x+m)^{\overline {m-n}}}};\quad m>n}$

• Speciella värden

${\displaystyle 1^{\overline {n}}=n!}$

${\displaystyle (1/2)^{\overline {n}}=2^{-n}(2n-1)!!}$

${\displaystyle (0,0)=1}$

Rickard Edman och Markus Östberg, 2011, Г-funktionen, En kort introduktion, C-uppsats, Örebro universitet, sid. 24-25.