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.
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 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.
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.
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.
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.
* The main treatment is devoted to the analysis of systems of linear partial differential equations (PDEs) with constant coefficients, focusing attention on null solutions of Dirac systems * All the necessary classical material is initially presented * Geared toward graduate students and researchers in (hyper)complex analysis, Clifford analysis, systems of PDEs with constant coefficients, and mathematical physics
Based on the NSF-CBMS Regional Conference lectures presented by Miwa in June 1993, this book surveys recent developments in the interplay between solvable lattice models in statistical mechanics and representation theory of quantum affine algebras. Because results in this subject were scattered in the literature, this book fills the need for a systematic account, focusing attention on fundamentals without assuming prior knowledge about lattice models or representation theory. After a brief account of basic principles in statistical mechanics, the authors discuss the standard subjects concerning solvable lattice models in statistical mechanics, the main examples being the spin 1/2 XXZ chain and the six-vertex model. The book goes on to introduce the main objects of study, the corner transfer matrices and the vertex operators, and discusses some of their aspects from the viewpoint of physics. Once the physical motivations are in place, the authors return to the mathematics, covering the Frenkel-Jing bosonization of a certain module, formulas for the vertex operators using bosons, the role of representation theory, and correlation functions and form factors. The limit of the XXX model is briefly discussed, and the book closes with a discussion of other types of models and related works.
