Inverse problems such as imaging or parameter identification deal with the recovery of unknown quantities from indirect observations, connected via a model describing the underlying context. While traditionally inverse problems are formulated and investigated in a static setting, we observe a significant increase of interest in time-dependence in a growing number of important applications over the last few years. Here, time-dependence affects a) the unknown function to be recovered and / or b) the observed data and / or c) the underlying process. Challenging applications in the field of imaging and parameter identification are techniques such as photoacoustic tomography, elastography, dynamic computerized or emission tomography, dynamic magnetic resonance imaging, super-resolution in image sequences and videos, health monitoring of elastic structures, optical flow problems or magnetic particle imaging to name only a few. Such problems demand for innovation concerning their mathematical description and analysis as well as computational approaches for their solution.

Systems of linear equations are ubiquitous in numerical analysis and scientific computing. and iterative methods are indispensable for the numerical treatment of such systems. This book offers a rigorous introduction to fundamental iterative methods for systems of linear algebraic equations. The book distinguishes itself from other texts on the topic by providing a straightforward yet comprehensive analysis of the Krylov subspace methods, approaching the development and analysis of algorithms from various perspectives, and going beyond the standard description of iterative methods by connecting them in a natural way to the idea of preconditioning. The book supplements standard texts on numerical mathematics for first-year graduate and advanced undergraduate courses and is suitable for advanced graduate classes covering numerical linear algebra and Krylov subspace and multigrid iterative methods. It will be useful to researchers interested in numerical linear algebra and engineers who use iterative methods for solving large algebraic systems.

This is the second edition of the book which has two additional new chapters on Maxwell's equations as well as a section on properties of solution spaces of Maxwell's equations and their trace spaces. These two new chapters, which summarize the most up-to-date results in the literature for the Maxwell's equations, are sufficient enough to serve as a self-contained introductory book on the modern mathematical theory of boundary integral equations in electromagnetics. The book now contains 12 chapters and is divided into two parts. The first six chapters present modern mathematical theory of boundary integral equations that arise in fundamental problems in continuum mechanics and electromagnetics based on the approach of variational formulations of the equations. The second six chapters present an introduction to basic classical theory of the pseudo-differential operators. The aforementioned corresponding boundary integral operators can now be recast as pseudo-differential operators. These serve as concrete examples that illustrate the basic ideas of how one may apply the theory of pseudo-differential operators and their calculus to obtain additional properties for the corresponding boundary integral operators. These two different approaches are complementary to each other. Both serve as the mathematical foundation of the boundary element methods, which have become extremely popular and efficient computational tools for boundary problems in applications. This book contains a wide spectrum of boundary integral equations arising in fundamental problems in continuum mechanics and electromagnetics. The book is a major scholarly contribution to the modern approaches of boundary integral equations, and should be accessible and useful to a large community of advanced graduate students and researchers in mathematics, physics, and engineering.

th This volume contains a selection of 41 refereed papers presented at the 18 International Conference of Domain Decomposition Methods hosted by the School of ComputerScience and Engineering(CSE) of the Hebrew Universityof Jerusalem, Israel, January 12-17, 2008. 1 Background of the Conference Series The International Conference on Domain Decomposition Methods has been held in twelve countries throughout Asia, Europe, the Middle East, and North America, beginning in Paris in 1987. Originally held annually, it is now spaced at roughly 18-month intervals. A complete list of past meetings appears below. The principal technical content of the conference has always been mathematical, but the principal motivation has been to make ef cient use of distributed memory computers for complex applications arising in science and engineering. The leading 15 such computers, at the "petascale" characterized by 10 oating point operations per second of processing power and as many Bytes of application-addressablem- ory, now marshal more than 200,000 independentprocessor cores, and systems with many millions of cores are expected soon. There is essentially no alternative to - main decomposition as a stratagem for parallelization at such scales. Contributions from mathematicians, computerscientists, engineers, and scientists are together n- essary in addressing the challenge of scale, and all are important to this conference.

