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)

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.

The inverse scattering problem is central to many areas of science and technology such as radar and sonar, medical imaging, geophysical exploration and nondestructive testing. This book is devoted to the mathematical and numerical analysis of the inverse scattering problem for acoustic and electromagnetic waves. In this third edition, new sections have been added on the linear sampling and factorization methods for solving the inverse scattering problem as well as expanded treatments of iteration methods and uniqueness theorems for the inverse obstacle problem. These additions have in turn required an expanded presentation of both transmission eigenvalues and boundary integral equations in Sobolev spaces. As in the previous editions, emphasis has been given to simplicity over generality thus providing the reader with an accessible introduction to the field of inverse scattering theory.

Review of earlier editions:

"Colton and Kress have written a scholarly, state of the art account of their view of direct and inverse scattering. The book is a pleasure to read as a graduate text or to dip into at leisure. It suggests a number of open problems and will be a source of inspiration for many years to come."

SIAM Review, September 1994

"This book should be on the desk of any researcher, any student, any teacher interested in scattering theory."

Mathematical Intelligencer, June 1994"

This book covers numerical methods for stochastic partial differential equations with white noise using the framework of Wong-Zakai approximation. The book begins with some motivational and background material in the introductory chapters and is divided into three parts. Part I covers numerical stochastic ordinary differential equations. Here the authors start with numerical methods for SDEs with delay using the Wong-Zakai approximation and finite difference in time. Part II covers temporal white noise. Here the authors consider SPDEs as PDEs driven by white noise, where discretization of white noise (Brownian motion) leads to PDEs with smooth noise, which can then be treated by numerical methods for PDEs. In this part, recursive algorithms based on Wiener chaos expansion and stochastic collocation methods are presented for linear stochastic advection-diffusion-reaction equations. In addition, stochastic Euler equations are exploited as an application of stochastic collocation methods, where a numerical comparison with other integration methods in random space is made. Part III covers spatial white noise. Here the authors discuss numerical methods for nonlinear elliptic equations as well as other equations with additive noise. Numerical methods for SPDEs with multiplicative noise are also discussed using the Wiener chaos expansion method. In addition, some SPDEs driven by non-Gaussian white noise are discussed and some model reduction methods (based on Wick-Malliavin calculus) are presented for generalized polynomial chaos expansion methods. Powerful techniques are provided for solving stochastic partial differential equations. This book can be considered as self-contained. Necessary background knowledge is presented in the appendices. Basic knowledge of probability theory and stochastic calculus is presented in Appendix A. In Appendix B some semi-analytical methods for SPDEs are presented. In Appendix C an introduction to Gauss quadrature is provided. In Appendix D, all the conclusions which are needed for proofs are presented, and in Appendix E a method to compute the convergence rate empirically is included. In addition, the authors provide a thorough review of the topics, both theoretical and computational exercises in the book with practical discussion of the effectiveness of the methods. Supporting Matlab files are made available to help illustrate some of the concepts further. Bibliographic notes are included at the end of each chapter. This book serves as a reference for graduate students and researchers in the mathematical sciences who would like to understand state-of-the-art numerical methods for stochastic partial differential equations with white noise.

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

This book discusses recent developments in and contemporary research on summability theory, including general summability methods, direct theorems on summability, absolute and strong summability, special methods of summability, functional analytic methods in summability, and related topics and applications. All contributing authors are eminent scientists, researchers and scholars in their respective fields, and hail from around the world. The book can be used as a textbook for graduate and senior undergraduate students, and as a valuable reference guide for researchers and practitioners in the fields of summability theory and functional analysis. Summability theory is generally used in analysis and applied mathematics. It plays an important part in the engineering sciences, and various aspects of the theory have long since been studied by researchers all over the world.

