The Sheffer B-type 1 Orthogonal Polynomial Sequences

In 1939, I.M. Sheffer proved that every polynomial sequence belongs to one and only one type. Sheffer extensively developed properties of the B-Type 0 polynomial sequences and determined which sets are also orthogonal. He subsequently generalized his classification method to the case of arbitrary B-Type k by constructing the generalized generating function A(t)exp[xH1(t) + · · · + xk+1Hk(t)] = ∑∞n=0 Pn(x)tn, with Hi(t) = hi,iti + hi,i+1t i+1 + · · · , h1,1 ≠ 0. Although extensive research has been done on characterizing polynomial sequences, no analysis has yet been completed on sets of type one or higher (k ≥ 1). We present a preliminary analysis of a special case of the B-Type 1 (k = 1) class, which is an extension of the B-Type 0 class, in order to determine which sets, if any, are also orthogonal sets. Lastly, we consider an extension of this research and comment on future considerations. In this work the utilization of computer algebra packages is indispensable, as computational difficulties arise in the B-Type 1 class that are unlike those in the B-Type 0 class