Studies in Logic and the Foundations of Mathematics, Volume 102: Set Theory: An Introduction to Independence Proofs offers an introduction to relative consistency proofs in axiomatic set theory, including combinatorics, sets, trees, and forcing. The book first tackles the foundations of set theory and infinitary combinatorics. Discussions focus on the Suslin problem, Martin's axiom, almost disjoint and quasi-disjoint sets, trees, extensionality and comprehension, relations, functions, and well-ordering, ordinals, cardinals, and real numbers. The manuscript then ponders on well-founded sets and easy consistency proofs, including relativization, absoluteness, reflection theorems, properties of well-founded sets, and induction and recursion on well-founded relations. The publication examines constructible sets, forcing, and iterated forcing. Topics include Easton forcing, general iterated forcing, Cohen model, forcing with partial functions of larger cardinality, forcing with finite partial functions, and general extensions. The manuscript is a dependable source of information for mathematicians and researchers interested in set theory.

This book is a landmark title in the continuous move from integer to non-integer in mathematics: from integer numbers to real numbers, from factorials to the gamma function, from integer-order models to models of an arbitrary order. For historical reasons, the word 'fractional' is used instead of the word 'arbitrary'.
This book is written for readers who are new to the fields of fractional derivatives and fractional-order mathematical models, and feel that they need them for developing more adequate mathematical models.
In this book, not only applied scientists, but also pure mathematicians will find fresh motivation for developing new methods and approaches in their fields of research.
A reader will find in this book everything necessary for the initial study and immediate application of fractional derivatives fractional differential equations, including several necessary special functions, basic theory of fractional differentiation, uniqueness and existence theorems, analytical numerical methods of solution of fractional differential equations, and many inspiring examples of applications.

Key Features
* A unique survey of many applications of fractional calculus
* Presents basic theory
* Includes a unified presentation of selected classical results, which are important for applications
* Provides many examples
* Contains a separate chapter of fractional order control systems, which opens new perspectives in control theory
* The first systematic consideration of Caputo's fractional derivative in comparison with other selected approaches
* Includes tables of fractional derivatives, which can be used for evaluation of all considered types of fractional derivatives

This book is an exposition of "semi-Riemannian geometry" (also called "pseudo-Riemannian geometry")--the study of a smooth manifold furnished with a metric tensor of arbitrary signature. The principal special cases are Riemannian geometry, where the metric is positive definite, and Lorentz geometry. For many years these two geometries have developed almost independently: Riemannian geometry reformulated in coordinate-free fashion and directed toward global problems, Lorentz geometry in classical tensor notation devoted to general relativity. More recently, this divergence has been reversed as physicists, turning increasingly toward invariant methods, have produced results of compelling mathematical interest.

Probability theory is a rapidly expanding field and is used in many areas of science and technology. Beginning from a basis of abstract analysis, this mathematics book develops the knowledge needed for advanced students to develop a complex understanding of probability. The first part of the book systematically presents concepts and results from analysis before embarking on the study of probability theory. The initial section will also be useful for those interested in topology, measure theory, real analysis and functional analysis. The second part of the book presents the concepts, methodology and fundamental results of probability theory. Exercises are included throughout the text, not just at the end, to teach each concept fully as it is explained, including presentations of interesting extensions of the theory. The complete and detailed nature of the book makes it ideal as a reference book or for self-study in probability and related fields.
Covers a wide range of subjects including f-expansions, Fuk-Nagaev inequalities and Markov triples.Provides multiple clearly worked exercises with complete proofs.Guides readers through examples so they can understand and write research papers independently.

This series is designed to meet the needs of students and lecturers of the National Certificate Vocational. Features for the student include: Easy-to-understand language; Real-life examples; A key word feature for important subject terms; A dictionary feature for difficult words; A reflect-on-how-you-learn feature to explore personal learning styles; Workplace-oriented activities; and Chapter summaries that are useful for exam revision.

The chapters of this volume all have their own level of presentation. The topics have been chosen based on the active research interest associated with them. Since the interest in some topics is older than that in others, some presentations contain fundamental definitions and basic results while others relate very little of the elementary theory behind them and aim directly toward an exposition of advanced results. Presentations of the latter sort are in some cases restricted to a short survey of recent results (due to the complexity of the methods and proofs themselves). Hence the variation in level of presentation from chapter to chapter only reflects the conceptual situation itself. One example of this is the collective efforts to develop an acceptable theory of computation on the real numbers. The last two decades has seen at least two new definitions of effective operations on the real numbers.

