Approximation by infinitely divisible distributions in the multidimensional case

Let be the collection of parallelepipeds in R with edges parallel with the coordinate axes and let be the collection of closed sets in R. Let (G, H)=inf {G{A}H{A}+, H{A}G{A}+ for any; L(G, H)= inf {G{A}H{A}+, H{A}G{A}+ for any, where G, H are distributions in . In the paper one gives the proofs of results announced earlier by the author (Dokl. Akad. Nauk SSSR,253, No. 2, 277–279 (1980)). One considers the problem of the approximation of the distributions of sums of independent random vectors with the aid of infinitely divisible distributions. One obtains estimates for the distances (·, ·), L(·, ·) and. It is proved that, where 0p_i1, ; E is the distribution concentrated at zero; V_i(i=1, ..., n) are arbitrary distributions; the products and the exponentials are understood in the sense of convolution.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 130, pp. 89–103, 1983.     

Comparison of moments for tangent sequences of random variables

Summary It is shown that for all tangent sequences (d _n) and (e _n) of nonnegative or conditionally symmetric random variables and for every function satisfying the growth condition (2x)(x) the following inequality holds: . This generalizes results of J. Zinn and proves a conjecture of S. Kwapie and W.A. Woyczyski.     

An alternative construction of Conway's ordered field No

An -universally extending ordered field of power is constructed for each regular power where 0 < On and . When is inaccessible, the structure is either a (set) model of J. H. Conway's ordered field No or an isomorphic copy of No depending on whether or not is a set or a proper class.Presented by Jan Mycielski.     

A majorizing semantics for hyperarithmetic sentences

A hyperarithmetic language is considered, obtained by adding to the arithmetic language a special ternary predicateH which acts as the universal predicate for (for some scale of constructive ordinals ). The language expresses a hierarchy {}_< of classes of formulas which is the constructive analog of the initial -section of the classical hyperarithmetic hierarchy. Some properties of this hierarchy are introduced which give a convenient constructive theoryT . It is shown that the majorizing semantics introduced in [1] (for an equivalent variant see [2]) can be extended to the sentences of the language for sentences of the arithmetic language. The basis for the construction of the majorant is the idea (stated in [2]) of relating the majorant to deducibility in systems with an -rule.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 68, pp. 30–37, 1977.     

Barrelledness of Generalized Sums of Normed Spaces

Let (E _i ) _iI be a family of normed spaces and a space of scalar generalized sequences. The -sum of the family (E _i ) _iI of spaces is

A sharper stability bound of Fourier frames

Given a real sequence {_n}_n. Suppose that is a frame for L²[–, ] with bounds A, B. The problem is to find a positive constant L such that for any real sequence {_n}_n with ¦_n –_n¦ <L, is also a frame for L²[–, ]. Balan [1] obtained arcsin . This value is a good stability bound of Fourier frames because it covers Kadec's 1/4-theorem and is better than (see Duffin and Schaefer [3]). In this paper, a sharper estimate is given.     

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.     

Bifurcation of periodic solutions to variational inequalities in R κ based on Alexander-Yorke theorem

Variational inequalities are studied, where K is a closed convex cone in , 3, B is a × matrix, G is a small perturbation, a real parameter. The assumptions guaranteeing a Hopf bifurcation at some ₀ for the corresponding equation are considered and it is proved that then, in some situations, also a bifurcation of periodic solutions to our inequality occurs at some _{I 0}. Bifurcating solutions are obtained by the limiting process along branches of solutions to penalty problems starting at ₀ constructed on the basis of the Alexander-Yorke theorem as global bifurcation branches of a certain enlarged system.     

Lattices of interpretability types of varieties

Let be the set of all primes, the field of all algebraic numbers, and Z the set of square-free natural numbers. We consider partially ordered sets of interpretability types such as , and , where AD is a variety of -divisible Abelian groups with unique taking of the pth root _p(x) for every p , is a variety of -modules over a normal field , contained in , and G_n is a variety of n-groupoids defined by a cyclic permutation (12 ...n). We prove that , and are distributive lattices, with and where ub and ub_f are lattices (w.r.t. inclusion) of all subsets of the set and of finite subsets of , respectively.Deceased.__________Translated from Algebra i Logika, Vol. 44, No. 2, pp. 198–210, March–April, 2005.     

Generalization of some classical inequalities in the theory of orthogonal series

Let {X_i} _– be a sequence of random variables, E(X_i) 0. If 1, estimates for the -th moments can be derived from known estimates of the -th moment. Here we generalized the Men'shov-Rademacher inequality for =2 for orthonormal X_i, to the case 1 and dependent random variables. The Men'shov-Payley inequality >2 for orthonormal X_i) is generalized for >2 to general random variables. A theorem is also proved that contains both the Erdös -Stechkin theorem and Serfling's theorem withv > 2 for dependent random variables.Translated from Matematicheskie Zametki, Vol. 17, No. 2, pp. 219–230, February, 1975.This article was written while the author was working in the V. A. Steklov Mathematics Institute, Academy of Sciences of the USSR.     

SU4 (ℂ) als Kollineationsgruppe in sechzehndimensionalen lokalkompakten Translationsebenen

We study 16-dimensional locally compact translation planes in which, for an affine point o, the stabilizer of the affine collineation group contains a subgroup locally isomorphic to SU₄ (). If has only one affine fixed point o, then it is shown that either the plane is the classical Moufang plane over the Cayley numbers, or else must be normal in the stabilizer and has dimension at most 37. This also comprises the proof of the fact that if contains a subgroup locally isomorphic to SU₄() × SL₂() then the plane is the classical Cayley plane. The case that has more affine fixed points in dealt with as well; then, except for a well-known family of planes admitting Spin₇() as a group of collineations, has dimension at most 34.     

Conjugates of Rational Equivariant Holomorphic Maps of Symmetric Domains

Let be an equivariant holomorphic map of symmetric domains associated to a homomorphism of semisimple algebraic groups defined over . If and are torsion-free arithmetic subgroups with , the map induces a morphism : of arithmetic varieties and the rationality of is defined by using symmetries on and as well as the commensurability groups of and . An element determines a conjugate equivariant holomorphic map of which induces the conjugate morphism of . We prove that is rational if is rational.     

Décroissance rapide de la distribution fλ

Let X be an open subset of ⁿ and (f₁, ...,f_p): X ^p be a holomorphic mapping. We prove that if (x⁰,0, ⁰) T^* × ^p does not belong to the characteristic variety of the _X []-module _X[]f, then there exists a conic neighborhood V × of (x⁰, ⁰) such the function is rapidely decreasing in | Im | for with Re bounded, for any (n,n)-form of class C with compact support in V. The following partial converse of this result is also established: if for all (n,n)-forms of class C with compact support in X, then .     

On π-Solvable and Locally π-Solvable Groups with Factorization

We prove that, in a locally -solvable group G = AB with locally normal subgroups A and B, there exist pairwise-permutable Sylow - and p-subgroups A , A _p and B , B _p , p , of the subgroups A and B, respectively, such that A B is a Sylow -subgroup of the group G and, for an arbitrary nonempty set ,

On Some Proximinal Subspaces of Modular Spaces

Let (, , ) be a complete measure space, L⁰ the vector lattice of -measurable real functions on , : L⁰ [0, )] a lattice semimodular, the corresponding modular space, S₀ the ideal generated by and 0,{\text{ }}\exists {\text{ }}s \in {\text{ }}S_{\text{0}} {\text{ such that }}\rho \left( {\frac{{x - s}}{\user1{\lambda }}} \right) < \infty } \right\}$$ " align="middle" border="0"> . In X consider the distance 0:\rho \left( {\frac{{x - y}}{\user1{\lambda }}} \right) \leqq \user1{\lambda }} \right\}$$ " align="middle" border="0"> and, if is convex, the distances d_L, d_o subordinated to the Luxemburg and Amemiya-Orlicz norms, respectively. We give necessary and sufficient conditions for H(S_o) in order to be proximinal in X with the distances d, d_L and d_o.     

