On nonnegative solvability of linear operator equations

LetE be a Banach lattice having order continuous norm. Suppose, moreover,T is a nonnegative reducible operator having a compact iterate and which mapsE into itself. The purpose of this work is to extend the previous results of the authors, concerning nonnegative solvability of (kernel) operator equations on generalL ^p-spaces. In particular, we provide necessary and sufficient conditions for the operator equation x=T x+y to possess a nonnegative solutionxE wherey is a given nonnegative and nontrivial element ofE and is any given positive parameter.     

Characterization of Gaussian semigroups on separable Banach spaces

Let E be a separable real Banach space and denote by BUC (E) the space of bounded and uniformly continuous functions on E. For a C ₀-semigroup acting on BUC(E), we obtain necessary and sufficient conditions ensuring that is Gaussian.     

On the approximation of positive operators and the behaviour of the spectra of the approximants

LetT be a positive linear operator on the Banach latticeE and let (S _n ) be a sequence of bounded linear operators onE which converge strongly toT. Our main results are concerned with the question under which additional assumptions onS _n andT the peripheral spectra (S _n ) ofS _n converge to the peripheral spectrum (T) ofT. We are able to treat even the more general case of discretely convergent sequences of operators.     

The spectra of closed interpolated operators

Let (E ₀,E ₁) be a compatible couple of Banach spaces, and letE : 0Re1 be the complex interpolation spaces ofE ₀,E ₁. LetT be a closed linear operator onE ₀+E ₁, then the restrictionT ofT to eachE is closed. If we denote by the extended spectrum ofT inE , then, under appropriate conditions, it is shown that the map is an analytic multifunction in the strip {C0<Re<1}. We use these results to give some applications to the spectral theory of semigroups.     

On the Decomposition of the Riesz Operator and the Expansion of the Riesz Semigroup

For a Riesz operator T on a reflexive Banach space X with nonzero eigenvalues denote by E(λ_i; T) the eigen-projection corresponding to an eigenvalue λ_i. In this paper we will show that if the operator sequence is uniformly bounded, then the Riesz operator T can be decomposed into the sum of two operators T_p and T_r: T = T_p + T_r, where T_p is the weak limit of T_n and T_r is quasi-nilpotent. The result is used to obtain an expansion of a Riesz semigroup T(t) for t ≥ τ. As an application, we consider the solution of transport equation on a bounded convex body.     

Diagonals of positive semigroups

LetE be a Dedekind complete complex Banach lattice and letD denote the diagonal projection from the spaceL _r (E) onto the centerZ(E) ofE. Let {T(t)} _t0 be a positive strongly continuous semigroup of linear operators with generatorA. The first main result is that if the spectral bounds(A) equals to zero, then the functionD(T(t)) is a center valuedp-function. The second main result is that if for >0 the diagonalD(R(, A)) of the resolvent operatorR(, A) is strictly positive, then (D(R(, A))) ^–1 is a center valued Bernstein function. As an application of these results it follows that the order limit lim₀D(R(,A)) exists inZ(E) and equals the order limit lim _m D((R(, A)) ^m ) for any >0.     

The lattice of closed ideals in the Banach algebra of operators on certain Banach spaces

Very few Banach spaces E are known for which the lattice of closed ideals in the Banach algebra of all (bounded, linear) operators on E is fully understood. Indeed, up to now the only such Banach spaces are, up to isomorphism, Hilbert spaces and the sequence spaces c₀ and ?_p for 1?p<∞. We add a new member to this family by showing that there are exactly four closed ideals in for the Banach space E?(⊕?₂ⁿ)_c0, that is, E is the c₀-direct sum of the finite-dimensional Hilbert spaces ?₂¹,?₂²,…,?₂ⁿ,… .     

On Finite Elements in Lattices of Regular Operators

