Bücher veröffentlicht von Springer Basel

Pseudodifferential analysis, introduced in this book in a way adapted to the needs of number theorists, relates automorphic function theory in the hyperbolic half-plane I to automorphic distribution theory in the plane. Spectral-theoretic questions are discussed in one or the other environment: in the latter one, the problem of decomposing automorphic functions in I according to the spectral decomposition of the modular Laplacian gives way to the simpler one of decomposing automorphic distributions in R2 into homogeneous components. The Poincare summation process, which consists in building automorphic distributions as series of g-transforms, for g E SL(2;Z), of some initial function, say in S(R2), is analyzed in detail. On I , a large class of new automorphic functions or measures is built in the same way: one of its features lies in an interpretation, as a spectral density, of the restriction of the zeta function to any line within the critical strip.The book is addressed to a wide audience of advanced graduate students and researchers working in analytic number theory or pseudo-differential analysis.

Lagrangian systems constitute a very important and old class in dynamics. Their origin dates back to the end of the eighteenth century, with Joseph-Louis Lagrange's reformulation of classical mechanics. The main feature of Lagrangian dynamics is its variational flavor: orbits are extremal points of an action functional. The development of critical point theory in the twentieth century provided a powerful machinery to investigateexistence and multiplicity questions for orbits of Lagrangian systems. This monograph gives a modern account of the application of critical point theory, and more specifically Morse theory, to Lagrangian dynamics, with particular emphasis toward existence and multiplicity of periodic orbits of non-autonomous and time-periodic systems.

The book presents a general overview of mathematical models in the context of evolution.

These lecture notes are intended as an introduction to the methods of classi?cation of holomorphic vector bundles over projective algebraic manifolds X. To be as concrete as possible we have mostly restricted ourselves to the case X = P . According to Serre (GAGA) the class- n cation of holomorphic vector bundles is equivalent to the classi?cation of algebraic vector bundles. Here we have used almost exclusively the language of analytic geometry. The book is intended for students who have a basic knowledge of analytic and (or) algebraic geometry. Some fundamental results from these ?elds are summarized at the beginning. One of the authors gave a survey in the S'eminaire Bourbaki 1978 on the current state of the classi?cation of holomorphic vector bundles over P . This lecture then served as the basis for a course of lectures n in G*ottingen in the Winter Semester 78/79. The present work is an extended and up-dated exposition of that course. Because of the - troductory nature of this book we have had to leave out some di?cult topics such as the restriction theorem of Barth. As compensation we have appended to each section a paragraph in which historical remarks are made, further results indicated and unsolved problems presented. The book is divided into two chapters. Each chapter is subdivided into several sections which in turn are made up of a number of pa- graphs. Each section is preceded by a short description of its contents.

The discoveries of the last decades have opened new perspectives for the old field of Hamiltonian systems and led to the creation of a new field: symplectic topology. Surprising rigidity phenomena demonstrate that the nature of symplectic mappings is very different from that of volume preserving mappings. This raises new questions, many of them still unanswered. On the other hand, analysis of an old variational principle in classical mechanics has established global periodic phenomena in Hamiltonian systems. As it turns out, these seemingly different phenomena are mysteriously related. One of the links is a class of symplectic invariants, called symplectic capacities. These invariants are the main theme of this book, which includes such topics as basic symplectic geometry, symplectic capacities and rigidity, periodic orbits for Hamiltonian systems and the action principle, a bi-invariant metric on the symplectic diffeomorphism group and its geometry, symplectic fixed point theory, the Arnold conjectures and first order elliptic systems, and finally a survey on Floer homology and symplectic homology. The exposition is self-contained and addressed to researchers and students from the graduate level onwards.

The main goal of this book is to introduce readers to functional analysis methods, in particular, time dependent analysis, for reliability models. Understanding the concept of reliability is of key importance - schedule delays, inconvenience, customer dissatisfaction, and loss of prestige and even weakening of national security are common examples of results that are caused by unreliability of systems and individuals. The book begins with an introduction to C0-semigroup theory. Then, after a brief history of reliability theory, methods that study the well-posedness, the asymptotic behaviors of solutions and reliability indices for varied reliability models are presented. Finally, further research problems are explored.Functional Analysis Methods for Reliability Models is an excellent reference for graduate students and researchers in operations research, applied mathematics and systems engineering.

