A new topological degree theory for perturbations of the sum of two maximal monotone operators

Let X be an infinite dimensional real reflexive Banach space with dual space X^∗ and G⊂X, open and bounded. Assume that X and X^∗ are locally uniformly convex. Let T:X⊃D(T)→2^X∗ be maximal monotone and strongly quasibounded, S:X⊃D(S)→X^∗ maximal monotone, and C:X⊃D(C)→X^∗ strongly quasibounded w.r.t. S and such that it satisfies a generalized (S₊)-condition w.r.t. S. Assume that D(S)=L⊂D(T)∩D(C), where L is a dense subspace of X, and 0∈T(0),S(0)=0. A new topological degree theory is introduced for the sum T+S+C, with degree mapping d(T+S+C,G,0). The reason for this development is the creation of a useful tool for the study of a class of time-dependent problems involving three operators. This degree theory is based on a degree theory that was recently developed by Kartsatos and Skrypnik just for the single-valued sum S+C, as above.     

Rank-1 perturbations of cosine functions and semigroups

Let A be the generator of a cosine function on a Banach space X. In many cases, for example if X is a UMD-space, A+B generates a cosine function for each B∈L(D((ω−A)^1/2),X). If A is unbounded and , then we show that there exists a rank-1 operator B∈L(D(γ(ω−A)),X) such that A+B does not generate a cosine function. The proof depends on a modification of a Baire argument due to Desch and Schappacher. It also allows us to prove the following. If A+B generates a distribution semigroup for each operator B∈L(D(A),X) of rank-1, then A generates a holomorphic C₀-semigroup. If A+B generates a C₀-semigroup for each operator B∈L(D(γ(ω−A)),X) of rank-1 where 0<γ<1, then the semigroup T generated by A is differentiable and ‖T^′(t)‖=O(t−α) as t↓0 for any α>1/γ. This is an approximate converse of a perturbation theorem for this class of semigroups.     

Decomposition rank and absorbing extensions of type I algebras

We prove the following: Let A and B be separable C^*-algebras. Suppose that B is a type I C^*-algebra such that

(i)

B has only infinite dimensional irreducible *-representations, and

(ii)

B has finite decomposition rank.

If

0→B→C→A→0     

Functional calculus and ∗-regularity of a class of Banach algebras II

In this article, we define a natural Banach ∗-algebra for a C^∗-dynamical system (A,G,α) which is slightly bigger than L¹(G;A) (they are the same if A is finite-dimensional). We will show that this algebra is ∗-regular if G has polynomial growth. The main result in this article extends the two main results in [C.W. Leung, C.K. Ng, Functional calculus and ∗-regularity of a class of Banach algebras, Proc. Amer. Math. Soc., in press].     

Strength of convergence in the orbit space of a transformation group

Let (G,X) be a second-countable transformation group with G acting freely on X. It is shown that measure-theoretic accumulation of the action and topological strength of convergence in the orbit space X/G provide equivalent ways of quantifying the extent of nonproperness of the action. These notions are linked via the representation theory of the transformation-group C^∗-algebra C₀(X)?G.     

Drop properties and approximative compactness in Orlicz-Bochner function spaces

The representation of dual spaces of EM(μ,X), owing to its extensive application, is given in this paper. Using the representation, we get the sufficient and necessary conditions of LM(μ,X) possessing drop property, and extend the result of Hudzik and Wang [H. Hudzik, B. Wang, Approximative compactness in Orlicz spaces, J. Approx. Theory 95 (1998) 82-89]. Simultaneously, under some conditions, the weak^∗ drop property in LM(μ,X^∗) and LM^∗(μ,X) is discussed.     

A note on ball-covering property of Banach spaces

