This book features a selection of articles based on the XXXIV Bialowieza Workshop on Geometric Methods in Physics, 2015. The articles presented are mathematically rigorous, include important physical implications and address the application of geometry in classical and quantum physics. Special attention deserves the session devoted to discussions of Gerard Emch's most important and lasting achievements in mathematical physics. The Bialowieza workshops are among the most important meetings in the field and gather participants from mathematics and physics alike. Despite their long tradition, the Workshops remain at the cutting edge of ongoing research. For the past several years, the Bialowieza Workshop has been followed by a School on Geometry and Physics, where advanced lectures for graduate students and young researchers are presented. The unique atmosphere of the Workshop and School is enhanced by the venue, framed by the natural beauty of the Bialowieza forest in eastern Poland.

This book focuses on recent research in modern optimization and its implications in control and data analysis. This book is a collection of papers from the conference "Optimization and Its Applications in Control and Data Science" dedicated to Professor Boris T. Polyak, which was held in Moscow, Russia on May 13-15, 2015. This book reflects developments in theory and applications rooted by Professor Polyak's fundamental contributions to constrained and unconstrained optimization, differentiable and nonsmooth functions, control theory and approximation. Each paper focuses on techniques for solving complex optimization problems in different application areas and recent developments in optimization theory and methods. Open problems in optimization, game theory and control theory are included in this collection which will interest engineers and researchers working with efficient algorithms and software for solving optimization problems in market and data analysis. Theoreticians in operations research, applied mathematics, algorithm design, artificial intelligence, machine learning, and software engineering will find this book useful and graduate students will find the state-of-the-art research valuable.

The first of a two volume set on novel methods in harmonic analysis, this book draws on a number of original research and survey papers from well-known specialists detailing the latest innovations and recently discovered links between various fields. Along with many deep theoretical results, these volumes contain numerous applications to problems in signal processing, medical imaging, geodesy, statistics, and data science. The chapters within cover an impressive range of ideas from both traditional and modern harmonic analysis, such as: the Fourier transform, Shannon sampling, frames, wavelets, functions on Euclidean spaces, analysis on function spaces of Riemannian and sub-Riemannian manifolds, Fourier analysis on manifolds and Lie groups, analysis on combinatorial graphs, sheaves, co-sheaves, and persistent homologies on topological spaces. Volume I is organized around the theme of frames and other bases in abstract and function spaces, covering topics such as: The advanced development of frames, including Sigma-Delta quantization for fusion frames, localization of frames, and frame conditioning, as well as applications to distributed sensor networks, Galerkin-like representation of operators, scaling on graphs, and dynamical sampling. A systematic approach to shearlets with applications to wavefront sets and function spaces. Prolate and generalized prolate functions, spherical Gauss-Laguerre basis functions, and radial basis functions. Kernel methods, wavelets, and frames on compact and non-compact manifolds.

The papers in this volume are based on lectures given at the IMA Workshop on Grid Generation and Adaptive Algorithms held during April 28 - May 2, 1997. Grid generation is a common feature of many computational tasks which require the discretization and representation of space and surfaces. The papers in this volume discuss how the geometric complexity of the physical object or the non-uniform nature of the solution variable make it impossible to use a uniform grid. Since an efficient grid requires knowledge of the computed solution, many of the papers in this volume treat how to construct grids that are adaptively computed with the solution. This volume will be of interest to computational scientists and mathematicians working in a broad variety of applications including fluid mechanics, solid mechanics, materials science, chemistry, and physics. Papers treat residual-based error estimation and adaptivity, repartitioning and load balancing for adaptive meshes, data structures and local refinement methods for conservation laws, adaptivity for hp-finite element methods, the resolution of boundary layers in high Reynolds number flow, adaptive methods for elastostatic contact problems, the full domain partition approach to parallel adaptive refinement, the adaptive solution of phase change problems, and quality indicators for triangular meshes.

This work gathers a selection of outstanding papers presented at the 25th Conference on Differential Equations and Applications / 15th Conference on Applied Mathematics, held in Cartagena, Spain, in June 2017. It supports further research into both ordinary and partial differential equations, numerical analysis, dynamical systems, control and optimization, trending topics in numerical linear algebra, and the applications of mathematics to industry. The book includes 14 peer-reviewed contributions and mainly addresses researchers interested in the applications of mathematics, especially in science and engineering. It will also greatly benefit PhD students in applied mathematics, engineering and physics.

