Intégrale de Volkenborn
.gif)
En mathématiques, et plus particulièrement en analyse p-adique, l’intégrale de Volkenborn est une méthode d'intégration des fonctions p-adique d'une variable p-adique. Sa construction est analogue à celle de l'intégrale de Riemann pour les fonctions complexes d'une variable réelle. L'intégrale de Volkenborn est ainsi définie comme une limite de sommes de Riemann, ce qui correspond intuitivement à définir une aire sous une courbe à l'aide de ses approximations successives par des aires rectangulaires de plus en plus fins.
Cette intégrale tient son nom d'Arnt Volkenborn qui l'a définie dans sa thèse en 1971.
Définition
Soit une fonction définie sur les entiers p-adiques à valeurs p-adiques. L'intégrale de Volkenborn est définie par la limite, si elle existe, de sommes de Riemann[1], c'est-à-dire
Plus généralement, si
alors
Exemples
Via la formule de Faulhaber, pour un entier quelconque,
- ,
où est le e nombre de Bernoulli. En particulier,
- , et .
L'intégrale de Volkenborn d'un coefficient binomial est donnée par
- .
Par développement en série de Taylor, puis par intégration terme à terme, les intégrales de fonctions exponentielles p-adiques vérifient
- ,
- .
Le logarithme d'Iwasawa est d'intégrale
- ,
où est la fonction digamma p-adique.
Propriétés
L'intégrale de Volkenborn vérifie l'identité
- .
En particulier, cette intégrale n'est pas invariante par translation.
En notant , on a :
- .
Sources
- Arnt Volkenborn: Ein p-adisches Integral und seine Anwendungen I. In: Manuscripta Mathematica. Bd. 7, Nr. 4, 1972, [1]
- Arnt Volkenborn: Ein p-adisches Integral und seine Anwendungen II. In: Manuscripta Mathematica. Bd. 12, Nr. 1, 1974, [2]
- Henri Cohen, "Number Theory", Volume II, page 276
Notes et références
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Volkenborn integral » (voir la liste des auteurs).
- ↑ (en) Alain M. Robert, « A Course in p-adic Analysis », Graduate Texts in Mathematics, (ISSN 0072-5285, DOI 10.1007/978-1-4757-3254-2, lire en ligne, consulté le )
- Portail de l'analyse