Comment on “Existence and stability of periodic solution of a Lotka-Volterra predator-prey model with state dependent impulsive effects” [J. Comput. Appl. Math. 224 (2009) 544-555]

In this paper, according to integrated pest management principles, a class of Lotka-Volterra predator-prey model with state dependent impulsive effects is presented. In this model, the control strategies by releasing natural enemies and spraying pesticide at different thresholds are considered. The sufficient conditions for the existence and stability of the positive order-1 periodic solution are given by the Poincaré map and the properties of the LambertW function.     

Impulsive state feedback control of a predator–prey model

The dynamics of a predator–prey model with impulsive state feedback control, which is described by an autonomous system with impulses, is studied. The sufficient conditions of existence and stability of semi-trivial solution and positive period-1 solution are obtained by using the Poincaré map and analogue of the Poincaré criterion. The qualitative analysis shows that the positive period-1 solution bifurcates from the semi-trivial solution through a fold bifurcation. The bifurcation diagrams of periodic solutions are obtained by using the Poincaré map, and it is shown that a chaotic solution is generated via a cascade of period-doubling bifurcations.     

Existence and stability of periodic solution of a Lotka–Volterra predator–prey model with state dependent impulsive effects

According to biological and chemical control strategy for pest, we investigate the dynamic behavior of a Lotka–Volterra predator–prey state-dependent impulsive system by releasing natural enemies and spraying pesticide at different thresholds. By using Poincaré map and the properties of the Lambert W$W$ function, we prove that the sufficient conditions for the existence and stability of semi-trivial solution and positive periodic solution. Numerical simulations are carried out to illustrate the feasibility of our main results.     

Compactification and desingularization of spaces of polynomial Liénard equations

The paper deals with polynomial Liénard equations of type (m,n), i.e. planar vector fields associated to a scalar second order differential equation , with f and g polynomials of respective degree m and n. It is shown that, besides compactifying the phase plane, or the Liénard plane, one can also compactify and desingularize the space of Liénard equations of type (m,n) for each (m,n) separately, by adding both singular perturbation problems and Hamiltonian perturbation problems.     

Inequalities for solutions of singular initial problems for Carathéodory systems via Ważewski’s principle

In this paper we give sufficient conditions for solvability of a singular initial problem formulated for Carathéodory systems of ordinary differential equations. The existence of solutions is proved by the supposition that corresponding auxiliary lower and upper singular problems have solutions. The proof technique uses a notion of a regular polyfacial subset which is developed for Carathéodory systems of ordinary differential equations and a modification of the topological method for such systems given by Palamides, Sficas and Staikos. An application concerning the existence of positive solutions for a special class of singular problems is given as well.     

Configurations of limit cycles in Liénard equations

We show that every finite configuration of disjoint simple closed curves in the plane is topologically realizable as the set of limit cycles of a polynomial Liénard equation. The related vector field X is Morse–Smale. Moreover it has the minimum number of singularities required for realizing the configuration in a Liénard equation. We provide an explicit upper bound on the degree of X, which is lower than the results obtained before, obtained in the context of general polynomial vector fields.     

Hilbert's 16th problem for classical Liénard equations of even degree

Classical Liénard equations are two-dimensional vector fields, on the phase plane or on the Liénard plane, related to scalar differential equations . In this paper, we consider f to be a polynomial of degree 2l−1, with l a fixed but arbitrary natural number. The related Liénard equation is of degree 2l. We prove that the number of limit cycles of such an equation is uniformly bounded, if we restrict f to some compact set of polynomials of degree exactly 2l−1. The main problem consists in studying the large amplitude limit cycles, of which we show that there are at most l.     

Periodic solutions for a kind of Liénard equation

Using inequality techniques and coincidence degree theory, new results are provided concerning the existence and uniqueness of T-periodic solutions for a Liénard equations with delay. An illustrative example is provided to demonstrate that the results in this paper hold under weaker conditions than existing results, and are more effective.     

On recent developments in the theory of abstract differential equations with fractional derivatives

This note is motivated from some recent papers treating the problem of the existence of a solution for abstract differential equations with fractional derivatives. We show that the existence results in [Agarwal et al. (2009) [1], Belmekki and Benchohra (2010) [2], Darwish et al. (2009) [3], Hu et al. (2009) [4], Mophou and N’Guérékata (2009) [6] and [7], Mophou (2010) [8] and [9], Muslim (2009) [10], Pandey et al. (2009) [11], Rashid and El-Qaderi (2009) [12] and Tai and Wang (2009) [13]] are incorrect since the considered variation of constant formulas is not appropriate. In this note, we also consider a different approach to treat a general class of abstract fractional differential equations.     

Finite branch solutions to Painlevé VI around a fixed singular point

Every finite branch local solution to the sixth Painlevé equation around a fixed singular point is an algebraic branch solution. In particular a global solution is an algebraic solution if and only if it is finitely many-valued globally. The proof of this result relies on algebraic geometry of Painlevé VI, Riemann-Hilbert correspondence, geometry and dynamics on cubic surfaces, resolutions of Kleinian singularities, and power geometry of algebraic differential equations. In the course of the proof we are also able to classify all finite branch solutions up to Bäcklund transformations.     

Asymptotic equivalence of differential equations and asymptotically almost periodic solutions

