On the Hantzsche-Wendt manifold

We explicitly compute the outer automorphism group Out ₁ M of the fundamental group of the Hantzsche — Wendt manifoldM. It is an extension 1(₂)³Out₁ MS ₃₂1, but not the semidirect product (₂)³(S ₃₂) as claimed in [3] (see also [4]). As a consequence, we get a quick algebraic computation of the symmetry groups of the Borromean rings and the figure-8-knot.     

Best approximation and best unilateral approximation of the kernel of a biharmonic equation and optimal renewal of the values of operators

For the classB _p , 0 < 1, 1p , of 2-periodic functions of the form f(t)=u(,t), whereu (,t) is a biharmonic function in the unit disk, we obtain the exact values of the best approximation and best unilateral approximation of the kernel K(t) of the convolution f= K *g, gl, with respect to the metric of L₁. We also consider the problem of renewal of the values of the convolution operator by using the information about the values of the boundary functions.Translated from Ukrainskii Matematicheskii Zhurnal, Vol.47, No. 11, pp. 1549–1557, November, 1995.     

Der günstigste Bedienungskanal mit exponentiellem Zu- und Abgang bei ungeduldigen Kunden

Zusammenfassung Es wird ein System mit exponentiellem Zugang () und exponentieller Abfertigung () untersucht, bei dem sich die ungeduldigen Kunden nur dann der Warteschlange anschließen, wenn sie eine kurze Abfertigungszeit erwarten. Die (bekannte) Lösung des Problems führt auf eine unendliche PotenzreiheH(; ), die von zwei Parametern abhängt (=/; enthält ein Maß für die Ungeduld der Kunden). Für kleine Werte von und/oder genügen wenige Reihenglieder zur Berechnung vonH(; ). Für große Werte von und Werte von nahe bei 1 konvergiert die Reihe nur langsam. Für diesen Fall wird eine Integraldarstellung als Näherung hergeleitet, mit der man die kennzeichnenden Parameter des Systems (die mittlere LängeL der Schlange und ihre VarianzV) einfach findet. Schließlich werden die günstigsten Bedingungen (₀) so berechnet, daß der Gewinn aus dem Betrieb eines solchen Systems möglichst groß wird. Mit wachsendem AufwandverhältnisA/E (A = Kosten je mögliche Abfertigung,E = Einnahme je wirkliche Abfertigung) nimmt ₀ immer größere Werte an. Der je Zeiteinheit erzielbare größte GewinnG _max sinkt damit rasch ab.

---

Summary Impatient customers arriving exponentially at a single exponential service channel will join a queue only if they expect to be served within a short interval of time. The (known) solution to this problem involves an infinite power seriesH(;) depending on two parameters (=/; indirectly accounts for the degree of impatience of customers). For small values of and/or a few terms of the series suffice to computeH(; ). For large values of and values of near 1 the series converges only very slowly. It is shown that in this case the series can be approximated by an integral allowing the characteristic parameters of the system (mean lengthL and varianceV of the queue) to be easily determined. Finally, optimal conditions (₀) are derived which maximize the profit earned from running such a system. It turns out that ₀ is an increasing function of the ratioA/E (A = cost per potential service operation;E = revenue per actual service operation). At the same time the maximal profitG _max (per unit of time) falls off rapidly.

---

---

Vorgel v.:F. Ferschl     

Equivalence Bimodule Between Non-Commutative Tori

