A TAUBERIAN THEOREM FOR DISCRETE POWER SERIES METHODS (Q4802201)

Let \(\sum^\infty_{n=0} a_n\) be a series with partial sums \(s_n\) \((n= 0,1,\dots)\). Let \(p_k\geq 0\), \(p_0> 0\) and \(P_n= p_0+\cdots+ p_n\to\infty\) \((n\to\infty)\). Suppose that the series \[ p(x)= \sum^\infty_{k= 0} p_k x^k \] has the radius of convergence 1. Put \[ p_s(x)= {1\over p(x)} \sum^\infty_{k=0} p_k s_k x^k. \] If \(p_s(x)\) exists for each \(x\in (0,1)\) and \(\lim_{x\to 1-} p_s(x)= s\), then \((s_n)\) is said to be limitable to \(s\) by the power series method (P) and we write \(s_n\to s\) (P). Let \(1= \lambda_0\leq\lambda_1\leq\cdots\) and \(\lambda_n\to\infty\). Put \(x_n= 1-{1\over\lambda_n}\) \((n= 0,1,\dots)\). If \(p_s(x_n)\) exists for every \(n\) and \(\lim_{n\to\infty} p_s(x_n)= s\) then \((s_n)\) is said to be limitable to \(s\) by the discrete power series method \((\text{P}_\lambda)\) and we write \(s_n\to s\) \((\text{P}_\lambda)\). The author gives (Tauberian) conditions for a series \(\sum^\infty_{n=0} a_n\) (with partial sums \(s_k\)) with \(s_n\to s\) \((\text{P}_\lambda)\) to be convergent in the usual sense to the sum \(s\).