Unlike books currently on the market, this book attempts to satisfy two goals: combine circuits and electronics into a single, unified treatment, and establish a strong connection with the contemporary world of digital systems. It will introduce a new way of looking not only at the treatment of circuits, but also at the treatment of introductory coursework in engineering in general.
Using the concept of ''abstraction, '' the book attempts to form a bridge between the world of physics and the world of large computer systems. In particular, it attempts to unify electrical engineering and computer science as the art of creating and exploiting successive abstractions to manage the complexity of building useful electrical systems. Computer systems are simply one type of electrical systems.
+Balances circuits theory with practical digital electronics applications.
+Illustrates concepts with real devices.
+Supports the popular circuits and electronics course on the MIT OpenCourse Ware from which professionals worldwide study this new approach.
+Written by two educators well known for their innovative teaching and research and their collaboration with industry.
+Focuses on contemporary MOS technology.

Now inits 7th edition, "Mathematical Methods for Physicists" continues to provide all the mathematical methods that aspiring scientists and engineers are likely to encounter as students and beginning researchers. This bestselling text provides mathematical relations and their proofs essential to the study of physics and related fields. While retaining thekey features of the 6th edition, the new edition provides a more careful balance of explanation, theory, and examples. Taking a problem-solving-skills approach to incorporating theorems with applications, the book's improved focus will help students succeed throughout their academic careers and well into their professions. Some notable enhancements include more refined and focused content in important topics, improved organization, updated notations, extensive explanations and intuitive exercise sets, a wider range of problem solutions, improvement in the placement, and a wider range of difficulty of exercises.
Revised and updated version of the leading text in mathematical physicsFocuses on problem-solving skills and active learning, offering numerous chapter problemsClearly identified definitions, theorems, and proofs promote clarity and understanding

New to this edition: Improved modular chaptersNew up-to-date examplesMore intuitive explanations"

"Engineering Materials 2" is one of the leading self-contained texts for more advanced students of materials science and mechanical engineering. The book provides a concise introduction to the microstructures and processing of materials and shows how these are related to the properties required in engineering design. As with previous editions, each chapter is designed to provide the content of one 50-minute lecture. The fourth edition has been updated to include new case studies, more worked examples, links to relevant websites and video clips. Other changes include an increased emphasis on the relationship between structure, processing and properties, and integration of the popular tutorial on phase diagrams into the main text.

"Engineering Materials 2, Fourth Edition" is perfect as a stand-alone text for an advanced course in engineering materials or a second text with its companion "Engineering Materials 1: An Introduction to Properties, Applications, and Design, Fourth Edition" in a two-semester course or sequence.
Many new or revised applications-based case studies and examplesTreatment of phase diagrams integrated within the main textIncreased emphasis on the relationship between structure, processing and properties, in both conventional and innovative materialsFrequent worked examples - to consolidate, develop, and challengeMany new photographs and links to Google Earth, websites, and video clipsAccompanying companion site with access to instructors resources, including a suite of interactive materials science tutorials, a solutions manual, and an image bank of figures from the book"

This unique book is a guide for students and graduates of mathematics, statistics, economics, finance, and other number-based disciplines contemplating a career in actuarial science. Given the comprehensive range of the cases that are analyzed in the book, the Actuaries' Survival Guide can serve as a companion to existing study material for all courses designed to prepare students for actuarial examinations.
* Based on the curricula and examinations of the Society of Actuaries (SOA) and the Casualty Actuarial Society (CAS)
* Presents an overview of career options and details on employment in different industries
* Provides a link between theory and practice; helps readers gain the qualitative and quantitative skills and knowledge required to succeed in actuarial exams
* Includes insights from over 50 actuaries and actuarial students
* Written by Fred Szabo, who has directed the actuarial co-op program at Concordia University for over ten years

This book is written to meet the needs of undergraduates in applied mathematics, physics and engineering studying partial differential equations. It is a more modern, comprehensive treatment intended for students who need more than the purely numerical solutions provided by programs like the MATLAB PDE Toolbox, and those obtained by the method of separation of variables, which is usually the only theoretical approach found in the majority of elementary textbooks.
This will fill a need in the market for a more modern text for future working engineers, and one that students can read and understand much more easily than those currently on the market.
* Includes new and important materials necessary to meet current demands made by diverse applications
* Very detailed solutions to odd numbered problems to help students
* Instructor's Manual Available

