Amenable representations and dynamics of the unit sphere in an infinite-dimensional Hilbert space

We establish a close link between the amenability property of a unitary representation p \pi of a group G (in the sense of Bekka) and the concentration property (in the sense of V. Milman) of the corresponding dynamical system (\Bbb S_p, G) ({\Bbb S}_{\pi}, G) , where \Bbb S_H {\Bbb S}_{\cal H} is the unit sphere the Hilbert space of representation. We prove that p \pi is amenable if and only if either p \pi contains a finite-dimensional subrepresentation or the maximal uniform compactification of (\Bbb S_p ({\Bbb S}_{\pi} has a G-fixed point. Equivalently, the latter means that the G-space (\Bbb S_p, G) ({\Bbb S}_{\pi}, G) has the concentration property: every finite cover of the sphere \Bbb S_p {\Bbb S}_{\pi} contains a set A such that for every e > 0 \epsilon > 0 the e \epsilon -neighbourhoods of the translations of A by finitely many elements of G always intersect. As a corollary, amenability of p \pi is equivalent to the existence of a G-invariant mean on the uniformly continuous bounded functions on \Bbb S_p {\Bbb S}_{\pi} . As another corollary, a locally compact group G is amenable if and only if for every strongly continuous unitary representation of G in an infinite-dimensional Hilbert space H {\cal H} the system (\Bbb S_H, G) ({\Bbb S}_{\cal H}, G) has the property of concentration.     

Functional equations on semigroups

Summary. We determine the general solution g:S? F g:S\to F of the d'Alembert equation¶¶g(x+y)+g(x+sy)=2g(x)g(y)       (x,y ? S) g(x+y)+g(x+\sigma y)=2g(x)g(y)\qquad (x,y\in S) ,¶the general solution g:S? G g:S\to G of the Jensen equation¶¶g(x+y)+g(x+sy)=2g(x)       (x,y ? S) g(x+y)+g(x+\sigma y)=2g(x)\qquad (x,y\in S) ,¶and the general solution g:S? H g:S\to H of the quadratic equation¶¶g(x+y)+g(x+sy)=2g(x)+2g(y)       (x,y ? S) g(x+y)+g(x+\sigma y)=2g(x)+2g(y)\qquad (x,y\in S) ,¶ where S is a commutative semigroup, F is a quadratically closed commutative field of characteristic different from 2, G is a 2-cancellative abelian group, H is an abelian group uniquely divisible by 2, and s \sigma is an endomorphism of S with s(s(x)) = x \sigma(\sigma(x)) = x .     

Bounded solutions of the Golab—Schinzel equation

Summary. Let \Bbb K {\Bbb K} be either the field of reals or the field of complex numbers, X be an F-space (i.e. a Fréchet space) over \Bbb K {\Bbb K} n be a positive integer, and f : X ? \Bbb K f : X \to {\Bbb K} be a solution of the functional equation¶¶f(x + f(x)ⁿ y) = f(x) f(y) f(x + f(x)^n y) = f(x) f(y) .¶We prove that, if there is a real positive a such that the set { x ? X : |f(x)| ? (0, a)} \{ x \in X : |f(x)| \in (0, a)\} contains a subset of second category and with the Baire property, then f is continuous or { x ? X : |f(x)| ? (0, a)} \{ x \in X : |f(x)| \in (0, a)\} for every x ? X x \in X . As a consequence of this we obtain the following fact: Every Baire measurable solution f : X ? \Bbb K f : X \to {\Bbb K} of the equation is continuous or equal zero almost everywhere (i.e., there is a first category set A ì X A \subset X with f(X \A) = { 0 }) f(X \backslash A) = \{ 0 \}) .     

Homogenization for strongly anisotropic nonlinear elliptic equations

In this paper we present homogenization results for elliptic degenerate differential equations describing strongly anisotropic media. More precisely, we study the limit as e? 0 \epsilon \to 0 of the following Dirichlet problems with rapidly oscillating periodic coefficients:¶¶ . \cases {{ -div(\alpha(\frac{x}{\epsilon}}, \nabla u) A(\frac{x}{\epsilon}) \nabla u) = f(x) \in L^{\infty}(\Omega) \atop u = 0 su \eth\Omega\ } ¶¶where, p > 1,     a: \Bbb Rⁿ ×\Bbb Rⁿ ? \Bbb R,     a(y,x) ? áA(y)x,x?^p/2-1, A ? M^{n ×n}(\Bbb R) p>1, \quad \alpha : \Bbb R^n \times \Bbb R^n \to \Bbb R, \quad \alpha(y,\xi) \approx \langle A(y)\xi,\xi \rangle ^{p/2-1}, A \in M^{n \times n}(\Bbb R) , A being a measurable periodic matrix such that A^t(x) = A(x) 3 0A^t(x) = A(x) \ge 0 almost everywhere.¶¶The anisotropy of the medium is described by the following structure hypothesis on the matrix A:¶¶l^2/p(x) |x|² ￡ áA(x)x,x? ￡ L ^2/p(x) |x|², \lambda^{2/p}(x) |\xi|^2 \leq \langle A(x)\xi,\xi \rangle \leq \Lambda ^{2/p}(x) |\xi|^2, ¶¶where the weight functions l \lambda and L \Lambda (satisfying suitable summability assumptions) can vanish or blow up, and can also be "moderately" different. The convergence to the homogenized problem is obtained by a classical compensated compactness argument, that had to be extended to two-weight Sobolev spaces.     

On quasimonotone increasing homeomorphisms

Let f ? C(\Bbb Rⁿ,\Bbb Rⁿ) f\in C(\Bbb R^n,\Bbb R^n) be quasimonotone increasing such that Y(f(y)-f(x)) ￡ -c Y(y-x) (x << y) \Psi (f(y)-f(x)) \!\le -c \Psi (y-x) (x\ll y) for a linear and strictly positive functional Y \Psi and c > 0. We prove that f is a homeomorphism with decreasing and Lipschitz continuous inverse and we prove the global asymptotic stability of the equilibrium solution of x￠=f(x) x'=f(x) .     

Conjugates of Rational Equivariant Holomorphic Maps of Symmetric Domains

Let t: D ?D￠\tau: {\cal D} \rightarrow{\cal D}^\prime be an equivariant holomorphic map of symmetric domains associated to a homomorphism r: \Bbb G ?\Bbb G￠{\bf\rho}: {\Bbb G} \rightarrow{\Bbb G}^\prime of semisimple algebraic groups defined over \Bbb Q{\Bbb Q} . If G ì \Bbb G (\Bbb Q)\Gamma\subset {\Bbb G} ({\Bbb Q}) and G￠ ì \Bbb G￠(\Bbb Q)\Gamma^\prime \subset {\Bbb G}^\prime ({\Bbb Q}) are torsion-free arithmetic subgroups with r (G) ì G￠{\bf\rho} (\Gamma) \subset \Gamma^\prime , the map G\D ?G￠\D￠\Gamma\backslash {\cal D} \rightarrow\Gamma^\prime \backslash {\cal D}^\prime of arithmetic varieties and the rationality of D{\cal D} and D￠{\cal D}^\prime as well as the commensurability groups of s ? Aut (\Bbb C)\sigma \in {\rm Aut} ({\Bbb C}) determines a conjugate equivariant holomorphic map t^s: D^s ?D^￠s\tau^\sigma: {\cal D}^\sigma \rightarrow{\cal D}^{\prime\sigma} of f^s: (G\D)^s ?(G￠\D￠)^s\phi^\sigma: (\Gamma\backslash {\cal D})^\sigma \rightarrow(\Gamma^\prime \backslash {\cal D}^\prime)^\sigma of . We prove that is rational if is rational.     

On groups acting freely on a tree

Suppose we are given a group G\mit\Gamma and a tree X on which G\mit\Gamma acts. Let d be the distance in the tree. Then we are interested in the asymptotic behavior of the numbers a_d: = # {w ? vertX : w=gv, g ? G , d(v₀,w)=d }a_d:= \# \{w\in {\rm {vert}}X : w=\gamma {v}, \gamma \in {\mit\Gamma} , d({v}_0,w)=d \} if d? ￥d\rightarrow \infty , where v, v_o are some fixed vertices in X.¶ In this paper we consider the case where G\mit\Gamma is a finitely generated group acting freely on a tree X. The growth function ?a_d x^d\textstyle\sum\limits a_d x^d is a rational function [3], which we describe explicitely. From this we get estimates for the radius of convergence of the series. For the cases where G\mit\Gamma is generated by one or two elements, we look a little bit closer at the denominator of this rational function. At the end we give one concrete example.     

A note on discrete heat conduction

If the longitudinal line method is applied to the Cauchy problem u_t = u_xx, u(0, x) = u₀(x) with a bounded function u₀, one is led to a linear initial value problem v￠(t)=A v(t), v(0)=wv'(t)=A v(t),\, v(0)=w in l^￥ (\Bbb Z)l^\infty (\Bbb Z). Using Banach limit techniques we study the asymptotic behaviour of the solutions of these problems as t tends to infinity.     

Linear independence of time-frequency shifts under a generalized Schrödinger representation

Let r_\mathbbR \rho_{\mathbb{R}} be the classical Schrödinger representation of the Heisenberg group and let L \Lambda be a finite subset of \mathbbR ×\mathbbR \mathbb{R} \times \mathbb{R} . The question of when the set of functions {t ? e^{2 pi y t} f(t + x) = (r_\mathbbR(x, y, 1) f)(t) : (x, y) ? L} \{t \mapsto e^{2 \pi i y t} f(t + x) = (\rho_{\mathbb{R}}(x, y, 1) f)(t) : (x, y) \in \Lambda\} is linearly independent for all f ? L²(\mathbbR), f 1 0 f \in L^2(\mathbb{R}), f \neq 0 , arises from Gabor analysis. We investigate an analogous problem for locally compact abelian groups G. For a finite subset L \Lambda of G ×[^(G)] G \times \widehat{G} and r_G \rho_G the Schrödinger representation of the Heisenberg group associated with G, we give a necessary and in many situations also sufficient condition for the set {r_G (x, w, 1)f : (x, w) ? L} \{\rho_G (x, w, 1)f : (x, w) \in \Lambda\} to be linearly independent for all f ? L²(G), f 1 0 f \in L^2(G), f \neq 0 .     

A wavelike functional equation of Pexider type

Summary. Let (G, +) and (H, +) be abelian groups such that the equation 2u = v 2u = v is solvable in both G and H. It is shown that if f₁, f₂, f₃, f₄, : G ×G ? H f_1, f_2, f_3, f_4, : G \times G \longrightarrow H satisfy the functional equation f₁(x + t, y + s) + f₂(x - t, y - s) = f₃(x + s, y - t) + f₄(x - s, y + t) for all x, y, s, t ? G x, y, s, t \in G , then f₁, f₂, f₃, and f₄ are given by f₁ = w + h, f₂ = w - h, f₃ = w + k, f₄ = w - k where w : G ×G ? H w : G \times G \longrightarrow H is an arbitrary solution of f (x + t, y + s) + f (x - t, y - s) = f (x + s, y - t) + f (x - s, y + t) for all x, y, s, t ? G x, y, s, t \in G , and h, k : G ×G ? H h, k : G \times G \longrightarrow H are arbitrary solutions of D_y,t³g(x,y) = 0 \Delta_{y,t}^{3}g(x,y) = 0 and D_x,t³g(x,y) = 0 \Delta_{x,t}^{3}g(x,y) = 0 for all x, y, s, t ? G x, y, s, t \in G .     

On the existence of certain measures appearing in distance geometry

Abstract. We prove the following result: Let X be a compact connected Hausdorff space and f be a continuous function on X x X. There exists some regular Borel probability measure m\mu on X such that the value of¶¶ ò\limit _X f(x,y)dm(y)\int\limit _X f(x,y)d\mu (y) is independent of the choice of x in X if and only if the following assertion holds: For each positive integer n and for all (not necessarily distinct) x₁,x₂,...,x_n,y₁,y₂,...,y_n in X, there exists an x in X such that¶¶ ?_i=1ⁿ f(x_i,x)=?_i=1ⁿ f(y_i,x).\sum\limits _{i=1}^n f(x_i,x)=\sum\limits _{i=1}^n f(y_i,x).     

Harmonicity of functions satisfying a weak form of the mean value property

Let W ì \Bbb Rⁿ\Omega \subset {\Bbb R}^n be a smooth domain and let u ? C⁰(W).u \in C^0(\Omega ). A classical result of potential theory states that¶¶-ò_{Sr([`(x)])</sub> u(x)ds(x)=u([`(x)])-\kern-5mm\int\limits _{S_{r}(\bar x)} u(x)d\sigma (x)=u(\bar x)¶¶for every [`(x)] ? W\bar x\in \Omega and r > 0r>0 if and only if¶¶Du=0 in W.\Delta u=0 \hbox { in } \Omega.¶¶Here -ò<sub>Sr([`(x)])} u(x)ds(x)-\kern-5mm\int\limits _{S_{r}(\bar x)} u(x)d\sigma (x) denotes the average of u on the sphere S_r([`(x)])S_r(\bar x) of center [`(x)]\bar x and radius r. Our main result, which is a "localized" version of the above result, states:¶¶Theorem. Let u ? W^2,1(W)u\in W^{2,1}(\Omega ) and let x ? Wx\in \Omega be a Lebesgue point of Du\Delta u such that¶¶-ò_Sr([`(x)]) u d s- a = o(r²)-\kern-5mm\int\limits _{S_{r}(\bar x)} u d \sigma - \alpha =o(r^2)¶¶for some a ? \Bbb R\alpha \in \Bbb R and all sufficiently small r > 0.r>0. Then¶¶Du(x)=0.\Delta u(x)=0.     

Covering and packing in \Bbb Zn{\Bbb Z}^n and \Bbb Rn{\Bbb R}^n, (I)

Given a finite subset A{\cal A} of an additive group \Bbb G{\Bbb G} such as \Bbb Zⁿ{\Bbb Z}^n or \Bbb Rⁿ{\Bbb R}^n , we are interested in efficient covering of \Bbb G{\Bbb G} by translates of A{\cal A} , and efficient packing of translates of A{\cal A} in \Bbb G{\Bbb G} . A set S ì \Bbb G{\cal S} \subset {\Bbb G} provides a covering if the translates A + s{\cal A} + s with s ? Ss \in {\cal S} cover \Bbb G{\Bbb G} (i.e., their union is \Bbb G{\Bbb G} ), and the covering will be efficient if S{\cal S} has small density in \Bbb G{\Bbb G} . On the other hand, a set S ì \Bbb G{\cal S} \subset {\Bbb G} will provide a packing if the translated sets A + s{\cal A} + s with s ? Ss \in {\cal S} are mutually disjoint, and the packing is efficient if S{\cal S} has large density. In the present part (I) we will derive some facts on these concepts when \Bbb G = \Bbb Zⁿ{\Bbb G} = {\Bbb Z}^n , and give estimates for the minimal covering densities and maximal packing densities of finite sets A ì \Bbb Zⁿ{\cal A} \subset {\Bbb Z}^n . In part (II) we will again deal with \Bbb G = \Bbb Zⁿ{\Bbb G} = {\Bbb Z}^n , and study the behaviour of such densities under linear transformations. In part (III) we will turn to \Bbb G = \Bbb Rⁿ{\Bbb G} = {\Bbb R}^n .     

On the singularities of residual intertwining operators

Let G be a reductive algebraic group defined over \Bbb Q {\Bbb Q} . Let P, P' be parabolic subgroups of G, defined over \Bbb Q {\Bbb Q} , and let _boxclose_boxclose, a_P') t \in W({\frak a}_{P}, {\frak a}_{P'}) . In this paper we study the intertwining operator M_P￠|P(t,l), l ? \frak a^*_{P,\Bbb C} M_{P' \vert P}(t,\lambda),\,\lambda \in {\frak a}^*_{P,{\Bbb C}} , acting in corresponding spaces of automorphic forms. One of the main results states that each matrix coefficient of M_P￠|P(t,l) M_{P' \vert P}(t,\lambda) is a meromorphic function of order ￡ n + 1 \le n + 1 , where n = dim G. Using this result, we further investigate the rank one intertwining operators, in particular, we study the distribution of their poles.     

A characterization of infinite 3-abelian groups

In this note we prove that every infinite group G is 3-abelian (i.e. (ab)³ = a³b³ for all a, b in G) if and only if in every two infinite subsets X and Y of G there exist x ? Xx\in X and y ? Yy\in Y such that (xy)³ = x³y³.     

Diameter preserving linear maps and isometries

We study linear bijections of C(X) which preserve the diameter of the range, that is, the seminorm r(f)=sup{|f(x)-f(y)| : x, y ? X}\varrho (f)={\rm sup}\{|f(x)-f(y)| : x, y\in X\}.     

Blocks with cyclic defect of Hecke orders of Coxeter groups

Let B\cal B be a p-block of cyclic defect of a Hecke order over the complete ring \Bbb Z[q] _{áq-1,p ?}\Bbb {Z}[q] _{\langle q-1,p \rangle}; i.e. modulo áq-1 ?\langle q-1 \rangle it is a p-block B of cyclic defect of the underlying Coxeter group G. Then B\cal B is a tree order over \Bbb Z[q]_{áq-1, p ?}\Bbb {Z}[q]_{\langle q-1, p \rangle } to the Brauer tree of B. Moreover, in case B\cal B is the principal block of the Hecke order of the symmetric group S(p) on p elements, then B\cal B can be described explicitly. In this case a complete set of non-isomorphic indecomposable Cohen-Macaulay B\cal B-modules is given.     

Polar factorization of maps on Riemannian manifolds

Let (M,g) be a connected compact manifold, C³ smooth and without boundary, equipped with a Riemannian distance d(x,y). If s : M ? M s : M \to M is merely Borel and never maps positive volume into zero volume, we show s = t °u s = t \circ u factors uniquely a.e. into the composition of a map t(x) = exp_x[-?y(x)] t(x) = {\rm exp}_x[-\nabla\psi(x)] and a volume-preserving map u : M ? M u : M \to M , where y: M ? \bold R \psi : M \to {\bold R} satisfies the additional property that (y^c)^c = y (\psi^c)^c = \psi with y^c(y) :=inf{c(x,y) - y(x) | x ? M} \psi^c(y) :={\rm inf}\{c(x,y) - \psi(x)\,\vert\,x \in M\} and c(x,y) = d²(x,y)/2. Like the factorization it generalizes from Euclidean space, this non-linear decomposition can be linearized around the identity to yield the Hodge decomposition of vector fields.¶The results are obtained by solving a Riemannian version of the Monge--Kantorovich problem, which means minimizing the expected value of the cost c(x,y) for transporting one distribution f 3 0 f \ge 0 of mass in L¹(M) onto another. Parallel results for other strictly convex cost functions c(x,y) 3 0 c(x,y) \ge 0 of the Riemannian distance on non-compact manifolds are briefly discussed.     

Representations of nilpotent Lie algebras

Let (L,[p]) a finite dimensional nilpotent restricted Lie algebra of characteristic p 3 3, c ? L^*p \geq 3, \chi \in L^* a linear form. In this paper we study the representation theory of the reduced universal enveloping algebra u(L,c)u(L,\chi ). It is shown that u(L,c)u(L,\chi ) does not admit blocks of tame representation type. As an application, we prove that the nonregular AR-components of u(L,c)u(L,\chi ) are of types \Bbb Z [A_￥ ]\Bbb Z [A_\infty ] or \Bbb Z [A_n]/(t)\Bbb Z [A_n]/(\tau ).