This book provides an up-to-date presentation of homogeneous pseudo-Riemannian structures, an essential tool in the study of pseudo-Riemannian homogeneous spaces. Benefiting from large symmetry groups, these spaces are of high interest in Geometry and Theoretical Physics. Since the seminal book by Tricerri and Vanhecke, the theory of homogeneous structures has been considerably developed and many applications have been found. The present work covers a gap in the literature of more than 35 years, presenting the latest contributions to the field in a modern geometric approach, with special focus on manifolds equipped with pseudo-Riemannian metrics. This unique reference on the topic will be of interest to researchers working in areas of mathematics where homogeneous spaces play an important role, such as Differential Geometry, Global Analysis, General Relativity, and Particle Physics.

This book contains a compendium of 25 papers published since the 1970s dealing with pi and associated topics of mathematics and computer science. The collection begins with a Foreword by Bruce Berndt. Each contribution is preceded by a brief summary of its content as well as a short key word list indicating how the content relates to others in the collection. The volume includes articles on actual computations of pi, articles on mathematical questions related to pi (e.g., "Is pi normal?"), articles presenting new and often amazing techniques for computing digits of pi (e.g., the "BBP" algorithm for pi, which permits one to compute an arbitrary binary digit of pi without needing to compute any of the digits that came before), papers presenting important fundamental mathematical results relating to pi, and papers presenting new, high-tech techniques for analyzing pi (i.e., new graphical techniques that permit one to visually see if pi and other numbers are "normal"). This volume is a companion to Pi: A Source Book whose third edition released in 2004. The present collection begins with 2 papers from 1976, published by Eugene Salamin and Richard Brent, which describe "quadratically convergent" algorithms for pi and other basic mathematical functions, derived from some mathematical work of Gauss. Bailey and Borwein hold that these two papers constitute the beginning of the modern era of computational mathematics. This time period (1970s) also corresponds with the introduction of high-performance computer systems (supercomputers), which since that time have increased relentlessly in power, by approximately a factor of 100,000,000, advancing roughly at the same rate as Moore's Law of semiconductor technology. This book may be of interest to a wide range of mathematical readers; some articles cover more advanced research questions suitable for active researchers in the field, but several are highly accessible to undergraduate mathematics students.

This book collects papers based on the XXXVI Bialowieza Workshop on Geometric Methods in Physics, 2017. The Workshop, which attracts a community of experts active at the crossroads of mathematics and physics, represents a major annual event in the field. Based on presentations given at the Workshop, the papers gathered here are previously unpublished, at the cutting edge of current research, and primarily grounded in geometry and analysis, with applications to classical and quantum physics. In addition, a Special Session was dedicated to S. Twareque Ali, a distinguished mathematical physicist at Concordia University, Montreal, who passed away in January 2016. For the past six years, the Bialowieza Workshops have been complemented by a School on Geometry and Physics, comprising a series of advanced lectures for graduate students and early-career researchers. The extended abstracts of this year's lecture series are also included here. The unique character of the Workshop-and-School series is due in part to the venue: a famous historical, cultural and environmental site in the Bialowieza forest, a UNESCO World Heritage Centre in eastern Poland. Lectures are given in the Nature and Forest Museum, and local traditions are interwoven with the scientific activities.

Handbook of Numerical Methods for Hyperbolic Problems explores the changes that have taken place in the past few decades regarding literature in the design, analysis and application of various numerical algorithms for solving hyperbolic equations. This volume provides concise summaries from experts in different types of algorithms, so that readers can find a variety of algorithms under different situations and readily understand their relative advantages and limitations.