The non-commutative torus C ^*(ⁿ,) is realized as the C*-algebra of sections of a locally trivial C*-algebra bundle over S with fibres isomorphic to C ^*n/S, ₁) for a totally skew multiplier ₁ on ⁿ/S. D. Poguntke [9] proved that A is stably isomorphic to C(S) C(^*( Zⁿ/S, ₁) C(S) A M_kl( C) for a simple non-commutative torus A and an integer kl. It is well-known that a stable isomorphism of two separable C*-algebras is equivalent to the existence of equivalence bimodule between them. We construct an A-C(S) A-equivalence bimodule.     

Une variante à la Coxeter du groupe de Steinberg

LetG _n ()be the semi-direct product of the symmetric groupS _n by the Steinberg groupSt _n ()of a ringWe first prove thatG _n ()has a Coxeter-type presentation. The canonical morphism St _n () GL _n ()extends to a group homo G_n() GL _n ()We next determine the kernel of for n = We also give an expression for the generator of the algebraic K group K ₂(Z)of the integers in terms of permutation matrices.     

A relation between Chung's and Strassen's laws of the iterated logarithm

Summary Let W(t) be a standard Wiener process and let f(x) be a function from the compact class in Strassen's law of the iterated logarithm. We investigate the lim inf behavior of the variable sup ¦W(xT)(2T loglog T)^–1/2–f(x)¦, 0x1 suitably normalized as T.This extends Chung's result valid for f(x)0, stating that lim inf.[ sup ¦(2T loglogT)^–1/2 W(xT)¦(loglog T)^–1]=/4 a.s. T 0x1     

Stability of a spline collocation method for strongly elliptic multidimensional singular integral equations

Summary We consider a spline collocation method for strongly elliptic zero order pseudodifferential equationsp _gw Au=f on a cube =(0, 1) ^m . Utilizing multilinear spline functions which are zero at the boundary we collocate at the meshpoints inside . For classical strongly elliptic translation invariant pseudodifferential operators, we verify the stability of the considered collocation method inL ²(). Afterwards, form2 and a right hand sidefH ⁸(),s>m/2, we prove an asymptotic convergence estimate.The author has been supported by a grant of Deutsche Forschungsgemeinschaft under grant number Ko 634/32-1     

The Spectral Theory of Amenable Actions and Invariants of Discrete Groups

Let G denote a semisimple group, a discrete subgroup, B=G/P the Poisson boundary. Regarding invariants of discrete subgroups we prove, in particular, the following:(1) For any -quasi-invariant measure on B, and any probablity measure on , the norm of the operator () on L ²(B,) is equal to (), where is the unitary representation in L ²(X,), and is the regular representation of .(2) In particular this estimate holds when is Lebesgue measure on B, a Patterson–Sullivan measure, or a -stationary measure, and implies explicit lower bounds for the displacement and Margulis number of (w.r.t. a finite generating set), the dimension of the conformal density, the -entropy of the measure, and Lyapunov exponents of .(3) In particular, when G=PSL₂() and is free, the new lower bound of the displacement is somewhat smaller than the Culler–Shalen bound (which requires an additional assumption) and is greater than the standard ball-packing bound.We also prove that ()=_G() for any amenable action of G and L ¹(G), and conversely, give a spectral criterion for amenability of an action of G under certain natural dynamical conditions. In addition, we establish a uniform lower bound for the -entropy of any measure quasi-invariant under the action of a group with property T, and use this fact to construct an interesting class of actions of such groups, related to 'virtual' maximal parabolic subgroups. Most of the results hold in fact in greater generality, and apply for instance when G is any semi-simple algebraic group, or when is any word-hyperbolic group, acting on their Poisson boundary, for example.     

Asymptotic properties of local densities of measures generated by semimartingales

For families of probability measures (P , )) generated by semimartingales, we consider the local density)(y, )= _t (y, )) _t0 of a, measureP _y with respect to the measureP whose logarithm is the difference of a local martingale and a positive predictable increasing locally bounded process. Conditions are obtained under which the relations and hold, wherey _t depends in some way ont, while _t ast . Applications of these relations are exhibited and an example is given when the hypotheses of the theorems proved can be verified.Translated fromTeoriya Sluchaínykh Protsessov, Vol. 14, pp. 48–55, 1986.     

On the central limit theorem for geometrically ergodic Markov chains

Let X₀,X₁,... be a geometrically ergodic Markov chain with state space and stationary distribution . It is known that if h: R satisfies (|h|²⁺)< for some >0, then the normalized sums of the X_is obey a central limit theorem. Here we show, by means of a counterexample, that the condition (|h|²⁺)< cannot be weakened to only assuming a finite second moment, i.e., (h²)<.Reasearch supported by the Swedish Research Council.     

Small potential corrections for the discrete eigenvalues of the Sturm-Liouville problem