The Finite Element Method (FEM) has become an indispensable technology for the modelling and simulation of engineering systems. Written for engineers and students alike, the aim of the book is to provide the necessary theories and techniques of the FEM for readers to be able to use a commercial FEM package to solve primarily linear problems in mechanical and civil engineering with the main focus on structural mechanics and heat transfer.
Fundamental theories are introduced in a straightforward way, and state-of-the-art techniques for designing and analyzing engineering systems, including microstructural systems are explained in detail. Case studies are used to demonstrate these theories, methods, techniques and practical applications, and numerous diagrams and tables are used throughout.
The case studies and examples use the commercial software package ABAQUS, but the techniques explained are equally applicable for readers using other applications including NASTRAN, ANSYS, MARC, etc.
Full sets of PowerPoint slides developed by the authors for their course on FEM are available as a free download from a companion website.
* A practical and accessible guide to this complex, yet important subject
* Covers modeling techniques that predict how components will operate and tolerate loads, stresses and strains in reality
* Full set of PowerPoint presentation slides which illustrate and support the book are available on a companion website.

/homepage/sac/cam/na2000/index.html7-Volume Set now available at special set price ! Over the second half of the 20th century the subject area loosely referred to as numerical analysis of partial differential equations (PDEs) has undergone unprecedented development. At its practical end, the vigorous growth and steady diversification of the field were stimulated by the demand for accurate and reliable tools for computational modelling in physical sciences and engineering, and by the rapid development of computer hardware and architecture. At the more theoretical end, the analytical insight into the underlying stability and accuracy properties of computational algorithms for PDEs was deepened by building upon recent progress in mathematical analysis and in the theory of PDEs. To embark on a comprehensive review of the field of numerical analysis of partial differential equations within a single volume of this journal would have been an impossible task. Indeed, the 16 contributions included here, by some of the foremost world authorities in the subject, represent only a small sample of the major developments. We hope that these articles will, nevertheless, provide the reader with a stimulating glimpse into this diverse, exciting and important field. The opening paper by Thomee reviews the history of numerical analysis of PDEs, starting with the 1928 paper by Courant, Friedrichs and Lewy on the solution of problems of mathematical physics by means of finite differences. This excellent survey takes the reader through the development of finite differences for elliptic problems from the 1930s, and the intense study of finite differences for general initial value problems during the 1950s and 1960s. The formulation of the concept of stability is explored in the Lax equivalence theorem and the Kreiss matrix lemmas. Reference is made to the introduction of the finite element method by structural engineers, and a description is given of the subsequent development and mathematical analysis of the finite element method with piecewise polynomial approximating functions. The penultimate section of Thomee's survey deals with `other classes of approximation methods', and this covers methods such as collocation methods, spectral methods, finite volume methods and boundary integral methods. The final section is devoted to numerical linear algebra for elliptic problems. The next three papers, by Bialecki and Fairweather, Hesthaven and Gottlieb and Dahmen, describe, respectively, spline collocation methods, spectral methods and wavelet methods. The work by Bialecki and Fairweather is a comprehensive overview of orthogonal spline collocation from its first appearance to the latest mathematical developments and applications. The emphasis throughout is on problems in two space dimensions. The paper by Hesthaven and Gottlieb presents a review of Fourier and Chebyshev pseudospectral methods for the solution of hyperbolic PDEs. Particular emphasis is placed on the treatment of boundaries, stability of time discretisations, treatment of non-smooth solutions and multidomain techniques. The paper gives a clear view of the advances that have been made over the last decade in solving hyperbolic problems by means of spectral methods, but it shows that many critical issues remain open. The paper by Dahmen reviews the recent rapid growth in the use of wavelet methods for PDEs. The author focuses on the use of adaptivity, where significant successes have recently been achieved. He describes the potential weaknesses of wavelet methods as well as the perceived strengths, thus giving a balanced view that should encourage the study of wavelet methods. Aspects of finite element methods and adaptivity are dealt with in the three papers by Cockburn, Rannacher and Suri. The paper by Cockburn is concerned with the development and analysis of discontinuous Galerkin (DG) finite element methods for hyperbolic problems. It reviews the key properties of DG methods for nonlinear hyperbolic conservation laws from a novel viewpoint that stems from the observation that hyperbolic conservation laws are normally arrived at via model reduction, by elimination of dissipation terms. Rannacher's paper is a first-rate survey of duality-based a posteriori error estimation and mesh adaptivity for Galerkin finite element approximations of PDEs. The approach is illustrated for simple examples of linear and nonlinear PDEs, including also an optimal control problem. Several open questions are identified such as the efficient determination of the dual solution, especially in the presence of oscillatory solutions. The paper by Suri is a lucid overview of the relative merits of the hp and p versions of the finite element method over the h version. The work is presented in a non-technical manner by focusing on a class of problems concerned with linear elasticity posed on thin domains. This type of problem is of considerable practical interest and it generates a number of significant theoretical problems. Iterative methods and multigrid techniques are reviewed in a paper by Silvester, Elman, Kay and Wathen, and in three papers by Stuben, Wesseling and Oosterlee and Xu. The paper by Silvester et al. outlines a new class of robust and efficient methods for solving linear algebraic systems that arise in the linearisation and operator splitting of the Navier-Stokes equations. A general preconditioning strategy is described that uses a multigrid V-cycle for the scalar convection-diffusion operator and a multigrid V-cycle for a pressure Poisson operator. This two-stage approach gives rise to a solver that is robust with respect to time-step-variation and for which the convergence rate is independent of the grid. The paper by Stuben gives a detailed overview of algebraic multigrid. This is a hierarchical and matrix-based approach to the solution of large, sparse, unstructured linear systems of equations. It may be applied to yield efficient solvers for elliptic PDEs discretised on unstructured grids. The author shows why this is likely to be an active and exciting area of research for several years in the new millennium. The paper by Wesseling and Oosterlee reviews geometric multigrid methods, with emphasis on applications in computational fluid dynamics (CFD). The paper is not an introduction to multigrid: it is more appropriately described as a refresher paper for practitioners who have some basic knowledge of multigrid methods and CFD. The authors point out that textbook multigrid efficiency cannot yet be achieved for all CFD problems and that the demands of engineering applications are focusing research in interesting new directions. Semi-coarsening, adaptivity and generalisation to unstructured grids are becoming more important. The paper by Xu presents an overview of methods for solving linear algebraic systems based on subspace corrections. The method is motivated by a discussion of the local behaviour of high-frequency components in the solution of an elliptic problem. Of novel interest is the demonstration that the method of subspace corrections is closely related to von Neumann's method of alternating projections. This raises the question as to whether certain error estimates for alternating directions that are available in the literature may be used to derive convergence estimates for multigrid and/or domain decomposition methods. Moving finite element methods and moving mesh methods are presented, respectively, in the papers by Baines and Huang and Russell. The paper by Baines reviews recent advances in Galerkin and least-squares methods for solving first- and second-order PDEs with moving nodes in multidimensions. The methods use unstructured meshes and they minimise the norm of the residual of the PDE over both the computed solution and the nodal positions. The relationship between the moving finite element method and L2 least-squares methods is discussed. The paper also describes moving finite volume and discrete l2 least-squares methods. Huang and Russell review a class of moving mesh algorithms based upon a moving mesh partial differential equation (MMPDE). The authors are leading players in this research area, and the paper is largely a review of their own work in developing viable MMPDEs and efficient solution strategies. The remaining three papers in this special issue are by Budd and Piggott, Ewing and Wang and van der Houwen and Sommeijer. The paper by Budd and Piggott on geometric integration is a survey of adaptive methods and scaling invariance for discretisations of ordinary and partial differential equations. The authors have succeeded in presenting a readable account of material that combines abstract concepts and practical scientific computing. Geometric integration is a new and rapidly growing area which deals with the derivation of numerical methods for differential equations that incorporate qualitative information in their structure. Qualitative features that may be present in PDEs might include symmetries, asymptotics, invariants or orderings and the objective is to take these properties into account in deriving discretisations. The paper by Ewing and Wang gives a brief summary of numerical methods for advection-dominated PDEs. Models arising in porous medium fluid flow are presented to motivate the study of the advection-dominated flows. The numerical methods reviewed are applicable not only to porous medium flow problems but second-order PDEs with dominant hyperbolic behaviour in general. The paper by van der Houwen and Sommeijer deals with approximate factorisation for time-dependent PDEs. The paper begins with some historical notes and it proceeds to present various approximate factorisation techniques. The objective is to show that the linear system arising from linearisation and discretisation of the PDE may be solved more efficiently if the coefficient matrix is replaced by an approximate factorisation based on splitting. The paper presents a number of new stability results obtained by the group at CWI Amsterdam for the resulting time integration methods.

