This edited monograph collects research contributions and addresses the advancement of efficient numerical procedures in the area of model order reduction (MOR) for simulation, optimization and control. The topical scope includes, but is not limited to, new out-of-the-box algorithmic solutions for scientific computing, e.g. reduced basis methods for industrial problems and MOR approaches for electrochemical processes. The target audience comprises research experts and practitioners in the field of simulation, optimization and control, but the book may also be beneficial for graduate students alike.

The book presents, in a systematic manner, the optimal controls under different mathematical models in fermentation processes. Variant mathematical models - i.e., those for multistage systems; switched autonomous systems; time-dependent and state-dependent switched systems; multistage time-delay systems and switched time-delay systems - for fed-batch fermentation processes are proposed and the theories and algorithms of their optimal control problems are studied and discussed. By putting forward novel methods and innovative tools, the book provides a state-of-the-art and comprehensive systematic treatment of optimal control problems arising in fermentation processes. It not only develops nonlinear dynamical system, optimal control theory and optimization algorithms, but can also help to increase productivity and provide valuable reference material on commercial fermentation processes.

This book provides essential lecture notes on solving large linear saddle-point systems, which arise in a wide range of applications and often pose computational challenges in science and engineering. The focus is on discussing the particular properties of such linear systems, and a large selection of algebraic methods for solving them, with an emphasis on iterative methods and preconditioning. The theoretical results presented here are complemented by a case study on potential fluid flow problem in a real world-application. This book is mainly intended for students of applied mathematics and scientific computing, but also of interest for researchers and engineers working on various applications. It is assumed that the reader has completed a basic course on linear algebra and numerical mathematics.

The first half of the book provides an introduction to general topology, with ample space given to exercises and carefully selected applications. The second half of the text includes topics in asymmetric topology, a field motivated by applications in computer science. Recurring themes include the interactions of topology with order theory and mathematics designed to model loss-of-resolution situations.

This book gives a compact exposition of the fundamentals of the theory of locally convex topological vector spaces. Furthermore it contains a survey of the most important results of a more subtle nature, which cannot be regarded as basic, but knowledge which is useful for understanding applications. Finally, the book explores some of such applications connected with differential calculus and measure theory in infinite-dimensional spaces. These applications are a central aspect of the book, which is why it is different from the wide range of existing texts on topological vector spaces. Overall, this book develops differential and integral calculus on infinite-dimensional locally convex spaces by using methods and techniques of the theory of locally convex spaces. The target readership includes mathematicians and physicists whose research is related to infinite-dimensional analysis.

Partition functions arise in combinatorics and related problems of statistical physics as they encode in a succinct way the combinatorial structure of complicated systems. The main focus of the book is on efficient ways to compute (approximate) various partition functions, such as permanents, hafnians and their higher-dimensional versions, graph and hypergraph matching polynomials, the independence polynomial of a graph and partition functions enumerating 0-1 and integer points in polyhedra, which allows one to make algorithmic advances in otherwise intractable problems. The book unifies various, often quite recent, results scattered in the literature, concentrating on the three main approaches: scaling, interpolation and correlation decay. The prerequisites include moderate amounts of real and complex analysis and linear algebra, making the book accessible to advanced math and physics undergraduates.

This book explores the most significant computational methods and the history of their development. It begins with the earliest mathematical / numerical achievements made by the Babylonians and the Greeks, followed by the period beginning in the 16th century. For several centuries the main scientific challenge concerned the mechanics of planetary dynamics, and the book describes the basic numerical methods of that time. In turn, at the end of the Second World War scientific computing took a giant step forward with the advent of electronic computers, which greatly accelerated the development of numerical methods. As a result, scientific computing became established as a third scientific method in addition to the two traditional branches: theory and experimentation. The book traces numerical methods' journey back to their origins and to the people who invented them, while also briefly examining the development of electronic computers over the years. Featuring 163 references and more than 100 figures, many of them portraits or photos of key historical figures, the book provides a unique historical perspective on the general field of scientific computing - making it a valuable resource for all students and professionals interested in the history of numerical analysis and computing, and for a broader readership alike.

