Computer Aided Verification: 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings (Lecture Notes in Computer Science, 1102)

How well is Nature simulated by the varied asymptotic models that imaginative scientists have invented? B. Birkhoff [52J This book deals with asymptotic methods in nonlinear dynamics. For the first time a detailed and systematic treatment of new asymptotic methods in combination with the Pade approximant method is presented. Most of the basic results included in this manuscript have not been treated but just mentioned in the literature. Providing a state-of-the-art review of asymptotic applications, this book will prove useful as an introduction to the field for novices as well a reference for specialists. Asymptotic methods of solving mechanical and physical problems have been developed by many authors. For example, we can refer to the excel lent courses by A. Nayfeh [119-122]' M. Van Dyke [154], E.J. Hinch [94J and many others [59, 66, 95, 109, 126, 155, 163, 50d, 59dJ. The main features of the monograph presented are: 1) it is devoted to the basic principles of asymp totics and its applications, and 2) it deals with both traditional approaches (such as regular and singular perturbations, averaging and homogenization, perturbations of the domain and boundary shape) and less widely used, new approaches such as one- and two-point Pade approximants, the distributional approach, and the method of boundary perturbations."