Kennzeichnungen hyperbolischer Bewegungen durch Lineationen

LetI ⁿ be the set of points ofn-dimensional hyperbolic geometry,n2. THEOREM 1. LetfI ⁿ I ⁿ be a surjection such that images of hyperbolic lines are contained in hyperbolic lines. Thenf is a hyperbolic motion. THEOREM 2. IffIⁿ Iⁿ maps hyperbolic lines onto hyperbolic lines, then the image off is a hyperbolic line, orf is a hyperbolic motion. We note that Theorem 1 is a consequence of [3, Theorem 2.4].

---

---

Herrn Professor Helmut Karzel zum 70. Geburtstag gewidmet     

Injectivity of the Spherical Mean Operator on the Conical Manifolds of Spheres

Let f be a continuous function on ⁿ . If f has zero integral over every sphere intersecting a given subset A of ⁿ and A lies in no affine plane of dimension n -2, then f vanishes identically. The condition on the dimension of A is sharp.     

Largest cliques in connected supermagic graphs

A graph G=(V,E) is said to be magic if there exists an integer labeling f:VE[1,|VE|] such that f(x)+f(y)+f(xy) is constant for all edges xyE.Enomoto, Masuda and Nakamigawa proved that there are magic graphs of order at most 3n²+o(n²) which contain a complete graph of order n. Bounds on Sidon sets show that the order of such a graph is at least n²+o(n²). We close the gap between those two bounds by showing that, for any given connected graph H of order n, there is a connected magic graph G of order n²+o(n²) containing H as an induced subgraph. Moreover G admits a supermagic labeling f, which satisfies the additional condition f(V)=[1,|V|].     

Lower Bounds For Multidimensional Zero Sums

Let f(n, d) denote the least integer such that any choice of f(n, d) elements in contains a subset of size n whose sum is zero. Harborth proved that (n-1)2 ^d +1 f(n,d) (n-1)n ^d +1. The upper bound was improved by Alon and Dubiner to c _d n. It is known that f(n-1) = 2n-1 and Reiher proved that f(n-2) = 4n-3. Only for n = 3 it was known that f(n,d) > (n-1)2 ^d +1, so that it seemed possible that for a fixed dimension, but a sufficiently large prime p, the lower bound might determine the true value of f(p,d). In this note we show that this is not the case. In fact, for all odd n 3 and d 3 we show that .     

On the extreme spectral properties of Toeplitz matrices generated byL 1 functions with several minima/maxima

In this paper we are concerned with the asymptotic behavior of the smallest eigenvalue ₁ ⁽ⁿ⁾ of symmetric (Hermitian)n ×n Toeplitz matricesT _n (f) generated by an integrable functionf defined in [–, ]. In [7, 8, 11] it is shown that ₁ ⁽ⁿ⁾ tends to essinff =m _f in the following way: ₁ ⁽ⁿ⁾ –m _f 1/n ^2k . These authors use three assumptions:A1)f –m _f has a zero inx =x ₀ of order 2k.A2)f is continuous and at leastC ^2k in a neighborhood ofx ₀.A3)x =x ₀ is the unique global minimum off in [–, ]. In [10] we have proved that the hypothesis of smoothnessA2 is not necessary and that the same result holds under the weaker assumption thatf L ¹[–, ]. In this paper we further extend this theory to the case of a functionf L ¹[–, ] having several global minima by suppressing the hypothesisA3 and by showing that the maximal order 2k of the zeros off –m _f is the only parameter which characterizes the rate of convergence of ₁ ⁽ⁿ⁾ tom _f .     

Some Best Constants in the Landau Inequality on a Finite Interval

An additive form of the Landau inequality forf∈Wⁿ_∞[−1, 1],is proved for 0<c?(cos(π/2n))⁻², 1?m?n−1, with equality forf(x)=T_n(1+(x−1)/c), 1?c?(cos(π/2n))⁻², whereT_nis the Chebyshev polynomial. From this follows a sharp multiplicative inequality,for ‖f⁽ⁿ⁾‖?σ ‖f‖, 2ⁿ⁻¹n! cos²ⁿ(π/2n)?σ?2ⁿ⁻¹n!, 1?m?n−1. For these values ofσ, the result confirms Karlin's conjecture on the Landau inequality for intermediate derivatives on a finite interval. For the proof of the additive inequality a Duffin and Schaeffer-type inequality for polynomials is shown.     