Computational Methods and Experimental Measurements XIX In its 19th year the International Conference on Computational Methods and Experimental Measurements continues to provide highest quality research which forms this book. This volume examines a wide variety of topics related to new experimental and computational methods. The continuous improvement in computer efficiency, coupled with diminishing costs and the rapid development of numerical procedures have generated an ever-increasing expansion of computational simulations that permeate all fields of science and technology. As these procedures continue to grow in magnitude and complexity, it is essential to validate their results to be certain of their reliability. This can be achieved by performing dedicated and accurate experiments, which have undergone a constant and enormous development. At the same time, current experimental techniques have become more complex and sophisticated so that they require the intensive use of computers, both for running experiments as well as acquiring and processing the resulting data. Some of the subject areas covered are: Computational and experimental methods; Fluid flow; Structural and stress analysis; Electromagnetic problems; Structural integrity; Destructive and non-destructive testing; Heat transfer and thermal processes; Advances in computational methods; Automotive and Aerospace applications; Applications in industry; Ocean engineering and marine structures; Fluid structure interaction; Bio-electromagnetics; Hybrid methods; Process simulations; Validation of computer modelling; Virtual testing and verification; Simulation and forecasting; Measurements in engineering. Earthquake Resistant Engineering Structures XII Major earthquakes and associated effects continue to stress the need to carry out more research and a better understanding of these phenomena in order to design earthquake resistant buildings and to carry out risk assessments. This volume combines the latest leading research as presented on the 12th edition of the ERES conference. As the world's population has concentrated in urban areas resulting in buildings in regions of high seismic vulnerability, we have seen the consequences of natural disasters take an ever higher toll on human existence. Protecting the built environment in earthquake-prone regions involves not only the optimal design and construction of new facilities, but also the upgrading and rehabilitation of existing structures including heritage buildings. The type of highly specialized retrofitting employed to protect the built heritage is an important area of research. The research papers included in this volume cover: Seismic isolation and energy dissipation; Building performance during earthquakes; Numerical analysis; Performance based design; Experimental studies; Seismic hazards and tsunamis; Safety engineering; Liquefaction; Innovative technologies; Paraseismic devices and Lifelines and resilience.

This volume includes the main contributions by the plenary speakers from the ISAAC congress held in Aveiro, Portugal, in 2019. It is the purpose of ISAAC to promote analysis, its applications, and its interaction with computation. Analysis is understood here in the broad sense of the word, including differential equations, integral equations, functional analysis, and function theory. With this objective, ISAAC organizes international Congresses for the presentation and discussion of research on analysis. The plenary lectures in the present volume, authored by eminent specialists, are devoted to some exciting recent developments in topics such as science data, interpolating and sampling theory, inverse problems, and harmonic analysis.

Modelling with Ordinary Differential Equations: A Comprehensive Approach aims to provide a broad and self-contained introduction to the mathematical tools necessary to investigate and apply ODE models. The book starts by establishing the existence of solutions in various settings and analysing their stability properties. The next step is to illustrate modelling issues arising in the calculus of variation and optimal control theory that are of interest in many applications. This discussion is continued with an introduction to inverse problems governed by ODE models and to differential games. The book is completed with an illustration of stochastic differential equations and the development of neural networks to solve ODE systems. Many numerical methods are presented to solve the classes of problems discussed in this book. Features: Provides insight into rigorous mathematical issues concerning various topics, while discussing many different models of interest in different disciplines (biology, chemistry, economics, medicine, physics, social sciences, etc.) Suitable for undergraduate and graduate students and as an introduction for researchers in engineering and the sciences Accompanied by codes which allow the reader to apply the numerical methods discussed in this book in those cases where analytical solutions are not available

This book combines theory, applications, and numerical methods, and covers each of these fields with the same weight. In order to make the book accessible to mathematicians, physicists, and engineers alike, the author has made it as self-contained as possible, requiring only a solid foundation in differential and integral calculus. The functional analysis which is necessary for an adequate treatment of the theory and the numerical solution of integral equations is developed within the book itself. Problems are included at the end of each chapter.

For this third edition in order to make the introduction to the basic functional analytic tools more complete the Hahn Banach extension theorem and the Banach open mapping theorem are now included in the text. The treatment of boundary value problems in potential theory has been extended by a more complete discussion of integral equations of the first kind in the classical Holder space setting and of both integral equations of the first and second kind in the contemporary Sobolev space setting. In the numerical solution part of the book, the author included a new collocation method for two-dimensional hypersingular boundary integral equations and a collocation method for the three-dimensional Lippmann-Schwinger equation. The final chapter of the book on inverse boundary value problems for the Laplace equation has been largely rewritten with special attention to the trilogy of decomposition, iterative and sampling methods

Reviews of earlier editions:

"This book is an excellent introductory text for students, scientists, and engineers who want to learn the basic theory of linear integral equations and their numerical solution."

(Math. Reviews, 2000)

"This is a good introductory text book on linear integral equations. It contains almost all the topics necessary for a student. The presentation of the subject matter is lucid, clear and in the proper modern framework without being too abstract." (ZbMath, 1999)"

This series of volumes covers all the major aspects of numerical analysis, serving as the basic reference work on the subject. Each volume concentrates on one to three particular topics. Each article, written by an expert, is an in-depth survey, reflecting up-to-date trends in the field, and is essentially self-contained. The handbook will cover the basic methods of numerical analysis, under the following general headings: solution of equations in Rn; finite difference methods; finite element methods; techniques of scientific computing; optimization theory; and systems science. It will also cover the numerical solution of actual problems of contemporary interest in applied mathematics, under the following headings: numerical methods for fluids; numerical methods for solids; and specific applications - including meteorology, seismology, petroleum mechanics and celestial mechanics.

This is an introductory single-term numerical analysis text with a modern scientific computing flavor. It offers an immediate immersion in numerical methods featuring an up-to-date approach to computational matrix algebra and an emphasis on methods used in actual software packages, always highlighting how hardware concerns can impact the choice of algorithm. It fills the need for a text that is mathematical enough for a numerical analysis course yet applied enough for students of science and engineering taking it with practical need in mind. The standard methods of numerical analysis are rigorously derived with results stated carefully and many proven. But while this is the focus, topics such as parallel implementations, the Basic Linear Algebra Subroutines, halfto quadruple-precision computing, and other practical matters are frequently discussed as well. Prior computing experience is not assumed. Optional MATLAB subsections for each section provide a comprehensive self-taught tutorial and also allow students to engage in numerical experiments with the methods they have just read about. The text may also be used with other computing environments. This new edition offers a complete and thorough update. Parallel approaches, emerging hardware capabilities, computational modeling, and data science are given greater weight.

Nonlinear Dispersive Equations are partial differential equations that naturally arise in physical settings where dispersion dominates dissipation, notably hydrodynamics, nonlinear optics, plasma physics and Bose-Einstein condensates. The topic has traditionally been approached in different ways, from the perspective of modeling of physical phenomena, to that of the theory of partial differential equations, or as part of the theory of integrable systems. This monograph offers a thorough introduction to the topic, uniting the modeling, PDE and integrable systems approaches for the first time in book form. The presentation focuses on three "universal" families of physically relevant equations endowed with a completely integrable member: the Benjamin-Ono, Davey-Stewartson, and Kadomtsev-Petviashvili equations. These asymptotic models are rigorously derived and qualitative properties such as soliton resolution are studied in detail in both integrable and non-integrable models. Numerical simulations are presented throughout to illustrate interesting phenomena.By presenting and comparing results from different fields, the book aims to stimulate scientific interactions and attract new students and researchers to the topic. To facilitate this, the chapters can be read largely independently of each other and the prerequisites have been limited to introductory courses in PDE theory.

In the recent decade, there has been a growing interest in the numerical treatment of high-dimensional problems. It is well known that classical numerical discretization schemes fail in more than three or four dimensions due to the curse of dimensionality. The technique of sparse grids helps overcome this problem to some extent under suitable regularity assumptions. This discretization approach is obtained from a multi-scale basis by a tensor product construction and subsequent truncation of the resulting multiresolution series expansion. This volume of LNCSE is a collection of the papers from the proceedings of the workshop on sparse grids and its applications held in Bonn in May 2011. The selected articles present recent advances in the mathematical understanding and analysis of sparse grid discretization. Aspects arising from applications are given particular attention.

This book focuses on mathematical modeling, describes the process of constructing and evaluating models, discusses the challenges and delicacies of the modeling process, and explicitly outlines the required rules and regulations so that the reader will be able to generalize and reuse concepts in other problems by relying on mathematical logic.Undergraduate and postgraduate students of different academic disciplines would find this book a suitable option preparing them for jobs and research fields requiring modeling techniques. Furthermore, this book can be used as a reference book for experts and practitioners requiring advanced skills of model building in their jobs.

