A strong Stieltjes moment problem

This paper is concerned with double sequences of complex numbers C = [cn}^x and with formal Laurent series Lq(C) = 2f c_mzm and /.„(C) = 2o°cmz~m generated by them. We investigate the following related problems: (1) Does there exist a holomorphic function having L0(C) and LX(C) as asymptotic expansions at z — 0 and z = oo, respectively? (2) Does there exist a real-valued bounded, monotonically increasing function <f>(f) with infinitely many points of increase on [0, oo) such that, for every integer n, c„ = / 5°(-0" dty(t)l The latter problem is called the strong Stieltjes moment problem. We also consider a modified moment problem in which the function ¡f/(t) has at most a finite number of points of increase. Our approach is made through the study of a special class of continued fractions (called positive 7"-fractions) which correspond to L0(C) at z = 0 and LX(C) at z = oo. Necessary and sufficient conditions are given for the existence of these corresponding continued fractions. It is further shown that the even and odd parts of these continued fractions always converge to holomorphic functions which have Lq(C) and LX(C) as asymptotic expansions. Moreover, these holomorphic functions are shown to be represented by Stieltjes integral transforms whose distributions ^°\t) and ^'"'(O solve the strong Stieltjes moment problem. Necessary and sufficient conditions are given for the existence of a solution to the strong Stieltjes moment problem. This moment problem is shown to have a unique solution if and only if the related continued fraction is convergent. Finally it is shown that the modified moment problem has a unique solution if and only if there exists a terminating positive T-fraction that corresponds to both Lq(C) and ¿„(C). References are given to other moment problems and to investigations in which negative, as well as positive, moments have been used.