Estimates of the periods of periodic points for nonexpansive operators

Suppose thatE is a finite-dimensional Banach space with a polyhedral norm ‖·‖, i.e., a norm such that the unit ball inE is a polyhedron. ℝ ⁿ with the sup norm or ℝ ⁿ with thel ₁-norm are important examples. IfD is a bounded set inE andT:D→D is a map such that ‖T(y)−T(z)‖≤ ‖y−z‖ for ally andz inE, thenT is called nonexpansive with respect to ‖·‖, and it is known that for eachx ∈D there is an integerp=p(x) such that lim _j→∞ T ^jp (x) exists. Furthermore, there exists an integerN, depending only on the dimension ofE and the polyhedral norm onE, such thatp(x)≤N: see [1,12,18,19] and the references to the literature there. In [15], Scheutzow has raised a question about the optimal choice ofN whenE=ℝ ⁿ ,D=K ⁿ , the set of nonnegative vectors in ℝ ⁿ , and the norm is thel ₁-norm. We provide here a reasonably sharp answer to Scheutzow’s question, and in fact we provide a systematic way to generate examples and use this approach to prove that our estimates are optimal forn≤24. See Theorem 2.1, Table 2.1 and the examples in Section 3. As we show in Corollary 2.3, these results also provide information about the caseD=ℝ ⁿ , i.e.,T:ℝ ⁿ →ℝ ⁿ isl ₁-nonexpansive. In addition, it is conjectured in [12] thatN=2 ⁿ whenE=ℝ ⁿ and the norm is the sup norm, and such a result is optimal, if true. Our theorems here show that a sharper result is true for an important subclass of nonexpansive mapsT:(ℝ ⁿ ,‖ · ‖_∞)→(ℝ ⁿ ,‖ · ‖_∞). Partially supported by NSF DMS89-03018.     

Onp-absolutely summing constants of banach spaces

Given 1≦p<∞ and a real Banach spaceX, we define thep-absolutely summing constantμ _p(X) as inf{Σ _i ^=1/m |x*(x _i)|^p p Σ _i ^=1/m ‖x _i‖^p p]¹ p}, where the supremum ranges over {x*∈X*; ‖x*‖≤1} and the infimum is taken over all sets {x ₁,x ₂, …,x _m} ⊂X such that Σ _i ^=1/m ‖x _i‖>0. It follows immediately from [2] thatμ _p(X)>0 if and only ifX is finite dimensional. In this paper we find the exact values ofμ _p(X) for various spaces, and obtain some asymptotic estimates ofμ _p(X) for general finite dimensional Banach spaces. This is a part of the author’s Ph.D. Thesis prepared at the Hebrew University of Jerusalem, under the supervision of Prof. A. Dvoretzky and Prof. J. Lindenstrauss.     

Averaging distances in real quasihypermetric Banach spaces of finite dimension

The average distance theorem of Gross implies that for each realN-dimensional Banach space (N≥2) there is a unique positive real numberr(E) with the following property: For each positive integern and for all (not necessarily distinct)x ₁,x ₂, …,x _n inE with ‖x ₁‖=‖x ₂‖=…=‖x _n‖=1, there exists anx inE with ‖x‖=1 such that The main result of this paper shows, thatr(E)≤2−1/N for each realN-dimensional Banach spaceE (N≥2) with the so-called quasihypermetric property (which is equivalent toE isL ¹-embeddable). Moreover, equality holds if and only ifE is isometrically isomorphic to ℝ ^N equipped with the usual 1-norm.     

E Φ andh Φ fail to beM-ideals inL Φ andl Φ in the case of the Orlicz norm

