Multiplicative perturbation of nonlinear m-accretive operators

Criteria are obtained for when an accretive product (i.e., composition) BA of nonlinear m-accretive operators A and B in a Banach space X will be itself m-accretive; and, in particular, when a monotone product of two maximal monotone operators in a Hilbert space will be maximal monotone. This extends the theory of multiplicative perturbation of infinitesimal generators of contraction semigroups to the nonlinear case. Also obtained as a biproduct are existence theorems for certain Hammerstein integral equations.     

Product formulas,nonlinear semigroups,and accretive operators

A special case of our main theorem, when combined with a known result of Brezis and Pazy, shows that in reflexive Banach spaces with a uniformly Gâteaux differentiable norm, resolvent consistency is equivalent to convergence for nonlinear contractive algorithms. (The linear case is due to Chernoff.) The proof uses ideas of Crandall, Liggett, and Baillon. Other applications of our theorem include results concerning the generation of nonlinear semigroups (e.g., a nonlinear Hille-Yosida theorem for “nice” Banach spaces that includes the familiar Hilbert space result), the geometry of Banach spaces, extensions of accretive operators, invariance criteria, and the asymptotic behavior of nonlinear semigroups and resolvents. The equivalence between resolvent consistency and convergence for nonlinear contractive algorithms seems to be new even in Hilbert space. Our nonlinear Hille-Yosida theorem is the first of its kind outside Hilbert space. It establishes a biunique correspondence between m-accretive operators and semigroups on nonexpansive retracts of “nice” Banach spaces and provides affirmative answers to two questions of Kato.     

Ensembles maximaux accrétifs etm-Accrétifs

It is proved that ifX is a uniformly convex Banach space such thatX ^* is also uniformly convex andX is not a Hilbert space then there always exists a subsetA ofX×X which is maximal accretive but notm-accretive.      

Regularization methods for nonlinear Ill-posed equations involving m-accretive mappings in Banach spaces

In this paper we prove strong convergence of the Browder-Tikhonov regularization method and the regularization inertial proximal point algorithm to a solution of nonlinear ill-posed equations involving m-accretive mappings in real, reflexive, and strictly convex Banach spaces with a uniformly Gâteaux differentiable norm without weak sequential continuous duality mapping.     

Intersections by hyperplanes

LetA be a finite nonempty family of nonempty disjoint closed and bounded sets in a Banach spaceE which is either separable and the conjugate of some Banach spaceX (i.e.E=X*) or, reflexive and locally uniformly convex. IfC denotes the weak*-closed convex hull of ∪ {A:A ∈A} then the set of points inE ∼C through which there is no hyperplane intersecting exactly one member ofA is discrete (or empty). This research was supported by the National Research Council of Canada, Grant A-3999.     

Maximal space regularity for abstract linear non-autonomous parabolic equations

The linear non-autonomous evolution equation $\text{u′(t) ? A(t) u(t) = ?(t), t ∈ [0, T]}$, with the initial datum u(0) = x, in the space C([0, T], E), where E is a Banach space and {A(t)} is a family of infinitesimal generators of bounded analytic semigroups is considered; the domains D(A(t)) are supposed constant in t and possibly not dense in E. Maximal regularity of the strict and classical solutions, i.e., regularity of u′ and A(·)u(·) with values in the interpolation spaces D_A(0)(θ, ∞) and D_A(0)(θ) between D(A(0)) and E, is studied. A characterization of such spaces in a concrete case is also given.     

On a nonlinear Volterra integral equation in a Banach space

The equation u(t) + ∝₀^tk(t ? s)g(s) ds?f(t), t ? 0, is studied in a real Banach space with uniformly convex dual. Conditions, sufficient for the existence of a unique solution, are given for the operatorvalued kernel k, the nonlinear m-accretive operators g(t) and the function f. The case when k is realvalued, g(t) ≡ g and X a reflexive Banach space is also considered. These results extend earlier results by Barbu, Londen and MacCamy.     

Algebraic reflexivity of some subsets of the isometry group

Let X be a compact first countable space. In this paper we show that the set of isometries of C(X) that are involutions is algebraically reflexive. As a consequence of a recent work of Botelho and Jamison this leads to the conclusion that the set of generalized bi-circular projections on C(X) is also algebraically reflexive. We also consider these questions for the space C(X,E) where E is a uniformly convex Banach space.     

A common property of R(E, F) and B(ℝ n , ℝ m ) and a new method for seeking a path to connect two operators

