Multivalued perturbations ofm-accretive differential inclusions

Given anm-accretive operatorA in a Banach spaceX and an upper semicontinuous multivalued mapF: [0,a]×X→2 ^X , we consider the initial value problemu′∈−Au+F(t,u) on [0,a],u(0)=x ₀. We concentrate on the case when the semigroup generated by—A is only equicontinuous and obtain existence of integral solutions if, in particular,X* is uniformly convex andF satisfies β(F(t,B))≤k(t)β(B) for all boundedB⊂X wherek∈L ¹([0,a]) and β denotes the Hausdorff-measure of noncompactness. Moreover, we show that the set of all solutions is a compactR _δ-set in this situation. In general, the extra condition onX* is essential as we show by an example in whichX is not uniformly smooth and the set of all solutions is not compact, but it can be omited ifA is single-valued and continuous or—A generates aC _o-semigroup of bounded linear operators. In the simpler case when—A generates a compact semigroup, we give a short proof of existence of solutions, again ifX* is uniformly (or strictly) convex. In this situation we also provide a counter-example in ℝ⁴ in which no integral solution exists. The author gratefully acknowledges financial support by DAAD within the scope of the French-German project PROCOPE.     

Chaos caused by a strong-mixing measure-preserving transformation

The chaos caused by a strong-mixing preserving transformation is discussed and it is shown that for a topological spaceX satisfying the second axiom of countability and for an outer measurem onX satisfying the conditions: (i) every non-empty open set ofX ism-measurable with positivem-measure; (ii) the restriction ofm on Borel σ-algebra ℬ(X) ofX is a probability measure, and (iii) for everyY⊂X there exists a Borel setB⊂ℬ(X) such thatB⊃Y andm(B) =m(Y), iff:X→X is a strong-mixing measure-preserving transformation of the probability space (X, ℬ(X),m), and if {m}, is a strictly increasing sequence of positive integers, then there exists a subsetC⊂X withm (C) = 1, finitely chaotic with respect to the sequence {m _i}, i.e. for any finite subsetA ofC and for any mapF:A→X there is a subsequencer _i such that lim_i→∞ f ^r i(a) =F(a) for anya ∈A. There are some applications to maps of one dimension. the National Natural Science Foundation of China.     

Generalizations of spectrally multiplicative surjections between uniform algebras

Let $ A $ A and ℬ be unital semisimple commutative Banach algebras. It is shown that if surjections S,T: $ A $ A → ℬ with S(1)=T(1)= 1 and α ∈ ℂ \ {0} satisfy r(S(a)T(b) − α)= r(ab− α) for all a,b ∈ $ A $ A , then S=T and S is a real algebra isomorphism, where r(a) is the spectral radius of a. Let I be a nonempty set, A and B be uniform algebras. Let ρ, τ: I → A and S,T: I → B be maps satisfying σ _π (S(p)T(q)) ⊂ σ _π (ρ(p) τ(q)) for all p,q ∈ I, where σ _π (f) is the peripheral spectrum of f. Suppose that the ranges ρ(I), τ(I) ⊂ A and S(I),T(I) ⊂ B are closed under multiplication in a sense, and contain peaking functions “enough”. There exists a homeomorphism ϕ: Ch(B)→Ch(A) such that S(p)(y)= ρ(p)(ϕ(y)) and T(p)(y)= τ(p)(ϕ(y)) for every p ∈ I and y ∈ Ch(B), where Ch(A) is the Choquet boundary of A.     

The nonlinear version of Pazy’s local existence theorem

LetX be a real Banach space,U ⊂X a given open set,A ⊂X×X am-dissipative set andF:C(0,a;U) →L ^∞(0,a;X) a continuous mapping. Assume thatA generates a nonlinear semigroup of contractionsS(t): {ie221-2}) → {ie221-3}), strongly continuous at the origin, withS(t) compact for allt>0. Then, for eachu ₀ ∈ {ie221-4}) ∩U there existsT ∈ ]0,a] such that the following initial value problem: (du(t))/(dt) ∈Au(t) +F(u)(t),u(0)=u ₀, has at least one integral solution on [0,T]. Some extensions and applications are also included.     

The total reducibility order of a polynomial in two variables

LetK be an algebraically closed field of characteristic zero. ForA ∈K[x, y] let σ(A) = {λ ∈K:A − λ is reducible}. For λ ∈ σ(A) letA − λ = ∏ _i=1 ^n(λ) A _iλ ^k _μ whereA _iλ are distinct primes. Let ϱ_λ(A) =n(λ) − 1 and let ρ(A) = Σ_λɛσ(A)ϱ_λ(A). The main result is the following: Theorem.If A ∈ K[x, y] is not a composite polynomial, then ρ(A) < degA.     

