Growth along a ray of a subharmonic function,having a mass distributed on the negative axis

Let U be a subharmonic function in C with a Riesz mass , distributed on the negative semiaxis without some neighborhood of zero, let and be its order and lower order, and let B(r, U) be the maximum of U(z) for ¦z¦=r. Estimates are obtained for the measure of sets of those values of r 0 for which certain inequalities hold. The following result is typical. LetE = {r:u(re ^l)–cosB<(r,U) > 0}. If < < 1, ¦¦=., then the lower logarithmic density of the set E is at least 1 – /. If < > 1,¦¦ ., then the upper logarithmic density of the set E is at least 1 – /.Translated from Teoriya Funktsii, Funktsional'nyi Analiz i Ikh Prilozheniya, No. 50, pp. 31–38, 1988.     

Localization of the spectrum of certain non-self-adjoint operators

Let the self-adjoint operator A and the bounded operator B be specified in Hilbert space We let denote the spectral family of the operator A. If (E – E _N ) B ₂+E–_NB ² 0 npnN , then in the complex plane z=+ there will exist the curve ¦ ¦ =f (), limf () = 0 for ± such that the entire spectrum of the operator A+B lies within the region ¦ ¦ f(). In particular, the condition of the theorem will be satisfied when B is a completely continuous operator.Translated from Matematicheskie Zametki, Vol. 3, No. 4, pp. 415–420, April, 1968.The author expresses his appreciation to R. S. Ismagilov for his discussion of the results.     

Büschel linearer Abbildungen

If , , are linear mappings out of a projective space (P,G) into a projective space (P', G') and , then is said to belong to the pencil <,<> of linear mappings spanned by and if in the main (x), (x), (x) are collinear for all x P. We give some sufficient conditions for x P and , , such that (x) is uniquely determined by giving, and (z), z P.

---

---

Herrn Prof. Dr.Helmut Karzel zum 60. Geburtstag gewidmet     

Distribution function of the absolute maximum of random harmonic oscillations

An analytical expression is derived for the distribution function of the absolute maximum of a Gaussian stationary process with correlation function p(t)=₁ ²+₂ ²cost t.Translated from Statisticheskie Metody Otsenivaniya i Proverki Gipotez, pp. 144–147, 1986.     

A characterization of subgroups of the orthogonal group

LetG be a subgroup of the general linear group GL_n(K), where charK 2. Put Kⁿ =V. AssumeG is generated by the setS of all elements inG for which dimV( – 1) = 1, and suppose ²=1_V for each inS. If {V(–1)¦S} contains a simplex, if – 1_V G, and if inG is a product of dim v(–1) elements inS wheneverV(–1) is not contained in the kernel of–1, thenG is a subgroup of an orthogonal group.This research was supported in part by NSERC Canada grant A7251.To Helmut Mäurer on his 60th birthday     

A spectral mapping theorem for scalar-type spectral operators in locally convex spaces

LetT be a continuous scalar-type spectral operator defined on a quasi-complete locally convex spaceX, that is,T=fdP whereP is an equicontinuous spectral measure inX andf is aP-integrable function. It is shown that (T) is precisely the closedP-essential range of the functionf or equivalently, that (T) is equal to the support of the (unique) equicontinuous spectral measureQ ^* defined on the Borel sets of the extended complex plane ^* such thatQ ^*({})=0 andT=zdQ _*(z). This result is then used to prove a spectral mapping theorem; namely, thatg((T))=(g(T)) for anyQ ^*-integrable functiong: ^{* *} which is continuous on (T). This is an improvement on previous results of this type since it covers the case wheng((T))/{} is an unbounded set in a phenomenon which occurs often for continuous operatorsT defined in non-normable spacesX.     

Solution of a problem on the identification of parameters by the distribution of the maximum random variable: a multivariate normal case

In this paper we solve the problem of unique factorization of products ofn-variate nonsingular normal distributions with covariance matrices of the form , _ij =p _{i j} forij, = _i ² ,j=j,p0.     

Structure tensor of a field of geometric objects

A construction of a kth structure tensor of a field of geometric objects is presented here (k is a non-negative integer). For a given field we construct a vector bundle H ^k,2 (). The kth structure tensor is defined as a section of H ^k,2 () generated by the torsion of . It is then shown that vanishing of the kth structure tensor is a necessary and sufficient condition for the field to be (k+1)-flat.     

Projektive G-Faserräume

Let > 0 be an integer. A projective -fibre space is formed by a covering of a projective geometry with -1 isomorphic geometries. The double elliptic space (Sphärischer Raum) is an example of a 2-fibre space. This note deals with projective -fibre spaces which are structured by multy valued orderfunctions (This notion was introduced by W. JUNKERS [2] for projective geometries) the range of which is a group G. If such an ordered -fibre space has the property ¦G¦=, it is called projective G-fibre space. It is proved that the desarguesian projective G-fibre spaces V are exactly those, which are induced by a vector space S over a field K (commutative or not) having a normal subgroup P K^*(·) with K^* P such that GK^*/P and SV^*/P. This theorem is a generalization of the well-known case P=K^*.     

On certain functional derivatives

The functional derivative J _y =F _y – (d/dx)F _y of the functionalJ[y] = _a ^b F(x,y,y)dx may be computed by the limit J _y (x) = lim ₀(J/), where is the area under a positive local variation atx, provided the height of the variation vanishes faster than the square of its width. This justifies the use of this limit by Gelfand and Fomin (Ref. 1).This work was supported in part by The National Research Council of Canada, Grant No. A-8744. The author would like to thank Dr. F. H. Hsu for discussions.     

Extremal partition and estimates for the coefficients in the class σ(r)