Given two Banach spaces E, F, let B(E, F) be the set of all bounded linear operators from E into F, and R(E, F) the set of all operators in B(E, F) with finite rank. It is well-known that B(? ⁿ ) is a Banach space as well as an algebra, while B(? ⁿ , ? ^m ) for m ≠ n, is a Banach space but not an algebra; meanwhile, it is clear that R(E, F) is neither a Banach space nor an algebra. However, in this paper, it is proved that all of them have a common property in geometry and topology, i.e., they are all a union of mutual disjoint path-connected and smooth submanifolds (or hypersurfaces). Let Σ _r be the set of all operators of finite rank r in B(E, F) (or B(? ⁿ , ? ^m )). In fact, we have that 1) suppose Σ _r ∈ B(? ⁿ , ? ^m ), and then Σ _r is a smooth and path-connected submanifold of B(? ⁿ , ? ^m ) and dimΣ _r = (n + m)r ? r ², for each r ∈ [0, min{n,m}; if m ≠ n, the same conclusion for Σ _r and its dimension is valid for each r ∈ [0, min{n, m}]; 2) suppose Σ _r ∈ B(E, F), and dimF = ∞, and then Σ _r is a smooth and path-connected submanifold of B(E, F) with the tangent space T _A Σ _r = {B ∈ B(E, F): BN(A) ? R(A)} at each A ∈ Σ _r for 0 ? r ? ∞. The routine methods for seeking a path to connect two operators can hardly apply here. A new method and some fundamental theorems are introduced in this paper, which is development of elementary transformation of matrices in B(? ⁿ ), and more adapted and simple than the elementary transformation method. In addition to tensor analysis and application of Thom’s famous result for transversility, these will benefit the study of infinite geometry.     

Strong convergence of composite iterative schemes for zeros of m-accretive operators in Banach spaces

We introduce a new composite iterative scheme to approximate a zero of an m$m$-accretive operator A$A$ defined on uniform smooth Banach spaces and a reflexive Banach space having a weakly continuous duality map. It is shown that the iterative process in each case converges strongly to a zero of A$A$. The results presented in this paper substantially improve and extend the results due to Ceng et al. [L.C. Ceng, H.K. Xu, J.C. Yao, Strong convergence of a hybrid viscosity approximation method with perturbed mappings for nonexpansive and accretive operators, Taiwanese J. Math. (in press)], Kim and Xu [T.H. Kim, H.K. Xu, Strong convergence of modified Mann iterations, Nonlinear Anal. 61 (2005) 51–60] and Xu [H.K. Xu, Strong convergence of an iterative method for nonexpansive and accretive operators, J. Math. Anal. Appl. 314 (2006) 631–643]. Our work provides a new approach for the construction of a zero of m$m$-accretive operators.     

Asymptotic behavior of trajectories for some nonautonomous,almost periodic processes

In this paper, asymptotics are studied for some almost periodic processes on a complete metric space (X, d): (1) It is shown that any precompact positive trajectory of a contractive periodic process is asymptotically almost periodic as t → +∞. This property does not hold for general almost periodic contractive processes. (2) A compactness result is obtained for weakly almost periodic complete trajectories of some (possibly nonlinear) processes in a uniformly convex Banach space. (3) The existence of almost periodic trajectories is studied for “affine” processes in a uniformly convex Banach space. These results are applicable to some evolution equations of the form $\text{du}\text{dt}\text{+ A (t) u(t) ? f(t)}$, where $\text{?(t)}$ is almost periodic: R → V uniformly convex Banach space and A(t) is a periodic, time-dependent, m-accretive operator in V.     

Nonlinear equations involving m-accretive operators

Let X be a Banach space and T an m-accretive operator defined on a subset D(T) of X and taking values in 2^x. For the class of spaces whose bounded closed and convex subsets have the fixed point property for nonexpansive self-mappings, it is shown here that two boundary conditions which imply existence of zeroes for T, appear to be equivalent. This fact is then used to prove that if there exists x₀?D(T) and a bounded open neighborhood U of x₀, such that $\text{¦T(x}{}_0\text{)¦ < r ? ¦T(x)¦}$ for all x??U ∩ D(T), then the open ball B(0; r) is contained in the range of T.     

More on positive commutators

Let A and B be positive operators on a Banach lattice E such that the commutator C=AB−BA is also positive. The paper continues the investigation of the spectral properties of C initiated in J. Bra?i? et al. (in press) [3]. If the sum A+B is a Riesz operator and the commutator C is a power compact operator, then C is a quasi-nilpotent operator having a triangularizing chain of closed ideals of E. If we assume that the operator A is compact and the commutator AC−CA is positive, the operator C is quasi-nilpotent as well. We also show that the commutator C is not invertible provided the resolvent set of C is connected.     

