Consisting of 23 refereed contributions, this volume offers a broad and diverse view of current research in control and estimation of partial differential equations. Topics addressed include, but are not limited to - control and stability of hyperbolic systems related to elasticity, linear and nonlinear; - control and identification of nonlinear parabolic systems; - exact and approximate controllability, and observability; - Pontryagin's maximum principle and dynamic programming in PDE; and - numerics pertinent to optimal and suboptimal control problems. This volume is primarily geared toward control theorists seeking information on the latest developments in their area of expertise. It may also serve as a stimulating reader to any researcher who wants to gain an impression of activities at the forefront of a vigorously expanding area in applied mathematics.

A collection of self contained state-of-the art surveys. The authors have made an effort to achieve readability for mathematicians and scientists from other fields, for this series of handbooks to be a new reference for research, learning and teaching.
* Written by well-known experts in the field
* Self contained volume in series covering one of the most rapid developing topics in mathematics
* Informed and thoroughly updated for students, academics and researchers

In this third volume of his modern introduction to quantum field theory, Eberhard Zeidler examines the mathematical and physical aspects of gauge theory as a principle tool for describing the four fundamental forces which act in the universe: gravitative, electromagnetic, weak interaction and strong interaction.

Volume III concentrates on the "classical aspects "of gauge theory, describing the four fundamental forces by the curvature of appropriate fiber bundles." "This must be supplemented by the crucial, but elusive quantization procedure.

The book is arranged in four sections, devoted to realizing the universal principle "force equals curvature: "

Part I: The Euclidean Manifold as a Paradigm

Part II: Ariadne's Thread in Gauge Theory

Part III: Einstein's Theory of Special Relativity

Part IV: Ariadne's Thread in Cohomology

For students of mathematics the book is designed to demonstrate that detailed knowledge of the physical background helps to reveal interesting interrelationships among diverse mathematical topics. Physics students will be exposed to a fairly advanced mathematics, beyond the level covered in the typical physics curriculum.

"Quantum Field Theory" builds a bridge between mathematicians and physicists, based on challenging questions about the fundamental forces in the universe (macrocosmos), and in the world of elementary particles (microcosmos).

"

A number of recent significant developments in the theory of differential equations are presented in an elementary fashion, many of which are scattered throughout the literature and have not previously appeared in book form, the common denominator being the theory of planar vector fields (real or complex). A second common feature is the study of bifurcations of dynamical systems. Moreover, the book links fields that have developed independently and signposts problems that are likely to become significant in the future.
The following subjects are covered: new tools for local and global properties of systems and families of systems, nonlocal bifurcations, finiteness properties of Pfaffian functions and of differential equations, geometric interpretation of the Stokes phenomena, analytic theory of ordinary differential equations and complex foliations, applications to Hilbert's 16th problem.

This text is meant to be an introduction to critical point theory and its ap- plications to differential equations. It is designed for graduate and postgrad- uate students as well as for specialists in the fields of differential equations, variational methods and optimization. Although related material can be the treatment here has the following main purposes: found in other books, * To present a survey on existing minimax theorems, * To give applications to elliptic differential equations in bounded do- mains and periodic second-order ordinary differential equations, * To consider the dual variational method for problems with continuous and discontinuous nonlinearities, * To present some elements of critical point theory for locally Lipschitz functionals and to give applications to fourth-order differential equa- tions with discontinuous nonlinearities, * To study homo clinic solutions of differential equations via the varia- tional method. The Contents of the book consist of seven chapters, each one divided into several sections. A bibliography is attached to the end of each chapter. In Chapter I, we present minimization theorems and the mountain-pass theorem of Ambrosetti-Rabinowitz and some of its extensions. The con- cept of differentiability of mappings in Banach spaces, the Fnkhet's and Gateaux derivatives, second-order derivatives and general minimization the- orems, variational principles of Ekeland [EkI] and Borwein & Preiss [BP] are proved and relations to the minimization problem are given. Deformation lemmata, Palais-Smale conditions and mountain-pass theorems are consid- ered.

This concise, well-written handbook provides a distillation of real variable theory with a particular focus on the subject's significant applications to differential equations and Fourier analysis. Ample examples and brief explanations---with very few proofs and little axiomatic machinery---are used to highlight all the major results of real analysis, from the basics of sequences and series to the more advanced concepts of Taylor and Fourier series, Baire Category, and the Weierstrass Approximation Theorem. Replete with realistic, meaningful applications to differential equations, boundary value problems, and Fourier analysis, this unique work is a practical, hands-on manual of real analysis that is ideal for physicists, engineers, economists, and others who wish to use the fruits of real analysis but who do not necessarily have the time to appreciate all of the theory. Valuable as a comprehensive reference, a study guide for students, or a quick review, "A Handbook of Real Variables" will benefit a wide audience.

