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.

The topic of this book is the study of singular perturbations of ordinary differential equations, i.e., perturbations that represent solutions as asymptotic series rather than as analytic functions in a perturbation parameter. The main method used is the so-called WKB (Wentzel-Kramers-Brillouin) method, originally invented for the study of quantum-mechanical systems. The authors describe in detail the WKB method and its applications to the study of monodromy problems for Fuchsian differential equations and to the analysis of Painleve functions. This volume is suitable for graduate students and researchers interested in differential equations and special functions.

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.

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.

"A valuable reference." — American Scientist. Excellent graduate-level treatment of set theory, algebra and analysis for applications in engineering and science. Fundamentals, algebraic structures, vector spaces and linear transformations, metric spaces, normed spaces and inner product spaces, linear operators, more. A generous number of exercises have been integrated into the text. 1981 edition.

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.

A famous Swiss professor gave a student’s course in Basel on Riemann surfaces. After a couple of lectures, a student asked him, “Professor, you have as yet not given an exact de nition of a Riemann surface.” The professor answered, “With Riemann surfaces, the main thing is to UNDERSTAND them, not to de ne them.” The student’s objection was reasonable. From a formal viewpoint, it is of course necessary to start as soon as possible with strict de nitions, but the professor’s - swer also has a substantial background. The pure de nition of a Riemann surface— as a complex 1-dimensional complex analytic manifold—contributes little to a true understanding. It takes a long time to really be familiar with what a Riemann s- face is. This example is typical for the objects of global analysis—manifolds with str- tures. There are complex concrete de nitions but these do not automatically explain what they really are, what we can do with them, which operations they really admit, how rigid they are. Hence, there arises the natural question—how to attain a deeper understanding? One well-known way to gain an understanding is through underpinning the d- nitions, theorems and constructions with hierarchies of examples, counterexamples and exercises. Their choice, construction and logical order is for any teacher in global analysis an interesting, important and fun creating task.