Equations of Advanced–Retarded Type and Solutions of Traveling-Wave Type for Infinite-Dimensional Dynamic Systems

In the paper we study infinite-dimensional dynamic systems with the Frenkel–Kontorova potentials. For such systems we describe their traveling-wave-type solutions, which are solutions for the corresponding boundary-value problem with nonlocal conditions. Describing the mentioned solutions is equivalent to describing the space of solutions for a functional differential equation that can be canonically derived from the original dynamic system. The stability of traveling-wave-type solutions is also investigated.     

Conditional symmetries and exact solutions of nonlinear reaction-diffusion systems with non-constant diffusivities

Q-conditional symmetries (nonclassical symmetries) for the general class of two-component reaction-diffusion systems with non-constant diffusivities are studied. Using the recently introduced notion of Q-conditional symmetries of the first type, an exhausted list of reaction-diffusion systems admitting such symmetry is derived. The results obtained for the reaction-diffusion systems are compared with those for the scalar reaction-diffusion equations. The symmetries found for reducing reaction-diffusion systems to two-dimensional dynamical systems, i.e., ODE systems, and finding exact solutions are applied. As result, multiparameter families of exact solutions in the explicit form for a nonlinear reaction-diffusion system with an arbitrary diffusivity are constructed. Finally, the application of the exact solutions for solving a biologically and physically motivated system is presented.     

Exact solutions of one-dimensional nonlinear shallow water equations over even and sloping bottoms

We establish an equivalence of two systems of equations of one-dimensional shallow water models describing the propagation of surface waves over even and sloping bottoms. For each of these systems, we obtain formulas for the general form of their nondegenerate solutions, which are expressible in terms of solutions of the Darboux equation. The invariant solutions of the Darboux equation that we find are simplest representatives of its essentially different exact solutions (those not related by invertible point transformations). They depend on 21 arbitrary real constants; after “proliferation” formulas derived by methods of group theory analysis are applied, they generate a 27-parameter family of essentially different exact solutions. Subsequently using the derived infinitesimal “proliferation” formulas for the solutions in this family generates a denumerable set of exact solutions, whose linear span constitutes an infinite-dimensional vector space of solutions of the Darboux equation. This vector space of solutions of the Darboux equation and the general formulas for nondegenerate solutions of systems of shallow water equations with even and sloping bottoms give an infinite set of their solutions. The “proliferation” formulas for these systems determine their additional nondegenerate solutions. We also find all degenerate solutions of these systems and thus construct a database of an infinite set of exact solutions of systems of equations of the one-dimensional nonlinear shallow water model with even and sloping bottoms.     

A Monomial-by-Monomial Method for Computing Regular Solutions of Systems of Pseudo-Linear Equations

This paper deals with the local analysis of systems of pseudo-linear equations. We define regular solutions and use this as a unifying theoretical framework for discussing the structure and existence of regular solutions of various systems of linear functional equations. We then give a generic and flexible algorithm for the computation of a basis of regular solutions. We have implemented this algorithm in the computer algebra system Maple in order to provide novel functionality for solving systems of linear differential, difference and q-difference equations given in various input formats.     

On the uniqueness of solutions to a class of discontinuous dynamical systems

The study of uniqueness of solutions of discontinuous dynamical systems has an important implication: multiple solutions to the initial value problem could not be found in real dynamical systems; also the (attracting or repulsive) sliding mode is inherently linked to the uniqueness of solutions. In this paper a strengthened Lipschitz-like condition for differential inclusions and a geometrical approach for the uniqueness of solutions for a class of Filippov dynamical systems are introduced as tools for uniqueness. Several theoretical and practical examples are discussed.     

Symmetries of compatibility conditions for systems of differential equations

When symmetries of differential equations are applied, various types of associated systems of equations appear. Compatibility conditions of the associated systems expressed in the form of differential equations inherit Lie symmetries of the initial equations. Invariant solutions to compatibility systems are known as orbits of partially invariant and generic solutions involved in the Lie group foliation of differential equations and so on. In some cases Bäcklund transformations and differential substitutions connecting quotient equations for compatibility conditions and initial systems naturally arise. Besides, Ovsiannikov's orbit method for finding partially invariant solutions is essentially based on such symmetries.     

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.     

Sub-manifold and traveling wave solutions of Ito's 5th-order mKdV equation

In this paper, we study Ito''s 5th-order mKdV equation with the aid of symbolic computation system and by qualitative analysis of planar dynamical systems. We show that the corresponding higher-order ordinary differential equation of Ito''s 5th-order mKdV equation, for some particular values of the parameter, possesses some sub-manifolds defined by planar dynamical systems. Some solitary wave solutions, kink and periodic wave solutions of the Ito''s 5th-order mKdV equation for these particular values of the parameter are obtained by studying the bifurcation and solutions of the corresponding planar dynamical systems.     

