This monograph explores applications of Carleman estimates in the study of stabilization and controllability properties of partial differential equations, including quantified unique continuation, logarithmic stabilization of the wave equation, and null-controllability of the heat equation. Where the first volume derived these estimates in regular open sets in Euclidean space and Dirichlet boundary conditions, here they are extended to Riemannian manifolds and more general boundary conditions. The book begins with the study of Lopatinskii-Sapiro boundary conditions for the Laplace-Beltrami operator, followed by derivation of Carleman estimates for this operator on Riemannian manifolds. Applications of Carleman estimates are explored next: quantified unique continuation issues, a proof of the logarithmic stabilization of the boundary-damped wave equation, and a spectral inequality with general boundary conditions to derive the null-controllability result for the heat equation. Two additional chapters consider some more advanced results on Carleman estimates. The final part of the book is devoted to exposition of some necessary background material: elements of differential and Riemannian geometry, and Sobolev spaces and Laplace problems on Riemannian manifolds.

Over the past few decades, numerical simulation has become instrumental in understanding the dynamics of seas, coastal regions and estuaries. The decision makers rely more and more frequently on model results for the management of these regions. Some modellers are insufficiently aware of the theoretical underpinning of the simulation tools they are using. On the other hand, a number of applied mathematicians tend to view marine sciences as a domain in which they would like to use the tools they have a good command of. Bridging the gap between model users and applied mathematicians is the main objective of the present book. In this respect a vast number of issues in which mathematics plays a crucial role will be addressed.

This volume explores the connections between mathematical modeling, computational methods, and high performance computing, and how recent developments in these areas can help to solve complex problems in the natural sciences and engineering. The content of the book is based on talks and papers presented at the conference Modern Mathematical Methods and High Performance Computing in Science & Technology (M3HPCST), held at Inderprastha Engineering College in Ghaziabad, India in January 2020. A wide range of both theoretical and applied topics are covered in detail, including the conceptualization of infinity, efficient domain decomposition, high capacity wireless communication, infectious disease modeling, and more. These chapters are organized around the following areas: Partial and ordinary differential equations Optimization and optimal control High performance and scientific computing Stochastic models and statistics Recent Trends in Mathematical Modeling and High Performance Computing will be of interest to researchers in both mathematics and engineering, as well as to practitioners who face complex models and extensive computations.

This book is a comprehensive collection of extended contributions from the Workshops on Computational Optimization 2019.Our everyday life is unthinkable without optimization. We try to minimize our effort and to maximize the achieved profit. Many real-world and industrial problems arising in engineering, economics, medicine and other domains can be formulated as optimization tasks. This book presents recent advances in computational optimization. The book includes important real problems like modeling of physical processes, wildfire and flood risk modeling, workforce planning, parameter settings for controlling different processes, optimal electrical vehicle modeling, bioreactor modeling and design of VLSI. It shows how to develop algorithms for them based on new intelligent methods like evolutionary computations, ant colony optimization, constrain programming and others. This research demonstrates how some real-world problems arising in engineering, economics and other domains can be formulated as optimization problems.

This edited volume presents state-of-the-art developments in various areas in which Harmonic Analysis is applied. Contributions cover a variety of different topics and problems treated such as structure and optimization in computational harmonic analysis, sampling and approximation in shift invariant subspaces of L2( ), optimal rank one matrix decomposition, the Riemann Hypothesis, large sets avoiding rough patterns, Hardy Littlewood series, Navier-Stokes equations, sleep dynamics exploration and automatic annotation by combining modern harmonic analysis tools, harmonic functions in slabs and half-spaces, Andoni -Krauthgamer -Razenshteyn characterization of sketchable norms fails for sketchable metrics, random matrix theory, multiplicative completion of redundant systems in Hilbert and Banach function spaces. Efforts have been made to ensure that the content of the book constitutes a valuable resource for graduate students as well as senior researchers working on Harmonic Analysis and its various interconnections with related areas.

