This book demonstrates how to formally model various mathematical domains (including algorithms operating in these domains) in a way that makes them amenable to a fully automatic analysis by computer software.The presented domains are typically investigated in discrete mathematics, logic, algebra, and computer science; they are modeled in a formal language based on first-order logic which is sufficiently rich to express the core entities in whose correctness we are interested: mathematical theorems and algorithmic specifications. This formal language is the language of RISCAL, a “mathematical model checker” by which the validity of all formulas and the correctness of all algorithms can be automatically decided. The RISCAL software is freely available; all formal contents presented in the book are given in the form of specification files by which the reader may interact with the software while studying the corresponding book material.

This book introduces readers to various signal processing models that have been used in analyzing periodic data, and discusses the statistical and computational methods involved. Signal processing can broadly be considered to be the recovery of information from physical observations. The received signals are usually disturbed by thermal, electrical, atmospheric or intentional interferences, and due to their random nature, statistical techniques play an important role in their analysis. Statistics is also used in the formulation of appropriate models to describe the behavior of systems, the development of appropriate techniques for estimation of model parameters and the assessment of the model performances. Analyzing different real-world data sets to illustrate how different models can be used in practice, and highlighting open problems for future research, the book is a valuable resource for senior undergraduate and graduate students specializing in mathematics or statistics.

This book presents a thorough discussion of the theory of abstract inverse linear problems on Hilbert space. Given an unknown vector f in a Hilbert space H, a linear operator A acting on H, and a vector g in H satisfying Af=g, one is interested in approximating f by finite linear combinations of g, Ag, A2g, A3g, ... The closed subspace generated by the latter vectors is called the Krylov subspace of H generated by g and A. The possibility of solving this inverse problem by means of projection methods on the Krylov subspace is the main focus of this text. After giving a broad introduction to the subject, examples and counterexamples of Krylov-solvable and non-solvable inverse problems are provided, together with results on uniqueness of solutions, classes of operators inducing Krylov-solvable inverse problems, and the behaviour of Krylov subspaces under small perturbations. An appendix collects material on weaker convergence phenomena in general projection methods. This subject of this book lies at the boundary of functional analysis/operator theory and numerical analysis/approximation theory and will be of interest to graduate students and researchers in any of these fields.

This book addresses recent developments in mathematical analysis and computational methods for solving direct and inverse problems for Maxwell's equations in periodic structures. The fundamental importance of the fields is clear, since they are related to technology with significant applications in optics and electromagnetics. The book provides both introductory materials and in-depth discussion to the areas in diffractive optics that offer rich and challenging mathematical problems. It is also intended to convey up-to-date results to students and researchers in applied and computational mathematics, and engineering disciplines as well.

This contributed volume explores the applications of various topics in modern differential geometry to the foundations of continuum mechanics. In particular, the contributors use notions from areas such as global analysis, algebraic topology, and geometric measure theory. Chapter authors are experts in their respective areas, and provide important insights from the most recent research. Organized into two parts, the book first covers kinematics, forces, and stress theory, and then addresses defects, uniformity, and homogeneity. Specific topics covered include: Global stress and hyper-stress theories Applications of de Rham currents to singular dislocations Manifolds of mappings for continuum mechanics Kinematics of defects in solid crystals Geometric Continuum Mechanics will appeal to graduate students and researchers in the fields of mechanics, physics, and engineering who seek a more rigorous mathematical understanding of the area. Mathematicians interested in applications of analysis and geometry will also find the topics covered here of interest.

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.

This monograph focuses on the mathematical and numerical analysis of simplicial partitions and the finite element method. This active area of research has become an essential part of physics and engineering, for example in the study of problems involving heat conduction, linear elasticity, semiconductors, Maxwell's equations, Einstein's equations and magnetic and gravitational fields. These problems require the simulation of various phenomena and physical fields over complicated structures in three (and higher) dimensions. Since not all structures can be decomposed into simpler objects like d-dimensional rectangular blocks, simplicial partitions are important. In this book an emphasis is placed on angle conditions guaranteeing the convergence of the finite element method for elliptic PDEs with given boundary conditions. It is aimed at a general mathematical audience who is assumed to be familiar with only a few basic results from linear algebra, geometry, and mathematical and numerical analysis.

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 book is a result of a workshop, the 8th of the successful TopoInVis workshop series, held in 2019 in Nykoeping, Sweden. The workshop regularly gathers some of the world's leading experts in this field. Thereby, it provides a forum for discussions on the latest advances in the field with a focus on finding practical solutions to open problems in topological data analysis for visualization. The contributions provide introductory and novel research articles including new concepts for the analysis of multivariate and time-dependent data, robust computational approaches for the extraction and approximations of topological structures with theoretical guarantees, and applications of topological scalar and vector field analysis for visualization. The applications span a wide range of scientific areas comprising climate science, material sciences, fluid dynamics, and astronomy. In addition, community efforts with respect to joint software development are reported and discussed.

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 volume provides an introduction to modern space-time discretization methods such as finite and boundary elements and isogeometric analysis for time-dependent initial-boundary value problems of parabolic and hyperbolic type. Particular focus is given on stable formulations, error estimates, adaptivity in space and time, efficient solution algorithms, parallelization of the solution pipeline, and applications in science and engineering.

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.

