Computability in Analysis and Physics is a monograph on computable analysis by Marian Pour-El and J. Ian Richards. It was published by Springer-Verlag in their Perspectives in Mathematical Logic series in 1989, and reprinted by the Association for Symbolic Logic and Cambridge University Press in their Perspectives in Logic series in 2016.
The book concerns computable analysis, a branch of mathematical analysis founded by Alan Turing and concerned with the computability of constructions in analysis. This area is connected to, but distinct from, constructive analysis, reverse mathematics, and numerical analysis. The early development of the field was summarized in a book by Oliver Aberth, Computable Analysis (1980), and Computability in Analysis and Physics provides an update, incorporating substantial developments in this area by its authors. [1] In contrast to the Russian school of computable analysis led by Andrey Markov Jr., it views computability as a distinguishing property of mathematical objects among others, rather than developing a theory that concerns only computable objects. [2]
After an initial section of the book, introducing computable analysis and leading up to an example of John Myhill of a computable continuously differentiable function whose derivative is not computable, [1] the remaining two parts of the book concerns the authors' results. [3] These include the results that, for a computable self-adjoint operator, the eigenvalues are individually computable, but their sequence is (in general) not; the existence of a computable self-adjoint operator for which 0 is an eigenvalue of multiplicity one with no computable eigenvectors; and the equivalence of computability and boundedness for operators. [1] The authors' main tools include the notions of a computability structure, a pair of a Banach space and an axiomatically-characterized set of its sequences, and of an effective generating set, a member of the set of sequences whose linear span is dense in the space. [3] [4]
The authors are motivated in part by the computability of solutions to differential equations. They provide an example of computable and continuous initial conditions for the wave equation (with however a non-computable gradient) that lead to a continuous but not computable solution at a later time. [3] [4] However, they show that this phenomenon cannot occur for the heat equation or for Laplace's equation. [2]
The book also includes a collection of open problems, [2] [4] likely to inspire its readers to more research in this area. [3]
The book is self-contained, and targeted at researchers in mathematical analysis and computability; [1] reviewers Douglas Bridges and Robin Gandy disagree over which of these two groups it is better aimed at. [3] [4] Although co-author Marian Pour-El came from a background in mathematical logic, and the two series in which the book was published both have logic in their title, readers are not expected to be familiar with logic. [2]
Despite complaining about the formality of the presentation and that the authors did not aim to include all recent developments in computable analysis, reviewer Rod Downey writes that this book "is clearly a must for anybody whose research is in this area", [1] and Gandy calls it "an interesting, readable and very well written book". [4]
Solomon Feferman was an American philosopher and mathematician who worked in mathematical logic.
In mathematics, spectral theory is an inclusive term for theories extending the eigenvector and eigenvalue theory of a single square matrix to a much broader theory of the structure of operators in a variety of mathematical spaces. It is a result of studies of linear algebra and the solutions of systems of linear equations and their generalizations. The theory is connected to that of analytic functions because the spectral properties of an operator are related to analytic functions of the spectral parameter.
In functional analysis, a branch of mathematics, a compact operator is a linear operator , where are normed vector spaces, with the property that maps bounded subsets of to relatively compact subsets of . Such an operator is necessarily a bounded operator, and so continuous. Some authors require that are Banach, but the definition can be extended to more general spaces.
In the mathematical discipline of functional analysis, the concept of a compact operator on Hilbert space is an extension of the concept of a matrix acting on a finite-dimensional vector space; in Hilbert space, compact operators are precisely the closure of finite-rank operators in the topology induced by the operator norm. As such, results from matrix theory can sometimes be extended to compact operators using similar arguments. By contrast, the study of general operators on infinite-dimensional spaces often requires a genuinely different approach.
In mathematical analysis, the Hilbert–Schmidt theorem, also known as the eigenfunction expansion theorem, is a fundamental result concerning compact, self-adjoint operators on Hilbert spaces. In the theory of partial differential equations, it is very useful in solving elliptic boundary value problems.
In mathematics, Hilbert spaces allow generalizing the methods of linear algebra and calculus from (finite-dimensional) Euclidean vector spaces to spaces that may be infinite-dimensional. A Hilbert space is a vector space equipped with an inner product which defines a distance function for which it is a complete metric space. Hilbert spaces arise naturally and frequently in mathematics and physics, typically as function spaces.
In mathematics and computer science, computable analysis is the study of mathematical analysis from the perspective of computability theory. It is concerned with the parts of real analysis and functional analysis that can be carried out in a computable manner. The field is closely related to constructive analysis and numerical analysis.
Spectral shape analysis relies on the spectrum of the Laplace–Beltrami operator to compare and analyze geometric shapes. Since the spectrum of the Laplace–Beltrami operator is invariant under isometries, it is well suited for the analysis or retrieval of non-rigid shapes, i.e. bendable objects such as humans, animals, plants, etc.
Barbara Diane MacCluer is an American mathematician, formerly a professor of mathematics at the University of Virginia and now a professor emeritus there. Her research specialty is in operator theory and composition operators; she is known for the books she has written on this subject and related areas of functional analysis.
Sara Negri is a mathematical logician who studies proof theory. She is Italian, worked in Finland for several years, where she was a professor of theoretical philosophy in the University of Helsinki, and currently holds a position as professor of mathematical logic at the University of Genoa.
Ruth F. Curtain was an Australian mathematician who worked for many years in the Netherlands as a professor of mathematics at the University of Groningen. Her research concerned infinite-dimensional linear systems.
Fioralba Cakoni is an American-Albanian mathematician and an expert on inverse scattering theory. She is a professor of mathematics at Rutgers University.
Marian Boykan Pour-El was an American mathematical logician who did pioneering work in computable analysis.
Nail Hairullovich Ibragimov was a Russian mathematician and mathematical physicist. At his death he was a professor emeritus at the Blekinge Institute of Technology. Ibragimov's research area was differential calculus, group analysis and mathematical physics. He was the author of many books on mathematics and mathematical physics.
Anita Burdman Feferman was an American historian of mathematics and biographer, known for her biographies of Jean van Heijenoort and of Alfred Tarski.
Clàudia Valls Anglés is a mathematician and an expert in dynamical systems. She is an associate professor in the Instituto Superior Técnico of the University of Lisbon in Portugal.
Christiane Tretter is a German mathematician and mathematical physicist who works as a professor in the Mathematical Institute (MAI) of the University of Bern in Switzerland, and as managing director of the institute. Her research interests include differential operators and spectral theory.
Joan Livingston Richards is an American historian of mathematics and a professor of history at Brown University, where she directs the Program of Science and Technology Studies.
Deborah Jo Bennett is an American mathematician, mathematics educator, and book author. She is a professor of mathematics at New Jersey City University.
Jane Elizabeth Kister was a British and American mathematical logician and mathematics editor who served for many years as an editor of Mathematical Reviews.
{{citation}}: CS1 maint: untitled periodical (link); reprinted in zbMATH as Zbl 0678.03027 {{citation}}: CS1 maint: untitled periodical (link){{citation}}: CS1 maint: untitled periodical (link){{citation}}: CS1 maint: untitled periodical (link)