This book presents recent findings on the global existence, the uniqueness and the large-time behavior of global solutions of thermo(vis)coelastic systems and related models arising in physics, mechanics and materials science such as thermoviscoelastic systems, thermoelastic systems of types II and III, as well as Timoshenko-type systems with past history. Part of the book is based on the research conducted by the authors and their collaborators in recent years. The book will benefit interested beginners in the field and experts alike.

The articles in this volume reflect a subsequent development after a scientific meeting entitled Carleman Estimates and Control Theory, held in Cartona in September 1999. The 14 research-level articles, written by experts, focus on new results on Carleman estimates and their applications to uniqueness and controlla- bility of partial differential equations and systems. The main topics are unique continuation for elliptic PDEs and systems, con- trol theory and inverse problems. New results on strong uniqueness for second or higher order operators are explored in detail in several papers. In the area of control theory. the reader will find applications of Carleman estimates to stabiliza- tion, observability and exact control for the wave and the SchrOdinger equations. A final paper presents a challenging list of open problems on the topic of control- lability of linear and sernilinear heat equations. The papers contain exhaustive and essentially self-contained proofs directly ac- cessible to mathematicians, physicists, and graduate students with an elementary background in PDEs. Contributors are L. Aloui, M. Bellassoued, N. Burq, F. Colombini, B. Dehman, C. Grammatico, M. Khenissi, H. Koch, P. Le Borgne, N. Lerner, T. Nishitani. T. Okaji, K.D. Phung, R. Regbaoui, X. Saint Raymond, D. Tataru, and E. Zuazua.

To summarize briefly, this book is devoted to an exposition of the foundations of pseudo differential equations theory in non-smooth domains. The elements of such a theory already exist in the literature and can be found in such papers and monographs as [90,95,96,109,115,131,132,134,135,136,146, 163,165,169,170,182,184,214-218]. In this book, we will employ a theory that is based on quite different principles than those used previously. However, precisely one of the standard principles is left without change, the "freezing of coefficients" principle. The first main difference in our exposition begins at the point when the "model problem" appears. Such a model problem for differential equations and differential boundary conditions was first studied in a fundamental paper of V. A. Kondrat'ev [134]. Here also the second main difference appears, in that we consider an already given boundary value problem. In some transformations this boundary value problem was reduced to a boundary value problem with a parameter . -\ in a domain with smooth boundary, followed by application of the earlier results of M. S. Agranovich and M. I. Vishik. In this context some operator-function R('-\) appears, and its poles prevent invertibility; iffor differential operators the function is a polynomial on A, then for pseudo differential operators this dependence on . -\ cannot be defined. Ongoing investigations of different model problems are being carried out with approximately this plan, both for differential and pseudodifferential boundary value problems.

This is a collection of articles written by mathematicians and physicists, designed to describe the state of the art in climate models with stochastic input. Mathematicians will benefit from a survey of simple models, while physicists will encounter mathematically relevant techniques at work.

This text gathers, revises and explains the newly developed Adomian decomposition method along with its modification and some traditional techniques.

This book introduces the basic concept of a dissipative soliton, before going to explore recent theoretical and experimental results for various classes of dissipative optical solitons, high-energy dissipative solitons and their applications, and mode-locked fiber lasers. A soliton is a concept which describes various physical phenomena ranging from solitary waves forming on water to ultrashort optical pulses propagating in an optical fiber. While solitons are usually attributed to integrability, in recent years the notion of a soliton has been extended to various systems which are not necessarily integrable. Until now, the main emphasis has been given to well-known conservative soliton systems, but new avenues of inquiry were opened when physicists realized that solitary waves did indeed exist in a wide range of non-integrable and non-conservative systems leading to the concept of so-called dissipative optical solitons. Dissipative optical solitons have many unique properties which differ from those of their conservative counterparts. For example, except for very few cases, they form zero-parameter families and their properties are completely determined by the external parameters of the optical system. They can exist indefinitely in time, as long as these parameters stay constant. These features of dissipative solitons are highly desirable for several applications, such as in-line regeneration of optical data streams and generation of stable trains of laser pulses by mode-locked cavities.

This book presents a solution of the harder part of the problem of defining globally arbitrary Lie group actions on such nonsmooth entities as generalised functions. Earlier, in part 3 of Oberguggenberger & Rosinger, Lie group actions were defined globally - in the projectable case - on the nowhere dense differential algebras of generalised functions An, as well as on the Colombeau algebras of generalised functions, and also on the spaces obtained through the order completion of smooth functions, spaces which contain the solutions of arbitrary continuous nonlinear PDEs. Further details can be found in Rosinger & Rudolph, and Rosinger & Walus [1,2]. To the extent that arbitrary Lie group actions are now defined on such nonsmooth entities as generalised functions, this result can be seen as giving an ans wer to Hilbert's fifth problem, when this problem is interpreted in its original full gener- ality, see for details chapter 11.

