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.

The satellite range scheduling (SRS) problem, an important operations research problem in the aerospace industry consisting of allocating tasks among satellites and Earth-bound objects, is examined in this book. SRS principles and solutions are applicable to many areas, including: Satellite communications, where tasks are communication intervals between sets of satellites and ground stations Earth observation, where tasks are observations of spots on the Earth by satellites Sensor scheduling, where tasks are observations of satellites by sensors on the Earth. This self-contained monograph begins with a structured compendium of the problem and moves on to explain the optimal approach to the solution, which includes aspects from graph theory, set theory, game theory and belief networks. This book is accessible to students, professionals and researchers in a variety of fields, including: operations research, optimization, scheduling theory, dynamic programming and game theory. Taking account of the distributed, stochastic and dynamic variants of the problem, this book presents the optimal solution to the fixed interval SRS problem and how to migrate results into more complex cases. Reference algorithms and traditional algorithms for solving the scheduling problems are provided and compared with examples and simulations in practical scenarios.

Ship optimization design is critical to the preliminary design of a ship. With the rapid development of computer technology, the simulation-based design (SBD) technique has been introduced into the field of ship design. Typical SBD consists of three parts: geometric reconstruction; CFD numerical simulation; and optimization. In the context of ship design, these are used to alter the shape of the ship, evaluate the objective function and to assess the hull form space respectively. As such, the SBD technique opens up new opportunities and paves the way for a new method for optimal ship design. This book discusses the problem of optimizing ship's hulls, highlighting the key technologies of ship optimization design and presenting a series of hull-form optimization platforms. It includes several improved approaches and novel ideas with significant potential in this field

This edited monograph provides a comprehensive and in-depth analysis of sliding mode control, focusing on event-triggered implementation. The technique allows to prefix the steady-state bounds of the system, and this is independent of any boundary disturbances. The idea of event-triggered SMC is developed for both single input / single output and multi-input / multi-output linear systems. Moreover, the reader learns how to apply this method to nonlinear systems. The book primarily addresses research experts in the field of sliding mode control, but the book may also be beneficial for graduate students.

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 unique text/reference presents a fresh look at nonlinear processing through nonlinear eigenvalue analysis, highlighting how one-homogeneous convex functionals can induce nonlinear operators that can be analyzed within an eigenvalue framework. The text opens with an introduction to the mathematical background, together with a summary of classical variational algorithms for vision. This is followed by a focus on the foundations and applications of the new multi-scale representation based on non-linear eigenproblems. The book then concludes with a discussion of new numerical techniques for finding nonlinear eigenfunctions, and promising research directions beyond the convex case. Topics and features: introduces the classical Fourier transform and its associated operator and energy, and asks how these concepts can be generalized in the nonlinear case; reviews the basic mathematical notion, briefly outlining the use of variational and flow-based methods to solve image-processing and computer vision algorithms; describes the properties of the total variation (TV) functional, and how the concept of nonlinear eigenfunctions relate to convex functionals; provides a spectral framework for one-homogeneous functionals, and applies this framework for denoising, texture processing and image fusion; proposes novel ways to solve the nonlinear eigenvalue problem using special flows that converge to eigenfunctions; examines graph-based and nonlocal methods, for which a TV eigenvalue analysis gives rise to strong segmentation, clustering and classification algorithms; presents an approach to generalizing the nonlinear spectral concept beyond the convex case, based on pixel decay analysis; discusses relations to other branches of image processing, such as wavelets and dictionary based methods. This original work offers fascinating new insights into established signal processing techniques, integrating deep mathematical concepts from a range of different fields, which will be of great interest to all researchers involved with image processing and computer vision applications, as well as computations for more general scientific problems.

This volume contains the proceedings of the XII Symposium of Probability and Stochastic Processes which took place at Universidad Autonoma de Yucatan in Merida, Mexico, on November 16-20, 2015. This meeting was the twelfth meeting in a series of ongoing biannual meetings aimed at showcasing the research of Mexican probabilists as well as promote new collaborations between the participants. The book features articles drawn from different research areas in probability and stochastic processes, such as: risk theory, limit theorems, stochastic partial differential equations, random trees, stochastic differential games, stochastic control, and coalescence. Two of the main manuscripts survey recent developments on stochastic control and scaling limits of Markov-branching trees, written by Kazutoshi Yamasaki and Benedicte Haas, respectively. The research-oriented manuscripts provide new advances in active research fields in Mexico. The wide selection of topics makes the book accessible to advanced graduate students and researchers in probability and stochastic processes.