This book is intended to provide a compilation of the state-of-the-art numerical methods for nonlinear fluid-structure interaction using the moving boundary Lagrangian-Eulerian formulation. Single and two-phase viscous incompressible fluid flows are considered with the increasing complexity of structures ranging from rigid-body, linear elastic and nonlinear large deformation to fully-coupled flexible multibody system. This book is unique with regard to computational modeling of such complex fluid-structure interaction problems at high Reynolds numbers, whereby various coupling techniques are introduced and systematically discussed. The techniques are demonstrated for large-scale practical problems in aerospace and marine/offshore engineering. This book also provides a comprehensive understanding of underlying unsteady physics and coupled mechanical aspects of the fluid-structure interaction from a computational point of view. Using the body-fitted and moving mesh formulations, the physical insights associated with structure-to-fluid mass ratios (i.e., added mass effects), Reynolds number, large structural deformation, free surface, and other interacting physical fields are covered. The book includes the basic tools necessary to build the concepts required for modeling such coupled fluid-structure interaction problems, thus exposing the reader to advanced topics of multiphysics and multiscale phenomena.

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.

Studying the relationship between the geometry, arithmetic and spectra of fractals has been a subject of significant interest in contemporary mathematics. This book contributes to the literature on the subject in several different and new ways. In particular, the authors provide a rigorous and detailed study of the spectral operator, a map that sends the geometry of fractal strings onto their spectrum. To that effect, they use and develop methods from fractal geometry, functional analysis, complex analysis, operator theory, partial differential equations, analytic number theory and mathematical physics.Originally, M L Lapidus and M van Frankenhuijsen 'heuristically' introduced the spectral operator in their development of the theory of fractal strings and their complex dimensions, specifically in their reinterpretation of the earlier work of M L Lapidus and H Maier on inverse spectral problems for fractal strings and the Riemann hypothesis.One of the main themes of the book is to provide a rigorous framework within which the corresponding question 'Can one hear the shape of a fractal string?' or, equivalently, 'Can one obtain information about the geometry of a fractal string, given its spectrum?' can be further reformulated in terms of the invertibility or the quasi-invertibility of the spectral operator.The infinitesimal shift of the real line is first precisely defined as a differentiation operator on a family of suitably weighted Hilbert spaces of functions on the real line and indexed by a dimensional parameter c. Then, the spectral operator is defined via the functional calculus as a function of the infinitesimal shift. In this manner, it is viewed as a natural 'quantum' analog of the Riemann zeta function. More precisely, within this framework, the spectral operator is defined as the composite map of the Riemann zeta function with the infinitesimal shift, viewed as an unbounded normal operator acting on the above Hilbert space.It is shown that the quasi-invertibility of the spectral operator is intimately connected to the existence of critical zeros of the Riemann zeta function, leading to a new spectral and operator-theoretic reformulation of the Riemann hypothesis. Accordingly, the spectral operator is quasi-invertible for all values of the dimensional parameter c in the critical interval (0,1) (other than in the midfractal case when c =1/2) if and only if the Riemann hypothesis (RH) is true. A related, but seemingly quite different, reformulation of RH, due to the second author and referred to as an 'asymmetric criterion for RH', is also discussed in some detail: namely, the spectral operator is invertible for all values of c in the left-critical interval (0,1/2) if and only if RH is true.These spectral reformulations of RH also led to the discovery of several 'mathematical phase transitions' in this context, for the shape of the spectrum, the invertibility, the boundedness or the unboundedness of the spectral operator, and occurring either in the midfractal case or in the most fractal case when the underlying fractal dimension is equal to 1/2 or 1, respectively. In particular, the midfractal dimension c=1/2 is playing the role of a critical parameter in quantum statistical physics and the theory of phase transitions and critical phenomena.Furthermore, the authors provide a 'quantum analog' of Voronin's classical theorem about the universality of the Riemann zeta function. Moreover, they obtain and study quantized counterparts of the Dirichlet series and of the Euler product for the Riemann zeta function, which are shown to converge (in a suitable sense) even inside the critical strip.For pedagogical reasons, most of the book is devoted to the study of the quantized Riemann zeta function. However, the results obtained in this monograph are expected to lead to a quantization of most classic arithmetic zeta functions, hence, further 'naturally quantizing' various aspects of analytic number theory and arithmetic geometry.The book should be accessible to experts and non-experts alike, including mathematics and physics graduate students and postdoctoral researchers, interested in fractal geometry, number theory, operator theory and functional analysis, differential equations, complex analysis, spectral theory, as well as mathematical and theoretical physics. Whenever necessary, suitable background about the different subjects involved is provided and the new work is placed in its proper historical context. Several appendices supplementing the main text are also included.