Counting points in hypercubes and convolution measure algebras

It is shown that ifA andB are non-empty subsets of {0, 1} ⁿ (for somenεN) then |A+B|≧(|A||B|)^α where α=(1/2) log₂ 3 here and in what follows. In particular if |A|=2 ^n-1 then |A+A|≧3 ^n-1 which anwers a question of Brown and Moran. It is also shown that if |A| = 2 ^n-1 then |A+A|=3 ^n-1 if and only if the points ofA lie on a hyperplane inn-dimensions. Necessary and sufficient conditions are also given for |A +B|=(|A||B|)^α. The above results imply the following improvement of a result of Talagrand [7]: ifX andY are compact subsets ofK (the Cantor set) withm(X),m(Y)>0 then λ(X+Y)≧2(m(X)m(Y))^α wherem is the usual measure onK and λ is Lebesgue measure. This also answers a question of Moran (in more precise terms) showing thatm is not concentrated on any proper Raikov system.     

A generalization of peripherally-multiplicative surjections between standard operator algebras

Let A and B be standard operator algebras on Banach spaces X and Y, respectively. The peripheral spectrum σ_π (T) of T is defined by σ_π (T) = z ∈ σ(T): |z| = max_w∈σ(T) |w|. If surjective (not necessarily linear nor continuous) maps φ, ϕ: A → B satisfy σ_π (φ(S)ϕ(T)) = σ_π (ST) for all S; T ∈ A, then φ and ϕ are either of the form φ(T) = A ₁ TA ₂ ⁻¹ and ϕ(T) = A ₂ TA ₁ ⁻¹ for some bijective bounded linear operators A ₁; A ₂ of X onto Y, or of the form φ(T) = B ₁ T*B ₂ ⁻¹ and ϕ(T) = B ₂ T*B ⁻¹ for some bijective bounded linear operators B ₁;B ₂ of X* onto Y.      

On pointwise and analytic similarity of matrices

LetA(ε) andB(ε) be complex valued matrices analytic in ε at the origin.A(ε)≈ _p B(ε) ifA(ε) is similar toB(ε) for any |ε|<r,A(ε)≈_a B(ε) ifB(ε)=T(ε)A(ε)T ⁻¹(ε) andT(ε) is analytic and |T(ε)|≠0 for |ε|<r! In this paper we find a necessary and sufficient conditions onA(ε) andB(ε) such thatA(ε)≈ _a B(ε) provided thatA(ε)≈ _p B(ε). This problem arises in study of certain ordinary differential equations singular with respect to a parameter ε in the origin and was first stated by Wasow. Sponsored by the United States Army under Contract No. DAAG29-75-C-0024     

Some embeddings of infinite-dimensional spaces

It is shown that ifA is a weakly infinite-dimensional subset of a metric spaceR then aG _δ setB ofR exists such thatA⊆B andB is weakly infinite-dimensional. A similar result holds for a set having strong transfinite inductive dimension. As a consequence each weakly infinite-dimensional metric space possesses a weakly infinite-dimensional complete metric extension. A similar result holds also for a space having strong transfinite inductive dimension.     

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.     

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.     

Equivalences between bloch type spaces and BOM spaces on the hyperbolic domains inC

For an analytic function f on the hyperbolic domain Ω inC, the following conclusions are obtained: (i) f∈B(Ω)=BMO A(Ω,m) if and only ifRef∈B_h(Ω)=BMOH(Ω,m). (ii) QB_h(Ω)=B_h(Ω)(BMOH _n(Ω,m)=BMOH(Ω,m)) if and only ifC(Ω)=inf{λ_Ω(z)·δ_Ω(z):z∈Ω}>0. Also, some applications to automorphic functions are considered. This research was supported by the Doctoral Program Foundation of Institute of Higher Education.     

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

A new characterization of frobenius complements

LetH, G be finite groups such thatH acts onG and each non-trivial element ofH fixes at mostf elements ofG. It is shown that, ifG is sufficiently large, thenH has the structure of a Frobenius complement. This result depends on the classification of finite simple groups. We conclude that, ifG is a finite group andA ⊆G is any non-cyclic abelian subgroup, then the order ofG is bounded above in terms of the maximal order of a centralizerC _G(a) for 1≠a ∈A.     