Let be the known class of functions f(z)=z+₀+₁z^–1+..., that are meromorphic and univalent in the region U^*={z ¦z¦ < 1}, and let (r) be the class of functions of for which f(U^*) does not contain a singly connected domain D_f, 0 D_f, with conformal radius r with respect to the coordinate origin, 0 < r < 1. Sharp inequalities are obtained for certain functionals, and sharp bounds are obtained for ¦ ₁ ¦ and ¦ ₂ ¦ in the class (r). The proof illustrates the possibility of using results with a symmetrization character in problems on extremal partition of a Riemannian sphere to obtain sharp bounds for coefficients in the classes and (r).Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 196, pp. 101–116, 1991.     

Weak convergence of probability measures relative to incompatible topology and σ-field with applications to renewal theory

Summary Necessary and sufficient conditions are given in order that a sequence of probability measures, weakly convergent relative to a given topology ₀ and associated -field ( ₀), are weakly convergent (and satisfy a continuity theorem) relative to the ( ₀)-measurable functions which are continuous in some finer topology ₁, even if does not extend to ( ₀). These conditions are shown to be applicable to a sequence of translated renewal measures. Alternate conditions (tightness, uniformity of weak convergence) are investigated and shown to be inappropriate.This research was partially supported by UMC Summer Faculty Research Fellowships     

The convolution equation of Choquet and Deny on [IN]-groups

Let be a probability measure on a locally compact groupG. A real Borel functionf onG is called -harmonic if it satisfies the convolution equation *f=f. Given that isnonsingular with its translates, we show that the bounded -harmonic functions are constant on a class of groups including the almost connected [IN]-groups. If is nondegenerate and absolutely continuous, we solve the more general equation *= for positive measure on those groups which are metrizable and separable.Supported by Hong Kong RGC Earmarked Grant and CUHK Direct Grant     

Block LU factorization is stable for block matrices whose inverses are block diagonally dominant

Let A M_n (C) and let the inverse matrix B = A^–1 be block diagonally dominant by rows (columns) w.r.t. an m × m block partitioning and a matrix norm. We show that A possesses a block LU factorization w.r.t. the same block partitioning, and the growth factor for A in this factorization is bounded above by 1 + , where = max _{1im i} and _i, 0 _i 1, are the row (column) block dominance factors of B. Further, the off-diagonal blocks of A (and of its block Schur complements) satisfy the inequalities

PAT – a Reliable Path-Following Algorithm

This paper presents a new technique for the reliable computation of the -pseudospectrum defined by (A)={zC : _min(A–zI)} where _min is the smallest singular value. The proposed algorithm builds an orbit of adjacent equilateral triangles to capture the level curve (A)={zC : _min(A–zI)=} and uses a bisection procedure on specific triangle vertices to compute a numerical approximation to . The method is guaranteed to terminate, even in the presence of round-off errors.     

Analytic structures for subnormal operators

For a compactly supported measure on , we construct a mutually absolutely continuous measure so thatP ²() has analytic bounded point evaluations, and the operator of multiplication byz onP ²() has every invariant subspace hyperinvariant. We also construct an equivalent measure so thatR ²(K, ) has as analytic bounded point evaluations precisely the interior of the set of weak-star continuous point evaluations ofR (K, ). In the course of the proof, we classify weak-star closed super-algebras ofR (K, ) whenR(K) is hypo-Dirichlet.     

An Inequality for Tail Probabilities of Martingales with Bounded Differences

Let M _n =X₁+...+X_n be a martingale with bounded differences X_m=M_m-M_m-1 such that {|X_m| _m}=1 with some nonnegative _m. Write ²= ₁ ² + ... + _n ² . We prove the inequalities {M _nx}c(1-(x/)), {M _n x} 1- c(1- (-x/)) with a constant . The result yields sharp inequalities in some models related to the measure concentration phenomena.     

Local partial regularity theorems for suitable weak solutions of a class of degenerate systems

A partial regularity theorem is established for a particular class of weak solutions to the systemu/t– div(K(u)u)=(u)¦¦², div((u))=0 on a bounded domain inR ^N . Under our assumptions, (u) may exhibit exponential decay, and thus the system may be degenerate. Our proof is based upon a blow-up argument.This work was supported in part by NSF Grant DMS9424448.     

Harmonic functions on nilpotent groups

For a probability measure on a locally compact groupG which is not supported on any proper closed subgroup, an elementF ofL (G) is called -harmonic if F(st)d(t)=F(s), for almost alls inG. Constant functions are -harmonic and it is known that for abelianG all -harmonic functions are constant. For other groups it is known that non constant -harmonic functions exist and the question of whether such functions exist on nilpotent groups is open, though a number of partial results are known. We show that for nilpotent groups of class 2 there are no non constant -harmonic functions. Our methods also enable us to give new proofs of results similar to the known partial results.     

On the stochastic independence properties of hard-core distributions

A probability measurep on the set of matchings in a graph (or, more generally 2-bounded hypergraph) ishard-core if for some : [0,), the probabilityp(M) ofM is proportional to . We show that such distributions enjoy substantial approximate stochastic independence properties. This is based on showing that, withM chosen according to the hard-core distributionp, MP () the matching polytope of , and >0, if the vector ofmarginals, (Pr(AM):A an edge of ), is in (1–) MP (), then the weights (A) are bounded by someA(). This eventually implies, for example, that under the same assumption, with fixed, as the distance betweenA, B tends to infinity.Thought to be of independent interest, our results have already been applied in the resolutions of several questions involving asymptotic behaviour of graphs and hypergraphs (see [14, 16], [11]–[13]).Supported in part by NSFThis work forms part of the author's doctoral dissertation [16]; see also [17]. The author gratefully acknowledges NSERC for partial support in the form of a 1967 Science and Engineering Scholarship.