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.     

Geometric methods in the study of irregularities of distribution

Let be a signed measure on E ^d with E ^d =0 and ¦¦E^d<. DefineD _s() as sup ¦H¦ whereH is an open halfspace. Using integral and metric geometric techniques results are proved which imply theorems such as the following.Theorem A. Let be supported by a finite pointsetp _i. ThenD _s()>c _d(₁/ ₂)^1/2{ _{i(p i})²}^1/2 where ₁ is the minimum distance between two distinctp _i, and ₂ is the maximum distance. The numberc _d is an absolute dimensional constant. (The number .05 can be chosen forc ₂ in Theorem A.)Theorem B. LetD be a disk of unit area in the planeE ², andp ₁,p ₂,...,p _n be a set of points lying inD. If m if the usual area measure restricted toD, while nP _i=1/n defines an atomic measure _n, then independently of _n,nD _s(m – _n) .0335n ^1/4. Theorem B gives an improved solution to the Roth disk segment problem as described by Beck and Chen. Recent work by Beck shows thatnD _s(m – _n)cn ^1/4(logn)^–7/2.     

Asymptotic behaviour of Gaussian random fields

Summary Let X={X(t), t ^N} be a centred Gaussian random field with covariance X(t)X(s)=r(t–s) continuous on ^N×^N and r(0)=1. Let (t,s)=((X(t)–X(s)) ²)^1/2; (t,s) is a pseudometric on ^N. Assume X is -separable. Let D ₁ be the unit cube in ^N and for 0<k, D _k= {x^N: k ^–1 xD₁}, Z(k)=sup{X(t),tD _k}. If X is sample continuous and ¦r(t)¦ =o(1/log¦t¦) as ¦t¦8 then Z(k)-(2Nlogk) ^1/20 as k a.s.     

Remarks on ergodicity of stationary irreducible transient Markov chains

