title: Intégrale de Volkenborn
text: # Intégrale de Volkenborn
  
  En mathématiques, dans le domaine de l'analyse p-adique, l’intégrale de Volkenborn est une méthode d'intégration des fonctions p-adiques.
  
  ## Définition
  
  Soit $f:\mathbb {Z} _{p}\to \mathbb {C} _{p}$ 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 :
  
      $\int _{\mathbb {Z} _{p}}f(x)\,{\rm {d}}x=\lim _{n\to \infty }{\frac {1}{p^{n}}}\sum _{x=0}^{p^{n}-1}f(x).$
  
  Plus généralement, si
  
      $R_{n}=\left\{\left.x=\sum _{i=r}^{n-1}b_{i}x^{i}\right|b_{i}=0,\ldots ,p-1{\text{ for }}r<n\right\}$
  
  alors
  
      $\int _{K}f(x)\,{\rm {d}}x=\lim _{n\to \infty }{\frac {1}{p^{n}}}\sum _{x\in R_{n}\cap K}f(x).$
  
  Cette intégrale tient son nom d'Arnt Volkenborn qui l'a définie dans sa thèse.
  
  ## Exemples
  
  Les quatre exemples ci-dessous se vérifient via la formule de Faulhaber :
  
      $\int _{\mathbb {Z} _{p}}1\,{\rm {d}}x=1$
      $\int _{\mathbb {Z} _{p}}x\,{\rm {d}}x=-{\frac {1}{2}}$
      $\int _{\mathbb {Z} _{p}}x^{2}\,{\rm {d}}x={\frac {1}{6}}$
      $\int _{\mathbb {Z} _{p}}x^{k}\,{\rm {d}}x=B_{k}$
  
  où $B_{k}$ est le $k$e nombre de Bernoulli.
  
      $\int _{\mathbb {Z} _{p}}{x \choose k}\,{\rm {d}}x={\frac {(-1)^{k}}{k+1}}$
      $\int _{\mathbb {Z} _{p}}(1+a)^{x}\,{\rm {d}}x={\frac {\log(1+a)}{a}}$
      $\int _{\mathbb {Z} _{p}}e^{ax}\,{\rm {d}}x={\frac {a}{e^{a}-1}}$
  
  Les deux derniers exemples s'obtiennent par développement en série de Taylor puis par intégration terme à terme.
  
      $\int _{\mathbb {Z} _{p}}\log _{p}(x+u)\,{\rm {d}}u=\psi _{p}(x)$
  
  où $\log _{p}$ est le logarithme d'Iwasawa et $\psi _{p}$ la fonction digamma p-adique.
  
  ## Propriétés
  
      $\int _{\mathbb {Z} _{p}}f(x+m)\,{\rm {d}}x=\int _{\mathbb {Z} _{p}}f(x)\,{\rm {d}}x+\sum _{x=0}^{m-1}f'(x)$
  
  Il en résulte que l'intégrale de Volkenborn n'est pas invariante par translation.
  
  En notant $P^{t}=p^{t}\mathbb {Z} _{p}$, on a :
  
      $\int _{P^{t}}f(x)\,{\rm {d}}x={\frac {1}{p^{t}}}\int _{\mathbb {Z} _{p}}f(p^{t}x)\,{\rm {d}}x$
  
  ## Sources
  
  * Arnt Volkenborn: Ein p-adisches Integral und seine Anwendungen I. In: Manuscripta Mathematica. Bd. 7, Nr. 4, 1972,
  * Arnt Volkenborn: Ein p-adisches Integral und seine Anwendungen II. In: Manuscripta Mathematica. Bd. 12, Nr. 1, 1974,
  * Henri Cohen, "Number Theory", Volume II, page 276
  