This volume contains 23 articles on algebraic analysis of differential equations and related topics, most of which were presented as papers at the conference "Algebraic Analysis of Differential Equations – from Microlocal Analysis to Exponential Asymptotics" at Kyoto University in 2005. This volume is dedicated to Professor Takahiro Kawai, who is one of the creators of microlocal analysis and who introduced the technique of microlocal analysis into exponential asymptotics.

Differential algebraic equations (DAEs), including so-called descriptor systems, began to attract significant research interest in applied and numerical mathematics in the early 1980s, no more than about three decades ago. In this relatively short time, DAEs have become a widely acknowledged tool to model processes subjected to constraints, in order to simulate and to control processes in various application fields such as network simulation, chemical kinematics, mechanical engineering, system biology. DAEs and their more abstract versions in infinite-dimensional spaces comprise a great potential for future mathematical modeling of complex coupled processes. The purpose of the book is to expose the impressive complexity of general DAEs from an analytical point of view, to describe the state of the art as well as open problems and so to motivate further research to this versatile, extra-ordinary topic from a broader mathematical perspective. The book elaborates a new general structural analysis capturing linear and nonlinear DAEs in a hierarchical way. The DAE structure is exposed by means of special projector functions. Numerical integration issues and computational aspects are treated also in this context.

Differential-algebraic equations are a widely accepted tool for the modeling and simulation of constrained dynamical systems in numerous applications, such as mechanical multibody systems, electrical circuit simulation, chemical engineering, control theory, fluid dynamics and many others. This is the first comprehensive textbook that provides a systematic and detailed analysis of initial and boundary value problems for differential-algebraic equations. The analysis is developed from the theory of linear constant coefficient systems via linear variable coefficient systems to general nonlinear systems. Further sections on control problems, generalized inverses of differential-algebraic operators, generalized solutions, and differential equations on manifolds complement the theoretical treatment of initial value problems. Two major classes of numerical methods for differential-algebraic equations (Runge-Kutta and BDF methods) are discussed and analyzed with respect to convergence and order. A chapter is devoted to index reduction methods that allow the numerical treatment of general differential-algebraic equations. The analysis and numerical solution of boundary value problems for differential-algebraic equations is presented, including multiple shooting and collocation methods. A survey of current software packages for differential-algebraic equations completes the text. The book is addressed to graduate students and researchers in mathematics, engineering and sciences, as well as practitioners in industry. A prerequisite is a standard course on the numerical solution of ordinary differential equations. Numerous examples and exercises make the book suitable as a course textbook or for self-study.

B-series, also known as Butcher series, are an algebraic tool for analysing solutions to ordinary differential equations, including approximate solutions. Through the formulation and manipulation of these series, properties of numerical methods can be assessed. Runge–Kutta methods, in particular, depend on B-series for a clean and elegant approach to the derivation of high order and efficient methods. However, the utility of B-series goes much further and opens a path to the design and construction of highly accurate and efficient multivalue methods. This book offers a self-contained introduction to B-series by a pioneer of the subject. After a preliminary chapter providing background on differential equations and numerical methods, a broad exposition of graphs and trees is presented. This is essential preparation for the third chapter, in which the main ideas of B-series are introduced and developed. In chapter four, algebraic aspects are further analysed in the context of integration methods, a generalization of Runge–Kutta methods to infinite index sets. Chapter five, on explicit and implicit Runge–Kutta methods, contrasts the B-series and classical approaches. Chapter six, on multivalue methods, gives a traditional review of linear multistep methods and expands this to general linear methods, for which the B-series approach is both natural and essential. The final chapter introduces some aspects of geometric integration, from a B-series point of view. Placing B-series at the centre of its most important applications makes this book an invaluable resource for scientists, engineers and mathematicians who depend on computational modelling, not to mention computational scientists who carry out research on numerical methods in differential equations. In addition to exercises with solutions and study notes, a number of open-ended projects are suggested. This combination makes the book ideal as a textbook for specialised courses on numerical methods for differential equations, as well as suitable for self-study.

The use of algebraic methods for studying analysts is an important theme in modern mathematics. The most significant development in this field is microlocal analysis, that is, the local study of differential equations on cotangent bundles. This treatise provides a thorough description of microlocal analysis starting from its foundations. The book begins with the definition of a hyperfunction. It then carefully develops the microfunction theory and its applications to differential equations and theoretical physics. It also provides a description of microdifferential equations, the microlocalization of linear differential equations. Finally, the authors present the structure theorems for systems of microdifferential equations, where the quantized contact transformations are used as a fundamental device. The microfunction theory, together with the quantized contact transformation theory, constitutes a valuable new viewpoint in linear partial differential equations. Originally published in 1986. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These editions preserve the original texts of these important books while presenting them in durable paperback and hardcover editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905.

This volume contains 23 articles on algebraic analysis of differential equations and related topics, most of which were presented as papers at the conference "Algebraic Analysis of Differential Equations – from Microlocal Analysis to Exponential Asymptotics" at Kyoto University in 2005. This volume is dedicated to Professor Takahiro Kawai, who is one of the creators of microlocal analysis and who introduced the technique of microlocal analysis into exponential asymptotics.

This book contains all the material necessary for a course on the numerical solution of differential equations.