Recursive analysis of singular ordinary differential equations

We investigate systems of ordinary differential equations with a parameter. We show that under suitable assumptions on the systems the solutions are computable in the sense of recursive analysis. As an application we give a complete characterization of the recursively enumerable sets using Fourier coefficients of recursive analytic functions that are generated by differential equations and elementary operations.     

On implicit systems of differential equations

This article considers implicit systems of differential equations. The implicit systems that are considered are given by polynomial relations on the coordinates of the indeterminate function and the coordinates of the time derivative of the indeterminate function. For such implicit systems of differential equations, we are concerned with computing algebraic constraints such that on the algebraic variety determined by the constraint equations the original implicit system of differential equations has an explicit representation. Our approach is algebraic. Although there have been a number of articles that approach implicit differential equations algebraically, all such approaches have relied heavily on linear algebra. The approach of this article is different, we have no linearity requirements at all, instead we rely on algebraic geometry. In particular, we use birational mappings to produce an explicit system. The methods developed in this article are easily implemented using various computer algebra systems.     

Impulsive stability for systems of second order retarded differential equations

This paper is concerned with systems of impulsive second order delay differential equations. We prove that unstable systems can be stabilized by imposition of impulsive controls. The main tools used are Lyapunov functionals, stability theory and control by impulses.     

Existence of solutions for impulsive partial neutral functional differential equation with infinite delay

In this paper, the existence of mild solutions for first-order impulsive semilinear neutral functional differential equations with infinite delay in Banach spaces is investigated. We derive conditions in respect of the Hausdorff measure of noncompactness under which the mild solutions exist in Banach spaces. Our results improve and generalize some previous results.     

Frequency Domain Methods and Decoupling of Linear Infinite Dimensional Differential Algebraic Systems

We discuss the analysis of linear constant coefficient differential algebraic equations on infinite dimensional Hilbert spaces. We give solution concepts and discuss solvability criteria which are mainly based on Laplace transform. Furthermore, we investigate the decoupling of these systems motivated by the Kronecker normal form for the finite dimensional case. Applications are given by the analysis of mixed systems of ordinary differential, partial differential and differential algebraic equations.     

Linearizability of the polynomial differential systems with a resonant singular point

Integrability and linearizability of polynomial differential systems are studied. The computation of generalized period constants is a way to find necessary conditions for linearizable systems for any rational resonance ratio. A method to compute generalized period constants is given. The algorithm is recursive and easy to realize with computer algebraic system. As the application, we discuss linearizable conditions for several Lotka-Volterra systems, and where this is the first time that the linearizability is considered for 3:−4 and 3:−5 resonances.     

Strong normalization results by translation

We prove the strong normalization of full classical natural deduction (i.e. with conjunction, disjunction and permutative conversions) by using a translation into the simply typed λμ-calculus. We also extend Mendler’s result on recursive equations to this system.     

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.     

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.     

Complete synchronization of symmetrically soupled sutonomous systems

In this article we derive conditions for complete synchronization of two symmetrically coupled identical systems of ordinary differential equations and differential-delay equations. Using Lyapunov function approach we give an estimate of the region of attraction of the synchronized solution. We also established that complete synchronization is robust with respect to small perturbations of the identical systems.     

On the asymptotic stability of discontinuous systems analysed via the averaging method

The averaging method is one of the most powerful methods used to analyse differential equations appearing in the study of nonlinear problems. The idea behind the averaging method is to replace the original equation by an averaged equation with simple structure and close solutions. A large number of practical problems lead to differential equations with discontinuous right-hand sides. In a rigorous theory of such systems, developed by Filippov, solutions of a differential equation with discontinuous right-hand side are regarded as being solutions to a special differential inclusion with upper semi-continuous right-hand side. The averaging method was studied for such inclusions by many authors using different and rather restrictive conditions on the regularity of the averaged inclusion. In this paper we prove natural extensions of Bogolyubov’s first theorem and the Samoilenko-Stanzhitskii theorem to differential inclusions with an upper semi-continuous right-hand side. We prove that the solution set of the original differential inclusion is contained in a neighbourhood of the solution set of the averaged one. The extension of Bogolyubov’s theorem concerns finite time intervals, while the extension of the Samoilenko-Stanzhitskii theorem deals with solutions defined on the infinite interval. The averaged inclusion is defined as a special upper limit and no additional condition on its regularity is required.     

