Asymptotische einfache und doppelte Dirichlet- und Fakultätenreihen. (Q2598993)

Man setzt asymptotisch \[ f(z)\sim \sum_{n=1}^\infty \frac {a_n}{n^z}, \] wenn \[ \varepsilon_n(z) = n^z \left(f(z)-\sum_{\nu=1}^n \frac {a_\nu}{\nu^z}\right) \to 0 \] für \(z \to \infty\) und \(n=1\), 2, 3, \dots. Eine solche Entwicklung ist eindeutig, sie läßt sich gliedweise differenzieren und integrieren, und man kann mit den asymptotischen Entwicklungen in üblicher Weise rational rechnen. Entsprechend setzt man \[ f(z)\sim \sum_{n=1}^\infty a_n e^{-\lambda_nz}, \quad 0 \leqq \lambda_0 <\lambda_1 <\lambda_2 \cdots, \] wenn \[ e^{\lambda_nz}\left(f(z)- \sum_{\nu=0}^n a_\nu e^{-\lambda_\nu z}\right) \to 0 \] für \(z\to \infty\) und \(n = 1\), 2, \dots gilt. Auch mit diesen Entwicklungen kann formal gerechnet werden. Schließlich setzt man \[ f(z)\sim \sum_{n=0}^\infty \frac{a_{n+1}(n+1)!}{z(z+1) \cdots (z+n)}, \] wenn \[ z^{n+1}\left(f(z)-\sum_{\nu=0}^n \frac{a_{\nu+1}(\nu +1)!}{z(z+1) \cdots (z+\nu)} \right) \to 0 \] mit \(z \to \infty\) in der rechten Halbebene. Entsprechende Definitionen und Sätze für Doppelreihen.