Supplementing Radicals and Decompositions of Near-Rings

If is a radical of near-rings and is its supplementing radical, then (N)(N) N. We address the issue when (N) (N) = N holds. In the variety F of near-rings in which the constants form an ideal, the assignment c: N N_c is a hereditary Kurosh–Amitsur radical, _c is characterized in terms of distributors and criteria are given for the decomposition N = c(N) c(N). In the subvariety A of all abstract affine near-rings, assigning the maximal torsion ideal (N) is a hereditary Kurosh–Amitsur radical. If such near-rings N A satisfy dcc on principal right ideals, then N splits into a direct sum N = (N) (N) where the additive group of (N) is torsionfree and divisible. Dropping dcc on principal right ideals, an ``essential" decomposition result is proved.     

On σ-discrete borel mappings via quasi-metrics

Let X and Y be metrizable spaces. We show that, for a mapping f : X Y, there exists a quasi-metric X inducing the topology of X such that f regarded as a mapping from (X, max{, ^–1}) to Y is continuous if and only if f in the original topology of X is a -discrete map of Borel class 1. Further, we prove that, for every -discrete mapping f: X Y of Borel class + 1, there exists a compatible quasi-metric on X such that f : (X, max{, ^–1}) Y is of Borel class . We also investigate a more general situation when the range of the mapping under consideration is not necessarily metrizable. In passing, we obtain some results related to the behaviour of absolutely Borel sets and absolutely analytic spaces with respect to compatible quasi-metrics.     

A Full Characterization of Multipliers for the Strong ϱ-Integral in the Euclidean Space

We study a generalization of the classical Henstock-Kurzweil integral, known as the strong -integral, introduced by Jarník and Kurzweil. Let be the space of all strongly -integrable functions on a multidimensional compact interval E, equipped with the Alexiewicz norm We show that each element in the dual space of can be represented as a strong -integral. Consequently, we prove that fg is strongly -integrable on E for each strongly -integrable function f if and only if g is almost everywhere equal to a function of bounded variation (in the sense of Hardy-Krause) on E.     

On summability of weighted Lagrange interpolation. I

The paper is devoted to the study of summability of weighted Lagrange interpolation on the roots of orthogonal polynomials with respect to a weight function w. Starting from the Lagrange interpolation polynomials we shall construct a wide class of discrete processes (using summations) which are uniformly convergent in a suitable Banach space (C,·) of continuous functions (w denotes a weight). We shall give such conditions with respect to w, , (C,·) and to summation methods for which the uniform convergence holds. Error estimates for the approximation will also be considered.     

Spitzer's condition and ladder variables in random walks

Summary Spitzer's condition holds for a random walk if the probabilities _n =P{ _n > 0} converge in Cèsaro mean to , where 0<<1. We answer a question which was posed both by Spitzer [12] and by Emery [5] by showing that whenever this happens, it is actually true that n converges to . This also enables us to give an improved version of a result in Doney and Greenwood [4], and show that the random walk is in a domain of attraction, without centering, if and only if the first ladder epoch and height are in a bivariate domain of attraction.     

On sums of two coprimek-th powers

Under the assumption of the Riemann Hypothesis, an asymptotic formula with a sharp error term is established for _{nx k} (n), where _k (n) denotes the number of ways to writen as a sum of twok-th powers of coprime positive integers (k3).     

Large Finite Lattice Packings

A finite lattice packing of a centrally symmetric convex body K in ^d is a family C+K for a finite subset C of a packing lattice of K. For >0 the density (C;K,) is defined by (C;K,) = card C·V(K)/V(conv C+K). Assume that C ⁿ is the optimal packing with given n=card C, n large. It was known that conv C ⁿ is a segment if is less than the sausage radius _s (>0), and the inradius r(conv C ⁿ ) tends to infinity with n if is greater than the critical radius _c ( _s ). We prove that if > _c in ^d , then the shape of conv C ⁿ is not too far from being a ball. In addition, if r(conv C ⁿ ) is bounded but the radius of the largest (d–2)-ball in C ⁿ tends to infinity, then eventually C ⁿ is contained in some k–plane and its shape is not too far from being a k-ball where either k=d–1 or k=d–2. This yields in ³ that if _s << _c , then conv C ⁿ is eventually planar and its shape is not too far from being a disc. As an example, we show that _s = _c if K is a 3-ball, verifying the Strong Sausage Conjecture in this case. On the other hand, if K is the octahedron then _s < _c holds even for general (not only lattice) packings.     