It is well known that in the case of the Luxemburg normE ^Φ (resp.h ^Φ) is anM ideal inL ^Φ (resp.l ^Φ), see [1], [9], [15] and [6]; [17] and [18]. It is proved in this paper that in the case of the Orlicz normE ^Φ (resph ^Φ) is anM-ideal inL ^Φ (resp.l ^Φ) iff Φ satisfies the suitable Δ₂ or Φ^*(a(Φ^*)), where a(Φ^*) is linear on the interval [0,u]} and Φ^* denotes the function complementary to Φ in the sense of Young. It is also proved that any linear continuous regular (i.e. order continuous) functional ξ_υ overE ^Φ (resp.h ^Φ) generated byv∈ L(h ^Φ*) (resp.v∈ L(h ^Φ*)) which attains its norm on the unit sphereS(E ^Φ) (resp.S(h ^Φ)), has a unique norm-preserving extension toL ^Φ (resp.l ^Φ). Finally, it is proved thatL ^Φ (resp.l ^Φ) has the property that any linear continuous regular functional ξ_υ overE ^Φ (resp.h ^Φ) has a unique norm-preserving extension toL ^Φ (resp.l ^Φ) iff Φ orE ^Φ satisfies the suitable Δ₂ and in the second case Φ^* attains the value 1.     

The range of a projection of small norm inl 1 n

It is proved that there exists a positive function Φ(∈) defined for sufficiently small ∈ 〉 0 and satisfying lim_t→0 Φ(∈) =0 such that for any integersn 〉>0, ifQ is a projection ofl ₁ ⁿ onto ak-dimensional subspaceE with ‖|Q‖|≦1+∈ then there is an integerh〉=k(1−Φ(∈)) and anh-dimensional subspaceF ofE withd(F,l ₁ ^h ) 〈= 1+Φ (∈) whered(X, Y) denotes the Banach-Mazur distance between the Banach spacesX andY. Moreover, there is a projectionP ofl ₁ ⁿ ontoF with ‖|P‖| ≦1+Φ(∈). Author was partially supported by the N.S.F. Grant MCS 79-03042.     

Nearly flat almost monotone measures are big pieces of lipschitz graphs

A concentrated (ξ, m) almost monotone measure inR ⁿ is a Radon measure Φ satisfying the two following conditions: (1) Θ ^m (Φ,x)≥1 for every x ∈spt (Φ) and (2) for everyx ∈R ⁿ the ratioexp [ξ(r)]r^−mΦ(B(x,r)) is increasing as a function of r>0. Here ξ is an increasing function such thatlim _r→0-ξ(r)=0. We prove that there is a relatively open dense setReg (Φ) ∋spt (Φ) such that at each x∈Reg(Φ) the support of Φ has the following regularity property: given ε>0 and λ>0 there is an m dimensional spaceW ⊂R ⁿ and a λ-Lipschitz function f from x+W into x+W^‖ so that (100-ε)% ofspt(Φ) ∩B (x, r) coincides with the graph of f, at some scale r>0 depending on x, ε, and λ.     

Some estimation theory on the sphere

Summary We consider distributions with densities of the formf(μ′x) andf(‖x _v ‖) where μ andx are unit vectors inR ^q and ‖x _v ‖ is the norm of the part ofx in somes dimensional subspaceV ofR ^q . For several loss functions, optimal Bayesian and Pitman estimators of μ andV are given. When uniform priors are used, these estimators are identical. Then the infinitesimal robustness characteristics of several special cases of these estimators are calculated.     

Weights andL Φ-boundedness of the Poisson integral operator

In this paper, we get a necessary and sufficient condition on the weights (μ,v) for the Poisson integral operator to be bounded fromL _Φ(R ⁿ, v(x)dx) to weak-L _Φ(R ₊ ⁿ⁺¹ ,dμ), where Φ is anN-function satisfying the Δ₂-condition. We also find a necessary and sufficient condition on the weights (μ,v) for the Poisson integral operator to be bounded fromL _Φ(R ⁿ,v(x)dx) toL _Φ(R ₊ ⁿ⁺¹ ,dμ) under some additional condition. Partially supported by NNSF of P.R. China     

Raising approximation order of refinable vector by increasing multiplicity

An algorithm is presented for raising an approximation order of any given orthogonal multiscaling function with the dilation factor a. Let φ(x) = [φ1(x),φ2(x),…,φr(x)]T be an orthogonal multiscaling function with the dilation factor a and the approximation order m. We can construct a new orthogonal multiscaling function φnew(x) = [ φT(x). f3r 1(x),φr 2(x),…,φr s(x)}T with the approximation order m L(L ∈ Z ). In other words, we raise the approximation order of multiscaling function φ(x) by increasing its multiplicity. In addition, we discuss an especial setting. That is, if given an orthogonal multiscaling function φ(x) = [φ1 (x), φ2(x), …, φr(x)]T is symmetric, then the new orthogonal multiscaling function φnew(x) not only raise the approximation order but also preserve symmetry. Finally, some examples are given.     

