Round-off error analysis of iterations for large linear systems

Summary We deal with the rounding error analysis of successive approximation iterations for the solution of large linear systemsA _x =b. We prove that Jacobi, Richardson, Gauss-Seidel and SOR iterations arenumerically stable wheneverA=A ^*>0 andA has PropertyA. This means that the computed resultx _k approximates the exact solution with relative error of order A·A ^–1 where is the relative computer precision. However with the exception of Gauss-Seidel iteration the residual vector Ax _k –b is of order A² A ^–1 and hence the remaining three iterations arenot well-behaved.This work was partly done during the author's visit at Carnegie-Mellon University and it was supported in part by the Office of Naval Research under Contract N00014-76-C-0370; NR 044-422 and by the National Science Foundation under Grant MCS75-222-55     

Elliptic boundary-value problems in complete scales of Nikol'skii-type spaces

We consider an elliptic boundary-value problem on an infinitely smooth manifold with, generally speaking, disconnected boundary. It is established that the operator of this problem is a Fredholm operator when considered in complete scales of functional spaces that depend on the parameterss ,p[1, ] and, for sufficiently large s0, coincide with the classical Nikol'skii spaces on a manifold.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 46, No. 12, pp. 1647–1654, December, 1994.In conclusion, the author expresses his deep gratitude to V. A. Mikhailets and Ya. A. Roitberg for helpful discussions.     

Resolution of the Symmetric Nonnegative Inverse Eigenvalue Problem for Matrices Subordinate to a Bipartite Graph

There is a symmetric nonnegative matrix A, subordinate to a given bipartite graph G on n vertices, with eigenvalues _{12 n} if and only if, ₁ + _n 0, ₂ + _n-10,..., _m + _{n - m + 1}0, _{m + 1}0,..., _{n - m} 0, in which m is the matching numberof G. Other observations are also made about the symmetric nonnegative inverse eigenvalue problem with respect to a graph     

On Galois representations arising from towers of coverings of P1\{0, 1, ∞}

Summary We propose a new way to describe, universally, thel-adic Galois representations associated to each almost pro-l tower of etale coverings ofP ¹\{0, 1, }. This generalizes our universal power series for Jacobi sums (cf. [I]) which arises from the tower of Fermat curves of degreel ⁿ (n), and contains the case of the tower of modular curves of level 2ml ⁿ (m: fixed,n) as another important special case. As a fundamental tool, we shall establish and use an almost pro-l version of the theorems of Blanchfield and of Lyndon in Fox free differential calculus.     

Generic continuity of restricted weak upper semi-continuous set-valued mappings

Set-valued mappings from a topological space into subsets of a Banach space which satisfy a restricted form of weak upper semi-continuity, have particularly noteworthy properties. We establish a selection theorem for certain set-valued mappings from a (-) unfavourable topological space into subsets of a Banach space and as a consequence derive the property that restricted weak upper semi-continuous set-valued mappings which satisfy a minimality condition, from a (-) unfavourable topological space into subsets of a Banach space are single-valued and norm upper semi-continuous at the points of a residual subset of their domain.     

On strong summability of polynomial expansions

—.

---

---

Dedicated to Professor L. Leindler on his 50^th birthday     

Orthogonal systems invariant under an automorphism

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

Stability of axial motions of nonlinearly elastic loops

We establish the stability of axial motions (steady motions along the lengthwise direction) of nonlinearly elastic loops of string. A key observation here is that a linear combination of the total energy and the total circulation of the string, both of which are conserved quantities, yields an appropriate Liapunov function. From our previous work [5], we know that there are uncountably many shapes corresponding to a given axial speed. Accordingly, we establish orbitai stability (modulo this collection of relative equilibria). For a well-defined class of soft materials, there is an upper bound on the axial speed sufficient for stability; stiff materials are shown to be orbitally stable at any axial speed.     

Subsets with Restricted Movement

Let G be a finite permutation group on a set with no fixed points in and let m and k be integers with 0 < m < k. For a finite subset of the movement of is defined as move() = max_gG| ^g \ |. Suppose further that G is not a 2-group and that p is the least odd prime dividing |G| and move() m for all k-element subsets of . Then either || k + m or k (7m – 5) / 2, || (9m – 3)/2. Moreover when || > k + m, then move() m for every subset of .     

Асимптоический Анализ Распределения Статистики Диксона

. u 60-u u     

Stochastically monotone Markov Chains

Summary A real-valued discrete time Markov Chain {X _n} is defined to be stochastically monotone when its one-step transition probability function pr {X _n+1y¦ X _n=x} is non-increasing in x for every fixed y. This class of Markov Chains arises in a natural way when it is sought to bound (stochastically speaking) the process {X _n} by means of a smaller or larger process with the same transition probabilities; the class includes many simple models of applied probability theory. Further, a given stochastically monotone Markov Chain can readily be bounded by another chain {Y _n}, with possibly different transition probabilities and not necessarily stochastically monotone, and this is of particular value when the latter process leads to simpler algebraic manipulations. A stationary stochastically monotone Markov Chain {X _n} has cov(f(X ₀), f(X _n)) cov(f(X ₀), f(X _n+1))0 (n =1, 2,...) for any monotonic function f(·). The paper also investigates the definition of stochastic monotonicity on a more general state space, and the properties of integer-valued stochastically monotone Markov Chains.     

