Accuracy of Computed Eigenvectors Via Optimizing a Rayleigh Quotient

This paper establishes converses to the well-known result: for any vector such that the sine of the angle sin(u, )=O(), we have

On a Problem of the Theory of Multiply Local Formations

We describe the -closed n-multiply local formations such that the lattice of all -closed n-multiply local formations between and is Boolean.     

A Remark on Subgroup Separability in the Class of Finite π-Groups

We prove that if a group G is residually , then for every -subgroup of the group G, the set of -roots from this subgroup is a -separable -subgroup.     

Generalized Quasi-Variational Inequalities Without Continuities

Given a nonempty set and two multifunctions , we consider the following generalized quasi-variational inequality problem associated with X, : Find such that . We prove several existence results in which the multifunction is not supposed to have any continuity property. Among others, we extend the results obtained in Ref. 1 for the case (x(X.     

On Some Rings of Arithmetical Functions

In this paper, we consider several constructions which from a given B-product * _B lead to another one We shall be interested in finding what algebraic properties of the ring are shared also by the ring . In particular, for some constructions the rings R _B and will be isomorphic and therefore have the same algebraic properties.     

Precovers

Let be an abstract class (closed under isomorpic copies) of left R-modules. In the first part of the paper some sufficient conditions under which is a precover class are given. The next section studies the -precovers which are -covers. In the final part the results obtained are applied to the hereditary torsion theories on the category on left R-modules. Especially, several sufficient conditions for the existence of -torsionfree and -torsionfree -injective covers are presented.     

Strong topologies on vector-valued function spaces

Let be a real Banach space and let E be an ideal of L ⁰ over a -finite measure space (, , ). Let (X) be the space of all strongly -measurable functions f: X such that the scalar function , defined by , belongs to E. The paper deals with strong topologies on E(X). In particular, the strong topology the order continuous dual of E(X)) is examined. We generalize earlier results of [PC] and [FPS] concerning the strong topologies.     

A Comparison Theorem on the Ricci Curvature in Projective Geometry

We show that if two Riemannian metrics and g are pointwiseprojectively equivalent and the Ricci curvatures satisfy Ric, then the projective equivalence is trivialprovided that g is complete. In this case, is parallel with respect to g and the Riemann curvatures of g and are equal.The Ricci curvature condition can be weakened when the manifold iscompact. This rigidity theorem actually holds for more general geometricstructures, such as Finsler metrics and sprays. In this paper, we willalso discuss several examples and show that the completeness of g cannot be dropped.     

A Comparison on the Commutative Neutrix Convolution of Distributions and the Exchange Formula

Let , be ultradistributions in and let and where is a sequence in which converges to the Dirac-delta function . Then the neutrix product is defined on the space of ultradistributions as the neutrix limit of the sequence provided the limit exist in the sense that

A Higher-Order Analog of the Linking Number for a Pair of Divergence-Free Vector Fields

Pairs B, of divergence-free vector fields with compact support in are considered higher-order analog M(B, c (of order 3) of the Gauss helicity number H(B, )= , curl(A)=B; (of order 1) is constructed, which is invariant under volume-preserving diffeomorphisms. An integral expression for M is given. A degree-four polynomial m(B(x₁), B(x₂), ( ₁), ( ₂)), x₁, x₂, _{1 2} , is defined, which is symmetric in the first and second pairs of variables separately. M is the average value of m over arbitrary configurations of points. Several conjectures clarifying the geometric meaning of the invariant and relating it to invariants of knots and links are stated. Bibliography: 11 titles.     

Variational Inequality with Fuzzy Convex Cone

In this study, we discuss one type of variational inequality problem with a fuzzy convex cone , denoted by VI( , f). Different classes of fuzzy convex cones which are considered in different context of the problems will be discussed. According to the existence theorem, an approach derived from the concepts of multiple objective mathematical programming problems for solving the VI( , f) is proposed. An algorithm is developed to find its fuzzy optimal solution set with complexity analysis.     

A Generalization of the Hausdorff-Young Theorem

Considering mixed-norm sequence spaces lp,q, p, q 1, C. N. Kellogg proved the following theorem: if 1 < p 2 then lp,2 and lp,2 , where 1/p + 1/p = 1. This result extends the Hausdorff-Young Theorem.We introduce here multiple mixed-norm sequence spaces , examine their properties and characterize the multipliers of spaces of the form lp,[s;n],q, with the index s repeated n times. By an interpolation-type argument we prove that (l,[2;n],2, lp,[1;n],1) for 1 < p 2. Using these results we obtain a further generalization of the Hausdorff-Young Theorem: if 1 < p 2 then lp,[2;n] and lp,[2;n] for each n = 0, 1, 2, ¨. The spaces lp,[2;n] decrease and lp,[2;n] increase properly with n for 1 < p < 2 and 1/p + 1/p = 1. We also extend a theorem of J. H. Hedlund on multiplers of Hardy spaces and deduce other results.     

Implementation of the Sparr Interpolation Method in Classes of Spaces of Smooth Functions

The multidimensional Sparr interpolation method is implemented in the Besov spaces and the Lizorkin--Triebel spaces . It is shown that this results in Besov spaces of type . An interpolation theorem for Besov spaces using weak conditions of the form is formulated.     

Determinants in Triangulated Categories

For a small triangulated category , Bass's K ₁ group is described, and the theorem of the heart is proved. We define the determinant map from to Neeman's , and we compute this map when is the derived category of an Abelian category .     

On the Normal Order of ϕk+1(n)/ϕk(n), where ϕk is the k-Fold Iterate of Euler's Function

Let be the j-fold iterated function of . Let and > 0 be fixed, Q be a prime, and let N _k(Q|x) denote the number of those nx for which Q . We give the asymptotics of N _k(Q|x) in the range .     

Looking for Difference Sets in Groups with Dihedral Images

We prove four theorems about groups with a dihedral (or cyclic) image containing a difference set. For the first two, suppose G, a group of order 2p with p an odd prime, contains a nontrivial (v, k, ) difference set D with order n = k – prime to p and self-conjugate modulo p. If G has an image of order p, then 0 2a + 2 for a unique choice of = ±1, and for a = (k – )/2p. If G has an image of order 2p, then and ( – 1)/( – 1). There are further constraints on n, a and . We give examples in which these theorems imply no difference set can exist in a group of a specified order, including filling in some entries in Smith's extension to nonabelian groups of Lander's tables. A similar theorem covers the case when p|n. Finally, we show that if G contains a nontrivial (v, k, ) difference set D and has a dihedral image D _2m with either (n, m) = 1 or m = p ^t for p an odd prime dividing n, then one of the C ₂ intersection numbers of D is divisible by m. Again, this gives some non-existence results.     

On the Harris Recurrence of Iterated Random Lipschitz Functions and Related Convergence Rate Results

A result by Elton⁽⁶⁾ states that an iterated function system

Spin Models and Strongly Hyper-Self-Dual Bose-Mesner Algebras

We introduce the notion of hyper-self-duality for Bose-Mesner algebras as a strengthening of formal self-duality. Let denote a Bose-Mesner algebra on a finite nonempty set X. Fix p X, and let and denote respectively the dual Bose-Mesner algebra and the Terwilliger algebra of with respect to p. By a hyper-duality of , we mean an automorphism of such that for all ; and is a duality of . is said to be hyper-self-dual whenever there exists a hyper-duality of . We say that is strongly hyper-self-dual whenever there exists a hyper-duality of which can be expressed as conjugation by an invertible element of . We show that Bose-Mesner algebras which support a spin model are strongly hyper-self-dual, and we characterize strong hyper-self-duality via the module structure of the associated Terwilliger algebra.     

On the Spectrum of Degenerate Operator Equations

We study the distribution in the complex plane of the spectrum of the operator , generated by the closure in of the operation originally defined on smooth functions with values in a Hilbert space satisfying the Dirichlet conditions . Here and A is a model operator acting in . Criterial conditions on the parameter for the eigenfunctions of the operator to form a complete and minimal system as well as a Riesz basis in the Hilbert space H are given.     

A-stable spline-collocation methods of multivalue type

In this paper the general classV of spline-collocation methods presented by Mülthei is investigated. The methods ofV approximate solutions of first order initial value problems. ClassV contains as subclass the methods of so-called multivalue type, and in particular contains the generalized singly-implicit methods treated by Butcher.Any multivalue type representativeU V yields a matrix valued function corresponding toU, which characterizes the region of absolute stability ofU. If a sequence (U()) of multivalue type representatives ofV tending to some singlevalue type representative V is considered, it can easily be seen by the structure of , that the sequence of the greatest eigenvalues of the (.,) tends to the stability function corresponding to . This fact allows one to construct one-parameter families of A-stable methods of multivalue type.