Identities of an algebra of triangular matrices

This paper deals with the ideals of identities of certain associative algebras over a field F of characteristic zero. An algebra W of matrices of the form ,,,M, where and , are F-algebras with unity and M is a (,)-bimodule, is considered. Under certain natural restrictions on M one obtains the equality of ideals of identities T(W)=T()T(), if [[x₁,x₂], x₃[x₄,x₅]]T().Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 114, pp. 7–27, 1982.     

Reverse Functional Inequalities and Their Applications to Nonlinear Elliptic Boundary Value Problems

We establish some reverse inequalities. We give applications to nonlinear elliptic boundary value problems containing a parameter which have two branches of solutions u (0) and U (>0) of which the first is continuous at the origin and the second increases indefinitely as 0.     

Divisible designs and groups

We study (s, k, ₁, ₂)-translation divisible designs with ₁0 in the singular and semi-regular case. Precisely, we describe singular (s, k, ₁, ₂)-TDD's by quasi-partitions of suitable quotient groups or subgroups of their translation groups. For semi-regular (s, k, ₁, ₂)-TDD's (and, more general, for the case ₂>₁) we prove that their translation groups are either Frobenius groups or p-groups of exponent p. Some examples are given for the singular, semi-regular and regular case.     

Algebraic systems of quadratic forms of number fields and function fields

In this paper we examine for which Witt classes ,..., _n over a number field or a function fieldF there exist a finite extensionL/F and ₂,..., _n L^* such thatT _L/F ()=1 andTr _L/F (_i)=_i fori=2,...n.     

The Spectral Function and Principal Eigenvalues for Schrödinger Operators

Let m , 0 m₊ in Kato's class. We investigate the spectral function s( + m) where s( + m) denotes the upper bound of the spectrum of the Schrödinger operator + m. In particular, we determine its derivative at 0. If m_- is sufficiently large, we show that there exists a unique ₁ > 0 such that s( + ₁m) = 0. Under suitable conditions on m⁺ it follows that 0 is an eigenvalue of + ₁m with positive eigenfunction.     

Difference Sets with n = 2pm

Let D be a (v,k,) difference set over an abelian group G with even n = k - . Assume that t N satisfies the congruences t q _i ^fi (mod exp(G)) for each prime divisor q_i of n/2 and some integer f_i. In [4] it was shown that t is a multiplier of D provided that n > , (n/2, ) = 1 and (n/2, v) = 1. In this paper we show that the condition n > may be removed. As a corollary we obtain that in the case of n= 2p^a when p is a prime, p should be a multiplier of D. This answers an open question mentioned in [2].     

On the immersion of metrics close to immersible metrics

For a C^r,-immersion z:X E, r 2, 0 < < 1, of an n-dimensional (n 1) simply-connected C^r+2,-manifold X into Euclidean space E, the metric I(z) induced by z has a neighborhood in C^r,-topology in which every metric from a given subbundle of metrics is C^r,-immersible into E. In particular, it is proved that metric ds ₀ ² of the Riemannian product of p spheres of dimensions ₁, , _p 2 has a neighborhood in C^2,-topology from which any conformally equivalent metric to ds ₀ ² , is immersible into E with dimE = ₁ + + _p + p. The proofs are based on the investigation of a varied system of Gauss—Codazzi—Ricci equations for an infinitely small deformation of surface z(X) in E with a prescribed variation of the metric.Translated from Ukrainskii Geometricheskii Sbornik, No. 35, pp. 49–67, 1992.     

Equivalent conditions for representing analytic functions by exponential series

Let L() be an entire function of exponential type with simple zeros ₁, ₂, ...; let ¯D be the smallest closed convex set which contains all of the singularities of the function which is associated with L() in the sense of Borel. In [1] there are necessary and sufficient conditions on L() under which a function f(z) which is analytic in ¯D can be represented in D by a Dirichlet series with exponents ₁, ₂, ... We obtain new equivalent conditions on L().Translated from Matematicheskie Zametki, Vol. 20, No. 1, pp. 91–104, July, 1976.     