EG-eliminations

We propose an algorithm to put linear recurrent systems in a form which is convenient for using the systems to search for polynomial, power series, Laurent series, and other types of solutions of various linear functional systems (differential,difference and q-difference). Some algorithms to search for solutions of functional systems are described. None of the proposed algorithms requires preliminary uncoupling of linear systems     

Cauchy problem for quasilinear hyperbolic systems of shallow water equations

This article investigates the Cauchy problem for two different models (modified and classical), governed by quasilinear hyperbolic systems that arise in shallow water theory. Under certain reasonable hypotheses on the initial data, we obtain the global smooth solutions for both the systems. The bounds on simple wave solutions of the modified system are shown to depend on the parameter H characterizing the advective transport of impulse. Similarly the bounds on simple wave solutions of the classical system describing the flow over a sloping bottom with profile b(x) are shown to depend on the bottom topography. On the other hand, if the initial data are specified differently, then it is shown that solutions for both the systems exhibit finite time blow-up from specific smooth initial data. Moreover, we show that an increase in H and convexity of b would reduce the time taken for the solutions to blow up.     

Fixed zeros in the model matching problem for systems over semirings

This paper studies “fixed zeros” of solutions to the model matching problem for systems over semirings. Such systems have been used to model queueing systems, communication networks, and manufacturing systems. The main contribution of this paper is the discovery of two fixed zero structures, which possess a connection with the extended zero semimodules of solutions to the model matching problem. Intuitively, the fixed zeros provides an essential component that is obtained from the solutions to the model matching problem. For discrete event dynamic systems modeled in max-plus algebra, a common Petri net component constructed from the solutions to the model matching problem can be discovered from the fixed zero structure.     

Uniform boundedness and convergence of solutions to the systems with a single nonzero cross-diffusion

Uniform boundedness and convergence of global solutions are proved for quasilinear parabolic systems with a single nonzero cross-diffusion in population dynamics. Gagliardo-Nirenberg type inequalities are used in the estimates of solutions in order to establish W¹₂-bounds uniform in time. By using the uniform bound, convergence of solutions are established for systems with large diffusion coefficients in the weak competition case.     

On blow-up solutions for systems of semilinear heat equations with quadratic nonlinearities

This article deals with blow-up solutions of the Cauchy–Dirichlet problem for system of semilinear heat equations with quadratic non-linearities. Sufficient conditions for the existence of blow-up solutions are established. Sets of initial values for these solutions as well as upper bounds for corresponding blow-up time are determined. Furthermore, an application to the Lotka-Volterra system with diffusion is also discussed. The result of this article may be considered as a continuation and a generalization of the results obtained in (Baris, J., Baris, P. and Ruchlewicz, B., 2006, On blow-up solutions of nonautonomous quadratic differential systems. Differential Equations, 42, 320–326; Baris, J., Baris, P. and Wawiórko, E., 2006, Asymptotic behaviour of solutions of Lotka-Volterra systems. Nonlinear Analysis: Real World Applications, 7, 610–618; Baris, J., Baris, P. and Ruchlewicz, B., 2006, On blow-up solutions of quadratic systems of differential equations. Sovremennaya Matematika. Fundamentalnye Napravleniya, 15, 29–35 (in Russian); Baris, J. and Wawiórko, E., On blow-up solutions of polynomial Kolmogorov systems. Nonlinear Analysis: Real World Applications, to appear).     

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.     

Generalized Glimm scheme to the initial boundary value problem of hyperbolic systems of balance laws

In this paper we provide a generalized version of the Glimm scheme to establish the global existence of weak solutions to the initial-boundary value problem of 2×2 hyperbolic systems of conservation laws with source terms. We extend the methods in [J.B. Goodman, Initial boundary value problem for hyperbolic systems of conservation laws, Ph.D. Dissertation, Stanford University, 1982; J.M. Hong, An extension of Glimm’s method to inhomogeneous strictly hyperbolic systems of conservation laws by “weaker than weak” solutions of the Riemann problem, J. Differential Equations 222 (2006) 515-549] to construct the approximate solutions of Riemann and boundary Riemann problems, which can be adopted as the building block of approximate solutions for our initial-boundary value problem. By extending the results in [J. Glimm, Solutions in the large for nonlinear hyperbolic systems of equations, Comm. Pure Appl. Math. 18 (1965) 697-715] and showing the weak convergence of residuals, we obtain stability and consistency of the scheme.     

