Maximum principle for analytic elements and Lubin-Hensel's theorem in H(D)[[Y]]

Banach algebra of the analytic elements complete ultrametric algebraically closed field factorization for Taylor series Hensel lemma maximum principle p-adic differential equations

Mathematics Subject Classification ID

(p)-adic differential equations (12H25) Krasner-Tate algebras (12J27) Non-Archimedean analysis (32P05) Banach algebras of differentiable or analytic functions, (H^p)-spaces (46J15) Functional analysis over fields other than (mathbb{R}) or (mathbb{C}) or the quaternions; non-Archimedean functional analysis (46S10)

Review text

Let \((K,|.|)\) be a complete ultrametric algebraically closed field. Let D be a bounded closed subset of K, and let \(H(D)\) be the Banach algebra of the analytic elements on D, with the uniform convergence norm \(\|.\|_ D\) on D. First we characterize the bounded closed sets \(D\subset K\) such that, for every analytic element \(f\in H(D)\), \(| f(x)|\) reaches its maximum at a point \(\alpha \in D.\) With the help of this result, the second aim of the article is to obtain a kind of Hensel lemma for the Taylor series \(\sum^{\infty}_{s=0}\xi_ s(x) Y^ s\) with coefficients \(\xi_ s\) in \(H(D)\), in the form \(P(Y) G(Y)\) with P a degree n monic polynomial in \(H(D)[Y]\), with n zeroes in the disk \(d(0,r(x))\), and \(G(Y)\in H(D)Y\) with no zero in \(d(0,r(x))\). Actually the hypothesis taken in theorem 2 must be somewhat restricted, in replacing \((1)\quad \limsup_{s\to \infty}\| \xi_ s^{n-l} \xi_ l^{s-n}\|_ D<1\) by \((2)\quad \lim_{s\to \infty}(\sup_{x\in D}| \xi_ s(x)| r(x)^ s)=0\) (indeed, without assuming (2), the existence of the Euclidean division used in the proof of proposition 2 is not proved). In a further article, we will give a complete new proof for the Hensel factorization in assuming (1). Then we will extend it to the Laurent series with coefficients in \(H(D)\). Such results sometimes may be used in p-adic differential equations; a first condition to have factorization for Taylor series is given by \textit{B. Dwork} in Lectures on p-adic differential equations (1982; Zbl 0502.12021).

Recommendations

Cites work

Cited in

(5)

This page was built for publication: Maximum principle for analytic elements and Lubin-Hensel's theorem in \(H(D)Y\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q795102)