Nonlinear semigroup approach to age structured proliferating cell population with inherited cycle length

This paper deals with a nonlinear semigroup approach to semilinear initial-boundary value problems which model nonlinear age structured proliferating cell population dynamics. The model involves age-dependence and cell cycle length, and boundary conditions may contain compositions of nonlinear functions and trace of solutions. Hence the associated operators are not necessarily formulated in the form of continuous perturbations of linear operators. A family of equivalent norms is introduced to discuss local quasidissipativity of the operators and a generation theory for nonlinear semigroups is employed to construct solution operators. The resultant solution operators are obtained as nonlinear semigroups which are not quasicontractive but locally equi-Lipschitz continuous.     

C_0半群在非线性Lipschitz扰动下的范数连续性保持

研究有界线性算子强连续半群在非线性Lipschitz扰动下的正则性质保持问题.具体地,我们证明:如果强连续半群是直接范数连续的,则非线性扰动半群是直接Lipschitz范数连续的.结论推广了线性算子半群的范数连续性质保持,丰富和完善了非线性算子半群的理论.     

Differentiability of a convex semigroup on Rn

It is proved that each continuous semigroup {P(t)}_t≥0 of convex operators P(t):Rⁿ→Rⁿ is continuously differentiable with respect to t. This note represents a first step towards a better understanding of semigroups formed by convex operators. We establish the differentiability of a convex semigroup in the finite dimensional case, generalizing a basic result from linear semigroup theory. Our motivation for the study of semigroups of convex operators comes from the theory of Markov decision processes. In [1] and in [2] it was shown that the maximum reward of these processes can be described by a certain nonlinear semigroup. The nonlinear operators are defined as suprema of linear operators (plus a constant), hence they are convex operators. It seems that the convexity assumption keeps its smoothing influence even in the infinite dimensional situation. We hope to discuss this in a future paper.     

Generalizations of a Theorem of Datko and Pazy

This note gives necessary and sufficient conditions for exponential stability of semigroups of linear operators in Banach spaces. Generalizations of a well-known result due to Datko, Pazy and Neerven are obtained for the case of semigroups of operators that are not strongly continuous.     

Semigroups of locally Lipschitz operators associated with semilinear evolution equations

In this paper we introduce the notion of semigroups of locally Lipschitz operators which provide us with mild solutions to the Cauchy problem for semilinear evolution equations, and characterize such semigroups of locally Lipschitz operators. This notion of the semigroups is derived from the well-posedness concept of the initial-boundary value problem for differential equations whose solution operators are not quasi-contractive even in a local sense but locally Lipschitz continuous with respect to their initial data. The result obtained is applied to the initial-boundary value problem for the complex Ginzburg–Landau equation.     

非线性Lipschitz算子半群的渐近性质及其应用

本文对一类非线性算子半群————Lipschitz算子半群的渐近性质进行研究,刻划了非线性Lipschitz算子半群所具有的基本渐近性质（这些性质与线性算子半群所具有的基本渐近性质相一致）,证明了作为线性算子对数范数的非线性推广,Dahlquist数能用于刻划非线性Lipschitz算子半群的渐近性质.为克服Dahlquist数只对Lips-chitz算子有定义的缺点,本文引入一个全新的特征数:广义 Dahlquist数,并证明广义Dahlquist数比Dahlquist数能更为精确地刻划Lipschitz算子半群的渐近性质.作为应用,得到关于 Hopfield型神经网络全局指数稳定性的一个新结果.     

Continuous state branching semigroups

Summary This paper is concerned with Markov processes with continuous creation where the phase space is a general separable compact metric space. The transition probabilities for such a process determine a semigroup of operators acting on a function space over the collection of bounded Borel measures on the phase space. Such a semigroup is characterized by a particular convolution condition and is called a continuous state branching semigroup. A connection is established between continuous state branching semigroups and certain semigroups of nonlinear operators and then this connection is exploited to establish an existence theorem for the former.Research associated with a project in probability at Princeton University supported by the Office of Army Research.     

Local Controllability of Functional Integrodifferential Equations in Banach Space

In this paper, we establish a set of sufficient conditions for the local controllability of functional integrodifferential equations in Banach space. The results are obtained by using the methods of analytic semigroups, fractional powers of operators, and a fixed-point argument. These results generalize previous results on bounded linear operators to unbounded linear operators in which the equation involves a nonlinear delay term. An application to a partial integrodifferential equation is given.     

Global solutions of semilinear evolution equations satisfying an energy inequality

We prove the global existence (in time) for any solution of an abstract semilinear evolution equation in Hilbert space provided the solution satisfies an energy inequality and the nonlinearity does not exceed a certain growth rate. When applied to semilinear parabolic initial-boundary-value problems the result admits also the limiting growth rates which were given by Sobolevskii and Friedman, but which where not permitted in their theorem. The Navier-Stokes system in two dimensions is a special case of our general result. The method is based on the theories of semigroups and fractional powers of regularly accretive linear operators and on a nonlinear integral inequality which gives the crucial a-priori estimate for global existence.     

Inhomogeneous semigroups of commuting operators

The concepts of the homogeneously continuable semigroup of operators, and of infinitesimal and reproducing families of a semigroup, are introduced. The class of strongly continuous homogeneously continuable semigroups of commuting linear operators is discussed. This class contains in particular the class (C₀) of homogeneous semigroups. An analog of the Hill-Yosida theorem is proved for it.     

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.     

