The Stability of Dynamical Systems


Book Description

An introduction to aspects of the theory of dynamial systems based on extensions of Liapunov's direct method. The main ideas and structure for the theory are presented for difference equations and for the analogous theory for ordinary differential equations and retarded functional differential equations. The latest results on invariance properties for non-autonomous time-varying systems processes are presented for difference and differential equations.




Applied Nonautonomous and Random Dynamical Systems


Book Description

This book offers an introduction to the theory of non-autonomous and stochastic dynamical systems, with a focus on the importance of the theory in the Applied Sciences. It starts by discussing the basic concepts from the theory of autonomous dynamical systems, which are easier to understand and can be used as the motivation for the non-autonomous and stochastic situations. The book subsequently establishes a framework for non-autonomous dynamical systems, and in particular describes the various approaches currently available for analysing the long-term behaviour of non-autonomous problems. Here, the major focus is on the novel theory of pullback attractors, which is still under development. In turn, the third part represents the main body of the book, introducing the theory of random dynamical systems and random attractors and revealing how it may be a suitable candidate for handling realistic models with stochasticity. A discussion of future research directions serves to round out the coverage.




Scientific Computation on Mathematical Problems and Conjectures


Book Description

Studies the use of scientific computation as a tool in attacking a number of mathematical problems and conjectures. In this case, scientific computation refers primarily to computations that are carried out with a large number of significant digits, for calculations associated with a variety of numerical techniques such as the (second) Remez algorithm in polynomial and rational approximation theory, Richardson extrapolation of sequences of numbers, the accurate finding of zeros of polynomials of large degree, and the numerical approximation of integrals by quadrature techniques. The goal of this book is not to delve into the specialized field dealing with the creation of robust and reliable software needed to implement these high-precision calculations, but rather to emphasize the enormous power that existing software brings to the mathematician's arsenal of weapons for attacking mathematical problems and conjectures. Scientific Computation on Mathematical Problems and Conjectures includes studies of the Bernstein Conjecture of 1913 in polynomial approximation theory, the "1/9" Conjecture of 1977 in rational approximation theory, the famous Riemann Hypothesis of 1859, and the Polya Conjecture of 1927. The emphasis of this monograph rests strongly on the interplay between hard analysis and high-precision calculations.




Feasible Computations and Provable Complexity Properties


Book Description

An overview of current developments in research on feasible computations; and a consideration of this area of research in relation to provable properties of complexity of computations. The author begins by defining and discussing efficient reductions between problems and considers the families and corresponding complete languages of NL, DCSL, CSL, P, NP, PTAPE, EXPTIME, and EXPTAPE. Definitions and results are uniformly extended to computationally simpler natural families of languages such as NL, P, and CSL by using Log n-tape bounded reductions. The problem of determining what can and cannot be formally proven about running times of algorithms is discussed and related to the problem of establishing sharp time bounds for one-tape Turing machine computations, and the inability to formally prove running times for algorithms is then related to the presence of gaps in the hierarchy of complexity classes. The concluding discussion is on the possibility that the famous P=NP? problem is independent of the axioms of formal mathematical systems such as set theory.




Mathematical Aspects of Geometric Modeling


Book Description

Examines concepts that are useful for the modeling of curves and surfaces and emphasizes the mathematical theory that underlies them.




Multivariate Splines


Book Description

Subject of multivariate splines presented from an elementary point of view; includes many open problems.




Bayesian Statistics, A Review


Book Description

A study of those statistical ideas that use a probability distribution over parameter space. The first part describes the axiomatic basis in the concept of coherence and the implications of this for sampling theory statistics. The second part discusses the use of Bayesian ideas in many branches of statistics.




Numerical Solution of Two Point Boundary Value Problems


Book Description

Lectures on a unified theory of and practical procedures for the numerical solution of two point boundary-value problems.