Martin Grotschel is one of the most influential mathematicians of our time. He has received numerous honors and holds a number of key positions in the international mathematical community. He celebrated his 65th birthday on September 10, 2013. Martin Grotschel s doctoral descendant tree 1983 2012, i.e., the first 30 years, features 39 children, 74 grandchildren, 24 great-grandchildren and 2 great-great-grandchildren, a total of 139 doctoral descendants.

This book starts with a personal tribute to Martin Grotschel by the editors (Part I), a contribution by his very special predecessor Manfred Padberg on Facets and Rank of Integer Polyhedra (Part II), and the doctoral descendant tree 1983 2012 (Part III). The core of this book (Part IV) contains 16 contributions, each of which is coauthored by at least one doctoral descendant.

The sequence of the articles starts with contributions to the theory of mathematical optimization, including polyhedral combinatorics, extended formulations, mixed-integer convex optimization, super classes of perfect graphs, efficient algorithms for subtree-telecenters, junctions in acyclic graphs and preemptive restricted strip covering, as well as efficient approximation of non-preemptive restricted strip covering.

Combinations of new theoretical insights with algorithms and experiments deal with network design problems, combinatorial optimization problems with submodular objective functions and more general mixed-integer nonlinear optimization problems. Applications include VLSI layout design, systems biology, wireless network design, mean-risk optimization and gas network optimization.

Computational studies include a semidefinite branch and cut approach for the max k-cut problem, mixed-integer nonlinear optimal control, and mixed-integer linear optimization for scheduling and routing of fly-in safari planes.

The two closing articles are devoted to computational advances in general mixed integer linear optimization, the first by scientists working in industry, the second by scientists working in academia.

These articles reflect the scientific facets of Martin Grotschel who has set standards in theory, computation and applications.

This comprehensive textbook presents a clean and coherent account of most fundamental tools and techniques in Parameterized Algorithms and is a self-contained guide to the area. The book covers many of the recent developments of the field, including application of important separators, branching based on linear programming, Cut & Count to obtain faster algorithms on tree decompositions, algorithms based on representative families of matroids, and use of the Strong Exponential Time Hypothesis. A number of older results are revisited and explained in a modern and didactic way. The book provides a toolbox of algorithmic techniques. Part I is an overview of basic techniques, each chapter discussing a certain algorithmic paradigm. The material covered in this part can be used for an introductory course on fixed-parameter tractability. Part II discusses more advanced and specialized algorithmic ideas, bringing the reader to the cutting edge of current research. Part III presents complexity results and lower bounds, giving negative evidence by way of W[1]-hardness, the Exponential Time Hypothesis, and kernelization lower bounds. All the results and concepts are introduced at a level accessible to graduate students and advanced undergraduate students. Every chapter is accompanied by exercises, many with hints, while the bibliographic notes point to original publications and related work.

Numerical Methods for Partial Differential Equations: Finite Difference and Finite Volume Methods focuses on two popular deterministic methods for solving partial differential equations (PDEs), namely finite difference and finite volume methods. The solution of PDEs can be very challenging, depending on the type of equation, the number of independent variables, the boundary, and initial conditions, and other factors. These two methods have been traditionally used to solve problems involving fluid flow. For practical reasons, the finite element method, used more often for solving problems in solid mechanics, and covered extensively in various other texts, has been excluded. The book is intended for beginning graduate students and early career professionals, although advanced undergraduate students may find it equally useful. The material is meant to serve as a prerequisite for students who might go on to take additional courses in computational mechanics, computational fluid dynamics, or computational electromagnetics. The notations, language, and technical jargon used in the book can be easily understood by scientists and engineers who may not have had graduate-level applied mathematics or computer science courses.

This book describes the mathematical underpinnings of algorithms used for molecular dynamics simulation, including both deterministic and stochastic numerical methods. Molecular dynamics is one of the most versatile and powerful methods of modern computational science and engineering and is used widely in chemistry, physics, materials science and biology. Understanding the foundations of numerical methods means knowing how to select the best one for a given problem (from the wide range of techniques on offer) and how to create new, efficient methods to address particular challenges as they arise in complex applications. Aimed at a broad audience, this book presents the basic theory of Hamiltonian mechanics and stochastic differential equations, as well as topics including symplectic numerical methods, the handling of constraints and rigid bodies, the efficient treatment of Langevin dynamics, thermostats to control the molecular ensemble, multiple time-stepping, and the dissipative particle dynamics method.