Ranges of certain system of functionals in classes of functions with a positive real part

We give the algebraic characteristics of the range of the system C_p, C_2p, ..., c_np f() ( fixed, 0<¦¦<1, n1, P=1, 2, ...) on certain subclasses C_m,p, of the class C of functions, regular in the circle ¦z¦<1 and satisfying in it the condition Re f(z)>0. As an application one finds the range of f() on the subclasses C _m,p, ⁽ⁿ⁾ of functions from C_m,p, with prescribed coefficients c_p c_2p, ..., c_np.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 100, pp. 17–25, 1980.     

A sandwich theorem and Hyers—Ulam stability of affine functions

It is shown that two real functionsf andg, defined on a real intervalI, satisfy the inequalitiesf(x + (1 – )y) g(x) + (1 – )g(y) andg(x + (1 – )y) f(x) + (1 – )f(y) for allx, y I and [0, 1], iff there exists an affine functionh: I such thatf h g. As a consequence we obtain a stability result of Hyers—Ulam type for affine functions.     

Exponential estimates for the Wiener sausage

Summary LetC (t) be the Wiener sausage of radius inR ^d up to timet. We obtain bounds on the asymptotics ofE exp (|C (t)|) ast, for all >0.     

Reflecting stationary sets and successors of singular cardinals

REF is the statement that every stationary subset of a cardinal reflects, unless it fails to do so for a trivial reason. The main theorem, presented in Sect. 0, is that under suitable assumptions it is consistent that REF and there is a which is ⁺ⁿ -supercompact. The main concepts defined in Sect. 1 are PT, which is a certain statement about the existence of transversals, and the bad stationary set. It is shown that supercompactness (and even the failure of PT) implies the existence of non-reflecting stationary sets. E.g., if REF then for many PT(, ₁). In Sect. 2 it is shown that Easton-support iteration of suitable Levy collapses yield a universe with REF if for every singular which is a limit of supercompacts the bad stationary set concentrates on the right cofinalities. In Sect. 3 the use of oracle c.c. (and oracle proper—see [Sh-b, Chap. IV] and [Sh 100, Sect. 4]) is adapted to replacing the diamond by the Laver diamond. Using this, a universe as needed in Sect. 2 is forced, where one starts, and ends, with a universe with a proper class of supercompacts. In Sect. 4 bad sets are handled in ZFC. For a regular {<⁺ : cf<} is good. It is proved in ZFC that if=cf>₁ then {<⁺ : cf<} is the union of sets on which there are squares.     

Periodic solutions of singularly perturbed delay equations

We consider a general class of singularly perturbed delay differential systems depending on a singular parameter and another parameter . For =0, the equation defines a mapT which undergoes a generic period doubling at =0. If the bifurcation is supercritical (subcritical), these period two points define a stable period two square wave (unstable period two pulse wave). We give conditions on the vector field such that there is a sectorS in the , plane such that there is a unique periodic orbit if the parameters are inS, the orbit is stable (unstable) if the period doubling bifurcation is supercritical (subcritical) and approaches the square (pulse) wave as 0.Partially supported by NSF and DARPA.     

On eigenvalues of perturbed quadratic matrix polynomials

