The European Conferences on Numerical Mathematics and Advanced Applications (ENUMATH) are a series of conferences held every two years to provide a forum for discussion of new trends in numerical mathematics and challenging scientific and industrial applications at the highest level of international expertise. ENUMATH 2011 was hosted by the University of Leicester (UK) from the 5th to 9th September 2011. This proceedings volume contains more than 90 papers by speakers of the conference and gives an overview of recent developments in scientific computing, numerical analysis, and practical use of modern numerical techniques and algorithms in various applications. New results on finite element methods, multiscale methods, numerical linear algebra, and finite difference schemes are presented. A range of applications include computational problems from fluid dynamics, materials, image processing, and molecular dynamics.

These proceedings report on the conference "Math Everywhere," celebrating the 60th birthday of the mathematician Vincenzo Capasso. The conference promoted ideas Capasso has pursued and shared the open atmosphere he is known for. Topic sections include: Deterministic and Stochastic Systems. Mathematical Problems in Biology, Medicine and Ecology. Mathematical Problems in Industry and Economics. The broad spectrum of contributions to this volume demonstrates the truth of its title: Math is Everywhere, indeed.

This monograph contributes to the mathematical analysis of systems exhibiting hysteresis effects and phase transitions. Its main part begins with a detailed study of models for scalar rate independent hysteresis in the form of hysteresis operators. Applications to ferromagnetism, elastoplasticity and fatigue analysis are presented, and two representative distributed systems with hysteresis operator are discussed. The attention then shifts to the mechanisms of energy dissipation and transformation that induce a hysteretic behavior in continuous media undergoing phase transitions. After an introduction to phenomenological thermodynamic theories of phase transitions, in particular, the Landau-Ginzburg theory and phase field models, several specific models are discussed in detail. These include Falk's model for the hysteresis in shape memory alloys and the phase field models due to Caginalp and Penrose-Fife. The latter are studied both for conserved and non-conserved order parameters. A chapter presenting a mathematical model for the austenite-pearlite and austenite-martensite phase transitions in eutectoid carbon steels concludes the book.

Honoring Andrei Agrachev's 60th birthday, this volume presents recent advances in the interaction between Geometric Control Theory and sub-Riemannian geometry. On the one hand, Geometric Control Theory used the differential geometric and Lie algebraic language for studying controllability, motion planning, stabilizability and optimality for control systems. The geometric approach turned out to be fruitful in applications to robotics, vision modeling, mathematical physics etc. On the other hand, Riemannian geometry and its generalizations, such as sub-Riemannian, Finslerian geometry etc., have been actively adopting methods developed in the scope of geometric control. Application of these methods has led to important results regarding geometry of sub-Riemannian spaces, regularity of sub-Riemannian distances, properties of the group of diffeomorphisms of sub-Riemannian manifolds, local geometry and equivalence of distributions and sub-Riemannian structures, regularity of the Hausdorff volume, etc.

Probably the first book to describe computational methods for numerically computing steady state and Hopf bifurcations. Requiring only a basic knowledge of calculus, and using detailed examples, problems, and figures, this is an ideal textbook for graduate students.

An important objective of the study of mathematics is to analyze and visualize phenomena of nature and real world problems for its proper understanding. Gradually, it is also becoming the language of modem financial instruments. To project some of these developments, the conference was planned under the joint auspices of the Indian Society of Industrial and Applied mathematics (ISlAM) and Guru Nanak Dev University (G. N. D. U. ), Amritsar, India. Dr. Pammy Manchanda, chairperson of Mathematics Department, G. N. D. U., was appointed the organizing secretary and an organizing committee was constituted. The Conference was scheduled in World Mathematics Year 2000 but, due one reason or the other, it could be held during 22. -25. January 2001. How ever, keeping in view the suggestion of the International Mathematics union, we organized two symposia, Role of Mathematics in industrial development and vice-versa and How image of Mathematics can be improved in public. These two symposia aroused great interest among the participants and almost everyone participated in the deliberations. The discussion in these two themes could be summarized in the lengthy following lines: "Tradition of working in isolation is a barrier for interaction with the workers in the other fields of science and engineering, what to talk of non-academic areas, specially the private sector of finance and industry. Therefore, it is essential to build bridges within in stitutions and between institutions."

This book contains a large amount of information not found in standard textbooks. Written for the advanced undergraduate/beginning graduate student, it combines the modern mathematical standards of numerical analysis with an understanding of the needs of the computer scientist working on practical applications. Among its many particular features are: fully worked-out examples; many carefully selected and formulated problems; fast Fourier transform methods; a thorough discussion of some important minimization methods; solution of stiff or implicit ordinary differential equations and of differential algebraic systems; modern shooting techniques for solving two-point boundary value problems; and basics of multigrid methods. This new edition features expanded presentation of Hermite interpolation and B-splines, with a new section on multi-resolution methods and B-splines. New material on differential equations and the iterative solution of linear equations include: solving differential equations in the presence of discontinuities whose locations are not known at the outset; techniques for sensitivity analyses of differential equations dependent on additional parameters; new advanced techniques in multiple shooting; and Krylov space methods for non-symmetric systems of linear equations.

