The use of rigorous numerical methods to approach problems which can not be solved using standard methods (yet) has increased signifiantly in recent years. In this book, riogorous a-posteriori methods are used to study the time evolution of a surface growth model, given by a fourth order semi-linear parabolic partial differential equation, where standard methods fail to verify global uniqueness and smoothness of solutions. Based on an arbitrary numerical approximation, a-posteriori error-analysis is applied in order to prevent a blow up analytically. This is a method that in a similar way also applies to the three dimensional Navier-Stokes equations. The main idea consists of energy-estimates for the error between solution and approximation that yields a scalar differential equation controlling the norm of the error with coefficients depending solely on the numerical data. This allows the solution of the differential equation to be bounded using only numerical data. A key technical tool is a rigorous eigenvalue bound for the nonlinear operator linearized around the numerical approximation. The presented method succeeds to show global uniqueness for relatively large initial conditions, which is demonstrated in many numerical examples.

With many updates and additional exercises, the second edition of this book continues to provide readers with a gentle introduction to rough path analysis and regularity structures, theories that have yielded many new insights into the analysis of stochastic differential equations, and, most recently, stochastic partial differential equations. Rough path analysis provides the means for constructing a pathwise solution theory for stochastic differential equations which, in many respects, behaves like the theory of deterministic differential equations and permits a clean break between analytical and probabilistic arguments. Together with the theory of regularity structures, it forms a robust toolbox, allowing the recovery of many classical results without having to rely on specific probabilistic properties such as adaptedness or the martingale property. Essentially self-contained, this textbook puts the emphasis on ideas and short arguments, rather than aiming for the strongest possible statements. A typical reader will have been exposed to upper undergraduate analysis and probability courses, with little more than Itô-integration against Brownian motion required for most of the text. From the reviews of the first edition: "Can easily be used as a support for a graduate course ... Presents in an accessible way the unique point of view of two experts who themselves have largely contributed to the theory" - Fabrice Baudouin in the Mathematical Reviews "It is easy to base a graduate course on rough paths on this ... A researcher who carefully works her way through all of the exercises will have a very good impression of the current state of the art" - Nicolas Perkowski in Zentralblatt MATH

With this hands-on introduction readers will learn what SDEs are all about and how they should use them in practice.

Dynamical systems are a principal tool in the modeling, prediction, and control of a wide range of complex phenomena. As the need for improved accuracy leads to larger and more complex dynamical systems, direct simulation often becomes the only available strategy for accurate prediction or control, inevitably creating a considerable burden on computational resources. This is the main context where one considers model reduction, seeking to replace large systems of coupled differential and algebraic equations that constitute high fidelity system models with substantially fewer equations that are crafted to control the loss of fidelity that order reduction may induce in the system response. Interpolatory methods are among the most widely used model reduction techniques, and Interpolatory Methods for Model Reduction is the first comprehensive analysis of this approach available in a single, extensive resource. It introduces state-of-the-art methods reflecting significant developments over the past two decades, covering both classical projection frameworks for model reduction and data-driven, nonintrusive frameworks. This textbook is appropriate for a wide audience of engineers and other scientists working in the general areas of large-scale dynamical systems and data-driven modeling of dynamics.

The Handbook of Mathematical Methods in Imaging provides a comprehensive treatment of the mathematical techniques used in imaging science. The material is grouped into two central themes, namely, Inverse Problems (Algorithmic Reconstruction) and Signal and Image Processing. Each section within the themes covers applications (modeling), mathematics, numerical methods (using a case example) and open questions. Written by experts in the area, the presentation is mathematically rigorous. The entries are cross-referenced for easy navigation through connected topics. Available in both print and electronic forms, the handbook is enhanced by more than 150 illustrations and an extended bibliography. It will benefit students, scientists and researchers in applied mathematics. Engineers and computer scientists working in imaging will also find this handbook useful.

At the close of the 1980s, the independent contributions of Yann Brenier, Mike Cullen and John Mather launched a revolution in the venerable field of optimal transport founded by G. Monge in the 18th century, which has made breathtaking forays into various other domains of mathematics ever since. The author presents a broad overview of this area, supplying complete and self-contained proofs of all the fundamental results of the theory of optimal transport at the appropriate level of generality. Thus, the book encompasses the broad spectrum ranging from basic theory to the most recent research results. PhD students or researchers can read the entire book without any prior knowledge of the field. A comprehensive bibliography with notes that extensively discuss the existing literature underlines the book’s value as a most welcome reference text on this subject.