This book presents a comprehensive and self-contained treatment of the authors' newly developed scalable algorithms for the solutions of multibody contact problems of linear elasticity. The brand new feature of these algorithms is theoretically supported numerical scalability and parallel scalability demonstrated on problems discretized by billions of degrees of freedom. The theory supports solving multibody frictionless contact problems, contact problems with possibly orthotropic Tresca's friction, and transient contact problems. It covers BEM discretization, jumping coefficients, floating bodies, mortar non-penetration conditions, etc. The exposition is divided into four parts, the first of which reviews appropriate facets of linear algebra, optimization, and analysis. The most important algorithms and optimality results are presented in the third part of the volume. The presentation is complete, including continuous formulation, discretization, decomposition, optimality results, and numerical experiments. The final part includes extensions to contact shape optimization, plasticity, and HPC implementation. Graduate students and researchers in mechanical engineering, computational engineering, and applied mathematics, will find this book of great value and interest.

The Proceedings of the Fourth International Congress on Industrial and Applied Mathematics, Edinburgh, includes talks from the 30 plenary speakers who between them covered the gamut of applied mathematics in topics such as superconductivity (S.J. Chapman, Oxford); elastic media (A. Friedman, Minnesota); mathematical modelling of the Internet (F. Kelly, Cambridge); Monte Carlo methods for financial applications (S. Tezuka, IBM Tokyo); liquid turbulence, partial differential equations, discrete optimisation, and computational aspects of all these topics. Speakers J.A. Sethia (Berkeley), J.K. Lenstra (CWI, Amsterdam), R.V. Kohn (Courant Institute, New York), S. Muller (Leipzig, Germany), C. Johnson (Goteborg, Sweden). Also included are summaries of the mini symposia, and details of the prizes. This important summary of topical and applicable mathematics from the world's leaders in the subject is a 'must-have' reference volume for graduate students and researchers interested in applied and computational mathematics.

A computer algebra system such as Mathematica (R) is able to do much more than just numerics: This text shows how to tackle real mathematical problems from basic analysis. The reader learns how Mathematica (R) represents domains, qualifiers and limits to implement actual proofs - a requirement to unlock the huge potential of Mathematica (R) for a variety of applications.

This book introduces recently developed mixed finite element methods for large-scale geophysical flows that preserve essential numerical properties for accurate simulations. The methods are presented using standard models of atmospheric flows and are implemented using the Firedrake finite element library. Examples guide the reader through problem formulation, discretisation, and automated implementation. The so-called "compatible" finite element methods possess key numerical properties which are crucial for real-world operational weather and climate prediction. The authors summarise the theory and practical implications of these methods for model problems, introducing the reader to the Firedrake package and providing open-source implementations for all the examples covered. Students and researchers with engineering, physics, mathematics, or computer science backgrounds will benefit from this book. Those readers who are less familiar with the topic are provided with an overview of geophysical fluid dynamics.

Simulating the behavior of a human heart, predicting tomorrow's weather, optimizing the aerodynamics of a sailboat, finding the ideal cooking time for a hamburger: to solve these problems, cardiologists, meteorologists, sportsmen, and engineers can count on math help. This book will lead you to the discovery of a magical world, made up of equations, in which a huge variety of important problems for our life can find useful answers.

Thisvolume comprises a carefully selectedcollection ofarticlesemerging from and pertinent to the 2010 CFL-80 conference in Rio de Janeiro, celebrating the80th anniversary of the Courant-Friedrichs-Lewy (CFL) condition. A major result in the field of numerical analysis, the CFL condition has influenced the research of many important mathematicians over the past eight decades, and this work is meant to take stock of its most important and current applications.

"The Courant Friedrichs Lewy (CFL) Condition: 80 Years After its Discovery "will be of interest to practicing mathematicians, engineers, physicists, and graduate students who work with numerical methods."