1 Aim and General Description of the Anthology The purpose of this anthology is to introduce the English speaking public to the wide spectrum of texts authored predominently by physicists portraying the ac tual and perceived role of physics in the Nazi state.

Included are contributions to single and multivariable operator theory, commutative and non-commutative Banach algebra theory, the theory of matrix polynomials and analytic vector-valued functions, several variable complex function theory, and the theory of structured matrices and operators.

This Milestones in Drug Therapy volume describes the experience of the last 20 years of treatment with recombinant human G-CSF, including the basic science, the use of recombinant human G-CSF in both the oncology and nononcology settings, and the safety and economics of its use.

This is the first comprehensive study about the non-mathematical writings and activities of the Russian algebraic geometer and number theorist Igor Shafarevich (b. 1923). In the 1970s Shafarevich was a prominent member of the dissidents' human rights movement and a noted author of clandestine anti-communist literature in the Soviet Union. Shafarevich's public image suffered a terrible blow around 1989 when he was decried as a dangerous ideologue of anti-Semitism due to his newly-surfaced old manuscript Russophobia. The scandal culminated when the President of the National Academy of Sciences of the United States suggested that Shafarevich, an honorary member, resign. The present study establishes that the allegations about anti-Semitism in Shafarevich's texts were unfounded and that Shafarevich's terrible reputation was cemented on a false basis.

This highly interdisciplinary volume focuses on structural, dynamical and functional aspects of cellular systems and presents corresponding experiments and mathematical models.

This book presents recent results on nonlinear parabolic-hyperbolic coupled systems such as the compressible Navier-Stokes equations, and liquid crystal system. It summarizes recently published research by the authors and their collaborators, but also includes new and unpublished material. All models under consideration are built on compressible equations and liquid crystal systems. This type of partial differential equations arises not only in many fields of mathematics, but also in other branches of science such as physics, fluid dynamics and material science.

This volume develops methods for proving the non-vanishing of certain L-functions at points in the critical strip. It begins at a very basic level and continues to develop, providing readers with a theoretical foundation that allows them to understand the latest discoveries in the field.

The chief purpose of the book is to present, in detail, a compilation of proofs of the Cantor-Bernstein Theorem (CBT) published through the years since the 1870's. Over thirty such proofs are surveyed.The book comprises five parts. In the first part the discussion covers the role of CBT and related notions in the writings of Cantor and Dedekind. New views are presented, especially regarding the general proof of CBT obtained by Cantor, his proof of the Comparability Theorem, the ruptures in the Cantor-Dedekind correspondence and the origin of Dedekind's proof of CBT.The second part covers the first CBT proofs published (1896-1901). The works of the following mathematicians is considered in detail: Schroder, Bernstein, Bore, Schoenflies and Zermelo. Here a subtheme of the book is launched; it concerns the research project following Bernstein's Division Theorem (BDT).In its third part the book covers proofs that emerged during the period when the logicist movement was developed (1902-1912). It covers the works of Russell and Whitehead, Jourdain, Harward, Poincare, J. Konig, D. Konig (his results in graph theory), Peano, Zermelo, Korselt. Also Hausdorff's paradox is discussed linking it to BDT.In the fourth part of the book are discussed the developments of CBT and BDT (including the inequality-BDT) in the hands of the mathematicians of the Polish School of Logic, including Sierpinski, Banach, Tarski, Lindenbaum, Kuratowski, Sikorski, Knaster, the British Whittaker, and Reichbach.Finally, in the fifth part, the main discussion concentrates on the attempts to port CBT to intuitionist mathematics (with results by Brouwer, Myhill, van Dalen and Troelstra) and to Category Theory (by Trnkova and Koubek).The second purpose of the book is to develop a methodology for the comparison of proofs. The core idea of this methodology is that a proof can be described by two descriptors, called gestalt and metaphor. It is by comparison of their descriptors that the comparison of proofs is obtained. The process by which proof descriptors are extracted from a proof is named 'proof-processing', and it is conjectured that mathematicians perform proof-processing habitually, in the study of proofs.

