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.     

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.     

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 ₁.     

Slow and fast decay of solutions to some second order evolution equations

IfA=A ^*≥0 on the real Hilbert spaceH=L ² (Ω, dμ) withKerA=A ⁻¹ ({0})∈0, (I+A)⁻¹ compact andf(u)=c|u| ^p−1 u withc>0,p>1, the solutions ofu”+u’+Au+f(u)=0 tend to 0 in norm at least liket ^−1/(p−1) ast→∞. Here it is shown that the set of initial data of those solutions tending to 0 exponentially fast has near 0 the structure of a manifold with codimension dim(Ker A). If, in addition,A=−Δ with Neumann homogeneous boundary conditions, we show that the following alternative holds true: eitheru(t) tends to 0 exponentially fast, or ‖u(t)‖≥γt ^−1/(p−1) with γ>0 fort≥1.     

Analyticity of the sine family with L p -maximal regularity for second order Cauchy problems

If the second order problem u（t） ＋ Bu（t） ＋ Au（t） = f（t）, u（0） =u（0） = 0 has L^p-maximal regularity, 1 〈 p 〈 ∞, the analyticity of the corresponding propagator of the sine type is shown by obtaining the estimates of ‖λ（λ^2 ＋ λB ＋ A）^-1‖ and ‖B（λ^2 ＋ λB ＋ A）^-1‖ for λ∈ C with Reλ 〉 ω, where the constant ω≥ 0.     

Differentiability of convolutions, integrated semigroups of bounded semi-variation, and the inhomogeneous Cauchy problem

If T = {T (t); t ≥ 0} is a strongly continuous family of bounded linear operators between two Banach spaces X and Y and f ∈ L ¹(0, b, X), the convolution of T with f is defined by . It is shown that T * f is continuously differentiable for all f ∈ C(0, b, X) if and only if T is of bounded semi-variation on [0, b]. Further T * f is continuously differentiable for all f ∈ L ^p (0, b, X) (1 ≤ p < ∞) if and only if T is of bounded semi-p-variation on [0, b] and T(0) = 0. If T is an integrated semigroup with generator A, these respective conditions are necessary and sufficient for the Cauchy problem u′ = Au + f, u(0) = 0, to have integral (or mild) solutions for all f in the respective function vector spaces. A converse is proved to a well-known result by Da Prato and Sinestrari: the generator A of an integrated semigroup is a Hille-Yosida operator if, for some b > 0, the Cauchy problem has integral solutions for all f ∈ L ¹(0, b, X). Integrated semigroups of bounded semi-p-variation are preserved under bounded additive perturbations of their generators and under commutative sums of generators if one of them generates a C ₀-semigroup. Günter Lumer in memoriam     

The Ornstein-Uhlenbeck semigroup in exterior domains

Let Ω be an exterior domain in It is shown that Ornstein-Uhlenbeck operators L generate C₀-semigroups on L^p(Ω) for p ∈ (1, ∞) provided ∂Ω is smooth. The method presented also allows to determine the domain D(L) of L and to prove L^p − L^q smoothing properties of e^tL. If ∂Ω is only Lipschitz, results of this type are shown to be true for p close to 2. Received: 16 December 2004; revised: 4 February 2005     

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 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.     

Invariant densities and mean ergodicity of markov operators

We prove that a Markov operatorT onL ₁ has an invariant density if and only if there exists a densityf that satisfies lim sup _n→∞‖T ⁿ f − f‖ < 2. Using this result, we show that a Frobenius-Perron operatorP is mean ergodic if and only if there exists a densityw such that lim sup _n→∞ ‖P ⁿ f − w‖<2 for every densityf. Corresponding results hold for strongly continuous semigroups.     

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

Heat-kernels and maximalL p -L q -Estimates: The non-autonomous case

