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.     

Isomorphismen von rechtseiträumen

Spaces called rectangular spaces were introduced in [5] as incidence spaces (P,G) whose set of linesG is equipped with an equivalence relation and whose set of point pairs P² is equipped with a congruence relation , such that a number of compatibility conditions are satisfied. In this paper we consider isomorphisms, automorphisms, and motions on the rectangular spaces treated in [5]. By an isomorphism of two rectangular spaces (P,G, , ) and (P,G, , ) we mean a bijection of the point setP onto P which maps parallel lines onto parallel lines and congruent points onto congruent points. In the following, we consider only rectangular spaces of characteristic 2 or of dimension two. According to [5] these spaces can be embedded into euclidean spaces. In case (P,G, , ) is a finite dimensional rectangular space, then every congruence preserving bijection ofP onto P is in fact an isomorphism from (P,G, , ) onto (P,G, , ) (see (2.4)). We then concern ourselves with the extension of isomorphisms. Our most important result is the theorem which states that any isomorphism of two rectangular spaces can be uniquely extended to an isomorphism of the associated euclidean spaces (see (3.2)). As a consequence the automorphisms of a rectangular space (P,G, , ) are precisely the restrictions (onP) of the automorphisms of the associated euclidean space which fixP as a whole (see (3.3)). Finally we consider the motions of a rectangular space (P,G, , ). By a motion of(P. G,, ) we mean a bijection ofP which maps lines onto lines, preserves parallelism and satisfies the condition((x), (y)) (x,y) for allx, y P. We show that every motion of a rectangular space can be extended to a motion of the associated euclidean space (see (4.2)). Thus the motions of a rectangular space (P,G, , ) are seen to be the restrictions of the motions of the associated euclidean space which mapP into itself (see (4.3)). This yields an explicit representation of the motions of any rectangular plane (see (4.4)).

---

---

Herrn Professor Burau zum 85. Geburtstag gewidmet     

On the exactness of a theorem of Mazur and Orlicz

For a preassigned unbounded sequence {S_n} of complex numbers, and preassigned complex numbers z₁ and z₂z₁ we construct: 1) regular matrices A=a_nk and B=b_nk such that the same bounded sequences are summable by these matrices and that , and ; 2) regular matrices A⁽¹⁾)=a _nk ⁽¹⁾ and B⁽¹⁾=b _nk ⁽¹⁾ such that B⁽¹⁾ A⁽¹⁾, and, . Our results show that the well known theorem of MazurOrlicz on the bounded consistency of two regular matrices, one of which is boundedly stronger than the other, is exact.Translated from Matematicheskie Zametki, Vol. 11, No. 4, pp. 431–436, April, 1972.     

Symmetrization of functions in Sobolev spaces and the isoperimetric inequality

A positive measurable function f on R^d can be symmetrized to a function f^* depending only on the distance r, and with the same distribution function as f. If the distribution derivatives of f are Radon measures then we have the inequality f^*f, where f is the total mass of the gradient. This inequality is a generalisation of the classical isoperimetric inequality for sets. Furthermore, and this is important for applications, if f belongs to the Sobolev space H¹,P then f^* belongs to H¹,P and f^*_pf_p.     

Computing a family of reproducing kernels for statistical applications