This book discusses the stability of axially moving materials, which are encountered in process industry applications such as papermaking. A special emphasis is given to analytical and semianalytical approaches. As preliminaries, we consider a variety of problems across mechanics involving bifurcations, allowing to introduce the techniques in a simplified setting. In the main part of the book, the fundamentals of the theory of axially moving materials are presented in a systematic manner, including both elastic and viscoelastic material models, and the connection between the beam and panel models. The issues that arise in formulating boundary conditions specifically for axially moving materials are discussed. Some problems involving axially moving isotropic and orthotropic elastic plates are analyzed. Analytical free-vibration solutions for axially moving strings with and without damping are derived. A simple model for fluid--structure interaction of an axially moving panel is presented in detail. This book is addressed to researchers, industrial specialists and students in the fields of theoretical and applied mechanics, and of applied and computational mathematics.

This book gathers contributions from the 15th ICOLD Benchmark Workshop on Numerical Analysis of Dams. The workshop provided an opportunity for engineers, researchers and operators to present and exchange their experiences and the latest advances in numerical modelling in the context of the design, performance and monitoring of dams. Covering various aspects of computer analysis tools and safety assessment criteria, and their development over recent decades, the book is a valuable reference resource for those in the engineering community involved in the safety, planning, design, construction, operation and maintenance of dams.

This book reports on the latest advances in the study of biomedical signal processing, and discusses in detail a number of open problems concerning clinical, biomedical and neural signals. It methodically collects and presents in a unified form the research findings previously scattered throughout various scientific journals and conference proceedings. In addition, the chapters are self-contained and can be read independently. Accordingly, the book will be of interest to university researchers, R&D engineers and graduate students who wish to learn the core principles of biomedical signal analysis, algorithms, and applications, while also offering a valuable reference work for biomedical engineers and clinicians who wish to learn more about the theory and recent applications of neural engineering and biomedical signal processing.

The main purpose of the book is to introduce the readers to the numerical integration of the Cauchy problem for delay differential equations (DDEs). Peculiarities and differences that DDEs exhibit with respect to ordinary differential equations are preliminarily outlined by numerous examples illustrating some unexpected, and often surprising, behaviours of the analytical and numerical solutions. The effect of various kinds of delays on the regularity of the solution is described and some essential existence and uniqueness results are reported. The book is centered on the use of Runge-Kutta methods continuously extended by polynomial interpolation, includes a brief review of the various approaches existing in the literature, and develops an exhaustive error and well-posedness analysis for the general classes of one-step and multistep methods. The book presents a comprehensive development of continuous extensions of Runge-Kutta methods which are of interest also in the numerical treatment of more general problems such as dense output, discontinuous equations, etc. Some deeper insight into convergence and superconvergence of continuous Runge-Kutta methods is carried out for DDEs with various kinds of delays. The stepsize control mechanism is also developed on a firm mathematical basis relying on the discrete and continuous local error estimates. Classical results and a unconventional analysis of "stability with respect to forcing term" is reviewed for ordinary differential equations in view of the subsequent numerical stability analysis. Moreover, an exhaustive description of stability domains for some test DDEs is carried out and the corresponding stability requirements for the numerical methods are assessed and investigated. Alternative approaches, based on suitable formulation of DDEs as partial differential equations and subsequent semidiscretization are briefly described and compared with the classical approach. A list of available codes is provided, and illustrative examples, pseudo-codes and numerical experiments are included throughout the book.

This book focuses on how the BOXES Methodology, which is based on the work of Donald Michie, is applied to ill-defined real-time control systems with minimal a priori knowledge of the system. The method is applied to a variety of systems including the familiar pole and cart. This second edition includes a new section that covers some further observations and thoughts, problems, and evolutionary extensions that the reader will find useful in their own implementation of the method. This second edition includes a new section on how to handle jittering about a system boundary which in turn causes replicated run times to become part of the learning mechanism. It also addresses the aging of data values using a forgetfulness factor that causes wrong values of merit to be calculated. Another question that is addressed is "Should a BOXES cell ever be considered fully trained and, if so, excluded from further dynamic updates". Finally, it expands on how system boundaries may be shifted using data from many runs using an evolutionary paradigm.

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 is the first comprehensive tutorial on matheuristics. Matheuristics are based on mathematical extensions of previously known heuristics, mainly metaheuristics, and on original, area-specific approaches. This tutorial provides a detailed discussion of both contributions, presenting the pseudocodes of over 40 algorithms, abundant literature references, and for each case a step-by-step description of a sample run on a common Generalized Assignment Problem example. C++ source codes of all algorithms are available in an associated SW repository.