This book, now in a carefully revised second edition, provides an up-to-date account of Oka theory, including the classical Oka-Grauert theory and the wide array of applications to the geometry of Stein manifolds. Oka theory is the field of complex analysis dealing with global problems on Stein manifolds which admit analytic solutions in the absence of topological obstructions. The exposition in the present volume focuses on the notion of an Oka manifold introduced by the author in 2009. It explores connections with elliptic complex geometry initiated by Gromov in 1989, with the Andersen-Lempert theory of holomorphic automorphisms of complex Euclidean spaces and of Stein manifolds with the density property, and with topological methods such as homotopy theory and the Seiberg-Witten theory. Researchers and graduate students interested in the homotopy principle in complex analysis will find this book particularly useful. It is currently the only work that offers a comprehensive introduction to both the Oka theory and the theory of holomorphic automorphisms of complex Euclidean spaces and of other complex manifolds with large automorphism groups.

Graduate students and researchers in applied mathematics, optimization, engineering, computer science, and management science will find this book a useful reference which provides an introduction to applications and fundamental theories in nonlinear combinatorial optimization. Nonlinear combinatorial optimization is a new research area within combinatorial optimization and includes numerous applications to technological developments, such as wireless communication, cloud computing, data science, and social networks. Theoretical developments including discrete Newton methods, primal-dual methods with convex relaxation, submodular optimization, discrete DC program, along with several applications are discussed and explored in this book through articles by leading experts.

Many devices (we say dynamical systems or simply systems) behave like black boxes: they receive an input, this input is transformed following some laws (usually a differential equation) and an output is observed. The problem is to regulate the input in order to control the output, that is for obtaining a desired output. Such a mechanism, where the input is modified according to the output measured, is called feedback. The study and design of such automatic processes is called control theory. As we will see, the term system embraces any device and control theory has a wide variety of applications in the real world. Control theory is an interdisci plinary domain at the junction of differential and difference equations, system theory and statistics. Moreover, the solution of a control problem involves many topics of numerical analysis and leads to many interesting computational problems: linear algebra (QR, SVD, projections, Schur complement, structured matrices, localization of eigenvalues, computation of the rank, Jordan normal form, Sylvester and other equations, systems of linear equations, regulariza tion, etc), root localization for polynomials, inversion of the Laplace transform, computation of the matrix exponential, approximation theory (orthogonal poly nomials, Pad6 approximation, continued fractions and linear fractional transfor mations), optimization, least squares, dynamic programming, etc. So, control theory is also a. good excuse for presenting various (sometimes unrelated) issues of numerical analysis and the procedures for their solution. This book is not a book on control."

This book presents recent mathematical methods in the area of inverse problems in imaging with a particular focus on the computational aspects and applications. The formulation of inverse problems in imaging requires accurate mathematical modeling in order to preserve the significant features of the image. The book describes computational methods to efficiently address these problems based on new optimization algorithms for smooth and nonsmooth convex minimization, on the use of structured (numerical) linear algebra, and on multilevel techniques. It also discusses various current and challenging applications in fields such as astronomy, microscopy, and biomedical imaging. The book is intended for researchers and advanced graduate students interested in inverse problems and imaging.

This book presents a modern continuum mechanics and mathematical framework to study shell physical behaviors, and to formulate and evaluate finite element procedures. With a view towards the synergy that results from physical and mathematical understanding, the book focuses on the fundamentals of shell theories, their mathematical bases and finite element discretizations. The complexity of the physical behaviors of shells is analysed, and the difficulties to obtain uniformly optimal finite element procedures are identified and studied. Some modern finite element methods are presented for linear and nonlinear analyses. In this Second Edition the authors give new developments in the field and - to make the book more complete - more explanations throughout the text, an enlarged section on general variational formulations and new sections on 3D-shell models, dynamic analyses, and triangular elements. The analysis of shells represents one of the most challenging fields in all of mechanics, and encompasses various fundamental and generally applicable components. Specifically, the material presented in this book regarding geometric descriptions, tensors and mixed variational formulations is fundamental and widely applicable also in other areas of mechanics.

