The \(p\)-adic theorem of finite increments
type: Item
instance of: scholarly article
title: The \(p\)-adic theorem of finite increments
zbMATH Open document ID: 0831.26015
author: Alain Robert
published in: Annales Mathématiques Blaise Pascal
publication date: 1996-02-11T00:00:00Z
full work available at URL: http://www.numdam.org/item
full work available at URL: https://eudml.org/doc/79120
review text: Let \(K\) be a complete valued extension of the \(p\)-adic number field. It is well-known that there is no mean value theorem for functions with domain and range in \(K\), as there exist \(C^1\)-injections with everywhere vanishing derivative. But even polynomials behave badly: let \(f: x\mapsto x^p\), then \(f(1)- f(0)= 1\neq f'(c)\) for all \(c\) in the unit disk. Yet, in this elegant paper the author shows that if \(f: x\mapsto \sum_{n\geq 0} a_n x^n\) is analytic on \(B_k:= \{\lambda\in K: |\lambda|\leq 1\}\) (where the \(a_n\) are taken from a \(K\)-Banach space and \(|a_n|\to -\)) then \(|f(t+ h)- f(t)|\leq |h||f'|\) (where \(|f'|= \max|na_n|\)) for all \(t, h\in B_k\), \(|h|\leq r_p= p^{1/(1- p)}\). It is shown that this result no longer holes if we admit \(|h|> r_p\). Three applications are given. First yet another proof of the Kummer and von Staudt congruences about Bernoulli numbers, also some binomial congruences and a fixed point theorem. Also the following second-order result is proved. With \(f\), \(t\) as above we have \[ |f(t+ h)- f(t)- f'(t) h|\leq |{1\over 2} t^2||f''| \] provided \(|h|\leq p^{1/2p}\) if \(p\geq 3\), \(|h|\leq {1\over \sqrt 2}\) if \(p= 2\). As an application one deduces the fact that the numerator of \(1+ {1\over 2}+\cdots+ {1\over p} n\) is divisible by \(p^2\) (\(p\) odd). Finally, a \(p\)-adic Rolle theorem is discussed.
Mathematics Subject Classification ID: 26E30
zbMATH DE Number: 800331
zbMATH Keywords: \(p\)-adic calculus
zbMATH Keywords: mean-value theorem
zbMATH Keywords: Kummer and von Staudt congruences
zbMATH Keywords: Bernoulli numbers
zbMATH Keywords: binomial congruences
zbMATH Keywords: fixed point theorem
zbMATH Keywords: Rolle theorem
reviewed by: Wim Schikhof
MaRDI profile type: Publication
OpenAlex ID: W2328944698
cites work: Q5834732
cites work: A Theorem on the Numerators of the Bernoulli Numbers
cites work: A note on the numerators of the Bernoulli numbers
cites work: Q5566639
DOI: 10.5802/AMBP.35
description: scientific article; zbMATH DE number 800331