By a ball-covering B of a Banach space X, we mean that B is a collection of open (or closed) balls off the origin whose union contains the unit sphere SX of X; and X is said to have the ball-covering property (BCP) provided it admits a ball-covering by countably many balls. In this note we give a natural example showing that the ball-covering property of a Banach space is not inherited by its subspaces; and we present a sharp quantitative version of the recent Fonf and Zanco renorming result saying that if the dual X^∗ of X is w^∗ separable, then for every ε>0 there exist a (1+ε)-equivalent norm on X, and an R>0 such that in this new norm SX admits a ball-covering by countably many balls of radius R. Namely, we show that R=R(ε) can be taken arbitrarily close to (1+ε)/ε, and that for X=?₁[0,1] the corresponding R cannot be equal to 1/ε. This gives the sharp order of magnitude for R(ε) as ε→0.     

Boundary trace embedding theorems for variable exponent Sobolev spaces

We study boundary trace embedding theorems for variable exponent Sobolev space W1,p(⋅)(Ω). Let Ω be an open (bounded or unbounded) domain in RN satisfying strong local Lipschitz condition. Under the hypotheses that p∈L^∞(Ω), 1?infp(x)?supp(x)<N, |∇p|∈Lγ(⋅)(Ω), where γ∈L^∞(Ω) and infγ(x)>N, we prove that there is a continuous boundary trace embedding W1,p(⋅)(Ω)→Lq(⋅)(∂Ω) provided q(⋅), a measurable function on ∂Ω, satisfies condition for x∈∂Ω.     

Spanning trails containing given edges

A graph G is Eulerian-connected if for any u and v in V(G), G has a spanning (u,v)-trail. A graph G is edge-Eulerian-connected if for any e^′ and e^″ in E(G), G has a spanning (e^′,e^″)-trail. For an integer r?0, a graph is called r-Eulerian-connected if for any X⊆E(G) with |X|?r, and for any , G has a spanning (u,v)-trail T such that X⊆E(T). The r-edge-Eulerian-connectivity of a graph can be defined similarly. Let θ(r) be the minimum value of k such that every k-edge-connected graph is r-Eulerian-connected. Catlin proved that θ(0)=4. We shall show that θ(r)=4 for 0?r?2, and θ(r)=r+1 for r?3. Results on r-edge-Eulerian connectivity are also discussed.     

Semigroup crossed products and the induced algebras of lattice-ordered groups

Let (G,G₊) be a quasi-lattice-ordered group with positive cone G₊. Laca and Raeburn have shown that the universal C^∗-algebra C^∗(G,G₊) introduced by Nica is a crossed product BG₊α_×G₊ by a semigroup of endomorphisms. The goal of this paper is to extend some results for totally ordered abelian groups to the case of discrete lattice-ordered abelian groups. In particular given a hereditary subsemigroup H₊ of G₊ we introduce a closed ideal IH₊ of the C^∗-algebra BG₊. We construct an approximate identity for this ideal and show that IH₊ is extendibly α-invariant. It follows that there is an isomorphism between C^∗-crossed products and B₊(G/H)β_×G₊. This leads to our main result that B₊(G/H)β_×G₊ is realized as an induced C^∗-algebra .     

Kato's square root problem in Banach spaces

Let L be an elliptic differential operator with bounded measurable coefficients, acting in Bochner spaces Lp(Rn;X) of X -valued functions on Rn. We characterize Kato's square root estimates and the H^∞-functional calculus of L in terms of R-boundedness properties of the resolvent of L, when X is a Banach function lattice with the UMD property, or a noncommutative Lp space. To do so, we develop various vector-valued analogues of classical objects in Harmonic Analysis, including a maximal function for Bochner spaces. In the special case X=C, we get a new approach to the Lp theory of square roots of elliptic operators, as well as an Lp version of Carleson's inequality.     

An extension of the Vu-Sine theorem and compact-supercyclicity

If (Tt)_t?0 is a bounded C₀-semigroup in a Banach space X and there exists a compact subset K⊆X such that

     

On the weak-approximate fixed point property

Let X be a Banach space and C a bounded, closed, convex subset of X. C is said to have the weak-approximate fixed point property if for any norm-continuous mapping , there exists a sequence {xn} in C such that (xn−fn(xn)) converges to 0 weakly. It is known that every infinite-dimensional Banach space with the Schur property does not have the weak-approximate fixed point property. In this article, we show that every Asplund space has the weak-approximate fixed point property. Applications to the asymptotic fixed point theory are given.     