This is the first book to cover GRASP (Greedy Randomized Adaptive Search Procedures), a metaheuristic that has enjoyed wide success in practice with a broad range of applications to real-world combinatorial optimization problems. The state-of-the-art coverage and carefully crafted pedagogical style lends this book highly accessible as an introductory text not only to GRASP, but also to combinatorial optimization, greedy algorithms, local search, and path-relinking, as well as to heuristics and metaheuristics, in general. The focus is on algorithmic and computational aspects of applied optimization with GRASP with emphasis given to the end-user, providing sufficient information on the broad spectrum of advances in applied optimization with GRASP. For the more advanced reader, chapters on hybridization with path-relinking and parallel and continuous GRASP present these topics in a clear and concise fashion. Additionally, the book offers a very complete annotated bibliography of GRASP and combinatorial optimization. For the practitioner who needs to solve combinatorial optimization problems, the book provides a chapter with four case studies and implementable templates for all algorithms covered in the text. This book, with its excellent overview of GRASP, will appeal to researchers and practitioners of combinatorial optimization who have a need to find optimal or near optimal solutions to hard combinatorial optimization problems.

Substantial effort has been drawn for years onto the development of (possibly high-order) numerical techniques for the scalar homogeneous conservation law, an equation which is strongly dissipative in L1 thanks to shock wave formation. Such a dissipation property is generally lost when considering hyperbolic systems of conservation laws, or simply inhomogeneous scalar balance laws involving accretive or space-dependent source terms, because of complex wave interactions. An overall weaker dissipation can reveal intrinsic numerical weaknesses through specific nonlinear mechanisms: Hugoniot curves being deformed by local averaging steps in Godunov-type schemes, low-order errors propagating along expanding characteristics after having hit a discontinuity, exponential amplification of truncation errors in the presence of accretive source terms... This book aims at presenting rigorous derivations of different, sometimes called well-balanced, numerical schemes which succeed in reconciling high accuracy with a stronger robustness even in the aforementioned accretive contexts. It is divided into two parts: one dealing with hyperbolic systems of balance laws, such as arising from quasi-one dimensional nozzle flow computations, multiphase WKB approximation of linear Schroedinger equations, or gravitational Navier-Stokes systems. Stability results for viscosity solutions of onedimensional balance laws are sketched. The other being entirely devoted to the treatment of weakly nonlinear kinetic equations in the discrete ordinate approximation, such as the ones of radiative transfer, chemotaxis dynamics, semiconductor conduction, spray dynamics or linearized Boltzmann models. "Caseology" is one of the main techniques used in these derivations. Lagrangian techniques for filtration equations are evoked too. Two-dimensional methods are studied in the context of non-degenerate semiconductor models.

This book presents, in a consistent and unified overview, results and developments in the field of todays spherical sampling, particularly arising in mathematical geosciences. Although the book often refers to original contributions, the authors made them accessible to (graduate) students and scientists not only from mathematics but also from geosciences and geoengineering. Building a library of topics in spherical sampling theory it shows how advances in this theory lead to new discoveries in mathematical, geodetic, geophysical as well as other scientific branches like neuro-medicine. A must-to-read for everybody working in the area of spherical sampling.

This volume deals with numerical simulation of coupled problems in soil mechanics and foundations. It contains analysis of both shallow and deep foundations. Several nonlinear problems are considered including, soil plasticity, cracking, reaching the soil bearing capacity, creep, etc. Dynamic analyses together with stability analysis are also included. Several numerical models of dams are considered together with coupled problems in soil mechanics and foundations. It gives wide range of modeling soil in different parts of the world. The volume is based on the best contributions to the 2nd GeoMEast International Congress and Exhibition on Sustainable Civil Infrastructures, Egypt 2018 - The official international congress of the Soil-Structure Interaction Group in Egypt (SSIGE).

This self-contained introduction to numerical linear algebra provides a comprehensive, yet concise, overview of the subject. It includes standard material such as direct methods for solving linear systems and least-squares problems, error, stability and conditioning, basic iterative methods and the calculation of eigenvalues. Later chapters cover more advanced material, such as Krylov subspace methods, multigrid methods, domain decomposition methods, multipole expansions, hierarchical matrices and compressed sensing. The book provides rigorous mathematical proofs throughout, and gives algorithms in general-purpose language-independent form. Requiring only a solid knowledge in linear algebra and basic analysis, this book will be useful for applied mathematicians, engineers, computer scientists, and all those interested in efficiently solving linear problems.