For an open subset of , an integer,m, and a positive real parameter , the Sobolev spacesH ^m () equipped with the norms: u²=u(t)²dt+(1/^2m u ^(m)(t)² constitute a family of reproducing kernel Hilbert spaces. When is an open interval of the real line, we describe the computation of their reproducing kernels. We derive explicit formulas for these kernels for all values ofm in the case of the whole real line, and form=1 andm=2 in the case of a bounded open interval.This research was partly supported by NSF Grant DMS-9002566.     

Quadratic spline interpolation on uniform meshes

The interpolation problem at uniform mesh points of a quadratic splines(x _i)=f _i,i=0, 1,...,N ands(x ₀)=f₀ is considered. It is known that s–f=O(h ³) and s–f=O(h ²), whereh is the step size, and that these orders cannot be improved. Contrary to recently published results we prove that superconvergence cannot occur for any particular point independent off other than mesh points wheres=f by assumption. Best error bounds for some compound formulae approximatingf _i andf _i ⁽³⁾ are also derived.     

Numerical computation of least constants for the Sobolev inequality

Summary Least constantsc for the well-known Sobolev inequality fcf _{m, G} ,fH ^m (G) are obtained in closed form by a reproducing kernel technique, where the Sobolev spaceH ^m (G) for a domainG in ⁿ is defined as the completion ofC ^m (G) with respect to the Sobolev norm given by , where is the norm ofL ₂ (G) and is the supremum norm onG. Numerical values for the case whereG is the ⁿ are given.     

Sufficient conditions for bang-bang control in Hilbert space

Sufficient conditions for bang-bang and singular optimal control are established in the case of linear operator equations with cost functionals which are the sum of linear and quadratic terms, that is,Ax=u,J(u)=(r,x)+(x,x), >0. For example, ifA is a bounded operator with a bounded inverse from a Hilbert spaceH into itself and the control setU is the unit ball inH, then an optimal control is bang-bang (has norm l) if 0<1/2;A ^–1*r·A ^–1–2, but is singular (an interior point ofU) if >1/2A ^–1*r·A².This work was supported by NRC Grant No. A-4047 and NSF Grant No. GP-7445.     

On discrete and continuous norms in Paley-Wiener spaces and consequences for exponential frames

It is well known that for certain sequences {t_n}_n the usual L^p norm ·_p in the Paley-Wiener space PW ^p is equivalent to the discrete norm f_p,{tn}:=( _n=– |f(t_n)|^p)^1/p for 1 p = < and f_,{tn}:=sup _n|f(t_n| for p=). We estimate f_p from above by Cf_p, _n and give an explicit value for C depending only on p, , and characteristic parameters of the sequence {t_n}_n. This includes an explicit lower frame bound in a famous theorem of Duffin and Schaeffer.     

Über die Existenz gemeinsamer Elemente bester Approximation bezüglich zweier Normen II

The present paper deals with the possibility of existence of best approximation elements, simultaneously with respect to two norms ·_i,i=1,2, for all the elements of a class of subspaces. In case this class in any of the following: (a) All n-dimensional subspaces, (b) All ·₁-or ·||₂-closed, n-codimensional subspaces, (c) All ·₁-or ·₂-closed subspaces with infinite dimension and codimension, we prove that the two norms differ at most by a constant factor.     

On a variant of commutator estimates in spectral theory

Completeness is proved for systems of two or three quantum particles. The proof is based on the following statement on operators in a Hilbert space. If an operator A is bounded with respect to a self-adjoint operator H and Re((H – )f, Af) Bf², then B is smooth with respect to H.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 163, pp. 29–36, 1987.     

Embeddings of Lorentz—Marcinkiewicz spaces with mixed norms

X(Y) f -:X(Y)={fM(×): f_{X(Y)=f(x,.)YX<} . =(0, ), M (×) — , ×, X, Y, Z— . X(Y) Z(×).     

A Variation of an Extremal Theorem Due to Woodall

We consider a variation of an extremal theorem due to Woodall [12, or 1, Chapter 3] as follows: Determine the smallest even integer (₃C₁,n), such that every n-term graphic sequence = (d₁, d₂,..., d_n) with term sum () = d₁ + d₂ + ... + d_n (₃C₁,n) has a realization G containing a cycle of length r for each r = 3,4,...,l. In this paper, the values of (₃C_l,n) are determined for l = 2m – 1,n 3m – 4 and for l = 2m,n 5m – 7, where m 4.AMS Mathematics subject classification (1991) 05C35Project supported by the National Natural Science Foundation of China (Grant No. 19971086) and the Doctoral Program Foundation of National Education Department of China     

On a condition on the radical of a Banach algebra ensuring strong decomposability

The main result is the following theorem. Let be a commutative Banach algebra with radical R, where the factor algebra is isomorphic to the algebra of all continuous functions on a totally disconnected compact space. If rⁿ¹ /n 0 as n uniformly for r R, rl, then the algebra is strongly decomposable, i.e., there exists a closed subalgebra B isomorphic to such that =BR.This is a strengthening of the theorem of A. Ya. Khelemskii, who assumed . There are 4 references.Translated from Matematicheskie Zametki, Vol. 2, No. 6, pp. 589–592, December, 1967.     

Some Landau's type inequalities for infinitesimal generators

Summary Lett T(t) be a strongly continuous contraction semigroup on a complex Banach space and letA be its infinitesimal generator. We prove that, forx D(A ³), the following inequalities hold true: Ax³ 243/8 x²A ³ x, A ² x 24 xA ³ x². Ift T(t) is a contraction group (resp. cosine function) we get the analogous but better inequalities with constants 9/8 and 3 (resp. 81/40 and 72/25) instead of 243/8 and 24. We consider also uniformly bounded semigroups, groups and cosine functions.     

Hankel operators and problems of best approximation of unbounded functions

For each function f, f VMO, there exists a unique function f₀, analytic in the circle and such that f–f₀=_f{gVMO_A}. We define the operator of best approximation (nonlinear) A, Af=f₀, fVMO, In the paper one considers the question of the preservation of a class under the action of the operator i.e. finding the classes X, X VMO, AX X. One investigates the classes X containing unbounded functions. It is proved that if P_X is the space of the symbols of the Hankel operators from a Banach space E of functions into the Hardy space H², then AX X. For E one can take almost any space.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 141, pp. 5–17, 1985.     

A spectral condition for strong convergence of Markov operators

Summary If P is a conservative Markov operator on L ₁(m) with no unimodular spectral points except 1, then u(I–P)Pⁿ₁0 for every uL ₁.     

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.     

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.     

Über Untergruppen Endlicher Algebraischer Gruppen

Let k be a commutative ring, GG finite affine algebraic k-groups, and HH the dual Hopfalgebras of the affine algebras of G resp. G. The main results of this paper are: (I) If k is semilocal (e.g. k a field) there is an H-linear, HH-colinear, unitary, augmented isomorphism HHH H, where HH is the coalgebra belonging to G/G. (II) If the k-submodule of the fixelements of (HH)^* is isomorphic to k (e.g. k principal or semilocal), then HH is a Frobeniusextension of the second kind.