Decay estimates of functions through singular extensions of vector-valued Laplace transforms

Let X be a Banach space and let f∈L^∞(R⁺;X) whose Laplace transform extends analytically to some region containing iR?{0}, possibly having a pole at the origin. In this paper, we give estimates of the decay of certain slight suitable modification of f in terms of the growth of its Laplace transform along the imaginary axis. This technique is applied to obtain decay estimates of smooth orbits of bounded C₀-semigroups whose infinitesimal generators have an arbitrary finite boundary spectrum. These results are close to those given recently by C.J.K. Batty and T. Duyckaerts.     

Functional calculi for convolution operators on a discrete, periodic, solvable group

Suppose T is a bounded self-adjoint operator on the Hilbert space L²(X,μ) and let

     

Entropy solutions for a doubly nonlinear elliptic problem with variable exponent

We study the boundary value problem in Ω, u=0 on ∂Ω, where Ω is a smooth bounded domain in RN (N?3) and is a p(x)-Laplace type operator with p(.):Ω→[1,+∞) a measurable function and b a continuous and nondecreasing function from R→R. We prove the existence and uniqueness of an entropy solution for L¹-data f.     

Simple compact quantum groups I

The notion of simple compact quantum group is introduced. As non-trivial (noncommutative and noncocommutative) examples, the following families of compact quantum groups are shown to be simple: (a) The universal quantum groups Bu(Q) for Q∈GL(n,C) satisfying , n?2; (b) The quantum automorphism groups Aaut(B,τ) of finite-dimensional C^∗-algebras B endowed with the canonical trace τ when dim(B)?4, including the quantum permutation groups Aaut(Xn) on n points (n?4); (c) The standard deformations Kq of simple compact Lie groups K and their twists , as well as Rieffel's deformation KJ.     

The quantitative difference between countable compactness and compactness

We establish here some inequalities between distances of pointwise bounded subsets H of RX to the space of real-valued continuous functions C(X) that allow us to examine the quantitative difference between (pointwise) countable compactness and compactness of H relative to C(X). We prove, amongst other things, that if X is a countably K-determined space the worst distance of the pointwise closure of H to C(X) is at most 5 times the worst distance of the sets of cluster points of sequences in H to C(X): here distance refers to the metric of uniform convergence in RX. We study the quantitative behavior of sequences in H approximating points in . As a particular case we obtain the results known about angelicity for these Cp(X) spaces obtained by Orihuela. We indeed prove our results for spaces C(X,Z) (hence for Banach-valued functions) and we give examples that show when our estimates are sharp.     

Endomorphisms of the shift dynamical system, discrete derivatives, and applications

All continuous endomorphisms f_∞ of the shift dynamical system S on the 2-adic integers Z₂ are induced by some , where n is a positive integer, B_n is the set of n-blocks over {0, 1}, and f_∞(x)=y₀y₁y₂… where for all i∈N, y_i=f(x_ix_i+1…x_i+n−1). Define D:Z₂→Z₂ to be the endomorphism of S induced by the map {(00,0),(01,1),(10,1),(11,0)} and V:Z₂→Z₂ by V(x)=−1−x. We prove that D, V°D, S, and V°S are conjugate to S and are the only continuous endomorphisms of S whose parity vector function is solenoidal. We investigate the properties of D as a dynamical system, and use D to construct a conjugacy from the 3x+1 function T:Z₂→Z₂ to a parity-neutral dynamical system. We also construct a conjugacy R from D to T. We apply these results to establish that, in order to prove the 3x+1 conjecture, it suffices to show that for any m∈Z⁺, there exists some n∈N such that R⁻¹(m) has binary representation of the form or .     

Nonexistence of global solutions for a class of complex vector fields on two-torus

The goal of this paper is study the global solvability of a class of complex vector fields of the special form L=∂/∂t+(a+ib)(x)∂/∂x, a,b∈C^∞(S¹;R), defined on two-torus T²≅R²/2πZ². The kernel of transpose operator is described and the solvability near the characteristic set is also studied.