This self-contained introduction to numerical linear algebra provides a comprehensive, yet concise, overview of the subject. It includes standard material such as direct methods for solving linear systems and least-squares problems, error, stability and conditioning, basic iterative methods and the calculation of eigenvalues. Later chapters cover more advanced material, such as Krylov subspace methods, multigrid methods, domain decomposition methods, multipole expansions, hierarchical matrices and compressed sensing. The book provides rigorous mathematical proofs throughout, and gives algorithms in general-purpose language-independent form. Requiring only a solid knowledge in linear algebra and basic analysis, this book will be useful for applied mathematicians, engineers, computer scientists, and all those interested in efficiently solving linear problems.

Finite element methods have become ever more important to engineers as tools for design and optimization, now even for solving non-linear technological problems. However, several aspects must be considered for finite-element simulations which are specific for non-linear problems: These problems require the knowledge and the understanding of theoretical foundations and their finite-element discretization as well as algorithms for solving the non-linear equations.

This book provides the reader with the required knowledge covering the complete field of finite element analyses in solid mechanics. It is written for advanced students in engineering fields but serves also as an introduction into non-linear simulation for the practising engineer.

This book exploits the classification of a class of linear bounded operators with rank-one self-commutators in terms of their spectral parameter, known as the principal function. The resulting dictionary between two dimensional planar shapes with a degree of shade and Hilbert space operators turns out to be illuminating and beneficial for both sides. An exponential transform, essentially a Riesz potential at critical exponent, is at the heart of this novel framework; its best rational approximants unveil a new class of complex orthogonal polynomials whose asymptotic distribution of zeros is thoroughly studied in the text. Connections with areas of potential theory, approximation theory in the complex domain and fluid mechanics are established. The text is addressed, with specific aims, at experts and beginners in a wide range of areas of current interest: potential theory, numerical linear algebra, operator theory, inverse problems, image and signal processing, approximation theory, mathematical physics.

This volume gathers contributions from participants of the Introductory School and the IHP thematic quarter on Numerical Methods for PDE, held in 2016 in Cargese (Corsica) and Paris, providing an opportunity to disseminate the latest results and envisage fresh challenges in traditional and new application fields. Numerical analysis applied to the approximate solution of PDEs is a key discipline in applied mathematics, and over the last few years, several new paradigms have appeared, leading to entire new families of discretization methods and solution algorithms. This book is intended for researchers in the field.

Emilia Grass develops a solution method which can provide fast and near-optimal solutions to realistic large-scale two-stage stochastic problems in disaster management. The author proposes a specialized interior-point method to accelerate the standard L-shaped algorithm. She shows that the newly developed solution method solves two realistic large-scale case studies for the hurricane prone Gulf and Atlantic coast faster than the standard L-shaped method and a commercial solver. The accelerated solution method enables relief organizations to employ appropriate preparation measures even in the case of short-term disaster warnings.About the Author Emilia Grass holds a PhD from the Hamburg University of Technology, Germany. She is currently working as guest researcher on the project cyber security in healthcare at the Centre for Health Policy, Imperial College London, UK. Her scientific focus is on stochastic programming, solution methods, disaster management and healthcare.

This book introduces the key concepts of nonlinear finite element analysis procedures. The book explains the fundamental theories of the field and provides instructions on how to apply the concepts to solving practical engineering problems. Instead of covering many nonlinear problems, the book focuses on three representative problems: nonlinear elasticity, elastoplasticity, and contact problems. The book is written independent of any particular software, but tutorials and examples using four commercial programs are included as appendices: ANSYS, NASTRAN, ABAQUS, and MATLAB. In particular, the MATLAB program includes all source codes so that students can develop their own material models, or different algorithms. Please visit the author's website for supplemental material, including PowerPoint presentations and MATLAB codes, at http://www2.mae.ufl.edu/nkim/INFEM/

This book explores finite element methods for incompressible flow problems: Stokes equations, stationary Navier-Stokes equations and time-dependent Navier-Stokes equations. It focuses on numerical analysis, but also discusses the practical use of these methods and includes numerical illustrations. It also provides a comprehensive overview of analytical results for turbulence models. The proofs are presented step by step, allowing readers to more easily understand the analytical techniques.