Cocycles d'Euler et de Maslov

Conclusion Nous espérons avoir convaincu le lecteur qu'il peut être utile de considérer la classe de Maslov comme une classe bornée. Dans [Gh], nous avons montré que la classe d'Euler bornée pour un groupe d'homéomorphismes directs du cercle rend compte de la dynamique topologique de ce groupe. Existe-t-il un résultat analogue pour Sp(2n,)? En d'autres termes, soit un groupe discret et ₁, ₂ deux représentations de dans Sp(2n,). On suppose que les cocycles ₁ ^* et ₂ ^* définissent la même classe bornée. Que peut-on en conclure sur ₁ et ₂?Par ailleurs, l'article [At l] traite aussi d'invariants sur SL(2,) différents de ceux que nous avons considérés, comme par exemple les fonctionsL de Shimizu. Est-il possible de les faire rentrer naturellement dans notre cadre?

---

     

Singularities of the Green function of a random walk on a discrete group

LetX be a countable discrete group and let be an irreducible probability onX. The radius of convergence of the Green function is finite, and independent ofx. Let 0} \right\}$$ " align="middle" border="0"> be the period of . We show that for eachxX the singularities of the analytic functionzG(x; z) on the circle {z:|z|=} are precisely the points e ^2ik/d k=0, ...,d–1. In particular, is the only singularity on the circle in the aperiodic cased=1 (which occurs, for example, when (e)>0). This affirms a conjecture ofLalley [5]. When is symmetric, i.e., (x ^–1)=(x) for allxX, d is either 1 or 2. As another particular case of our result, we see that- is then a singularity ofzG (x; z) if and only ifd=2, in which caseX is bicolored. This answers a question ofde la Harpe, Robertson andValette [2].     

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.     

On Ricci eigenvalues of locally homogeneous Riemannian 3-manifolds

We find the necessary and sufficient conditions for three constants ₁, ₂, ₃ ³ to be the principal Ricci curvatures of some 3-dimensional locally homogeneous Riemannian space.The first author was supported by the grant GAR 201/93/0469; the second author was supported by the grant SFS, Project #0401.     

φ-Factors for Function Seminorms

Let (, A, ) be a measure space, a function seminorm on M, the space of measurable functions on , and M the space {f M : (f) < }. Every Borel measurable function : [0, ) [0, ) induces a function : M M by (f)(x) = (|f(x)|). We introduce the concepts of -factor and -invariant space. If is a -subadditive seminorm function, we give, under suitable conditions over , necessary and sufficient conditions in order that M be invariant and prove the existence of -factors for . We also give a characterization of the best -factor for a -subadditive function seminorm when is -finite. All these results generalize those about multiplicativity factors for function seminorms proved earlier.     

On the Space of Sequences of p-Bounded Variation and Related Matrix Mappings

The difference sequence spaces (), c(), and c ₀() were studied by Kzmaz. The main purpose of the present paper is to introduce the space bv _p consisting of all sequences whose differences are in the space _p , and to fill up the gap in the existing literature. Moreover, it is proved that the space bv _p is the BK-space including the space _p . We also show that the spaces bv _p and _p are linearly isomorphic for 1 p . Furthermore, the basis and the -, -, and -duals of the space bv _p are determined and some inclusion relations are given. The last section of the paper is devoted to theorems on the characterization of the matrix classes (bv _p : ), (bv : _p ), and (bv _p : ₁), and the characterizations of some other matrix classes are obtained by means of a suitable relation.     

Energy stability of channel flows

Zusammenfassung Die Energiemethode wird zur Untersuchung der Stabilität einer beliebigen Kanalströmung angewandt. Es wird eine auf Eigenwertabschätzungen basierte qualitative Beschreibung der Fläche (, ) gegeben, welche die Schranke für den Instabilitätsbereich in Abhängigkeit von Längs- bzw. Querwellenzahl der Störungen darstellt. Eine allgemeine untere Grenze für die minimalisierende Querwellenzahl und den zugehörigen Eigenwert (0, ) wird angegeben. Das Problem der Energiestabilität wird dann für eine Klasse von Geschwindigkeitsprofilen mit Wendepunkt gelöst. Die durch numerische Integration erhaltenen Ergebnisse werden mit den Ergebnissen der linearen Stabilitätstheorie verglichen.     