This book includes a thorough theoretical and computational analysis of unconstrained and constrained optimization algorithms and combines and integrates the most recent techniques and advanced computational linear algebra methods. Nonlinear optimization methods and techniques have reached their maturity and an abundance of optimization algorithms are available for which both the convergence properties and the numerical performances are known. This clear, friendly, and rigorous exposition discusses the theory behind the nonlinear optimization algorithms for understanding their properties and their convergence, enabling the reader to prove the convergence of his/her own algorithms. It covers cases and computational performances of the most known modern nonlinear optimization algorithms that solve collections of unconstrained and constrained optimization test problems with different structures, complexities, as well as those with large-scale real applications. The book is addressed to all those interested in developing and using new advanced techniques for solving large-scale unconstrained or constrained complex optimization problems. Mathematical programming researchers, theoreticians and practitioners in operations research, practitioners in engineering and industry researchers, as well as graduate students in mathematics, Ph.D. and master in mathematical programming will find plenty of recent information and practical approaches for solving real large-scale optimization problems and applications.

Most of the equations governing the problems related to science and engineering are nonlinear in nature. As a result, they are inherently difficult to solve. Analytical solutions are available only for some special cases. For other cases, one has no easy means but to solve the problem must depend on numerical solutions. Fluid Flow, Heat and Mass Transfer at Bodies of Different Shapes: Numerical Solutions presents the current theoretical developments of boundary layer theory, a branch of transport phenomena. Also, the book addresses the theoretical developments in the area and presents a number of physical problems that have been solved by analytical or numerical method. It is focused particularly on fluid flow problems governed by nonlinear differential equations. The book is intended for researchers in applied mathematics, physics, mechanics and engineering.

This book is an introduction to numerical analysis in geomechanics and is intended for advanced undergraduate and beginning graduate study of the mechanics of porous, jointed rocks and soils. Although familiarity with the concepts of stress, strain and so on is assumed, a review of the fundamentals of solid mechanics including concepts of physical laws, kinematics and material laws is presented in an appendix. Emphasis is on the popular finite element method but brief explanations of the boundary element method, the distinct element method (also known as the discrete element method) and discontinuous deformation analysis are included. Familiarity with a computer programming language such as Fortran, C++ or Python is not required, although programming excerpts in Fortran are presented at the end of some chapters. This work begins with an intuitive approach to interpolation over a triangular element and thus avoids making the simple complex by not doing energy minimization via a calculus of variations approach so often found in reference books on the finite element method. The presentation then proceeds to a principal of virtual work via the well-known divergence theorem to obtain element equilibrium and then global equilibrium, both expressed as stiffness equations relating force to displacement. Solution methods for the finite element approach including elimination and iteration methods are discussed. Hydro-mechanical coupling is described and extension of the finite element method to accommodate fluid flow in porous geological media is made. Example problems illustrate important concepts throughout the text. Additional problems for a 15-week course of study are presented in an appendix; solutions are given in another appendix.