Construction of Approximate Entropy Measure-Valued Solutions for Hyperbolic Systems of Conservation Laws

Entropy solutions have been widely accepted as the suitable solution framework for systems of conservation laws in several space dimensions. However, recent results in De Lellis and Székelyhidi Jr (Ann Math 170(3):1417–1436, 2009) and Chiodaroli et al. (2013) have demonstrated that entropy solutions may not be unique. In this paper, we present numerical evidence that state-of-the-art numerical schemes need not converge to an entropy solution of systems of conservation laws as the mesh is refined. Combining these two facts, we argue that entropy solutions may not be suitable as a solution framework for systems of conservation laws, particularly in several space dimensions. We advocate entropy measure-valued solutions, first proposed by DiPerna, as the appropriate solution paradigm for systems of conservation laws. To this end, we present a detailed numerical procedure which constructs stable approximations to entropy measure-valued solutions, and provide sufficient conditions that guarantee that these approximations converge to an entropy measure-valued solution as the mesh is refined, thus providing a viable numerical framework for systems of conservation laws in several space dimensions. A large number of numerical experiments that illustrate the proposed paradigm are presented and are utilized to examine several interesting properties of the computed entropy measure-valued solutions.     

The Application of Neumann Type Systems for Solving Integrable Nonlinear Evolution Equations

An algorithm to obtain finite‐gap solutions of integrable nonlinear evolution equations (INLEEs) is provided by using the Neumann type systems in the framework of algebraic geometry. From the nonlinearization of Lax pairs, some INLEEs in 1+1 and 2+1 dimensions are reduced into a class of new Neumann type systems separating the spatial and temporal variables of INLEEs over a symplectic submanifold (M, ω²) . Based on the Lax representations of INLEEs, we deduce the Lax–Moser matrix for those Neumann type systems that yield the integrals of motion, elliptic variables, and a hyperelliptic curve of Riemann surface. Then, we attain the Liouville integrability for a hierarchy of Neumann type systems in view of a Lax equation on (M, ω²) and a set of quasi‐Abel–Jacobi variables. We also specify the relationship between Neumann type systems and INLEEs, where the involutive solutions of Neumann type systems give rise to the finite parametric solutions of INLEEs and the Neumann map cuts out a finite dimensional invariant subspace for INLEEs. Under the Abel–Jacobi variables, the Neumann type flows, the 1+1, and 2+1 dimensional flows are integrated with Abel–Jacobi solutions; as a result, the finite‐gap solutions expressed by Riemann theta functions for some 1+1 and 2+1 dimensional INLEEs are achieved through the Jacobi inversion with the aid of the Riemann theorem.     

On Systems of Boundary Value Problems for Differential Inclusions

Herein we consider the existence of solutions to second-order, two-point boundary value problems （BVPs） for systems of ordinary differential inclusions. Some new Bernstein-Nagumo conditions are presented that ensure a priori bounds on the derivative of solutions to the differential inclusion. These a priori bound results are then applied, in conjunction with appropriate topological methods, to prove some new existence theorems for solutions to systems of BVPs for differential inclusions. The new conditions allow of the treatment of systems of BVPs without growth restrictions.     

Existence of solutions to second-order BVPs on time scales

We consider a boundary value problem (BVP) for systems of second-order dynamic equations on time scales. Using methods involving dynamic inequalities, we formulate conditions under which all solutions to a certain family of systems of dynamic equations satisfy certain a priori bounds. These results are then applied to guarantee the existence of solutions to BVPs for systems of dynamic equations on time scales.     

Existence and qualitative features of entire solutions for delayed reaction diffusion system: the monostable case

The paper is concerned with the existence and qualitative features of entire solutions for delayed reaction diffusion monostable systems. Here the entire solutions mean solutions defined on the $ (x,t)\in\mathbb{R}^{N+1} $. We first establish the comparison principles, construct appropriate upper and lower solutions and some upper estimates for the systems with quasimonotone nonlinearities. Then, some new types of entire solutions are constructed by mixing any finite number of traveling wave fronts with different speeds $ c\geq c_* $ and propagation directions and a spatially independent solution, where $c_*>0$ is the critical wave speed. Furthermore, various qualitative properties of entire solutions are investigated. In particularly, the relationship between the entire solution, the traveling wave fronts and a spatially independent solution are considered, respectively. At last, for the nonquasimonotone nonlinearity case, some new types of entire solutions are also investigated by introducing two auxiliary quasimonotone controlled systems and establishing some comparison theorems for Cauchy problems of the three systems.