C-semigroups and strongly continuous semigroups

We show that, whenA generates aC-semigroup, then there existsY such that [M(C)] →Y →X, andA| _Y , the restriction ofA toY, generates a strongly continuous semigroup, where ↪ means “is continuously embedded in” and ‖x‖_[Im(C)]≡‖C ⁻¹ x‖. There also existsW such that [C(W)] →X →W, and an operatorB such thatA=B| _X andB generates a strongly continuous semigroup onW. If theC-semigroup is exponentially bounded, thenY andW may be chosen to be Banach spaces; in general,Y andW are Frechet spaces. If ρ(A) is nonempty, the converse is also true. We construct fractional powers of generators of boundedC-semigroups. We would like to thank R. Bürger for sending preprints, and the referee for pointing out reference [37]. This research was supported by an Ohio University Research Grant.     

Fixed point theorems for non-Lipschitzian mappings of asymptotically nonexpansive type

LetX be a Banach space,K a nonempty, bounded, closed and convex subset ofX, and supposeT:K→K satisfies: for eachx∈K, lim sup _i→∞{sup _y∈K ‖t ⁱx−Tⁱy∼−‖x−y‖}≦0. IfT ^N is continuous for some positive integerN, and if either (a)X is uniformly convex, or (b)K is compact, thenT has a fixed point inK. The former generalizes a theorem of Goebel and Kirk for asymptotically nonexpansive mappings. These are mappingsT:K→K satisfying, fori sufficiently large, ‖Tⁱx−Tⁱy‖≦k _i‖x−y∼,x,y∈K, wherek _i→1 asi→∞. The precise assumption in (a) is somewhat weaker than uniform convexity, requiring only that Goebel’s characteristic of convexity, ɛ₀ (X), be less than one. Research supported by National Science Foundation Grant GP 18045.     

Norm conditions for real-algebra isomorphisms between uniform algebras

Let A and B be uniform algebras. Suppose that α ≠ 0 and A ₁ ⊂ A. Let ρ, τ: A ₁ → A and S, T: A ₁ → B be mappings. Suppose that ρ(A ₁), τ(A ₁) and S(A ₁), T(A ₁) are closed under multiplications and contain expA and expB, respectively. If ‖S(f)T(g) − α‖_∞ = ‖ρ(f)τ(g) − α‖_∞ for all f, g ∈ A ₁, S(e ₁)⁻¹ ∈ S(A ₁) and S(e ₁) ∈ T(A ₁) for some e ₁ ∈ A ₁ with ρ(e ₁) = 1, then there exists a real-algebra isomorphism $ \tilde S $ \tilde S : A → B such that $ \tilde S $ \tilde S (ρ(f)) = S(e ₁)⁻¹ S(f) for every f ∈ A ₁. We also give some applications of this result.     

An ergodic theorem on Banach lattices

E is a Banach lattice that is weakly sequentially complete and has a weak unitu. TLf _n=ϕ means that the infimum of |f _n−ϕ| andu converges strongly to zero.T is a positive contraction operator onE andA _n=(1/n)(I+T+...+T ⁿ⁻¹). Without an additional assumption onE, the “truncated limit” TLA _nf need not exist forf inE. This limit exists for eachf ifE satisfies the following additional assumption (C): For everyf inE ₊ and for every numberα>0, there is a numberβ=β(f, α) such that ifg is inE ₊, ‖g‖≦1, 0≦f′≦f and ‖f′‖>α then ‖f′+g‖≧‖g‖+β. Research of this author is partially supported by NSERC Grant A3974. Research of this author is partially supported by NSF Grant 8301619.     

The zero-two law in Banach lattice algebras

LetA be a unital Banach lattice algebra and leta εA ⁺ satisfy ‖a ‖≦1. Then either ‖a ⁿ⁺¹ −a ⁿ ‖=2 for alln≧0 or else ‖a ⁿ⁺¹ −a ⁿ ‖ → 0 asn → ∞. Cyclicity of the peripheral spectrum ofa is also established.     

The riesz turndown collar theorem giving an asymptotic estimate of the powers of an operator under the ritt condition