/homepage/sac/cam/na2000/index.html7-Volume Set now available at special set price

In one of the papers in this collection, the remark that "nothing at all takes place in the universe in which some rule of maximum of minimum does not appear" is attributed to no less an authority than Euler. Simplifying the syntax a little, we might paraphrase this as "Everything is an optimization problem." While this might be something of an overstatement, the element of exaggeration is certainly reduced if we consider the extended form: "Everything is an optimization problem or a system of equations." This observation, even if only partly true, stands as a fitting testimonial to the importance of the work covered by this volume.
Since the 1960s, much effort has gone into the development and application of numerical algorithms for solving problems in the two areas of optimization and systems of equations. As a result, many different ideas have been proposed for dealing efficiently with (for example) severe nonlinearities and/or very large numbers of variables. Libraries of powerful software now embody the most successful of these ideas, and one objective of this volume is to assist potential users in choosing appropriate software for the problems they need to solve. More generally, however, these collected review articles are intended to provide both researchers and practitioners with snapshots of the 'state-of-the-art' with regard to algorithms for particular classes of problem. These snapshots are meant to have the virtues of immediacy through the inclusion of very recent ideas, but they also have sufficient depth of field to show how ideas have developed and how today's research questions have grown out of previous solution attempts.
The most efficient methods for "local optimization, " both unconstrained and constrained, are still derived from the classical Newton approach.
As well as dealing in depth with the various classical, or neo-classical, approaches, the selection of papers on optimization in this volume ensures that newer ideas are also well represented.
Solving nonlinear algebraic systems of equations is closely related to optimization. The two are not completely equivalent, however, and usually something is lost in the translation.
Algorithms for nonlinear equations can be roughly classified as "locally convergent" or "globally convergent." The characterization is not perfect.
Locally convergent algorithms include Newton's method, modern quasi-Newton variants of Newton's method, and trust region methods. All of these approaches are well represented in this volume.

