The Sheffer group and the Riordan group

We define the Sheffer group of all Sheffer-type polynomials and prove the isomorphism between the Sheffer group and the Riordan group. An equivalence of the Riordan array pair and generalized Stirling number pair is also presented. Finally, we discuss a higher dimensional extension of Riordan array pairs.     

Some new integral inequalities of Bellman–Bihari type with delay for discontinuous functions

In this article we investigate some integral functional inequalities of Bellman–Bihari type for piecewise-continuous functions with some fixed points of discontinuity. We also prove a new analogy and generalization of results which were obtained by Bellman and Bihari to integro-sum inequalities with delay and discontinuities that do not belong to Lipschitz’s type.     

First-Principles Study on the Electronic Structures for Y^3＋：PbWO4 Crystals

The possible defect models of Y^3＋：PbWO4 crystals are discussed by defect chemistry and the most possible substituting positions of the impurity Y^3＋ ions are studied by using the general utility lattice program （GULP）. The calculated results indicate that in the lightly doped Y^3＋ ：PWO crystal, the main compensating mechanism is [2Ypb^＋ ＋ VPb^2-], and in the heavily doped Y^3＋ ：PWO crystal, it will bring interstitial oxygen ions to compensate the positive electricity caused by YPb^＋, forming defect clusters of [2Ypb^＋ ＋Oi^2-] in the crystal. The electronic structures of Y3＋ ：PWO with different defect models are calculated using the DV-Xα method. It can be concluded from the electronic structures that, for lightly doped cases, the energy gap of the crystal would be broadened and the 420nm absorption band will be restricted; for heavily doped cases, because of the existence of interstitial oxygen ions, it can bring a new absorption band and reduce the radiation hardness of the crystal.     

Barycentric systems and stretchability

Using a general resolution of barycentric systems we give a generalization of Tutte's theorem on convex drawing of planar graphs. We deduce a characterization of the edge coverings into pairwise non-crossing paths which are stretchable: such a system is stretchable if and only if each subsystem of at least two paths has at least three free vertices (vertices of the outer face of the induced subgraph which are internal to none of the paths of the subsystem). We also deduce that a contact system of pseudo-segments is stretchable if and only if it is extendible.     

Beyond Cartesian limits: Leibniz's passage from algebraic to “transcendental” mathematics

This article deals with Leibniz's reception of Descartes' “geometry.” Leibnizian mathematics was based on five fundamental notions: calculus, characteristic, art of invention, method, and freedom. On the basis of methodological considerations Leibniz criticized Descartes' restriction of geometry to objects that could be given in terms of algebraic (i.e., finite) equations: “Descartes's mind was the limit of science.” The failure of algebra to solve equations of higher degree led Leibniz to develop linear algebra, and the failure of algebra to deal with transcendental problems led him to conceive of a science of the infinite. Hence Leibniz reconstructed the mathematical corpus, created new (transcendental) notions, and redefined known notions (equality, exactness, construction), thus establishing “a veritable complement of algebra for the transcendentals”: infinite equations, i.e., infinite series, became inestimable tools of mathematical research.     

On simultaneous confidence intervals for all contrasts in the means of the intraclass correlation model with missing data

In this paper, we consider simultaneous confidence intervals for all contrasts in the means when the observations are missing at random in the intraclass correlation model. An exact test statistic for the equality of the means and Scheffé, Bonferroni and Tukey types of simultaneous confidence intervals are given by an extension of Bhargava and Srivastava [On Tukey's confidence intervals for the contrasts in the means of the intraclass correlation model, J. Royal Statist. Soc. B35 (1973) 147-152] when the missing observations are of the monotone type. Finally, numerical results of simultaneous confidence intervals are presented.     

Preemptive scheduling of interval orders is polynomial

In 1979, Papadimitriou and Yannakakis gave a polynomial time algorithm for the scheduling of jobs requiring unit completion times when the precedence constraints form an interval order. The authors solve here the corresponding problem, for preemptive scheduling (a job can be interrupted to work on more important tasks, and completed at a later time, subject to the usual scheduling constraints.) The m-machine preemptive scheduling problem is shown to have a polynomial algorithm, for both unit time and variable execution times as well, when the precedence constraints are given by an interval order.     

Invariant measures for equicontinuous semigroups of continuous transformations of a compact Hausdorff space

Equicontinuous semigroups of transformations of a compact Hausdorff space and their sets of all invariant (Borel, regular and probabilistic) measures are studied. Conditions equivalent to the existence of at least one invariant measure are given. The (algebraic and topological) structure of the set of invariant measures is researched.     

Estimating the largest singular values of large sparse matrices via modified moments

We describe a procedure for determining a few of the largest singular values of a large sparse matrix. The method by Golub and Kent which uses the method of modified moments for estimating the eigenvalues of operators used in iterative methods for the solution of linear systems of equations is appropriately modified in order to generate a sequence of bidiagonal matrices whose singular values approximate those of the original sparse matrix. A simple Lanczos recursion is proposed for determining the corresponding left and right singular vectors. The potential asynchronous computation of the bidiagonal matrices using modified moments with the iterations of an adapted Chebyshev semi-iterative (CSI) method is an attractive feature for parallel computers. Comparisons in efficiency and accuracy with an appropriate Lanczos algorithm (with selective re-orthogonalization) are presented on large sparse (rectangular) matrices arising from applications such as information retrieval and seismic reflection tomography. This procedure is essentially motivated by the theory of moments and Gauss quadrature.This author's work was supported by the National Science Foundation under grants NSF CCR-8717492 and CCR-910000N (NCSA), the U.S. Department of Energy under grant DOE DE-FG02-85ER25001, and the Air Force Office of Scientific Research under grant AFOSR-90-0044 while at the University of Illinois at Urbana-Champaign Center for Supercomputing Research and Development.This author's work was supported by the U.S. Army Research Office under grant DAAL03-90-G-0105, and the National Science Foundation under grant NSF DCR-8412314.     

Eigenvalues of Two Parameter Polynomial Operator Pencils of Waveguide Type

The spectral structure of two parameter unbounded operator pencils of waveguide type is studied. Theorems on discreteness of the spectrum for a fixed parameter are proved. Variational principles for real eigenvalues in some parts of the root zones are established. In the case of n = 1 (quadratic pencils) domains containing the spectrum are described (see Fig. 1–3). Conditions in the definition of the pencils of waveguide type arise naturally from physical problems and each of them has a physical meaning. In particular a connection between the energetic stability condition and a perturbation problem for the coefficients is given.