A Tauberian theorem for weighted means in non-Archimedean fields (Q1760211)

Let \((p_{n})\) denote a sequence in a complete non-trivially valued non-Archimedean field such that \(p_{n}\neq 0\) and let \( P_{n}=p_{0}+p_{1}+\dots+p_{n}\). Assume that \(\left| p_{n}\right| \leq \left| P_{n}\right| \) and \(\left| P_{n}\right| \rightarrow \infty \). For a sequence \((a_{n})\) let \(s_{n}=a_{0}+a_{1}+\dots+a_{n}\) and consider the weighted means \( y_{n}=(p_{0}s_{0}+p_{1}s_{1}+\dots+p_{n}s_{n})/P_{n}\). The method is regular so that \(s_{n}\rightarrow s\) implies that \(y_{n}\rightarrow s\). The converse result is true if the Tauberian condition \(\left| a_{n}\right| \leq M\left| p_{n}/P_{n}\right| \), for some \(M>0\), holds.