This book focuses on information-geometric manifolds of structured data and models and related applied mathematics. It features new and fruitful interactions between several branches of science: Advanced Signal/Image/Video Processing, Complex Data Modeling and Analysis, Statistics on Manifolds, Topology/Machine/Deep Learning and Artificial Intelligence. The selection of applications makes the book a substantial information source, not only for academic scientist but it is also highly relevant for industry. The book project was initiated following discussions at the international conference GSI'2019 - Geometric Science of Information that was held at ENAC, Toulouse (France).

This proceedings volume gathers a selection of outstanding research papers presented at the third Conference on Isogeometric Analysis and Applications, held in Delft, The Netherlands, in April 2018. This conference series, previously held in Linz, Austria, in 2012 and Annweiler am Trifels, Germany, in 2014, has created an international forum for interaction between scientists and practitioners working in this rapidly developing field. Isogeometric analysis is a groundbreaking computational approach that aims to bridge the gap between numerical analysis and computational geometry modeling by integrating the finite element method and related numerical simulation techniques into the computer-aided design workflow, and vice versa. The methodology has matured over the last decade both in terms of our theoretical understanding, its mathematical foundation and the robustness and efficiency of its practical implementations. This development has enabled scientists and practitioners to tackle challenging new applications at the frontiers of research in science and engineering and attracted early adopters for this his novel computer-aided design and engineering technology in industry. The IGAA 2018 conference brought together experts on isogeometric analysis theory and application, share their insights into challenging industrial applications and to discuss the latest developments as well as the directions of future research and development that are required to make isogeometric analysis an established mainstream technology.

This book provides an in-depth analysis of the current evolutionary clustering techniques. It discusses the most highly regarded methods for data clustering. The book provides literature reviews about single objective and multi-objective evolutionary clustering algorithms. In addition, the book provides a comprehensive review of the fitness functions and evaluation measures that are used in most of evolutionary clustering algorithms. Furthermore, it provides a conceptual analysis including definition, validation and quality measures, applications, and implementations for data clustering using classical and modern nature-inspired techniques. It features a range of proven and recent nature-inspired algorithms used to data clustering, including particle swarm optimization, ant colony optimization, grey wolf optimizer, salp swarm algorithm, multi-verse optimizer, Harris hawks optimization, beta-hill climbing optimization. The book also covers applications of evolutionary data clustering in diverse fields such as image segmentation, medical applications, and pavement infrastructure asset management.

Mathematical models cannot be solved using the traditional analytical methods for dynamic equations on time scales. These models must be dealt with using computational methods. This textbook introduces numerical methods for initial value problems for dynamic equations on time scales. Hands-on examples utilizing MATLAB and practical problems illustrate a wide variety of solution techniques.

This volume contains a collection of papers based on lectures and presentations delivered at the International Conference on Constructive Nonsmooth Analysis (CNSA) held in St. Petersburg (Russia) from June 18-23, 2012. This conference was organized to mark the 50th anniversary of the birth of nonsmooth analysis and nondifferentiable optimization and was dedicated to J.-J. Moreau and the late B.N. Pshenichnyi, A.M. Rubinov, and N.Z. Shor, whose contributions to NSA and NDO remain invaluable. The first four chapters of the book are devoted to the theory of nonsmooth analysis. Chapters 5-8 contain new results in nonsmooth mechanics and calculus of variations. Chapters 9-13 are related to nondifferentiable optimization, and the volume concludes with four chapters containing interesting and important historical chapters, including tributes to three giants of nonsmooth analysis, convexity, and optimization: Alexandr Alexandrov, Leonid Kantorovich, and Alex Rubinov. The last chapter provides an overview and important snapshots of the 50-year history of convex analysis and optimization.

In geomechanics, existing design methods are very much dependent upon sophisticated on-site techniques to assess ground conditions. Obtaining this practical information is expensive and time consuming. More and more, engineers are looking to extending and increasing the accuracy of their design by computer simulation. Hence sophisticated numerical analysis and modelling is being pushed to the limits to develop better design methods.
This book describes numerical analysis, computer simulation and modelling that can be used to answer some highly complex questions associated with geomechanics. The contributors, who are all international experts in the field, also give insights into the future directions of these methods
Numerical Analysis and Modelling in Geomechanics will appeal to professional engineers involved in designing and building both onshore and offshore structures, where geomechanical considerations may well be outside the usual codes of practice, and therefore specialist advice is required. Postgraduate researchers, degree students carrying out project work in this area will also find the book an invaluable resource.

