On series algebraically independent in any local field (Q1358375)

Let the series \(\alpha_i= \sum^\infty_{k=0} b_{i,k}\), \(b_{i,k} \in\mathbb Q\), \(i=1, \dots, m\), converge in the field \(\mathbb{R}\) and in all fields \(\mathbb Q_p\), where \(p\) is prime. They are said to be globally algebraically independent if, for each of the above local fields, the element to which these series converge in the field are algebraically independent over \(\mathbb Q\). In this paper the author gives some sufficient conditions of global algebraic independence similar to the usual sufficient conditions of algebraic independence of the Liouville numbers, as follows: For \(N\in\mathbb{N}\), denote \(a_{i,N} =\sum^N_{k=0} b_{i,k}\), \(r_{i,N} =\sum^\infty_{k=N+1} b_{i,k}\), \(i=1, \dots, m\). If \[ \lim_{N\to \infty} {\ln|r_{i,N} |\over\ln |r_{i+1,N} |}= 0\;(i=1, \dots, m-1),\;\max_{1\leq i\leq m} |r_{i,N} |< \Bigl(\max_{1\leq i\leq m} h(a_{i,N}) \Bigr)^{-\varphi_0(N)} \] for \(N\geq N_0\), and for any prime \(p\) \[ \lim_{N \to \infty} {\ln |r_{i,N} |_p\over \ln|r_{i+1,N} |_p}= 0,\;(i=1, \dots, m-1),\;\max_{1\leq i \leq m} |r_{i,N} |_p <\Bigl(\max_{1\leq i \leq m} h(a_{i,N}) \Bigr)^{-\varphi_p (N)} \] for \(N\geq N_p\), where \(\varphi_0(N)\) and \(\varphi_p (N)\to +\infty\) \((N\to\infty)\), and \(h(a)\) means the height of \(a\in\mathbb Q\), then the series \(\alpha_i\) \((i=1, \dots, m)\) are globally algebraically independent.