In this paper we use Rab’s lemma [M. Ráb, Über lineare perturbationen eines systems von linearen differentialgleichungen, Czechoslovak Math. J. 83 (1958) 222–229; M. Ráb, Note sur les formules asymptotiques pour les solutions d’un systéme d’équations différentielles linéaires, Czechoslovak Math. J. 91 (1966) 127–129] to obtain new sufficient conditions for the asymptotic equivalence of linear and quasilinear systems of ordinary differential equations. Yakubovich’s result [V.V. Nemytskii, V.V. Stepanov, Qualitative Theory of Differential Equations, Princeton University Press, Princeton, New Jersey, 1966; V.A. Yakubovich, On the asymptotic behavior of systems of differential equations, Mat. Sb. 28 (1951) 217–240] on the asymptotic equivalence of a linear and a quasilinear system is developed. On the basis of the equivalence, the existence of asymptotically almost periodic solutions of the systems is investigated. The definitions of biasymptotic equivalence for the equations and biasymptotically almost periodic solutions are introduced. Theorems on the sufficient conditions for the systems to be biasymptotically equivalent and for the existence of biasymptotically almost periodic solutions are obtained. Appropriate examples are constructed.     

Linearly implicit Liénard systems

The presence of nonlinearities in the capacitance and the inductance in van der Pol type electrical circuits defines a linearly implicit (or quasilinear) counterpart of the classical Liénard systems. When the reactances remain positive, the existence of a unique attracting periodic solution follows, with minor modifications, as in the classical setting. Novel results are obtained when the values of reactances may vanish at certain points of the state space; these points yield singularities of the model, and the existence of an attracting periodic solution can be characterized in terms of the behavior of certain smooth solutions crossing the singular manifold through so-called I-singularities.     

A new approach to center conditions for simple analytic monodromic singularities

In this paper we present an alternative algorithm for computing Poincaré-Lyapunov constants of simple monodromic singularities of planar analytic vector fields based on the concept of inverse integrating factor. Simple monodromic singular points are those for which after performing the first (generalized) polar blow-up, there appear no singular points. In other words, the associated Poincaré return map is analytic. An improvement of the method determines a priori the minimum number of Poincaré-Lyapunov constants which must cancel to ensure that the monodromic singularity is in fact a center when the explicit Laurent series of an inverse integrating factor is known in (generalized) polar coordinates. Several examples show the usefulness of the method.     

Average value problems in ordinary differential equations

Using Schauder's fixed point theorem, with the help of an integral representation in ‘Sharp conditions for weighted 1-dimensional Poincaré inequalities’, Indiana Univ. Math. J., 49 (2000) 143-175, by Chua and Wheeden, we obtain existence and uniqueness theorems and ‘continuous dependence of average condition’ for average value problem:

y^′=F(x,y),     

Jumps of the fundamental solution matrix in discontinuous systems and applications

This paper deals with differential equations with discontinuous right-hand side. The concept of a solution for a discontinuous system is defined on the basis of differential inclusions using Filippov’s method. We study in particular the behaviour of solutions crossing a discontinuity surface transversally. A formula characterizing jumps of the fundamental solution matrix is derived. As an application of it, the concept of Poincaré mapping is defined for such systems.     

The nondegenerate center problem and the inverse integrating factor

In this paper we study some aspects of the nondegenerate center problem for analytic and, in particular, for polynomial vector fields. The relation between the existence of an inverse integrating factor and the center problem is studied. The relationship between the conditions for a center using the Poincaré formal series and the inverse integrating factor formal series for systems with a linear center perturbed by homogeneous polynomials is proved.     

The period function of classical Liénard equations

In this paper we study the number of critical points that the period function of a center of a classical Liénard equation can have. Centers of classical Liénard equations are related to scalar differential equations , with f an odd polynomial, let us say of degree 2?−1. We show that the existence of a finite upperbound on the number of critical periods, only depending on the value of ?, can be reduced to the study of slow-fast Liénard equations close to their limiting layer equations. We show that near the central system of degree 2?−1 the number of critical periods is at most 2?−2. We show the occurrence of slow-fast Liénard systems exhibiting 2?−2 critical periods, elucidating a qualitative process behind the occurrence of critical periods. It all provides evidence for conjecturing that 2?−2 is a sharp upperbound on the number of critical periods. We also show that the number of critical periods, multiplicity taken into account, is always even.     

Topological structure of solution sets for impulsive differential inclusions in Fréchet spaces

In this paper, we consider the existence of solutions as well as the topological and geometric structure of solution sets for first-order impulsive differential inclusions in some Fréchet spaces. Both the initial and terminal problems are considered. Using ingredients from topology and homology, the topological structures of solution sets (closedness and compactness) as well as some geometric properties (contractibility, acyclicity, AR and R_δ) are investigated. Some of our existence results are obtained via the method of taking the inverse system limit on noncompact intervals.     

Small-amplitude limit cycles of some Liénard-type systems

As we know, the Liénard system and its generalized forms are classical and important models of nonlinear oscillators, and have been widely studied by mathematicians and scientists. The main problem considered by most people is the number of limit cycles. In this paper, we investigate two kinds of Liénard systems and obtain the maximal number (i.e. the least upper bound) of limit cycles appearing in Hopf bifurcations by applying some known bifurcation theorems with technical analysis.     

Lur’e feedback systems with both unbounded control and observation: Well-posedness and stability using nonlinear semigroups

This paper is a complement of information to Grabowski and Callier (2006) [1]. A SISO Lur’e feedback control system consisting of a linear, infinite-dimensional system of boundary control in factor form and a nonlinear static incremental sector type controller is considered. Well-posedness and a criterion of absolute strong asymptotic stability of the null equilibrium is obtained using a novel nonlinear semigroup approach. A quadratic form Lyapunov functional is considered via a Lur’e type linear operator inequality. A sufficient strict circle criterion of solvability of the latter is found, using the solution of an operator Riccati equation by a novel self contained exposition, via reciprocal systems with bounded generating operators as recently studied and used by R.F. Curtain. The noncoercive case is finally considered using, in a novel way, LaSalle’s invariance principle.