To put the world of linear algebra to advanced use, it is not enough to merely understand the theory; there is a significant gap between the theory of linear algebra and its myriad expressions in nearly every computational domain. To bridge this gap, it is essential to process the theory by solving many exercises, thus obtaining a firmer grasp of its diverse applications. Similarly, from a theoretical perspective, diving into the literature on advanced linear algebra often reveals more and more topics that are deferred to exercises instead of being treated in the main text. As exercises grow more complex and numerous, it becomes increasingly important to provide supporting material and guidelines on how to solve them, supporting students' learning process. This book provides precisely this type of supporting material for the textbook "Numerical Linear Algebra and Matrix Factorizations," published as Vol. 22 of Springer's Texts in Computational Science and Engineering series. Instead of omitting details or merely providing rough outlines, this book offers detailed proofs, and connects the solutions to the corresponding results in the textbook. For the algorithmic exercises the utmost level of detail is provided in the form of MATLAB implementations. Both the textbook and solutions are self-contained. This book and the textbook are of similar length, demonstrating that solutions should not be considered a minor aspect when learning at advanced levels.

Cellular Genetic Algorithms defines a new class of optimization algorithms based on the concepts of structured populations and Genetic Algorithms (GAs). The authors explain and demonstrate the validity of these cellular genetic algorithms throughout the book. This class of genetic algorithms is shown to produce impressive results on a whole range of domains, including complex problems that are epistatic, multi-modal, deceptive, discrete, continuous, multi-objective, and random in nature. The focus of this book is twofold. On the one hand, the authors present new algorithmic models and extensions to the basic class of Cellular GAs in order to tackle complex problems more efficiently. On the other hand, practical real world tasks are successfully faced by applying Cellular GA methodologies to produce workable solutions of real-world applications. These methods can include local search (memetic algorithms), cooperation, parallelism, multi-objective, estimations of distributions, and self-adaptive ideas to extend their applicability. The methods are benchmarked against well-known metaheutistics like Genetic Algorithms, Tabu Search, heterogeneous GAs, Estimation of Distribution Algorithms, etc. Also, a publicly available software tool is offered to reduce the learning curve in applying these techniques. The three final chapters will use the classic problem of vehicle routing and the hot topics of ad-hoc mobile networks and DNA genome sequencing to clearly illustrate and demonstrate the power and utility of these algorithms.

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.

This book reports on the latest advances in concepts and further developments of principal component analysis (PCA), addressing a number of open problems related to dimensional reduction techniques and their extensions in detail. Bringing together research results previously scattered throughout many scientific journals papers worldwide, the book presents them in a methodologically unified form. Offering vital insights into the subject matter in self-contained chapters that balance the theory and concrete applications, and especially focusing on open problems, it is essential reading for all researchers and practitioners with an interest in PCA.

This book covers two major classes of mixed effects models, linear mixed models and generalized linear mixed models. It presents an up-to-date account of theory and methods in analysis of these models as well as their applications in various fields. The book offers a systematic approach to inference about non-Gaussian linear mixed models. Furthermore, it includes recently developed methods, such as mixed model diagnostics, mixed model selection, and jackknife method in the context of mixed models. The book is aimed at students, researchers and other practitioners who are interested in using mixed models for statistical data analysis.

This book uses new mathematical tools to examine broad computability and complexity questions in enumerative combinatorics, with applications to other areas of mathematics, theoretical computer science, and physics. A focus on effective algorithms leads to the development of computer algebra software of use to researchers in these domains. After a survey of current results and open problems on decidability in enumerative combinatorics, the text shows how the cutting edge of this research is the new domain of Analytic Combinatorics in Several Variables (ACSV). The remaining chapters of the text alternate between a pedagogical development of the theory, applications (including the resolution by this author of conjectures in lattice path enumeration which resisted several other approaches), and the development of algorithms. The final chapters in the text show, through examples and general theory, how results from stratified Morse theory can help refine some of these computability questions. Complementing the written presentation are over 50 worksheets for the SageMath and Maple computer algebra systems working through examples in the text.

