Generalized Bicyclic Semigroups and Jones Semigroups

In this paper, we consider the generalized bicyclic semigroups B_n = a, b | aⁿb = 1 and the Jones semigroups A_n = a, b | aⁿ⁺¹b = a. They are the generalizations of the bicyclic semigroup B = a, b | ab = 1 and its analogous semigroup A = a, b | a²b = a discovered by P.R., Jones in 1987. The word problem for these kinds of semigroups is solved. It is proved that, for n 2, B_n are bisimple right inverse but not inverse semigroups and that the semigroup C = a, b | a²b = a, ab² = b is the smallest idempotent-free homomorphic image of A_n. Moreover, we also prove that A_n and A_m are mutually embeddable but not isomorphic with each other if n m. As a consequence, different kind of -nontrivial [0-]simple semigroups without idempotents are discussed.AMS 1991 Subject Classification: primary 20M10 secondary 20M05.Supported by NNSF of China (19671063) and KSRF of Sichuan Education Committee ([1999]127).     

Minimax detection of a signal in ℓp metrics

The problem of the minimax detection of a signal is considered in a Gaussian white noise of intensity 0. The set of the signals represents an ellipsoid in the _p-metric with lengths of semiaxes a_k ^–1 0 as k , from which a ball of radius 0 as 0 in the _p-metric has been removed. Asymptotically minimax tests have been constructed for the cases 1 < p and asymptotically sharp estimates of the minimax efficiency have been obtained.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova Akademii Nauk SSSR, Vol. 184, pp. 152–168, 1990.     

On the uniform (C, 1)-summability of Fourier series and integrability of series with respect to multiplicative orthonormal systems

H (G), f(g)H (G) , (, 1)- OHMC G. , OHMC, A. H. . , . , OHMC, lim supp _n=, , ,n .. . , 117 234 . . -      

A high-indices theorem for strong Cesàro summability of double series