For Banach space operatorsT satisfying the Tadmor-Ritt condition ‖(zI−T)⁻¹‖≤C|z−1|⁻¹, |z|>1, we show how to use the Riesz turndown collar theorem to estimate sup _n≥0‖T ⁿ‖. A similar estimate is shown for lim sup _n ‖T ⁿ‖ in terms of the Ritt constantM=lim sup _z→1‖(1−z)(zI−T)⁻¹‖. We also obtain an estimate of the functional calculus for these operators proving, in particular, that ‖f(T)‖≤C _q‖f‖ _Mult , where ‖·‖ _Mult stands for the multiplier norm of the Cauchy-Stieltjes integrals over a Lusin type cone domain depending onC and a parameterq, 0<q<1. Notation.D denotes the open unit disc of the complex plane,D={z∈ℂ:|z|<1}, andT={z∈ℂ:|z|=1} is the unit circle.H ^∞ is the Banach algebra of bounded analytic functions onD equipped with the supremum norm ‖.‖_∞.     

A semigroup approach to fractional powers

We say that A has fractional powers {A _t } _t≥0 if there exists a nondegenerate C-regularized semigroup {W(t)} _t≥0 such that A=C ⁻¹ W(1); then A _t ≡C ⁻¹ W(t). We show that this generalizes the usual definition of fractional powers for nonnegative operators, and enables many operators with spectrum containing the entire unit disc to have fractional powers. Our definition gives clear, simple proofs of the basic properties of fractional powers. We show that, for nonnegative operators, the fractional powers with the property that, if A is of type θ, then A _t is of type t θ, whenever t θ<π, are unique. More generally, for injective G∈B(X) commuting with A, we show that an operator A of G-regularized type θ has a unique family of fractional powers with the property that A _t is of G-regularized type t θ whenever t θ<π. This leads to a construction of fractional powers of operators with polynomially bounded resolvent outside of an appropriate sector. We show that an operator is of regularized type if and only if it has exponentially bounded regularized imaginary powers. This work was done while the second author was visiting Ohio University, with funding from Universitat de València. He would like to thank Ohio University and Professor deLaubenfels for their hospitality and support.     

Nonlinear perturbations of linear accretive operators in Banach spaces

It is shown that a strongly continuous semi-group of nonlinear nonexpansive operators can be constructed as lim _n→∞ ((I+t/nB)⁻¹ (I+t/nB)⁻¹) ⁿ whereA is a linearm-accretive operator,B is a nonlinearm-accretive operator, andB satisfies a boundedness condition relative toA.     

Modulus of continuity of the matrix absolute value

Lipschitz continuity of the matrix absolute value |A| = (A*A)^1/2 is studied. Let A and B be invertible, and let M ₁ = max(‖A‖, ‖B‖), M ₂ = max(‖A ⁻¹‖, ‖B ⁻¹‖). Then it is shown that

Relatively hyperbolic extensions of groups and Cannon-Thurston maps

Let 1 → (K, K ₁) → (G, N _G (K ₁)) → (Q, Q ₁) → 1 be a short exact sequence of pairs of finitely generated groups with K ₁ a proper non-trivial subgroup of K and K strongly hyperbolic relative to K ₁. Assuming that, for all g ∈ G, there exists k _g ∈ K such that gK ₁ g ⁻¹ = k _g K ₁ k _g⁻¹, we will prove that there exists a quasi-isometric section s: Q → G. Further, we will prove that if G is strongly hyperbolic relative to the normalizer subgroup N _G (K ₁) and weakly hyperbolic relative to K ₁, then there exists a Cannon-Thurston map for the inclusion i: Γ _K → Γ _G .     

Some Simple Estimates for the Singular Values of Matrices

Abstract We first provide a simple estimate for ||A~(-1)||_∞ and ||A~(-1)||_1 of a strictly diagonally dominant matrixA. On the Basis of the result, we obtain an estimate for the smallest singular value of A. Secondly, by scalingwith a positive diagonal matrix D, we obtain some simple estimates for the smallest singular value of an H-matrix, which is not necessarily positive definite. Finally, we give some examples to show the effectiveness ofthe new bounds.     

Multiplicatively and non-symmetric multiplicatively norm-preserving maps

Let A and B be Banach function algebras on compact Hausdorff spaces X and Y and let ‖.‖ _X and ‖.‖ _Y denote the supremum norms on X and Y, respectively. We first establish a result concerning a surjective map T between particular subsets of the uniform closures of A and B, preserving multiplicatively the norm, i.e. ‖Tf Tg‖ _Y = ‖fg‖ _X , for certain elements f and g in the domain. Then we show that if α ∈ ℂ {0} and T: A → B is a surjective, not necessarily linear, map satisfying ‖fg + α‖ _X = ‖Tf Tg + α‖ _Y , f,g ∈ A, then T is injective and there exist a homeomorphism φ: c(B) → c(A) between the Choquet boundaries of B and A, an invertible element η ∈ B with η(Y) ⊆ {1, −1} and a clopen subset K of c(B) such that for each f ∈ A,

