On Polynomials Over Rickart Rings and Their Generalizations I

This paper continues the investigation of polynomials and formal power series over a ring with various annihilator conditions which were originally used by Rickart and Kaplansky to abstract the algebraic properties of von Neumann algebras. Results of Armendariz on polynomial rings over a PP ring are extended to analogous annihilator conditions in nearrings of polynomials and nearrings of formal power series. These results are somewhat striking since, in contrast to the polynomial ring case, the nearring of polynomials or formal power series has substitution for its “multiplication” operation. These investigations provide an alternative viewpoint in illustrating the structure of polynomials and formal power series. Extensions of Rickart rings to formal power series rings are also discussed. The author was partially supported by the National Science Council, Taiwan under the grant number NSC 93-2115-M-143-001.     

Applications of?the Cosecant and Related Numbers

Power series expansions for cosecant and related functions together with a vast number of applications stemming from their coefficients are derived here. The coefficients for the cosecant expansion can be evaluated by using: (1) numerous recurrence relations, (2) expressions resulting from the application of the partition method for obtaining a power series expansion and (3) the result given in Theorem 3. Unlike the related Bernoulli numbers, these rational coefficients, which are called the cosecant numbers and are denoted by c _k , converge rapidly to zero as k????. It is then shown how recent advances in obtaining meaningful values from divergent series can be modified to determine exact numerical results from the asymptotic series derived from the Laplace transform of the power series expansion for tcsc?(at). Next the power series expansion for secant is derived in terms of related coefficients known as the secant numbers d _k . These numbers are related to the Euler numbers and can also be evaluated by numerous recurrence relations, some of which involve the cosecant numbers. The approaches used to obtain the power series expansions for these fundamental trigonometric functions in addition to the methods used to evaluate their coefficients are employed in the derivation of power series expansions for integer powers and arbitrary powers of the trigonometric functions. Recurrence relations are of limited benefit when evaluating the coefficients in the case of arbitrary powers. Consequently, power series expansions for the Legendre-Jacobi elliptic integrals can only be obtained by the partition method for a power series expansion. Since the Bernoulli and Euler numbers give rise to polynomials from exponential generating functions, it is shown that the cosecant and secant numbers gives rise to their own polynomials from trigonometric generating functions. As expected, the new polynomials are related to the Bernoulli and Euler polynomials, but they are found to possess far more interesting properties, primarily due to the convergence of the coefficients. One interesting application of the new polynomials is the re-interpretation of the Euler-Maclaurin summation formula, which yields a new regularisation formula.     

Reversion of power series and the extended Raney coefficients

In direct as well as diagonal reversion of a system of power series, the reversion coefficients may be expressed as polynomials in the coefficients of the original power series. These polynomials have coefficients which are natural numbers (Raney coefficients). We provide a combinatorial interpretation for Raney coefficients. Specifically, each such coefficient counts a certain collection of ordered colored trees. We also provide a simple determinantal formula for Raney coefficients which involves multinomial coefficients.

     

Bilinear Generating Functions for Orthogonal Polynomials

Using realizations of the positive discrete series representations of the Lie algebra su(1,1) in terms of Meixner—Pollaczek polynomials, the action of su(1,1) on Poisson kernels of these polynomials is considered. In the tensor product of two such representations, two sets of eigenfunctions of a certain operator can be considered and they are shown to be related through continuous Hahn polynomials. As a result, a bilinear generating function for continuous Hahn polynomials is obtained involving the Poisson kernel of Meixner—Pollaczek polynomials; this result is also known as the Burchnall—Chaundy formula. For the positive discrete series representations of the quantized universal enveloping algebra U _q (su(1,1)) a similar analysis is performed and leads to a bilinear generating function for Askey—Wilson polynomials involving the Poisson kernel of Al-Salam and Chihara polynomials. July 6, 1997. Date accepted: September 23, 1998.     

Extraction of orthogonal polynomials from generating function for reciprocal of odd numbers

In the present paper the orthogonality relations, exhibited by both numerator and denominator polynomials of both even and odd order convergents of a regular C-fraction of a power series with coefficients as reciprocal of odd numbers are described. The two sequences of convergents are nothing but diagonal and upper diagonal Pade approximants for the power series. The two orthogonal polynomials extracted from denominators are shown to be classical orthogonal polynomials and two orthogonal polynomials extracted from numerators are shown to be non-classical orthogonal polynomials..     

Counting matrices over finite fields with support on skew Young diagrams and complements of Rothe diagrams