The idea for this book originated during the workshop "Model order reduction, coupled problems and optimization" held at the Lorentz Center in Leiden from S- tember 19-23, 2005. During one of the discussion sessions, it became clear that a book describing the state of the art in model order reduction, starting from the very basics and containing an overview of all relevant techniques, would be of great use for students, young researchers starting in the ?eld, and experienced researchers. The observation that most of the theory on model order reduction is scattered over many good papers, making it dif?cult to ?nd a good starting point, was supported by most of the participants. Moreover, most of the speakers at the workshop were willing to contribute to the book that is now in front of you. The goal of this book, as de?ned during the discussion sessions at the workshop, is three-fold: ?rst, it should describe the basics of model order reduction. Second, both general and more specialized model order reduction techniques for linear and nonlinear systems should be covered, including the use of several related numerical techniques. Third, the use of model order reduction techniques in practical appli- tions and current research aspects should be discussed. We have organized the book according to these goals. In Part I, the rationale behind model order reduction is explained, and an overview of the most common methods is described.

Praise for The Mathematics of Derivatives

"The Mathematics of Derivatives provides a concise pedagogical discussion of both fundamental and very recent developments in mathematical finance, and is particularly well suited for readers with a science or engineering background. It is written from the point of view of a physicist focused on providing an understanding of the methodology and the assumptions behind derivative pricing. Navin has a unique and elegant viewpoint, and will help mathematically sophisticated readers rapidly get up to speed in the latest Wall Street financial innovations."
--David Montano, Managing Director JPMorgan Securities

"A stylish and practical introduction to the key concepts in financial mathematics, this book tackles key fundamentals in the subject in an intuitive and refreshing manner whilst also providing detailed analytical and numerical schema for solving interesting derivatives pricing problems. If Richard Feynman wrote an introduction to financial mathematics, it might look similar. The problem and solution sets are first rate."
--Barry Ryan, Partner Bhramavira Capital Partners, London

"This is a great book for anyone beginning (or contemplating), a career in financial research or analytic programming. Navin dissects a huge, complex topic into a series of discrete, concise, accessible lectures that combine the required mathematical theory with relevant applications to real-world markets. I wish this book was around when I started in finance. It would have saved me a lot of time and aggravation."
--Larry Magargal

The problems of conditional optimization of the uniform (or C-) norm for polynomials and rational functions arise in various branches of science and technology. Their numerical solution is notoriously difficult in case of high degree functions. The book develops the classical Chebyshev's approach which gives analytical representation for the solution in terms of Riemann surfaces. The techniques born in the remote (at the first glance) branches of mathematics such as complex analysis, Riemann surfaces and Teichmuller theory, foliations, braids, topology are applied to approximation problems. The key feature of this book is the usage of beautiful ideas of contemporary mathematics for the solution of applied problems and their effective numerical realization. This is one of the few books where the computational aspects of the higher genus Riemann surfaces are illuminated. Effective work with the moduli spaces of algebraic curves provides wide opportunities for numerical experiments in mathematics and theoretical physics.

Presenting state-of-the-art methods in the area, the book begins with a presentation of weak discrete time approximations of jump-diffusion stochastic differential equations for derivatives pricing and risk measurement. Using a moving least squares reconstruction, a numerical approach is then developed that allows for the construction of arbitrage-free surfaces. Free boundary problems are considered next, with particular focus on stochastic impulse control problems that arise when the cost of control includes a fixed cost, common in financial applications. The text proceeds with the development of a fear index based on equity option surfaces, allowing for the measurement of overall fear levels in the market. The problem of American option pricing is considered next, applying simulation methods combined with regression techniques and discussing convergence properties. Changing focus to integral transform methods, a variety of option pricing problems are considered. The COS method is practically applied for the pricing of options under uncertain volatility, a method developed by the authors that relies on the dynamic programming principle and Fourier cosine series expansions. Efficient approximation methods are next developed for the application of the fast Fourier transform for option pricing under multifactor affine models with stochastic volatility and jumps. Following this, fast and accurate pricing techniques are showcased for the pricing of credit derivative contracts with discrete monitoring based on the Wiener-Hopf factorisation. With an energy theme, a recombining pentanomial lattice is developed for the pricing of gas swing contracts under regime switching dynamics. The book concludes with a linear and nonlinear review of the arbitrage-free parity theory for the CDS and bond markets.