This book is devoted to the mathematical analysis of the numerical solution of boundary integral equations treating boundary value, transmission and contact problems arising in elasticity, acoustic and electromagnetic scattering. It serves as the mathematical foundation of the boundary element methods (BEM) both for static and dynamic problems. The book presents a systematic approach to the variational methods for boundary integral equations including the treatment with variational inequalities for contact problems. It also features adaptive BEM, hp-version BEM, coupling of finite and boundary element methods - efficient computational tools that have become extremely popular in applications. Familiarizing readers with tools like Mellin transformation and pseudodifferential operators as well as convex and nonsmooth analysis for variational inequalities, it concisely presents efficient, state-of-the-art boundary element approximations and points to up-to-date research. The authors are well known for their fundamental work on boundary elements and related topics, and this book is a major contribution to the modern theory of the BEM (especially for error controlled adaptive methods and for unilateral contact and dynamic problems) and is a valuable resource for applied mathematicians, engineers, scientists and graduate students.

Building on fundamental results in variational analysis, this monograph presents new and recent developments in the field as well as selected applications. Accessible to a broad spectrum of potential readers, the main material is presented in finite-dimensional spaces. Infinite-dimensional developments are discussed at the end of each chapter with comprehensive commentaries which emphasize the essence of major results, track the genesis of ideas, provide historical comments, and illuminate challenging open questions and directions for future research. The first half of the book (Chapters 1-6) gives a systematic exposition of key concepts and facts, containing basic material as well as some recent and new developments. These first chapters are particularly accessible to masters/doctoral students taking courses in modern optimization, variational analysis, applied analysis, variational inequalities, and variational methods. The reader's development of skills will be facilitated as they work through each, or a portion of, the multitude of exercises of varying levels. Additionally, the reader may find hints and references to more difficult exercises and are encouraged to receive further inspiration from the gems in chapter commentaries. Chapters 7-10 focus on recent results and applications of variational analysis to advanced problems in modern optimization theory, including its hierarchical and multiobjective aspects, as well as microeconomics, and related areas. It will be of great use to researchers and professionals in applied and behavioral sciences and engineering.

This volume on mathematical control theory contains high quality articles covering the broad range of this field. The internationally renowned authors provide an overview of many different aspects of control theory, offering a historical perspective while bringing the reader up to the very forefront of current research.

This book introduces readers to techniques of geometric optimal control as well as the exposure and applicability of adapted numerical schemes. It is based on two real-world applications, which have been the subject of two current academic research programs and motivated by industrial use - the design of micro-swimmers and the contrast problem in medical resonance imaging. The recently developed numerical software has been applied to the cases studies presented here. The book is intended for use at the graduate and Ph.D. level to introduce students from applied mathematics and control engineering to geometric and computational techniques in optimal control.

The objective of this book is to provide the reader with a comprehensive survey of the topic compressed sensing in information retrieval and signal detection with privacy preserving functionality without compromising the performance of the embedding in terms of accuracy or computational efficiency. The reader is guided in exploring the topic by first establishing a shared knowledge about compressed sensing and how it is used nowadays. Then, clear models and definitions for its use as a cryptosystem and a privacy-preserving embedding are laid down, before tackling state-of-the-art results for both applications. The reader will conclude the book having learned that the current results in terms of security of compressed techniques allow it to be a very promising solution to many practical problems of interest. The book caters to a broad audience among researchers, scientists, or engineers with very diverse backgrounds, having interests in security, cryptography and privacy in information retrieval systems. Accompanying software is made available on the authors' website to reproduce the experiments and techniques presented in the book. The only background required to the reader is a good knowledge of linear algebra, probability and information theory.