Noneffectiveness of a class of regular matrices

We show that if a sequence {_j} is such that ₁>_{2 3}..., then for any bounded sequence {S_n} the equation implies the equation . This theorem generalizes a theorem of N. A. Davydov [2].Translated from Matematicheskie Zametki, Vol. 16, No. 3, pp. 361–364, September, 1974.In conclusion the author thanks N. A. Davydov for useful advice in the writing of this paper.     

An Improvement of an Inequality of Fiedler Leading to a New Conjecture on Nonnegative Matrices

Suppose that A is an n × n nonnegative matrix whose eigenvalues are = (A), ₂, ..., _n. Fiedler and others have shown that \det( I -A) ⁿ - ⁿ, for all > with equality for any such if and only if A is the simple cycle matrix. Let a _i be the signed sum of the determinants of the principal submatrices of A of order i × i, i=1, ..., n - 1. We use similar techniques to Fiedler to show that Fiedler's inequality can be strengthened to: for all . We use this inequality to derive the inequality that: . In the spirit of a celebrated conjecture due to Boyle-Handelman, this inequality inspires us to conjecture the following inequality on the nonzero eigenvalues of A: If ₁ = (A), ₂,...,_k are (all) the nonzero eigenvalues of A, then . We prove this conjecture for the case when the spectrum of A is real.