The intention of this book is to reveal and discuss some aspects of the metal fo- ing plasticity theory. The modern theory describes deformation of metallic bodies in cold and hot regimes under combined thermal and mechanical loadings. Th- mal and deformation fields appear in metal forming in various forms. A thermal field influences the material properties, modifies the extent of plastic zones, etc. and the deformation of metallic body induces changes in temperature distribution. The thermal effects in metal forming plasticity can be studied at two levels, - pending on whether uncoupled or coupled theories of thermo-plastic response have to be applied. A majority of metal forming processes can be satisfactorily studied within an uncoupled theory. In such an approach the temperature enters the stress-strain relation through the material constants and through the thermal dilatation. The description of thermo-plastic deformation in metal forming is c- ried out on the ground of thermodynamics.

The requirement of causality in system theory is inevitably accompanied by the appearance of certain mathematical operations, namely the Riesz proj- tion,theHilberttransform,andthespectralfactorizationmapping.Aclassical exampleillustratingthisisthedeterminationoftheso-calledWiener?lter(the linear, minimum means square error estimation ?lter for stationary stochastic sequences [88]). If the ?lter is not required to be causal, the transfer function of the Wiener ?lter is simply given by H(?)=? (?)/? (?),where ? (?) xy xx xx and ? (?) are certain given functions. However, if one requires that the - xy timation ?lter is causal, the transfer function of the optimal ?lter is given by 1 ? (?) xy H(?)= P ,?? (??,?] . + [? ] (?) [? ] (?) xx + xx? Here [? ] and [? ] represent the so called spectral factors of ? ,and xx + xx? xx P is the so called Riesz projection. Thus, compared to the non-causal ?lter, + two additional operations are necessary for the determination of the causal ?lter, namely the spectral factorization mapping ? ? ([? ] ,[? ] ),and xx xx + xx? the Riesz projection P .

Polymers occur in many different states and their physical properties are strongly correlated with their conformations. The theoretical investigation of the conformational properties of polymers is a difficult task and numerical methods play an important role in this field. This book contains contributions from a workshop on numerical methods for polymeric systems, held at the IMA in May 1996, which brought together chemists, physicists, mathematicians, computer scientists and statisticians with a common interest in numerical methods. The two major approaches used in the field are molecular dynamics and Monte Carlo methods, and the book includes reviews of both approaches as well as applications to particular polymeric systems. The molecular dynamics approach solves the Newtonian equations of motion of the polymer, giving direct information about the polymer dynamics as well as about static properties. The Monte Carlo approaches discussed in this book all involve sampling along a Markov chain defined on the configuration space of the system. An important feature of the book is the treatment of Monte Carlo methods, including umbrella sampling and multiple Markov chain methods, which are useful for strongly interacting systems such as polymers at low temperatures and in compact phases. The book is of interest to workers in polymer statistical mechanics and also to a wider audience interested in numerical methods and their application in polymeric systems.

Intuitionistic type theory can be described, somewhat boldly, as a partial fulfillment of the dream of a universal language for science. This book expounds several aspects of intuitionistic type theory, such as the notion of set, reference vs. computation, assumption, and substitution. Moreover, the book includes philosophically relevant sections on the principle of compositionality, lingua characteristica, epistemology, propositional logic, intuitionism, and the law of excluded middle. Ample historical references are given throughout the book.

This volume focuses on contributions from both the mathematics and life science community surrounding the concepts of time and dynamicity of nature, two significant elements which are often overlooked in modeling process to avoid exponential computations. The book is divided into three distinct parts: dynamics of genomes and genetic variation, dynamics of motifs, and dynamics of biological networks. Chapters included in dynamics of genomes and genetic variation analyze the molecular mechanisms and evolutionary processes that shape the structure and function of genomes and those that govern genome dynamics. The dynamics of motifs portion of the volume provides an overview of current methods for motif searching in DNA, RNA and proteins, a key process to discover emergent properties of cells, tissues, and organisms. The part devoted to the dynamics of biological networks covers networks aptly discusses networks in complex biological functions and activities that interpret processes in cells. Moreover, chapters in this section examine several mathematical models and algorithms available for integration, analysis, and characterization. Once life scientists began to produce experimental data at an unprecedented pace, it become clear that mathematical models were necessary to interpret data, to structure information with the aim to unveil biological mechanisms, discover results, and make predictions. The second annual "Bringing Maths to Life" workshop held in Naples, Italy October 2015, enabled a bi-directional flow of ideas from and international group of mathematicians and biologists. The venue allowed mathematicians to introduce novel algorithms, methods, and software that may be useful to model aspects of life science, and life scientists posed new challenges for mathematicians.

