Théorème de Mahler

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), 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.

Notes et références

(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
  • Portail de l'analyse
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.