De la Wikipedia, enciclopedia liberă.
În matematică, funcția K este o funcție specială care constituie o extensie la un domeniu complex al succesiunii numerelor întregi numite hiperfactoriale de Neil Sloane și Simon Plouffe , la fel cum funcția Gamma este o extensie complexă a succesiunii factorialelor .
Functia {\ displaystyle K} poate fi definit ca
- {\ displaystyle K (z): = (2 \ pi) ^ {\ frac {-z + 1} {2}} \ exp \ left [{\ begin {pmatrix} z \\ 2 \ end {pmatrix} } + \ int _ {0} ^ {z-1} dt \, \ ln (t!) \ right].}
poate fi exprimat și în formă închisă ca:
- {\ displaystyle K (z) = \ exp \ left [\ zeta ^ {\ prime} (- 1, z) - \ zeta ^ {\ prime} (- 1) \ right]}
prin derivate ale funcției zeta Riemann {\ displaystyle \ zeta '(z)} și funcția Hurwitz zeta {\ displaystyle \ zeta (a, z)} ; aici se intenționează tocmai să fie
- {\ displaystyle \ zeta ^ {\ prime} (a, z) \ equiv \ left [{\ frac {d \ zeta (s, z)} {ds}} \ right] _ {s = a}.}
Functia {\ displaystyle K} este strâns legată de funcția Gamma și funcția Barnes G ; pe subiecte {\ displaystyle n} numere întregi naturale pe care le are
- {\ displaystyle K (n) = {\ frac {(\ Gamma (n)) ^ {n-1}} {G (n)}}.}
Mai concret putem scrie
- {\ displaystyle K (n) = 1 ^ {1} \, 2 ^ {2} \, 3 ^ {3} \ cdots (n-1) ^ {n-1}.}
Succesiunea acestor valori, adică succesiunea hiperfactorialelor, constituie secvența A002109 a Enciclopediei on-line a secvențelor întregi . Valorile acestei secvențe în raport cu {\ displaystyle n = 0,1, \ ldots, 10} Sunt
- 1, 1, 4, 108, 27648, 86400000, 4031078400000, 3319766398771200000,
- 55696437941726556979200000, 21577941222941856209168026828800000,
- 215779412229418562091680268288000000000000000
Benoit Cloitre în 2003 a dovedit asta
- {\ displaystyle {\ frac {1} {K (n)}} = (- 1) ^ {n} {\ mbox {det}} {\ begin {vmatrix} -1 & -1 & -1 & \ cdots & -1 \ \ {1 \ over 2} & {1 \ over 4} & {1 \ over 8} & \ cdots & {1 \ over 2 ^ {n}} \\ - {1 \ over 3} & - { 1 \ over 9} & - {1 \ over 27} & \ cdots & - {1 \ over 3 ^ {n}} \\\ vdots & \ vdots & \ vdots & \ ddots & \ vdots \\ {(- 1 ) ^ {n} \ over n} & {(- 1) ^ {n} \ over n ^ {2}} & {(- 1) ^ {n} \ over n ^ {3}} & \ cdots & { (- 1) ^ {n} \ peste n ^ {n}} \\\ end {vmatrix}}}
Elemente conexe
linkuri externe