eBook available with sample pages: 0203471288

This monograph is devoted to a new class of non-commutative rings, skew Poincare-Birkhoff-Witt (PBW) extensions. Beginning with the basic definitions and ring-module theoretic/homological properties, it goes on to investigate finitely generated projective modules over skew PBW extensions from a matrix point of view. To make this theory constructive, the theory of Groebner bases of left (right) ideals and modules for bijective skew PBW extensions is developed. For example, syzygies and the Ext and Tor modules over these rings are computed. Finally, applications to some key topics in the noncommutative algebraic geometry of quantum algebras are given, including an investigation of semi-graded Koszul algebras and semi-graded Artin-Schelter regular algebras, and the noncommutative Zariski cancellation problem. The book is addressed to researchers in noncommutative algebra and algebraic geometry as well as to graduate students and advanced undergraduate students.

The investigation of the role of mechanical and mechano-chemical interactions in cellular processes and tissue development is a rapidly growing research field in the life sciences and in biomedical engineering. Quantitative understanding of this important area in the study of biological systems requires the development of adequate mathematical models for the simulation of the evolution of these systems in space and time. Since expertise in various fields is necessary, this calls for a multidisciplinary approach. This edited volume connects basic physical, biological, and physiological concepts to methods for the mathematical modeling of various materials by pursuing a multiscale approach, from subcellular to organ and system level. Written by active researchers, each chapter provides a detailed introduction to a given field, illustrates various approaches to creating models, and explores recent advances and future research perspectives. Topics covered include molecular dynamics simulations of lipid membranes, phenomenological continuum mechanics of tissue growth, and translational cardiovascular modeling. Modeling Biomaterials will be a valuable resource for both non-specialists and experienced researchers from various domains of science, such as applied mathematics, biophysics, computational physiology, and medicine.

This book provides an elementary introduction to one-dimensional fluid flow problems involving shock waves in air. The differential equations of fluid flow are approximated by finite difference equations and these in turn are numerically integrated in a stepwise manner, with artificial viscosity introduced into the numerical calculations in order to deal with shocks. This treatment of the subject is focused on the finite-difference approach to solve the coupled differential equations of fluid flow and presents the results arising from the numerical solution using Mathcad programming. Both plane and spherical shock waves are discussed with particular emphasis on very strong explosive shocks in air. This expanded second edition features substantial new material on sound wave parameters, Riemann's method for numerical integration of the equations of motion, approximate analytical expressions for weak shock waves, short duration piston motion, numerical results for shock wave interactions, and new appendices on the piston withdrawal problem and numerical results for a closed shock tube. This text will appeal to students, researchers, and professionals in shock wave research and related fields. Students in particular will appreciate the benefits of numerical methods in fluid mechanics and the level of presentation.

The Distributed and Unified Numerics Environment (Dune) is a set of open-source C++ libraries for the implementation of finite element and finite volume methods. Over the last 15 years it has become one of the most commonly used libraries for the implementation of new, efficient simulation methods in science and engineering. Describing the main Dune libraries in detail, this book covers access to core features like grids, shape functions, and linear algebra, but also higher-level topics like function space bases and assemblers. It includes extensive information on programmer interfaces, together with a wealth of completed examples that illustrate how these interfaces are used in practice. After having read the book, readers will be prepared to write their own advanced finite element simulators, tapping the power of Dune to do so.