The International Conference on Differential Equations, theor*y, nu- merics and applications(ICDE'96-Bandung) was held successfully at the West Aula of Institut TeknoIogi Bandung on September 29 - October 2, 1996, hosted by the Center of Mathematics and the Department of Mathe- matics ITB. This was the first international conference on differential equa- tions in the region and attended by participants from 12 countries: Aus- tralia, Cambodia, Hong Kong, France, IndonE'sia, Malaysia, Netherlands, Philippine, Thailand, Singapore, USA and Vietnam. We would like to express our gratitude to the following organizations and institution: Directorate General of Higher Education of Indonesia (through Center Grant Project), Institut Teknologi Bandung, UNESCO (through Participating Programme and ROSTSEA Programme), European Economic Community(through the Joint Research Project between the Faculty of Ap- plied Mathematics, Universiteit Twente and the Department of Mathemat- ics, Institut Teknologi Bandung), South East Asian Mathematical Society (SEAMS), French Embassy in Jakarta and local sponsors for their generolls support which have made this conference possible.

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

Second Order Differential Equations presents a classical piece of theory concerning hypergeometric special functions as solutions of second-order linear differential equations. The theory is presented in an entirely self-contained way, starting with an introduction of the solution of the second-order differential equations and then focusingon the systematic treatment and classification of these solutions.

Each chapter contains a set of problems which help reinforce the theory. Some of the preliminaries are covered in appendices at the end of the book, one of which provides an introduction to Poincare-Perron theory, and the appendix also contains a new way of analyzing the asymptomatic behavior of solutions of differential equations.

This textbook is appropriate for advanced undergraduate and graduate students in Mathematics, Physics, and Engineering interested in Ordinary and Partial Differntial Equations. A solutions manual is available online."

This sixth Volume of the International Workshop on Instabilities and Nonequilibrium Structures is dedicated to the memory of my friend Walter Zeller, Professor of the Universidad C'at6lica df' Valparaiso and Vice-Director of the Workshop. Walter Zeller was much more than an organizer of this meeting: his enthusiasm, dedication and critical views were many times the essential ingredients to continue with a task which in occasions faced difficulties and incomprehensiolls. It is in great part due to him that the workshop has adquired to-day tradition. maturity and international recognition. This Volume should have been coedited by Walter and it is with df'ep emotion that I learned that his disciples Javier Martinez and Rolando Tiemann wanted as a last hommage to their Professor and friend to coedit tfus book. No me seria posible terminal' estas lineas sin pensar en la senora Adriana Gamonal de Zelln. qUf' ella encuentre en este libro la admiraci6n y reconocimiento hacia su marido de quiPIlf's [l\Prall sus discipulos, colegas y amigos.

'Et moi, ..., si j'avait su comment en reveru.r, One service mathematics has rendered the je n'y scrais point aIle.' human race. It has put common sense back Jules Verne where it belongs, on the topmost shelf next to the dusty canister labelled 'discarded non The series is divergent; therefore we may be sense'. Eric T. Bell able to do something with it. 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 papers in this volume represent a selection of updated talks which were presented in an SDS sponsored International Workshop in Panporovo, Bulgaria, in September 1990. The aim of the text is to bring the reader up to date on research in set-valued analysis and differential inclusions.

This volume contains contributions from international experts in the fields of constructive approximation. This area has reached out to encompass the computational and approximation-theoretical aspects of various interesting fields in applied mathematics such as (multivariate) approximation methods, quasi-interpolation, and approximation by (orthogonal) polynomials, as well as the modern mathematical developments in neuro fuzzy approximation, RBF-networks, industrial and engineering applications.

This book is intended as a continuation of my book "Parametrix Method in the Theory of Differential Complexes" (see [291]). There, we considered complexes of differential operators between sections of vector bundles and we strived more than for details. Although there are many applications to for maximal generality overdetermined systems, such an approach left me with a certain feeling of dissat- faction, especially since a large number of interesting consequences can be obtained without a great effort. The present book is conceived as an attempt to shed some light on these new applications. We consider, as a rule, differential operators having a simple structure on open subsets of Rn. Currently, this area is not being investigated very actively, possibly because it is already very highly developed actively (cf. for example the book of Palamodov [213]). However, even in this (well studied) situation the general ideas from [291] allow us to obtain new results in the qualitative theory of differential equations and frequently in definitive form. The greater part of the material presented is related to applications of the L- rent series for a solution of a system of differential equations, which is a convenient way of writing the Green formula. The culminating application is an analog of the theorem of Vitushkin [303] for uniform and mean approximation by solutions of an elliptic system. Somewhat afield are several questions on ill-posedness, but the parametrix method enables us to obtain here a series of hitherto unknown facts.

This book explores recent advances in uncertainty quantification for hyperbolic, kinetic, and related problems. The contributions address a range of different aspects, including: polynomial chaos expansions, perturbation methods, multi-level Monte Carlo methods, importance sampling, and moment methods. The interest in these topics is rapidly growing, as their applications have now expanded to many areas in engineering, physics, biology and the social sciences. Accordingly, the book provides the scientific community with a topical overview of the latest research efforts.

The book is dedicated to the construction of particular solutions of systems of ordinary differential equations in the form of series that are analogous to those used in Lyapunov s first method. A prominent place is given to asymptotic solutions that tend to an equilibrium position, especially in the strongly nonlinear case, where the existence of such solutions can t be inferred on the basis of the first approximation alone.

The book is illustrated with a large number of concrete examples of systems in which the presence of a particular solution of a certain class is related to special properties of the system s dynamic behavior. It is a book for students and specialists who work with dynamical systems in the fields of mechanics, mathematics, and theoretical physics.

The theory of two-person, zero-sum differential games started at the be- ginning of the 1960s with the works of R. Isaacs in the United States and L. S. Pontryagin and his school in the former Soviet Union. Isaacs based his work on the Dynamic Programming method. He analyzed many special cases of the partial differential equation now called Hamilton- Jacobi-Isaacs-briefiy HJI-trying to solve them explicitly and synthe- sizing optimal feedbacks from the solution. He began a study of singular surfaces that was continued mainly by J. Breakwell and P. Bernhard and led to the explicit solution of some low-dimensional but highly nontriv- ial games; a recent survey of this theory can be found in the book by J. Lewin entitled Differential Games (Springer, 1994). Since the early stages of the theory, several authors worked on making the notion of value of a differential game precise and providing a rigorous derivation of the HJI equation, which does not have a classical solution in most cases; we mention here the works of W. Fleming, A. Friedman (see his book, Differential Games, Wiley, 1971), P. P. Varaiya, E. Roxin, R. J. Elliott and N. J. Kalton, N. N. Krasovskii, and A. I. Subbotin (see their book Po- sitional Differential Games, Nauka, 1974, and Springer, 1988), and L. D. Berkovitz. A major breakthrough was the introduction in the 1980s of two new notions of generalized solution for Hamilton-Jacobi equations, namely, viscosity solutions, by M. G. Crandall and P. -L.

The present monograph analyses the FitzHugh-Nagumo (F-N) model Le., the Cauchy problem for some generalized Van der Pol equation depending on three real parameters a, band c. This model, given in (1. 1. 17), governs the initiation of the cardiac impulse. The presence of the three parameters leads to a large variety of dy namics, each of them responsible for a specific functioning of the heart. For physiologists it is highly desirable to have aglobai view of all possible qualitatively distinct responses of the F-N model for all values of the pa rameters. This reduces to the knowledge of the global bifurcation diagram. So far, only a few partial results appeared and they were spread through out the literature. Our work provides a more or less complete theoretical and numerical investigation of the complex phase dynamics and bifurca tions associated with the F-N dynamical system. This study includes the static and dynamic bifurcations generated by the variation of a, band c and the corresponding oscillations, of special interest for applications. It enables one to predict all possible types of initiations of heart beats and the mechanism of transformation of some types of oscillations into others by following the dynamics along transient phase space trajectories. Of course, all these results hold for the F-N model. The global phase space picture enables one to determine the domain of validity of this model."

Handbook of Grid Generation addresses the use of grids (meshes) in the numerical solutions of partial differential equations by finite elements, finite volume, finite differences, and boundary elements. Four parts divide the chapters: structured grids, unstructured girds, surface definition, and adaption/quality. An introduction to each section provides a roadmap through the material. This handbook covers: -Fundamental concepts and approaches -Grid generation process -Essential mathematical elements from tensor analysis and differential geometry, particularly relevant to curves and surfaces -Cells of any shape - Cartesian, structured curvilinear coordinates, unstructured tetrahedra, unstructured hexahedra, or various combinations -Separate grids overlaid on one another, communicating data through interpolation -Moving boundaries and internal interfaces in the field -Resolving gradients and controlling solution error -Grid generation codes, both commercial and freeware, as well as representative and illustrative grid configurations Handbook of Grid Generation contains 37 chapters as well as contributions from more than 100 experts from around the world, comprehensively evaluating this expanding field and providing a fundamental orientation for practitioners.

This work presents a detailed study of linear abstract degenerate differential equations, using both the semigroups generated by multivalued (linear) operators and extensions of the operational method from Da Prato and Grisvard. The authors describe the recent and original results on PDEs and algebraic-differential equations, and establishes the analyzability of the semigroup generated by some degenerate parabolic operators in spaces of continuous functions.

This book is the first to report on theoretical breakthroughs on control of complex dynamical systems developed by collaborative researchers in the two fields of dynamical systems theory and control theory. As well, its basic point of view is of three kinds of complexity: bifurcation phenomena subject to model uncertainty, complex behavior including periodic/quasi-periodic orbits as well as chaotic orbits, and network complexity emerging from dynamical interactions between subsystems. Analysis and Control of Complex Dynamical Systems offers a valuable resource for mathematicians, physicists, and biophysicists, as well as for researchers in nonlinear science and control engineering, allowing them to develop a better fundamental understanding of the analysis and control synthesis of such complex systems.

A rich variety of books devoted to dynamical chaos, solitons, self-organization has appeared in recent years. These problems were all considered independently of one another. Therefore many of readers of these books do not suspect that the problems discussed are divisions of a great generalizing science - the theory of oscillations and waves. This science is not some branch of physics or mechanics, it is a science in its own right. It is in some sense a meta-science. In this respect the theory of oscillations and waves is closest to mathematics. In this book we call the reader's attention to the present-day theory of non-linear oscillations and waves. Oscillatory and wave processes in the systems of diversified physical natures, both periodic and chaotic, are considered from a unified poin t of view . The relation between the theory of oscillations and waves, non-linear dynamics and synergetics is discussed. One of the purposes of this book is to convince reader of the necessity of a thorough study popular branches of of the theory of oscillat ions and waves, and to show that such science as non-linear dynamics, synergetics, soliton theory, and so on, are, in fact , constituent parts of this theory. The primary audiences for this book are researchers having to do with oscillatory and wave processes, and both students and post-graduate students interested in a deep study of the general laws and applications of the theory of oscillations and waves.