A generalization of Vinograd's theorem for dynamical systems

The theory of dynamical systems has been expanded by the introduction of local dynamical systems [10, 4, 9] and local semidynamical systems [1]. Using integral curves of autonomous ordinary differential equations to illustrate these generalizations, we find that, roughly, the integral curves form a local dynamical system if solutions exist and are unique without requiring existence for all time, and the integral curves form a local semidynamical system if solutions exist and are unique in the positive sense but need not exist for all positive time. In addition to autonomous ordinary differential equations, the enlarged theory of dynamical systems has applications to nonautonomous ordinary differential equations, certain partial differential equations, functional differential equations, and Volterra Integral equations [9, 1, 2, 8], respectively. All of these have metric phase spaces. Since many dynamic considerations are invariant to reparameterizations, it is of interest to known when a local dynamical (or semidynamical) system can be reparameterized to yield a “global” dynamical (or semidynamical) system. For autonomous ordinary differential equations, Vinograd [7] has shown that the local dynamical system on an open subset ofRⁿ formed by integral curves is isomorphic (in the sense of Nemytskii and Stepanov) to a global dynamical system. In an extensive study of isomorphisms, Ura [12] has expanded the Gottschalk-Hedlund notion of an isomorphism and restated Vinograd's result in terms of a reparameterization. In this paper we study the problem of finding a global dynamical (or semidynamical) system which is isomorphic to a given local system. A necessary and sufficient condition is found which is then used to show that the Vinograd result holds on metric spaces.     

Taylor series method for dynamical systems with control: Convergence and error estimates

To optimize a complicated function constructed from a solution of a system of ordinary differential equations (ODEs), it is very important to be able to approximate a solution of a system of ODEs very precisely. The precision delivered by the standard Runge-Kutta methods often is insufficient, resulting in a “noisy function” to optimize. We consider an initial-value problem for a system of ordinary differential equations having polynomial right-hand sides with respect to all dependent variables. First we show how to reduce a wide class of ODEs to such polynomial systems. Using the estimates for the Taylor series method, we construct a new “aggregative” Taylor series method and derive guaranteed a priori step-size and error estimates for Runge-Kutta methods of order r. Then we compare the 8,13-Prince-Dormand’s, Taylor series, and aggregative Taylor series methods using seven benchmark systems of equations, including van der Pol’s equations, the “brusselator,” equations of Jacobi’s elliptic functions, and linear and nonlinear stiff systems of equations. The numerical experiments show that the Taylor series method achieves the best precision, while the aggregative Taylor series method achieves the best computational time. The final section of this paper is devoted to a comparative study of the above numerical integration methods for systems of ODEs describing the optimal flight of a spacecraft from the Earth to the Moon. __________ Translated from Sovremennaya Matematika i Ee Prilozheniya (Contemporary Mathematics and Its Applications), Vol. 24, Dynamical Systems and Optimization, 2005.     

An elementary approach to the analysis of exact solutions for the Navier-Stokes stagnation flows with slips

We deal with the exact solutions of the Navier-Stokes equations for stagnation flows with slips. The problem becomes the solvability of certain third-order ordinary differential equations (ODEs). Reducing the order of ODEs, we exhibit another elementary proof of the existence and asymptotic behavior of solutions. Numerical investigations are also provided. Received: 14 August 2003     

A Theory of Complexity for Continuous Time Systems

We present a model of computation with ordinary differential equations (ODEs) which converge to attractors that are interpreted as the output of a computation. We introduce a measure of complexity for exponentially convergent ODEs, enabling an algorithmic analysis of continuous time flows and their comparison with discrete algorithms. We define polynomial and logarithmic continuous time complexity classes and show that an ODE which solves the maximum network flow problem has polynomial time complexity. We also analyze a simple flow that solves the Maximum problem in logarithmic time. We conjecture that a subclass of the continuous P is equivalent to the classical P.     

