This monograph is devoted to a rapidly developing area of research of the qualitative theory of difference and functional differential equations. In fact, in the last 25 years Oscillation Theory of difference and functional differential equations has attracted many researchers. This has resulted in hundreds of research papers in every major mathematical journal, and several books. In the first chapter of this monograph, we address oscillation of solutions to difference equations of various types. Here we also offer several new fundamental concepts such as oscillation around a point, oscillation around a sequence, regular oscillation, periodic oscillation, point-wise oscillation of several orthogonal polynomials, global oscillation of sequences of real valued functions, oscillation in ordered sets, ( , R, )-oscillate, oscillation in linear spaces, oscillation in Archimedean spaces, and oscillation across a family. These concepts are explained through examples and supported by interesting results. In the second chapter we present recent results pertaining to the oscil lation of n-th order functional differential equations with deviating argu ments, and functional differential equations of neutral type. We mainly deal with integral criteria for oscillation. While several results of this chapter were originally formulated for more complicated and/or more general differ ential equations, we discuss here a simplified version to elucidate the main ideas of the oscillation theory of functional differential equations. Further, from a large number of theorems presented in this chapter we have selected the proofs of only those results which we thought would best illustrate the various strategies and ideas involved."

This book is intended as a self-contained exposition of hyperbolic functional dif ferential inequalities and their applications. Its aim is to give a systematic and unified presentation of recent developments of the following problems: (i) functional differential inequalities generated by initial and mixed problems, (ii) existence theory of local and global solutions, (iii) functional integral equations generated by hyperbolic equations, (iv) numerical method of lines for hyperbolic problems, (v) difference methods for initial and initial-boundary value problems. Beside classical solutions, the following classes of weak solutions are treated: Ca ratheodory solutions for quasilinear equations, entropy solutions and viscosity so lutions for nonlinear problems and solutions in the Friedrichs sense for almost linear equations. The theory of difference and differential difference equations ge nerated by original problems is discussed and its applications to the constructions of numerical methods for functional differential problems are presented. The monograph is intended for different groups of scientists. Pure mathemati cians and graduate students will find an advanced theory of functional differential problems. Applied mathematicians and research engineers will find numerical al gorithms for many hyperbolic problems. The classical theory of partial differential inequalities has been described exten sively in the monographs 138, 140, 195, 225). As is well known, they found applica tions in differential problems. The basic examples of such questions are: estimates of solutions of partial equations, estimates of the domain of the existence of solu tions, criteria of uniqueness and estimates of the error of approximate solutions."

The aim of this proceeding is addressed to present recent developments of the mathematical research on the Navier-Stokes equations, the Euler equations and other related equations. In particular, we are interested in such problems as: 1) existence, uniqueness and regularity of weak solutions2) stability and its asymptotic behavior of the rest motion and the steady state3) singularity and blow-up of weak and strong solutions4) vorticity and energy conservation5) fluid motions around the rotating axis or outside of the rotating body6) free boundary problems7) maximal regularity theorem and other abstract theorems for mathematical fluid mechanics.