This thesis is a tour-de-force combination of analytic and computational results clarifying and resolving important questions about the nature of quantum phase transitions in one- and two-dimensional magnetic systems. The author presents a comprehensive study of a low-dimensional spin-half quantum antiferromagnet (the J-Q model) in the presence of a magnetic field in both one and two dimensions, demonstrating the causes of metamagnetism in such systems and providing direct evidence of fractionalized excitations near the deconfined quantum critical point. In addition to describing significant new research results, this thesis also provides the non-expert with a clear understanding of the nature and importance of computational physics and its role in condensed matter physics as well as the nature of phase transitions, both classical and quantum. It also contains an elegant and detailed but accessible summary of the methods used in the thesis-exact diagonalization, Monte Carlo, quantum Monte Carlo and the stochastic series expansion-that will serve as a valuable pedagogical introduction to students beginning in this field.

In this popular text for an Numerical Analysis course, the authors introduce several major methods of solving various partial differential equations (PDEs) including elliptic, parabolic, and hyperbolic equations. It covers traditional techniques including the classic finite difference method, finite element method, and state-of-the-art numercial methods.The text uniquely emphasizes both theoretical numerical analysis and practical implementation of the algorithms in MATLAB. This new edition includes a new chapter, Finite Value Method, the presentation has been tightened, new exercises and applications are included, and the text refers now to the latest release of MATLAB. Key Selling Points: A successful textbook for an undergraduate text on numerical analysis or methods taught in mathematics and computer engineering. This course is taught in every university throughout the world with an engineering department or school. Competitive advantage broader numerical methods (including finite difference, finite element, meshless method, and finite volume method), provides the MATLAB source code for most popular PDEs with detailed explanation about the implementation and theoretical analysis. No other existing textbook in the market offers a good combination of theoretical depth and practical source codes.

STRUCTURAL ANALYSIS WITH THE FINITE ELEMENT METHOD

Linear Statics

Volume 1: The Basis and Solids

Eugenio Onate

The two volumes of this book cover most of the theoretical and computational aspects of the linear static analysis of structures with the Finite Element Method (FEM). The content of the book is based on the lecture notes of a basic course on Structural Analysis with the FEM taught by the author at the Technical University of Catalonia (UPC) in Barcelona, Spain for the last 30 years.

Volume1 presents the basis of the FEM for structural analysis and a detailed description of the finite element formulation for axially loaded bars, plane elasticity problems, axisymmetric solids and general three dimensional solids. Each chapter describes the background theory for each structural model considered, details of the finite element formulation and guidelines for the application to structural engineering problems. The book includes a chapter on miscellaneous topics such as treatment of inclined supports, elastic foundations, stress smoothing, error estimation and adaptive mesh refinement techniques, among others. The text concludes with a chapter on the mesh generation and visualization of FEM results.

The book will be useful for students approaching the finite element analysis of structures for the first time, as well as for practising engineers interested in the details of the formulation and performance of the different finite elements for practical structural analysis.

STRUCTURAL ANALYSIS WITH THE FINITE ELEMENT METHOD

Linear Statics

Volume 2: Beams, Plates and Shells

Eugenio Onate

The two volumes of this book cover most of the theoretical and computational aspects of the linear static analysis of structures with the Finite Element Method (FEM).The content of the book is based on the lecture notes of a basic course on Structural Analysis with the FEM taught by the author at the Technical University of Catalonia (UPC) in Barcelona, Spain for the last 30 years.

Volume 2 presents a detailed description of the finite element formulation for analysis of slender and thick beams, thin and thick plates, folded plate structures, axisymmetric shells, general curved shells, prismatic structures and three dimensional beams. Each chapter describes the background theory for each structural model considered, details of the finite element formulation and guidelines for the application to structural engineering problems Emphasis is put on the treatment of structures with layered composite materials.