The authors present recent developments in spectral conditions for the existence of Periodic and almost periodic solutions of inhomogenous equations in Banach Spaces. Many of the results represent significant advances in this area. In particular, a new approach based on the so-called evolution semigroups with an original decomposition technique is systematically presented.
The Monograph also includes extentions of classical methods, such as fixed points and stability methods, to abstract functional differential equations with applications to partial functional differential equations,

One service mathematics has rendered the 'Et moi, ..., si j'avait su comment en revenir, je n'y serais point alle.' human race. It has put common sense back Jules Verne where it belongs, on the topmost shelf next to the dusty canister labelled 'discarded n- sense'. The series is divergent; therefore we may be able to do something with it. Eric T. Bell O. Heaviside Mathematics is a tool for thought. A highly necessary tool in a world where both feedback and non linearities abound. Similarly, all kinds of parts of mathematics serve as tools for other parts and for other sciences. Applying a simple rewriting rule to the quote on the right above one finds such statements as: 'One service topology has rendered mathematical physics .. .'; 'One service logic has rendered com puter science .. .'; 'One service category theory has rendered mathematics .. .'. All arguably true. And all statements obtainable this way form part of the raison d'etre of this series."

The book provides a comprehensive, detailed and self-contained treatment of the fundamental mathematical properties of boundary-value problems related to the Navier-Stokes equations. These properties include existence, uniqueness and regularity of solutions in bounded as well as unbounded domains. Whenever the domain is unbounded, the asymptotic behavior of solutions is also investigated. This book is the new edition of the original two volume book, under the same title, published in 1994. In this new edition, the two volumes have merged into one and two more chapters on steady generalized oseen flow in exterior domains and steady Navier-Stokes flow in three-dimensional exterior domains have been added. Most of the proofs given in the previous edition were also updated. An introductory first chapter describes all relevant questions treated in the book and lists and motivates a number of significant and still open questions. It is written in an expository style so as to be accessible also to non-specialists.Each chapter is preceded by a substantial, preliminary discussion of the problems treated, along with their motivation and the strategy used to solve them. Also, each chapter ends with a section dedicated to alternative approaches and procedures, as well as historical notes. The book contains more than 400 stimulating exercises, at different levels of difficulty, that will help the junior researcher and the graduate student to gradually become accustomed with the subject. Finally, the book is endowed with a vast bibliography that includes more than 500 items. Each item brings a reference to the section of the book where it is cited. The book will be useful to researchers and graduate students in mathematics in particular mathematical fluid mechanics and differential equations. Review of First Edition, First Volume: "The emphasis of this book is on an introduction to the mathematical theory of the stationary Navier-Stokes equations. It is written in the style of a textbook and is essentially self-contained. The problems are presented clearly and in an accessible manner. Every chapter begins with a good introductory discussion of the problems considered, and ends with interesting notes on different approaches developed in the literature. Further, stimulating exercises are proposed. (Mathematical Reviews, 1995)

The intention of the international conference PDE2000 was to bring together specialists from different areas of modern analysis, mathematical physics and geometry, to discuss not only the recent progress in their own fields but also the interaction between these fields. The special topics of the conference were spectral and scattering theory, semiclassical and asymptotic analysis, pseudodifferential operators and their relation to geometry, as well as partial differential operators and their connection to stochastic analysis and to the theory of semigroups. The scientific advisory board of the conference in Clausthal consisted of M. Ben-Artzi (Jerusalem), Chen Hua (Peking), M. Demuth (Clausthal), T. Ichinose (Kanazawa), L. Rodino (Turin), B.-W. Schulze (Potsdam) and J. SjAstrand (Paris). The book is aimed at researchers in mathematics and mathematical physics with interests in partial differential equations and all its related fields.

This monograph is a first in the world to present three approaches for stability analysis of solutions of dynamic equations. The first approach is based on the application of dynamic integral inequalities and the fundamental matrix of solutions of linear approximation of dynamic equations. The second is based on the generalization of the direct Lyapunovs method for equations on time scales, using scalar, vector and matrix-valued auxiliary functions. The third approach is the application of auxiliary functions (scalar, vector, or matrix-valued ones) in combination with differential dynamic inequalities. This is an alternative comparison method, developed for time continuous and time discrete systems.In recent decades, automatic control theory in the study of air- and spacecraft dynamics and in other areas of modern applied mathematics has encountered problems in the analysis of the behavior of solutions of time continuous-discrete linear and/or nonlinear equations of perturbed motion. In the book "Men of Mathematics," 1937, E.T.Bell wrote: "A major task of mathematics today is to harmonize the continuous and the discrete, to include them in one comprehensive mathematics, and to eliminate obscurity from both."Mathematical analysis on time scales accomplishes exactly this. This research has potential applications in such areas as theoretical and applied mechanics, neurodynamics, mathematical biology and finance among others.