Let E and F be vector lattices and the ordered space of all regular operators, which turns out to be a (Dedekind complete) vector lattice if F is Dedekind complete. We show that every lattice isomorphism from E onto F is a finite element in , and that if E is an AL-space and F is a Dedekind complete AM-space with an order unit, then each regular operator is a finite element in . We also investigate the finiteness of finite rank operators in Banach lattices. In particular, we give necessary and sufficient conditions for rank one operators to be finite elements in the vector lattice . A half year stay at the Technical University of Dresden was supported by China Scholarship Council.     

Logarithms and imaginary powers of closed linear operators

The imaginary powersA ^it of a closed linear operatorA, with inverse, in a Banach spaceX are considered as aC ₀-group {exp(itlogA);t R} of bounded linear operators onX, with generatori logA. Here logA is defined as the closure of log(1+A) – log(1+A ^–1). LetA be a linearm-sectorial operator of typeS(tan ), 0(/2), in a Hilbert spaceX. That is, |Im(Au, u)| (tan )Re(Au, u) foru D(A). Then ±ilog(1+A) ism-accretive inX andilog(1+A) is the generator of aC ₀-group {(1+A) ^it ;t R} of bounded imaginary powers, satisfying the estimate (1+A) ^it exp(|t|),t R. In particular, ifA is invertible, then ±ilogA ism-accretive inX, where logA is exactly given by logA=log(1+A)–log(1+A ^–1), and {A ^it;t R} forms aC ₀-group onX, with the estimate A ^it exp(|t|),t R. This yields a slight improvement of the Heinz-Kato inequality.     

Spectral properties of cosine operator functions

LetA be the generator of a cosine functionC _t ,t R in a Banach spaceX; we shall connect the existence and uniqueness of aT-periodic mild solution of the equationu = Au + f with the spectral property 1 (C _T ) and, in caseX is a Hilbert space, also with spectral properties ofA. This research was supported in part by DAAD, West Germany.     

Some remarks on disjointness preserving operators

In this note we present a simple proof of the following results: if T: E E is a lattice homomorphism on a Banach lattice E, then: i) (T)={1} implies T=I; and ii) r(T–I)<1 implies TZ(E), the center of E.     

A shift-invariant algebra of singular integral operators with oscillating coefficients

LetB be the Banach algebra of all bounded linear operators on the weighted Lebesgue spaceL ^p (T, ) with an arbitrary Muckenhoupt weight on the unit circleT, and the Banach subalgebra ofB generated by the operators of multiplication by piecewise continuous coefficients and the operatorse _h,S _T e _h, ^–1 I (hR, T) whereS _T is the Cauchy singular integral operator ande _h,(t)=exp(h(t+)/(t–)),tT. The paper is devoted to a symbol calculus, Fredholm criteria and an index formula for the operators in the algebra and its matrix analogue . These shift-invariant algebras arise naturally in studying the algebras of singular integral operators with coefficients admitting semi-almost periodic discontinuities and shifts being diffeomorphisms ofT onto itself with second Taylor derivatives.Partially supported by CONACYT grant, Cátedra Patrimonial, No. 990017-EX and by CONACYT project 32726-E, México.     

Subsolutions for abstract evolution equations

We study different notions of subsolutions for an abstract evolution equation du/dt+Auf where A is an m-accretive nonlinear operation in an ordered Banach space X with order-preserving resolvents. A first notion is related to the operator d/dt+A in the ordered Banach space L ¹(0, T; X); a second one uses the evolution equation du/dt+A uf where A :x{y;zy for some zAx}; other notions are also considered.     

The picture of a specific maximal monotone set

Let E be a nontrivial Banach space. The concept of picture has been used to provide a new proof of the surjectivity of S+J, for E reflexive and S: E2 ^{E *} maximal monotone. It is known that if E is reflexive, then the picture of a maximal monotone subset of E×E ^* is a singleton. We calculate an example showing that in the nonreflexive case, the picture of a maximal monotone subset can be quite substantial.     

Weakly singular integral equations with operator-valued kernels and an application to radiation transfer problems

