En mathématiques, la fonction K est une généralisation de l'hyperfactorielle aux nombres complexes, similaire à la généralisation de la factorielle à la fonction gamma.
Définitions et propriétés
Formellement, la fonction K est définie comme
![{\displaystyle K(z)=(2\pi )^{(-z+1)/2}\exp \left[{\begin{pmatrix}z\\2\end{pmatrix}}+\int _{0}^{z-1}\ln(\Gamma (t+1))\,\mathrm {d} t\right].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/da14dc41f5f8ddbdb5450861b9a7ce6577c73493)
Ou encore
![{\displaystyle K(z)=\exp \left[\zeta ^{\prime }(-1,z)-\zeta ^{\prime }(-1)\right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/82fbdf9734f7e2a7e05c26bd0bf87f4423791115)
où
est la fonction dérivée de la fonction zêta de Riemann,
représente la fonction zêta de Hurwitz définie par
![{\displaystyle \zeta ^{\prime }(a,z)\ {\stackrel {\mathrm {def} }{=}}\ \left[{\frac {\partial \zeta (s,z)}{\partial s}}\right]_{s=a}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8dc645a7a6f18750e5cb36d93e353a844b70c412)
Une autre expression utilisant la fonction polygamma est[1]
![{\displaystyle K(z)=\exp \left(\psi ^{(-2)}(z)+{\frac {z^{2}-z}{2}}-{\frac {z}{2}}\ln(2\pi )\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/75e4c4b695a83142dd3147b8826f8d5bf339e21d)
Ou la fonction polygamma équilibrée[2]:
![{\displaystyle K(z)=A\mathrm {e} ^{\psi (-2,z)+{\frac {z^{2}-z}{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/43992ae0282652667fe1341f7eba2fbc19fd3c70)
- où A est la constante de Glaisher-Kinkelin.
On peut montrer que pour tout
:
Preuve : Pour cela, on pose
définie par :
. Après dérivation par apport à
:
.
Soit, par définition de la fonction K :
. Donc
.
En spécialisant en
, on obtient
, d'où l'identité annoncée.
Lien à la fonction gamma
La fonction K est étroitement liée à la fonction gamma et à la fonction G ; pour tout entier naturel n, on a
![{\displaystyle K(n)={\frac {(\Gamma (n))^{n-1}}{G(n)}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/06503f21524b9126fa9f64e18f1fce5a78551956)
Car K prolonge l'hyperfactorielle sur les naturels :
![{\displaystyle K(n+1)=1^{1}\,2^{2}\,3^{3}\cdots n^{n}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/867a0232a5114d84808ce22f2a4fd96e542103ef)
Les premières valeurs sont
- 1, 4, 108, 27648, 86400000, 4031078400000, 3319766398771200000... (suite A002109 de l'OEIS).
Références
Liens externes