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.

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

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.

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 covers the latest problems of modern mathematical methods for three-dimensional problems of diffraction by arbitrary conducting screens. This comprehensive study provides an introduction to methods of constructing generalized solutions, elements of potential theory, and other underlying mathematical tools. The problem settings, which turn out to be extremely effective, differ significantly from the known approaches and are based on the original concept of vector spaces 'produced' by Maxwell equations. The formalism of pseudodifferential operators enables to prove uniqueness theorems and the Fredholm property for all problems studied. Readers will gain essential insight into the state-of-the-art technique of investigating three-dimensional problems for closed and unclosed screens based on systems of pseudodifferential equations. A detailed treatment of the properties of their kernels, in particular degenerated, is included. Special attention is given to the study of smoothness of generalized solutions and properties of traces.

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.

Higher dimensional theories have attracted much attention because they make it possible to reduce much of physics in a concise, elegant fashion that unifies the two great theories of the 20th century: Quantum Theory and Relativity. This book provides an elementary description of quantum wave equations in higher dimensions at an advanced level so as to put all current mathematical and physical concepts and techniques at the reader's disposal. A comprehensive description of quantum wave equations in higher dimensions and their broad range of applications in quantum mechanics is provided, which complements the traditional coverage found in the existing quantum mechanics textbooks and gives scientists a fresh outlook on quantum systems in all branches of physics.
In Parts I and II the basic properties of the SO(n) group are reviewed and basic theories and techniques related to wave equations in higher dimensions are introduced. Parts III and IV cover important quantum systems in the framework of non-relativistic and relativistic quantum mechanics in terms of the theories presented in Part II. In particular, the Levinson theorem and the generalized hypervirial theorem in higher dimensions, the Schrodinger equation with position-dependent mass and the Kaluza-Klein theory in higher dimensions are investigated. In this context, the dependence of the energy levels on the dimension is shown. Finally, Part V contains conclusions, outlooks and an extensive bibliography."

The international Conference on Optimal Control of Coupled Systems of Partial Di?erential Equations was held at the Mathematisches Forschungsinstitut Ob- wolfach (www.mfo.de) from April, 17 to 23, 2005. The scienti?c program included 30 talks coveringvarious topics as controllability,feedback-control,optimality s- tems, model-reduction techniques, analysis and optimal control of ?ow problems and ?uid-structure interactions, as well as problems of shape and topology op- mization. The applications discussed during the conference range from the op- mization and control of quantum mechanical systems, the design of piezo-electric acoustic micro-mechanical devices, optimal control of crystal growth, the control of bodies immersed into a ?uid to airfoil design and much more. Thus the app- cations are across all time and length scales. Optimization and control of systems governed by partial di?erential eq- tions and more recently by variational inequalities is a very active ?eld of research in Applied Mathematics, in particular in numerical analysis, scienti?c comp- ing and optimization. In order to able to handle real-world applications, scalable and parallelizable algorithms have to be designed, implemented and validated. This requires an in-depth understanding of both the theoretical properties and the numerical realization of such structural insights. Therefore, a 'core' devel- ment within the ?eld of optimization with PDE-constraints such as the analysis of control-and-state-constrained problems, the role of obstacles, multi-phases etc. and an interdisciplinary 'diagonal' bridging regarding applications and numerical simulation are most important.

The book is devoted to rigorous derivation of macroscopic mathematical models as a homogenization of exact mathematical models at the microscopic level. The idea is quite natural: one first must describe the joint motion of the elastic skeleton and the fluid in pores at the microscopic level by means of classical continuum mechanics, and then use homogenization to find appropriate approximation models (homogenized equations). The Navier-Stokes equations still hold at this scale of the pore size in the order of 5 - 15 microns. Thus, as we have mentioned above, the macroscopic mathematical models obtained are still within the limits of physical applicability. These mathematical models describe different physical processes of liquid filtration and acoustics in poroelastic media, such as isothermal or non-isothermal filtration, hydraulic shock, isothermal or non-isothermal acoustics, diffusion-convection, filtration and acoustics in composite media or in porous fractured reservoirs. Our research is based upon the Nguetseng two-scale convergent method.

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.