Summary The inverse Sturm-Liouville problem is the problem of finding a good approximation of a potential functionq such that the eigenvalue problem (^*)–y +qy=y holds on (0, ) fory(0)=y()=0 and a set of given eigenvalues . Since this problem has to be solved numerically by discretization and since the higher discrete eigenvalues strongly deviate from the corresponding Sturm-Liouville eigenvalues , asymptotic corrections for the 's serve to get better estimates forq. Let _k (1kn) be the first eigenvalues of (^*), let _k be the corresponding discrete eigenvalues obtained by the finite element method for (^*) and let _{k k} for the special caseq=0. Then, starting from an asymptotic correction technique proposed by Paine, de Hoog and Anderssen, new estimates for the errors of the corrected discrete eigenvalues are obtained and confirm and improve the knownO(kh ²)(h:=/(n+1)) behaviour. The estimates are based on new Sobolev inequalities and on Fourier analysis and it is shown that for 4+c ₂ k(n+1)/2, wherec ₁ andc ₂ are constants depending onq which tend to 0 for vanishingq.     

Problem of correctness of the best approximation in the space of continuous functions

Let W^rH _w be the subclass of those functions of C^r[a, b], for which (f ^(r),)(), where () is a given modulus of continuity, and P_n be the space of algebraic polynomials of degree at most n and _n(f) be the polynomial of best approximation for f(x) on [a, b]. Estimates for and moduli of continuity of the operators of best approximation on W^rH _w are established. For example, if ()=, then Translated from Matematicheskie Zametki, Vol. 23, No. 3, pp. 351–360, March, 1978.The author thanks S. B. Stechkin for the formulation of the problem and assistance with the article.     

A decomposition for the exponential dispersion model generated by the invariant measure on the hyperboloid