The standard problem of radiation transfer in a bounded regionG ⁿ can be reformulated as a weakly singular integral equation with an unknown functionu: GC(S ^n–1) and a kernelK: ((G × G }x=y}, which is continuously differentiable with respect to the operator strong convergence topology. We take these observations into the basis of an abstract treatment of weakly singular integral equations with (E)-valued kernels, whereE is a Banach space. Our purpose is to characterize the smoothness of the solution by proving that it belongs to special weighted spaces of smooth functions. On the way, realizing the proof techniques, we establish the compactness of the integral operator or its square inL _p (G,E),BC(G,E), and other spaces of interest in numerical analysis as well as in weighted spaces of smooth functions. The smoothness results are specified for the standard problem of radiation transfer as well as for the corresponding eigenvalue problem.     

Generalized Mehler semigroups and applications

Summary We construct and study generalized Mehler semigroups (p _t ) _t 0 and their associated Markov processesM. The construction methods for (p _t ) _t 0 are based on some new purely functional analytic results implying, in particular, that any strongly continuous semigroup on a Hilbert spaceH can be extended to some larger Hilbert spaceE, with the embeddingHE being Hilbert-Schmidt. The same analytic extension results are applied to construct strong solutions to stochastic differential equations of typedX _t =C dW _t +AX _t dt (with possibly unbounded linear operatorsA andC onH) on a suitably chosen larger spaceE. For Gaussian generalized Mehler semigroups (p _t ) _t 0 with corresponding Markov processM, the associated (non-symmetric) Dirichlet forms (E D(E)) are explicitly calculated and a necessary and sufficient condition for path regularity ofM in terms of (E,D(E)) is proved. Then, using Dirichlet form methods it is shown thatM weakly solves the above stochastic differential equation if the state spaceE is chosen appropriately. Finally, we discuss the differences between these two methods yielding strong resp. weak solutions.     

The limit of the spectral radius of block Toeplitz matrices with nonnegative entries

A bi-infinite sequence ...,t _–2,t _–1,t ₀,t ₁,t ₂,... of nonnegativep×p matrices defines a sequence of block Toeplitz matricesT _n =(t _ik ),n=1,2,...,, wheret _ik =t _k–i ,i,k=1,...,n. Under certain irreducibility assumptions, we show that the limit of the spectral radius ofT _n , asn tends to infinity, is given by inf{()[0,]}, where () is the spectral radius of _jz t _j ^j .Supported by SFB 343 Diskrete Strukturen in der Mathematik, Universität Bielefeld     

Ideal properties of the Dunford integration operator

Let F be a Banach space. We establish necessary and sufficient conditions for the Dunford integration operator, from the space of F‐valued Dunford integrable functions to the bidual of F, to belong to a given operator ideal. We also show how this fact can be used to characterize important classes of Banach spaces, such as Banach spaces with the Banach‐Saks property, separable Banach spaces not containing c₀, Banach spaces not containing c₀ or ?₁ and Asplund spaces not containing c₀.     

Exponential-cosine operator-valued functional equation in the strong operator topology

LetX be a Banach Space and letB(X) denote the family of bounded linear operators onX. LetR ⁺ = [0, ). A one parameter family of operators {S(t);t R ⁺},S:R ⁺ B(X), is called exponential-cosine operator function ifS(O) =I andS(s +t) – 2S(s)S(t) = (S(2s) – 2S ²(s))S(t –s), for alls, t R ⁺,s t. Let ,fD(A), and ,fD(B). It is shown that for a strongly continuous exponential-cosine operator {S(t)},fD(A ²) implies ₀ ^t (t –u(S(u)fduD(B) and B ₀ ^t (t –u)S(u)fdu =S(t)f –f +tAf – 2A ₀ ^t S(u)fdu + 2A ² ₀ ^t (t –u)S(u)fdu.D(B) is seen to be dense inD(A ²). Some regularity properties ofS(t) have also been obtained.