Systems of Inclusions Involving Fredholm Operators of Nonnegative Index and Nonconvex-Valued Maps

We study the existence of solutions to a system of two inclusions involving Fredholm operators of nonnegative (Fredholm) index and the so-called c-admissible maps: upper semicontinuous maps with values being continuous images of cell-like sets. The presented approach resembles the substitution technique, i.e. applies the so-called solution map. The appearance of the ‘dimension defect’ reflecting the nonnegativity of Fredholm indices requires the use of algebraic tools based on the cohomotopy theory, different from the usual homological ones present in the fixed point theory. An application to boundary value problems is provided as well as the brief exposition of basic facts from the cohomotopy theory. Mathematics Subject Classifications (2000) 47H04, 47A53, 55M20, 55Q55, 34A60.     

Achirality of knots

A theoretic and diagrammatic relationship between knots and planar graphs has enabled us to establish necessary condition for achirality. It is shown that the regions, crossings and consequently the number of vertices, edges, and faces in the corresponding LR-graph are same and invariant. Establishment of new but pivotal moves such as R*-move, 2π-twist and π-twist enabled us to prove that the black regions can be changed into white regions via Reidemeister moves. Consequently, the equivalence of the companion graphs, necessary and sufficient conditions for achirality. This revised version was published online in June 2006 with corrections to the Cover Date.     

Some Boolean Algebras with Finitely Many Distinguished Ideals I

We consider the theory Th_prin of Boolean algebras with a principal ideal, the theory Th_max of Boolean algebras with a maximal ideal, the theory Th_ac of atomic Boolean algebras with an ideal where the supremum of the ideal exists, and the theory Th_sa of atomless Boolean algebras with an ideal where the supremum of the ideal exists. First, we find elementary invariants for Th_prin and Th_sa. If T is a theory in a first order language and α is a linear order with least element, then we let Sentalg(T) be the Lindenbaum-Tarski algebra with respect to T, and we let intalg(α) be the interval algebra of α. Using rank diagrams, we show that Sentalg(Th_prin) ? intalg(ω⁴), Sentalg(Th_max) ? intalg(ω³) ? Sentalg(Th_ac), and Sentalg(Th_sa) ? intalg(ω² + ω²). For Th_max and Th_ac we use Ershov's elementary invariants of these theories. We also show that the algebra of formulas of the theory Tx of Boolean algebras with finitely many ideals is atomic.     

Inequalities for the Novikov-Shubin invariants

In this paper, we prove that the Novikov-Shubin invariants satisfy a sequence of inequalities and deduce some useful consequences of this result.

     

Modulated Fourier Expansions of Highly Oscillatory Differential Equations

Modulated Fourier expansions are developed as a tool for gaining insight into the long-time behavior of Hamiltonian systems with highly oscillatory solutions. Particle systems of Fermi–Pasta–Ulam type with light and heavy masses are considered as an example. It is shown that the harmonic energy of the highly oscillatory part is nearly conserved over times that are exponentially long in the high frequency. Unlike previous approaches to such problems, the technique used here does not employ nonlinear coordinate transforms and can therefore be extended to the analysis of numerical discretizations.     

A Petri net approach to the modelling and analysis of flexible manufacturing systems

In this paper we present an approach for modelling and analyzing flexible manufacturing systems (FMSs) using Petri nets. In this approach, we first build a Petri net model (PNM) of the given FMS in a bottom-up fashion and then analyze important qualitative aspects of FMS behaviour such as existence/absence of deadlocks and buffer overflows. The basis for our approach is a theorem we state and prove for computing the invariants of the union of a finite number of Petri nets when the invariants of the individual nets are known. We illustrate our approach using two typical manufacturing systems: an automated transfer line and a simple FMS.A shorter version of this paper was presented at the 1st ORSA/TIMS Special Interest Conference on FMSs, University of Michigan, Ann Arbor, August 1984.     

A variant of the Reynolds operator

Let be a linearly reductive group over a field , and let be a -algebra with a rational action of . Given rational --modules and , we define for the induced -action on Hom a generalized Reynolds operator, which exists even if the action on Hom is not rational. Given an -module homomorphism , it produces, in a natural way, an -module homomorphism which is -equivariant. We use this generalized Reynolds operator to study properties of rational - modules. In particular, we prove that if is invariantly generated (i.e. ), then is a projective (resp. flat) -module provided that is a projective (resp. flat) -module. We also give a criterion whether an -projective (or -flat) rational --module is extended from an -module.

     

Poisson brackets associated to the conformal geometry of curves

In this paper we present an invariant moving frame, in the group theoretical sense, along curves in the Möbius sphere. This moving frame will describe the relationship between all conformal differential invariants for curves that appear in the literature. Using this frame we first show that the Kac-Moody Poisson bracket on can be Poisson reduced to the space of conformal differential invariants of curves. The resulting bracket will be the conformal analogue of the Adler-Gel'fand-Dikii bracket. Secondly, a conformally invariant flow of curves induces naturally an evolution on the differential invariants of the flow. We give the conditions on the invariant flow ensuring that the induced evolution is Hamiltonian with respect to the reduced Poisson bracket. Because of a certain parallelism with the Euclidean case we study what we call Frenet and natural cases. We comment on the implications for completely integrable systems, and describe conformal analogues of the Hasimoto transformation.

     

On the Filling Invariants at Infinity of Hadamard Manifolds

We study the filling invariants at infinity div _k for Hadamard manifolds defined by Brady and Farb [ Trans. Am. Math. Soc. 350(8) (1998), 3393–3405]. Among other results, we give a positive answer to the question they posed: whether these invariants can be used to detect the rank of a symmetric space of noncompact type.     

The spectrum of a random 3 × 3 matrix

In this paper, it is shown that the distribution of the spectrum of A + X gives (essentially) a complete set of orthogonal invariants for the (real nonsymmetric) matrix A.