Nontrivial application of Nielsen theory to differential systems

In reply to a problem of Jean Leray concerning application of the Nielsen theory to differential systems for obtaining multiplicity results, we present a nontrivial example of such an application. The emphasis is on the parameter space in order to ensure that no subdomain becomes subinvariant under the related Hammerstein solution operator. To achieve this goal, we develop a general method applicable also for ordinary differential equations with or without uniqueness as well as for upper-Carathéodory differential inclusions. We are not aware that any alternative approach can be employed, even in the single-valued case.     

Extremal solutions to a system of n nonlinear differential equations and regularly varying functions

The strongly increasing and strongly decreasing solutions to a system of n nonlinear first order equations are here studied, under the assumption that both the coefficients and the nonlinearities are regularly varying functions. We establish conditions under which such solutions exist and are (all) regularly varying functions, we derive their index of regular variation and establish asymptotic representations. Several applications of the main results are given, involving n‐th order nonlinear differential equations, equations with a generalized ?‐Laplacian, and nonlinear partial differential systems.     

On persistent centers

For real planar autonomous analytic differential equations we introduce the notion of persistent center and show a list of equations with this property. We face the problem of whether our list is exhaustive or not and we prove that it is for several families of planar systems, like cubic or rigid systems.     

Dynamics of multi-species competition-predator system with impulsive perturbations and Holling type III functional responses

We investigate the dynamics of a class of multi-species predator-prey interaction models with Holling type III functional responses based on systems of nonautonomous differential equations with impulsive perturbations. Sufficient conditions for existence of a positive periodic solution are investigated by using a continuation theorem in coincidence degree theory, which have been extensively applied in studying existence problems in differential equations and difference equations. In addition, sufficient criteria are established for the global stability and the globally exponential stability of the system by using the comparison principle and the Lyapunov method.     

A new method to determine isochronous center conditions for polynomial differential systems

The computation of period constants is a way to study isochronous center for polynomial differential systems. In this article, a new method to compute period constants is given. The algorithm is recursive and easy to realize with computer algebraic system. As an application, we discuss the center conditions and isochronous centers for a class of high-degree system.     

Classification of scalar third order ordinary differential equations linearizable via generalized contact transformations

Whereas Lie had linearized scalar second order ordinary differential equations (ODEs) by point transformations, and later Chern had extended to the third order by using contact transformation, till recently no work had been done for higher order (or systems) of ODEs. Lie had found a unique class defined by the number of infinitesimal symmetry generators but the more general ODEs were not so classified. Recently, classifications of higher order and systems of ODEs were provided. In this paper we relate contact symmetries of scalar ODEs with point symmetries of reduced systems. We define a new type of transformation that builds upon this relation and obtain equivalence classes of scalar third order ODEs linearizable via these transformations. Four equivalence classes of such equations are seen to exist.     

First- and second-order discontinuous functional differential equations with impulses at fixed moments

We give sufficient conditions for the existence of extremal solutions to discontinuous and functional differential equations with impulses. Our main results are new even for ordinary differential equations without impulses.     

On the periodic boundary-value problem for systems of second-order nonlinear ordinary differential equations

The periodic boundary value problem for systems of secondorder ordinary nonlinear differential equations is considered. Sufficient conditions for the existence and uniqueness of a solution are established.     

VARIATIONAL SYSTEMS DISCONJUGACY CRITERIA FOR WNSELFADJOINT DIFFERENTIAL EQUATIONS

Abstract

A systems representation for fourth order differential equations is used to develop variational criteria for the existence and nonexistence of systems conjugate points. The novelty of the results is due to the fact that techniques usually restricted to selfadjoint equations are extended to certain non-self adjoint problems.