The Kurosh problem,height theorem,nilpotency of the radical,and algebraicity identity

This paper is devoted to relations between the Kurosh problem and the Shirshov height theorem. The central point and main technical tool is the identity of algebraicity. The main result of this paper is the following. Let A be a finitely generated PI-algebra and Y be a finite subset of A. For any Noetherian associative and commutative ring {ie125-01}, let any factor of R ⊗ A such that all projections of elements from Y are algebraic over π(R) be a Noetherian R-module. Then A has bounded essential height over Y. If, furthermore, Y generates A as an algebra, then A has bounded height over Y in the Shirshov sense. This paper also contains a new proof of the Razmyslov-Kemer-Braun theorem on radical nilpotence of affine PI-algebras. This proof allows one to obtain some constructive estimates. The main goal of the paper is to develop a “virtual operator calculus.” Virtual operators (pasting, deleting, and transfer) depend not only on an element of the algebra but also on its representation. __________ Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 13, No. 2, pp. 3–29, 2007.     

A new theorem of the alternative

Although the theorems of the alternative have been well known for a long time, their relationship to linear least squares problems and steepest descent directions was revealed only recently. This relationship was used by the author to derive a new theorem of the alternative. The present research extends this theorem to the _p norm,p > 1.     

Tritangent centres,Pascal's theorem and Thebault's problem

Thébault's problem was posed in 1938, but a solution did not appear until 1983. Since then other solutions of the original problem and of various generalisations have been given. In this paper we discuss the generalisations (including some new results) and various background theorems on tritangent centres, making extensive use of Pascal's theorem.     

A stable theorem of the alternative: an extension of the gordan theorem

A theorem with a number of equivalent alternatives is proposed as an extension of the classical Gordan theorem of the alternative. The theorem can handle nonzero unrestricted variables which cannot be directly treated by ordinary theorems of the alternative. Like the Gordan theorem, the extended theorem has the stability feature that small perturbations in the data will not invalidate an alternative that is in force. The theorem has useful applications in establishing the boundedness and uniqueness of feasible points of polyhedral sets and of solutions to linear programming problems.     

A conforming decomposition theorem,a piecewise linear theorem of the alternative,and scalings of matrices satisfying lower and upper bounds

A scaling of a nonnegative matrixA is a matrixXAY ^?1, whereX andY are nonsingular, nonnegative diagonal matrices. Some condition may be imposed on the scaling, for example, whenA is square,X=Y or detX=detY. We characterize matrices for which there exists a scaling that satisfies predetermined upper and lower bound. Our principal tools are a piecewise linear theorem of the alternative and a theorem decomposing a solution of a system of equations as a sum of minimal support solutions which conform with the given solutions.     

Liouville's theorem and the method of the inverse problem

An approach to the investigation of the Zakharov-Shabat equations is developed. This approach is based on a classical theorem of Liouville and is the synthesis of finite-zone integration, the matrix Riemann problem method and the theory of isomonodromy deformations of differential equations. The effectiveness of the proposed scheme is demonstrated by developing dressing procedures for the Bullough-Dodd equation.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 133, pp. 113–125, 1984.     

A generalization of a minimax theorem of Fan via a theorem of the alternative

A minimization problem for a functional on a convex subsetC of a normed linear space is considered. Under certain hypotheses, optimality in a certain subset ofC implies the validity of first-order necessary optimality conditions for the problem inC. The result is applied to a problem in optimal periodic control of neutral functional differential equations.This work was partially supported by a grant from Deutsche Forschungsgemeinschaft and by AFOSR under Grant No. AFOSR-84-0398.     

Yuan's alternative theorem and the maximization of the minimum eigenvalue function

LetA ₁ andA ₂ be two symmetric matrices of ordern×n. According to Yuan, there exists a convex combination of these matrices which is positive semidefinite, if and only if the functionxR ⁿ max {x ^T A ₁ x,x ^T A ₂ x} is nonnegative. We study the case in which more than two matrices are involved. We study also a related question concerning the maximization of the minimum eigenvalue of a convex combination of symmetric matrices.This research was partially supported by Dirección General de Investigación Científica y Técnica (DGICYT) under Project PB92-0615.     

On Montel's theorem and Yang's problem

Let F be a family of meromorphic functions defined in a domain D, and let ψ be a function meromorphic in D. For every function f∈F, if (1)f has only multiple zeros; (2) the poles of f have multiplicity at least 3; (3) at the common poles of f and ψ, the multiplicity of f does not equal the multiplicity of ψ; (4)f(z)≠ψ(z), then F is normal in D. This gives a partial answer to a problem of L. Yang, and generalizes Montel's theorem. Some examples are given to show the sharpness of our result.     

An alternative proof of Vitali's covering theorem

In the teaching of the theory of the Lebesgue integral to third year undergraduates, it has been found that some of the theorems present considerable difficulty to the student. One of these ‘difficult’ theorems is Vitali's covering theorem and the following simpler proof is offered as an alternative to the more usual proof due to Banach.     

An existence theorem for the complementarity problem

LetC be a pointed, solid, closed and convex cone in then-dimensional Euclidean spaceE ⁿ ,C* its polar cone,M:C→E ⁿ a map, andq a vector inE ⁿ . The complementarity problem (q|M) overC is that of finding a solution to the system $$(q|M) x \varepsilon C, M(x) + q \varepsilon C{^*} , \left\langle {x, M(x) + q} \right\rangle = 0.$$ It is shown that, ifM is continuous and positively homogeneous of some degree onC, and if (q|M) has a unique solution (namely,x=0) forq=0 and for someq=q ₀ ∈ intC*, then it has a solution for allq ∈E ⁿ .     

A continuity theorem in the ruin problem

For a random walk, we prove a continuity theorem for the exit time from a strip containing the abscissa axis, including the case of the exit time from a strip through an a priori chosen boundary. In particular, we compute the ruin probabilities for two classes of centered distributions.     

Borg-type theorem for the missing eigenvalue problem

In this paper, we discuss the inverse spectral problem for Sturm–Liouville operators for the missing eigenvalue problem. We show that a Borg-type theorem for the missing eigenvalue problem of the Sturm–Liouville operator holds by the Weyl $m$-function.