Cell transfer and monomial positivity

We give combinatorial proofs that certain families of differences of products of Schur functions are monomial-positive. We show in addition that such monomial-positivity is to be expected of a large class of generating functions with combinatorial definitions similar to Schur functions. These generating functions are defined on posets with labelled Hasse diagrams and include for example generating functions of Stanley's (P,ω)-partitions. T.L. was supported in part by NSF DMS-0600677.     

Relations among eigenvalues of Sturm-Liouville problems with different types of leading coefficient functions

For any Sturm-Liouville problem with a separable boundary condition and whose leading coefficient function changes sign (exactly once), we first give a geometric characterization of its eigenvalues λn using the eigenvalues of some corresponding problems with a definite leading coefficient function. Consequences of this characterization include simple proofs of the existence of the λn's, their Prüfer angle characterization, and a way for determining their indices from the zeros of their eigenfunctions. Then, interlacing relations among the λn's and the eigenvalues of the corresponding problems are obtained. Using these relations, a simple proof of asymptotic formulas for the λn's is given.     

Shape preservation regions for six-dimensional spaces

We analyze the critical length for design purposes of six-dimensional spaces invariant under translations and reflections containing the functions 1, cos t and sin t. These spaces also contain the first degree polynomials as well as trigonometric and/or hyperbolic functions. We identify the spaces whose critical length for design purposes is greater than 2π and find its maximum 4π. By a change of variables, two biparametric families of spaces arise. We call shape preservation region to the set of admissible parameters in order that the space has shape preserving representations for curves. We describe the shape preserving regions for both families. To our friend Mariano Gasca on occasion of his 60th birthday Research partially supported by the Spanish Research Grant MTM2006-03388, by Gobierno de Aragón and Fondo Social Europeo.     

Bases,spanning sets,and the axiom of choice

Two theorems are proved: First that the statement “there exists a field F such that for every vector space over F, every generating set contains a basis” implies the axiom of choice. This generalizes theorems of Halpern, Blass, and Keremedis. Secondly, we prove that the assertion that every vector space over ?₂ has a basis implies that every well‐ordered collection of two‐element sets has a choice function. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Normal families and exceptional functions

In this paper, we obtain some normality criteria for families of meromorphic functions that concern the exceptional functions of derivatives.     

Metaplectic Representation of ospq(1/2) Algebra and Basic Hypergeometric Functions

In this paper we use the bosonic realization of osp_q(1/2) algebra to obtain its metaplectic representation. The group element for this algebra is shown to be described in terms of the basic hypergeometric function.     

Excess enthalpy of ternary mixture for diamine+heptane+cyclohexan

The excess molar enthalpy of ternary mixture for 3-diethylaminopropylamine+heptane+cyclohexane were measured using a Calvet microcalorimeter at 303.15 K. Empirical equations, Redlich-Kister, Tsao-Smith, and Kohler and group contribution models, UNIFAC (modified version) and DISQUAC have been applied. A reasonable representation of ternary data is obtained. This revised version was published online in August 2006 with corrections to the Cover Date.     

On meromorphic functions that share three values of finite weights

A uniqueness theorem for two distinct non-constant meromorphic functions that share three values of finite weights is proved, which generalizes two previous results by H.X. Yi, and X.M. Li and H.X. Yi. As applications of it, many known results by H.X. Yi and P. Li, etc. could be improved. Furthermore, with the concept of finite-weight sharing, extensions on Osgood-Yang's conjecture and Mues' conjecture, and a generalization of some prevenient results by M. Ozawa and H. Ueda, ect. could be obtained.     

Applications of inversion formulas to the joint t-universality of Lerch zeta functions

In this paper, we define λ-joint, a^′-joint, (λ,λ)-joint, (λ,a^′)-joint and (a^′,a^′)-joint t-universality of Lerch zeta functions and consider the relations among those. Next we show the existence of (λ,λ)-joint t-universality. Finally, we also show the existence of λ-joint, a^′-joint, (λ,a^′)-joint and (a^′,a^′)-joint t-universality by using inversion formulas.     

Nonlinear control of systems with multiple equilibria and unknown sinusoidal disturbance

In this paper, nonlinear systems having multiple equilibrium points and low order dynamics are investigated. Roll motions of ships are studied by means of modern nonlinear techniques to exemplify the behavior of such nonlinear systems in the case when they are under the influence of external sinusoidal disturbances with unknown amplitudes. The main objective is to analyze the performance of this system at different operating conditions, including those giving rise to chaos, and to design a controller with an overparameterized structure to stabilize the system at the origin. A nonlinear recursive backstepping controller is proposed and the transient performance is investigated. Lyapunov-based techniques are used to force systematic following of a reference model while introducing a nonlinear parameter estimator to guarantee adaptivity. Robustness problems as well as ways to tune the controller parameters are examined. Simulation results are submitted for the uncontrolled and controlled cases, verifying the effectiveness of the proposed controller. Finally, a discussion and conclusions are given with possible future extensions.