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.     

On extending backwards positive definite sequences

The two-sided Hamburger moment problem¹, also called the strong one [4], has been extensively studied in recent years in connection with rational approximation. We propose to consider the question of when a sequence, say {a _n } _n=0 can be extended backwards so that the resulting sequence {a _n } _n=–N has an integral representation of the Hamburger type. This was settled (without any proof) under different circumstances in [6]. Here we wish to discuss this completely, as well as the possibility of extending {a _n } _n=0 to {a _n } _n– .     

On discrete and continuous norms in Paley-Wiener spaces and consequences for exponential frames

It is well known that for certain sequences {t_n}_n the usual L^p norm ·_p in the Paley-Wiener space PW ^p is equivalent to the discrete norm f_p,{tn}:=( _n=– |f(t_n)|^p)^1/p for 1 p = < and f_,{tn}:=sup _n|f(t_n| for p=). We estimate f_p from above by Cf_p, _n and give an explicit value for C depending only on p, , and characteristic parameters of the sequence {t_n}_n. This includes an explicit lower frame bound in a famous theorem of Duffin and Schaeffer.     

On the convergence of orthogonal series to +∞

For any sequence of numbers _n0, _n=1 a _n ² =, a uniformly bounded orthonormal system of continuous functions _n(x) which is complete in L₂ (0, 1), and a sequence of numbers b_n(0< b_na_n) are constructed such that _n=1 ^Emphasis> b_nn(x)= everywhere on (0, 1).Translated from Matematicheskie Zametki, Vol. 11, No. 5, pp. 499–508, May, 1972.     

On characterizations of distributions via moments of record values

Summary Let {X _n } _n ⁼¹ be a sequence of i.i.d. random variables having continuous distribution F(x) with E|X| ^l+< for some positive integer l and for some >0. It is shown that for any fixed integer N0 the sequence of moments of record values {E(X _L(n) ) ^l } _n=N characterizes F. Furthermore, this result is applied to the weak convergence of continuous distributions.     

Future independent times and Markov chains

Summary A random timeT is a future independent time for a Markov chain (X _n ) ₀ ifT is independent of (X _T+n ) _n ^/ =0 and if (X _T+n ) _n ^/ =0 is a Markov chain with initial distribution and the same transition probabilities as (X _n ) ₀ . This concept is used (with the conditional stationary measure) to give a new and short proof of the basic limit theorem of Markov chains, improving somewhat the result in the null-recurrent case.This work was supported by the Swedish Natural Science Research Council and done while the author was visiting the Department of Statistics, Stanford University     

Spectral properties of Neumann Laplacian of horns

We study the Neumann Laplacian of unbounded regions in ⁿ with cusps at infinity so that the corresponding Dirichlet Laplacian has compact resolvent. Typical of our results is that of the region {(x, y)²x, y|<1} the Neumann Laplacian has absolutely continuous spectrum [0, ) of uniform multiplicity four and an infinity of eigenvaluesE _o<E ₁... and that for the region {(x, y)²y|1}, it has absolutely continuous spectrum [1/4, ) of uniform multiplicity 2 and an infinity of eigenvaluesE ₀=0<E ₁.... We use the Enss theory with a suitable asymptotic dynamics.The second author's research is partially funded under NSF grand number DMS-8801918     

Random Walks Crossing High Level Curved Boundaries

Let {S _n} be a random walk, generated by i.i.d. increments X _i which drifts weakly to in the sense that as n . Suppose k0, k1, and E|X ₁|^1\k = if k>1. Then we show that the probability that S. crosses the curve nan ^K before it crosses the curve n –an ^k tends to 1 as a . This intuitively plausible result is not true for k = 1, however, and for 1/2 <k<1, the converse results are not true in general, either. More general boundaries g(n) than g(n) = n ^k are also considered, and we also prove similar results for first passages out of regions like { (n, y): n1, |y| (a + n) ^k } as a .     

The absolute convergence of weighted sums of dependent sequences of random variables

Summary The sum a _n X _n of a weighted series of a sequence {X _n } of identically distributed (not necessarily independent) random variables (r.v.s.) is a.s. absolutely convergent if for some in 0<1, ¦a _n ¦ < and E¦X _n ¦ < ; if a _n =z ⁿ for some ¦z¦<1 then it suffices that E(log¦X _n ¦)₊<. Examples show that these sufficient conditions are not necessary. For mutually independent {X _n } necessary conditions can be given: the a.s. absolute convergence of X _n z ⁿ (all ¦z¦<1) then implies E(log¦X _n ¦)₊ < , while if the X _n are non-negative stable r.v.s. of index , ¦a _n X _n ¦< if and only if ¦a _n ¦ < .     

The problem of conformal transformations of a circle into nonoverlapping regions

