This book brings together carefully selected, peer-reviewed works on mathematical biology presented at the BIOMAT International Symposium on Mathematical and Computational Biology, which was held at the Institute of Numerical Mathematics, Russian Academy of Sciences, in October 2017, in Moscow. Topics covered include, but are not limited to, the evolution of spatial patterns on metapopulations, problems related to cardiovascular diseases and modeled by boundary control techniques in hemodynamics, algebraic modeling of the genetic code, and multi-step biochemical pathways. Also, new results are presented on topics like pattern recognition of probability distribution of amino acids, somitogenesis through reaction-diffusion models, mathematical modeling of infectious diseases, and many others. Experts, scientific practitioners, graduate students and professionals working in various interdisciplinary fields will find this book a rich resource for research and applications alike.

This is a handbook of Gamma-convergence, which is a theoretical tool used to study problems in Applied Mathematics where varying parameters are present, with many applications that range from Mechanics to Computer Vision. The book is directed to Applied Mathematicians in all fields and to Engineers with a theoretical background.

This volume gathers contributions in the field of partial differential equations, with a focus on mathematical models in phase transitions, complex fluids and thermomechanics. These contributions are dedicated to Professor Gianni Gilardi on the occasion of his 70th birthday. It particularly develops the following thematic areas: nonlinear dynamic and stationary equations; well-posedness of initial and boundary value problems for systems of PDEs; regularity properties for the solutions; optimal control problems and optimality conditions; feedback stabilization and stability results. Most of the articles are presented in a self-contained manner, and describe new achievements and/or the state of the art in their line of research, providing interested readers with an overview of recent advances and future research directions in PDEs.