Boundary value problems for partial differential equations playa crucial role in many areas of physics and the applied sciences. Interesting phenomena are often connected with geometric singularities, for instance, in mechanics. Elliptic operators in corresponding models are then sin gular or degenerate in a typical way. The necessary structures for constructing solutions belong to a particularly beautiful and ambitious part of the analysis. Cracks in a medium are described by hypersurfaces with a boundary. Config urations of that kind belong to the category of spaces (manifolds) with geometric singularities, here with edges. In recent years the analysis on such (in general, stratified) spaces has become a mathematical structure theory with many deep relations with geometry, topology, and mathematical physics. Key words in this connection are operator algebras, index theory, quantisation, and asymptotic analysis. Motivated by Lame's system with two-sided boundary conditions on a crack we ask the structure of solutions in weighted edge Sobolov spaces and subspaces with discrete and continuous asymptotics. Answers are given for elliptic sys tems in general. We construct parametrices of corresponding edge boundary value problems and obtain elliptic regularity in the respective scales of weighted spaces. The original elliptic operators as well as their parametrices belong to a block matrix algebra of pseudo-differential edge problems with boundary and edge conditions, satisfying analogues of the Shapiro-Lopatinskij condition from standard boundary value problems. Operators are controlled by a hierarchy of principal symbols with interior, boundary, and edge components."

The theory of partial differential equations is a wide and rapidly developing branch of contemporary mathematics. Problems related to partial differential equations of order higher than one are so diverse that a general theory can hardly be built up. There are several essentially different kinds of differential equations called elliptic, hyperbolic, and parabolic. Regarding the construction of solutions of Cauchy, mixed and boundary value problems, each kind of equation exhibits entirely different properties. Cauchy problems for hyperbolic equations and systems with variable coefficients have been studied in classical works of Petrovskii, Leret, Courant, Gording. Mixed problems for hyperbolic equations were considered by Vishik, Ladyzhenskaya, and that for general two dimensional equations were investigated by Bitsadze, Vishik, Gol'dberg, Ladyzhenskaya, Myshkis, and others. In last decade the theory of solvability on the whole of boundary value problems for nonlinear differential equations has received intensive development. Significant results for nonlinear elliptic and parabolic equations of second order were obtained in works of Gvazava, Ladyzhenskaya, Nakhushev, Oleinik, Skripnik, and others. Concerning the solvability in general of nonlinear hyperbolic equations, which are connected to the theory of local and nonlocal boundary value problems for hyperbolic equations, there are only partial results obtained by Bronshtein, Pokhozhev, Nakhushev."

Combining both classical and current methods of analysis, this text present discussions on the application of functional analytic methods in partial differential equations. It furnishes a simplified, self-contained proof of Agmon-Douglis-Niremberg's Lp-estimates for boundary value problems, using the theory of singular integrals and the Hilbert transform.

Systems with sub-processes evolving on many different time scales are ubiquitous in applications: chemical reactions, electro-optical and neuro-biological systems, to name just a few. This volume contains papers that expose the state of the art in mathematical techniques for analyzing such systems. Recently developed geometric ideas are highlighted in this work that includes a theory of relaxation-oscillation phenomena in higher dimensional phase spaces. Subtle exponentially small effects result from singular perturbations implicit in certain multiple time scale systems. Their role in the slow motion of fronts, bifurcations, and jumping between invariant tori are all explored here. Neurobiology has played a particularly stimulating role in the development of these techniques and one paper is directed specifically at applying geometric singular perturbation theory to reveal the synchrony in networks of neural oscillators.

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 provides insight into the mathematics of Galerkin finite element method as applied to parabolic equations. The revised second edition has been influenced by recent progress in application of semigroup theory to stability and error analysis, particulatly in maximum-norm. Two new chapters have also been added, dealing with problems in polygonal, particularly noncovex, spatial domains, and with time discretization based on using Laplace transformation and quadrature.

Sparked by demands inherent to the mathematical study of pollution, intensive industry, global warming, and the biosphere, Adjoint Equations and Perturbation Algorithms in Nonlinear Problems is the first book ever to systematically present the theory of adjoint equations for nonlinear problems, as well as their application to perturbation algorithms. This new approach facilitates analysis of observational data, the application of adjoint equations to retrospective study of processes governed by imitation models, and the study of computer models themselves. Specifically, the book discusses:
Principles for constructing adjoint operators in nonlinear problems
Properties of adjoint operators and solvability conditions for adjoint equations
Perturbation algorithms using the adjoint equations theory for nonlinear problems in transport theory, quasilinear motion, substance transfer, and nonlinear data assimilation
Known results on adjoint equations and perturbation algorithms in nonlinear problems
This groundbreaking text contains some results that have no analogs in the scientific literature, opening unbounded possibilities in construction and application of adjoint equations to nonlinear problems of mathematical physics.