Summary Consider a stationary process {X _n(), – < n < . If the measure of the process is finite (the measure of the whole sample space finite), it is well known that ergodicity of the process {X _n(), - < n < and of each of the subprocesses {X _n(), 0 n < , {X _n(), – < n 0 are equivalent (see [3]). We shall show that this is generally not true for stationary processes with a sigma-finite measure, specifically for stationary irreducible transient Markov chains. An example of a stationary irreducible transient Markov chain {X _n(), - < n <} with {itX_n(), 0 n < < ergodic but {X _n(), < n 0 nonergodic is given. That this can be the case has already been implicitly indicated in the literature [4]. Another example of a stationary irreducible transient Markov chain with both {X _n(), 0 n < and {itX _n(),-< < n 0} ergodic but {X _n(), - < n < nonergodic is presented. In fact, it is shown that all stationary irreducible transient Markov chains {X _n(), - < n < < are nonergodic.This research was supported in part by the Office of Naval Research.John Simon Guggenheim Memorial Fellow.     

G8 estimator of solutions of systems of linear algebraic equations

For linear forms of regularized solutions (x, c)=Re c' · Re[I + i)+A'A_n ^–1]^–1 A'_nb of systems of equations Ax=b, where A is an n×m matrix, x, c, b are vectors, and _n is a sequence of constants, we propose the estimator , where is any measurable solution of the equation ()Re[1+₁a(())]²+ (₁–₂)(1+₁(gq()))=, a(y)=n^–1 Sp[Iy+^–1Z_s'Z^s+ iI]^–1, , _i=n_n ²_n ^–1s_n ^–1, ⁿ=mI_n ²_n ^–1s_n ^–1, X_i are independent observations on the matrix A. Under certain conditions, it is proved that G₈ is a consistent estimator for n and 0.Translated from Vychislitel'naya i Prikladnaya Matematika, No. 66, pp. 111–119, 1988.     

Asymptotic stability at infinity of planar vector fields

Let >0 andX be aC ¹ vector field on the plane such that: (i) for allq², Det(DX(q))>0; and (ii) for allp², with p, Trace(D(X(p))<0. IfX has a singularity and ² Trace(DX)dxdy is less than 0 (resp. greater or equal than 0), then the point at infinity of the Riemann sphere ²{} is a repellor (resp. an attractor) ofX.     

On a new class of multiplicative pseudo-random number generators

In the computing literature, there are few detailed analytical studies of the global statistical characteristics of a class of multiplicative pseudo-random number generators.We comment briefly on normal numbers and study analytically the approximately uniform discrete distribution or (j,)-normality in the sense of Besicovitch for complete periods of fractional parts {x _{0 1} ⁱ /p} on [0, 1] fori=0, 1,..., (p–1)p^–1–1, i.e. in current terminology, generators given byx _{n+1 1} x _n mod p wheren=0, 1,..., (p–1)p ^–1–1,p is any odd prime, (x ₀,p)=1, ₁ is a primitive root modp ², and 1 is any positive integer.We derive the expectationsE(X, ),E(X ², ),E(X _nX_n+k); the varianceV(X, ), and the serial correlation coefficient k. By means of Dedekind sums and some results of H. Rademacher, we investigate the asymptotic properties of k for various lagsk and integers 1 and give numerical illustrations. For the frequently used case =1, we find comparable results to estimates of Coveyou and Jansson as well as a mathematical demonstration of a so-called rule of thumb related to the choice of ₁ for small k.Due to the number of parameters in this class of generators, it may be possible to obtain increased control over the statistical behavior of these pseudo-random sequences both analytically as well as computationally.     

C 1 changes of variable: Beurling-Helson type theorem and Hörmander conjecture on Fourier multipliers

We prove that if aC ¹ smooth change of variable : generates a bounded composition operatorff° in the spaceA _p()=L ^p ,p2, then is linear (affine).We also prove that for a nonlinearC ¹ mapping , the norms of exponentialse ⁱ as Fourier multipliers inL ^p () tend to infinity (,||). In both results the condition C ¹ is sharp, it cannot be replaced by the Lipschitz condition.     

Non trivial L q solutions to the Ginzburg-Landau equation

It is shown that the contour problem for the stationary Ginzburg-Landau equation where =x/r with r=|x|, is well posed in L⁴(ⁿ) for a class of small data fL²(S^n–1).Mathematics Subject Classification (2000):35J05, 43A32Supported by a grant from Spanish Ministry of Education and CultureReceived: 16 December 2001     

Operator stable laws: Series representations and domains of normal attraction

LetX,X ₁,X ₂,... be i.i.d. random vectors in ^d. The limit laws that can arise by suitable affine normalizations of the partial sums,S _n=X ₁+...+X _n, are calledoperator-stable laws. These laws are a natural extension to ^d of the stable laws on. Thegeneralized domain of attraction of [GDOA()] is comprised of all random vectorsX whose partial sums can be affinely normalized to converge to . If the linear part of the affine transformation is restricted to take the formn ^–B for some exponent operatorB naturally associated to thenX is in thegeneralized domain of normal attraction of [GDONA()]. This paper extends the theory of operator-stable laws and their domains of attraction and normal attraction.     

Calculation of Some Integrals Describing Wave Fields

Two methods of calculating the scattering amplitude f(, ₀) of a wave scattered by the vertex of an arbitrarily shaped cone are justified. It is shown that the approximation f _d (, ₀,t) obtained by a method similar to the AbelPoisson method of summation converges uniformly in the regularity region for f. Also, the possibility of calculating f(, ₀) for N ₁( ₀) with the help of rapidly convergent integrals is proved. Bibliography: 7 titles.     

Perturbation of the poles of the scattering matrix under variation of the boundary condition

The behavior of the poles z_n(), n=1,2,... of the scattering matrix of the operatorl u=–u(x), x , (u/n)+(x)u|=0 as 0 is considered. It is proved that |z_n()–z_n|=0(^(1/2)qn), where q_n is the order of the pole of the scattering matrix for the operator ₀u=–u, u/=0.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 117, pp. 183–191, 1981.     

On the optimality of a characterization theorem for the gamma function using the multiplication formula

Summary The following Artin type characterization of : _{+ +} is proved: Assume thatf: _{+ +} satisfies the Gauss multiplication formula for some fixedp 2,f is absolutely continuous on [l/p, 1 + ] for some > 0 and lim _{x 0} xf(x) = 1. Thenf(x) = (x) forx > 0.The optimality of this result is checked by means of counterexamples. For instance, it is shown that the result is no longer true, if f is absolutely continuous is replaced by f is continuous and of finite variation.     

Convolution equations in spaces of sequences with an exponential growth constraint

One describes the sets of the solutions of the convolution equations S*x=0 (on the set or on ₊={n:n0}) in the spaces of sequences of the type X=^X(, ), where. One proves that any 1-invariant subspace E,EX, coincides with KezS for some S and, after the Laplace transform can be represented in the form f·A(K_{(, )}), where K_{(, )}={z:kⁿ}_{n z} ^: }+{xX:x_k=0, k(, ), whose zeros do not accumulate to the circumference ¦¦=.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSP, Vol. 149, pp. 107–115, 1986.The author expresses his sincere gratitude to N. K. Nikol'skii for the formulation of the problem and for his interest in the paper.     

Wiener-Ditkin sets for certain beurling algebras

It is proved that closed subgroups of ⁿ are Wiener-Ditkin sets for the Beurling algebrasL ¹ ( ⁿ ), <1.     

The Cesàro-Denjoy-Bochner scale of almost periodicity

, —— , . , f, ——, —. .     

Regular homomorphisms of generalized projective planes

A generalized projective plane is an incidence structure together with a relation distant on the set of points and also on the set of lines, such that any two distant points A,B (lines a,b) have a unique common line (A,B) (common point (a,b)) and three further axioms hold. Every commutative ring with 1 supplies a model. A homomorphism of into an incidence structure is called regular if the following condition and its dual are valid: A distant B and c IA,B implies c=(A,B). We shall prove the following two theorems. Let be a generalized projective plane satisfying a richness condition called (U). Let M I m. If and are regular homomorphisms of such that X = M X = M for each point X of the line m then A = B A = B for any two points A,B. If is a projective plane over a commutative ring such that (U) holds then the surjective regular homomorphisms of are induced by the ideals of the ring; in particular, the image of under a regular homomorphism is again a projective plane over a ring, and preserves distant.     

Equilibrium time evolutions and BBGKY hierarchy equations of large classical systems

Summary We show the existence of a time evolution {P _t ; t of a locally perturbed equilibrium state P of infinitely many particles in {suv}, v1, evolving under the action of the infinite Newtonian dynamics associated to the same smooth, finite range pair potential as the equilibrium state itself. Moreover, it is shown that {P _t ; t solves the weak BBGKY hierarchy equations. The treatment of this problem will be done in the general setting of so called ( ) point processes developed in [11, 10] and [4] and will require the method of moments.     

Daugavet type inequalities for operators on L p–spaces

Let T be a regular operator from L ^p L ^p. Then , where T_r denotes the regular norm of T, i.e., T_r=|T| where |T| denotes the modulus operator of a regular operator T. For p=1 every bounded linear operator is regular and T=T_r, so that the above inequality generalizes the Daugavet equation for operators on L ¹–spaces. The main result of this paper (Theorem 9) is a converse of the above result. Let T be a regular linear operator on L _p and denote by T _A the operator T_A. Then for all A with (A)>0 if and only if .     

Über die mittelfläche einer isotropen geradenkongruenz

Let be the middle surface of an isotropic rectilinear congruence of class C³ in the real Euclidean space E³. When the spherical image of is parametrized by special isothermal coordinates (u,v) G ², can be described by a generating harmonic function A(u,v). Using such a C-representation of , the basic properties of regularity and curvature of are discussed. Moreover, the cases that be a minimal (regular) surface ₁, or a plane surface ₂ are solved explicitly. In connection with the latter results (which are already well-known from Ribaucour) several new characterizations for being a regular surface ₁ resp. ₂ are given: they are based on special properties (like: being asymptotic lines resp. lines of curvature of ) of those curves c (-Spurlinien) in the tangents of which form in each point Xc a minimal angle with the straight line of passing through X.

---

---

Herrn Prof. Dr. Karl Strubecker zum 80. Geburtstag gewidmet