On the Convexification of Optimal Control Problems of Flight Dynamics.- Restricted Optimal Transportation Flows.- Relaxation Gaps in Optimal Control Processes with State Constraints.- Optimal Shape Design for Elliptic Hemivariational Inequalities in Nonlinear Elasticity.- A Discretization for Control Problems with optimality test.- Smooth and Nonsmooth Optimal Lipschitz Control - a Model Problem.- Suboptimality Theorems in Optimal Control.- A Second Order Sufficient Condition for Optimality in Nonlinear Control - the Conjugate Point Approach.- Extremal Problems for Elliptic Systems.- Existence Results for Some Nonconvex Optimization Problems Governed by Nonlinear Processes.- Multiobjective Optimal Control Problems.- Existence Principles and the Theory of Extremal Problems.- Hamilton-Jacobi-Bellman Equations and Optimal Control.- Output Target Control and Uncertain Infinite-Dimensional Systems.- Sensitivity Analysis of Stiff and Non-stiff Initial-value Problems.- Algorithm of Real-Time Minimization of Control Norm for Incompletely Determined Linear Control Systems.- Set-valued Calculus and Dynamic Programming in Problems of Feedback Control.- Strong Observability of Time-dependent Linear Systems.- Sensitivity Analysis and Real-Time Control of Nonlinear Optimal Control Systems via Nonlinear Programming Methods.- Accelerating Multiple Shooting for State-constrained Trajectory Optimization Problems.- SQP Methods and their Application to Numerical Optimal Control.- Predictor-Corrector Continuation Method for Optimal Control Problems.- Time Invariant Global Stabilization of a Mobile Robot.- Competitive Running on a Hilly Track.- Convex Domains of Given Diameter with Greatest Volume.- Isoperimetric and Isodiametric Area-minimal Plane Convex Figures.- Minimizing the Noise of an Aircraft during Landing Approach.- Real-Time Computation of Strategies of Differential Games with Applications to Collision Avoidance.- The Use of Screening for the Control of an Endemic Disease.- Optimal Control of Sloshing Liquids.- Free Surface Waves in a Wave Tank.- Efficient Convexification of Flight Path Optimization Problems.- Determining the Controllability Region for the Re-entry of an Apollo-type Spacecraft.

This book provides a comprehensive analysis of time domain boundary integral equations and their discretisation by convolution quadrature and the boundary element method. Properties of convolution quadrature, based on both linear multistep and Runge-Kutta methods, are explained in detail, always with wave propagation problems in mind. Main algorithms for implementing the discrete schemes are described and illustrated by short Matlab codes; translation to other languages can be found on the accompanying GitHub page. The codes are used to present numerous numerical examples to give the reader a feeling for the qualitative behaviour of the discrete schemes in practice. Applications to acoustic and electromagnetic scattering are described with an emphasis on the acoustic case where the fully discrete schemes for sound-soft and sound-hard scattering are developed and analysed in detail. A strength of the book is that more advanced applications such as linear and non-linear impedance boundary conditions and FEM/BEM coupling are also covered. While the focus is on wave scattering, a chapter on parabolic problems is included which also covers the relevant fast and oblivious algorithms. Finally, a brief description of data sparse techniques and modified convolution quadrature methods completes the book. Suitable for graduate students and above, this book is essentially self-contained, with background in mathematical analysis listed in the appendix along with other useful facts. Although not strictly necessary, some familiarity with boundary integral equations for steady state problems is desirable.

This book simultaneously presents the theory and the numerical treatment of elliptic boundary value problems, since an understanding of the theory is necessary for the numerical analysis of the discretisation. It first discusses the Laplace equation and its finite difference discretisation before addressing the general linear differential equation of second order. The variational formulation together with the necessary background from functional analysis provides the basis for the Galerkin and finite-element methods, which are explored in detail. A more advanced chapter leads the reader to the theory of regularity. Individual chapters are devoted to singularly perturbed as well as to elliptic eigenvalue problems. The book also presents the Stokes problem and its discretisation as an example of a saddle-point problem taking into account its relevance to applications in fluid dynamics.

This book presents a detailed description of a robust pseudomultigrid algorithm for solving (initial-)boundary value problems on structured grids in a black-box manner. To overcome the problem of robustness, the presented Robust Multigrid Technique (RMT) is based on the application of the essential multigrid principle in a single grid algorithm. It results in an extremely simple, very robust and highly parallel solver with close-to-optimal algorithmic complexity and the least number of problem-dependent components. Topics covered include an introduction to the mathematical principles of multigrid methods, a detailed description of RMT, results of convergence analysis and complexity, possible expansion on unstructured grids, numerical experiments and a brief description of multigrid software, parallel RMT and estimations of speed-up and efficiency of the parallel multigrid algorithms, and finally applications of RMT for the numerical solution of the incompressible Navier Stokes equations. Potential readers are graduate students and researchers working in applied and numerical mathematics as well as multigrid practitioners and software programmers. Contents Introduction to multigrid Robust multigrid technique Parallel multigrid methods Applications of multigrid methods in computational fluid dynamics