This book deals with the modeling, analysis and simulation of problems arising in the life sciences, and especially in biological processes. The models and findings presented result from intensive discussions with microbiologists, doctors and medical staff, physicists, chemists and industrial engineers and are based on experimental data. They lead to a new class of degenerate density-dependent nonlinear reaction-diffusion convective equations that simultaneously comprise two kinds of degeneracy: porous-medium and fast-diffusion type degeneracy. To date, this class is still not clearly understood in the mathematical literature and thus especially interesting. The author both derives realistic life science models and their above-mentioned governing equations of the degenerate types and systematically studies these classes of equations. In each concrete case well-posedness, the dependence of solutions on boundary conditions reflecting some properties of the environment, and the large-time behavior of solutions are investigated and in some instances also studied numerically.

The work of Hans Lewy (1904--1988) has had a profound influence in the direction of applied mathematics and partial differential equations, in particular, from the late 1920s. Two of the particulars are well known. The Courant--Friedrichs--Lewy condition (1928), or CFL condition, was devised to obtain existence and approximation results. This condition, relating the time and spatial discretizations for finite difference schemes, is now universally employed in the simulation of solutions of equations describing propagation phenomena. Lewy's example of a linear equation with no solution (1957), with its attendant consequence that most equations have no solution, was not merely an unexpected fact, but changed the viewpoint of the entire field. Lewy made pivotal contributions in many other areas, for example, the regularity theory of elliptic equations and systems, the Monge-- AmpSre Equation, the Minkowski Problem, the asymptotic analysis of boundary value problems, and several complex variables. He was among the first to study variational inequalities. In much of his work, his underlying philosophy was that simple tools of function theory could help one understand the essential concepts embedded in an issue, although at a cost in generality. This approach was extremely successful. In this two-volume work, most all of Lewy's papers are presented, in chronological order. They are preceded by several short essays about Lewy himself, prepared by Helen Lewy, Constance Reid, and David Kinderlehrer, and commentaries on his work by Erhard Heinz, Peter Lax, Jean Leray, Richard MacCamy, Fran?ois Treves, and Louis Nirenberg. Additionally, there are Lewy's own remarks on the occasion of his honorary degree from the University of Bonn.

This book is based on research that, to a large extent, started around 1990, when a research project on fluid flow in stochastic reservoirs was initiated by a group including some of us with the support of VISTA, a research coopera tion between the Norwegian Academy of Science and Letters and Den norske stats oljeselskap A.S. (Statoil). The purpose of the project was to use stochastic partial differential equations (SPDEs) to describe the flow of fluid in a medium where some of the parameters, e.g., the permeability, were stochastic or "noisy." We soon realized that the theory of SPDEs at the time was insufficient to handle such equations. Therefore it became our aim to develop a new mathematically rigorous theory that satisfied the following conditions. 1) The theory should be physically meaningful and realistic, and the corre sponding solutions should make sense physically and should be useful in applications. 2) The theory should be general enough to handle many of the interesting SPDEs that occur in reservoir theory and related areas. 3) The theory should be strong and efficient enough to allow us to solve th, se SPDEs explicitly, or at least provide algorithms or approximations for the solutions."

The present book carefully studies the blow-up phenomenon of solutions to partial differential equations, including many equations of mathematical physics. The included material is based on lectures read by the authors at the Lomonosov Moscow State University, and the book is addressed to a wide range of researchers and graduate students working in nonlinear partial differential equations, nonlinear functional analysis, and mathematical physics. Contents Nonlinear capacity method of S. I. Pokhozhaev Method of self-similar solutions of V. A. Galaktionov Method of test functions in combination with method of nonlinear capacity Energy method of H. A. Levine Energy method of G. Todorova Energy method of S. I. Pokhozhaev Energy method of V. K. Kalantarov and O. A. Ladyzhenskaya Energy method of M. O. Korpusov and A. G. Sveshnikov Nonlinear Schroedinger equation Variational method of L. E. Payne and D. H. Sattinger Breaking of solutions of wave equations Auxiliary and additional results

This volume is a collection of articles presented at the Workshop for Nonlinear Analysis held in Joao Pessoa, Brazil, in September 2012. The influence of Bernhard Ruf, to whom this volume is dedicated on the occasion of his 60th birthday, is perceptible throughout the collection by the choice of themes and techniques. The many contributors consider modern topics in the calculus of variations, topological methods and regularity analysis, together with novel applications of partial differential equations. In keeping with the tradition of the workshop, emphasis is given to elliptic operators inserted in different contexts, both theoretical and applied. Topics include semi-linear and fully nonlinear equations and systems with different nonlinearities, at sub and supercritical exponents, with spectral interactions of Ambrosetti-Prodi type. Also treated are analytic aspects as well as applications such as diffusion problems in mathematical genetics and finance and evolution equations related to electromechanical devices."