This book discusses the latest advances in algorithms for symbolic summation, factorization, symbolic-numeric linear algebra and linear functional equations. It presents a collection of papers on original research topics from the Waterloo Workshop on Computer Algebra (WWCA-2016), a satellite workshop of the International Symposium on Symbolic and Algebraic Computation (ISSAC'2016), which was held at Wilfrid Laurier University (Waterloo, Ontario, Canada) on July 23-24, 2016. This workshop and the resulting book celebrate the 70th birthday of Sergei Abramov (Dorodnicyn Computing Centre of the Russian Academy of Sciences, Moscow), whose highly regarded and inspirational contributions to symbolic methods have become a crucial benchmark of computer algebra and have been broadly adopted by many Computer Algebra systems.

This monograph presents a collection of results, observations, and examples related to dynamical systems described by linear and nonlinear ordinary differential and difference equations. In particular, dynamical systems that are susceptible to analysis by the Liapunov approach are considered. The naive observation that certain "diagonal-type" Liapunov functions are ubiquitous in the literature attracted the attention of the authors and led to some natural questions. Why does this happen so often? What are the spe cial virtues of these functions in this context? Do they occur so frequently merely because they belong to the simplest class of Liapunov functions and are thus more convenient, or are there any more specific reasons? This monograph constitutes the authors' synthesis of the work on this subject that has been jointly developed by them, among others, producing and compiling results, properties, and examples for many years, aiming to answer these questions and also to formalize some of the folklore or "cul ture" that has grown around diagonal stability and diagonal-type Liapunov functions. A natural answer to these questions would be that the use of diagonal type Liapunov functions is frequent because of their simplicity within the class of all possible Liapunov functions. This monograph shows that, although this obvious interpretation is often adequate, there are many in stances in which the Liapunov approach is best taken advantage of using diagonal-type Liapunov functions. In fact, they yield necessary and suffi cient stability conditions for some classes of nonlinear dynamical systems."

Ten years after publication of the popular first edition of this volume, the index theorem continues to stand as a central result of modern mathematics-one of the most important foci for the interaction of topology, geometry, and analysis. Retaining its concise presentation but offering streamlined analyses and expanded coverage of important examples and applications, Elliptic Operators, Topology, and Asymptotic Methods, Second Edition introduces the ideas surrounding the heat equation proof of the Atiyah-Singer index theorem. The author builds towards proof of the Lefschetz formula and the full index theorem with four chapters of geometry, five chapters of analysis, and four chapters of topology. The topics addressed include Hodge theory, Weyl's theorem on the distribution of the eigenvalues of the Laplacian, the asymptotic expansion for the heat kernel, and the index theorem for Dirac-type operators using Getzler's direct method. As a "dessert," the final two chapters offer discussion of Witten's analytic approach to the Morse inequalities and the L2-index theorem of Atiyah for Galois coverings. The text assumes some background in differential geometry and functional analysis. With the partial differential equation theory developed within the text and the exercises in each chapter, Elliptic Operators, Topology, and Asymptotic Methods becomes the ideal vehicle for self-study or coursework. Mathematicians, researchers, and physicists working with index theory or supersymmetry will find it a concise but wide-ranging introduction to this important and intriguing field.

Beginning with the works of N.N.Krasovskii [81, 82, 83], which clari fied the functional nature of systems with delays, the functional approach provides a foundation for a complete theory of differential equations with delays. Based on the functional approach, different aspects of time-delay system theory have been developed with almost the same completeness as the corresponding field of ODE (ordinary differential equations) the ory. The term functional differential equations (FDE) is used as a syn onym for systems with delays 1. The systematic presentation of these re sults and further references can be found in a number of excellent books [2, 15, 22, 32, 34, 38, 41, 45, 50, 52, 77, 78, 81, 93, 102, 128]. In this monograph we present basic facts of i-smooth calculus ~ a new differential calculus of nonlinear functionals, based on the notion of the invariant derivative, and some of its applications to the qualitative theory of functional differential equations. Utilization of the new calculus is the main distinction of this book from other books devoted to FDE theory. Two other distinguishing features of the volume are the following: - the central concept that we use is the separation of finite dimensional and infinite dimensional components in the structures of FDE and functionals; - we use the conditional representation of functional differential equa tions, which is convenient for application of methods and constructions of i~smooth calculus to FDE theory.

Ne as' book "Direct Methods in the Theory of Elliptic Equations," published 1967 in French, has become a standard reference for the mathematical theory of linear elliptic equations and systems. This English edition, translated by G. Tronel and A. Kufner, presents Ne as' work essentially in the form it was published in 1967. It gives a timeless and in some sense definitive treatment of a number issues in variational methods for elliptic systems and higher order equations. The text is recommended to graduate students of partial differential equations, postdoctoral associates in Analysis, and scientists working with linear elliptic systems. In fact, any researcher using the theory of elliptic systems will benefit from having the book in his library.

The volume gives a self-contained presentation of the elliptic theory based on the "direct method," also known as the variational method. Due to its universality and close connections to numerical approximations, the variational method has become one of the most important approaches to the elliptic theory. The method does not rely on the maximum principle or other special properties of the scalar second order elliptic equations, and it is ideally suited for handling systems of equations of arbitrary order. The prototypical examples of equations covered by the theory are, in addition to the standard Laplace equation, Lame's system of linear elasticity and the biharmonic equation (both with variable coefficients, of course). General ellipticity conditions are discussed and most of the natural boundary condition is covered. The necessary foundations of the function space theory are explained along the way, in an arguably optimal manner. The standard boundary regularity requirement on the domains is the Lipschitz continuity of the boundary, which "when going beyond the scalar equations of second order" turns out to be a very natural class. These choices reflect the author's opinion that the Lame system and the biharmonic equations are just as important as the Laplace equation, and that the class of the domains with the Lipschitz continuous boundary (as opposed to smooth domains) is the most natural class of domains to consider in connection with these equations and their applications."

The Centre de recherches mathCmatiques (CRM) was created in 1968 by the Universite de Montreal to promote research in the mathematical sci- ences. It is now a national institute that hosts several groups, holds special theme years, summer schools, workshops, postdoctoral program. The focus of its scientific activities ranges from pure to applied mathematics, and includes satistics, theoretical computer science, mathematical methods in biology and life sciences, and mathematical and theoretical physics. The CRM also promotes collaboration between mathematicians and industry. It is subsidized by the Natural Sciences and Engineering Research Council of Canada, the Fonds FCAR od the Province of Quebec, the Canadian Institute for Advanced Research and has private endowments. Current ac- tivities, fellowships, and annual reports can be found on the CRM web page at http://www . CRM. UMontreal. CAl. The CRM Series in Mathematical Physics will publish monographs, lec- ture notes, and proceedings base on research pursued and events held at the Centre de recherches mathematiques. Yvan Saint-Aubin Montreal Preface The subject of this three-week school was the explicit integration, that is, analytical as opposed to numerical, of all kinds of nonlinear differential equations (ordinary differential, partial differential, finite difference). The result of such integration is ideally the "general solution," but there are numerous physical systems for which only a particular solution is accessible, for instance the solitary wave of the equation of Kuramoto and Sivashinsky in turbulence.

This book contains a collection of research articles and surveys on recent developments on operator theory as well as its applications covered in the IWOTA 2011 conference held at Sevilla University in the summer of 2011. The topics include spectral theory, differential operators, integral operators, composition operators, Toeplitz operators, and more. The book also presents a large number of techniques in operator theory.

This volume of papers presented at the conference in honor of Calixto P. Calderon by his friends, colleagues, and students is intended to make the mathematical community aware of his important scholarly and research contributions in contemporary Harmonic Analysis and Mathematical Models applied to Biology and Medicine, and to stimulate further research in the future in this area of pure and applied mathematics.

This monograph, addressing researchers as well as engineers, is devoted to nonclassical thermoelastic modelling of the nonlinear dynamics of shells. Differential equations of different dimensionality and different type have to be combined and nonlinearities of different geometrical, physical or elasto-plastic categories are addressed. Special emphasis is given to the Bubnov--Galerkin method. It can be applied to many problems in the theory of plates and shells, even those with very complex geometries, holes and various boundary conditions. The authors made every effort to keep the text intelligible for both practitioners and graduate students, although they offer a rigorous treatment of both purely mathematical and numerical approaches presented so that the reader can understand, analyse and track the nonlinear dynamics of spatial systems (shells) with thermomechanical behaviours.

A number of optimization problems of the mechanics of space flight and the motion of walking robots and manipulators, and of quantum physics, eco momics and biology, have an irregular structure: classical variational proce dures do not formally make it possible to find optimal controls that, as we explain, have an impulse character. This and other well-known facts lead to the necessity for constructing dynamical models using the concept of a gener alized function (Schwartz distribution). The problem ofthe systematization of such models is very important. In particular, the problem of the construction of the general form of linear and nonlinear operator equations in distributions is timely. Another problem is related to the proper determination of solutions of equations that have nonlinear operations over generalized functions in their description. It is well-known that "the value of a distribution at a point" has no meaning. As a result the problem to construct the concept of stability for generalized processes arises. Finally, optimization problems for dynamic systems in distributions need finding optimality conditions. This book contains results that we have obtained in the above-mentioned directions. The aim of the book is to provide for electrical and mechanical engineers or mathematicians working in applications, a general and systematic treat ment of dynamic systems based on up-to-date mathematical methods and to demonstrate the power of these methods in solving dynamics of systems and applied control problems."

Since the early 1960s, the mathematical theory of variational inequalities has been under rapid development, based on complex analysis and strongly influenced by 'real-life' application. Many, but of course not all, moving free (Le., a priori un known) boundary problems originating from engineering and economic applica tions can directly, or after a transformation, be formulated as variational inequal ities. In this work we investigate an evolutionary variational inequality with a memory term which is, as a fixed domain formulation, the result of the application of such a transformation to a degenerate moving free boundary problem. This study includes mathematical modelling, existence, uniqueness and regularity results, numerical analysis of finite element and finite volume approximations, as well as numerical simulation results for applications in polymer processing. Essential parts of these research notes were developed during my work at the Chair of Applied Mathematics (LAM) of the Technical University Munich. I would like to express my sincerest gratitude to K. -H. Hoffmann, the head of this chair and the present scientific director of the Center of Advanced European Studies and Research (caesar), for his encouragement and support. With this work I am fol lowing a general concept of Applied Mathematics to which he directed my interest and which, based on application problems, comprises mathematical modelling, mathematical and numerical analysis, computational aspects and visualization of simulation results."

This collection of original articles and surveys addresses the recent advances in linear and nonlinear aspects of the theory of partial differential equations. The key topics include operators as "sums of squares" of real and complex vector fields, nonlinear evolution equations, local solvability, and hyperbolic questions.

This book presents important recent developments in mathematical and computational methods used in impedance imaging and the theory of composite materials. By augmenting the theory with interesting practical examples and numerical illustrations, the exposition brings simplicity to the advanced material. An introductory chapter covers the necessary basics. An extensive bibliography and open problems at the end of each chapter enhance the text.

Presenting the latest findings in topics from across the mathematical spectrum, this volume includes results in pure mathematics along with a range of new advances and novel applications to other fields such as probability, statistics, biology, and computer science. All contributions feature authors who attended the Association for Women in Mathematics Research Symposium in 2015: this conference, the third in a series of biennial conferences organized by the Association, attracted over 330 participants and showcased the research of women mathematicians from academia, industry, and government.

This book is aimed to be both a textbook for graduate students and a starting point for applicationsscientists. It is designedto show how to implementspectral methods to approximate the solutions of partial differential equations. It presents a syst- atic development of the fundamental algorithms needed to write spectral methods codes to solve basic problems of mathematical physics, including steady potentials, transport, and wave propagation. As such, it is meant to supplement, not replace, more general monographs on spectral methods like the recently updated "Spectral Methods: Fundamentals in Single Domains" and "Spectral Methods: Evolution to Complex Geometries and Applications to Fluid Dynamics" by Canuto, Hussaini, Quarteroni and Zang, which provide detailed surveys of the variety of methods, their performance and theory. I was motivated by comments that I have heard over the years that spectral me- ods are "too hard to implement." I hope to dispel this view-or at least to remove the "too." Although it is true that a spectral code is harder to hack together than a s- ple ?nite difference code (at least a low order ?nite difference method on a square domain), I show that only a few fundamental algorithms for interpolation, differen- ation, FFT and quadrature-the subjects of basic numerical methods courses-form the building blocks of any spectral code, even for problems in complex geometries. Ipresentthealgorithmsnotonlytosolveproblemsin1D, but2Daswell, toshowthe ?exibility of spectral methods and to make as straightforward as possible the tr- sition from simple, exploratory programs that illustrate the behavior of the methods to application programs.

The present book is the second of the two volume Proceedings of the Mark Krein International Conference on Operator Theory and Applications. This conference, which was dedicated to the 90th Anniversary of the prominent mathematician Mark Krein, was held in Odessa, Ukraine from 18-22 August, 1997. The conference focused on the main ideas, methods, results, and achievements of M. G. Krein. This second volume is devoted to operator theory and related topics. It opens with the bibliography of M. G. Krein and a number of survey papers about his work. The main part of the book consists of original research papers presenting the state of the art in operator theory and its applications. The first volume of these proceedings, entitled Differential Operators and related Topics, concerns the other aspects of the conference. The two volumes will be of interest to a wide-range of readership in pure and applied mathematics, physics and engineering sciences. Table of Contents Preface. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . v Table of Contents . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . vii Bibliography of Mark Grigorevich Krein . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ix Review papers: M. G. Krein's Contributions to Prediction Theory H. Dym M. G. Krein's Contribution to the Moment. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 AA Nudelman Research Papers: Solution of the Truncated Matrix Hamburger Moment Problem according to M. G. Krein . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33 Y. M. Adamyan and I. M. Tkachenko Extreme Points of a Positive Operator Ball . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53 T. Ando M-accretive Extensions of Sectorial Operators and Krein Spaces . . . . . . . . . 67 Y. M. Arlinskii A Simple Proof of the Continuous Commutant Lifting Theorem . . . . . . . . . . 83 R. Bruzual and M.

This book introduces and analyzes the multigrid approach for the numerical solution of large sparse linear systems arising from the discretization of elliptic partial differential equations. Special attention is given to the powerful matrix-based-multigrid approach, which is particularly useful for problems with variable coefficients and nonsymmetric and indefinite problems. This approach applies not only to model problems on rectangular grids but also to more realistic applications with complicated grids and domains and discontinuous coefficients. Matrix-Based Multigrid can be used as a textbook in courses in numerical analysis, numerical linear algebra, and numerical PDEs at the advanced undergraduate and graduate levels in computer science, math, and applied math departments. The theory is written in simple algebraic terms and therefore requires preliminary knowledge in basic linear algebra and calculus only. Because it is self contained and includes useful exercises, the book is also suitable for self study by research students, researchers, engineers, and others interested in the numerical solution of partial differential equations.

The linear theory of oscillations traditionally operates with frequency representa- tions based on the concepts of a transfer function and a frequency response. The universality of the critria of Nyquist and Mikhailov and the simplicity and obvi- ousness of the application of frequency and amplitude - frequency characteristics in analysing forced linear oscillations greatly encouraged the development of practi- cally important nonlinear theories based on various forms of the harmonic balance hypothesis [303]. Therefore mathematically rigorous frequency methods of investi- gating nonlinear systems, which appeared in the 60s, also began to influence many areas of nonlinear theory of oscillations. First in this sphere of influence was a wide range of problems connected with multidimensional analogues of the famous van der Pol equation describing auto- oscillations of generators of various radiotechnical devices. Such analogues have as a rule a unique unstable stationary point in the phase space and are Levinson dis- sipative. One of the pioneering works in this field, which started the investigation of a three-dimensional analogue of the van der Pol equation, was K. O. Friedrichs's paper [123]. The author suggested a scheme for constructing a positively invariant set homeomorphic to a torus, by means of which the existence of non-trivial periodic solutions was established. That scheme was then developed and improved for dif- ferent classes of multidimensional dynamical systems [131, 132, 297, 317, 334, 357, 358]. The method of Poincare mapping [12, 13, 17] in piecewise linear systems was another intensively developed direction.

This book publishes a collection of original scientific research articles that address the state-of-art in using partial differential equations for image and signal processing. Coverage includes: level set methods for image segmentation and construction, denoising techniques, digital image inpainting, image dejittering, image registration, and fast numerical algorithms for solving these problems.

This and the previous volume of the OT series contain the proceedings of the Workshop on Operator Theory and its Applications, IWOTA 95, which was held at the University of Regensburg, Germany, July 31 to August 4, 1995. It was the eigth workshop of this kind. Following is a list of the seven previous workshops with reference to their proceedings: 1981 Operator Theory (Santa Monica, California, USA) 1983 Applications of Linear Operator Theory to Systems and Networks (Rehovot, Israel), OT 12 1985 Operator Theory and its Applications (Amsterdam, The Netherlands), OT 19 1987 Operator Theory and Functional Analysis (Mesa, Arizona, USA), OT 35 1989 Matrix and Operator Theory (Rotterdam, The Netherlands), OT 50 1991 Operator Theory and Complex Analysis (Sapporo, Japan), OT 59 1993 Operator Theory and Boundary Eigenvalue Problems (Vienna, Austria), OT 80 IWOTA 95 offered a rich programme on a wide range of latest developments in operator theory and its applications. The programme consisted of 6 invited plenary lectures, 54 invited special topic lectures and more than 100 invited session talks. About 180 participants from 25 countries attended the workshop, more than a third came from Eastern Europe. The conference covered different aspects of linear and nonlinear spectral prob lems, starting with problems for abstract operators up to spectral theory of ordi nary and partial differential operators, pseudodifferential operators, and integral operators. The workshop was also focussed on operator theory in spaces with indefinite metric, operator functions, interpolation and extension problems."

This monograph is the first to provide a comprehensive, self-contained and rigorous presentation of some of the most powerful preconditioning methods for solving finite element equations in a common block-matrix factorization framework. Topics covered include the classical incomplete block-factorization preconditioners and the most efficient methods such as the multigrid, algebraic multigrid, and domain decomposition. Additionally, the author discusses preconditioning of saddle-point, nonsymmetric and indefinite problems, as well as preconditioning of certain nonlinear and quadratic constrained minimization problems that typically arise in contact mechanics. The book presents analytical as well as algorithmic aspects. This text can serve as an indispensable reference for researchers, graduate students, and practitioners. It can also be used as a supplementary text for a topics course in preconditioning and/or multigrid methods at the graduate level.

This collection of original articles and surveys, emerging from a 2011 conference in Bertinoro, Italy, addresses recent advances in linear and nonlinear aspects of the theory of partial differential equations (PDEs). Phase space analysis methods, also known as microlocal analysis, have continued to yield striking results over the past years and are now one of the main tools of investigation of PDEs. Their role in many applications to physics, including quantum and spectral theory, is equally important. Key topics addressed in this volume include: *general theory of pseudodifferential operators *Hardy-type inequalities *linear and non-linear hyperbolic equations and systems *Schroedinger equations *water-wave equations *Euler-Poisson systems *Navier-Stokes equations *heat and parabolic equations Various levels of graduate students, along with researchers in PDEs and related fields, will find this book to be an excellent resource. Contributors T. Alazard P.I. Naumkin J.-M. Bony F. Nicola N. Burq T. Nishitani C. Cazacu T. Okaji J.-Y. Chemin M. Paicu E. Cordero A. Parmeggiani R. Danchin V. Petkov I. Gallagher M. Reissig T. Gramchev L. Robbiano N. Hayashi L. Rodino J. Huang M. Ruzhanky D. Lannes J.-C. Saut F. Linares N. Visciglia P.B. Mucha P. Zhang C. Mullaert E. Zuazua T. Narazaki C. Zuily