This volume of High Performance Computing in Science and Engineering is fully dedicated to the final report of KONWIHR, the Bavarian Competence Network for Technical and Scientific High Performance Computing. It includes the transactions of the final KONWIHR workshop, that was held at Technische Universitat Munchen, October 14-15, 2004, as well as additional reports of KONWIHR research groups. KONWIHR was established by the Bavarian State Government in order to support the broad application of high performance computing in science and technology throughout the country. KONWIHR is a supporting action to the installation of the German supercomputer Hitachi SR 8000 in the Leibniz Computing Center of the Bavarian Academy of Sciences. The report covers projects from basic research in computer science to develop tools for high performance computing as well as applications from biology, chemistry, electrical engineering, geology, mathematics, physics, computational fluid dynamics, materials science and computer science."

This self-contained monograph presents matrix algorithms and their analysis. The new technique enables not only the solution of linear systems but also the approximation of matrix functions, e.g., the matrix exponential. Other applications include the solution of matrix equations, e.g., the Lyapunov or Riccati equation. The required mathematical background can be found in the appendix. The numerical treatment of fully populated large-scale matrices is usually rather costly. However, the technique of hierarchical matrices makes it possible to store matrices and to perform matrix operations approximately with almost linear cost and a controllable degree of approximation error. For important classes of matrices, the computational cost increases only logarithmically with the approximation error. The operations provided include the matrix inversion and LU decomposition. Since large-scale linear algebra problems are standard in scientific computing, the subject of hierarchical matrices is of interest to scientists in computational mathematics, physics, chemistry and engineering.

The book presents an overview of the state of research of advanced finite element technologies. Besides the mathematical analysis, the finite element development and their engineering applications are shown to the reader. The authors give a survey of the methods and technologies concerning efficiency, robustness and performance aspects. The book covers the topics of mathematical foundations for variational approaches and the mathematical understanding of the analytical requirements of modern finite element methods. Special attention is paid to finite deformations, adaptive strategies, incompressible, isotropic or anisotropic material behavior and the mathematical and numerical treatment of the well-known locking phenomenon. Beyond that new results for the introduced approaches are presented especially for challenging nonlinear problems.

This book is devoted to the mathematical theory of regularization methods and gives an account of the currently available results about regularization methods for linear and nonlinear ill-posed problems. Both continuous and iterative regularization methods are considered in detail with special emphasis on the development of parameter choice and stopping rules which lead to optimal convergence rates.

The volume is a follow-up to the INdAM meeting "Special metrics and quaternionic geometry" held in Rome in November 2015. It offers a panoramic view of a selection of cutting-edge topics in differential geometry, including 4-manifolds, quaternionic and octonionic geometry, twistor spaces, harmonic maps, spinors, complex and conformal geometry, homogeneous spaces and nilmanifolds, special geometries in dimensions 5-8, gauge theory, symplectic and toric manifolds, exceptional holonomy and integrable systems. The workshop was held in honor of Simon Salamon, a leading international scholar at the forefront of academic research who has made significant contributions to all these subjects. The articles published here represent a compelling testimony to Salamon's profound and longstanding impact on the mathematical community. Target readership includes graduate students and researchers working in Riemannian and complex geometry, Lie theory and mathematical physics.

Detailed lecture notes on six topics at the forefront of current research in numerical analysis and applied mathematics, with each set of notes presenting a self-contained guide to a current research area and supplemented by an extensive bibliography. In addition, most of the notes contain detailed proofs of the key results. They start from a level suitable for first year graduates in applied mathematics, mathematical analysis or numerical analysis, and proceed to current research topics. Readers will thus quickly gain an insight into the important results and techniques in each area without recourse to the large research literature. Current (unsolved) problems are also described, and directions for future research given.

This volume provides universal methodologies accompanied by Matlab software to manipulate numerous signal and image processing applications. It is done with discrete and polynomial periodic splines. Various contributions of splines to signal and image processing from a unified perspective are presented. This presentation is based on Zak transform and on Spline Harmonic Analysis (SHA) methodology. SHA combines approximation capabilities of splines with the computational efficiency of the Fast Fourier transform. SHA reduces the design of different spline types such as splines, spline wavelets (SW), wavelet frames (SWF) and wavelet packets (SWP) and their manipulations by simple operations. Digital filters, produced by wavelets design process, give birth to subdivision schemes. Subdivision schemes enable to perform fast explicit computation of splines' values at dyadic and triadic rational points. This is used for signals and images up sampling. In addition to the design of a diverse library of splines, SW, SWP and SWF, this book describes their applications to practical problems. The applications include up sampling, image denoising, recovery from blurred images, hydro-acoustic target detection, to name a few. The SWF are utilized for image restoration that was degraded by noise, blurring and loss of significant number of pixels. The book is accompanied by Matlab based software that demonstrates and implements all the presented algorithms. The book combines extensive theoretical exposure with detailed description of algorithms, applications and software. The Matlab software can be downloaded from http://extras.springer.com