Improved gradient method for monotone and lipschitz continuous mappings in banach spaces

Let C be a nonempty closed convex subset of a 2-uniformly convex and uniformly smooth Banach space E and {A_n}_(n∈N) be a family of monotone and Lipschitz continuos mappings of C into E~*. In this article, we consider the improved gradient method by the hybrid method in mathematical programming [10] for solving the variational inequality problem for{A_n} and prove strong convergence theorems. And we get several results which improve the well-known results in a real 2-uniformly convex and uniformly smooth Banach space and a real Hilbert space.     

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.     

On derivable mappings

A linear mapping δ from an algebra A into an A-bimodule M is called derivable at c∈A if δ(a)b+aδ(b)=δ(c) for all a,b∈A with ab=c. For a norm-closed unital subalgebra A of operators on a Banach space X, we show that if C∈A has a right inverse in B(X) and the linear span of the range of rank-one operators in A is dense in X then the only derivable mappings at C from A into B(X) are derivations; in particular the result holds for all completely distributive subspace lattice algebras, J-subspace lattice algebras, and norm-closed unital standard algebras of B(X). As an application, every Jordan derivation from such an algebra into B(X) is a derivation. For a large class of reflexive algebras A on a Banach space X, we show that inner derivations from A into B(X) can be characterized by boundedness and derivability at any fixed C∈A, provided C has a right inverse in B(X). We also show that if A is a canonical subalgebra of an AF C^∗-algebra B and M is a unital Banach A-bimodule, then every bounded local derivation from A into M is a derivation; moreover, every bounded linear mapping from A into B that is derivable at the unit I is a derivation.     

A nonlinear parabolic-Sobolev equation

Let M and L be (nonlinear) operators in a reflexive Banach space B for which Rg(M + L) = B and $\text{¦(Mx ? My) + α(Lx ? Ly)¦ ? | mx ? My |}$ for all α > 0 and pairs x, y in D(M) ∩ D(L). Then there is a unique solution of the Cauchy problem (Mu(t))′ + Lu(t) = 0, Mu(0) = v₀. When M and L are realizations of elliptic partial differential operators in space variables, this gives existence and uniqueness of generalized solutions of boundary value problems for nonlinear partial differential equations of mixed parabolic-Sobolev type.     

Farthest points in weakly compact sets

LetS be a weakly compact subset of a Banach spaceB. We show that of all points inB which have farthest points inS contains a denseG ₅ ofB. Also, we give a necessary and sufficient condition for bounded closed convex sets to be the closed convex hull of their farthest points in reflexive Banach spaces.     

A general Trotter-Kato formula for a class of evolution operators

In this article we prove new results concerning the existence and various properties of an evolution system UA+B(t,s)_0?s?t?T generated by the sum −(A(t)+B(t)) of two linear, time-dependent and generally unbounded operators defined on time-dependent domains in a complex and separable Banach space B. In particular, writing L(B) for the algebra of all linear bounded operators on B, we can express UA+B(t,s)_0?s?t?T as the strong limit in L(B) of a product of the holomorphic contraction semigroups generated by −A(t) and −B(t), respectively, thereby proving a product formula of the Trotter-Kato type under very general conditions which allow the domain D(A(t)+B(t)) to evolve with time provided there exists a fixed set D⊂_?t∈[0,T]D(A(t)+B(t)) everywhere dense in B. We obtain a special case of our formula when B(t)=0, which, in effect, allows us to reconstruct UA(t,s)_0?s?t?T very simply in terms of the semigroup generated by −A(t). We then illustrate our results by considering various examples of nonautonomous parabolic initial-boundary value problems, including one related to the theory of time-dependent singular perturbations of self-adjoint operators. We finally mention what we think remains an open problem for the corresponding equations of Schrödinger type in quantum mechanics.     

Asymptotic properties of matrix differential operators

For given matrices A(s) and B(s) whose entries are polynomials in s, the validity of the following implication is investigated: ?_ylim_{t → ∞}A(D) y(t) = 0 ? lim_{t → ∞}B(D) y(t) = 0. Here D denotes the differentiation operator and y stands for a sufficiently smooth vector valued function. Necessary and sufficient conditions on A(s) and B(s) for this implication to be true are given. A similar result is obtained in connection with an implication of the form ?_yA(D) y(t) = 0, lim_{t → ∞}B(D) y(t) = 0, C(D) y(t) is bounded ? lim_{t → ∞}E(D) y(t) = 0.