Hopf monads

We introduce and study Hopf monads on autonomous categories (i.e., monoidal categories with duals). Hopf monads generalize Hopf algebras to a non-braided (and non-linear) setting. In particular, any monoidal adjunction between autonomous categories gives rise to a Hopf monad. We extend many fundamental results of the theory of Hopf algebras (such as the decomposition of Hopf modules, the existence of integrals, Maschke's criterium of semisimplicity, etc.) to Hopf monads. We also introduce and study quasitriangular and ribbon Hopf monads (again defined in a non-braided setting).     

On uniqueness of an entire function and its derivatives

In this paper, we study the growth of solutions of a first order linear differential equation. From this we verify that a conjecture given by Brück is true under the restriction of the hyper order less than 1/2, and obtain some uniqueness theorems of a nonconstant entire function and its first derivative sharing a nonzero constant CM. The results in this paper also improve some known results. Some examples show that the results in this paper are best possible. Project supported by the NSFC (NO. A0324617) and the RFDP (NO. 20060422049). Received: 20 April 2006 Revised: 4 February 2007     

Locally compact spaces of countable core and Alexandroff compactification

We introduce a new cardinal invariant, core of a space, defined for any locally compact Hausdorff space X and denoted by cor(X). Locally compact spaces of countable core generalize locally compact σ-compact spaces in a way that is slightly exotic, but still quite natural. We show in Section 1 that under a broad range of conditions locally compact spaces of countable core must be σ-compact. In particular, normal locally compact spaces of countable core and realcompact locally compact spaces of countable core are σ-compact. Perfect mappings preserve the class of spaces of countable core in both directions (Section 2). The Alexandroff compactification aX is weakly first countable at the Alexandroff point a if and only if cor(X)=ω (Section 3). Two examples of non-σ-compact locally compact spaces of countable core are discussed in Section 3. We also extend the well-known theorem of Alexandroff and Urysohn on the cardinality of perfectly normal compacta to compacta satisfying a weak version of perfect normality. Several open problems are formulated.     

Multiple periodic solutions of a delayed stage-structured predator–prey model with non-monotone functional responses

A delayed stage-structured predator–prey model with non-monotone functional responses is proposed. It is assumed that immature individuals and mature individuals of the predator are divided by a fixed age, and that immature predators do not have the ability to attack prey. Some new and interesting sufficient conditions are obtained for the global existence of multiple positive periodic solutions of the stage-structured predator–prey model. Our method is based on Mawhin’s coincidence degree and novel estimation techniques for the a priori bounds of unknown solutions to Lx = λNx. An example is given to illustrate the feasibility of our main result.     

Local algebras in the representation of MV-algebras

In this paper we present several results about local MV-algebras, extending existing results given for MV-chains. The role of local MV-algebras in sheaf representation and weak boolean product is stressed and the relationship of local MV-algebras with varieties of MV-algebras is analyzed. Presented by S. Pulmannova. Received November 11, 2005; accepted in final form December 20, 2005.     

Invariant measures and regularity properties of perturbed Ornstein-Uhlenbeck semigroups

This paper deals with perturbations of the Ornstein-Uhlenbeck operator on L²-spaces with respect to a Gaussian measure μ. We perturb the generator of the Ornstein-Uhlenbeck semigroup by a certain unbounded, non-linear drift, and show various properties of the perturbed semigroup such as compactness and positivity. Strong Feller property, existence and uniqueness of an invariant measure are discussed as well.     

向量变分不等式的严格可行性问题

本篇文章首先定义了向量变分不等式的严格可行点概念,其次在假设了映射是强(D)-伪单调的情况下,证明了向量变分不等式解集非空有界与其严格可行点存在的等价性问题,推广了在数量变分不等式上得到的相应结果．     

A large deviation principle for 2D stochastic Navier–Stokes equation

In this paper one specifies the ergodic behavior of the 2D-stochastic Navier–Stokes equation by giving a Large Deviation Principle for the occupation measure for large time. It describes the exact rate of exponential convergence. The considered random force is non-degenerate and compatible with the strong Feller property.     

A non-isothermal Ginzburg–Landau model in superconductivity: Existence,uniqueness and asymptotic behaviour

In this paper we study a Ginzburg–Landau model which describes the behaviour of a superconducting material including thermal effects. We extend the traditional formulation of the problem, by introducing the temperature as an additional state variable. Accordingly, together with the Gor’kov–Eliashberg system, we introduce an evolution equation for the absolute temperature. We examine in detail the case which allows only variations of the concentration of superconducting electrons and of the temperature, neglecting the electromagnetic field. For this problem existence and uniqueness of the solution are shown. Finally we analyze the asymptotic behaviour of the solutions, proving that the system possesses a global attractor.     

Symmetrisation of n-operads and compactification of real configuration spaces

It is well known that the forgetful functor from symmetric operads to nonsymmetric operads has a left adjoint Sym₁ given by product with the symmetric group operad. It is also well known that this functor does not affect the category of algebras of the operad. From the point of view of the author's theory of higher operads, the nonsymmetric operads are 1-operads and Sym₁ is the first term of the infinite series of left adjoint functors Symn, called symmetrisation functors, from n-operads to symmetric operads with the property that the category of one object, one arrow, …, one (n−1)-arrow algebras of an n-operad A is isomorphic to the category of algebras of Symn(A).In this paper we consider some geometrical and homotopical aspects of the symmetrisation of n-operads. We follow Getzler and Jones and consider their decomposition of the Fulton-Macpherson operad of compactified real configuration spaces. We construct an n-operadic counterpart of this compactification which we call the Getzler-Jones operad. We study the properties of Getzler-Jones operad and find that it is contractible and cofibrant in an appropriate model category. The symmetrisation of the Getzler-Jones operad turns out to be exactly the operad of Fulton and Macpherson. These results should be considered as an extension of Stasheff's theory of 1-fold loop spaces to n-fold loop spaces n?2. We also show that a space X with an action of a contractible n-operad has a natural structure of an algebra over an operad weakly equivalent to the little n-disks operad. A similar result holds for chain operads. These results generalise the classical Eckman-Hilton argument to arbitrary dimension.Finally, we apply the techniques to the Swiss-Cheese type operads introduced by Voronov and prove analogous results in this case.