This book gives a comprehensive review of results for associated sequences and demimartingales developed so far, with special emphasis on demimartingales and related processes. Probabilistic properties of associated sequences, demimartingales and related processes are discussed in the first six chapters. Applications of some of these results to some problems in nonparametric statistical inference for such processes are investigated in the last three chapters.

The book consists of solicited articles from a select group of mathematicians and physicists working at the interface between positivity and the geometry, combinatorics or analysis of polynomials of one or several variables.

2) issue of the Nexus Network Journal features eight papers that resulted from the eighth international, interdisciplinary conference entitled "Nexus 2010: Relationships between Architecture and Mathematics, held in Porto, Portugal, in June 2010.

The true history of physics can only be read in the life stories of those who made its progress possible. Matvei Bronstein was one of those for whom the vast territory of theoretical physics was as familiar as his own home: he worked in cosmology, nuclear physics, gravitation, semiconductors, atmospheric physics, quantum electrodynamics, astro- physics and the relativistic quantum theory. Everyone who knew him was struck by his wide knowledge, far beyond the limits of his trade. This partly explains why his life was closely intertwined with the social, historical and scientific context of his time. One might doubt that during his short life Bronstein could have made truly weighty contributions to science and have become, in a sense, a symbol of his time. Unlike mathematicians and poets, physicists reach the peak of their careers after the age of thirty. His thirty years of life, however, proved enough to secure him a place in the Greater Soviet Encyclopedia. In 1967, in describing the first generation of physicists educated after the 1917 revolution, Igor Tamm referred to Bronstein as "e;an exceptionally brilliant and promising"e; theoretician [268].

One of the most challenging problems of contemporary theoretical physics is the mathematically rigorous construction of a theory which describes gravitation and the other fundamental physical interactions within a common framework.

Highlighting 15 selected chiral structures, which represent candidate or marketed drugs, and their chemical syntheses, the authors acquaint the reader with the fascinating achievements of synthetic and medicinal chemistry.The book starts with an introduction treating the discovery and development of a new drug entity. Each of the 15 subsequent chapters presents one of the target structures and begins with a description of its biological profile as well as any known molecular mechanisms of action, underlining the importance of its structural and stereochemical features. This section is followed by detailed discussions of synthetic approaches to the chiral target structure, highlighting creative ideas, the scaling-up of laboratory methods and their replacement by efficient modern technologies for large-scale production. Nearly 60 synthetic reactions, most of them stereoselective, catalytic or biocatalytic, as well as chiral separating methodologies are included in the book.Vitomir Sunjic and Michael J. Parnham provide an invaluable source of information for scientists in academia and the pharmaceutical industry who are actively engaged in the interdisciplinary development of new drugs, as well as for advanced students in chemistry and related fields.

<i>This book presents a functional calculus for <i>n</i>-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.</i><br> <p>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.</p>

This monograph gives a systematic account of the theory of vector-valued Laplace transforms, ranging from representation theory to Tauberian theorems. In parallel, the theory of linear Cauchy problems and semigroups of operators is developed completely in the spirit of Laplace transforms. Existence and uniqueness, regularity, approximation and above all asymptotic behaviour of solutions are studied. Diverse applications to partial differential equations are given. The book contains an introduction to the Bochner integral and several appendices on background material. It is addressed to students and researchers interested in evolution equations, Laplace and Fourier transforms, and functional analysis. The second edition contains detailed notes on the developments in the last decade. They include, for instance, a new characterization of well-posedness of abstract wave equations in Hilbert space due to M. Crouzeix. Moreover new quantitative results on asymptotic behaviour of Laplace transforms have been added. The references are updated and some errors have been corrected.

