On cubature formulas on the basis of lattices

Q (.. , L). Q . P(S_r(2)) — 2 (S _r(2) (r — ). , M(P(S _r(m=sup{t(·)t(·)₁:t P(S _r(2)),t 0}. , /4+(1)M(P(S _r(2)))/r ²15/17+(1)(r+). (Q), Q L.     

A generalization of the Heine limit for functions which converge on a base

. , , . . . .     

Asymptotics of the partial sums of a set of integral transforms

In this paper, we explore the asymptotic distribution of the zeros of the partial sums of the family of entire functions of order 1 and type 1, defined by G(,,z)=₀ ¹(t)t ^–1×(1–t)^–1e ^zt dt, where Re,Re>0, is Riemann-integrable on [0,1], continuous at t=0, 1 and satisfies (0)(1)0.     

Improvement of the Nash-Tognoli theorem

Let be a smooth closed manifold in ⁿ. The Nash-Tognoli theorem says that M can be arbitrarily well approximated (in the C^r-topology with r < ) in ⁿ by a nonsingular real algebraic set under the condition that dim <(n-1)/2 There is a familiar conjecture, going back at least to Nash, that the restriction on dim in the Nash-Tognoli theorem is unnecessary. However, up to now in unstable dimensions [i.e., for dim (n-1)/2 ] the possibility of approximating was known only for orientable of codimension (in ⁿ) 1 or 2. The goal of the paper is to prove the following theorem, relaxing the restriction on dim in the Nash-Tognoli theorem to dim M<(2n-1)/3. If is a smooth closed manifold in IK and dim M<(2n–1)/3, then can be arbitrarily well approximated in ⁿ by a nonsingular real algebraic set.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 122, pp. 66–71, 1982.     

Foliated control theory, II

The main result is a control theorem for the structure space of E with control near the leaves F in M, where : E M is a fiber bundle over the Riemannian manifold M having a compact closed manifold for fiber and F is a smooth foliation of M, each leaf of which inherits a flat Riemannian geometry from M. A similar result has been proved by the authors under the assumption that each leaf of F is one-dimensional and the fiber of : E M is homotopy stable.Both authors were supported in part by the National Science Foundations.     

On the Measure of a Nonreciprocal Algebraic Number

Let M() be the Mahler measure of an algebraic number and let G() be the modulus of the product of logarithms of absolute values of its conjugates. We prove that if is a nonreciprocal algebraic number of degree d 2 then M()² G()^1/d 1/2d. This estimate is sharp up to a constant. As a main tool for the proof we develop an idea of Cassels on an estimate for the resultant of and 1/. We give a number of immediate corollaries, e.g., some versions of Smyth's inequality for the Mahler measure of a nonreciprocal algebraic integer from below.     

Orthogonal systems invariant under an automorphism

, , - ( ) . , - , ( ) .     

On the almost everywhere convergence of double Fourier series of integrable functions

, . . Q _k [0,2],k=1,2, — . F(x, y)L(T), T=[0, 2]², G(x, y)L(T) , G(x,y)=F(x,y) Q=Q ₁ ×Q ₂ - .     

Endliche Erzeugbarkeit im Ring aller holomorphen Funktionen

Let G be a compact Stein set having structure sheafO and define R=(G,O). If , is a coherent sheaf, we consider M=(G,). Then we have following theorem: A submodule NM is finitely generated iff for every infinite set A Boundary G there exists a infinite subset BA and a coherent subsheafN such thatN _z=NO _z for every zB. From this results a short algebraic proof of Frisch's theorem.     

Pictures of monotone operators

Let E be a real Banach space with dual E ^*. We associate with any nonempty subset H of E×E ^* a certain compact convex subset of the first quadrant in ², which we call the picture of H, (H). In general, (H) may be empty, but (M) is nonempty if M is a nonempty monotone subset of E×E ^*. If E is reflexive and M is maximal monotone then (M) is a single point on the diagonal of the first quadrant of ². On the other hand, we give an example (for E the nonreflexive space L ₁[0,1]) of a maximal monotone subset M of E×E ^* such that (0,1)(M) and (1,1)(M) but (1,0)(M). We show that the results for reflexive spaces can be recovered for general Banach spaces by using monotone operator of type (NI) — a class of multifunctions from E into E ^* which includes the subdifferentials of all proper, convex, lower semicontinuous functions on E, all surjective operators and, if E is reflexive, all maximal monotone operators. Our results lead to a simple proof of Rockafellar's result that if E is reflexive and S is maximal monotone on E then S+J is surjective. Our main tool is a classical minimax theorem.     

φ-Factors for Function Seminorms

Let (, A, ) be a measure space, a function seminorm on M, the space of measurable functions on , and M the space {f M : (f) < }. Every Borel measurable function : [0, ) [0, ) induces a function : M M by (f)(x) = (|f(x)|). We introduce the concepts of -factor and -invariant space. If is a -subadditive seminorm function, we give, under suitable conditions over , necessary and sufficient conditions in order that M be invariant and prove the existence of -factors for . We also give a characterization of the best -factor for a -subadditive function seminorm when is -finite. All these results generalize those about multiplicativity factors for function seminorms proved earlier.     

A graded scale of parametric families of distributions,and parameter estimates based on the sample mean

Summary Denote by _k a class of familiesP={P} of distributions on the line R¹ depending on a general scalar parameter , being an interval of R¹, and such that the moments µ₁()=xdP ,...,µ_2k ()=x ^2k dP are finite, ₁ (), ..., _k (), _k+1 () ..., _k () exist and are continuous, with ₁ () 0, and _j +1 ()= ₁ () _j () +[₂() -₁()²] _j ()/ ₁ (), J=2, ..., k. Let ₁=¯x=x ₁ + ... +x _n/n, ₂=x ₁ ² + ... +x _n ²/n, ..., _k =(x ₁ ^k + ... +x _n ^k/n denote the sample moments constructed for a sample x₁, ..., x_n from a population with distribution Pg. We prove that the estimator of the parameter by the method of moments determined from the equation ₁= ₁() and depending on the observations x₁, ..., x_n only via the sample mean ¯x is asymptotically admissible (and optimal) in the class _k of the estimators determined by the estimator equations of the form ₀ () + ₁ () ₁ + ... + _k () _k =0 if and only ifP _k .The asymptotic admissibility (respectively, optimality) means that the variance of the limit, as n (normal) distribution of an estimator normalized in a standard way is less than the same characteristic for any estimator in the class under consideration for at least one 9 (respectively, for every ).The scales arise of classes _{1 2}... of parametric families and of classes _{1 2} ... of estimators related so that the asymptotic admissibility of an estimator by the method of moments in the class _k is equivalent to the membership of the familyP in the class _k .The intersection consists only of the families of distributions with densities of the form h(x) exp {C₀() + C₁() x } when for the latter the problem of moments is definite, that is, there is no other family with the same moments ₁ (), ₂ (), ...Such scales in the problem of estimating the location parameter were predicted by Linnik about 20 years ago and were constructed by the author in [1] (see also [2, 3]) in exact, not asymptotic, formulation.Translated from Problemy Ustoichivosti Stokhasticheskikh Modelei, pp. 41–47, 1981.     

The associativity equation revisited

Summary Consideration of the Associativity Equation,x (y z) = (x y) z, in the case where:I × I I (I a real interval) is continuous and satisfies a cancellation property on both sides, provides a complete characterization of real continuous cancellation semigroups, namely that they are topologically order-isomorphic to addition on some real interval: ( – ,b), ( – ,b], –, +), (a, + ), or [a, + ) — whereb = 0 or –1 anda = 0 or 1. The original proof, however, involves some awkward handling of cases and has defied streamlining for some time. A new proof is given following a simpler approach, devised by Páles and fine-tuned by Craigen.     

Stationary measures of stochastic gradient systems,infinite lattice models

Summary Let G be the formal generator of a d-dimensional stochastic gradient system associated to an interaction potential U. If G d = 0 for such smooth that G IL ₁(), then certain moment conditions imply that is a Gibbs random field for U. If U satisfies a stability condition, and d2 or is translation invariant, then these moment conditions can be replaced by a natural support condition. Results of Holley and Stroock [6] are extended to certain unbounded spin systems.     

The convergence rates of empirical Bayes estimation in a multiple linear regression model

Empirical Bayes (EB) estimation of the parameter vector =(,²) in a multiple linear regression modelY=X+ is considered, where is the vector of regression coefficient, N(0,² I) and ² is unknown. In this paper, we have constructed the EB estimators of by using the kernel estimation of multivariate density function and its partial derivatives. Under suitable conditions it is shown that the convergence rates of the EB estimators areO(n ^{-(k-1)(k-2)/k(2k+p+1)}), where the natural numberk3, 1/3<<1, andp is the dimension of vector .The project is supported by the National Natural Science Foundation of China.     

Achtdimensionale lokalkompakte Translationsebenen mit großen kompakten Kollineationsgruppen

This paper is part of a program aiming at the classification of all higher-dimensional locally compact translation planes whose collineation groups have large dimension. In the present paper we determine all eight-dimensional locally compact translation planes which admit acompact collineation group of dimension at least 5 acting almost effectively on the translation axis. In fact, is isomorphic either to Spin₄ or toSO ₄(). The case Spin₄() has already been treated elsewhere ([6]). Here, the planes with SO ₄() are explicitly determined and studied in detail.     

On the asymptotic and invariantσ-algebras of random walks on locally compact groups

Summary Consider a random walk of law on a locally compact second countable groupG. Let the starting measure be equivalent to the Haar measure and denote byQ the corresponding Markov measure on the space of pathsG . We study the relation between the spacesL (G , ^a ,Q) andL (G , ⁱ ,Q) where ^a and ⁱ stand for the asymptotic and invariant -algebras, respectively. We obtain a factorizationL (G , ^a ,Q) L (G , ⁱ ,Q)L (C) whereC is a cyclic group whose order (finite or infinite) coincides with the period of the Markov shift and is determined by the asymptotic behaviour of the convolution powers ⁿ.     

Bounded isometries and homogeneous Riemannian quotient manifolds

Let M be a Riemannian manifold that admits a transitive semisimple group G of isometries, G of noncompact type. Then every bounded isometry of M centralizes G and so is a Clifford translation (constant displacement). Thus a Riemannian quotient M is homogeneous if and only if consists of Clifford translations of M. The technique of proof also leads to a determination of the group of all isometries of M.IMAF, Córdoba, Argentina. Partially supported by Conicet, Argentina, and by IMPA, Rio de Janeiro, Brazil.IMAF, Córdoba, Argentina. Partially supported by Conicet, Argentina.University of California at Berkely, U.S.A. Partially supported by National Science Foundation Grant DMS-8200235.     

A note on quasi-periodic solutions of some elliptic systems

We extend a recent method of proof of a theorem by Kolmogorov on the conservation of quasi-periodic motion in Hamiltonian systems so as to prove existence of (uncountably many) real-analytic quasi-periodic solutions for elliptic systems u=f _x (u, y), whereu y ^M u(y) ^N ,f=f(x, y) is a real-analytic periodic function and is a small parameter. Kolmogorov's theorem is obtained (in a special case) whenM=1 while the caseN=1 is (a special case of) a theorem by J. Moser on minimal foliations of codimension 1 on a torusT ^M +1. In the autonomous case,f=f(x), the above result holds for any .     

On summability of subsequences of partial sums of trigonometric Fourier series

n- (n1) fL ^p ([–, ] ⁿ ),=1 = (L C) . , , f([–, ] ⁿ ).