The focus of these conference proceedings is on research, development, and applications in the fields of numerical geometry, scientific computing and numerical simulation, particularly in mesh generation and related problems. In addition, this year's special focus is on Voronoi diagrams and their applications, celebrating the 150th birthday of G.F. Voronoi. In terms of content, the book strikes a balance between engineering algorithms and mathematical foundations. It presents an overview of recent advances in numerical geometry, grid generation and adaptation in terms of mathematical foundations, algorithm and software development and applications. The specific topics covered include: quasi-conformal and quasi-isometric mappings, hyperelastic deformations, multidimensional generalisations of the equidistribution principle, discrete differential geometry, spatial and metric encodings, Voronoi-Delaunay theory for tilings and partitions, duality in mathematical programming and numerical geometry, mesh-based optimisation and optimal control methods. Further aspects examined include iterative solvers for variational problems and algorithm and software development. The applications of the methods discussed are multidisciplinary and include problems from mathematics, physics, biology, chemistry, material science, and engineering.

The aim of this monograph is to present a self-contained introduction to some geometric and analytic aspects of the Yamabe problem. The book also describes a wide range of methods and techniques that can be successfully applied to nonlinear differential equations in particularly challenging situations. Such situations occur where the lack of compactness, symmetry and homogeneity prevents the use of more standard tools typically used in compact situations or for the Euclidean setting. The work is written in an easy style that makes it accessible even to non-specialists. After a self-contained treatment of the geometric tools used in the book, readers are introduced to the main subject by means of a concise but clear study of some aspects of the Yamabe problem on compact manifolds. This study provides the motivation and geometrical feeling for the subsequent part of the work. In the main body of the book, it is shown how the geometry and the analysis of nonlinear partial differential equations blend together to give up-to-date results on existence, nonexistence, uniqueness and a priori estimates for solutions of general Yamabe-type equations and inequalities on complete, non-compact Riemannian manifolds.

One of the current main challenges in the area of scientific computing is the design and implementation of accurate numerical models for complex physical systems which are described by time dependent coupled systems of nonlinear PDEs. This volume integrates the works of experts in computational mathematics and its applications, with a focus on modern algorithms which are at the heart of accurate modeling: adaptive finite element methods, conservative finite difference methods and finite volume methods, and multilevel solution techniques. Fundamental theoretical results are revisited in survey articles and new techniques in numerical analysis are introduced. Applications showcasing the efficiency, reliability and robustness of the algorithms in porous media, structural mechanics and electromagnetism are presented. Researchers and graduate students in numerical analysis and numerical solutions of PDEs and their scientific computing applications will find this book useful.

This is the second, completely revised and expanded edition of the author's first book, covering numerous new topics and recent developments in ultrametric summability theory. Ultrametric analysis has emerged as an important branch of mathematics in recent years. This book presents a brief survey of the research to date in ultrametric summability theory, which is a fusion of a classical branch of mathematics (summability theory) with a modern branch of analysis (ultrametric analysis). Several mathematicians have contributed to summability theory as well as functional analysis. The book will appeal to both young researchers and more experienced mathematicians who are looking to explore new areas in analysis. The book is also useful as a text for those who wish to specialize in ultrametric summability theory.

This book contains selected papers of NSC08, the 2nd Conference on Nonlinear Science and Complexity, held 28-31 July, 2008, Porto, Portugal. It focuses on fundamental theories and principles, analytical and symbolic approaches, computational techniques in nonlinear physics and mathematics. Topics treated include - Chaotic Dynamics and Transport in Classic and Quantum Systems - Complexity and Nonlinearity in Molecular Dynamics and Nano-Science - Complexity and Fractals in Nonlinear Biological Physics and Social Systems - Lie Group Analysis and Applications in Nonlinear Science - Nonlinear Hydrodynamics and Turbulence - Bifurcation and Stability in Nonlinear Dynamic Systems - Nonlinear Oscillations and Control with Applications - Celestial Physics and Deep Space Exploration - Nonlinear Mechanics and Nonlinear Structural Dynamics - Non-smooth Systems and Hybrid Systems - Fractional dynamical systems

Real Analysis is a discipline of intensive study in many institutions of higher education, because it contains useful concepts and fundamental results in the study of mathematics and physics, of the technical disciplines and geometry. This book is the first one of its kind that solves mathematical analysis problems with all four related main software Matlab, Mathcad, Mathematica and Maple. Besides the fundamental theoretical notions, the book contains many exercises, solved both mathematically and by computer, using: Matlab 7.9, Mathcad 14, Mathematica 8 or Maple 15 programming languages. The book is divided into nine chapters, which illustrate the application of the mathematical concepts using the computer. Each chapter presents the fundamental concepts and the elements required to solve the problems contained in that chapter and finishes with some problems left to be solved by the readers. The calculations can be verified by using a specific software such as Matlab, Mathcad, Mathematica or Maple.

