Periodic trajectories for an age-structured prey–predator system with Michaelis–Menten functional response including delays and asymmetric diffusion

This paper studies the periodic trajectories of a novel age-structured prey–predator system with Michaelis–Menten functional response including delays and asymmetric diffusion. To begin with, the system is turned into an abstract non-densely defined Cauchy problem, and a time-lag effect in their interaction is investigated. Next, we acquire that this system appears a periodic orbit near the positive steady state by employing the method of integrated semigroup and the Hopf bifurcation theory for semilinear equations with non-dense domain, which is also the main result of this article. Finally, in order to illustrate our theoretical analysis more vividly, we make some numerical simulations and give some discussions.

Decidability and Complexity of Action-Based Temporal Planning over Dense Time

This paper studies the computational complexity of temporal planning, as represented by PDDL 2.1, interpreted over dense time. When time is considered discrete, the problem is known to be EXPSPACE-complete. However, the official PDDL 2.1 semantics, and many implementations, interpret time as a dense domain. This work provides several results about the complexity of the problem, studying a few interesting cases: whether a minimum amount ϵ of separation between mutually exclusive events is given, in contrast to the separation being simply required to be non-zero, and whether or not actions are allowed to overlap already running instances of themselves. We prove the problem to be PSPACE-complete when self-overlap is forbidden, whereas, when allowed, it becomes EXPSPACE-complete with ϵ-separation and undecidable with non-zero separation. These results clarify the computational consequences of different choices in the definition of the PDDL 2.1 semantics, which were vague until now.

A Note on States and Traces from Biorthogonal Sets

In this paper, following Bagarello, Trapani, and myself, we generalize the Gibbs states and their related KMS-like conditions. We have assumed that H 0 , H are closed and, at least, densely defined, without giving information on the domain of these operators. The problem we address in this paper is therefore to find a dense domain D that allows us to generalize the states of Gibbs and take them in their natural environment i.e., defined in L † ( D ) .