Mathematics

In this book, ring-theoretical properties of skew Laurent series rings A((x; φ)) over a ring A, where A is an associative ring with non-zero identity element are described. In addition, we consider Laurent rings and Malcev-Neumann rings, which are proper extensions of skew Laurent series rings.

Bessel functions have the peculiarity of being functions of two independent variables: argument and order. They have been studied extensively because of their countless applications, but the vast majority of available literature is devoted to the case of fixed order, variable argument. This two-volume work explores the opposite case.

This volume collects tabulations of the first, second, and third derivatives with respect to the order.

This book is a concise yet complete calculus textbook covering all essential topics in multi-variable calculus, including geometry in three-dimensional space, partial derivatives, maximum/minimum, multiple integrals and vector calculus as well as a chapter for ODE. All the chapters are constructed in a logical way to outline the essence of each topic and to address potential difficulties arising from learning.

This two-volume work introduces the theory and applications of Schur-convex functions. The second volume mainly focuses on the application of Schur-convex functions in sequences inequalities, integral inequalities, mean value inequalities for two variables, mean value inequalities for multi-variables, and in geometric inequalities.

This book summarizes the main analytical and numerical results of Carleman estimates. In the analytical part, Carleman estimates for three main types of Partial Differential Equations (PDEs) are derived. In the numerical part, first numerical methods are proposed to solve ill-posed Cauchy problems for both linear and quasilinear PDEs. Next, various versions of the convexification method are developed for a number of Coefficient Inverse Problems.

Paul Turán, one of the greatest Hungarian mathematicians, was born 100 years ago, on August 18, 1910. To celebrate this occasion the Hungarian Academy of Sciences, the Alfréd Rényi Institute of Mathematics, the János Bolyai Mathematical Society and the Mathematical Institute of Eötvös Loránd University organized an international conference devoted to Paul Turán's main areas of interest: number theory, selected branches of analysis, and selected branches of combinatorics.

The conference was held in Budapest, August 22-26, 2011. Some of the invited lectures reviewed different aspects of Paul Turán's work and influence. Most of the lectures allowed participants to report about their own work in the above mentioned areas of mathematics.

Nonlinear inverse problems appear in many applications, and typically they lead to mathematical models that are ill-posed, i.e., they are unstable under data perturbations. Those problems require a regularization, i.e., a special numerical treatment. This book presents regularization schemes which are based on iteration methods, e.g., nonlinear Landweber iteration, level set methods, multilevel methods and Newton type methods.

The fundamental contributions made by the late Victor Lomonosov in several areas of analysis are revisited in this book, in particular, by presenting new results and future directions from world-recognized specialists in the field. The invariant subspace problem, Burnside’s theorem, and the Bishop-Phelps theorem are discussed in detail. This volume is an essential reference to both researchers and graduate students in mathematical analysis.

Bessel functions have the peculiarity of being functions of two independent variables: argument and order. They have been studied extensively because of their countless applications, but the vast majority of available literature is devoted to the case of fixed order, variable argument. This two-volume work explores the opposite case.

This volume focuses on properties of the functions and mathematical operations with respect to the order.

A computer algebra system such as Mathematica® is able to do much more than just numerics: This text shows how to tackle real mathematical problems from basic analysis. The reader learns how Mathematica® represents domains, qualifiers and limits to implement actual proofs – a requirement to unlock the huge potential of Mathematica® for a variety of applications.

The second edition covers the introduction to the main mathematical tools of nonlinear functional analysis, which are also used in the study of concrete problems in economics, engineering, and physics. The new edition includes some new topics on Banach spaces of functions and measures and nonlinear analysis.

This volume contains selected refereed papers based on lectures presented at the ‘Integers Conference 2007’, an international conference in combinatorial number theory that was held in Carrollton, Georgia in October 2007.

The proceedings include contributions from many distinguished speakers, including George Andrews, Neil Hindman, Florian Luca, Carl Pomerance, Ken Ono and Igor E. Shparlinski. Among the topics considered in these papers are additive number theory, multiplicative number theory, sequences, elementary number theory, theory of partitions, and Ramsey theory.

The book timely surveys new research results and related developments in Diophantine approximation, a division of number theory which deals with the approximation of real numbers by rational numbers. The book is appended with a list of challenging open problems and a comprehensive list of references.

From the contents: Field extensions • Algebraic numbers • Algebraic geometry • Height functions • The abc-conjecture • Roth's theorem • Subspace theorems • Vojta's conjectures • L-functions.

By connecting dynamical systems and number theory, this graduate textbook on ergodic theory acts as an introduction to a highly active area of mathematics, where a variety of strands of research open up. The text explores various concepts in infinite ergodic theory, always using continued fractions and other number-theoretic dynamical systems as illustrative examples.

Contents:
Preface
Mathematical symbols
Number-theoretical dynamical systems
Basic ergodic theory
Renewal theory and α-sum-level sets
Infinite ergodic theory
Applications of infinite ergodic theory
Bibliography
Index

This book is summarizing the results of the workshop "Uniform Distribution and Quasi-Monte Carlo Methods" of the RICAM Special Semester on "Applications of Algebra and Number Theory" in October 2013.

The survey articles in this book focus on number theoretic point constructions, uniform distribution theory, and quasi-Monte Carlo methods. As deterministic versions of the Monte Carlo method, quasi-Monte Carlo rules enjoy increasing popularity, with many fruitful applications in mathematical practice, as for example in finance, computer graphics, and biology.

The goal of this book is to give an overview of recent developments in uniform distribution theory, quasi-Monte Carlo methods, and their applications, presented by leading experts in these vivid fields of research.

