You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Asymptotic differential algebra seeks to understand the solutions of differential equations and their asymptotics from an algebraic point of view. The differential field of transseries plays a central role in the subject. Besides powers of the variable, these series may contain exponential and logarithmic terms. Over the last thirty years, transseries emerged variously as super-exact asymptotic expansions of return maps of analytic vector fields, in connection with Tarski's problem on the field of reals with exponentiation, and in mathematical physics. Their formal nature also makes them suitable for machine computations in computer algebra systems. This self-contained book validates the int...
This book is the first of two proceedings volumes stemming from the International Conference and Workshop on Valuation Theory held at the University of Saskatchewan (Saskatoon, SK, Canada). Valuation theory arose in the early part of the twentieth century in connection with number theory and has many important applications to geometry and analysis: the classical application to the study of algebraic curves and to Dedekind and Prufer domains; the close connection to the famousresolution of the singularities problem; the study of the absolute Galois group of a field; the connection between ordering, valuations, and quadratic forms over a formally real field; the application to real algebraic geometry; the study of noncommutative rings; etc. The special feature of this book isits focus on current applications of valuation theory to this broad range of topics. Also included is a paper on the history of valuation theory. The book is suitable for graduate students and research mathematicians working in algebra, algebraic geometry, number theory, and mathematical logic.
The structure space of a closed topological -manifold classifies bundles whose fibers are closed -manifolds equipped with a homotopy equivalence to . The authors construct a highly connected map from to a concoction of algebraic -theory and algebraic -theory spaces associated with . The construction refines the well-known surgery theoretic analysis of the block structure space of in terms of -theory.
This book focuses on finiteness conjectures and results in ordinary differential equations (ODEs) and Diophantine geometry. During the past twenty-five years, much progress has been achieved on finiteness conjectures, which are the offspring of the second part of Hilbert's 16th problem. Even in its simplest case, this is one of the very few problems on Hilbert's list which remains unsolved. These results are about existence and estimation of finite bounds for the number of limit cycles occurring in certain families of ODEs. The book describes this progress, the methods used (bifurcation theory, asymptotic expansions, methods of differential algebra, or geometry) and the specific results obta...
The theory of analyzable functions is a technique used to study a wide class of asymptotic expansion methods and their applications in analysis, difference and differential equations, partial differential equations and other areas of mathematics. Key ideas in the theory of analyzable functions were laid out by Euler, Cauchy, Stokes, Hardy, E. Borel, and others. Then in the early 1980s, this theory took a great leap forward with the work of J. Ecalle. Similar techniques and conceptsin analysis, logic, applied mathematics and surreal number theory emerged at essentially the same time and developed rapidly through the 1990s. The links among various approaches soon became apparent and this body of ideas is now recognized as a field of its own with numerous applications. Thisvolume stemmed from the International Workshop on Analyzable Functions and Applications held in Edinburgh (Scotland). The contributed articles, written by many leading experts, are suitable for graduate students and researchers interested in asymptotic methods.
This book constitutes the proceedings of the 5th Conference on Computability in Europe, CiE 2009, held in Heidelberg, Germany, during July 19-24, 2009. The 34 papers presented together with 17 invited lectures were carefully reviewed and selected from 100 submissions. The aims of the conference is to advance our theoretical understanding of what can and cannot be computed, by any means of computation. It is the largest international meeting focused on computability theoretic issues.
Transseries are formal objects constructed from an infinitely large variable x and the reals using infinite summation, exponentiation and logarithm. They are suitable for modeling "strongly monotonic" or "tame" asymptotic solutions to differential equations and find their origin in at least three different areas of mathematics: analysis, model theory and computer algebra. They play a crucial role in Écalle's proof of Dulac's conjecture, which is closely related to Hilbert's 16th problem. The aim of the present book is to give a detailed and self-contained exposition of the theory of transseries, in the hope of making it more accessible to non-specialists.
In general, little is known about the representation theory of quantum groups (resp., algebraic groups) when l (resp., p ) is smaller than the Coxeter number h of the underlying root system. For example, Lusztig's conjecture concerning the characters of the rational irreducible G -modules stipulates that p=h. The main result in this paper provides a surprisingly uniform answer for the cohomology algebra H (u ? ,C) of the small quantum group.
The authors consider the time-dependent Schrödinger equation on a Riemannian manifold with a potential that localizes a certain subspace of states close to a fixed submanifold . When the authors scale the potential in the directions normal to by a parameter , the solutions concentrate in an -neighborhood of . This situation occurs for example in quantum wave guides and for the motion of nuclei in electronic potential surfaces in quantum molecular dynamics. The authors derive an effective Schrödinger equation on the submanifold and show that its solutions, suitably lifted to , approximate the solutions of the original equation on up to errors of order at time . Furthermore, the authors prove that the eigenvalues of the corresponding effective Hamiltonian below a certain energy coincide up to errors of order with those of the full Hamiltonian under reasonable conditions.
The authors study the complex geometry and coherent cohomology of nonclassical Mumford-Tate domains and their quotients by discrete groups. Their focus throughout is on the domains which occur as open -orbits in the flag varieties for and , regarded as classifying spaces for Hodge structures of weight three. In the context provided by these basic examples, the authors formulate and illustrate the general method by which correspondence spaces give rise to Penrose transforms between the cohomologies of distinct such orbits with coefficients in homogeneous line bundles.