Символ Похгаммера

Символ Похгаммера — позначення для спеціальної функції, яка задається добутком

$(x)_{n}=\prod _{k=1}^{n}(x+k-1)=x(x+1)(x+2)\dots (x+n-1)$,

де $n$ — невід'ємне ціле число, який ще називають зростаючим факторіалом. Використовується, наприклад, при означені гіпергеометричної функції.

В комбінаториці, символом $(x)_{n}$ позначають спадний факторіал

$(x)_{n}=\prod _{k=1}^{n}(x-k+1)=x(x-1)(x-2)\dots (x-n+1)$,

а зростаючий факторіал — символом $x^{(n)}$.

Назва дана в честь німецького математика Лео Похгаммера (Leo August Pochhammer).

Якщо не обумовлено окремо, то надалі під символом $(x)_{n}$ розумітимемо зростаючий факторіал.

Приклади

Перші декілька значень для невід'ємних цілих $n$:

$(x)_{0}=1,$

$(x)_{1}=x,$

$(x)_{2}=x^{2}+x,$

$(x)_{3}=x^{3}+3x^{2}+2x,$

$(x)_{4}=x^{4}+6x^{3}+11x^{2}+6x,$

Часткові випадки:

$(1)_{n}=n!,\qquad \left({\frac {1}{2}}\right)_{n}={\frac {(2n-1)!!}{2^{n}}}.$

Властивості

Для символів Похгаммера виконується відношення:

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

Символ Похгаммера можна виразити через гамма-функцію

$(x)_{n}={\frac {\Gamma (x+n)}{\Gamma (x)}}$

та через біноміальний коефіцієнт

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

Символ Похгаммера пов'язаний з числами Стірлінга першого роду $s(n,k)$:

$(x)_{n}=\sum _{k=0}^{n}{(-1)}^{n-k}s(n,k)\cdot x^{k},$

Співвідношення між символами Похгаммера для парного то непарного індексу:

$(x)_{2n}=2^{2n}\left({\frac {x}{2}}\right)_{n}\left({\frac {x+1}{2}}\right)_{n},\qquad (x)_{2n+1}=2^{2n+1}\left({\frac {x}{2}}\right)_{n+1}\left({\frac {x+1}{2}}\right)_{n}.$

Відношення двох символів Похгаммера:

${\frac {(x)_{n}}{(x)_{m}}}=\left\{{\begin{array}{ll}(x+m)_{n-m},&n\geqslant m,\\\\\displaystyle {\frac {1}{(x+n)_{m-n}}},&n\leqslant m.\end{array}}\right.$

Похідна символу Похгаммера:

${\frac {d}{dx}}(x)_{n}=(x)_{n}\cdot \left(\psi _{0}(n+x)-\psi _{0}(x)\right),$

де $\psi _{0}(x)$ — дигамма-функція.

Зростаючий та спадний факторіали

Тут будемо використовувати наступні позначення, прийняті в комбінаториці:

• Зростаючий факторіал

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

• Спадний факторіал

$(x)_{n}=x^{\underline {n}}=x(x-1)(x-2)\cdots (x-n+1).$

Спадний факторіал чисельно дорівнює кількості розміщень без повторень з $x$ по $n$ або (що те саме) кількості усіх ін'єктивних функцій з множини потужності $n$ в множину потужності $x$.

Зростаючий та спадний факторіали пов'язані співвідношеннями

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

Спадний факторіал також можна виразити через гамма-функцію

$(x)_{n}={\frac {\Gamma (x+1)}{\Gamma (x-n+1)}}$

та через біноміальний коефіцієнт

${\frac {(x)_{n}}{n!}}={x \choose n}.$

За допомогою спадного факторіала можна компактно виразити похідну $n$-ого порядку від степеневої функції

${\frac {d^{n}}{dx^{n}}}(x^{a})=(a)_{n}\,\,x^{a-n}.$

Формула для добутку спадних факторіалів

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

Твірна функція спадного факторіалу

$\sum _{n=0}^{\infty }(x)_{n}~{\frac {t^{n}}{n!}}=(1+t)^{x}.$

Узагальнення

Символ Похгаммера можна узагальнити так

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

і називається k-символом Похгаммера.

Символ Похгамера можна також узагальнити на випадок довільної функції в такій формі:

$[f(x)]^{k/h}=f(x)\cdot f(x+h)\cdot f(x+2h)\cdots f(x+(k-1)h).$

У такому записі звичайний символ Похгаммера записується як $[x]^{k/1}.$

Також у комбінаториці використовується q-аналог символу Похгаммера або q-символ Похгаммера (не плутати з k-символом):

$(x;q)_{n}=\prod _{k=0}^{n-1}(1-xq^{k})=(1-x)(1-xq)(1-xq^{2})\cdots (1-xq^{n-1}).$

Посилання

• Weisstein, Eric W. Pochhammer Symbol(англ.) на сайті Wolfram MathWorld.
• Weisstein, Eric W. Falling Factorial(англ.) на сайті Wolfram MathWorld.