The Johnson–Lindenstrauss Lemma Almost Characterizes Hilbert Space, But Not Quite

Let X be a normed space that satisfies the Johnson–Lindenstrauss lemma (J–L lemma, in short) in the sense that for any integer n and any x ₁,…,x _n ∈X, there exists a linear mapping L:X→F, where F⊆X is a linear subspace of dimension O(log n), such that ‖x _i −x _j ‖≤‖L(x _i )−L(x _j )‖≤O(1)⋅‖x _i −x _j ‖ for all i,j∈{1,…,n}. We show that this implies that X is almost Euclidean in the following sense: Every n-dimensional subspace of X embeds into Hilbert space with distortion 2^2O(log*n)2^{2^{O(\log^{*}n)}} . On the other hand, we show that there exists a normed space Y which satisfies the J–L lemma, but for every n, there exists an n-dimensional subspace E _n ⊆Y whose Euclidean distortion is at least 2^Ω(α(n)), where α is the inverse Ackermann function.     

On the ideal centre of the space of vector valued integrable functions

Let E be a Banach lattice and L¹(μ, E) be the space of E-valued Bochner integrable functions. Some order properties of L¹(μ, E) are given. It is shown that L_s^∞(μ, Z(E)) is the ideal centre of L¹(μ, E) and it is obtained a Radon-Nikodym type theorem for B -integrable functions.      

Optimal properties of contraction semigroups in banach spaces

Suppose that(T _t )_t>0 is aC ₀ semi-group of contractions on a Banach spaceX, such that there exists a vectorx∈X, ‖x‖=1 verifyingJ ⁻¹(Jx)={x}, whereJ is the duality mapping fromX toP(X ^*). If |<T _t x,f>|→1, whent→+∞ for somef∈X ^*, ‖f‖≤1 thenx is an eigenvector of the generatorA, associated with a purcly imaginary eigenvalue. Because of Lin's example [L], the hypothesis onx∈X is the best possible. If the hypothesisJ ⁻¹(Jx)={x} is not verified, we can prove that ifJx is a singleton and ifJ ⁻¹(Jx) is weakly compact, then if |<T _t x, f>|→1, whent→+∞ for somef∈X ^*, ‖f‖≤1, there existsy∈J ⁻¹(Jx) such thaty is an eigenvector of the generatorA, associated with a purely imaginary eigenvalue. We give also a counter-example in the case whereX is one of the spaces ℓ₁ orL ₁.     

Asymptotiques d’un systeme dynamique conservatif associe a une equation elliptique non lineaire

LetM be a compact riemannian manifold,h an odd function such thath(r)/r is non-decreasing with limit 0 at 0. Letf(r)=h(r)-γr and assume there exist non-negative constantsA andB and a realp>1 such thatf(r)>Ar ^P-B. We prove that any non-negative solutionu ofu _tt+Δ_gu=f(u) onM x ℝ⁺ satisfying Dirichlet or Neumann boundary conditions on ϖM converges to a (stationary) solution of Δ _g Φ=f(Φ) onM with exponential decay of ‖u-Φ‖C ²(M). For solutions with non-constant sign, we prove an homogenisation result for sufficiently small λ; further, we show that for every λ the map (u(0,·),u _t(0,·))→(u(t,·), u _t(t,·)) defines a dynamical system onW ^1/2(M)⊂C(M)×L ²(M) which possesses a compact maximal attractor.      

Renorming in the space of Bochner integrable functionsL 1(μ,X)

A sufficient condition is given when a subspaceL⊂L ₁(μ,X) of the space of Bochner integrable function, defined on a finite and positive measure space (S, Φ, μ) with values in a Banach spaceX, is locally uniformly convex renormable in terms of the integrable evaluations {∫ _A fdμ;f∈L}. This shows the lifting property thatL ₁(μ,X) is renormable if and only ifX is, and indicates a large class of renormable subspaces even ifX does not admit and equivalent locally uniformly convex norm.     