This edited volume highlights the scientific contributions of Volker Mehrmann, a leading expert in the area of numerical (linear) algebra, matrix theory, differential-algebraic equations and control theory. These mathematical research areas are strongly related and often occur in the same real-world applications. The main areas where such applications emerge are computational engineering and sciences, but increasingly also social sciences and economics. This book also reflects some of Volker Mehrmann's major career stages. Starting out working in the areas of numerical linear algebra (his first full professorship at TU Chemnitz was in "Numerical Algebra," hence the title of the book) and matrix theory, Volker Mehrmann has made significant contributions to these areas ever since. The highlights of these are discussed in Parts I and II of the present book. Often the development of new algorithms in numerical linear algebra is motivated by problems in system and control theory. These and his later major work on differential-algebraic equations, to which he together with Peter Kunkel made many groundbreaking contributions, are the topic of the chapters in Part III. Besides providing a scientific discussion of Volker Mehrmann's work and its impact on the development of several areas of applied mathematics, the individual chapters stand on their own as reference works for selected topics in the fields of numerical (linear) algebra, matrix theory, differential-algebraic equations and control theory.

In this book, Denis Serre begins by providing a clean and concise introduction to the basic theory of matrices. He then goes on to give many interesting applications of matrices to different aspects of mathematics and also other areas of science and engineering. With forty percent new material, this second edition is significantly different from the first edition. Newly added topics include: * Dunford decomposition, * tensor and exterior calculus, polynomial identities, * regularity of eigenvalues for complex matrices, * functional calculus and the Dunford-Taylor formula, * numerical range, * Weyl's and von Neumann's inequalities, and * Jacobi method with random choice. The book mixes together algebra, analysis, complexity theory and numerical analysis. As such, this book will provide many scientists, not just mathematicians, with a useful and reliable reference. It is intended for advanced undergraduate and graduate students with either applied or theoretical goals. This book is based on a course given by the author at the Ecole Normale Superieure de Lyon.

This book provides a detailed exposition of one of the most practical and popular methods of proving theorems in logic, called Natural Deduction. It is presented both historically and systematically. Also some combinations with other known proof methods are explored. The initial part of the book deals with Classical Logic, whereas the rest is concerned with systems for several forms of Modal Logics, one of the most important branches of modern logic, which has wide applicability.

"Intelligent Routines II: Solving Linear Algebra and Differential Geometry with Sage" contains numerous of examples and problems as well as many unsolved problems. This book extensively applies the successful software Sage, which can be found free online http: //www.sagemath.org/. Sage is a recent and popular software for mathematical computation, available freely and simple to use. This book is useful to all applied scientists in mathematics, statistics and engineering, as well for late undergraduate and graduate students of above subjects. It is the first such book in solving symbolically with Sage problems in Linear Algebra and Differential Geometry. Plenty of SAGE applications are given at each step of the exposition.

Over the past 50 years, strain gradient material theories have been developed for the continuum modeling of size effects in materials and structures in terms of their elasticity, plasticity and fracturing. This book puts forward a unifying perspective to combine existing theories involving the higher order gradient of the strain tensor, or of plastic strain. It begins by reviewing experimental findings on the existence (or non-existence) of size effects on the mechanics of materials. In turn, the book devises first, second and higher order strain gradient theories from general principles, and presents constitutive frameworks that satisfy thermodynamic requirements. The special case of strain gradient plasticity is then developed and illustrated via computational analyses of size effects on the plasticity of metals at small scales. In closing, the book explains the origin of gradient effects in the case of lattice structures by drawing on homogenization theory.

The central object of this book is the measure of geometric quantities describing N a subset of the Euclidean space (E ,), endowed with its standard scalar product. Let us state precisely what we mean by a geometric quantity. Consider a subset N S of points of the N-dimensional Euclidean space E , endowed with its standard N scalar product. LetG be the group of rigid motions of E . We say that a 0 quantity Q(S) associated toS is geometric with respect toG if the corresponding 0 quantity Q[g(S)] associated to g(S) equals Q(S), for all g?G . For instance, the 0 diameter ofS and the area of the convex hull ofS are quantities geometric with respect toG . But the distance from the origin O to the closest point ofS is not, 0 since it is not invariant under translations ofS. It is important to point out that the property of being geometric depends on the chosen group. For instance, ifG is the 1 N group of projective transformations of E , then the property ofS being a circle is geometric forG but not forG , while the property of being a conic or a straight 0 1 line is geometric for bothG andG . This point of view may be generalized to any 0 1 subsetS of any vector space E endowed with a groupG acting on it.