This book provides a direct and comprehensive introduction to theoretical and numerical concepts in the emerging field of optimal control of partial differential equations (PDEs) under uncertainty. The main objective of the book is to offer graduate students and researchers a smooth transition from optimal control of deterministic PDEs to optimal control of random PDEs. Coverage includes uncertainty modelling in control problems, variational formulation of PDEs with random inputs, robust and risk-averse formulations of optimal control problems, existence theory and numerical resolution methods. The exposition focusses on the entire path, starting from uncertainty modelling and ending in the practical implementation of numerical schemes for the numerical approximation of the considered problems. To this end, a selected number of illustrative examples are analysed in detail throughout the book. Computer codes, written in MatLab, are provided for all these examples. This book is adressed to graduate students and researches in Engineering, Physics and Mathematics who are interested in optimal control and optimal design for random partial differential equations.

This book offers a timely snapshot of soft computing methodologies and their applications to various problems related to sustainability, including electric energy consumption; fault diagnosis; vessel fuel consumption; determining the best sites for new malls; maritime port projects; and ad-hoc vehicular networks. Further, it demonstrates how metaheuristics and machine learning methods, fuzzy linear programming, neural networks, computing with words, linguistic models and other soft computing methods can be efficiently used to solve real-world problems. Intended as a practice-oriented guide for students, researchers, and professionals working at the interface between computer science, industrial engineering, naval engineering, agriculture, and sustainable development / climate change research, it provides readers with a set of intelligent solutions, helping them answer a range of emerging questions related to sustainability.

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.

The Variable-Order Fractional Calculus of Variations is devoted to the study of fractional operators with variable order and, in particular, variational problems involving variable-order operators. This brief presents a new numerical tool for the solution of differential equations involving Caputo derivatives of fractional variable order. Three Caputo-type fractional operators are considered, and for each one, an approximation formula is obtained in terms of standard (integer-order) derivatives only. Estimations for the error of the approximations are also provided. The contributors consider variational problems that may be subject to one or more constraints, where the functional depends on a combined Caputo derivative of variable fractional order. In particular, they establish necessary optimality conditions of Euler-Lagrange type. As the terminal point in the cost integral is free, as is the terminal state, transversality conditions are also obtained. The Variable-Order Fractional Calculus of Variations is a valuable source of information for researchers in mathematics, physics, engineering, control and optimization; it provides both analytical and numerical methods to deal with variational problems. It is also of interest to academics and postgraduates in these fields, as it solves multiple variational problems subject to one or more constraints in a single brief.

This edited volume includes thoroughly collected on sensing and control for autonomous vehicles. Guidance, navigation and motion control systems for autonomous vehicles are increasingly important in land-based, marine and aerial operations. Autonomous underwater vehicles may be used for pipeline inspection, light intervention work, underwater survey and collection of oceanographic/biological data. Autonomous unmanned aerial systems can be used in a large number of applications such as inspection, monitoring, data collection, surveillance, etc. At present, vehicles operate with limited autonomy and a minimum of intelligence. There is a growing interest for cooperative and coordinated multi-vehicle systems, real-time re-planning, robust autonomous navigation systems and robust autonomous control of vehicles. Unmanned vehicles with high levels of autonomy may be used for safe and efficient collection of environmental data, for assimilation of climate and environmental models and to complement global satellite systems. The target audience primarily comprises research experts in the field of control theory, but the book may also be beneficial for graduate students.

This book presents papers surrounding the extensive discussions that took place from the 'Variational Analysis and Aerospace Engineering' workshop held at the Ettore Majorana Foundation and Centre for Scientific Culture in 2015. Contributions to this volume focus on advanced mathematical methods in aerospace engineering and industrial engineering such as computational fluid dynamics methods, optimization methods in aerodynamics, optimum controls, dynamic systems, the theory of structures, space missions, flight mechanics, control theory, algebraic geometry for CAD applications, and variational methods and applications. Advanced graduate students, researchers, and professionals in mathematics and engineering will find this volume useful as it illustrates current collaborative research projects in applied mathematics and aerospace engineering.

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.

