The book covers fundamentals of the theory of optimal methods for solving ill-posed problems, as well as ways to obtain accurate and accurate-by-order error estimates for these methods. The methods described in the current book are used to solve a number of inverse problems in mathematical physics. Contents Modulus of continuity of the inverse operator and methods for solving ill-posed problems Lavrent’ev methods for constructing approximate solutions of linear operator equations of the first kind Tikhonov regularization method Projection-regularization method Inverse heat exchange problems

The study of attractors of dynamical systems occupies an important position in the modern qualitative theory of differential equations. This engaging volume presents an authoritative overview of both autonomous and non-autonomous dynamical systems, including the global compact attractor. From an in-depth introduction to the different types of dissipativity and attraction, the book takes a comprehensive look at the connections between them, and critically discusses applications of general results to different classes of differential equations.The new Chapters 15-17 added to this edition include some results concerning Control Dynamical Systems — the global attractors, asymptotic stability of switched systems, absolute asymptotic stability of differential/difference equations and inclusions — published in the works of author in recent years.

This edited volume focuses on the work of Professor Larisa Maksimova, providing a comprehensive account of her outstanding contributions to different branches of non-classical logic. The book covers themes ranging from rigorous implication, relevance and algebraic logic, to interpolation, definability and recognizability in superintuitionistic and modal logics. It features both her scientific autobiography and original contributions from experts in the field of non-classical logics. Professor Larisa Maksimova's influential work involved combining methods of algebraic and relational semantics. Readers will be able to trace both influences on her work, and the ways in which her work has influenced other logicians. In the historical part of this book, it is possible to trace important milestones in Maksimova’s career. Early on, she developed an algebraic semantics for relevance logics and relational semantics for the logic of entailment. Later, Maksimova discovered that among the continuum of superintuitionisitc logics there are exactly three pretabular logics. She went on to obtain results on the decidability of tabularity and local tabularity problems for superintuitionistic logics and for extensions of S4. Further investigations by Maksimova were aimed at the study of fundamental properties of logical systems (different versions of interpolation and definability, disjunction property, etc.) in big classes of logics, and on decidability and recognizability of such properties. To this end she determined a powerful combination of algebraic and semantic methods, which essentially determine the modern state of investigations in the area, as can be seen in the later chapters of this book authored by leading experts in non-classical logics. These original contributions bring the reader up to date on the very latest work in this field.

This book is a specialized monograph on interpolation and definability, a notion central in pure logic and with significant meaning and applicability in all areas where logic is applied, especially computer science, artificial intelligence, logic programming, philosophy of science and natural language. Suitable for researchers and graduate students in mathematics, computer science and philosophy, this is the latest in the prestigous world-renowned Oxford Logic Guides, which contains Michael Dummet's Elements of intuitionism (second edition), J. M. Dunn and G. Hardegree's Algebraic Methods in Philosophical Logic, H. Rott's Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning, P. T. Johnstone's Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2, and David J. Pym and Eike Ritter's Reductive Logic and Proof Search: Proof theory, semantics and control.

Despite the fundamental role played by Reshetnyak's work in the theory of surfaces of bounded integral curvature, the proofs of his results were only available in his original articles, written in Russian and often hard to find. This situation used to be a serious problem for experts in the field. This book provides English translations of the full set of Reshetnyak's articles on the subject. Together with the companion articles, this book provides an accessible and comprehensive reference for the subject. In turn, this book should concern any researcher (confirmed or not) interested in, or active in, the field of bounded integral curvature surfaces, or more generally interested in surface geometry and geometric analysis. Due to the analytic nature of Reshetnyak's approach, it appears that his articles are very accessible for a modern audience, comparing to the works using a more synthetic approach. These articles of Reshetnyak concern more precisely the work carried by the author following the completion of his PhD thesis, under the supervision of A.D. Alexandrov. Over the period from the 1940’s to the 1960’s, the Leningrad School of Geometry, developed a theory of the metric geometry of surfaces, similar to the classical theory of Riemannian surfaces, but with lower regularity, allowing greater flexibility. Let us mention A.D. Alexandrov, Y.D. Burago and V.A. Zalgaller. The types of surfaces studied by this school are now known as surfaces of bounded curvature. Particular cases are that of surfaces with curvature bounded from above or below, the study of which gained special attention after the works of M. Gromov and G. Perelman. Nowadays, these concepts have been generalized to higher dimensions, to graphs, and so on, and the study of metrics of weak regularity remains an active and challenging field. Reshetnyak developed an alternative and analytic approach to surfaces of bounded integral curvature. The underlying idea is based on the theorem of Gauss which states that every Riemannian surface is locally conformal to Euclidean space. Reshetnyak thus studied generalized metrics which are locally conformal to the Euclidean metric with conformal factor given by the logarithm of the difference between two subharmonic functions on the plane. Reshetnyak's condition appears to provide the correct regularity required to generalize classical concepts such as measure of curvature, integral geodesic curvature for curves, and so on, and in turn, to recover surfaces of bounded curvature. Chapter-No.7, Chapter-No.8, Chapter-No.12 and Chapter-No.13 are available open access under Creative Commons Attribution-NonCommercial 4.0 International License via link.springer.com.

Sobolev spaces become the established and universal language of partial differential equations and mathematical analysis. Among a huge variety of problems where Sobolev spaces are used, the following important topics are the focus of this volume: boundary value problems in domains with singularities, higher order partial differential equations, local polynomial approximations, inequalities in Sobolev-Lorentz spaces, function spaces in cellular domains, the spectrum of a Schrodinger operator with negative potential and other spectral problems, criteria for the complete integration of systems of differential equations with applications to differential geometry, some aspects of differential forms on Riemannian manifolds related to Sobolev inequalities, Brownian motion on a Cartan-Hadamard manifold, etc. Two short biographical articles on the works of Sobolev in the 1930s and the foundation of Akademgorodok in Siberia, supplied with unique archive photos of S. Sobolev are included.

Discover the mathematical riches of 'what is diversity?' in a book that adds mathematical rigour to a vital ecological debate.