Pochhammerjev simbol

Iz Wikipedije, proste enciklopedije
Skoči na: navigacija, iskanje

Pochhammerjev simbol predstavlja rastočo ali padajočo funkcijo fakulteta. Označujemo ga z  (x)_n , kjer je n nenegativno celo število.

Imenuje se po nemškem matematiku Leu Augustu Pochhammerju (1841 - 1920)

Za označevanje padajoče fakultete, ki je določena kot

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

uporabljamo oznako (x)_{n} . Za rastočo fakulteto, ki je določena kot

x^{(n)}=x(x+1)(x+2)\cdots(x+n-1). pa uporabljamo oznako x^{(n)} .

Značilnosti[uredi | uredi kodo]

Z rastočimi in padajočimi fakultetami lahko izrazimo binomske koeficiente

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

Rastočo fakulteto lahko izrazimo tudi kot padajočo fakulteto, ki se prične na drugem koncu

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

Padajoča in rastoča fakulteta sta povezani z

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

Rastoča fakulteta se lahko razširi na realne vrednosti  n z uporabo funkcije gama, če sta  x \, in  n kompleksni števili, ki nista negativni celi števili:

x^{(n)}=\frac{\Gamma(x+n)}{\Gamma(x)},

Podobno je s padajočo fakulteto

(x)_n=\frac{\Gamma(x+1)}{\Gamma(x-n+1)} .

Če  D pomeni odvod po  x \,, imamo

D^n(x^a) = (a)_n\,\, x^{a-n}.

Drugačno označevanje[uredi | uredi kodo]

Ameriški matematik Ronald Lewis Graham (rojen 1935) in ameriška računalničarja Donald Ervin Knuth (rojen 1938) ter Oren Patashnik (rojen 1954) so uvedli nov način označevanja rastočih in padajočih fakultet. Za rastočo fakulteto so uporabili označevanje

x^{\overline{m}}=\overbrace{x(x+1)\ldots(x+m-1)}^{m~\mathrm{faktorjev}}\qquad\mbox{za cela števila }m\ge0,

za padajočo pa

x^{\underline{m}}=\overbrace{x(x-1)\ldots(x-m+1)}^{m~\mathrm{faktorjev}}\qquad\mbox{za cela števila }m\ge0;

Uporabljajo se še druge oznake kot so  P(x, n) ,  ^x P_n ,  P_{x, n} in  _xP_n

Glej tudi[uredi | uredi kodo]

Zunanje povezave[uredi | uredi kodo]