Converse Sturm–Hurwitz–Kellogg theorem and related results

We prove that if Vⁿ is a Chebyshev system on the circle and f is a continuous real-valued function with at least n + 1 sign changes then there exists an orientation preserving diffeomorphism of S¹ that takes f to a function L²-orthogonal to V. We also prove that if f is a function on the real projective line with at least four sign changes then there exists an orientation preserving diffeomorphism of that takes f to the Schwarzian derivative of a function on . We show that the space of piecewise constant functions on an interval with values ± 1 and at most n + 1 intervals of constant sign is homeomorphic to n-dimensional sphere. To V. I. Arnold for his 70th birthday     

PL Homeomorphisms of the circle which are piecewise <Emphasis Type="Italic">C</Emphasis><Superscript>1</Superscript> conjugate to irrational rotations

For a PL homeomorphism f with irrational rotation number , the following properties are equivalent(i) f is conjugate to the rotation by through a piecewise C ¹ homeomorphism,(ii) the number of break points of f ⁿ is bounded by some constant that doesnt depend on n,(iii) f is conjugate to an affine 2-intervals exchange transformation (with rotation number ) through a PL homeomorphism,(iv) f is conjugate to the rotation by through a piecewise analytic homeomorphism.     

On the Problem of Describing Sequences of Best Trigonometric Rational Approximations

For a strictly decreasing sequence a_{n n=0} of nonnegative real numbers converging to zero, we construct a continuous 2-periodic function f such that R^T _n(f) = a_n, n=0,1,2,..., where R^T _n(f) are best approximations of the function f in uniform norm by trigonometric rational functions of degree at most n.     

Translations and Associated Dirichlet Polyhedra in Complex Hyperbolic Space

We study a nonidentity transvection (i.e. (strictly) hyperbolic isometry) or nonidentity Heisenberg translation f of complex hyperbolic space H ⁿ and a Dirichlet polyhedron P of the cyclic group f. We have four main results: (a) If z & in H ⁿ and the axis of a nonidentity transvection are not complex collinear, then, roughly speaking, any two distinct 'naturally arising' geodesics passing through z are not complex collinear. (b) If g is also a transvection or Heisenberg translation of H ⁿ and z & in H ⁿ such that f(z)=g(z) and f ^–1(z)=g ^–1(z), then f=g. (c) We classify all this kind of polyhedra up to congruence in H ⁿ. (d) We obtain an equivalent condition for P to be cospinal (which means that the complex spines of the two sides of P coincide) in terms of the distance of the spines of the two sides of P.     

Divergence of the (C, 1) Means of d-dimensional Walsh-Fourier Series

In 1992, Móricz, Schipp and Wade [MSW] proved for functions in L log⁺ L(I ²) (I ² is the unit square) the a.e. convergence of the double (C, 1) means of the Walsh-Fourier series _n f f as min(n ₁, n ₂) , n = (n ₁, n ₂ N ²). In the same paper, they also proved the restricted convergence of the (C, 1) means of functions in L(I ²): (2 ⁿ 1,2 ⁿ 2)f f a.e. as min (n ₁, n ₂) provided |n ₁ – n ₂| < C. The aim of this paper is to demonstrate the sharpness of these results of Móricz, Schipp and Wade with respect to both the space L log⁺ L(I ²) and the restrictedness |n ₁ – n ₂| < C.     

Interpolating them-th power ofx at the zeros of then-th Chebyshev-polynomial yields an almost best Chebyshev-approximation

LetX={x ₁,x ₂,..., _n }I=[–1, 1] and . ForfC ₁(I) definef* byf–p _f =f*, wherep _f denotes the interpolation-polynomial off with respect toX. We state some properties of the operatorf f*. In particular, we treat the case whereX consists of the zeros of the Chebyshev polynomialT _n (x) and obtain x ^m –p _x ^m8eE _n–1(x ^m ), whereE _n–1(f) denotes the sup-norm distance fromf to the polynomials of degree less thann. Finally we state a lower estimate forE _n (f) that omits theassumptionf ⁽ⁿ⁺¹⁾>0 in a similar estimate of Meinardus.     

A new continuation method for complementarity problems with uniformP-functions