We consider the problem of finding the number of matrices over a finite field with a certain rank and with support that avoids a subset of the entries. These matrices are a q-analogue of permutations with restricted positions (i.e., rook placements). For general sets of entries, these numbers of matrices are not polynomials in q (Stembridge in Ann. Comb. 2(4):365, 1998); however, when the set of entries is a Young diagram, the numbers, up to a power of q?1, are polynomials with nonnegative coefficients (Haglund in Adv. Appl. Math. 20(4):450, 1998). In this paper, we give a number of conditions under which these numbers are polynomials in q, or even polynomials with nonnegative integer coefficients. We extend Haglund’s result to complements of skew Young diagrams, and we apply this result to the case where the set of entries is the Rothe diagram of a permutation. In particular, we give a necessary and sufficient condition on the permutation for its Rothe diagram to be the complement of a skew Young diagram up to rearrangement of rows and columns. We end by giving conjectures connecting invertible matrices whose support avoids a Rothe diagram and Poincaré polynomials of the strong Bruhat order.     

Rectangular matrix Padé approximants and square matrix orthogonal polynomials

In this paper we study Padé-type and Padé approximants for rectangular matrix formal power series, as well as the formal orthogonal polynomials which are a consequence of the definition of these matrix Padé approximants. Recurrence relations are given along a diagonal or two adjacent diagonals of the table of orthogonal polynomials and their adjacent ones. A matrix qd-algorithm is deduced from these relations. Recurrence relations are also proved for the associated polynomials. Finally a short presentation of right matrix Padé approximants gives a link between the degrees of orthogonal polynomials in right and left matrix Padé approximants in order to show that the latter are identical. This revised version was published online in June 2006 with corrections to the Cover Date.     

Finite convergence over a field of power series

In this paper, we define an analog of power series functions over R, when R is replaced by K = k((x))^τ , a field of generalized power series with coefficients in an ordered field k and exponents in an ordered abelian group τ. To this end for any power series S(Y)ε K[[Y]] and any y ε K, we define a notion of convergence of S(y). Thus to any power series S(Y) is associated a partial function S : K→ K. We show that these partial functions have a lot of similarities with analytic functions over R. Then we prove properties of zeros of such functions which extend properties of roots of polynomials over k((x))^τ.     

A Counting Formula for Labeled, Rooted Forests

Given a power series, the coefficients of the formal inverse may be expressed as polynomials in the coefficients of the original series. Further, these polynomials may be parameterized by certain ordered, labeled forests. There is a known formula for the formal inverse, which indirectly counts these classes of forests, developed in a non-direct manner. Here, we provide a constructive proof for this counting formula that explains why it gives the correct count. Specifically, we develop algorithms for building the forests, enabling us to count them in a direct manner.     

Limits of areas under lattice paths

We consider sequences of polynomials which count lattice paths by area. In some cases the reversed polynomials approach a formal power series as the length of the paths tend to infinity. We find the limiting series for generalized Schröder, Motzkin, and Catalan paths. The limiting series for Schröder paths and their generalizations are shown to count partitions with restrictions on the multiplicities of odd parts and no restrictions on even parts. The limiting series for generalized Motzkin and Catalan paths are shown to count generalized Frobenius partitions and some related arrays.     

Matrices of Formal Power Series Associated to Binomial Posets

We introduce an operation that assigns to each binomial poset a partially ordered set for which the number of saturated chains in any interval is a function of two parameters. We develop a corresponding theory of generating functions involving noncommutative formal power series modulo the closure of a principal ideal, which may be faithfully represented by the limit of an infinite sequence of lower triangular matrix representations. The framework allows us to construct matrices of formal power series whose inverse may be easily calculated using the relation between the Möbius and zeta functions, and to find a unified model for the Tchebyshev polynomials of the first kind and for the derivative polynomials used to express the derivatives of the secant function as a polynomial of the tangent function.On leave from the Rényi Mathematical Institute of the Hungarian Academy of Sciences.     

Remainder Pade Approximants for the Exponential Function

Following our earlier research, we propose a new method for obtaining the complete Pade table of the exponential function. It is based on an explicit construction of certain Pade approximants, not for the usual power series for exp at 0 but for a formal power series related in a simple way to the remainder term of the power series for exp. This surprising and nontrivial coincidence is proved more generally for type II simultaneous Pade approximants for a family with distinct complex a's and we recover Hermite's classical formulas. The proof uses certain discrete multiple orthogonal polynomials recently introduced by Arvesu, Coussement, and van Assche, which generalize the classical Charlier orthogonal polynomials.     

Asymptotic integration of Navier-Stokes equations with potential forces. II. An explicit Poincaré-Dulac normal form

