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 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.

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.

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.

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 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.

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 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 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 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.

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.

These are the proceedings of the 25th International Conference on Domain Decomposition Methods in Science and Engineering, which was held in St. John's, Newfoundland, Canada in July 2018. Domain decomposition methods are iterative methods for solving the often very large systems of equations that arise when engineering problems are discretized, frequently using finite elements or other modern techniques. These methods are specifically designed to make effective use of massively parallel, high-performance computing systems. The book presents both theoretical and computational advances in this domain, reflecting the state of art in 2018.

This book gathers research papers and surveys on the latest advances in Schubert Calculus, presented at the International Festival in Schubert Calculus, held in Guangzhou, China on November 6-10, 2017. With roots in enumerative geometry and Hilbert's 15th problem, modern Schubert Calculus studies classical and quantum intersection rings on spaces with symmetries, such as flag manifolds. The presence of symmetries leads to particularly rich structures, and it connects Schubert Calculus to many branches of mathematics, including algebraic geometry, combinatorics, representation theory, and theoretical physics. For instance, the study of the quantum cohomology ring of a Grassmann manifold combines all these areas in an organic way. The book is useful for researchers and graduate students interested in Schubert Calculus, and more generally in the study of flag manifolds in relation to algebraic geometry, combinatorics, representation theory and mathematical physics.

This book applies the convex integration method to multi-dimensional compressible Euler equations in the barotropic case as well as the full system with temperature. The convex integration technique, originally developed in the context of differential inclusions, was applied in the groundbreaking work of De Lellis and Szekelyhidi to the incompressible Euler equations, leading to infinitely many solutions. This theory was later refined to prove non-uniqueness of solutions of the compressible Euler system, too. These non-uniqueness results all use an ansatz which reduces the equations to a kind of incompressible system to which a slight modification of the incompressible theory can be applied. This book presents, for the first time, a generalization of the De Lellis-Szekelyhidi approach to the setting of compressible Euler equations. The structure of this book is as follows: after providing an accessible introduction to the subject, including the essentials of hyperbolic conservation laws, the idea of convex integration in the compressible framework is developed. The main result proves that under a certain assumption there exist infinitely many solutions to an abstract initial boundary value problem for the Euler system. Next some applications of this theorem are discussed, in particular concerning the Riemann problem. Finally there is a survey of some related results. This self-contained book is suitable for both beginners in the field of hyperbolic conservation laws as well as for advanced readers who already know about convex integration in the incompressible framework.

This contributed volume presents some of the latest research related to model order reduction of complex dynamical systems with a focus on time-dependent problems. Chapters are written by leading researchers and users of model order reduction techniques and are based on presentations given at the 2019 edition of the workshop series Model Reduction of Complex Dynamical Systems - MODRED, held at the University of Graz in Austria. The topics considered can be divided into five categories: system-theoretic methods, such as balanced truncation, Hankel norm approximation, and reduced-basis methods; data-driven methods, including Loewner matrix and pencil-based approaches, dynamic mode decomposition, and kernel-based methods; surrogate modeling for design and optimization, with special emphasis on control and data assimilation; model reduction methods in applications, such as control and network systems, computational electromagnetics, structural mechanics, and fluid dynamics; and model order reduction software packages and benchmarks. This volume will be an ideal resource for graduate students and researchers in all areas of model reduction, as well as those working in applied mathematics and theoretical informatics.

This monograph presents the geoscientific context arising in decorrelative gravitational exploration to determine the mass density distribution inside the Earth. First, an insight into the current state of research is given by reducing gravimetry to mathematically accessible, and thus calculable, decorrelated models. In this way, the various unresolved questions and problems of gravimetry are made available to a broad scientific audience and the exploration industry. New theoretical developments will be given, and innovative ways of modeling geologic layers and faults by mollifier regularization techniques are shown. This book is dedicated to surface as well as volume geology with potential data primarily of terrestrial origin. For deep geology, the geomathematical decorrelation methods are to be designed in such a way that depth information (e.g., in boreholes) may be canonically entered. Bridging several different geo-disciplines, this book leads in a cycle from the potential measurements made by geoengineers, to the cleansing of data by geophysicists and geoengineers, to the subsequent theory and model formation, computer-based implementation, and numerical calculation and simulations made by geomathematicians, to interpretation by geologists, and, if necessary, back. It therefore spans the spectrum from geoengineering, especially geodesy, via geophysics to geomathematics and geology, and back. Using the German Saarland area for methodological tests, important new fields of application are opened, particularly for regions with mining-related cavities or dense development in today's geo-exploration.

State-of-the-art numerical methods for solving complex engineering problems

Great strides in computer technology have been made in the years since the popular first edition of this book was published. Several excellent software packages now help engineers solve complex problems. Making the most of these programs requires a working knowledge of the numerical methods on which the programs are based. Numerical Methods for Engineering Application provides that knowledge.

While it avoids intense mathematical detail, Numerical Methods for Engineering Application supplies more in-depth explanations of methods than found in the typical engineer's numerical "cookbook." It offers complete coverage of most commonly encountered algebraic, interpolation, and integration problems. Ordinary differential equations are examined in great detail, as are three common types of partial differential equations—parabolic, elliptic, and hyperbolic. The author also explores a wide range of methods for solving initial and boundary value problems.

This complete guide to numerical methods for solving engineering problems on computers provides:

• Practical advice on how to select the best method for a given problem
• Valuable insights into how each method works and why it is the best choice
• Complete algorithms and source code for all programs covered
• Code from the book and problem-solving programs designed by the author available from the author's website

Numerical Methods for Engineering Application is a valuable working resource for engineers and applied physicists. It also serves as an excellent upper-level text for physics and engineering students in courses on modern numerical methods.

In this book we gather recent mathematical developments and engineering applications of Trefftz methods, with particular emphasis on the Method of Fundamental Solutions (MFS). These are true meshless methods that have the advantage of avoiding the need to set up a mesh altogether, and therefore going beyond the reduction of the mesh to a boundary. These Trefftz methods have advantages in several engineering applications, for instance in inverse problems where the domain is unknown and some numerical methods would require a remeshing approach. Trefftz methods are also known to perform very well with regular domains and regular data in boundary value problems, achieving exponential convergence. On the other hand, they may also under certain conditions, exhibit instabilities and lead to ill-conditioned systems. This book is divided into ten chapters that illustrate recent advances in Trefftz methods and their application to engineering problems. The first eight chapters are devoted to the MFS and variants whereas the last two chapters are devoted to related meshless engineering applications. Part of these selected contributions were presented in the 9th International Conference on Trefftz Methods and 5th International Conference on the MFS, held in 2019, July 29-31, in Lisbon, Portugal.

This book provides theories on non-parametric shape optimization problems, systematically keeping in mind readers with an engineering background. Non-parametric shape optimization problems are defined as problems of finding the shapes of domains in which boundary value problems of partial differential equations are defined. In these problems, optimum shapes are obtained from an arbitrary form without any geometrical parameters previously assigned. In particular, problems in which the optimum shape is sought by making a hole in domain are called topology optimization problems. Moreover, a problem in which the optimum shape is obtained based on domain variation is referred to as a shape optimization problem of domain variation type, or a shape optimization problem in a limited sense. Software has been developed to solve these problems, and it is being used to seek practical optimum shapes. However, there are no books explaining such theories beginning with their foundations. The structure of the book is shown in the Preface. The theorems are built up using mathematical results. Therefore, a mathematical style is introduced, consisting of definitions and theorems to summarize the key points. This method of expression is advanced as provable facts are clearly shown. If something to be investigated is contained in the framework of mathematics, setting up a theory using theorems prepared by great mathematicians is thought to be an extremely effective approach. However, mathematics attempts to heighten the level of abstraction in order to understand many things in a unified fashion. This characteristic may baffle readers with an engineering background. Hence in this book, an attempt has been made to provide explanations in engineering terms, with examples from mechanics, after accurately denoting the provable facts using definitions and theorems.

This book includes selected papers presented at the Indo-French Seminar on Optimization, Variational Analysis and Applications (IFSOVAA-2020), held at the Department of Mathematics, Institute of Science, Banaras Hindu University, Varanasi, India, from 2-4 February 2020. The book discusses current optimization problems and their solutions by using the powerful tool of variational analysis. Topics covered in this volume include set optimization, multiobjective optimization, mathematical programs with complementary, equilibrium, vanishing and switching constraints, copositive optimization, interval-valued optimization, sequential quadratic programming, bound-constrained optimization, variational inequalities, and more. Several applications in different branches of applied mathematics, engineering, economics, finance, and medical sciences have been included. Each chapter not only provides a detailed survey of the topic but also builds systematic theories and suitable algorithms to deduce the most recent findings in literature. This volume appeals to graduate students as well as researchers and practitioners in pure and applied mathematics and related fields that make use of variational analysis in solving optimization problems.

This two-volume book provides an insight into the 10th International Conference on Soft Computing for Problem Solving (SocProS 2020). This international conference is a joint technical collaboration of Soft Computing Research Society and Indian Institute of Technology Indore. The book presents the latest achievements and innovations in the interdisciplinary areas of soft computing. It brings together the researchers, engineers and practitioners to discuss thought-provoking developments and challenges, in order to select potential future directions. It covers original research papers in the areas including but not limited to algorithms (artificial immune system, artificial neural network, genetic algorithm, genetic programming and particle swarm optimization) and applications (control systems, data mining and clustering, finance, weather forecasting, game theory, business and forecasting applications). The book will be beneficial for young as well as experienced researchers dealing across complex and intricate real-world problems for which finding a solution by traditional methods is a difficult task.

"Analyzes algebras of concrete approximation methods detailing prerequisites, local principles, and lifting theorems. Covers fractality and Fredholmness. Explains the phenomena of the asymptotic splitting of the singular values, and more."

This book introduces the reader to the field of jet substructure, starting from the basic considerations for capturing decays of boosted particles in individual jets, to explaining state-of-the-art techniques. Jet substructure methods have become ubiquitous in data analyses at the LHC, with diverse applications stemming from the abundance of jets in proton-proton collisions, the presence of pileup and multiple interactions, and the need to reconstruct and identify decays of highly-Lorentz boosted particles. The last decade has seen a vast increase in our knowledge of all aspects of the field, with a proliferation of new jet substructure algorithms, calculations and measurements which are presented in this book. Recent developments and algorithms are described and put into the larger experimental context. Their usefulness and application are shown in many demonstrative examples and the phenomenological and experimental effects influencing their performance are discussed. A comprehensive overview is given of measurements and searches for new phenomena performed by the ATLAS and CMS Collaborations. This book shows the impressive versatility of jet substructure methods at the LHC.