In this book we study the degree theory and some of its applications in analysis. It focuses on the recent developments of this theory for Sobolev functions, which distinguishes this book from the currently available literature. We begin with a thorough study of topological degree for continuous functions. The contents of the book include: degree theory for continuous functions, the multiplication theorem, Hopf`s theorem, Brower`s fixed point theorem, odd mappings, Jordan`s separation theorem. Following a brief review of measure theory and Sobolev functions and study local invertibility of Sobolev functions. These results are put to use in the study variational principles in nonlinear elasticity. The Leray-Schauder degree in infinite dimensional spaces is exploited to obtain fixed point theorems. We end the book by illustrating several applications of the degree in the theories of ordinary differential equations and partial differential equations.

This book highlights the remarkable importance of special functions, operational calculus, and variational methods. A considerable portion of the book is dedicated to second-order partial differential equations, as they offer mathematical models of various phenomena in physics and engineering. The book provides students and researchers with essential help on key mathematical topics, which are applied to a range of practical problems. These topics were chosen because, after teaching university courses for many years, the authors have found them to be essential, especially in the contexts of technology, engineering and economics. Given the diversity topics included in the book, the presentation of each is limited to the basic notions and results of the respective mathematical domain. Chapter 1 is devoted to complex functions. Here, much emphasis is placed on the theory of holomorphic functions, which facilitate the understanding of the role that the theory of functions of a complex variable plays in mathematical physics, especially in the modeling of plane problems. In addition, the book demonstrates the importance of the theories of special functions, operational calculus, and variational calculus. In the last chapter, the authors discuss the basic elements of one of the most modern areas of mathematics, namely the theory of optimal control.

This book presents a methodology based on inverse problems for use in solutions for fault diagnosis in control systems, combining tools from mathematics, physics, computational and mathematical modeling, optimization and computational intelligence. This methodology, known as fault diagnosis - inverse problem methodology or FD-IPM, unifies the results of several years of work of the authors in the fields of fault detection and isolation (FDI), inverse problems and optimization. The book clearly and systematically presents the main ideas, concepts and results obtained in recent years. By formulating fault diagnosis as an inverse problem, and by solving it using metaheuristics, the authors offer researchers and students a fresh, interdisciplinary perspective for problem solving in these fields. Graduate courses in engineering, applied mathematics and computing also benefit from this work.

Since nonsmooth optimization problems arise in a diverse range of real-world applications, the potential impact of efficient methods for solving such problems is undeniable. Even solving difficult smooth problems sometimes requires the use of nonsmooth optimization methods, in order to either reduce the problem's scale or simplify its structure. Accordingly, the field of nonsmooth optimization is an important area of mathematical programming that is based on by now classical concepts of variational analysis and generalized derivatives, and has developed a rich and sophisticated set of mathematical tools at the intersection of theory and practice. This volume of ISNM is an outcome of the workshop "Nonsmooth Optimization and its Applications," which was held from May 15 to 19, 2017 at the Hausdorff Center for Mathematics, University of Bonn. The six research articles gathered here focus on recent results that highlight different aspects of nonsmooth and variational analysis, optimization methods, their convergence theory and applications.

This monograph offers the first systematic account of (metric) regularity theory in variational analysis. It presents new developments alongside classical results and demonstrates the power of the theory through applications to various problems in analysis and optimization theory. The origins of metric regularity theory can be traced back to a series of fundamental ideas and results of nonlinear functional analysis and global analysis centered around problems of existence and stability of solutions of nonlinear equations. In variational analysis, regularity theory goes far beyond the classical setting and is also concerned with non-differentiable and multi-valued operators. The present volume explores all basic aspects of the theory, from the most general problems for mappings between metric spaces to those connected with fairly concrete and important classes of operators acting in Banach and finite dimensional spaces. Written by a leading expert in the field, the book covers new and powerful techniques, which have proven to be highly efficient even in classical settings, and outlines the theory's predominantly quantitative character, leading to a variety of new and unexpected applications. Variational Analysis of Regular Mappings is aimed at graduate students and researchers in nonlinear and functional analysis, especially those working in areas close to optimization and optimal control, and will be suitable to anyone interested in applying new concepts and ideas to operations research, control engineering and numerical analysis.

This monograph investigates the existence of higher order sliding mode in discrete-time systems and propounds a new concept of discrete-time higher order sliding mode. The authors propose a definition of discrete-time higher order sliding mode and a control law is designed by means of a concept for an uncertain linear-time invariant system, as well as the behavior of the closed-loop system is analyzed. Moreover, the book includes a thorough treatment of the probabilistic and non-deterministic case, i.e. stochastic discrete-time higher order sliding mode. The target audience primarily comprises research experts in control theory but the book may also be beneficial for graduate students alike.

This book collects a series of contributions addressing the various contexts in which the theory of Lie groups is applied. A preliminary chapter serves the reader both as a basic reference source and as an ongoing thread that runs through the subsequent chapters. From representation theory and Gerstenhaber algebras to control theory, from differential equations to Finsler geometry and Lepage manifolds, the book introduces young researchers in Mathematics to a wealth of different topics, encouraging a multidisciplinary approach to research. As such, it is suitable for students in doctoral courses, and will also benefit researchers who want to expand their field of interest.

By establishing an alternative foundation of control theory, this thesis represents a significant advance in the theory of control systems, of interest to a broad range of scientists and engineers. While common control strategies for dynamical systems center on the system state as the object to be controlled, the approach developed here focuses on the state trajectory. The concept of precisely realizable trajectories identifies those trajectories that can be accurately achieved by applying appropriate control signals. The resulting simple expressions for the control signal lend themselves to immediate application in science and technology. The approach permits the generalization of many well-known results from the control theory of linear systems, e.g. the Kalman rank condition to nonlinear systems. The relationship between controllability, optimal control and trajectory tracking are clarified. Furthermore, the existence of linear structures underlying nonlinear optimal control is revealed, enabling the derivation of exact analytical solutions to an entire class of nonlinear optimal trajectory tracking problems. The clear and self-contained presentation focuses on a general and mathematically rigorous analysis of controlled dynamical systems. The concepts developed are visualized with the help of particular dynamical systems motivated by physics and chemistry.

Providing an introduction to stochastic optimal control in infinite dimension, this book gives a complete account of the theory of second-order HJB equations in infinite-dimensional Hilbert spaces, focusing on its applicability to associated stochastic optimal control problems. It features a general introduction to optimal stochastic control, including basic results (e.g. the dynamic programming principle) with proofs, and provides examples of applications. A complete and up-to-date exposition of the existing theory of viscosity solutions and regular solutions of second-order HJB equations in Hilbert spaces is given, together with an extensive survey of other methods, with a full bibliography. In particular, Chapter 6, written by M. Fuhrman and G. Tessitore, surveys the theory of regular solutions of HJB equations arising in infinite-dimensional stochastic control, via BSDEs. The book is of interest to both pure and applied researchers working in the control theory of stochastic PDEs, and in PDEs in infinite dimension. Readers from other fields who want to learn the basic theory will also find it useful. The prerequisites are: standard functional analysis, the theory of semigroups of operators and its use in the study of PDEs, some knowledge of the dynamic programming approach to stochastic optimal control problems in finite dimension, and the basics of stochastic analysis and stochastic equations in infinite-dimensional spaces.

Collected together in this book are ten state-of-the-art expository articles on the most important topics in optimization, written by leading experts in the field. The book therefore provides a primary reference for those performing research in some area of optimization or for those who have some basic knowledge of optimization techniques but wish to learn the most up-to-date and efficient algorithms for particular classes of problems. The first sections of each chapter are expository and therefore accessible to master's level graduate students. However, the chapters also contain advanced material on current topics of interest to researchers. For instance there are chapters which describe the polynomial-time linear programming algorithms of Khachian and Karmarkar and the techniques used to solve combinatorial and integer programming problems, an order of magnitude larger than was possible just a few years ago. Overall a comprehensive yet lively and up-to-date discussion of the state-of-the-art in optimization is presented in this book.

This edited monograph includes state-of-the-art contributions on continuous time dynamical networks with delays. The book is divided into four parts. The first part presents tools and methods for the analysis of time-delay systems with a particular attention on control problems of large scale or infinite-dimensional systems with delays. The second part of the book is dedicated to the use of time-delay models for the analysis and design of Networked Control Systems. The third part of the book focuses on the analysis and design of systems with asynchronous sampling intervals which occur in Networked Control Systems. The last part of the book exposes several contributions dealing with the design of cooperative control and observation laws for networked control systems. The target audience primarily comprises researchers and experts in the field of control theory, but the book may also be beneficial for graduate students.

This edited monograph contains research contributions on a wide range of topics such as stochastic control systems, adaptive control, sliding mode control and parameter identification methods. The book also covers applications of robust and adaptice control to chemical and biotechnological systems. This collection of papers commemorates the 70th birthday of Dr. Alexander S. Poznyak.

This is a collection of papers by participants at High Dimensional Probability VI Meeting held from October 9-14, 2011 at the Banff International Research Station in Banff, Alberta, Canada.

High Dimensional Probability (HDP) is an area of mathematics that includes the study of probability distributions and limit theorems in infinite-dimensional spaces such as Hilbert spaces and Banach spaces. The most remarkable feature of this area is that it has resulted in the creation of powerful new tools and perspectives, whose range of application has led to interactions with other areas of mathematics, statistics, and computer science. These include random matrix theory, nonparametric statistics, empirical process theory, statistical learning theory, concentration of measure phenomena, strong and weak approximations, distribution function estimation in high dimensions, combinatorial optimization, and random graph theory.

The papers in this volumeshow that HDP theory continues to develop new tools, methods, techniques and perspectives to analyze the random phenomena. Both researchers and advanced students will find this book of great use for learning about new avenues of research.

This is the first book devoted to lattice methods, a recently developed way of calculating multiple integrals in many variables. Multiple integrals of this kind arise in fields such as quantum physics and chemistry, statistical mechanics, Bayesian statistics and many others. Lattice methods are an effective tool when the number of integrals are large. The book begins with a review of existing methods before presenting lattice theory in a thorough, self-contained manner, with numerous illustrations and examples. Group and number theory are included, but the treatment is such that no prior knowledge is needed. Not only the theory but the practical implementation of lattice methods is covered. An algorithm is presented alongside tables not available elsewhere, which together allow the practical evaluation of multiple integrals in many variables. Most importantly, the algorithm produces an error estimate in a very efficient manner. The book also provides a fast track for readers wanting to move rapidly to using lattice methods in practical calculations. It concludes with extensive numerical tests which compare lattice methods with other methods, such as the Monte Carlo.

This book presents cutting-edge contributions in the areas of control theory and partial differential equations. Over the decades, control theory has had deep and fruitful interactions with the theory of partial differential equations (PDEs). Well-known examples are the study of the generalized solutions of Hamilton-Jacobi-Bellman equations arising in deterministic and stochastic optimal control and the development of modern analytical tools to study the controllability of infinite dimensional systems governed by PDEs. In the present volume, leading experts provide an up-to-date overview of the connections between these two vast fields of mathematics. Topics addressed include regularity of the value function associated to finite dimensional control systems, controllability and observability for PDEs, and asymptotic analysis of multiagent systems. The book will be of interest for both researchers and graduate students working in these areas.

This book presents a method for solving linear ordinary differential equations based on the factorization of the differential operator. The approach for the case of constant coefficients is elementary, and only requires a basic knowledge of calculus and linear algebra. In particular, the book avoids the use of distribution theory, as well as the other more advanced approaches: Laplace transform, linear systems, the general theory of linear equations with variable coefficients and variation of parameters. The case of variable coefficients is addressed using Mammana's result for the factorization of a real linear ordinary differential operator into a product of first-order (complex) factors, as well as a recent generalization of this result to the case of complex-valued coefficients.

The book provides a detailed exposition of the calculus of variations on fibre bundles and graded manifolds. It presents applications in such area's as non-relativistic mechanics, gauge theory, gravitation theory and topological field theory with emphasis on energy and energy-momentum conservation laws. Within this general context the first and second Noether theorems are treated in the very general setting of reducible degenerate graded Lagrangian theory.

This volume presents some recent and principal developments related to computational intelligence and optimization methods in control. Theoretical aspects and practical applications of control engineering are covered by 14 self-contained contributions. Additional gems include the discussion of future directions and research perspectives designed to add to the reader's understanding of both the challenges faced in control engineering and the insights into the developing of new techniques. With the knowledge obtained, readers are encouraged to determine the appropriate control method for specific applications.

This proceedings volume addresses advances in global optimization a multidisciplinary research field that deals with the analysis, characterization and computation of global minima and/or maxima of nonlinear, non-convex and nonsmooth functions in continuous or discrete forms. The volume contains selected papers from the third biannual World Congress on Global Optimization in Engineering & Science (WCGO), held in the Yellow Mountains, Anhui, China on July 8-12, 2013. The papers fall into eight topical sections: mathematical programming; combinatorial optimization; duality theory; topology optimization; variational inequalities and complementarity problems; numerical optimization; stochastic models and simulation and complex simulation and supply chain analysis."

This volume provides a unique collection of mathematical tools and industrial case studies in digital manufacturing. It addresses various topics, ranging from models of single production technologies, production lines, logistics and workflows to models and optimization strategies for energy consumption in production. The digital factory represents a network of digital models and simulation and 3D visualization methods for the holistic planning, realization, control and ongoing improvement of all factory processes related to a specific product. In the past ten years, all industrialized countries have launched initiatives to realize this vision, sometimes also referred to as Industry 4.0 (in Europe) or Smart Manufacturing (in the United States). Its main goals are * reconfigurable, adaptive and evolving factories capable of small-scale production * high-performance production, combining flexibility, productivity, precision and zero defects * energy and resource efficiency in manufacturing None of these goals can be achieved without a thorough modeling of all aspects of manufacturing together with a multi-scale simulation and optimization of process chains; in other words, without mathematics. To foster collaboration between mathematics and industry in this area the European Consortium for Mathematics in Industry (ECMI) founded a special interest group on Math for the Digital Factory (M4DiFa). This book compiles a selection of review papers from the M4DiFa kick-off meeting held at the Weierstrass Institute for Applied Analysis and Stochastics in Berlin, Germany, in May 2014. The workshop aimed at bringing together mathematicians working on modeling, simulation and optimization with researchers and practitioners from the manufacturing industry to develop a holistic mathematical view on digital manufacturing. This book is of interest to practitioners from industry who want to learn about important mathematical concepts, as well as to scientists who want to find out about an exciting new area of application that is of vital importance for today's highly industrialized and high-wage countries.

In this book, fundamental methods of nonlinear analysis are introduced, discussed and illustrated in straightforward examples. Each method considered is motivated and explained in its general form, but presented in an abstract framework as comprehensively as possible. A large number of methods are applied to boundary value problems for both ordinary and partial differential equations. In this edition we have made minor revisions, added new material and organized the content slightly differently.

In particular, we included evolutionary equations and differential equations on manifolds. The applications to partial differential equations follow every abstract framework of the method in question.

The text is structured in two levels: a self-contained basic level and an advanced level - organized in appendices - for the more experienced reader. The last chapter contains more involved material and can be skipped by those new to the field. This book serves as both a textbook for graduate-level courses and a reference book for mathematicians, engineers and applied scientists

Stochastic Averaging and Extremum Seeking treats methods inspired by attempts to understand the seemingly non-mathematical question of bacterial chemotaxis and their application in other environments. The text presents significant generalizations on existing stochastic averaging theory developed from scratch and necessitated by the need to avoid violation of previous theoretical assumptions by algorithms which are otherwise effective in treating these systems. Coverage is given to four main topics. Stochastic averaging theorems are developed for the analysis of continuous-time nonlinear systems with random forcing, removing prior restrictions on nonlinearity growth and on the finiteness of the time interval. The new stochastic averaging theorems are usable not only as approximation tools but also for providing stability guarantees. Stochastic extremum-seeking algorithms are introduced for optimization of systems without available models. Both gradient- and Newton-based algorithms are presented, offering the user the choice between the simplicity of implementation (gradient) and the ability to achieve a known, arbitrary convergence rate (Newton). The design of algorithms for non-cooperative/adversarial games is described. The analysis of their convergence to Nash equilibria is provided. The algorithms are illustrated on models of economic competition and on problems of the deployment of teams of robotic vehicles. Bacterial locomotion, such as chemotaxis in E. coli, is explored with the aim of identifying two simple feedback laws for climbing nutrient gradients. Stochastic extremum seeking is shown to be a biologically-plausible interpretation for chemotaxis. For the same chemotaxis-inspired stochastic feedback laws, the book also provides a detailed analysis of convergence for models of nonholonomic robotic vehicles operating in GPS-denied environments. The book contains block diagrams and several simulation examples, including examples arising from bacterial locomotion, multi-agent robotic systems, and economic market models. Stochastic Averaging and Extremum Seeking will be informative for control engineers from backgrounds in electrical, mechanical, chemical and aerospace engineering and to applied mathematicians. Economics researchers, biologists, biophysicists and roboticists will find the applications examples instructive.