In this paper, we establish maximal L^p−L^q estimates for non-autonomous parabolic equations of the type u′(t)+A(t)u(t)=f(t), u(0)=0 under suitable conditions on the kernels of the semigroups generated by the operators −A(t), t∈[0,T]. We apply this result on semilinear problems of the form u′(t)+A(t)u(t)=f(t, u(t)), u(0)=0.     

Semigroups and resolvents of bounded variation,imaginary powers andH ∞ functional calculus

Let −A be a linear, injective operator, on a Banach spaceX. We show that ∃ anH ^∞ functional calculus forA if and only if −A generates a bouned strongly continuous holomorphic semigroup of uniform weak bounded variation, if and only ifA(ζ+A) ⁻¹ is of uniform weak bounded variation. This provides a sufficient condition for the imaginary powers ofA, {A^−is} sεR, to extend to a strongly continuous group of bounded operators; we also give similar necessary conditions.     

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 ‖.‖_∞.     

On coerciveness and semiboundedness of general boundary problems

The paper treats coerciveness inequalities (of the form Re(Au, u)≧c ‖u‖ _s ² −λ ‖u‖ ₀ ² ,c>0,λ ∈ R) and semiboundedness inequalities (of the form Re (Au, u)≧−λ ‖u‖²) for the general boundary problems associated with an elliptic 2m-order differential operatorA in a compactn-dimensional manifold with boundary. In particular, we study the normal pseudo-differential boundary conditions, for which we determine necessary and sufficient conditions for coerciveness withs=m, and for semiboundedness with ‖u‖ = ‖u‖_m, in explicit form.     

A C 0 Estimate for Nearly Umbilical Surfaces

Let Σ ⊂ R ³ be a smooth compact connected surface without boundary. Denote by A its second fundamental form and by Å the tensor A−(tr A/2)Id. In [4] we proved that, if ‖Å‖ _L ² (Σ) is small, then Σ is W ^2,2-close to a round sphere. In this note we show that, in addition, the metric of Σ is C ⁰–close to the standard metric of S ².The first author was supported by a grant of the Swiss National Science Foundation.     

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 some properties of Musielak-Orlicz spaces and their subspaces of order continuous elements

Some criterions in order thatl ¹ embeds complementably inE ^Φ(μ) and inL ^Φ(μ) are given. It is also proved that every idealL inL ^Φ(μ) such thatI _Φ(x/‖x‖Φ)=1 for anyxεL/{0} is contained inE ^Φ(μ).     

Polynomials of best approximation inC[−1,1]

Equivalences between the condition |P _n ^(k) (x)|≦K(n ⁻¹√1−x ²+1/n ²) ^k n ^-a, whereP _n(x) is the bestn-th degree polynomial approximation tof(x), and the Peetre interpolation space betweenC[−1,1] and the space (1−x ²) ^k f ^(2k)(x)∈C[−1,1] is established. A similar result is shown forE _n(f)= ‖f−P _n‖ _C[−1,1]. Rates other thann ^-a are also discussed. Supported by NSERC grant A4816 of Canada.     

Bounded imaginary powers and <Emphasis Type="Italic">H</Emphasis><Subscript>∞</Subscript>-calculus of the Stokes operator in two-dimensional exterior domains

The present contribution deals with the Stokes operator A_q on L^q_σ(Ω), 1<q<∞, where Ω is an exterior domain in ℝ² of class C². It is proved that A_q admits a bounded H_∞-calculus. This implies the existence of bounded imaginary powers of A_q, which has several important applications. – So far this property was only known for exterior domains in ℝⁿ, n≥3. – In particular, this shows that A_q has maximal regularity on L^q_σ(Ω). For the proof the resolvent (λ+A_q)⁻¹ has to be analyzed for |λ|→∞ and λ→0. For large λ this is done using an approximate resolvent based on the results of [3], which were obtained by applying the calculus of pseudodifferential boundary value problems. For small λ we analyze the representation of the resolvent developed in [11] by a potential theoretical method.