Fourier analysis with respect to bilinear maps

Several results about convolution and about Fourier coefficients for X-valued functions defined on t he torus satisfying the condition sup ｜｜y｜｜=1∫-π^π｜｜ B （f （e^iθ）, y）｜｜dθ/2π〈 ∞ for a bounded bilinear map B ： X × Y → Z are presented and some applications are given.     

Derived length and products of conjugacy classes

Let G be a supersolvable group and A be a conjugacy class of G. Observe that for some integer η(AA ⁻¹) > 0, AA ⁻¹ = {ab ⁻¹: a, b ∈ A} is the union of η(AA ⁻¹) distinct conjugacy classes of G. Set C _G (A) = {g ∈ G: a ^g = a for all a ∈ A. Then the derived length of G/C _G (A) is less or equal than 2η(AA ⁻¹) − 1.     

Absolutely continuous invariant measures for piecewise expandingC 2 transformations inR N

LetS be a bounded region inR ^N and let ℊ={S _i} _i ^=1/m be a partition ofS into a finite number of subsets having piecewiseC ² boundaries. We assume that whereC ² segments of the boundaries meet, the angle subtended by tangents to these segments at the point of contact is bounded away from 0. Letτ:S →S be piecewiseC ² on ℊ and expanding in the sense that there exists 0<σ< 1 such that for anyi=1, 2, ...,m, ‖Dτ _i ⁻¹ ‖<σ, whereDτ _i ⁻¹ is the derivative matrix ofτ _i ⁻¹ and ‖ ‖ is the euclidean matrix norm. The main result provides an upper bound onσ which guarantees the existence of an absolutely continuous invariant measure forτ. The research of the second author was supported by NSERC and FCAR grants.     

On the Cauchy difference on normed spaces

LetX be a real linear normed space, (G, +) be a topological group, andK be a discrete normal subgroup ofG. We prove that if a continuous at a point or measurable (in the sense specified later) functionf:X →G fulfils the condition:f(x +y) -f(x) -f(y) ∈K whenever ‖x‖ = ‖y‖, then, under some additional assumptions onG,K, andX, there esists a continuous additive functionA :X →G such thatf(x) -A(x) ∈K.     

The Littlewood-Gowers problem

The paper has two main parts. To begin with, suppose that G is a compact abelian group. Chang’s Theorem can be viewed as a structural refinement of Bessel’s inequality for functions ƒ ∈ L ²(G). We prove an analogous result for functions ƒ ∈ A(G), where A(G) is the space endowed with the norm , and generalize this to the approximate Fourier transform on Bohr sets. As an application of the first part of the paper, we improve a recent result of Green and Konyagin. Suppose that p is a prime number and A ⊂ ℤ/pℤ has density bounded away from 0 and 1 by an absolute constant. Green and Konyagin have shown that ‖χ _A ‖ _A(ℤ/pℤ) ≫ ɛ (log p)^1/3−ɛ; we improve this to ‖χ _A ‖ _A(ℤ/pℤ) ≫ ɛ (log p)^1/2−ɛ. To put this in context, it is easy to see that if A is an arithmetic progression, then ‖χ _A ‖ _A(ℤ/pℤ) ≪ log p.     

On a problem of spencer

LetX ₁, ...,X _n be events in a probability space. Let ϱ_i be the probabilityX _i occurs. Let ϱ be the probability that none of theX _i occur. LetG be a graph on [n] so that for 1 ≦i≦n X _i is independent of ≈X _j ‖(i, j)∉G≈. Letf(d) be the sup of thosex such that if ϱ₁, ..., ϱ _n ≦x andG has maximum degree ≦d then ϱ>0. We showf(1)=1/2,f(d)=(d−1) ^d−1 d ^−d ford≧2. Hence df(d)=1/e. This answers a question posed by Spencer in [2]. We also find a sharp bound for ϱ in terms of the ϱ _i andG.     

An identity for normal-like operators

Forλεσ(A) (A a bounded linear operator on a Hilbert space) withλ a boundary point of the numerical range, the ‘spectral theory’ forλ is ‘just as ifA were normal’. IfA isnormal-like (the smallest disk containingσ(A) has radiusr=inf _z ‖A − z‖), then also sup {‖Ax‖² − |〈x.Ax〉|²:‖x‖=1}=r ². This research was partially supported by Air Force Contract AF-AFOSR-62-414.