[4] , [C,(, )]_;- (, 0 1) s, [C,(+,+)]- s , 0 0< , (i) , ; > > 1 , (ii) ,>0; >=1 ,>1-1/, [C,(,)- [C,(+,+)]- .

---

---

This work was done while the author was a visiting researcher at the Steklov Mathematical Institute, Moscow, U.S.S.R.     

The arithmetic of the characteristic Pólya functions

In the framework of the theory of D. Kendall's delphic semigroups are considered problems of divisibility in the semigroup of convex characteristic functions on the semiaxis (0,). Letn ()={:₁¦₁1 or ₁=}, and I_o()={: ₁¦ ₁ N()}. The following results are proved: 1) The semigroup is almost delphic in the sense of R. Davidson. 2) N() is a set of the type G which is dense in (in the topology of uniform convergence on compacta). 3) The class I_o() contains only the function identically equal to one.Translated from Matematicheskie Zametki, Vol. 21, No. 5, pp. 717–725, May, 1977.The author thanks I. V. Ostrovskii for the formulation of the problem and valuable remarks.     

Remark on the Helly number for strongly convex sets on Riemannian manifolds

Replacing convex by strongly convex we show that Helly's famous intersection theorem holds on every Riemannian n-manifold in the following form: The intersection of k relatively compact, strongly convex subsets of M (kn+i2) is nonvoid as soon as any n+i of these sets have a nonvoid intersection, where i=2 if M is homeomorphic to the standard n-sphere and i=1 otherwise.     

Estimates of Entire Functions of Exponential Type Less than π in Terms of Logarithmic Sums over Real Duffin and Schaeffer Sequences

We give uniform estimates of entire functions of exponential type less than having sufficiently small logarithmic sums over real sequences { _n } satisfying | _n –n|L and _n+1– _n for fixed positive constants L and . We thereby generalize results about logarithmic sums over the set of integers and so-called relatively h-dense sequences.     

A certain class of functions that are univalent in an annulus

In the class F₁ of functions f(), regular and univalent in the annulus ={<||<1} and satisfying the conditions ¦f()¦ < 1 and f() 0 for , ¦f()¦=1 ¦¦=1, for f(l)=1, one finds the set of the values D(A)=f(A): f for an arbitrary fixed point A. One makes use of the method of variations and certain facts from the theory of the moduli of families of curves.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 144, pp. 82–92, 1985.     

Convex Separable Minimization Subject to Bounded Variables

A minimization problem with convex and separable objective function subject to a separable convex inequality constraint and bounded variables is considered. A necessary and sufficient condition is proved for a feasible solution to be an optimal solution to this problem. Convex minimization problems subject to linear equality/linear inequality constraint, and bounds on the variables are also considered. A necessary and sufficient condition and a sufficient condition, respectively, are proved for a feasible solution to be an optimal solution to these two problems. Algorithms of polynomial complexity for solving the three problems are suggested and their convergence is proved. Some important forms of convex functions and computational results are given in the Appendix.     

Sum of Divisors in a Ring of Gaussian Integers

We construct an asymptotic formula for a sum function for _a (), where _a () is the sum of the ath powers of the norms of divisors of the Gaussian integer on an arithmetic progression ₀ (mod ) and in a narrow sector ₁ arg < ₂. For this purpose, we use a representation of _a (n) in the form of a series in the Ramanujan sums.     

On the parameter estimation of diffusional type processes with constant coefficients (Elementary Gaussian Processes)

, (1). 3, , ()=, (8) (16). [1], . (28) (31) ( 5), - (. [3]).

---

---

The author thanks Professor M.Arató for having pointed out this problem, and for his valuable suggestions.     

Charakterisierung semisimplizialer Mengen durch Unterteilung und Graphen

We define a subdivision functor G for semisimplicial sets such that GXGY implies XY for all pairs of semisimplicial sets X, Y and (GX)¹(GY)¹ implies XY, too, but only, as far as we know, for pairs of weakly degenerate semisimplicial sets X, Y. These results are analogous to theorems on simplicial complexes which have been proved by Finney [1] and Segal [6].

---

---

In der Literatur werden semisimpliziale Mengen auch oft als complete semisimplicial complexes, abgekürzt css complexes bezeichnet. Wir halten uns hier im wesentlichen an die Terminologie von K. Lamotke [5].     

Blow-up of solutions of nonlinear wave equations in three space dimensions

Let u(x,t) be a solution, uA|u|^p for xIR₃, t0 where is the d'Alembertian, and A, p are constants with A>0, 10–|x–x⁰|, if the initial data u(x,0), u_t(x,0) have their support in the ball |x–x⁰|t₀. In particular global solutions of u=A|u|^p with initial data of compact support vanish identically. On the other hand for A>0, p>1+2 global solutions of u=A|u|^p exist, if the initial data are of compact support and u is sufficiently small in a suitable norm. For p=2 the time at which u becomes infinite is of order u^–2.Dedicated to Hans Lewy and Charles B. Morrey, Jr.The research for this paper was performed at the Courant Institute and supported by the Office of Naval Research under Contract No. N00014-76-C-0301. Reproduction in whole or part is permitted for any purpose of the United States Government.     

An interpolation method for the solution of identification problems for a multidimensional functional system described by a Urysohn operator

An algorithm is constructed for identifying deterministic dynamical systems described using a Urysohn operator, i. e., the investigation is conducted under the hypothesis that the investigated object has a partially known structure, a grey box, and the identification problem consists in approximating the Urysohn nonlinearity. The initial information for solving the identification problem is the aggregate of the input effects on a physical object, the input, and also its reaction to these effects, the output. The accuracy of the algorithm is discussed.Translated from Vychislitel'naya i prikladnaya matematika, No. 70, pp. 31–36, 1990.     

Inversion and structure formulae for a generalized Laplace transform

, D_v(.) , .     

Stability radius of polynomials occurring in the numerical solution of initial value problems

This paper deals with polynomial approximations(x) to the exponential function exp(x) related to numerical procedures for solving initial value problems. Motivated by stability requirements, we present a numerical study of the largest diskD()={z C: |z+|} that is contained in the stability regionS()={z C: |(z)|1}. The radius of this largest disk is denoted byr(), the stability radius. On the basis of our numerical study, several conjectures are made concerningr _m,p=sup {r(): _m,p}. Here _{m, p} (1pm; p, m integers) is the class of all polynomials(x) with real coefficients and degree m for which(x)=exp(x)+O(x ^p+1) (forx 0).     

Eine Verallgemeinerung des Satzes vom abgeschlossenen Wertebereich in lokalkonvexen Räumen

This paper extends Kato's proof [5] of Banach's closed range theorem to locally convex spaces. Thus we consider a locally convex space (E,) and pairs (M,N) of closed subspaces. We call such a pair -open, if and only if there exists a directed, total system of seminorms generating the topology induced by a on M+N, such that the minimal gap _p(M,N)>O for each p. Our main result is a generalisation of the closed range theorem and it consists of statements on relationships between the following properties: (a) M+N -closed, (b) M+N (E,E)-closed, (c) M+N (E,E)-closed, (d) (M,N) -open, (e) (M,N) (E,E)-open, (f) (M,N) (E,E)-open, (g) (M,N) (E,E)-open, (h) M+N=(MN), (i) M+N=(MN).By specialising the space (E,) and the subspaces M,N, our generalisation includes the closed range theorems of Dieudonné and Schwartz [4], Browder [1] and Mochizuki [12]. It is shown that these theorems not only hold for closed linear operators but even for closed linear relations. We are therefore able to obtain closed domain theorems which extend Brown's examinations in Banach-spaces [2] to locally convex spaces.

---

---

Herrn Gottfried Köthe zum 70. Geburtstag am 25.12.1975 gewidmet     

i-perfectm-cycle systems,m ≤ 19

Summary For allm 19 and each meaningful value ofi (2 i m/2), the spectrum problem fori-perfectm-cycle systems is examined.     

Absorption spectroscopy and excitation of YAlO3∶Er (50%) crystals

Absorption spectra have been measured in highly doped YAlO₃Er (50 %) in the wavelength range from 300 nm up to 2m. The spectra were taken with irradiation to the crystallographic b-axis with polarization a- or c-axis. From the measured spectra the Er energy levels have been determied. Based on the results of absorption spectroscopy the pumplight absorption in a Xenon-flashlamp-pumped YAlO₃Er laser slab has been calculated as a function of wavelength and depth.

---

Zusammenfassung In hochdotiertem YAlO₃Er (50%) wurden Absorptionsspektren im Wellenlängenbereich von 300 nm bis 2m gemessen. Die Spektren wurden mit Bestrahlung zu der kristallographischen b-Achse mit Polarisation zur a- oder c-Achse aufgenommen. Aus den gemessenen Spektren wurden die Energieniveaus bestimmt. Mit den Ergebnissen aus der Absorptionsspektroskopie wurde die Pumplichtabsorption in einer mit Xenonblitzlampen gepumpten YAlO₃Er Platte in Abhängigkeit von der Wellenlänge berechnet.

     

Metrics with finite sets of primitive extensions

In this paper, we give a complete characterization for the class of rational finite metrics with the property that the set () of primitive extensions of is finite. Here, for a metric on a setT, a positive extensionm of to a setV T is calledprimitive if none of the convex combinations of other extensions of toV is less than or equal tom. Our main theorem asserts that the following the properties are equivalent: (i) () is finite; (ii) Up to an integer factor, is a submetric of the path metric d ^H of a graphH with |(d ^H )=1; (iii) A certain bipartite graph associated with contains neither isometrick-cycles withk6 nor induced subgraphsK _3,3 ^– . We then show that () is finite if and only if the dimension of the tight span of is at most two. We also present other results, discuss applications to multicommodity flows, and raise open problems.This research was supported by grant 97-01-00115 from the Russian Foundation of Basic Research and a grant from the Sonderforschungsbereich 343, Bielefeld Universität, Bielefeld, Germany.