We study the incompressible Navier-Stokes equations with potential body forces on the three-dimensional torus. We show that the normalization introduced in the paper [C. Foias, J.-C. Saut, Linearization and normal form of the Navier-Stokes equations with potential forces, Ann. Inst. H. Poincaré Anal. Non Linéaire 4 (1) (1987) 1-47], produces a Poincaré-Dulac normal form which is obtained by an explicit change of variable. This change is the formal power series expansion of the inverse of the normalization map. Each homogeneous term of a finite degree in the series is proved to be well-defined in appropriate Sobolev spaces and is estimated recursively by using a family of homogeneous gauges which is suitable for estimating homogeneous polynomials in infinite dimensional spaces.     

Approximation properties of the generalized Szasz operators by multiple Appell polynomials via power summability method

In this paper some properties of the generalized Szasz operators by multiple Appell polynomials are given, using into consideration the power summability method. In the first section are given some direct estimation related to the generalized Szasz operators by multiple Appell polynomials, including Korovkin type theorem. In the second section, we give some results related to the weighted spaces of continuous functions and Voronovskaya type theorem. In the third section, we have proved some results related to the statistical convergence of the generalized Szasz operators by multiple Appell polynomials, using into consideration the A− transformation. At the end of the paper are given some illustrative computational examples which make such summability methods (for example, power series method) more useful and fruitful for applications of functional analysis in approximation theory.     

A series solution for nonlinear differential equations using delta operators

In this paper, we shall generalize our previous results [1] to the case of series expansion in powers of several polynomials. For this, we shall extend the ideas of delta operators and their basic polynomial sequences, introduced in conjunction with the algebra (over a field of characteristic zero) of all polynomials in one variable [2] to the algebra (over a field of characteristic zero) of all polynomials in n indeterminates. We apply this technique to derive the formal power series expansion of the input-output map describing a nonlinear system with polynomial inputs.     

The Discrete Relativistic Toda Molecule Equation and a Padé Approximation Algorithm

The relativistic Toda molecule equation (RTM) describes a one-parameter deformation of coefficients of the recurrence relation of a class of biorthogonal polynomials including the Szegö polynomials. In this paper, we present (i) explicit solutions of the discrete relativistic Toda molecule equation (d-RTM), (ii) a new Padé approximation algorithm for a given power series.     

Flat Power Series over a Finite Field

We define and describe a class of algebraic continued fractions for power series over a finite field. These continued fraction expansions, for which all the partial quotients are polynomials of degree one, have a regular pattern induced by the Frobenius homomorphism.This is an extension, in the case of positive characteristic, of purely periodic expansions corresponding to quadratic power series.     

Matrix Padé Approximation of rational functions

In many applications it is of major interest to decide whether a given formal power series with matrix-valued coefficients of arbitrary dimensions results from a matrix-valued rational function. As the main result of this paper we provide an answer to this question in terms of Matrix Padé Approximants of the given power series. Furthermore, given a matrix rational function, the smallest degrees of the matrix polynomials which represent it are not necessarily unique. Therefore we study a certain minimality-type, that is, minimum degrees. We aim to obtain all the minimum degrees for the polynomials which represent the function as equivalents. In addition, given that the rational representation of the function for the same pair of degrees need not be unique, we have obtained conditions to study the uniqueness of said representation. All the results obtained are presented graphically in tables setting out the above information. They lead to a number of properties concerning special structures, staired blocks, in the Padé Table.     

Differential-operator representations of Weyl group and singular vectors in Verma modules

Given a suitable ordering of the positive root system associated with a semisimple Lie algebra,there exists a natural correspondence between Verma modules and related polynomial algebras. With this, the Lie algebra action on a Verma module can be interpreted as a differential operator action on polynomials, and thus on the corresponding truncated formal power series. We prove that the space of truncated formal power series gives a differential-operator representation of the Weyl group W. We also introduce a system of partial differential equations to investigate singular vectors in the Verma module. It is shown that the solution space of the system in the space of truncated formal power series is the span of {w(1) | w ∈ W }. Those w(1) that are polynomials correspond to singular vectors in the Verma module. This elementary approach by partial differential equations also gives a new proof of the well-known BGG-Verma theorem.     

On higher order Padé-type approximants with some prescribed coefficients in the numerator

In this work, we consider the construction of higher order rational approximants to a formal power series, with some prescribed coefficients in their numerators, precisely those of the higher order powers. The denominators of such approximants are related to the so-called Sobolev-type orthogonal polynomials. The elementary properties of these orthogonal polynomials are studied in the regular case.This research was partially supported by Junta de Andalucía, Grupo de Investigación 1107.