This book introduces interested readers, practitioners, and researchers to "Mathematica methods for solving practical problems in linear algebra. It contains step-by-step solutions of problems in computer science, economics, engineering, mathematics, statistics, and other areas of application. Each chapter contains both elementary and more challenging problems, grouped by fields of application, and ends with a set of exercises. Selected answers are provided in an appendix. The book contains a glossary of definitions and theorem, as well as a summary of relevant "Mathematica tools. Applications of Linear Algebra can be used both in laboratory sessions and as a source of take-home problems and projects.

* Concentrates on problem solving and aims to increase the readers' analytical skills
* Provides ample opportunities for applying theoretical results and transferring knowledge between different areas of application; Mathematica plays a key role in this process
* Makes learning fun and builds confidence
* Allows readers to tackle computationally challenging problems by minimizing the frustration caused by the arithmetic intricacies of numerical linear algebra

/homepage/sac/cam/na2000/index.html7-Volume Set now available at special set price !

This volume contains contributions in the area of differential equations and integral equations. Many numerical methods have arisen in response to the need to solve "real-life" problems in applied mathematics, in particular problems that do not have a closed-form solution. Contributions on both initial-value problems and boundary-value problems in ordinary differential equations appear in this volume. Numerical methods for initial-value problems in ordinary differential equations fall naturally into two classes: those which use one starting value at each step (one-step methods) and those which are based on several values of the solution (multistep methods).
John Butcher has supplied an expert's perspective of the development of numerical methods for ordinary differential equations in the 20th century.
Rob Corless and Lawrence Shampine talk about established technology, namely software for initial-value problems using Runge-Kutta and Rosenbrock methods, with interpolants to fill in the solution between mesh-points, but the 'slant' is new - based on the question, "How should such software integrate into the current generation of Problem Solving Environments?"
Natalia Borovykh and Marc Spijker study the problem of establishing upper bounds for the norm of the nth power of square matrices.
The dynamical system viewpoint has been of great benefit to ODE theory and numerical methods. Related is the study of chaotic behaviour.
Willy Govaerts discusses the numerical methods for the computation and continuation of equilibria and bifurcation points of equilibria of dynamicalsystems.
Arieh Iserles and Antonella Zanna survey the construction of Runge-Kutta methods which preserve algebraic invariant functions.
Valeria Antohe and Ian Gladwell present numerical experiments on solving a Hamiltonian system of Henon and Heiles with a symplectic and a nonsymplectic method with a variety of precisions and initial conditions.
Stiff differential equations first became recognized as special during the 1950s. In 1963 two seminal publications laid to the foundations for later development: Dahlquist's paper on A-stable multistep methods and Butcher's first paper on implicit Runge-Kutta methods.
Ernst Hairer and Gerhard Wanner deliver a survey which retraces the discovery of the order stars as well as the principal achievements obtained by that theory.
Guido Vanden Berghe, Hans De Meyer, Marnix Van Daele and Tanja Van Hecke construct exponentially fitted Runge-Kutta methods with s stages.
Differential-algebraic equations arise in control, in modelling of mechanical systems and in many other fields.
Jeff Cash describes a fairly recent class of formulae for the numerical solution of initial-value problems for stiff and differential-algebraic systems.
Shengtai Li and Linda Petzold describe methods and software for sensitivity analysis of solutions of DAE initial-value problems.
Again in the area of differential-algebraic systems, Neil Biehn, John Betts, Stephen Campbell and William Huffman present current work on mesh adaptation for DAE two-point boundary-value problems.
Contrasting approaches to the question of how good an approximation is as a solution of a given equation involve (i) attempting to estimate the actual error (i.e., thedifference between the true and the approximate solutions) and (ii) attempting to estimate the defect - the amount by which the approximation fails to satisfy the given equation and any side-conditions.
The paper by Wayne Enright on defect control relates to carefully analyzed techniques that have been proposed both for ordinary differential equations and for delay differential equations in which an attempt is made to control an estimate of the size of the defect.
Many phenomena incorporate noise, and the numerical solution of stochastic differential equations has developed as a relatively new item of study in the area.
Keven Burrage, Pamela Burrage and Taketomo Mitsui review the way numerical methods for solving stochastic differential equations (SDE's) are constructed.
One of the more recent areas to attract scrutiny has been the area of differential equations with after-effect (retarded, delay, or neutral delay differential equations) and in this volume we include a number of papers on evolutionary problems in this area.
The paper of Genna Bocharov and Fathalla Rihan conveys the importance in mathematical biology of models using retarded differential equations.
The contribution by Christopher Baker is intended to convey much of the background necessary for the application of numerical methods and includes some original results on stability and on the solution of approximating equations.
Alfredo Bellen, Nicola Guglielmi and Marino Zennaro contribute to the analysis of stability of numerical solutions of nonlinear neutral differential equations.
Koen Engelborghs, Tatyana Luzyanina, Dirk Roose, Neville Ford and Volker Wulf consider the numerics ofbifurcation in delay differential equations.
Evelyn Buckwar contributes a paper indicating the construction and analysis of a numerical strategy for stochastic delay differential equations (SDDEs).
This volume contains contributions on both Volterra and Fredholm-type integral equations.
Christopher Baker responded to a late challenge to craft a review of the theory of the basic numerics of Volterra integral and integro-differential equations.
Simon Shaw and John Whiteman discuss Galerkin methods for a type of Volterra integral equation that arises in modelling viscoelasticity.
A subclass of boundary-value problems for ordinary differential equation comprises eigenvalue problems such as Sturm-Liouville problems (SLP) and Schrodinger equations.
Liviu Ixaru describes the advances made over the last three decades in the field of piecewise perturbation methods for the numerical solution of Sturm-Liouville problems in general and systems of Schrodinger equations in particular.
Alan Andrew surveys the asymptotic correction method for regular Sturm-Liouville problems.
Leon Greenberg and Marco Marletta survey methods for higher-order Sturm-Liouville problems.
R. Moore in the 1960s first showed the feasibility of validated solutions of differential equations, that is, of computing guaranteed enclosures of solutions.
Boundary integral equations. Numerical solution of integral equations associated with boundary-value problems has experienced continuing interest.
Peter Junghanns and Bernd Silbermann present a selection of modern results concerning the numerical analysis of one-dimensional Cauchy singular integral equations, in particular the stability of operator sequences associated with different projection methods.
Johannes Elschner and Ivan Graham summarize the most important results achieved in the last years about the numerical solution of one-dimensional integral equations of Mellin type of means of projection methods and, in particular, by collocation methods.
A survey of results on quadrature methods for solving boundary integral equations is presented by Andreas Rathsfeld.
Wolfgang Hackbusch and Boris Khoromski present a novel approach for a very efficient treatment of integral operators.
Ernst Stephan examines multilevel methods for the h-, p- and hp- versions of the boundary element method, including pre-conditioning techniques.
George Hsiao, Olaf Steinbach and Wolfgang Wendland analyze various boundary element methods employed in local discretization schemes.

This book describes the use of models in process engineering. Process engineering is all about manufacturing--of just about anything! To manage processing and manufacturing systematically, the engineer has to bring together many different techniques and analyses of the interaction between various aspects of the process. For example, process engineers would apply models to perform feasibility analyses of novel process designs, assess environmental impact, and detect potential hazards or accidents.
To manage complex systems and enable process design, the behavior of systems is reduced to simple mathematical forms. This book provides a systematic approach to the mathematical development of process models and explains how to analyze those models. Additionally, there is a comprehensive bibliography for further reading, a question and answer section, and an accompanying Web site developed by the authors with additional data and exercises.
* Introduces a structured modeling methodology emphasizing the importance of the modeling goal and including key steps such as model verification, calibration, and validation.
* Focuses on novel and advanced modeling techniques such as discrete, hybrid, hierarchical, and empirical modeling
* Illustrates the notions, tools, and techniques of process modeling with examples and advances applications

Designed for advanced engineering, physical science, and applied mathematics students, this innovative textbook is an introduction to both the theory and practical application of linear algebra and functional analysis. The book is self-contained, beginning with elementary principles, basic concepts, and definitions. The important theorems of the subject are covered and effective application tools are developed, working up to a thorough treatment of eigenanalysis and the spectral resolution theorem. Building on a fundamental understanding of finite vector spaces, infinite dimensional Hilbert spaces are introduced from analogy. Wherever possible, theorems and definitions from matrix theory are called upon to drive the analogy home. The result is a clear and intuitive segue to functional analysis, culminating in a practical introduction to the functional theory of integral and differential operators. Numerous examples, problems, and illustrations highlight applications from all over engineering and the physical sciences. Also included are several numerical applications, complete with "Mathematica" solutions and code, giving the student a "hands-on" introduction to numerical analysis. Linear Algebra and Linear Operators in Engineering is ideally suited as the main text of an introductory graduate course, and is a fine instrument for self-study or as a general reference for those applying mathematics.
. Contains numerous "Mathematica" examples complete with full code and solutions
. Provides complete numerical algorithms for solving linear and nonlinear problems
. Spans elementary notions to the functional theory of linear integral and differential equations
. Includes over 130 examples, illustrations, and exercises and over 220 problems ranging from basic concepts to challenging applications
. Presents real-life applications from chemical, mechanical, and electrical engineering and the physical sciences"

/homepage/sac/cam/na2000/index.html7-Volume Set now available at special set price

This volume is dedicated to two closely related subjects: interpolation and extrapolation. The papers can be divided into three categories: historical papers, survey papers and papers presenting new developments.
Interpolation is an old subject since, as noticed in the paper by M. Gasca and T. Sauer, the term was coined by John Wallis in 1655. Interpolation was the first technique for obtaining an approximation of a function. Polynomial interpolation was then used in quadrature methods and methods for the numerical solution of ordinary differential equations.
Extrapolation is based on interpolation. In fact, extrapolation consists of interpolation at a point outside the interval containing the interpolation points. Usually, this point is either zero or infinity. Extrapolation is used in numerical analysis to improve the accuracy of a process depending of a parameter or to accelerate the convergence of a sequence. The most well-known extrapolation processes are certainly Romberg's method for improving the convergence of the trapezoidal rule for the computation of a definite integral and Aiken's &Dgr;2 process which can be found in any textbook of numerical analysis.
Obviously, all aspects of interpolation and extrapolation have not been treated in this volume. However, many important topics have been covered.

"Introductory Analysis, Second Edition," is intended for the standard course on calculus limit theories that is taken after a problem solving first course in calculus (most often by junior/senior mathematics majors). Topics studied include sequences, function limits, derivatives, integrals, series, metric spaces, and calculus in n-dimensional Euclidean space

* Bases most of the various limit concepts on sequential limits, which is done first
* Defines function limits by first developing the notion of continuity (with a sequential limit characterization)
* Contains a thorough development of the Riemann integral, improper integrals (including sections on the gamma function and the Laplace transform), and the Stieltjes integral
* Presents general metric space topology in juxtaposition with Euclidean spaces to ease the transition from the concrete setting to the abstract
New to This Edition
* Contains new Exercises throughout
* Provides a simple definition of subsequence
* Contains more information on function limits and L'Hospital's Rule
* Provides clearer proofs about rational numbers and the integrals of Riemann and Stieltjes
* presents an appendix lists all mathematicians named in the text
* Gives a glossary of symbols

The increased computational power and software tools available to engineers have increased the use and dependence on modeling and computer simulation throughout the design process. These tools have given engineers the capability of designing highly complex systems and computer architectures that were previously unthinkable. Every complex design project, from integrated circuits, to aerospace vehicles, to industrial manufacturing processes requires these new methods. This book fulfills the essential need of system and control engineers at all levels in understanding modeling and simulation. This book, written as a true text/reference has become a standard sr./graduate level course in all EE departments worldwide and all professionals in this area are required to update their skills.
The book provides a rigorous mathematical foundation for modeling and computer simulation. It provides a comprehensive framework for modeling and simulation integrating the various simulation approaches. It covers model formulation, simulation model execution, and the model building process with its key activities model abstraction and model simplification, as well as the organization of model libraries. Emphasis of the book is in particular in integrating discrete event and continuous modeling approaches as well as a new approach for discrete event simulation of continuous processes. The book also discusses simulation execution on parallel and distributed machines and concepts for simulation model realization based on the High Level Architecture (HLA) standard of the Department of Defense.

* Presents a working foundation necessary for compliance with High Level Architecture (HLA) standards
* Provides a comprehensive framework for continuous and discrete event modeling and simulation
* Explores the mathematical foundation of simulation modeling
* Discusses system morphisms for model abstraction and simplification
* Presents a new approach to discrete event simulation of continuous processes
* Includes parallel and distributed simulation of discrete event models
* Presentation of a concept to achieve simulator interoperability in the form of the DEVS-Bus

Mathematical modeling is the art and craft of building a system of equations that is both sufficiently complex to do justice to physical reality and sufficiently simple to give real insight into the situation. Mathematical Modeling: A Chemical Engineer's Perspective provides an elementary introduction to the craft by one of the century's most distinguished practitioners.
Though the book is written from a chemical engineering viewpoint, the principles and pitfalls are common to all mathematical modeling of physical systems. Seventeen of the author's frequently cited papers are reprinted to illustrate applications to convective diffusion, formal chemical kinetics, heat and mass transfer, and the philosophy of modeling. An essay of acknowledgments, asides, and footnotes captures personal reflections on academic life and personalities.

* Describes pitfalls as well as principles of mathematical modeling
* Presents twenty examples of engineering problems
* Features seventeen reprinted papers
* Presents personal reflections on some of the great natural philosophers
* Emphasizes modeling procedures that precede extensive calculations

This revised edition presents the relevant aspects of transformational geometry, matrix algebra, and calculus to those who may be lacking the necessary mathematical foundations of applied multivariate analysis. It brings up-to-date many definitions of mathematical concepts and their operations. It also clearly defines the relevance of the exercises to concerns within the business community and the social and behavioral sciences. Readers gain a technical background for tackling applications-oriented multivariate texts and receive a geometric perspective for understanding multivariate methods."Mathematical Tools for Applied Multivariate Analysis, Revised Edition illustrates major concepts in matrix algebra, linear structures, and eigenstructures geometrically, numerically, and algebraically. The authors emphasize the applications of these techniques by discussing potential solutions to problems outlined early in the book. They also present small numerical examples of the various concepts.
Key Features
* Provides a technical base for tackling most applications-oriented multivariate texts
* Presents a geometric perspective for aiding ones intuitive grasp of multivariate methods
* Emphasizes technical terms current in the social and behavioral sciences, statistics, and mathematics
* Can be used either as a stand-alone text or a supplement to a multivariate statistics textbook
* Employs many pictures and diagrams to convey an intuitive perception of matrix algebra concepts
* Toy problems provide a step-by-step approach to each model and matrix algebra concept
* Provides solutions for all exercises

Fourier Analysis and Boundary Value Problems provides a thorough examination of both the theory and applications of partial differential equations and the Fourier and Laplace methods for their solutions. Boundary value problems, including the heat and wave equations, are integrated throughout the book. Written from a historical perspective with extensive biographical coverage of pioneers in the field, the book emphasizes the important role played by partial differential equations in engineering and physics. In addition, the author demonstrates how efforts to deal with these problems have lead to wonderfully significant developments in mathematics.
A clear and complete text with more than 500 exercises, Fourier Analysis and Boundary Value Problems is a good introduction and a valuable resource for those in the field.
Key Features
* Topics are covered from a historical perspective with biographical information on key contributors to the field
* The text contains more than 500 exercises
* Includes practical applications of the equations to problems in both engineering and physics

The contributors and their methods are diverse. Their papers deal with subjects such as anamorphic art, the geometry of Durer, musical works of Mozart and Beethoven, the history of negative numbers, the development of mathematical notation, and efforts to bring mathematics to bear on problems in commerce and engineering. All papers have English summaries.
This book provides historians of mathematics or mathematicians with an interest in history with an overview of the methods, concerns, and results of research in the history of mathematics as it stands today.