This volume focuses on contributions from both the mathematics and life science community surrounding the concepts of time and dynamicity of nature, two significant elements which are often overlooked in modeling process to avoid exponential computations. The book is divided into three distinct parts: dynamics of genomes and genetic variation, dynamics of motifs, and dynamics of biological networks. Chapters included in dynamics of genomes and genetic variation analyze the molecular mechanisms and evolutionary processes that shape the structure and function of genomes and those that govern genome dynamics. The dynamics of motifs portion of the volume provides an overview of current methods for motif searching in DNA, RNA and proteins, a key process to discover emergent properties of cells, tissues, and organisms. The part devoted to the dynamics of biological networks covers networks aptly discusses networks in complex biological functions and activities that interpret processes in cells. Moreover, chapters in this section examine several mathematical models and algorithms available for integration, analysis, and characterization. Once life scientists began to produce experimental data at an unprecedented pace, it become clear that mathematical models were necessary to interpret data, to structure information with the aim to unveil biological mechanisms, discover results, and make predictions. The second annual "Bringing Maths to Life" workshop held in Naples, Italy October 2015, enabled a bi-directional flow of ideas from and international group of mathematicians and biologists. The venue allowed mathematicians to introduce novel algorithms, methods, and software that may be useful to model aspects of life science, and life scientists posed new challenges for mathematicians.

The European Conference on Numerical Mathematics and Advanced Applications (ENUMATH), held every 2 years, provides a forum for discussing recent advances in and aspects of numerical mathematics and scientific and industrial applications. The previous ENUMATH meetings took place in Paris (1995), Heidelberg (1997), Jyvaskyla (1999), Ischia (2001), Prague (2003), Santiago de Compostela (2005), Graz (2007), Uppsala (2009), Leicester (2011) and Lausanne (2013). This book presents a selection of invited and contributed lectures from the ENUMATH 2015 conference, which was organised by the Institute of Applied Mathematics (IAM), Middle East Technical University, Ankara, Turkey, from September 14 to 18, 2015. It offers an overview of central recent developments in numerical analysis, computational mathematics, and applications in the form of contributions by leading experts in the field.

This book contains the most recent progress in data assimilation in meteorology, oceanography and hydrology including land surface. It spans both theoretical and applicative aspects with various methodologies such as variational, Kalman filter, ensemble, Monte Carlo and artificial intelligence methods. Besides data assimilation, other important topics are also covered including targeting observation, sensitivity analysis, and parameter estimation. The book will be useful to individual researchers as well as graduate students for a reference in the field of data assimilation.

This book systematically describes the concepts and principles for multi-satellite relative motion, passive and near passive formation designs, trajectory planning and control for fuel optimal formation maneuvers, and formation flying maintenance control design. As such, it provides a sound foundation for researchers and engineers in this field to develop further theories and pursue their implementations. Though satellite formation flying is widely considered to be a major advance in space technology, there are few systematic treatments of the topic in the literature. Addressing that gap, the book offers a valuable resource for academics, researchers, postgraduate students and practitioners in the field of satellite science and engineering.

This volume collects research papers addressing topical issues in economics and management with a particular focus on dynamic models which allow to analyze and foster the decision making of firms in dynamic complex environments. The scope of the contributions ranges from daily operational challenges firms face to strategic choices in dynamic industry environments and the analysis of optimal growth paths. The volume also highlights recent methodological developments in the areas of dynamic optimization, dynamic games and meta-heuristics, which help to improve our understanding of (optimal) decision making in a fast evolving economy.

This book presents the proceedings of Positivity VII, held from 22-26 July 2013, in Leiden, the Netherlands. Positivity is the mathematical field concerned with ordered structures and their applications in the broadest sense of the word. A biyearly series of conferences is devoted to presenting the latest developments in this lively and growing discipline. The lectures at the conference covered a broad spectrum of topics, ranging from order-theoretic approaches to stochastic processes, positive solutions of evolution equations and positive operators on vector lattices, to order structures in the context of algebras of operators on Hilbert spaces. The contributions in the book reflect this variety and appeal to university researchers in functional analysis, operator theory, measure and integration theory and operator algebras. Positivity VII was also the Zaanen Centennial Conference to mark the 100th birth year of Adriaan Cornelis Zaanen, who held the chair of Analysis in Leiden for more than 25 years and was one of the leaders in the field during his lifetime.