Analogues of the “zero-two” law for positive linear contractions inL p andC(X)

LetT be a positive linear contraction inL ^p (1≦p<∞), then we show that lim ‖T ^pf −T ⁿ⁺¹ f‖ _p ≦(1 − ε)2^1/p (f∈L _p ⁺ , ε>0 independent off) implies already lim_n n→∞ ‖T ⁿf −T ⁿ⁺¹ n+1f ‖_p p=0. Several other related results as well as uniform variants of these are also given. Finally some similar results inLsu/t8 andC(X) are shown.     

Wavelet expansions of fractal measures

Let μ be a measure on ℝⁿ that satisfies the estimate μ(B _r(x))≤cr ^α for allx ∈ ℝⁿ and allr ≤ 1 (B _r(x) denotes the ball of radius r centered atx. Let ϕ _j,k ^(ɛ) (x)=2 ^nj2ϕ^(ɛ)(2 ^j x-k) be a wavelet basis forj ∈ ℤ, κ ∈ ℤⁿ, and ∈ ∈E, a finite set, and letP _j (T)=Σ_ɛ,k <T,ϕ _j,k ^(ɛ) >ϕ _j,k ^(ɛ) denote the associated projection operators at levelj (T is a suitable measure or distribution). Iff ∈Ls ^p(dμ) for 1 ≤p ≤ ∞, we show thatP _j(f dμ) ∈ L^p(dx) and ||P _j (fdμ)||L _p(dx)≤c2 ^{j((n-α)/p′))}||f||L _p(dμ) for allj ≥ 0. We also obtain estimates for the limsup and liminf of ||P _j (fdμ)||L _p(dx) under more restrictive hypotheses. Communicated by Guido Weiss     

On order preserving contractions

Let (Ω,Σ,μ) be a measure space and letP be an operator onL ₂(Ω,Σ,μ) with ‖P‖≦1,Pf≧0 a.e. wheneverf≧0. If the subspaceK is defined byK={x| ||P ⁿ x||=||P ^*n x||=||x||,n=1,2,...} thenK=L ₂(Ω,Σ₁,μ), where Σ₁ ⊂ Σ and onK the operatorP is “essentially” a measure preserving transformation. Thus the eigenvalues ofP of modulus one, form a group under multiplication. This last result was proved by Rota for finiteμ here finiteness is not assumed) and is a generalization of a theorem of Frobenius and Perron on positive matrices. The research reported in this document has been sponsored in part by Air Force Office of Scientific Research, OAR through the European Office, Aerospace Research, United States Air Force.     

The Gaussian cotype of operators fromC(K)

We show that the canonical embeddingC(K) →L _Φ(μ) has Gaussian cotypep, where μ is a Radon probability measure onK, and Φ is an Orlicz function equivalent tot ^p(logt) ^p/2 for larget.     

On perturbations of differentiable semigroups

LetX be a Banach space and letA be the infinitesimal generator of a differentiable semigroup {T(t) |t ≥ 0}, i.e. aC ₀-semigroup such thatt ↦T(t)x is differentiable on (0, ∞) for everyx εX. LetB be a bounded linear operator onX and let {S(t) |t ≥ 0} be the semigroup generated byA +B. Renardy recently gave an example which shows that {S(t) |t ≥ 0} need not be differentiable. In this paper we give a condition on the growth of ‖T′(t)‖ ast ↓ 0 which is sufficient to ensure that {S(t) |t ≥ 0} is differentiable. Moreover, we use Renardy’s example to study the optimality of our growth condition. Our results can be summarized roughly as follows:

An example concerning the nonlinear pointwise ergodic theorem

It is shown that the pointwise ergodic theorem for Markov operators inL ₁, having a finite invariant measure, fails to extend to the case of nonlinear operators. Recall thatT is called nonexpansive inL _p if ‖Tf – Tg ‖ _p ≦‖f – g‖ _p holds for allf andg.