On the exactness of a theorem of G.A. Fomin

, . . [1] - . .     

A Hubert space characterization among function spaces

— [0,1] ,E — - e=1 [0,1]. I — _E =1, E=L ₂ x _e =xL ₂ x E.

---

---

This work was prepared when the second author was a visiting professor of the CNR at the University of Firenze. He was supported by the Soros International Fund.     

Approximation of functions of several variables by trigonometric polynomials with given number of harmonics,and estimates of ε-entropy

. - . .. . . . , 340 048 . 1      

Einschließungsaussagen für gewöhnliche Differentialoperatoren

Summary For differential operatorsM of second order (as defined in (1.1)) we describe a method to prove Range-Domain implications—Mu–u and an algorithm to construct these functions , , , . This method has been especially developed for application to non-inverse-positive differential operators. For example, for non-negativea ₂ and for given functions = we require =C ₀[0, 1] C ₂([0, 1]–T) whereT is some finite set), (M) (t)(t), (t[0, 1]–T) and certain additional conditions for eachtT. Such Range-Domain implications can be used to obtain a numerical error estimation for the solution of a boundary value problemMu=r; further, we use them to guarantee the existence of a solution of nonlinear boundary value problems between the bounds- and .     

The Laplacian with Robin Boundary Conditions on Arbitrary Domains

Using a capacity approach, we prove in this article that it is always possible to define a realization of the Laplacian on L ²() with generalized Robin boundary conditions where is an arbitrary open subset of R ⁿ and is a Borel measure on the boundary of . This operator generates a sub-Markovian C ₀-semigroup on L ²(). If d=d where is a strictly positive bounded Borel measurable function defined on the boundary and the (n–1)-dimensional Hausdorff measure on , we show that the semigroup generated by the Laplacian with Robin boundary conditions has always Gaussian estimates with modified exponents. We also obtain that the spectrum of the Laplacian with Robin boundary conditions in L ^p () is independent of p[1,). Our approach constitutes an alternative way to Daners who considers the (n–1)-dimensional Hausdorff measure on the boundary. In particular, it allows us to construct a conterexample disproving Daners' closability conjecture.     

Quasiclassical asymptotic behavior of the scattering cross section for asymptotically homogeneous potentials

One considers the total scattering cross section on the potential gV(x), x^m, m3, for large values of the coupling constant g and of the wave number k. One assumes that V(x)(x/|1x|)|x|^–, 2>m+1, as ¦x¦. It is shown that for gk^–1 , g^3–ak^2(a–2) the scattering cross section is equal asymptotically to _a(gk^–1), x=(m–1)(–1)^–1. Here the coefficient _a is determined only by the function and the number . Under the additional conditions >0, V>0, the indicated asymptotic behavior holds in the large domain gk^–1 , gk^a–z c(gk^–1), >0.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 152, pp. 105–136, 1986.     

A finite element method for a singularly perturbed boundary value problem

Summary We examine the problem:u+a(x)u–b(x)u=f(x) for 0<x<1,a(x)>0,b(x)>, ² = 4>0,a, b andf inC ² [0, 1], in (0, 1],u(0) andu(1) given. Using finite elements and a discretized Green's function, we show that the El-Mistikawy and Werle difference scheme on an equidistant mesh of widthh is uniformly second order accurate for this problem (i.e., the nodal errors are bounded byCh ², whereC is independent ofh and ). With a natural choice of trial functions, uniform first order accuracy is obtained in theL (0, 1) norm. On choosing piecewise linear trial functions (hat functions), uniform first order accuracy is obtained in theL ¹ (0, 1) norm.     

Some functional inequalities and their Baire category properties

Summary In the paper we consider, from a topological point of view, the set of all continuous functionsf:I I for which the unique continuous solution:I – [0, ) of(f(x)) (x, (x)) and(x, (x)) (f(x)) (x, (x)), respectively, is the zero function. We obtain also some corollaries on the qualitative theory of the functional equation(f(x)) = g(x, (x)). No assumption on the iterative behaviour off is imposed.     

Über eine Verallgemeinerung der Nicoletti-Aufgabe für Funktional-Differentialgleichungen mit voreilendem Argument

We consider a functional differential equation (1) (t)=F(t,) fort[0,+) together with a generalized Nicoletti condition (2)H()=. The functionF: [0,+)×C ⁰[0,+)B is given (whereB denotes the Banach space) and the value ofF (t, ) may depend on the values of (t) fort[0,+);H: C ⁰[0,+)B is a given linear operator and B. Under suitable assumptions we show that when the solution :[0,+)B satisfies a certain growth condition, then there exists exactly one solution of the problem (1), (2).