The complementarity problem with a nonlinear continuous mappingf from the nonnegative orthantR ₊ ⁿ ofR ⁿ intoR ⁿ can be written as the system of equationsF(x, y) = 0 and(x, y) R ₊ ²ⁿ , whereF denotes the mapping from the nonnegative orthantR ₊ ²ⁿ ofR ²ⁿ intoR ₊ ⁿ × Rⁿ defined byF(x, y) = (x ₁y₁,,x_ny_n, f₁(x) – y₁,, f_n(x) – y_n) for every(x, y) R ₊ ²ⁿ . Under the assumption thatf is a uniformP-function, this paper establishes that the mappingF is a homeomorphism ofR ₊ ²ⁿ ontoR ₊ ⁿ × Rⁿ. This result provides a theoretical basis for a new continuation method of tracing the solution curve of the one parameter family of systems of equationsF(x, y) = tF(x ⁰, y⁰) and(x, y) R ₊ ²ⁿ from an arbitrary initial point(x ⁰, y⁰) R ₊ ²ⁿ witht = 1 until the parametert attains 0. This approach is an extension of the one used in the polynomially bounded algorithm recently given by Kojima, Mizuno and Yoshise for solving linear complementarity problems with positive semi-definite matrices.     

Some stochastic processes related to random density functions

If { _n } is an orthonormal system and {a _n} is a sequence of random variables such that _n (a _n )²=1 a.s. thenf(t)=| _n a _{n n} (t)|² produces a randomly selcted density function. We study the properties off under the assumptions that |a _n| is decreasing to zero at a geometric rate and { _n } is one of the following four function systems: trigonometric Jacobi, Hermite, or Laguerre. It is shown that, with probability one,f is an analytic function,f has at most a finite number of zeros in any finite interval, and the tail off goes to zero rapidly.     

On the Monodromy of a Multivalued Function along Its Ramification Locus

We consider multivalued analytic functions in ⁿ) whose set of singular points occupies a very small part of ⁿ). Under a mapping of a topological space Y into ⁿ), such a function f can induce a multivalued function on Y. This is possible even if the image of Y entirely lies in the ramification set of f. We estimate the monodromy group of the induced function via the monodromy group of f.     

On a Problem of Fabrykowski and Subbarao Concerning Quasi Multiplicative Functions Satisfying a Congruence Property

It follows from our result that if a quasi multiplicative function f satisfies the congruence f(n + p) f(n) (mod p) for all positive integers n and for all sufficiently large primes p, then there is a non-negative integer such that f(n) = n holds for all positive integers n. In particular, this gives an answer to the conjecture of Fabrykowski and Subbarao.     

Convex polynomial and spline approximation in C[−1, 1]

We prove that a convex functionf C[–1, 1] can be approximated by convex polynomialsp _n of degreen at the rate of ₃(f, 1/n). We show this by proving that the error in approximatingf by C² convex cubic splines withn knots is bounded by ₃(f, 1/n) and that such a spline approximant has anL third derivative which is bounded by n³₃(f, 1/n). Also we prove that iff C²[–1, 1], then it is approximable at the rate ofn ^–2 (f, 1/n) and the two estimates yield the desired result.Communicated by Ronald A. DeVore.     

Bi-Lipschitz concordance implies bi-Lipschitz isotopy

We modify the proof of an earlier result of ours to deforming topological, bi-Lipschitz, and quasiconformal embeddings of an open subsetU ofR ⁿ which now are of small uniform distance from the inclusion map. As an application we show that two bi-Lipschitz homeomorphismsf ₀,f ₁:R ⁿRⁿ are bi-Lipschitz isotopic if and only ifd(f ₀,f ₁)<.Research supported in part by a grant from the Institut Mittag-Leffler.     

Convergence of diagonally stationary sequences in convex optimization

LetX be a real normed linear space,f, f ⁿ, n , be extended real-valued proper closed convex functions onX. A sequence {x _n} inX is called diagonally stationary for {f ⁿ} if for alln there existsx* _n f ⁿ (x _n) such that x* _{n *} 0. Such sequences arise in approximation methods for the problem of minimizingf. Some general convergence results based upon variational convergence theory and appropriate equi-well-posedness are presented.     

The minimality of the map \frac{x}{\|{x}\|} for weighted energy

In this paper, we investigate the minimality of the map from the Euclidean unit ball Bⁿ to its boundary 핊ⁿ⁻¹ for weighted energy functionals of the type E_p,f = ∫_Bⁿ f(r)‖∇ u‖^p dx, where f is a non-negative function. We prove that in each of the two following cases: