This textbook presents finite element methods using exclusively one-dimensional elements. The aim is to present the complex methodology in an easily understandable but mathematically correct fashion. The approach of one-dimensional elements enables the reader to focus on the understanding of the principles of basic and advanced mechanical problems. The reader easily understands the assumptions and limitations of mechanical modeling as well as the underlying physics without struggling with complex mathematics. But although the description is easy it remains scientifically correct.

The approach using only one-dimensional elements covers not only standard problems but allows also for advanced topics like plasticity or the mechanics of composite materials. Many examples illustrate the concepts and problems at the end of every chapter help to familiarize with the topics."

This volume developed from a Workshop on Natural Locomotion in Fluids and on Surfaces: Swimming, Flying, and Sliding which was held at the Institute for Mathematics and its Applications (IMA) at the University of Minnesota, from June 1-5, 2010. The subject matter ranged widely from observational data to theoretical mechanics, and reflected the broad scope of the workshop. In both the prepared presentations and in the informal discussions, the workshop engaged exchanges across disciplines and invited a lively interaction between modelers and observers. The articles in this volume were invited and fully refereed. They provide a representative if necessarily incomplete account of the field of natural locomotion during a period of rapid growth and expansion. The papers presented at the workshop, and the contributions to the present volume, can be roughly divided into those pertaining to swimming on the scale of marine organisms, swimming of microorganisms at low Reynolds numbers, animal flight, and sliding and other related examples of locomotion.

This self-contained text is a step-by-step introduction and a complete overview of interval computation and result verification, a subject whose importance has steadily increased over the past many years. The author, an expert in the field, gently presents the theory of interval analysis through many examples and exercises, and guides the reader from the basics of the theory to current research topics in the mathematics of computation. Contents Preliminaries Real intervals Interval vectors, interval matrices Expressions, P-contraction, -inflation Linear systems of equations Nonlinear systems of equations Eigenvalue problems Automatic differentiation Complex intervals

This book presents modern functional analysis methods for the sensitivity analysis of some infinite-dimensional systems governed by partial differential equations. The main topics are treated in a general and systematic way. They include many classical applications such as the Signorini problem, the elastic-plastic torsion problem and the visco-elastic-plastic problem. The "material derivative" from which any kind of shape derivative of a cost functional can be derived is defined. New results about the wave equation and the unilateral problem are also included in this book, which is intended to serve as a basic reference work for the algorithmic approach to shape optimization problems.

This book highlights recent research advances in the area of turbulent flows from both industry and academia for applications in the area of Aerospace and Mechanical engineering. Contributions include modeling, simulations and experiments meant for researchers, professionals and students in the area.

This book revisits the long-standing puzzle of cross-scale energy transfer and dissipation in plasma turbulence and introduces new perspectives based on both magnetohydrodynamic (MHD) and Vlasov models. The classical energy cascade scenario is key in explaining the heating of corona and solar wind. By employing a high-resolution hybrid (compact finite difference & WENO) scheme, the book studies the features of compressible MHD cascade in detail, for example, in order to approximate a real plasma cascade as "Kolmogorov-like" and to understand features that go beyond the usual simplified theories based on incompressible models. When approaching kinetic scales where plasma effects must be considered, it uses an elementary analysis of the Vlasov-Maxwell equations to help identify the channels through which energy transfer must be dissipated. In addition, it shows that the pressure-strain interaction is of great significance in producing internal energy. This analysis, in contrast to many other recent studies, does not make assumptions about wave-modes, instability or other specific mechanisms responsible for the dynamics - the results are direct consequences of the Vlasov-Maxwell system of equations. This is an important step toward understanding dissipation in turbulent collisionless plasma in space and astrophysics.

The first volume of the proceedings of the 7th conference on "Finite Volumes for Complex Applications" (Berlin, June 2014) covers topics that include convergence and stability analysis, as well as investigations of these methods from the point of view of compatibility with physical principles. It collects together the focused invited papers, as well as the reviewed contributions from internationally leading researchers in the field of analysis of finite volume and related methods. Altogether, a rather comprehensive overview is given of the state of the art in the field.

The finite volume method in its various forms is a space discretization technique for partial differential equations based on the fundamental physical principle of conservation. Recent decades have brought significant success in the theoretical understanding of the method. Many finite volume methods preserve further qualitative or asymptotic properties, including maximum principles, dissipativity, monotone decay of free energy, and asymptotic stability. Due to these properties, finite volume methods belong to the wider class of compatible discretization methods, which preserve qualitative properties of continuous problems at the discrete level. This structural approach to the discretization of partial differential equations becomes particularly important for multiphysics and multiscale applications.

Researchers, PhD and masters level students in numerical analysis, scientific computing and related fields such as partial differential equations will find this volume useful, as will engineers working in numerical modeling and simulations."

ACMES (Algorithms and Complexity in Mathematics, Epistemology, and Science) is a multidisciplinary conference series that focuses on epistemological and mathematical issues relating to computation in modern science. This volume includes a selection of papers presented at the 2015 and 2016 conferences held at Western University that provide an interdisciplinary outlook on modern applied mathematics that draws from theory and practice, and situates it in proper context. These papers come from leading mathematicians, computational scientists, and philosophers of science, and cover a broad collection of mathematical and philosophical topics, including numerical analysis and its underlying philosophy, computer algebra, reliability and uncertainty quantification, computation and complexity theory, combinatorics, error analysis, perturbation theory, experimental mathematics, scientific epistemology, and foundations of mathematics. By bringing together contributions from researchers who approach the mathematical sciences from different perspectives, the volume will further readers' understanding of the multifaceted role of mathematics in modern science, informed by the state of the art in mathematics, scientific computing, and current modeling techniques.

Visualization and mathematics have begun a fruitful relationship, establishing links between problems and solutions of both fields. In some areas of mathematics, like differential geometry and numerical mathematics, visualization techniques are applied with great success. However, visualization methods are relying heavily on mathematical concepts.
Applications of visualization in mathematical research and the use of mathematical methods in visualization have been topic of an international workshop in Berlin in June 1995. Selected contributions treat topics of particular interest in current research. Experts are reporting on their latest work, giving an overview on this fascinating new area. The reader will get insight to state-of-the-art techniques for solving visualization problems and mathematical questions.

The book is organized around 4 sections. The first deals with the creativity and its neural basis (responsible editor Emmanuelle Volle). The second section concerns the neurophysiology of aesthetics (responsible editor Zoi Kapoula). It covers a large spectrum of different experimental approaches going from architecture, to process of architectural creation and issues of architectural impact on the gesture of the observer. Neurophysiological aspects such as space navigation, gesture, body posture control are involved in the experiments described as well as questions about terminology and valid methodology. The next chapter contains studies on music, mathematics and brain (responsible editor Moreno Andreatta). The final section deals with evolutionary aesthetics (responsible editor Julien Renoult). Chapter "Composing Music from Neuronal Activity: The Spikiss Project" is available open access under a Creative Commons Attribution-NonCommercial 4.0 International License via link.springer.com.

The present volume contains invited talks of 11th biennial conference on "Emerging Mathematical Methods, Models and Algorithms for Science and Technology". The main message of the book is that mathematics has a great potential to analyse and understand the challenging problems of nanotechnology, biotechnology, medical science, oil industry and financial technology. The book highlights all the features and main theme discussed in the conference. All contributing authors are eminent academicians, scientists, researchers and scholars in their respective fields, hailing from around the world.

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

Are you looking for new lectures for your course on algorithms, combinatorial optimization, or algorithmic game theory? Maybe you need a convenient source of relevant, current topics for a graduate student or advanced undergraduate student seminar? Or perhaps you just want an enjoyable look at some beautiful mathematical and algorithmic results, ideas, proofs, concepts, and techniques in discrete mathematics and theoretical computer science? Gems of Combinatorial Optimization and Graph Algorithms is a handpicked collection of up-to-date articles, carefully prepared by a select group of international experts, who have contributed some of their most mathematically or algorithmically elegant ideas. Topics include longest tours and Steiner trees in geometric spaces, cartograms, resource buying games, congestion games, selfish routing, revenue equivalence and shortest paths, scheduling, linear structures in graphs, contraction hierarchies, budgeted matching problems, and motifs in networks. This volume is aimed at readers with some familiarity of combinatorial optimization, and appeals to researchers, graduate students, and advanced undergraduate students alike.

This book gathers nineteen papers presented at the first NLAGA-BIRS Symposium, which was held at the Cheikh Anta Diop University in Dakar, Senegal, on June 24-28, 2019. The four-day symposium brought together African experts on nonlinear analysis and geometry and their applications, as well as their international partners, to present and discuss mathematical results in various areas. The main goal of the NLAGA project is to advance and consolidate the development of these mathematical fields in West and Central Africa with a focus on solving real-world problems such as coastal erosion, pollution, and urban network and population dynamics problems. The book addresses a range of topics related to partial differential equations, geometrical analysis of optimal shapes, geometric structures, optimization and optimal transportation, control theory, and mathematical modeling.

This volume gathers contributions reflecting topics presented during an INDAM workshop held in Rome in May 2016. The event brought together many prominent researchers in both Mathematical Analysis and Numerical Computing, the goal being to promote interdisciplinary collaborations. Accordingly, the following thematic areas were developed: 1. Lagrangian discretizations and wavefront tracking for synchronization models; 2. Astrophysics computations and post-Newtonian approximations; 3. Hyperbolic balance laws and corrugated isometric embeddings; 4. "Caseology" techniques for kinetic equations; 5. Tentative computations of compressible non-standard solutions; 6. Entropy dissipation, convergence rates and inverse design issues. Most of the articles are presented in a self-contained manner; some highlight new achievements, while others offer snapshots of the "state of the art" in certain fields. The book offers a unique resource, both for young researchers looking to quickly enter a given area of application, and for more experienced ones seeking comprehensive overviews and extensive bibliographic references.

The contributions gathered here provide an overview of current research projects and selected software products of the Fraunhofer Institute for Algorithms and Scientific Computing SCAI. They show the wide range of challenges that scientific computing currently faces, the solutions it offers, and its important role in developing applications for industry. Given the exciting field of applied collaborative research and development it discusses, the book will appeal to scientists, practitioners, and students alike. The Fraunhofer Institute for Algorithms and Scientific Computing SCAI combines excellent research and application-oriented development to provide added value for our partners. SCAI develops numerical techniques, parallel algorithms and specialized software tools to support and optimize industrial simulations. Moreover, it implements custom software solutions for production and logistics, and offers calculations on high-performance computers. Its services and products are based on state-of-the-art methods from applied mathematics and information technology.

The purpose of this book is to provide an up-to-date introduction to the time-domain finite element methods for Maxwell s equations involving metamaterials. Since the first successful construction of a metamaterial with both negative permittivity and permeability in 2000, the study of metamaterials has attracted significant attention from researchers across many disciplines. Thanks to enormous efforts on the part of engineers and physicists, metamaterials present great potential applications in antenna and radar design, sub-wavelength imaging, and invisibility cloak design. Hence the efficient simulation of electromagnetic phenomena in metamaterials has become a very important issue and is the subject of this book, in which various metamaterial modeling equations are introduced and justified mathematically. The development and practical implementation of edge finite element methods for metamaterial Maxwell s equations are the main focus of the book. The book finishes with some interesting simulations such as backward wave propagation and time-domain cloaking with metamaterials.

Tearing and interconnecting methods, such as FETI, FETI-DP, BETI, etc., are among the most successful domain decomposition solvers for partial differential equations. The purpose of this book is to give a detailed and self-contained presentation of these methods, including the corresponding algorithms as well as a rigorous convergence theory. In particular, two issues are addressed that have not been covered in any monograph yet: the coupling of finite and boundary elements within the tearing and interconnecting framework including exterior problems, and the case of highly varying (multiscale) coefficients not resolved by the subdomain partitioning. In this context, the book offers a detailed view to an active and up-to-date area of research.

This book presents the theoretical details and computational performances of algorithms used for solving continuous nonlinear optimization applications imbedded in GAMS. Aimed toward scientists and graduate students who utilize optimization methods to model and solve problems in mathematical programming, operations research, business, engineering, and industry, this book enables readers with a background in nonlinear optimization and linear algebra to use GAMS technology to understand and utilize its important capabilities to optimize algorithms for modeling and solving complex, large-scale, continuous nonlinear optimization problems or applications. Beginning with an overview of constrained nonlinear optimization methods, this book moves on to illustrate key aspects of mathematical modeling through modeling technologies based on algebraically oriented modeling languages. Next, the main feature of GAMS, an algebraically oriented language that allows for high-level algebraic representation of mathematical optimization models, is introduced to model and solve continuous nonlinear optimization applications. More than 15 real nonlinear optimization applications in algebraic and GAMS representation are presented which are used to illustrate the performances of the algorithms described in this book. Theoretical and computational results, methods, and techniques effective for solving nonlinear optimization problems, are detailed through the algorithms MINOS, KNITRO, CONOPT, SNOPT and IPOPT which work in GAMS technology.

This book emphasizes in detail the applicability of the Optimal Homotopy Asymptotic Method to various engineering problems. It is a continuation of the book "Nonlinear Dynamical Systems in Engineering: Some Approximate Approaches", published at Springer in 2011 and it contains a great amount of practical models from various fields of engineering such as classical and fluid mechanics, thermodynamics, nonlinear oscillations, electrical machines and so on. The main structure of the book consists of 5 chapters. The first chapter is introductory while the second chapter is devoted to a short history of the development of homotopy methods, including the basic ideas of the Optimal Homotopy Asymptotic Method. The last three chapters, from Chapter 3 to Chapter 5, are introducing three distinct alternatives of the Optimal Homotopy Asymptotic Method with illustrative applications to nonlinear dynamical systems. The third chapter deals with the first alternative of our approach with two iterations. Five applications are presented from fluid mechanics and nonlinear oscillations. The Chapter 4 presents the Optimal Homotopy Asymptotic Method with a single iteration and solving the linear equation on the first approximation. Here are treated 32 models from different fields of engineering such as fluid mechanics, thermodynamics, nonlinear damped and undamped oscillations, electrical machines and even from physics and biology. The last chapter is devoted to the Optimal Homotopy Asymptotic Method with a single iteration but without solving the equation in the first approximation.

This book investigates stability loss problems of the viscoelastic composite materials and structural members within the framework of the Three-Dimensional Linearized Theory of Stability (TDLTS). The stability loss problems are considered the development of the initial infinitesimal imperfection in the structure of the material or of the structural members. This development is studied within the framework of the Three-Dimensional Geometrical Non-Linear Theory of the Deformable Solid Body Mechanics. The solution to the corresponding boundary-value problems is presented in the series form in the small parameter which characterizes the degree of the initial imperfection. In this way, the nonlinear problems for the domains bounded by noncanonical surfaces are reduced for the same nonlinear problem for the corresponding domains bounded by canonical surfaces and the series subsequent linearized problems. It is proven that the equations and relations of these linearized problems coincide with the corresponding ones of the well-known TDLTS. Under concrete investigations as stability loss criterion the case is taken for the initial infinitesimal imperfection that starts to increase indefinitely. Moreover, it is proven that the critical parameters can be determined by the use of only the zeroth and first approximations.

This book contains the results in numerical analysis and optimization presented at the ECCOMAS thematic conference "Computational Analysis and Optimization" (CAO 2011) held in Jyvaskyla, Finland, June 9-11, 2011. Both the conference and this volume are dedicated to Professor Pekka Neittaanmaki on the occasion of his sixtieth birthday. It consists of five parts that are closely related to his scientific activities and interests: Numerical Methods for Nonlinear Problems; Reliable Methods for Computer Simulation; Analysis of Noised and Uncertain Data; Optimization Methods; Mathematical Models Generated by Modern Technological Problems. The book also includes a short biography of Professor Neittaanmaki.

This book gives an introduction to the finite element method as a general computational method for solving partial differential equations approximately. Our approach is mathematical in nature with a strong focus on the underlying mathematical principles, such as approximation properties of piecewise polynomial spaces, and variational formulations of partial differential equations, but with a minimum level of advanced mathematical machinery from functional analysis and partial differential equations.In principle, the material should be accessible to students with only knowledge of calculus of several variables, basic partial differential equations, and linear algebra, as the necessary concepts from more advanced analysis are introduced when needed. Throughout the text we emphasize implementation of the involved algorithms, and have therefore mixed mathematical theory with concrete computer code using the numerical software MATLAB is and its PDE-Toolbox.We have also had the ambition to cover some of the most important applications of finite elements and the basic finite element methods developed for those applications, including diffusion and transport phenomena, solid and fluid mechanics, and also electromagnetics.

In this book, the general theory of submanifolds in a multidimensional projective space is constructed. The topics dealt with include osculating spaces and fundamental forms of different orders, asymptotic and conjugate lines, submanifolds on the Grassmannians, different aspects of the normalization problems for submanifolds (with special emphasis given to a connection in the normal bundle) and the problem of algebraizability for different kinds of submanifolds, the geometry of hypersurfaces and hyperbands, etc. A series of special types of submanifolds with special projective structures are studied: submanifolds carrying a net of conjugate lines (in particular, conjugate systems), tangentially degenerate submanifolds, submanifolds with asymptotic and conjugate distributions etc. The method of moving frames and the apparatus of exterior differential forms are systematically used in the book and the results presented can be applied to the problems dealing with the linear subspaces or their generalizations.

Graduate students majoring in differential geometry will find this monograph of great interest, as will researchers in differential and algebraic geometry, complex analysis and theory of several complex variables.