Perfect equilibria of a model of n-person noncooperative bargaining

We study the set of subgame perfect equilibria associated with then-person noncooperative bargaining mechanism proposed by Hart and Mas-Colell (1992). Our results pertain to transferable utility games. The set of perfect equilibria depends on the parameter representing the continuation probability, . For general TU games, we characterize the set of payoffs from perfect equilibria for (a) small values of and (b) large values of . For symmetric games a complete characterization for all values of is provided.We are grateful to Andreu Mas-Colell for help and encouragement and to two referees for every helpful comments.     

Density functions for prime and relatively prime numbers

Letr ^*(x) denote the maximum number of pairwiserelatively prime integers which can exist in an interval (y,y+x] of lengthx, and let ^*(x) denote the maximum number ofprime integers in any interval (y,y+x] whereyx. Throughout this paper we assume the primek-tuples hypothesis. (This hypothesis could be avoided by using an alternative sievetheoretic definition of ^*(x); cf. the beginning of Section 1.) We investigate the differencer ^*(x)—^*(x): that is we ask how many more relatively prime integers can exist on an interval of lengthx than the maximum possible number of prime integers. As a lower bound we obtainr ^*(x)—^*(x)<x ^c for somec>0 (whenx). This improves the previous lower bound of logx. As an upper bound we getr ^*(x)—^*(x)=o[x/(logx)²]. It is known that ^*(x)—(x)>const.[x/(logx)²];.; thus the difference betweenr ^*(x) and ^*(x) is negligible compared to ^*(x)—(x). The results mentioned so far involve the upper bound or maximizing sieve. In Section 2, similar comparisons are made between two types of minimum sieves. One of these is the erasing sieve, which completely eliminates an interval of lengthx; and the other, introduced by Erdös and Selfridge [1], involves a kind of minimax for sets of pairwise relatively prime numbers. Again these two sieving methods produce functions which are found to be closely related.     

Reversible subsets of certain linear transformations

Summary Suppose U is a set,F is a field of subsets of U, p_AB is the set of all real-valued bounded finitely additive functions defined onF, and for each in p_AB, A()={: in p_AB, absolutely continuous with respect to }. SupposeM is a linear subspace of p_AB such that . A generalisation of a previously discussed collection of linear transformations (see J. London Math. Soc., vol. 44 (1969), pp. 385–396) is treated by letting C_M denote the set to which T belongs iff T is a linear transformation from M into p_AB such that for some K inR and all in M and V inF, . Certain theorems of the aforementioned reference are generalized, as well as one of Trans. Amer. Math. Soc., vol. 199, (1974), pp. 131–140. The principal result of the present paper is the following generalisation of a reversibility characterisation in the first mentioned reference: Theorem: If T is in C_M, then (, T()): in M A(T()) is the only reversible subset T⁰ if T such that: i) the domain M⁰ of T⁰ is a linear subspace of M and , and ii) the range of T⁰ is the range of T.     

Hecke Algebras of Classical Groups over p-adic Fields II

In the previous part of this paper, we constructed a large family of Hecke algebras on some classical groups G defined over p-adic fields in order to understand their admissible representations. Each Hecke algebra is associated to a pair (J , ) of an open compact subgroup J and its irreducible representation which is constructed from given data = (, P₀, ). Here, is a semisimple element in the Lie algebra of G, P₀ is a parahoric subgroup in the centralizer of in G, and is a cuspidal representation on the finite reductive quotient of P₀. In this paper, we explicitly describe those Hecke algebras when P₀ is a minimal parahoric subgroup, is trivial and is a character.     

On monodromy of complex projective structures

Summary We prove that for any nonelementary representation : ₁(S SL (2, )) of the fundamental group of a closed orientable hyperbolic surfaceS there exists a complex projective structure onS with the monodromy .Oblatum IV-1993 & 24-IV-1994     

A strong approximation for logarithmic averages of partial sums of random variables

LetS _n be the partial sums of -mixing stationary random variables and letf(x) be a real function. In this note we give sufficient conditions under which the logarithmic average off(S _n / _n ) converges almost surely to _– f(x)d(x). We also obtain strong approximation forH(n)= _k=1 ⁿ k ^–1 f(S _k /k)=logn _– f(x)d(x) which will imply the asymptotic normality ofH(n)/log^1/2 n. But for partial sums of i.i.d. random variables our results will be proved under weaker moment condition than assumed for -mixing random variables.