Invariant sets for a class of perturbed differential equations of retarded type

LetX be a Banach space and leta, b, q be real numbers such thata<b,q>0. Denote byD a locally closed subset ofX. A necessary and sufficient condition for the existence of a mild solutionu∈C([a−q, b ₁],X),a<b ₁<b, to the differential equationdu(t)/dt=Au(t)+f(t, u _t), such thatu:[a,b ₁]→D, u _a=ϕ is given. The linear operatorA is the generator of aC ₀ semigroupT(t), t≧0, withT(t) compact fort>0,f: [a, b)×C([−q,0],D _λ)→X is continuous and ϕ∈C([−q,0],D _λ) with ϕ(0)∈D. D _λ is a neighbourhood ofD. Applications to parabolic partial differential equations with retarded argument are given.     

A remark on the range of elementary operators

Let L(H) denote the algebra of all bounded linear operators on a separable infinite dimensional complex Hilbert space H into itself. Given A ∈ L(H), we define the elementary operator Δ _A : L(H) → L(H) by Δ _A (X) = AXA − X. In this paper we study the class of operators A ∈ L(H) which have the following property: ATA = T implies AT*A = T* for all trace class operators T ∈ C ₁(H). Such operators are termed generalized quasi-adjoints. The main result is the equivalence between this character and the fact that the ultraweak closure of the range of Δ _A is closed under taking adjoints. We give a characterization and some basic results concerning generalized quasi-adjoints operators.     

NON-EMPTY CROSS-2-INTERSECTING FAMILIES OF SUBSETS

Let Cdenote the set of all k-subests of an n-set.Assume Alohtain in Ca,and A lohtain in (A,B) is called a cross-2-intersecting family if |A B≥2 for and A∈A,B∈B.In this paper,the best upper bounds of the cardinalities for non-empty cross-2-intersecting familles of a-and b-subsets are obtained for some a and b,A new proof for a Frankl-Tokushige theorem[6] is also given.     

An algebraic invariant for Jordan automorphisms on β(<Emphasis Type="Italic">H</Emphasis>): The set of idempotents

Let H be an infinite dimensional complex Hilbert space. Denote by B(H) the algebra of all bounded linear operators on H, and by I(H) the set of all idempotents in B(H). Suppose that Φ is a surjective map from B(H) onto itself. If for every λ ∈ -1,1,2,3, and A, B ∈ B(H),A-λB ∈I(H) ⇔ Φ(A) -λΦ(B) ∈I(H, then Φ is a Jordan ring automorphism, i.e. there exists a continuous invertible linear or conjugate linear operator T on H such that Φ(A) = TAT ^-1 for all A ∈ B(H), or Φ(A) = TA*T ^-1 for all A ∈ B(H); if, in addition, A-iB ∈I(H)⇔ Φ(A)-iΦ(B) ∈I(H), here i is the imaginary unit, then Φ is either an automorphism or an anti-automorphism.     

Range of Brownian Motion with Drift

Let (B _δ (t)) _{t ≥ 0} be a Brownian motion starting at 0 with drift δ > 0. Define by induction S ₁=− inf _{t ≥ 0} B _δ (t), ρ₁ the last time such that B _δ (ρ₁)=−S ₁, S ₂=sup_{0≤ t ≤ρ 1} B _δ (t), ρ₂ the last time such that B _δ (ρ₂)=S ₂ and so on. Setting A _k =S _k +S _k+1; k ≥ 1, we compute the law of (A ₁,...,A _k ) and the distribution of (B _δ (t+ρ l) − B _δ (ρ _l ); 0 ≤ t ≤ ρ _l-1 − ρ _l )_{2 ≤ l ≤ k} for any k ≥ 2, conditionally on (A ₁,...,A _k ). We determine the law of the range R _δ (t) of (B _δ (s)) _{s≥ 0} at time t, and the first range time θ_δ (a) (i.e. θ_δ (a)=inf{t > 0; R _δ (t) > a}). We also investigate the asymptotic behaviour of θ _δ (a) (resp. R _δ (t)) as a → ∞ (resp. t → ∞).     

On finite products of soluble groups

Let the finite groupG =AB be the product of two soluble subgroupsA andB, and letπ be a set of primes. We investigate under which conditions for the maximal normalπ-subgroups ofA, B andG the following holds:O _π (G) ∩O _π (G) ⊆O _π (G). The second author would like to thank the Department of Mathematics of the University of Mainz and the Mathematische Forschungsinstitut Oberwolfach for their excellent hospitality during the preparation of this paper.