This book focuses on Krylov subspace methods for solving linear systems, which are known as one of the top 10 algorithms in the twentieth century, such as Fast Fourier Transform and Quick Sort (SIAM News, 2000). Theoretical aspects of Krylov subspace methods developed in the twentieth century are explained and derived in a concise and unified way. Furthermore, some Krylov subspace methods in the twenty-first century are described in detail, such as the COCR method for complex symmetric linear systems, the BiCR method, and the IDR(s) method for non-Hermitian linear systems. The strength of the book is not only in describing principles of Krylov subspace methods but in providing a variety of applications: shifted linear systems and matrix functions from the theoretical point of view, as well as partial differential equations, computational physics, computational particle physics, optimizations, and machine learning from a practical point of view. The book is self-contained in that basic necessary concepts of numerical linear algebra are explained, making it suitable for senior undergraduates, postgraduates, and researchers in mathematics, engineering, and computational science. Readers will find it a useful resource for understanding the principles and properties of Krylov subspace methods and correctly using those methods for solving problems in the future.

Current research and applications in nonlinear analysis influenced by Haim Brezis and Louis Nirenberg are presented in this book by leading mathematicians. Each contribution aims to broaden reader's understanding of theories, methods, and techniques utilized to solve significant problems. Topics include: Sobolev Spaces Maximal monotone operators A theorem of Brezis-Nirenberg Operator-norm convergence of the Trotter product formula Elliptic operators with infinitely many variables Pseudo-and quasiconvexities for nonsmooth function Anisotropic surface measures Eulerian and Lagrangian variables Multiple periodic solutions of Lagrangian systems Porous medium equation Nondiscrete Lassonde-Revalski principle Graduate students and researchers in mathematics, physics, engineering, and economics will find this book a useful reference for new techniques and research areas. Haim Brezis and Louis Nirenberg's fundamental research in nonlinear functional analysis and nonlinear partial differential equations along with their years of teaching and training students have had a notable impact in the field.

This book is mainly devoted to finite difference numerical methods for solving partial differential equations (PDEs) models of pricing a wide variety of financial derivative securities. With this objective, the book is divided into two main parts. In the first part, after an introduction concerning the basics on derivative securities, the authors explain how to establish the adequate PDE boundary value problems for different sets of derivative products (vanilla and exotic options, and interest rate derivatives). For many option problems, the analytic solutions are also derived with details. The second part is devoted to explaining and analyzing the application of finite differences techniques to the financial models stated in the first part of the book. For this, the authors recall some basics on finite difference methods, initial boundary value problems, and (having in view financial products with early exercise feature) linear complementarity and free boundary problems. In each chapter, the techniques related to these mathematical and numerical subjects are applied to a wide variety of financial products. This is a textbook for graduate students following a mathematical finance program as well as a valuable reference for those researchers working in numerical methods in financial derivatives. For this new edition, the book has been updated throughout with many new problems added. More details about numerical methods for some options, for example, Asian options with discrete sampling, are provided and the proof of solution-uniqueness of derivative security problems and the complete stability analysis of numerical methods for two-dimensional problems are added. Review of first edition: "...the book is highly well designed and structured as a textbook for graduate students following a mathematical finance program, which includes Black-Scholes dynamic hedging methodology to price financial derivatives. Also, it is a very valuable reference for those researchers working in numerical methods in financial derivatives, either with a more financial or mathematical background." -- MATHEMATICAL REVIEWS

This textbook is intended to supplement the classical theory of uni- and multivariate splines and their approximation and interpolation properties with those of fractals, fractal functions, and fractal surfaces. This synthesis will complement currently required courses dealing with these topics and expose the prospective reader to some new and deep relationships. In addition to providing a classical introduction to the main issues involving approximation and interpolation with uni- and multivariate splines, cardinal and exponential splines, and their connection to wavelets and multiscale analysis, which comprises the first half of the book, the second half will describe fractals, fractal functions and fractal surfaces, and their properties. This also includes the new burgeoning theory of superfractals and superfractal functions. The theory of splines is well-established but the relationship to fractal functions is novel. Throughout the book, connections between these two apparently different areas will be exposed and presented. In this way, more options are given to the prospective reader who will encounter complex approximation and interpolation problems in real-world modeling. Numerous examples, figures, and exercises accompany the material.

This book gathers a selection of invited and contributed lectures from the European Conference on Numerical Mathematics and Advanced Applications (ENUMATH) held in Lausanne, Switzerland, August 26-30, 2013. It provides an overview of recent developments in numerical analysis, computational mathematics and applications from leading experts in the field. New results on finite element methods, multiscale methods, numerical linear algebra and discretization techniques for fluid mechanics and optics are presented. As such, the book offers a valuable resource for a wide range of readers looking for a state-of-the-art overview of advanced techniques, algorithms and results in numerical mathematics and scientific computing.