Théorème de Mahler

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher

Le théorème de Mahler offre un analogue du développement en série de Taylor pour les fonctions continues à valeurs p-adiques et dont la variable prend des valeurs p-adiques. Le théorème a été démontré par Kurt Mahler[1].

En combinatoire, le symbole de Pochhammer représente la factorielle indexée :

.

On note l'opérateur de différence défini par

.

Alors nous avons

c’est-à-dire que le lien de parenté entre l'opérateur et cette suite de polynômes est analogue au lien entre la différentiation réelle et la suite dont le n-ième terme est .

Énoncé — Si est une fonction continue à valeurs p-adiques et dont la variable prend des valeurs p-adiques, alors

.

Contrairement au cas des séries à valeurs complexes où les conditions sont très contraignantes (cf. théorème de Carlson (en)), on a seulement besoin de la continuité.

Si est un polynôme à coefficients dans n'importe quel corps commutatif de caractéristique nulle, l'identité reste valable.

Note et références[modifier | modifier le code]

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Mahler's theorem » (voir la liste des auteurs).

  1. (en) K. Mahler, « An interpolation series for continuous functions of a p-adic variable », J. Reine Angew. Math., vol. 199,‎ , p. 23–34, lien Math Reviews