Hartogs-Stawski's theorem in discrete valued fields (revised version) (Q1760256)

This paper is a revised version of the previous paper of the author [New York, NY: Marcel Dekker. Lect. Notes Pure Appl. Math. 207, 77--96 (1999; Zbl 0954.32017)]. The main purpose is to give a right proof for non-Archimedean Hartogs theorem (Stavski's theorem) in case when the value group of the field \(K\) is discrete. Theorem. Let \(K\) be a non-Archimedean, complete but not locally compact field. Assume that the value group \(|K^x|\) is discrete. Let \(\pi\) be a prime element of \(K\) and \(q=|\pi|< 1\). Let \(f(x_1,\dots, x_n)\) be a function defined in the domain \(|x_1|\leq R_1,\dots,|x_n|\leq R_n\), where \(R_1,\dots, R_n\in|K^x|\). If \(f\) is separately analytic in this domain, then for every index \(2\leq j\leq n\), the function \(f^*\) is analytic as a function of all variables in the domain \(|x_j|< R_j\), \(|x_i|< qR_i\) for \(i\neq j\). Here \(f^*\) stands for the natural extension of \(f\) to an appropriate domain in \((K^*)^n\), where \(K^*\) is the topological closure of the algebraic closure of \(K\). In the case when the value group \(|K^x|\) is dense in \(\mathbb{R}^x_+\), this theorem was proved by M. Stavski.