Rounding-based heuristics for nonconvex MINLPs

We propose two primal heuristics for nonconvex mixed-integer nonlinear programs. Both are based on the idea of rounding the solution of a continuous nonlinear program subject to linear constraints. Each rounding step is accomplished through the solution of a mixed-integer linear program. Our heuristics use the same algorithmic scheme, but they differ in the choice of the point to be rounded (which is feasible for nonlinear constraints but possibly fractional) and in the linear constraints. We propose a feasibility heuristic, that aims at finding an initial feasible solution, and an improvement heuristic, whose purpose is to search for an improved solution within the neighborhood of a given point. The neighborhood is defined through local branching cuts or box constraints. Computational results show the effectiveness in practice of these simple ideas, implemented within an open-source solver for nonconvex mixed-integer nonlinear programs.     

A Hille-Yosida theorem for Bi-continuous semigroups

In order to treat one-parameter semigroups of linear operators on Banach spaces which are not strongly continuous, we introduce the concept of bi-continuous semigroups defined on Banach spaces with an additional locally convex topology . On such spaces we define bi-continuous semigroups as semigroups consisting of bounded linear operators which are locally bi-equicontinuous for and such that the orbit maps are -continuous. We then apply the result to semigroups induced by flows on a metric space as studied by J. R. Dorroh and J. W. Neuberger.     

On Some Properties of Generalized Proximal Point Methods for Variational Inequalities

We discuss here generalized proximal point methods applied to variational inequality problems. These methods differ from the classical point method in that a so-called Bregman distance substitutes for the Euclidean distance and forces the sequence generated by the algorithm to remain in the interior of the feasible region, assumed to be nonempty. We consider here the case in which this region is a polyhedron (which includes linear and nonlinear programming, monotone linear complementarity problems, and also certain nonlinear complementarity problems), and present two alternatives to deal with linear equality constraints. We prove that the sequences generated by any of these alternatives, which in general are different, converge to the same point, namely the solution of the problem which is closest, in the sense of the Bregman distance, to the initial iterate, for a certain class of operators. This class consists essentially of point-to-point and differentiable operators such that their Jacobian matrices are positive semidefinite (not necessarily symmetric) and their kernels are constant in the feasible region and invariant through symmetrization. For these operators, the solution set of the problem is also a polyhedron. Thus, we extend a previous similar result which covered only linear operators with symmetric and positive-semidefinite matrices.     

一类具抽象边界条件的迁移算子的谱分布

利用线性算子半群理论,研究了板几何中具抽象边界条件的各向异性、连续能量、非均匀介质的迁移方程．在假设边界算子日部分光滑和扰动算子K正则的条件下,采用豫解方法,得到了该迁移算子A的谱在区域Г中由至多可数个具有限代数重数的离散本征值组成等结果．     

An extension of a Phillips's theorem to Banach algebras and application to the uniform continuity of strongly continuous semigroups

In this work we present an extension to arbitrary unital Banach algebras of a result due to Phillips [R.S. Phillips, Spectral theory of semigroups of linear operators, Trans. Amer. Math. Soc. 71 (1951) 393-415] (Theorem 1.1) which provides sufficient conditions assuring the uniform continuity of strongly continuous semigroups of linear operators. It implies that, when dealing with the algebra of bounded operators on a Banach space, the conditions of Phillips's theorem are also necessary. Moreover, it enables us to derive necessary and sufficient conditions in terms of essential spectra which guarantee the uniform continuity of strongly continuous semigroups. We close the paper by discussing the uniform continuity of strongly continuous groups (T(t))_t∈R acting on Banach spaces with separable duals such that, for each t∈R, the essential spectrum of T(t) is a finite set.     

Evolution Systems for Differential Equations with Variable Time Lags

We consider nonautonomous retarded functional differential equations under hypotheses which are designed for the application to equations with variable time lags, which may be unbounded, and construct an evolution system of solution operators which are continuously differentiable. These operators are defined on manifolds of continuously differentiable functions. The results apply to pantograph equations and to nonlinear Volterra integro-differential equations, for example. For linear equations we also provide a simpler evolution system with solution operators on a Banach space of continuous functions.     

Generalized uniformly continuous semigroups and semilinear hyperbolic systems with regularized derivatives

We adopt the theory of uniformly continuous operator semigroups for use in Colombeau generalized function spaces. The main objective is to find a unique solution to a class of semilinear hyperbolic systems with singularities. The idea of regularized derivatives is to transform unbounded differential operators into bounded, integral ones. This idea is used here to permit working with uniformly continuous operators.     

Generalized uniformly continuous semigroups and semilinear hyperbolic systems with regularized derivatives

We adopt the theory of uniformly continuous operator semigroups for use in Colombeau generalized function spaces. The main objective is to find a unique solution to a class of semilinear hyperbolic systems with singularities. The idea of regularized derivatives is to transform unbounded differential operators into bounded, integral ones. This idea is used here to permit working with uniformly continuous operators.     

Order properties of attractive spin systems

Methods of constructing semigroups of operators describing interacting particle systems are reviewed. A simple proof is given showing the existence of semigroups of operators on the space of bounded Borel measurable functions for nonnegative continuous attractive spin rates along with a proof of the existence of invariant measures for the semigroups so constructed.