For = ₀, ₁, ₂) andx=(x₀, x₁, x₂) in R³, define [,x] = ₀ x ₀ – ₁ x ₁ – ₂ x ₂,C = {x³:x ₀ > 0 and [x, x]>0},R(x)=([x, x]) ^1/2 forx inC andH ₁={xC: x₀>0,R(x)=1}. Define the measure onH ₁ such that if is inC and =R(), then exp (–[,x])(dx = ( exp )^–1. Therefore, is invariant under the action ofSO (1, 2), the connected component ofO(1, 2) containing the identity. We first prove that there exists a positive measure in ³ such that its Laplace transform is ( exp )^– if and only if >1. Finally, for 1 and inC, denotingP(,)(dx) = ( exp )^– exp (–[,x])(dx, we show that ifY ₀,...,Y _n aren+1 independent variables with densityP(,),j=0,...,n and ifS _k =X ₀ + ... +X _k andQ _k =R(S _k) –R(S _k–1) –R(Y _k),k=1,...,n, then then+1 statisticsD _n = [/,S _k ] –R _{k – 1} ),Q ₁,...,Q _n are independent random variables with the exponential () or gamma (1,1/) distribution.This research has been partially funded by NSERC Grant A8947.     

Multipliers on the Set of Rademacher Series in Symmetric Spaces

Let E be a symmetric space on [0,1]. Let (,E) be the space of measurable functions f such that fg E for every almost everywhere convergent series g=b _n r _n E, where (r _n) are the Rademacher functions. It was shown that, for a broad class of spaces E, the space (,E) is not order isomorphic to a symmetric space, and we study the conditions under which such an isomorphism exists. We give conditions on E for (,E) to be order isomorphic to L . This includes some classes of Lorentz and Marcinkiewicz spaces. We also study the conditions under which (,E) is order isomorphic to a symmetric space that differs from L . The answer is positive for the Orlicz spaces E=L _q with _q(t)=exp|t|^q-1 and 0相似文献   

Covering the hypercube with a bounded number of disjoint snakes

We present a construction of an induced cycle in then-dimensional hypercubeI[n] (n2), and a subgroup _n ofI[n] considered as the group ₂ ⁿ , such that | _n |16 and the induced cycle uses exactly one element of every coset of _n . This proves that for anyn2 the vertices ofI[n] can be covered using at most 16 vertex-disjoint induced cycles.     

Groups acting simply transitively on the vertices of a building of typeà 2, II: The casesq=2 andq=3

If (P, L) is a projective plane and is a triangle presentation compatible with a point-line correspondence :P L, then gives rise to a group and a thick building of typeà ₂ on the vertices of which acts simply transitively. We find all triangle presentations (up to natural equivalence) compatible with some point-line correspondence :P L, when (P, L) is the projective plane of orderq=2 orq=3. For some, but not all, of these , is isomorphic to the building associated withG=PGL(3,K) whereK is a local field with discrete valuation and residual field of orderq. We identify the for which this is the case, and in these cases, find embeddings of intoG. We also describe the arithmetic nature of these groups.     

Local isometric immersions of two-dimensional metrics inE 4 with prescribed Gaussian torsion

Suppose that in a domain R(, B) of variables (r, ): (0 r , ₁ +B(r–r ₀ ) ₂–B(r–r₀), where > 0, B > 0, ₁ < 0 < ₂ are numbers) a metric ds² = dr² +G(r, )d ² and a function k(r, ) are given. The problem of isometrically immersing ds² in E ⁴ with prescribed Gaussian torsion is considered. The following is proved: The class C ⁵ metric ds ² is locally realized in the form of a class C ³ surface F ² whose Gaussian torsion is the prescribed class C ³ function (r, ).Translated from Ukrainskii Geometricheskii Sbornik, No. 35, pp. 38–47, 1992.     

Limits of balayage measures

LetA be a subset of a balayage space (X,W) and a measure onX. It is shown that for every sequence _n of measures such that lim_nn and lim_{n n} ^A = the limit measure is of the formf+[(1-f)]^A for some (unique) Borel function 0f1_Cb(A). Furthermore, conditions are given such that any such functionf occurs.     

Fourier series of additive vector measures and their term-by-term differentiation

On a measurable space (T, , ) we choose an additive measure: Z (Z is a Banach space) with the following property: for alle , we have ; this measure defines an indefinite integral over the measure onL ² (T, ,). We prove that if { _n (t)} _n ^=1/ is an orthonormal basis inL ² and _n (e)=e _n (t) d, then any additive measure: Z whose Radon-Nikodým derivatived/d belongs toL ² is uniquely expandable in a series(e)= _n ^=1/ _n n(e) that converges to(e) uniformly with respect toe can be differentiated term-by-term, and satisfies _n ^=1/ _n ^/2 <. In the caseL ²[0,2],Z=, the Fourier series of a 2-periodic absolutely continuous functionF(t) such thatF'(t) L ²[0, 2] is superuniformly convergent toF(t).Translated fromMatematicheskie Zametki, Vol. 64, No. 2, pp. 180–184, August, 1998.     

The disappearance of criticality in the theory of thermal ignition

Summary In the study of thermal ignition, when reactant consumption is neglected, criticality is usually taken as the point at which there is a large jump in the maximum steady temperature for a small change in the external parameters. If the equations are taken in their exact form, without the Frank-Kamenetskii approximation RT _a E0, criticality vanishes for large. In this paper a model is introduced for which the value of at which criticality vanishes can be determined precisely for geometries of an infinite slab and infinite circular cylinder.

---

Zusammenfassung Wird beim Studium thermischer Explosionen der Reaktionsverbrauch vernachlässigt, so spricht man üblicherweise von einem kritischen Punkt, wenn dort bei einer kleinen Änderung der äußeren Parameter ein großer Sprung der stationären Maximaltemperatur auftritt. Bei den exakten Gleichungen (ohne die Frank-Kamenetskii'sche Approximation RT _a E0) gibt es für große keinen kritischen Punkt mehr. In dieser Arbeit wird ein Modell eingeführt, bei dem der Wert von , für welchen der kritische Punkt verschwindet, im Fall der unendlichen Platte und des unendlichen Zylinders genau bestimmt werden kann.

---

Nomenclature A pre-exponential factor in Arrhenius law - d length scale (e.g. radius of cylinder and half-thickness of slab) - E Arrhenius activation energy - k thermal conductivity - Q exothermicity per unit mass - R gas constant - S surface of reacting material - T local absolute temperature - T _a surface temperature - V volume occupied by the reacting material - x dimensionless distance coordinate - =E(T-T _a )/RT _a ² dimensionless temperature - solution of Eqs. (6), (7) - maximum value of inV - =(1+)^–1 - maximum value of inV - density of material - =RT _a /E - ₀ smallest value of for which criticality vanishes - =QEAd ² exp (-E/RT _a )/kRT _a ² - _cr critical value of - ^* maximum value of for which positive solutions exist Supported in part by the Victoria Univeristy of Wellington Fellowship Committee and the European Research Office of the U.S. Army.