Mathematical logic is a branch of mathematics that takes axiom systems and mathematical proofs as its objects of study. This book shows how it can also provide a foundation for the development of information science and technology. The first five chapters systematically present the core topics of classical mathematical logic, including the syntax and models of first-order languages, formal inference systems, computability and representability, and Godel's theorems. The last five chapters present extensions and developments of classical mathematical logic, particularly the concepts of version sequences of formal theories and their limits, the system of revision calculus, proschemes (formal descriptions of proof methods and strategies) and their properties, and the theory of inductive inference. All of these themes contribute to a formal theory of axiomatization and its application to the process of developing information technology and scientific theories. The book also describes the paradigm of three kinds of language environments for theories and it presents the basic properties required of a meta-language environment. Finally, the book brings these themes together by describing a workflow for scientific research in the information era in which formal methods, interactive software and human invention are all used to their advantage.The second edition of the book includes major revisions on the proof of the completeness theorem of the Gentzen system and new contents on the logic of scientific discovery, R-calculus without cut, and the operational semantics of program debugging.This book represents a valuable reference for graduate and undergraduate students and researchers in mathematics, information science and technology, and other relevant areas of natural sciences. Its first five chapters serve as an undergraduate text in mathematical logic and the last five chapters are addressed to graduate students in relevant disciplines.

With the number of natural carotenoid structures reported rising above 700, there is a clear need for a single reference work containing data on all these compounds. For each compound, it provides selected key references and critically assessed information about natural occurrence and isolation, and spectroscopic data for identification.

The Bialowieza workshops on Geometric Methods in Physics, taking place in the unique environment of the Bialowieza natural forest in Poland, are among the important meetings in the field.

This book contains a collection of research articles and surveys on recent developments on operator theory as well as its applications covered in the IWOTA 2011 conference held at Sevilla University in the summer of 2011.

The book deals with the representation in series form of compact linear operators acting between Banach spaces, and provides an analogue of the classical Hilbert space results of this nature that have their roots in the work of D. Hilbert, F. Riesz and E. Schmidt. The representation involves a recursively obtained sequence of points on the unit sphere of the initial space and a corresponding sequence of positive numbers that correspond to the eigenvectors and eigenvalues of the map in the Hilbert space case. The lack of orthogonality is partially compensated by the systematic use of polar sets. There are applications to the p-Laplacian and similar nonlinear partial differential equations. Preliminary material is presented in the first chapter, the main results being established in Chapter 2. The final chapter is devoted to the problems encountered when trying to represent non-compact maps.

The Plancherel formula says that the L^2 norm of the function is equal to the L^2 norm of its Fourier transform. This implies that at least on average, the Fourier transform of an L^2 function decays at infinity. This book is dedicated to the study of the rate of this decay under various assumptions and circumstances, far beyond the original L^2 setting. Analytic and geometric properties of the underlying functions interact in a seamless symbiosis which underlines the wide range influences and applications of the concepts under consideration.

Since the publication of the first edition of this seminar book in 1994, the theory and applications of extremes and rare events have enjoyed an enormous and still increasing interest. The intention of the book is to give a mathematically oriented development of the theory of rare events underlying various applications. This characteristic of the book was strengthened in the second edition by incorporating various new results. In this third edition, the dramatic change of focus of extreme value theory has been taken into account: from concentrating on maxima of observations it has shifted to large observations, defined as exceedances over high thresholds. One emphasis of the present third edition lies on multivariate generalized Pareto distributions, their representations, properties such as their peaks-over-threshold stability, simulation, testing and estimation. Reviews of the 2nd edition:"e;In brief, it is clear that this will surely be a valuable resource for anyone involved in, or seeking to master, the more mathematical features of this field."e;David Stirzaker, Bulletin of the London Mathematical Society"e;Laws of Small Numbers can be highly recommended to everyone who is looking for a smooth introduction to Poisson approximations in EVT and other fields of probability theory and statistics. In particular, it offers an interesting view on multivariate EVT and on EVT for non-iid observations, which is not presented in a similar way in any other textbook."e;Holger Drees, Metrika

Contains an augmented collection of papers originating from the Evison Symposium on Seismogenesis and Earthquake Forecasting held in Wellington, New Zealand, in February 2008. This title intends to honor Frank Evison's interest in earthquake generation and forecasting.