Functional analysis owes much of its early impetus to problems that arise in the calculus of variations. In turn, the methods developed there have been applied to optimal control, an area that also requires new tools, such as nonsmooth analysis. This self-contained textbook gives a complete course on all these topics. It is written by a leading specialist who is also a noted expositor. This book provides a thorough introduction to functional analysis and includes many novel elements as well as the standard topics. A short course on nonsmooth analysis and geometry completes the first half of the book whilst the second half concerns the calculus of variations and optimal control. The author provides a comprehensive course on these subjects, from their inception through to the present. A notable feature is the inclusion of recent, unifying developments on regularity, multiplier rules, and the Pontryagin maximum principle, which appear here for the first time in a textbook. Other major themes include existence and Hamilton-Jacobi methods. The many substantial examples, and the more than three hundred exercises, treat such topics as viscosity solutions, nonsmooth Lagrangians, the logarithmic Sobolev inequality, periodic trajectories, and systems theory. They also touch lightly upon several fields of application: mechanics, economics, resources, finance, control engineering. Functional Analysis, Calculus of Variations and Optimal Control is intended to support several different courses at the first-year or second-year graduate level, on functional analysis, on the calculus of variations and optimal control, or on some combination. For this reason, it has been organized with customization in mind. The text also has considerable value as a reference. Besides its advanced results in the calculus of variations and optimal control, its polished presentation of certain other topics (for example convex analysis, measurable selections, metric regularity, and nonsmooth analysis) will be appreciated by researchers in these and related fields.

This textbook is a completely revised, updated, and expanded English edition of the important Analyse fonctionnelle (1983). In addition, it contains a wealth of problems and exercises (with solutions) to guide the reader. Uniquely, this book presents in a coherent, concise and unified way the main results from functional analysis together with the main results from the theory of partial differential equations (PDEs). Although there are many books on functional analysis and many on PDEs, this is the first to cover both of these closely connected topics. Since the French book was first published, it has been translated into Spanish, Italian, Japanese, Korean, Romanian, Greek and Chinese. The English edition makes a welcome addition to this list.

The new edition of this book detailing the theory of linear-Hilbert space operators and their use in quantum physics contains two new chapters devoted to properties of quantum waveguides and quantum graphs. The bibliography contains 130 new items.

Well-respected text for computer science students provides an accessible introduction to functional programming. Cogent examples illuminate the central ideas, and numerous exercises offer reinforcement. Includes solutions. 1989 edition.

Logic is sometimes called the foundation of mathematics: the logician studies the kinds of reasoning used in the individual steps of a proof. Alonzo Church was a pioneer in the field of mathematical logic, whose contributions to number theory and the theories of algorithms and computability laid the theoretical foundations of computer science. His first Princeton book, The Calculi of Lambda-Conversion (1941), established an invaluable tool that computer scientists still use today. Even beyond the accomplishment of that book, however, his second Princeton book, Introduction to Mathematical Logic, defined its subject for a generation. Originally published in Princeton's Annals of Mathematics Studies series, this book was revised in 1956 and reprinted a third time, in 1996, in the Princeton Landmarks in Mathematics series. Although new results in mathematical logic have been developed and other textbooks have been published, it remains, sixty years later, a basic source for understanding formal logic. Church was one of the principal founders of the Association for Symbolic Logic; he founded the Journal of Symbolic Logic in 1936 and remained an editor until 1979 At his death in 1995, Church was still regarded as the greatest mathematical logician in the world.

This book presents a functional calculus for n-tuples of not necessarily commuting linear operators. In particular, a functional calculus for quaternionic linear operators is developed. These calculi are based on a new theory of hyperholomorphicity for functions with values in a Clifford algebra: the so-called slice monogenic functions which are carefully described in the book. In the case of functions with values in the algebra of quaternions these functions are named slice regular functions. Except for the appendix and the introduction all results are new and appear for the first time organized in a monograph. The material has been carefully prepared to be as self-contained as possible. The intended audience consists of researchers, graduate and postgraduate students interested in operator theory, spectral theory, hypercomplex analysis, and mathematical physics.

With his work on computer logic, John H Holland became one of the most important founders of modern computer science. People who knew John H Holland were all amazed and deeply influenced by his incredibly imaginative and creative mind. He produced many more ideas than he could follow up in his life time. This selection of his papers in the field of computer logic entails many of his explored and unexplored ideas. Revisiting the explored ideas and exploring the unexplored ones should be of great interest to scientists of all ages, and of great value to the current research not only in computer science but in many other fields as well.