Diese kompakte Einführung in die Gebiete der Analytischen Zahlentheorie, die den Primzahlsatz, den Satz über Primzahlen in arithmetischen Folgen und die Riemannsche zeta-Funktion zum Gegenstand hat, wurde für einen einsemestrigen Kurs für Studierende der Mathematik an der Universität Innsbruck konzipiert. Die anregende Darstellung und der Einschluss der Resultate aus der Analysis, Funktionentheorie und Gruppentheorie, auf die die Analytische Zahlentheorie zurückgreift, erlauben ebenso die Benutzung des Buches zum Selbststudium, wie auch als Nachschlagewerk für Mathematiker aus anderen Bereichen.

Inhalt
Größenordnungen zahlentheoretischer Funktionen
Dirichlet-Reihen
Der Primzahlsatz
Die zeta-Funktion auf der komplexen Ebene ℂ
Anhang: Hilfsresultate aus der Analysis, der Funktionentheorie und der Gruppentheorie

This volume contains the proceedings of the conference "Casimir Force, Casimir Operators and the Riemann Hypothesis – Mathematics for Innovation in Industry and Science" held in November 2009 in Fukuoka (Japan). The motive for the conference was the celebration of the 100th birthday of Casimir and the 150th birthday of the Riemann hypothesis.

The conference focused on the following topics:

• Casimir operators in harmonic analysis and representation theory
• Number theory, in particular zeta functions and cryptography
• Casimir force in physics and its relation with nano-science
• Mathematical biology
• Importance of mathematics for innovation in industry

The latter topic was inspired both by the call for innovation in industry worldwide and by the fact that Casimir, who was the director of Philips research for a long time in his career, had an outspoken opinion on the importance of fundamental science for industry.

These proceedings are of interest both to research mathematicians and to those interested in the role science, and in particular mathematics, can play in innovation in industry.

This is the revised and extended second edition of the successful basic book on computer arithmetic. It is consistent with the newest recent standard developments in the field. The book shows how the arithmetic and mathematical capability of the digital computer can be enhanced in a quite natural way. The work is motivated by the desire and the need to improve the accuracy of numerical computing and to control the quality of the computed results (validity). The accuracy requirements for the elementary floating-point operations are extended to the customary product spaces of computations including interval spaces. The mathematical properties of these models are extracted into an axiomatic approach which leads to a general theory of computer arithmetic. Detailed methods and circuits for the implementation of this advanced computer arithmetic on digital computers are developed in part two of the book. Part three then illustrates by a number of sample applications how this extended computer arithmetic can be used to compute highly accurate and mathematically verified results. The book can be used as a high-level undergraduate textbook but also as reference work for research in computer arithmetic and applied mathematics.

This monograph is devoted to harmonic analysis and potential theory. The authors study these essentials carefully and present recent researches based on the papers including by authors in an accessible manner for graduate students and researchers in pure and applied analysis.

The book introduces a new form of mathematical logic called "Information Oriented Logic" (IOL). It demonstrates that IOL is capable of solving various classical and non-classical logic problems that cannot be solved by traditional methods of logic. In this book, it is argued that two meaningful declarative sentences or symbols can make the same statement if they express the same thing or referent in different ways. The book treats a piece of information as the referent for a meaningful declarative sentence, thus inventing information-oriented logic. As a result, this book provides a comprehensive guide to this logic. Unlike traditional logic, which uses declarative sentences as the result of logical expressions, this new logic uses pieces of information. The book is intended for undergraduate and graduate students, as well as scholars applying mathematical logic to various fields such as philosophy, linguistics, ontology, information theory, computer science, etc. Additionally, it provides a new mereology in which all implications of a piece of information are its parts.

This reference discusses how automata and language theory can be used to understand solutions to solving equations in groups and word problems in groups. Examples presented include, how Fine scale complexity theory has entered group theory via these connections and how cellular automata, has been generalized into a group theoretic setting. Chapters written by experts in group theory and computer science explain these connections.

The first three books of the Conica deals with the basic elements of the theory of conical sections, before Apollonius turns to particular problems in the following books. Until recently these three books were only known from Eutocius’ text. However, they were known to be part of an Arabic translation of a Greek version independent of Eutocius’ text.

A close study of the Arabic texts of books 2 and 3 leads to the same conclusion as that which, as a result of the new edition, was reached for the first book: that the Greek version provides a better and sounder text. This volume provides a first critical edition of the Arabic text, the first translation of it into a modern language and a detailed historical and mathematical commentary.

Volume 2.3, containing the Greek translations of books II-IV, completes the edition of the Conica of Apollonius of Perga. It is arranged according to the same principle as the previous volume on book I: the critical edition of the Greek text is accompanied by numerous notes and a lexicon of all mathematical terms. An introduction and a French translation provide further insights into the text. The edition of the Greek books of the Conica will be thematically complemented by volume 3 of the SGA series, containing the critical edition of Eutocius of Ascalon's commentary on the Conica and its French translation.

Bessel functions have the peculiarity of being functions of two independent variables: argument and order. They have been studied extensively because of their countless applications, but the vast majority of available literature is devoted to the case of fixed order, variable argument. This two-volume work explores the opposite case.

This volume focuses on properties of the functions and mathematical operations with respect to the order.

Iterative Methods for Fixed Points of Nonlinear Operators offers an introduction into iterative methods of fixed points for nonexpansive mappings, pseudo-contrations in Hilbert Spaces and in Banach Spaces. Iterative methods of zeros for accretive mappings in Banach Spaces and monotone mappings in Hilbert Spaces are also discussed. It is an essential work for mathematicians and graduate students in nonlinear analysis.