This proceedings volume highlights a selection of papers presented at the 7th International Conference on High Performance Scientific Computing, which took place in Hanoi, Vietnam, during March 19-23, 2018. The conference has been organized by the Institute of Mathematics of the Vietnam Academy of Science and Technology, the Interdisciplinary Center for Scientific Computing (IWR) of Heidelberg University and the Vietnam Institute for Advanced Study in Mathematics. The contributions cover a broad, interdisciplinary spectrum of scientific computing and showcase recent advances in theory, methods, and practical applications. Subjects covered include numerical simulation, methods for optimization and control, machine learning, parallel computing and software development, as well as the applications of scientific computing in mechanical engineering, airspace engineering, environmental physics, decision making, hydrogeology, material science and electric circuits.

This book is intended to be a useful contribution for the modern teaching of applied mathematics, educating Industrial Mathematicians that will meet the growing demand for such experts. It covers many applications where mathematics play a fundamental role, from biology, telecommunications, medicine, physics, finance and industry. It is presented in such a way that can be useful in Modelation, Simulation and Optimization courses, targeting master and PhD students. Its content is based on many editions from the successful series of Modelling Weeks organized by the European Consortium of Mathematics in Industry (ECMI). Each chapter addresses a particular problem, and is written in a didactic way, providing the description of the problem, the particular way of approaching it and the proposed solution, along with the results obtained.

This book presents a comprehensive mathematical and computational approach for solving electromagnetic problems of practical relevance, such as electromagnetic scattering and the cavity problems. After an in-depth introduction to the mathematical foundations of isogeometric analysis, which discusses how to conduct higher-order simulations efficiently and without the introduction of geometrical errors, the book proves quasi-optimal approximation properties for all trace spaces of the de Rham sequence, and demonstrates inf-sup stability of the isogeometric discretisation of the electric field integral equation (EFIE). Theoretical properties and algorithms are described in detail. The algorithmic approach is, in turn, validated through a series of numerical experiments aimed at solving a set of electromagnetic scattering problems. In the last part of the book, the boundary element method is combined with a novel eigenvalue solver, a so-called contour integral method. An algorithm is presented, together with a set of successful numerical experiments, showing that the eigenvalue solver benefits from the high orders of convergence offered by the boundary element approach. Last, the resulting software, called BEMBEL (Boundary Element Method Based Engineering Library), is reviewed: the user interface is presented, while the underlying design considerations are explained in detail. Given its scope, this book bridges an important gap between numerical analysis and engineering design of electromagnetic devices.

This book paints a fresco of the field of extrapolation and rational approximation over the last several centuries to the present through the works of their primary contributors. It can serve as an introduction to the topics covered, including extrapolation methods, Pade approximation, orthogonal polynomials, continued fractions, Lanczos-type methods etc.; it also provides in depth discussion of the many links between these subjects. A highlight of this book is the presentation of the human side of the fields discussed via personal testimonies from contemporary researchers, their anecdotes, and their exclusive remembrances of some of the "actors." This book shows how research in this domain started and evolved. Biographies of other scholars encountered have also been included. An important branch of mathematics is described in its historical context, opening the way to new developments. After a mathematical introduction, the book contains a precise description of the mathematical landscape of these fields spanning from the 19th century to the first part of the 20th. After an analysis of the works produced after that period (in particular those of Richardson, Aitken, Shanks, Wynn, and others), the most recent developments and applications are reviewed.

The book introduces modern high-order methods for computational fluid dynamics. As compared to low order finite volumes predominant in today's production codes, higher order discretizations significantly reduce dispersion errors, the main source of error in long-time simulations of flow at higher Reynolds numbers. A major goal of this book is to teach the basics of the discontinuous Galerkin (DG) method in terms of its finite volume and finite element ingredients. It also discusses the computational efficiency of high-order methods versus state-of-the-art low order methods in the finite difference context, given that accuracy requirements in engineering are often not overly strict. The book mainly addresses researchers and doctoral students in engineering, applied mathematics, physics and high-performance computing with a strong interest in the interdisciplinary aspects of computational fluid dynamics. It is also well-suited for practicing computational engineers who would like to gain an overview of discontinuous Galerkin methods, modern algorithmic realizations, and high-performance implementations.

