Mathematical Problems from Applied Logic I presents chapters from selected, world renowned, logicians. Important topics of logic are discussed from the point of view of their further development in light of requirements arising from their successful application in areas such as Computer Science and AI language. An overview of the current state as well as open problems and perspectives are clarified in such fields as non-standard inferences in description logics, logic of provability, logical dynamics, and computability theory. The book contains interesting contributions concerning the role...
Mathematical Problems from Applied Logic I presents chapters from selected, world renowned, logicians. Important topics of logic are discussed from...
"Mathematical Problems from Applied Logic II" presents chapters from selected, world renowned, logicians. Important topics of logic are discussed from the point of view of their further development in light of requirements arising from their successful application in areas such as Computer Science and AI language. Fields covered include: logic of provability, applications of computability theory to biology, psychology, physics, chemistry, economics, and other basic sciences; computability theory and computable models; logic and space-time geometry; hybrid systems; logic and region-based...
"Mathematical Problems from Applied Logic II" presents chapters from selected, world renowned, logicians. Important topics of logic are discussed f...
Stability is a very important property of mathematical models simulating physical processes which provides an adequate description of the process. Starting from the classical notion of the well-posedness in the Hadamard sense, this notion was adapted to different areas of research and at present is understood, depending on the physical problem under consideration, as the Lyapunov stability of stationary solutions, stability of specified initial data, stability of averaged models, etc.
The stability property is of great interest for researchers in many fields such as mathematical...
Stability is a very important property of mathematical models simulating physical processes which provides an adequate description of the process. ...
In this authoritative and comprehensive volume, Claude Bardos and Andrei Fursikov have drawn together an impressive array of international contributors to present important recent results and perspectives in this area. The main subjects that appear here relate largely to mathematical aspects of the theory but some novel schemes used in applied mathematics are also presented. Various topics from control theory, including Navier-Stokes equations, are covered.
In this authoritative and comprehensive volume, Claude Bardos and Andrei Fursikov have drawn together an impressive array of international contribu...
This volume is dedicated to the centenary of the outstanding mathematician of the 20th century, Sergey Sobolev, and, in a sense, to his celebrated work on a theorem of functional analysis, published in 1938, exactly 70 years ago, was where the original Sobolev inequality was proved. This double event is a good occasion to gather experts for presenting the latest results on the study of Sobolev inequalities, which play a fundamental role in analysis, the theory of partial differential equations, mathematical physics, and differential geometry. In particular, the following topics are discussed:...
This volume is dedicated to the centenary of the outstanding mathematician of the 20th century, Sergey Sobolev, and, in a sense, to his celebrated wor...
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...
Sobolev spaces become the established and universal language of partial differential equations and mathematical analysis. Among a huge variety of p...
Victor Isakov This volume contains various results on partial di?erential equations where Sobolev spaces are used. Their selection is motivated by the research int- ests of the editor and the geographicallinks to the places where S. L. Sobolev worked and lived: St. Petersburg, Moscow, and Novosibirsk. Most of the papers are written by leading experts in control theory and inverse pr- lems. Another reason for the selection is a strong link to applied areas. In my opinion, control theory and inverse problems are main areas of di?er- tial equations of importance for some branches of contemporary...
Victor Isakov This volume contains various results on partial di?erential equations where Sobolev spaces are used. Their selection is motivated by the...
Sobolev spaces and inequalities are fundamental tools in the theory of partial differential equations, analysis, differential geometry, mathematical physics, etc. Introduced 70 years ago, they turned out to be extremely useful in many different settings and continue to attract the attention of new generations of mathematicians. Recent advantages in the theory of Sobolev spaces and in applications are presented by globally recognized specialists in topics covering Sobolev-type spaces of functions in metric spaces, various aspects of Sobolev-type inequalities, boundary value problems for...
Sobolev spaces and inequalities are fundamental tools in the theory of partial differential equations, analysis, differential geometry, mathematica...
Research articles and surveys from world-recognized mathematicians cover large areas in Analysis where the contributions of Prof. Maz'ya are fundamental, influential, and/or pioneering. Among more than 25 monographs and 450 research papers by V. Maz'ya, one can find deep results predetermining the further development of very diverse topics, which is reflected in the collected papers. Recent advantages in the theory of Sobolev spaces are presented. Hardy-Sobolev-Maz'ya inequalities, Maz'ya isocapacitary inequalities, isoperimetric inequalities, sharp constants, extension operators are...
Research articles and surveys from world-recognized mathematicians cover large areas in Analysis where the contributions of Prof. Maz'ya are fundam...
The topics of this volume are diverse, but all of them are related to a huge area in analysis and applications where remarkably deep results and original approaches of Professor Maz'ya play a fundamental role. World-recognized experts present their new results covering, in particular, the following topics: Beurling's minimum principle, inverse hyperbolic problems, degenerate oblique derivative problems, the Lp-dissipativity connected with the Lp-contractivity of the generated semigroups, optimal control of a biharmonic obstacle problem sharp bilateral bounds of Green's function for the...
The topics of this volume are diverse, but all of them are related to a huge area in analysis and applications where remarkably deep results and or...