The purpose of this book is to provide tools for a better understanding of the fundamental tradeo's and interdependencies in wireless networks, with the goal of designing resource allocation strategies that exploit these int- dependencies to achieve signi?cant performance gains. Two facts prompted us to write it: First, future wireless applications will require a fundamental understanding of the design principles and control mechanisms in wireless networks. Second, the complexity of the network problems simply precludes the use of engineering common sense alone to identify good solutions, and so mathematics becomes the key avenue to cope with central technical problems in the design of wireless networks. In this book, two ?elds of mathematics play a central role: Perron-Frobenius theory for non-negative matrices and optimization theory. This book is a revised and expanded version of the research monograph "Resource Allocation in Wireless Networks" that was published as Lecture Notes in Computer Sciences (LNCS 4000) in 2006. Although the general structure has remained unchanged to a large extent, the book contains - merous additional results and more detailed discussion. For instance, there is a more extensive treatment of general nonnegative matrices and interf- ence functions that are described by an axiomatic model. Additional material on max-min fairness, proportional fairness, utility-based power control with QoS (quality of service) support and stochastic power control has been added.

This book presents four mathematical essays which explore the foundations of mathematics and related topics ranging from philosophy and logic to modern computer mathematics. While connected to the historical evolution of these concepts, the essays place strong emphasis on developments still to come.

The book originated in a 2002 symposium celebrating the work of Bruno Buchberger, Professor of Computer Mathematics at Johannes Kepler University, Linz, Austria, on the occasion of his 60th birthday. Among many other accomplishments, Professor Buchberger in 1985 was the founding editor of the Journal of Symbolic Computation; the founder of the Research Institute for Symbolic Computation (RISC) and its chairman from 1987-2000; the founder in 1990 of the Softwarepark Hagenberg, Austria, and since then its director.

More than a decade in the making, Mathematics, Computer Science and Logic - A Never Ending Story includes essays by leading authorities, on such topics as mathematical foundations from the perspective of computer verification; a symbolic-computational philosophy and methodology for mathematics; the role of logic and algebra in software engineering; and new directions in the foundations of mathematics. These inspiring essays invite general, mathematically interested readers to share state-of-the-art ideas which advance the never ending story of mathematics, computer science and logic.

Mathematics, Computer Science and Logic - A Never Ending Story is edited by Professor Peter Paule, Bruno Buchberger s successor as director of the Research Institute for Symbolic Computation.

"

This book explores finite element methods for incompressible flow problems: Stokes equations, stationary Navier-Stokes equations and time-dependent Navier-Stokes equations. It focuses on numerical analysis, but also discusses the practical use of these methods and includes numerical illustrations. It also provides a comprehensive overview of analytical results for turbulence models. The proofs are presented step by step, allowing readers to more easily understand the analytical techniques.

This self-tutorial offers a concise yet thorough introduction into the mathematical analysis of approximation methods for partial differential equation. A particular emphasis is put on finite element methods. The unique approach first summarizes and outlines the finite-element mathematics in general and then in the second and major part, formulates problem examples that clearly demonstrate the techniques of functional analysis via numerous and diverse exercises. The solutions of the problems are given directly afterwards. Using this approach, the author motivates and encourages the reader to actively acquire the knowledge of finite- element methods instead of passively absorbing the material as in most standard textbooks. This English edition is based on the Finite Element Methods for Engineering Sciences by Joel Chaskalovic.

Any researchers in the field of meshless methods who want to keep up to date with the latest work in the field will find this an essential text.In recent years meshless/meshfree methods have gained considerable attention in engineering and applied mathematics.The variety of problems that are now being addressed by these techniques continues to expand and the quality of the results obtained demonstrates the effectiveness of many of the methods currently available.This means that engineers in general, applied mathematicians, physicists, and those active in computational mechanics will all find this book a useful reference tool as well. The book collects extended original contributions presented at the first ECCOMAS Conference on Meshless Methods held in 2005 in Lisbon.

This book treats state-of-the-art computational methods for power flow studies and contingency analysis. In the first part the authors present the relevant computational methods and mathematical concepts. In the second part, power flow and contingency analysis are treated. Furthermore, traditional methods to solve such problems are compared to modern solvers, developed using the knowledge of the first part of the book. Finally, these solvers are analyzed both theoretically and experimentally, clearly showing the benefits of the modern approach.

This book focuses on modelling financial information flows and information-based asset pricing framework. After introducing the fundamental properties of the framework, it presents a short information-theoretic perspective with a view to quantifying the information content of financial signals, and links the present framework with the literature on asymmetric information and market microstructure by means of a dynamic, bipartite, heterogeneous agent network. Numerical and explicit analyses shed light on the effects of differential information and information acquisition on the allocation of profit and loss as well as the pace of fundamental price discovery. The dynamic programming method is used to seek an optimal strategy for utilizing superior information. Lastly, the book features an implementation of the present framework using real-world financial data.