The book will be useful for students approaching the finite element analysis of beam, plate and shell structures for the first time, as well as for practising engineers interested in the details of the formulation and performance of the different finite elements for practical structural analysis.

"

This authoritative volume in honor of Alain Connes, the foremost architect of Noncommutative Geometry, presents the state-of-the art in the subject. The book features an amalgam of invited survey and research papers that will no doubt be accessed, read, and referred to, for several decades to come. The pertinence and potency of new concepts and methods are concretely illustrated in each contribution. Much of the content is a direct outgrowth of the Noncommutative Geometry conference, held March 23-April 7, 2017, in Shanghai, China. The conference covered the latest research and future areas of potential exploration surrounding topology and physics, number theory, as well as index theory and its ramifications in geometry.

This book discusses numerical methods for solving time-fractional evolution equations. The approach is based on first discretizing in the spatial variables by the Galerkin finite element method, using piecewise linear trial functions, and then applying suitable time stepping schemes, of the type either convolution quadrature or finite difference. The main concern is on stability and error analysis of approximate solutions, efficient implementation and qualitative properties, under various regularity assumptions on the problem data, using tools from semigroup theory and Laplace transform. The book provides a comprehensive survey on the present ideas and methods of analysis, and it covers most important topics in this active area of research. It is recommended for graduate students and researchers in applied and computational mathematics, particularly numerical analysis.

This book engages in an ongoing topic, such as the implementation of nature-inspired metaheuristic algorithms, with a main concentration on optimization problems in different fields of engineering optimization applications. The chapters of the book provide concise overviews of various nature-inspired metaheuristic algorithms, defining their profits in obtaining the optimal solutions of tiresome engineering design problems that cannot be efficiently resolved via conventional mathematical-based techniques. Thus, the chapters report on advanced studies on the applications of not only the traditional, but also the contemporary certain nature-inspired metaheuristic algorithms to specific engineering optimization problems with single and multi-objectives. Harmony search, artificial bee colony, teaching learning-based optimization, electrostatic discharge, grasshopper, backtracking search, and interactive search are just some of the methods exhibited and consulted step by step in application contexts. The book is a perfect guide for graduate students, researchers, academicians, and professionals willing to use metaheuristic algorithms in engineering optimization applications.

This introductory and self-contained book gathers as much explicit mathematical results on the linear-elastic and heat-conduction solutions in the neighborhood of singular points in two-dimensional domains, and singular edges and vertices in three-dimensional domains. These are presented in an engineering terminology for practical usage. The author treats the mathematical formulations from an engineering viewpoint and presents high-order finite-element methods for the computation of singular solutions in isotropic and anisotropic materials, and multi-material interfaces. The proper interpretation of the results in engineering practice is advocated, so that the computed data can be correlated to experimental observations. The book is divided into fourteen chapters, each containing several sections. Most of it (the first nine Chapters) addresses two-dimensional domains, where only singular points exist. The solution in a vicinity of these points admits an asymptotic expansion composed of eigenpairs and associated generalized flux/stress intensity factors (GFIFs/GSIFs), which are being computed analytically when possible or by finite element methods otherwise. Singular points associated with weakly coupled thermoelasticity in the vicinity of singularities are also addressed and thermal GSIFs are computed. The computed data is important in engineering practice for predicting failure initiation in brittle material on a daily basis. Several failure laws for two-dimensional domains with V-notches are presented and their validity is examined by comparison to experimental observations. A sufficient simple and reliable condition for predicting failure initiation (crack formation) in micron level electronic devices, involving singular points, is still a topic of active research and interest, and is addressed herein. Explicit singular solutions in the vicinity of vertices and edges in three-dimensional domains are provided in the remaining five chapters. New methods for the computation of generalized edge flux/stress intensity functions along singular edges are presented and demonstrated by several example problems from the field of fracture mechanics; including anisotropic domains and bimaterial interfaces. Circular edges are also presented and the author concludes with some remarks on open questions. This well illustrated book will appeal to both applied mathematicians and engineers working in the field of fracture mechanics and singularities.