Polynomial dynamical systems and ordinary differential equations associated with the heat equation

We consider homogeneous polynomial dynamical systems in n-space. To any such system our construction matches a nonlinear ordinary differential equation and an algorithm for constructing a solution of the heat equation. The classical solution given by the Gaussian function corresponds to the case n = 0, while solutions defined by the elliptic theta-function lead to the Chazy-3 equation and correspond to the case n = 2. We explicitly describe the family of ordinary differential equations arising in our approach and its relationship with the wide-known Darboux-Halphen quadratic dynamical systems and their generalizations.     

Positive solutions of quasilinear parabolic systems with Dirichlet boundary condition

Coupled systems for a class of quasilinear parabolic equations and the corresponding elliptic systems, including systems of parabolic and ordinary differential equations are investigated. The aim of this paper is to show the existence, uniqueness, and asymptotic behavior of time-dependent solutions. Also investigated is the existence of positive maximal and minimal solutions of the corresponding quasilinear elliptic system. The elliptic operators in both systems are allowed to be degenerate in the sense that the density-dependent diffusion coefficients Di(ui) may have the property Di(0)=0 for some or all i=1,…,N, and the boundary condition is ui=0. Using the method of upper and lower solutions, we show that a unique global classical time-dependent solution exists and converges to the maximal solution for one class of initial functions and it converges to the minimal solution for another class of initial functions; and if the maximal and minimal solutions coincide then the steady-state solution is unique and the time-dependent solution converges to the unique solution. Applications of these results are given to three model problems, including a scalar polynomial growth problem, a coupled system of polynomial growth problem, and a two component competition model in ecology.     

Generalized notions of symmetry of ODEs and reduction procedures

This paper describes the notion of σ‐symmetry, which extends the one of λ‐symmetry, and its application to reduction procedures of systems of ordinary differential equations (ODEs) and of dynamical systems (DS) as well. We also consider orbital symmetries, which give rise to a different form of reduction of DS. Finally, we discuss how DS can be transformed into higher order ODEs, and how these symmetry properties of the DS can be transferred into reduction properties of the corresponding ODEs. Many examples illustrate the various situations. Copyright © 2013 John Wiley & Sons, Ltd.     

Comparative study on order-reduced methods for linear third-order ordinary differential equations

The linear third-order ordinary differential equation (ODE) can be transformed into a system of two second-order ODEs by introducing a variable replacement, which is different from the common order-reduced approach. We choose the functions p(x) and q(x) in the variable replacement to get different cases of the special order-reduced system for the linear third-order ODE. We analyze the numerical behavior and algebraic properties of the systems of linear equations resulting from the sinc discretizations of these special second-order ODE systems. Then the block-diagonal preconditioner is used to accelerate the convergence of the Krylov subspace iteration methods for solving the discretized system of linear equation. Numerical results show that these order-reduced methods are effective for solving the linear third-order ODEs.     

求解微分方程初值问题的一种弧长法

对于连续介质力学问题中导出的微分方程初值问题,常常具有解奇异性,如不连续、Ｓｔｉｆ性质或激波间断·本文通过在相应空间,引入一个或数个弧长参数变量,克服解的奇异性·对于常微分方程组引入弧长参数变量后,奇异性得以消除和削弱,应用一般的解常微分方程组的方法（如Ｒｕｎｇｅ＿Ｋｕｔａ法）求解·对于偏微分方程引入弧长参数变量后,在相应的空间离散成常微分方程组,用解奇异性常微分方程组相同的方法即可求解·本文给出了两个算例     

Hayman’s classical conjecture on some nonlinear second-order algebraic ODEs

In this paper, we study the growth, in terms of the Nevanlinna characteristic function, of meromorphic solutions of three types of second-order nonlinear algebraic ordinary differential equations (ODEs). We give all their meromorphic solutions explicitly, and hence show that all of these ODEs satisfy the classical conjecture proposed by Hayman in 1996.