Providing readers with the very basic knowledge necessary to begin research on differential equations with professional ability, the selection of topics here covers the methods and results that are applicable in a variety of different fields. The book is divided into four parts. The first covers fundamental existence, uniqueness, smoothness with respect to data, and nonuniqueness. The second part describes the basic results concerning linear differential equations, while the third deals with nonlinear equations. In the last part the authors write about the basic results concerning power series solutions. Each chapter begins with a brief discussion of its contents and history, and hints and comments for many problems are given throughout. With 114 illustrations and 206 exercises, the book is suitable for a one-year graduate course, as well as a reference book for research mathematicians.

Simple Ordinary Differential Equations may have solutions in terms of power series whose coefficients grow at such a rate that the series has a radius of convergence equal to zero. In fact, every linear meromorphic system has a formal solution of a certain form, which can be relatively easily computed, but which generally involves such power series diverging everywhere. In this book the author presents the classical theory of meromorphic systems of ODE in the new light shed upon it by the recent achievements in the theory of summability of formal power series.

This book is intended to be a comprehensive introduction to the subject of partial differential equations. It should be useful to graduate students at all levels beyond that of a basic course in measure theory. It should also be of interest to professional mathematicians in analysis, mathematical physics, and differential geometry. This work will be divided into three volumes, the first of which focuses on the theory of ordinary differential equations and a survey of basic linear PDEs.

Ordinary Differential Equations covers the fundamentals of the theory of ordinary differential equations (ODEs), including an extensive discussion of the integration of differential inequalities, on which this theory relies heavily. In addition to these results, the text illustrates techniques involving simple topological arguments, fixed point theorems, and basic facts of functional analysis. Unlike many texts, which supply only the standard simplified theorems, this book presents the basic theory of ODEs in a general way. This SIAM reissue of the 1982 second edition covers invariant manifolds, perturbations, and dichotomies, making the text relevant to current studies of geometrical theory of differential equations and dynamical systems. In particular, Ordinary Differential Equations includes the proof of the Hartman-Grobman theorem on the equivalence of a nonlinear to a linear flow in the neighborhood of a hyperbolic stationary point, as well as theorems on smooth equivalences, the smoothness of invariant manifolds, and the reduction of problems on ODEs to those on "maps" (Poincaré). Audience: readers should have knowledge of matrix theory and the ability to deal with functions of real variables.

The first of three volumes on partial differential equations, this one introduces basic examples arising in continuum mechanics, electromagnetism, complex analysis and other areas, and develops a number of tools for their solution, in particular Fourier analysis, distribution theory, and Sobolev spaces. These tools are then applied to the treatment of basic problems in linear PDE, including the Laplace equation, heat equation, and wave equation, as well as more general elliptic, parabolic, and hyperbolic equations. The book is targeted at graduate students in mathematics and at professional mathematicians with an interest in partial differential equations, mathematical physics, differential geometry, harmonic analysis, and complex analysis. The third edition further expands the material by incorporating new theorems and applications throughout the book, and by deepening connections and relating concepts across chapters. In includes new sections on rigid body motion, on probabilistic results related to random walks, on aspects of operator theory related to quantum mechanics, on overdetermined systems, and on the Euler equation for incompressible fluids. The appendices have also been updated with additional results, ranging from weak convergence of measures to the curvature of Kahler manifolds. Michael E. Taylor is a Professor of Mathematics at the University of North Carolina, Chapel Hill, NC. Review of first edition: “These volumes will be read by several generations of readers eager to learn the modern theory of partial differential equations of mathematical physics and the analysis in which this theory is rooted.” (Peter Lax, SIAM review, June 1998)

Covers the fundamentals of the theory of ordinary differential equations.

An application of the techniques of dynamical systems and bifurcation theories to the study of nonlinear oscillations. Taking their cue from Poincare, the authors stress the geometrical and topological properties of solutions of differential equations and iterated maps. Numerous exercises, some of which require nontrivial algebraic manipulations and computer work, convey the important analytical underpinnings of problems in dynamical systems and help readers develop an intuitive feel for the properties involved.

This textbook, now in its second edition, provides a broad introduction to both continuous and discrete dynamical systems, the theory of which is motivated by examples from a wide range of disciplines. It emphasizes applications and simulation utilizing MATLAB®, Simulink®, the Image Processing Toolbox® and the Symbolic Math toolbox®, including MuPAD. Features new to the second edition include · sections on series solutions of ordinary differential equations, perturbation methods, normal forms, Gröbner bases, and chaos synchronization; · chapters on image processing and binary oscillator computing; · hundreds of new illustrations, examples, and exercises with solutions; and · over eighty up-to-date MATLAB program files and Simulink model files available online. These files were voted MATLAB Central Pick of the Week in July 2013. The hands-on approach of Dynamical Systems with Applications using MATLAB, Second Edition, has minimal prerequisites, only requiring familiarity with ordinary differential equations. It will appeal to advanced undergraduate and graduate students, applied mathematicians, engineers, and researchers in a broad range of disciplines such as population dynamics, biology, chemistry, computing, economics, nonlinear optics, neural networks, and physics. Praise for the first edition Summing up, it can be said that this text allows the reader to have an easy and quick start to the huge field of dynamical systems theory. MATLAB/SIMULINK facilitate this approach under the aspect of learning by doing. —OR News/Operations Research Spectrum The MATLAB programs are kept as simple as possible and the author's experience has shown that this method of teaching using MATLAB works well with computer laboratory classes of small sizes.... I recommend ‘Dynamical Systems with Applications using MATLAB’ as a good handbook for a diverse readership: graduates and professionals in mathematics, physics, science and engineering. —Mathematica

This invaluable monograph is devoted to a rapidly developing area on the research of qualitative theory of fractional ordinary and partial differential equations. It provides the readers the necessary background material required to go further into the subject and explore the rich research literature. The tools used include many classical and modern nonlinear analysis methods such as fixed point theory, measure of noncompactness method, topological degree method, the technique of Picard operators, critical point theory and semigroup theory. Based on the research work carried out by the authors and other experts during the past seven years, the contents are very recent and comprehensive.In this edition, two new topics have been added, that is, fractional impulsive differential equations, and fractional partial differential equations including fractional Navier-Stokes equations and fractional diffusion equations.

Formal methods is a field of computer science that emphasizes the use of rigorous mathematical techniques for verification and design of hardware and software systems. Analysis and design of nonlinear control design plays an important role across many disciplines of engineering and applied sciences, ranging from the control of an aircraft engine to the design of genetic circuits in synthetic biology. While linear control is a well-established subject, analysis and design of nonlinear control systems remains a challenging topic due to some of the fundamental difficulties caused by nonlinearity. Formal Methods for Control of Nonlinear Systems provides a unified computational approach to analysis and design of nonlinear systems. Features Constructive approach to nonlinear control. Rigorous specifications and validated computation. Suitable for graduate students and researchers who are interested in learning how formal methods and validated computation can be combined together to tackle nonlinear control problems with complex specifications from an algorithmic perspective. Combines mathematical rigor with practical applications.