Among other results, it is shown that ifC andK are arbitrary complexn×n matrices and if det( ₀ ² I₀ C+K)=0 for some ₀0 (resp. ₀=0), then the Newton diagram of the polynomialt(, ) = det(² I+(1+)C+K expanded in (–₀) and , has at least a point on or below the linex+y=b (resp. has no expanded in (–₀) and , has at least a point on or below the of 0 as an eigenvalue of ₀ ² I+₀ C+K. These are extensions of similar results deu to H. Langer, B. Najman, and K. Veseli proved for diagonable matricesC, and shed light on the eigenvalues of the perturbed quadratic matrix polynomials. Our proofs are independent and seem to be simpler     

Ultrafilter translations

We develop a method for extending results about ultrafilters into a more general setting. In this paper we shall be mainly concerned with applications to cardinality logics. For example, assumingV=L, Gödel's Axiom of Constructibility, we prove that if > then the logic with the quantifier there exist many is (,)-compact if and only if either is weakly compact or is singular of cofinality<. As a corollary, for every infinite cardinals and , there exists a (,)-compact non-(,)-compact logic if and only if either < orcf<cf or < is weakly compact.Counterexamples are given showing that the above statements may fail, ifV=L is not assumed.However, without special assumptions, analogous results are obtained for the stronger notion of [,]-compactness.     

Minimal coverings and maximal packings of (k−1)-subsets by k-subsets

This paper studies the asymptotic behavior of functions M(n, k, k–1, ) and m(n, k, k–1, ), equal to the respective cardinalities of the minimal -covering and maximal -packing of all (k–1)-subsets of the n-element set of its k-subsets. It is shown that, if sequence k=k(n) is such that k(n)/n 0 as then m(n, k, k–1, ).( _k–1 ⁿ ).k¹, and if as n , thenM(n,k,k–1,).( _k–1 ⁿ ).k^–1. A consequence of these results is the validity of the Erdös-Hanani conjecture concerning the asymptotic behavior of functions M(n, k, k–1, 1) and m(n, k, k–1, 1).Translated from Matematicheskie Zametki, Vol. 21, No. 4, pp. 565–571, April, 1977.In conclusion, the author wishes to thank A. A. Sapozhenko under whose direction the present work was achieved.     

Discrete Spectrum of Differential Operators in Spectral Gaps under Nonnegative Perturbations of High Order

Let A be a self-adjoint elliptic second-order differential operator, let (, ) be an inner gap in the spectrum of A, and let B(t) = A + tW ^* W, where W is a differential operator of higher order. Conditions are obtained under which the spectrum of the operator B(t) in the gap (, ) is either discrete, or does not accumulate to the right-hand boundary of the spectral gap, or is finite. The quantity N(, A, W, ), (, ), > 0 (the number of eigenvalues of the operator B(t) passing the point (, ) as t increases from 0 to ) is considered. Estimates of N(, A, W, ) are obtained. For the perturbation W ^* W of a special form, the asymptotics of N(, A, W, ) as + is given. Bibliography: 5 titles.     

A Remark on Real Parameter Global Bifurcation

We study the nonlinear eigenvalue problem F(x,) = L()x +R(x,) = 0 where F : X × R X with X a Hilbert space. IfL() is a polynomial in , then it is shown that 0> 0 is a global bifurcation point of the eigenvalue problem provided astandard transversality condition is satisfied, the dimension of the nullspace of L(0) is an odd number and L() is composed of asequence of positive operators on the finite dimensional null space ofL(0).     

The spectral bound of Schrödinger operators

Let V: R ^N [0, ] be a measurable function, and >0 be a parameter. We consider the behaviour of the spectral bound of the operator 1/2–V as a function of . In particular, we give a formula for the limiting value as , in terms of the integrals of V over subsets of R ^N on which the Laplacian with Dirichlet boundary conditions has prescribed values. We also consider the question whether this limiting value is attained for finite .     

Numerical implementation of coherence for the example of the “Swiss Cross”

Summary We consider the two-dimensional Helmholtz equation u+u=0 inD with the boundary conditionsu=0 on D. D is the Swiss Cross — a region consisting of five unit squares. A method based on the concept of Coherence is utilized to determine an approximation for the first eigenvalue= ₁ more accurate than calculated by classical difference methods. The numerical result is used to illustrate isoperimetric upper and lower bounds for ₁, and to test some conjectures on its relations with torsional rigidity.Dedicated to the memory of Professor Lathar Collatz