Power series in computer algebra
Journal of Symbolic Computation
An efficient algorithm for infallible polynomial complex root isolation
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
Algorithms for m-fold hypergeometric summation
Journal of Symbolic Computation
Positivity and monotony properties of the de Branges functions
Journal of Computational and Applied Mathematics
Algorithmic determination of q-power series for q-holonomic functions
Journal of Symbolic Computation
Hi-index | 0.00 |
It is well-known that de Branges' original proof of the Bieberbach and Milin conjectures on the coefficients $a_n$ of univalent functions $f(z)=Σk=1^infty a_nz^n$ of the unit disk as well as Weinstein's later proof deal with the same special function system that de Branges had introduced in his work.These hypergeometric polynomials had been already studied by Askey and Gasper who had realized their positiveness. This fact was the essential tool in de Branges' proof.In this article, we show that many identities, e.g. the representation of their generating function w.r.t. $n$, for these polynomials, which are intimately related to the Koebe function $K(z)=Σk=1^infty αz^n$ and therefore to univalent functions, can be automatically detected from power series computations by a method developed by the author and accessible in several computer algebra systems.In other words, in this paper a new and interesting application of the FPS (Formal Power Series) algorithm is given. As working engine we use a Maple implementation by Dominik Gruntz and the author. In particular, the hypergeometric representation of both the de Branges and the mboxWeinstein functions are determined by successive power series computations from their generating functions.The new idea behind this algorithm is the observation that hypergeometric function coefficients of double series can be automatically detected by an iteration of the FPS procedure.In a final section we show how algebraic computation enables the fast verification of Askey-Gasper's positivity results for specific (not too large) $n$ using Sturm sequences or similar approaches.