Distribution of the supremum of sums of independent variables with negative drift

Let {_n} be a sequence of identically distributed independent random variables,M₁=<0,M ₁ ² <;S ₀=0,S _n =₁+₂,+...+ _{n, n}1;¯ S=sup {S _n n=0.} The asymptotic behavior ofP(¯ St) as t is studied. If _t ^P (₁x dx=0((t)), thenP(¯ St)– 1/¦¦ _t P (₁x dx=0((t)) (t) is a positive function, having regular behavior at infinity.Translated from Matematicheskie Zametki, Vol. 22, No. 5, pp. 763–770, November, 1977.The author thanks B. A. Rogozin for the formulation of the problem and valuable remarks.     

Mittelwert der Eulerschen φ-Funktion und des Quadrates der Dirichletschen Teilerfunktion in algebraischen Zahlkörpern

LetK be an algebraic number field, and for every integer K let () andd(), respectively, denote the number of relatively prime residue classes and the number of divisors of the principal ideal (). Asymptotic equalities are proved for the sums () and d ²(), where runs through certain finite sets of integers ofK.     

Some overdetermined boundary value problems for harmonic functions

Summary In this paper we study various overdetermined problems involving harmonic functions. In particular, we show that if the second eigenfunctionu ₂ of the Stekloff eigenvalue problem in a bounded simply connected plane domain has a constant value of u ₂ on , then is a disk

---

Résumé Cet article est consacré à l'étude de certains problèmes surdéterminés pour des fonctions harmoniques. En particulier, nous montrons que si le gradient de la seconde fonction propre du problème de Stekloff défini dans un domaine borné, simplement connexe du plan, a son module constant sur la frontière , alors est nécessairement un disque.

     

Approximating derivations on ideals ofC *-algebras

For each^*-derivation of a separableC ^*-algebraA and each >0 there is an essential idealI ofA and a self-adjoint multiplierx ofI such that (–ad(ix))|I< and x.     

Taut Distance-Regular Graphs of Odd Diameter

Let denote a bipartite distance-regular graph with diameter D 4, valency k 3, and distinct eigenvalues ₀ > ₁ > ··· > _D. Let M denote the Bose-Mesner algebra of . For 0 i D, let E _i denote the primitive idempotent of M associated with _i . We refer to E ₀ and E _D as the trivial idempotents of M. Let E, F denote primitive idempotents of M. We say the pair E, F is taut whenever (i) E, F are nontrivial, and (ii) the entry-wise product E F is a linear combination of two distinct primitive idempotents of M. We show the pair E, F is taut if and only if there exist real scalars , such that _{i + 1 i + 1} – _{i – 1 i – 1} = _i ( _{i + 1} – _{i – 1}) + _i ( _{i + 1} – _{i – 1}) + (1 i D – 1)where ₀, ₁, ..., _D and ₀, ₁, ..., _D denote the cosine sequences of E, F, respectively. We define to be taut whenever has at least one taut pair of primitive idempotents but is not 2-homogeneous in the sense of Nomura and Curtin. Assume is taut and D is odd, and assume the pair E, F is taut. We show

The existence of probability measures with specified projections

Let X and Y be locally compact-compact topological spaces, F X×Y is closed, and P(F) is the set of all Borel probability measures on F. For us to find, for the pair of probability measures (_x, _y P (X)×P(Y), a probability measure P(F) such that _X = _X ^–1 , _Y = _Y ^–1 it is necessary and sufficient that, for any pair of Borel sets A X, B Y for which (A× B) F=Ø, the condition _XA+ _YB 1 holds.Translated from Matematicheskie Zametki, Vol. 14, No. 4, pp. 573–576, October, 1973.     

Symmetric balanced ternary designs with ϱ1 = 1 or 2

Summary We prove the following two non-existence theorems for symmetric balanced ternary designs. If ₁ = 1 and 0 (mod 4) then eitherV = + 1 or 4₂ – + 1 is a square and (4₂ – + 1) divides ² – 1. If ₁ = 2 thenV = ((m + 1)/2) ² + 2,K = (m ² + 7)/4 and = ((m – 1)/2)² + 1 wherem 3 (mod 4). An example belonging to the latter series withV = 18 is constructed.     

The tree number of a graph with a given girth

A family of subtrees of a graphG whose edge sets form a partition of the edge set ofG is called atree decomposition ofG. The minimum number of trees in a tree decomposition ofG is called thetree number ofG and is denoted by(G). It is known that ifG is connected then(G) |G|/2. In this paper we show that ifG is connected and has girthg 5 then(G) |G|/g + 1. Surprisingly, the case wheng = 4 seems to be more difficult. We conjecture that in this case(G) |G|/4 + 1 and show a wide class of graphs that satisfy it. Also, some special graphs like complete bipartite graphs andn-dimensional cubes, for which we determine their tree numbers, satisfy it. In the general case we prove the weaker inequality(G) (|G| – 1)/3 + 1.     

Аппроксимация субга рмонических функций

The following statement is proved. Letu be a subharmonic function in the region and _u the associated measure. Then there exists a functionf holomorphic in and such that if _f is the associated measure of the function in ¦f¦, then ¦u(z)–ln¦f(z)¦ A¦ln s¦+B¦ln diam¦+ s(¦lns¦+1)+C. hold at every point z for which the setsD(z, t)={w: ¦w–z¦},t(0,s) lie in and satisfy(D(z, t))t both for= _u and for= _f . In the case where is an unbounded region, In diam should be replaced by ln ¦z¦. The constants, , do not depend on andu.

---

---

. . .     

Infinitesimal obstructions to weakly mixing

Let ^t be the flow (parametrized with respect to arc length) of a smooth unit vector field v on a closed Riemannian manifold M ⁿ , whose orbits are geodesics. Then the (n-1)-plane field normal to v, v, is invariant under d ^t and, for each x M, we define a smooth real function _x (t) : (1 + _i (t)), where the _i(t) are the eigenvalues of AA ^T, A being the matrix (with respect to orthonormal bases) of the non-singular linear map d^2t , restricted to v at the point _x ^-t M ⁿ.Among other things, we prove the Theorem (Theorem II, below). Assume v is also volume preserving and that _x ^' (t) 0 for all x M and real t; then, if _x ^t : M M is weakly missng for some t, it is necessary that vx 0 at all x M.     

Positive Solutions for a Singular Nonlinear Problem on a Bounded Domain in R 2

For a bounded regular Jordan domain in R ², we introduce and study a new class of functions K() related on its Green function G. We exploit the properties of this class to prove the existence and the uniqueness of a positive solution for the singular nonlinear elliptic equation u+(x,u)=0, in D(), with u=0 on and uC(), where is a nonnegative Borel measurable function in ×(0,) that belongs to a convex cone which contains, in particular, all functions (x,t)=q(x)t ^–,>0 with nonnegative functions qK(). Some estimates on the solution are also given.     

О сходимости метода совпадения

.      

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.     

Orthogonal systems

An equidistant permutation array (E.P.A.)A(r, v) is av × r array in which every row is a permutation of the integers 1, 2, ,r such that any two distinct rows have precisely columns in common. In this paper we introduce the concept of orthogonality for E.P.A.s. A special case of this is the well known idea of a set of pairwise orthogonal latin squares. We show that a set of these arrays is equivalent to a particular type of resolvable (r, )-design. It is also shown that the cardinality of such a set is bounded byr – with the upper bound being obtained only if = 0. A brief survey of related orthogonal systems is included. In particular, sets of pairwise orthogonal symmetric latin squares, sets of orthogonal Steiner systems and sets of orthogonal skeins.     

On convex multipliers of convergence of some classes of bivariate fourier series

- ()N²,L _F ( ) — , 2- , {s _m() f} -L. — . (L _F( ),L _F( ) ={(k)} (kZ²) , fL_F( ) f , , L _F( ). - ={()} ={()} , n(())m()n(()+()) . R() , .. - . , . (L _F ( ),L _F ( )) , R(,)=O(1) (x).

---

---

The author wishes to express his gratitude to S. A.Teljakovski for setting the problem and for his attention to this paper.     

Sharp Nikolskii inequalities with exponential weights

w _a(x)=exp(–x^a), xR, a0. , N _n (a,p,q) — (2), _n P _nw_ap, CN_n(a,p, q)P_nw_aq. , — , {P _n}, .

---

---

This material is based upon research supported by the National Science Foundation under Grant No. DMS-84-19525, by the United States Information Agency under Senior Research Fulbright Grant No. 85-41612, and by the Hungarian Ministry of Education (first author). The work was started while the second author visited The Ohio State University between 1983 and 1985, and it was completed during the first author's visit to Hungary in 1985.     

Sur l'homotopie rationnelle des espaces fonctionnels

Let X be a nilpotent space such that it exists k1 with H^p (X,) = 0 p > k and H^k (X,) 0, let Y be a (m–1)-connected space with mk+2, then the rational homotopy Lie algebra of Y^X (resp. is isomorphic as Lie algebra, to H^* (X,) (_* (Y) ) (resp.⁺ (X,) (_* (Y) )). If X is formal and Y -formal, then the spaces Y^X and are -formal. Furthermore, if dim _* (Y) is infinite and dim H^* (Y,Q) is finite, then the sequence of Betti numbers of grows exponentially.     

On functions having Cauchy differences in some prescribed sets

Summary AssumeE is a real topological vector space,F is a real Banach space,K is a discrete subgroup ofF andC is a symmetric, convex and compact subset ofF such thatK (6C) = {0}. If a functionh:E F is continuous at at least one point andh(x + y) – h(x) – h(y) K + C for allx, y E, then there exists a continuous linear functiona:E F such thath(x) – a(x) K + C for everyx E.     

Estimate of the modulus of continuity of the generalized solutions of certain singular parabolic equations

One considers singular parabolic equations of the form (u)/t–u0,where sign u is a multivalued function, equal to -I for u<0, to 1 for u>0, and to the segment [-I,I] for u=0. Such a class of equations contains, in particular, the model for the two-phase Stefan problem, the porous medium equation, and the plasma equation. For the bounded generalized solutions u(x,t) of the indicated equations (without the assumption u/L²one has established a qualified local estimate of the modulus of continuity.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Ins'tituta im. V. A. Steklova AN SSSR, Vol. 147, pp. 49–71, 1985.     

On the domain of attraction of an operator between supremum and sum

Summary Between the operations which produce partial maxima and partial sums of a sequenceY ₁,Y ₂, ..., lies the inductive operation:X _n =X _n-1(X _n-1+Y _n ),n1, for 0<<1. If theY _n are independent random variables with common distributionF, we show that the limiting behavior of normed sequences formed from {X _n ,n1}, is, for 0<<1, parallel to the extreme value case =0. ForFD() we give a full proof of the convergence, whereas forFD()D(), we only succeeded in proving tightness of the involved sequence. The processX _n is interesting for some applied probability models.