Let a, a0, a, be a fixed point in the z-plane, (a, 0, ), the class of all systemsf _k()_l ³ of functions z=f ^k(), k=1, 2, 3, of which the first two map conformally and in a s ingle-sheeted manner the circle ¦¦<1, and the third maps in a similar manner the region ¦¦>1, into pair-wise nonintersecting regions B_k, k=1, 2, 3, containing the points a, 0, and , respectively, so thatf ₁(0)=a,f ₂(0)=0 andf ₃()=. The region of values (a, 0, ) of the system M(¦f ₁'(0)¦, ¦f ₂'(0)¦, 1/¦f ₃'()¦) in the class (a, 0, ) is determined.Translated from Matematicheskie Zametki, Vol. 6, No. 4, pp. 417–424, October, 1969.     

On convergence of types and processes in Euclidean space

Let be an Euclidean space; Y _n , Z, U random vectors in ; h _n , g _n affine transformations and let þ be a subgroup of the group G of all the in vertible affine transformations, closed relative to G. Suppose that g_n and where Z is nonsingular. The behaviour of _n = h _n g _n ^–1 as n is discussed first. The results are used then to prove that if for all t(0, ), where h _n þ and Z ₁ is nonsingular and nonsymmetric with respect to þ then H, for all t(0,) and is a continuous homomorphism of the multiplicative group of (0, ) into þ. The explicit forms of the possible are shown.     

Interpolation Sequences for the Class of Functions of Finite η-Type Analytic in the Unit Disk

We establish conditions for the existence of a solution of the interpolation problem f( _n ) = b _n in the class of functions f analytic in the unit disk and such that

Tauberian Theorems for Weighted Means of Double Sequences

Let p := {p _j } _j=0 and q := {q _k } _k–0 be complex (or real) sequences with the property that P _m := _j–0 ^m p _j 0 for all m 0, Q _n := _k–0 ⁿ q _k 0 for all n 0, and both of {P _m } _m=0 and {Q _n } _n=0 are varying away from 1. Assume that {s _mn } is a double sequence in C(or one of R, a Banach space, and an ordered linear space), which is (N¯,p,q; ,) summable to a finite limit, where (,) =(1,1), (1,0), or (0,1). We give necessary and sufficient conditions under which {s _mn } converges in Pringsheim's sense. These conditions are weaker than the two-dimensional analogues of Landau's condition and Schmidt's slow decrease condition. Our results generalize and extend [1 4, 12 15]. We also solve the problems posed in [3, 13, 14].     

Mathematical expectations of functions of sums of a random number of independent terms

Conditions are found which must be imposed on a function g(x) in order that M g(₁+₂+ + _v < if M g(_i) < and M g(v) < ,, ₁, ₂, , _n, ... being non-negative and independent, being integral, and {_i} being identically distributed. The result is applied to the theory of branching processes.Translated from Matematicheskie Zametki, Vol. 3, No. 4, pp. 387–394, April, 1968.     

Algebraic polynomial bases of space LP

Let (_n) be a system, close to the orthonormal complete system (x _n). An estimate is obtained for the deviation of the system {f_n}, obtained from {_n} by Schmidt's method, from the system {x_n}. This estimate is used to show that, in any L_P(–1,1), withp (1,4/3] [4,), and for any >e¦4 = i,13..., there exists an orthogonal algebraic system (P _n (x)) _n=0 , forming a basis in L_P and such that _n = degP _n (x) n for n>n_o(p,).Translated from Matematicheskie Zametki, Vol. 23, No. 2, pp. 223–230, February, 1978.     

Integrals involving Gegenbauer and Hermite polynomials on the imaginary axis

Summary The integral _- [C _2n (it)]^–2(1+t ²)^–-1/2 dt is evaluated for > –1/2 whereC _2n is the Gegenbauer polynomial of degree 2n. Letting gives the value _- [H _2n (it)]^–2 e ^{1-1/2t 2} dt involving the Hermite polynomialH _2n of degree 2n. The result is obtained using Gegenbauer functions of the second kind.     

Factorization and reflexivity on Fock spaces

The framework of the paper is that of the full Fock space and the Banach algebraF which can be viewed as non-commutative analogues of the Hardy spacesH ² andH respectively.An inner-outer factorization for any element in as well as characterization of invertible elements inF are obtained. We also give a complete characterization of invariant subspaces for the left creation operatorsS ₁ ,..., S _n of . This enables us to show that every weakly (strongly) closed unital subalgebra of {(S ₁ ,..., S _n ) F } is reflexive, extending in this way the classical result of Sarason [S]. Some properties of inner and outer functions and many examples are also considered.The first author was supported in part by NSF DMS 93-21369 1991Mathematics Subject Classification. Primary 47D25, Secondary 32A35, 47A67.     

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 ⁿ.     

Mixing and some integro-functional equations

Summary It is proved that the operatorP: L ¹ (0, ) L ¹(0, ), given byPg(z) = _z/c [g(x)/cx]dx, is completely mixing, i.e.,P ⁿ g ₁ 0 forg L ¹(0, ) with g dx = 0. This implies that, forc (0, 1), each continuous and bounded solution of the equationf(x)= ₀ ^cx f(t)dt/(cx) (x (0, 1]) is constant.     

The Rank of a Direct Power of a Small-Cancellation Group

We construct an example of a finitely generated group G such that rank((G )ⁿ)=2 for all n1. For each n, we construct a finitely presented group G _n such that rank((G _n )ⁿ)=2. We conjecture that if G is a word-hyperbolic group then rank(G ⁿ ) as $ n. For each m we give an example of a residually finite group K _m such that K _m has exactly two relators, but K _m has no proper subgroups of index $ m. We construct a finitely generated group D such that there is an epimorphism DD×D.