An Abel-Tauber theorem for partitions. II (Q1262339)

[For part I, cf. Proc. Am. Math. Soc. 82, 571--575 (1981; Zbl 0491.40004).] The author proves an Abelian and a Tauberian result on general partitions, defined (for \(\text{Re}\, s>0)\) by \[ \prod^{\infty}_{r=1}(1-\exp (-\lambda_ rs))^{-1}=\sum^{\infty}_{n=0}p(\nu_ n)\cdot \exp (- s\nu_ n). \] The main theorem connects, following \textit{E. E. Kohlbecker} [Trans. Am. Math. Soc. 88, 346--365 (1958; Zbl 0173.04203)] and \textit{S. Parameswaran} [Trans. Am. Math. Soc. 100, 217--240 (1961; Zbl 0111.04802)], the functions \(n(u)=\sum_{\lambda_ k\leq u}1\) and \(\log P(u)\), where \(P(u)=\sum_{\nu_ i\leq u}p(\nu_ i)\); for the Tauberian part the condition \[ \lim_{x\to \infty}\limsup_{t\to \infty}n(tx)/n(t)<\infty \tag{*} \] is used, which is weaker than the condition \(n(tx)/n(t)\leq C\), used by the reviewer [J. Reine Angew. Math. 232, 1--16 (1968; Zbl 0174.33804)]. The author's result is: If \(n(x)\to \infty\) and (*) holds, then \[ \log P(x)=\int^{x}_{0}s(t) \,dt+O(x\cdot s(x)), \tag{**} \] where \(s(t)=\inf \{u;(1/u)\cdot n(1/u)\leq t\}\). Conversely, if (**) holds with some function \(s\) in a certain class \(\Lambda\) (with inverse function \(s^{\leftarrow})\), and if \(\sup_{1\leq y\leq x}(1/y)\cdot s^{\leftarrow}(1/y)=O((1/x)\cdot s^{\leftarrow}(1/x)),\) then \[ \int^{x}_{0}n(t)\cdot \frac{dt}{t}=\int^{\infty}_{1/x}s^{\leftarrow}(t) \,dt+O\left(\frac{1}{x}\cdot s^{\leftarrow}\left(\frac{1}{x}\right)\right). \]