This volume presents a systematic and unified treatment of Leray-Schauder continuation theorems in nonlinear analysis. In particular, fixed point theory is established for many classes of maps, such as contractive, non-expansive, accretive, and compact maps, to name but a few. This book also presents coincidence and multiplicity results. Many applications of current interest in the theory of nonlinear differential equations are presented to complement the theory. The text is essentially self-contained, so it may also be used as an introduction to topological methods in nonlinear analysis. This volume will appeal to graduate students and researchers in mathematical analysis and its applications.

This book compiles recent developments on sliding mode control theory and its applications. Each chapter presented in the book proposes new dimension in the sliding mode control theory such as higher order sliding mode control, event triggered sliding mode control, networked control, higher order discrete-time sliding mode control and sliding mode control for multi-agent systems. Special emphasis has been given to practical solutions to design involving new types of sliding mode control. This book is a reference guide for graduate students and researchers working in the domain for designing sliding mode controllers. The book is also useful to professional engineers working in the field to design robust controllers for various applications.

This book offers a compact primer on advanced numerical flux functions in computational fluid dynamics (CFD). It comprehensively introduces readers to methods used at the forefront of compressible flow simulation research. Further, it provides a comparative evaluation of the methods discussed, helping readers select the best numerical flux function for their specific needs. The first two chapters of the book reviews finite volume methods and numerical functions, before discussing issues commonly encountered in connection with each. The third and fourth chapter, respectively, address numerical flux functions for ideal gases and more complex fluid flow cases- multiphase flows, supercritical fluids and magnetohydrodynamics. In closing, the book highlights methods that provide high levels of accuracy. The concise content provides an overview of recent advances in CFD methods for shockwaves. Further, it presents the author's insights into the advantages and disadvantages of each method, helping readers implement the numerical methods in their own research.

This book explores various intelligent algorithms including evolutionary algorithms, swarm intelligence-based algorithms for analysis and control of dynamical systems. Both single-input-single-output (SISO) and multi-input-multi-output (MIMO) systems are explored for analysis and control purposes. The applications of intelligent algorithm vary from approximation to optimal control design. The applications of intelligent algorithms not only improve understanding of a dynamical system but also enhance the control efficacy. The intelligent algorithms are now readily applied to all fields of control including linear control, nonlinear control, digital control, optimal control, etc. The book also discusses the main benefits attained due to the application of algorithms to analyze and control.

This book gathers the latest advances, innovations, and applications in the field of computational engineering, as presented by leading international researchers and engineers at the 26th International Conference on Computational & Experimental Engineering and Sciences (ICCES), held in Phuket, Thailand on January 6-10, 2021. ICCES covers all aspects of applied sciences and engineering: theoretical, analytical, computational, and experimental studies and solutions of problems in the physical, chemical, biological, mechanical, electrical, and mathematical sciences. As such, the book discusses highly diverse topics, including composites; bioengineering & biomechanics; geotechnical engineering; offshore & arctic engineering; multi-scale & multi-physics fluid engineering; structural integrity & longevity; materials design & simulation; and computer modeling methods in engineering. The contributions, which were selected by means of a rigorous international peer-review process, highlight numerous exciting ideas that will spur novel research directions and foster multidisciplinary collaborations.

The book consists of articles based on the XXXVIII Bialowieza Workshop on Geometric Methods in Physics, 2019. The series of Bialowieza workshops, attended by a community of experts at the crossroads of mathematics and physics, is a major annual event in the field. The works in this book, based on presentations given at the workshop, are previously unpublished, at the cutting edge of current research, typically grounded in geometry and analysis, with applications to classical and quantum physics. For the past eight years, the Bialowieza Workshops have been complemented by a School on Geometry and Physics, comprising series of advanced lectures for graduate students and early-career researchers. The extended abstracts of the five lecture series that were given in the eighth school are included. The unique character of the Workshop-and-School series draws on the venue, a famous historical, cultural and environmental site in the Bialowieza forest, a UNESCO World Heritage Centre in the east of Poland: lectures are given in the Nature and Forest Museum and local traditions are interwoven with the scientific activities. The chapter "Toeplitz Extensions in Noncommutative Topology and Mathematical Physics" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.