This monograph presents a graduate-level treatment of partial differential equations (PDEs) for engineers. The book begins with a review of the geometrical interpretation of systems of ODEs, the appearance of PDEs in engineering is motivated by the general form of balance laws in continuum physics. Four chapters are devoted to a detailed treatment of the single first-order PDE, including shock waves and genuinely non-linear models, with applications to traffic design and gas dynamics. The rest of the book deals with second-order equations. In the treatment of hyperbolic equations, geometric arguments are used whenever possible and the analogy with discrete vibrating systems is emphasized. The diffusion and potential equations afford the opportunity of dealing with questions of uniqueness and continuous dependence on the data, the Fourier integral, generalized functions (distributions), Duhamel's principle, Green's functions and Dirichlet and Neumann problems. The target audience primarily comprises graduate students in engineering, but the book may also be beneficial for lecturers, and research experts both in academia in industry.

This book consists of research papers that cover the scientific areas of the International Workshop on Operator Theory, Operator Algebras and Applications, held in Lisbon in September 2012. The volume particularly focuses on (i) operator theory and harmonic analysis (singular integral operators with shifts; pseudodifferential operators, factorization of almost periodic matrix functions; inequalities; Cauchy type integrals; maximal and singular operators on generalized Orlicz-Morrey spaces; the Riesz potential operator; modification of Hadamard fractional integro-differentiation), (ii) operator algebras (invertibility in groupoid C*-algebras; inner endomorphisms of some semi group, crossed products; C*-algebras generated by mappings which have finite orbits; Folner sequences in operator algebras; arithmetic aspect of C*_r SL(2); C*-algebras of singular integral operators; algebras of operator sequences) and (iii) mathematical physics (operator approach to diffraction from polygonal-conical screens; Poisson geometry of difference Lax operators).

Stochastic elasticity is a fast developing field that combines nonlinear elasticity and stochastic theories in order to significantly improve model predictions by accounting for uncertainties in the mechanical responses of materials. However, in contrast to the tremendous development of computational methods for large-scale problems, which have been proposed and implemented extensively in recent years, at the fundamental level, there is very little understanding of the uncertainties in the behaviour of elastic materials under large strains. Based on the idea that every large-scale problem starts as a small-scale data problem, this book combines fundamental aspects of finite (large-strain) elasticity and probability theories, which are prerequisites for the quantification of uncertainties in the elastic responses of soft materials. The problems treated in this book are drawn from the analytical continuum mechanics literature and incorporate random variables as basic concepts along with mechanical stresses and strains. Such problems are interesting in their own right but they are also meant to inspire further thinking about how stochastic extensions can be formulated before they can be applied to more complex physical systems.

This work collects the most important results presented at the Congress on Differential Equations and Applications/Congress on Applied Mathematics (CEDYA/CMA) in Cadiz (Spain) in 2015. It supports further research in differential equations, numerical analysis, mechanics, control and optimization. In particular, it helps readers gain an overview of specific problems of interest in the current mathematical research related to different branches of applied mathematics. This includes the analysis of nonlinear partial differential equations, exact solutions techniques for ordinary differential equations, numerical analysis and numerical simulation of some models arising in experimental sciences and engineering, control and optimization, and also trending topics on numerical linear Algebra, dynamical systems, and applied mathematics for Industry. This volume is mainly addressed to any researcher interested in the applications of mathematics, especially in any subject mentioned above. It may be also useful to PhD students in applied mathematics, engineering or experimental sciences.

This collection of carefully refereed and edited papers were originally presented at the Fourth International Conference on Difference Equations held in Poznan, Poland. Contributions were from a diverse group of researchers from several countries and featured discussions on the theory of difference equations, open problems and conjectures, as well as related applications. Whether new to the area of research, or a veteran, this volume will be a valuable resource on the recent advances in the field of difference equations.

This monograph develops techniques for equational reasoning in higher-order logic. Due to its expressiveness, higher-order logic is used for specification and verification of hardware, software, and mathematics. In these applica tions, higher-order logic provides the necessary level of abstraction for con cise and natural formulations. The main assets of higher-order logic are quan tification over functions or predicates and its abstraction mechanism. These allow one to represent quantification in formulas and other variable-binding constructs. In this book, we focus on equational logic as a fundamental and natural concept in computer science and mathematics. We present calculi for equa tional reasoning modulo higher-order equations presented as rewrite rules. This is followed by a systematic development from general equational rea soning towards effective calculi for declarative programming in higher-order logic and A-calculus. This aims at integrating and generalizing declarative programming models such as functional and logic programming. In these two prominent declarative computation models we can view a program as a logical theory and a computation as a deduction."