This book shows how to derive, test and analyze numerical methods for solving differential equations, including both ordinary and partial differential equations. The objective is that students learn to solve differential equations numerically and understand the mathematical and computational issues that arise when this is done. Includes an extensive collection of exercises, which develop both the analytical and computational aspects of the material. In addition to more than 100 illustrations, the book includes a large collection of supplemental material: exercise sets, MATLAB computer codes for both student and instructor, lecture slides and movies.

These proceedings were prepared in connection with the international conference Approximation Theory XIII, which was held March 7-10, 2010 in San Antonio, Texas. The conference was the thirteenth in a series of meetings in Approximation Theory held at various locations in the United States, and was attended by 144 participants. Previous conferences in the series were held in Austin, Texas (1973, 1976, 1980, 1992), College Station, Texas (1983, 1986, 1989, 1995), Nashville, Tennessee (1998), St. Louis, Missouri (2001), Gatlinburg, Tennessee (2004), and San Antonio, Texas (2007). Along with the many plenary speakers, the contributors to this proceedings provided inspiring talks and set a high standard of exposition in their descriptions of new directions for research. Many relevant topics in approximation theory are included in this book, such as abstract approximation, approximation with constraints, interpolation and smoothing, wavelets and frames, shearlets, orthogonal polynomials, univariate and multivariate splines, and complex approximation.

Exponential Fitting is a procedure for an efficient numerical approach of functions consisting of weighted sums of exponential, trigonometric or hyperbolic functions with slowly varying weight functions. This book is the first one devoted to this subject. Operations on the functions described above like numerical differentiation, quadrature, interpolation or solving ordinary differential equations whose solution is of this type, are of real interest nowadays in many phenomena as oscillations, vibrations, rotations, or wave propagation.

The authors studied the field for many years and contributed to it. Since the total number of papers accumulated so far in this field exceeds 200 and the fact that these papers are spread over journals with various profiles (such as applied mathematics, computer science, computational physics and chemistry) it was time to compact and to systematically present this vast material.

In this book, a series of aspects is covered, ranging from the theory of the procedure up to direct applications and sometimes including ready to use programs. The book can also be used as a textbook for graduate students. It comes with a complimentary CD Rom.

This book gives senior undergraduate and beginning graduate students and researchers in computer vision, applied mathematics, computer graphics, and robotics a self-contained introduction to the geometry of 3D vision; that is the reconstruction of 3D models of objects from a collection of 2D images. Following a brief introduction, Part I provides background materials for the rest of the book. The two fundamental transformations, namely rigid body motion and perspective projection are introduced and image formation and feature extraction discussed. Part II covers the classic theory of two view geometry based on the so-called epipolar constraint. Part III shows that a more proper tool for studying the geometry of multiple views is the so- called rank considtion on the multiple view matrix. Part IV develops practical reconstruction algorithms step by step as well as discusses possible extensions of the theory. Exercises are provided at the end of each chapter. Software for examples and algorithms are available on the author's website.

This book applies a step-by-step treatment of the current state-of-the-art of ordinary differential equations used in modeling of engineering systems/processes and beyond. It covers systematically ordered problems, beginning with first and second order ODEs, linear and higher-order ODEs of polynomial form, theory and criteria of similarity, modeling approaches, phase plane and phase space concepts, stability optimization and ending on chaos and synchronization.

Presenting both an overview of the theory of the introductory differential equations in the context of applicability and a systematic treatment of modeling of numerous engineering and physical problems through linear and non-linear ODEs, the volume is self-contained, yet serves both scientific and engineering interests. The presentation relies on a general treatment, analytical and numerical methods, concrete examples and engineering intuition.

The scientific background used is well balanced between elementary and advanced level, making it as a unique self-contained source for both theoretically and application oriented graduate and doctoral students, university teachers, researchers and engineers of mechanical, civil and mechatronic engineering.

Decomposable sets since T. R. Rockafellar in 1968 are one of basic notions in nonlinear analysis, especially in the theory of multifunctions. A subset K of measurable functions is called decomposable if

(Q) for all and measurable A.

This book attempts to show the present stage of "decomposable analysis" from the point of view of fixed point theory. The book is split into three parts, beginning with the background of functional analysis, proceeding to the theory of multifunctions and lastly, the decomposability property.

Mathematicians and students working in functional, convex and nonlinear analysis, differential inclusions and optimal control should find this book of interest. A good background in fixed point theory is assumed as is a background in topology.

This monograph provides a comprehensive treatment of expansion theorems for regular systems of first order differential equations and "n"-th order ordinary differential equations.
In 10 chapters and one appendix, it provides a comprehensive treatment from abstract foundations to applications in physics and engineering. The focus is on non-self-adjoint problems. Bounded operators are associated to these problems, and Chapter 1 provides an in depth investigation of eigenfunctions and associated functions for bounded Fredholm valued operators in Banach spaces. Since every "n"-th order differential equation is equivalent
to a first order system, the main techniques are developed for systems. Asymptotic fundamental
systems are derived for a large class of systems of differential equations. Together with boundary
conditions, which may depend polynomially on the eigenvalue parameter, this leads to the definition of Birkhoff and Stone regular eigenvalue problems. An effort is made to make the conditions relatively easy verifiable; this is illustrated with several applications in chapter 10.
The contour integral method and estimates of the resolvent are used to prove expansion theorems.
For Stone regular problems, not all functions are expandable, and again relatively easy verifiable
conditions are given, in terms of auxiliary boundary conditions, for functions to be expandable.
Chapter 10 deals exclusively with applications; in nine sections, various concrete problems such as
the Orr-Sommerfeld equation, control of multiple beams, and an example from meteorology are investigated.

Key features:
Expansion Theorems for Ordinary Differential Equations
Discusses Applications to Problems from Physics and Engineering
Thorough Investigation of Asymptotic Fundamental Matrices and Systems
Provides a Comprehensive Treatment
Uses the Contour Integral Method
Represents the Problems as Bounded Operators
Investigates Canonical Systems of Eigen- and Associated Vectors for Operator Functions
"

A one-stop reference to the
major techniques for analyzing
microwave planar transmission line structures

The last two decades have seen important progress in the development of methods for the analysis of microwave and millimeter-wave passive structures, which contributed greatly to microwave integrated circuit design while also stimulating the development of new planar transmission lines. This timely and authoritative work introduces microwave engineers to the most commonly used techniques for analyzing microwave planar transmission line structures.

Designed to be easily accessible to readers with only a fundamental background in electromagnetic theory, the book provides clear explanations of the theory and applications of Green’s function, the conformal-mapping method, spectral domain methods, variational methods, and the mode-matching methods. Coverage for each method is self-contained and supplemented with problems and solutions as well as useful figures.

In addition to providing detailed formulations of the methods under discussion, this highly practical book also demonstrates how to apply the principles of electromagnetic theory to the analysis of microwave boundary value problems, customize methods for specific needs, and develop new techniques. Analysis Methods for RF, Microwave, and Millimeter-Wave Planar Transmission Line Structures is an excellent working resource for anyone involved in the design and engineering of RF, microwave, and millimeter-wave integrated circuits.

This is a monograph covering topological fixed point theory for several classes of single and multivalued maps. The authors begin by presenting basic notions in locally convex topological vector spaces. Special attention is then devoted to weak compactness, in particular to the theorems of Eberlein-Smulian, Grothendick and Dunford-Pettis. Leray-Schauder alternatives and eigenvalue problems for decomposable single-valued nonlinear weakly compact operators in Dunford-Pettis spaces are considered, in addition to some variants of Schauder, Krasnoselskii, Sadovskii, and Leray-Schauder type fixed point theorems for different classes of weakly sequentially continuous operators on general Banach spaces. The authors then proceed with an examination of Sadovskii, Furi-Pera, and Krasnoselskii fixed point theorems and nonlinear Leray-Schauder alternatives in the framework of weak topologies and involving multivalued mappings with weakly sequentially closed graph. These results are formulated in terms of axiomatic measures of weak noncompactness. The authors continue to present some fixed point theorems in a nonempty closed convex of any Banach algebras or Banach algebras satisfying a sequential condition (P) for the sum and the product of nonlinear weakly sequentially continuous operators, and illustrate the theory by considering functional integral and partial differential equations. The existence of fixed points, nonlinear Leray-Schauder alternatives for different classes of nonlinear (ws)-compact operators (weakly condensing, 1-set weakly contractive, strictly quasi-bounded) defined on an unbounded closed convex subset of a Banach space are also discussed. The authors also examine the existence of nonlinear eigenvalues and eigenvectors, as well as the surjectivity of quasibounded operators. Finally, some approximate fixed point theorems for multivalued mappings defined on Banach spaces. Weak and strong topologies play a role here and both bounded and unbounded regions are considered. The authors explicate a method developed to indicate how to use approximate fixed point theorems to prove the existence of approximate Nash equilibria for non-cooperative games. Fixed point theory is a powerful and fruitful tool in modern mathematics and may be considered as a core subject in nonlinear analysis. In the last 50 years, fixed point theory has been a flourishing area of research. As such, the monograph begins with an overview of these developments before gravitating towards topics selected to reflect the particular interests of the authors.

This is a masterly exposition and an encyclopedic presentation of the theory of hyperbolic conservation laws. It illustrates the essential role of continuum thermodynamics in providing motivation and direction for the development of the mathematical theory while also serving as the principal source of applications. The reader is expected to have a certain mathematical sophistication and to be familiar with (at least) the rudiments of analysis and the qualitative theory of partial differential equations, whereas prior exposure to continuum physics is not required. The target group of readers would consist of (a) experts in the mathematical theory of hyperbolic systems of conservation laws who wish to learn about the connection with classical physics; (b) specialists in continuum mechanics who may need analytical tools; (c) experts in numerical analysis who wish to learn the underlying mathematical theory; and (d) analysts and graduate students who seek introduction to the theory of hyperbolic systems of conservation laws. This new edition places increased emphasis on hyperbolic systems of balance laws with dissipative source, modeling relaxation phenomena. It also presents an account of recent developments on the Euler equations of compressible gas dynamics. Furthermore, the presentation of a number of topics in the previous edition has been revised, expanded and brought up to date, and has been enriched with new applications to elasticity and differential geometry. The bibliography, also expanded and updated, now comprises close to two thousand titles. From the reviews of the 3rd edition: "This is the third edition of the famous book by C.M. Dafermos. His masterly written book is, surely, the most complete exposition in the subject." Evgeniy Panov, Zentralblatt MATH "A monumental book encompassing all aspects of the mathematical theory of hyperbolic conservation laws, widely recognized as the "Bible" on the subject." Philippe G. LeFloch, Math. Reviews

This volume contains the contributions of participants of the conference "Optimal Control of Partial Differential Equations" held at the Wasserschloss Klaffenbach near Chemnitz (Saxony, Germany) from April 20 to 25, 1998. The conference was organized by the editors of this volume. Along with the dramatic increase in computer power, the application of PDE-based control theory and the corresponding numerical algorithms to industrial problems has become more and more important in recent years. This development is reflected by the fact that researchers focus their interest on challenging problems such as the study of controlled fluid-structure interactions, flexible structures, noise reduction, smart materials, the optimal design of shapes and material properties and specific industrial processes. All of these applications involve the analytical and numerical treatment of nonlinear partial differential equations with nonhomogeneous boundary or transmission conditions along with some cost criteria to be minimized. The mathematical framework contains modelling and analysis of such systems as well as the numerical analysis and implemention of algorithms in order to solve concrete problems. This volume offers a wide spectrum of aspects of the discipline and is of interest to mathematicians as well as to scientists working in the fields of applications.

This book offers a comprehensive presentation of some of the most successful and popular domain decomposition preconditioners for finite and spectral element approximations of partial differential equations. It places strong emphasis on both algorithmic and mathematical aspects. It covers in detail important methods such as FETI and balancing Neumann-Neumann methods and algorithms for spectral element methods.

This book offers an essential textbook on complex analysis. After introducing the theory of complex analysis, it places special emphasis on the importance of Poincare theorem and Hartog's theorem in the function theory of several complex variables. Further, it lays the groundwork for future study in analysis, linear algebra, numerical analysis, geometry, number theory, physics (including hydrodynamics and thermodynamics), and electrical engineering. To benefit most from the book, students should have some prior knowledge of complex numbers. However, the essential prerequisites are quite minimal, and include basic calculus with some knowledge of partial derivatives, definite integrals, and topics in advanced calculus such as Leibniz's rule for differentiating under the integral sign and to some extent analysis of infinite series. The book offers a valuable asset for undergraduate and graduate students of mathematics and engineering, as well as students with no background in topological properties.

The book presents the modern state of the art in the mathematical theory of compressible Navier-Stokes equations, with particular emphasis on the applications to aerodynamics. The topics covered include: modeling of compressible viscous flows; modern mathematical theory of nonhomogeneous boundary value problems for viscous gas dynamics equations; applications to optimal shape design in aerodynamics; kinetic theory for equations with oscillating data; new approach to the boundary value problems for transport equations. The monograph offers a comprehensive and self-contained introduction to recent mathematical tools designed to handle the problems arising in the theory.

Symbolic Integration I is destined to become the standard reference work in the field. Manuel Bronstein is a leading expert on this topic and his book is the first to treat the subject both comprehensively and in sufficient detail - incorporating new results along the way. The book addresses mathematicians and computer scientists interested in symbolic computation, developers and programmers of computer algebra systems as well as users of symbolic integration methods. Many algorithms are given in pseudocode ready for immediate implementation, making the book equally suitable as a textbook for lecture courses on symbolic integration.

This second edition offers a new chapter on parallel integration, a number of other improvements and a couple of additional exercises.

From the reviews of the first edition: ..". The writing is excellent, and the author provides a clear and coherent treatment of the problem of symbolic integration of transcendental functions " F. Winkler, Computing Reviews 1997 "

This text is a concise, application-oriented introduction to the theory of distributions. It presents distributions as a natural method of analysis from both a mathematical and physical point of view. Methods are developed to justify many formal calculations that do not make sense in the classical framework. The discussion emphasizes applications to the general study of linear partial differential equations. The topics include an introduction to distributions, differentiation, convergence, and convolution of distributions, as well as Fourier transformations and spaces of distributions having special properties.The applications relate the theory to solutions of partial differential equations occurring in physics, for instance, in mechanics, optics, quantum mechanics, quantum field theory and signal analysis, which students may encounter throughout their studies.

This book covers the fundamental results of the dimension theory of metrizable spaces, especially in the separable case. Its distinctive feature is the emphasis on the negative results for more general spaces, presenting a readable account of numerous counterexamples to well-known conjectures that have not been discussed in existing books. Moreover, it includes three new general methods for constructing spaces: Mrowka's psi-spaces, van Douwen's technique of assigning limit points to carefully selected sequences, and Fedorchuk's method of resolutions. Accessible to readers familiar with the standard facts of general topology, the book is written in a reader-friendly style suitable for self-study. It contains enough material for one or more graduate courses in dimension theory and/or general topology. More than half of the contents do not appear in existing books, making it also a good reference for libraries and researchers.

This volume consists of invited lecture notes, survey papers and original research papers from the AAGADE school and conference held in Bedlewo, Poland in September 2015. The contributions provide an overview of the current level of interaction between algebra, geometry and analysis and demonstrate the manifold aspects of the theory of ordinary and partial differential equations, while also pointing out the highly fruitful interrelations between those aspects. These interactions continue to yield new developments, not only in the theory of differential equations but also in several related areas of mathematics and physics such as differential geometry, representation theory, number theory and mathematical physics. The main goal of the volume is to introduce basic concepts, techniques, detailed and illustrative examples and theorems (in a manner suitable for non-specialists), and to present recent developments in the field, together with open problems for more advanced and experienced readers. It will be of interest to graduate students, early-career researchers and specialists in analysis, geometry, algebra and related areas, as well as anyone interested in learning new methods and techniques.

"Recent Advances in Harmonic Analysis and Applications" features selected contributions from the AMS conference which took place at Georgia Southern University, Statesboro in 2011 in honor of Professor Konstantin Oskolkov's 65th birthday. The contributions are based on two special sessions, namely "Harmonic Analysis and Applications" and "Sparse Data Representations and Applications." Topics covered range from Banach space geometry to classical harmonic analysis and partial differential equations.Survey and expository articles by leading experts in their corresponding fields are included, and the volume also features selected high quality papers exploring new results and trends in Muckenhoupt-Sawyer theory, orthogonal polynomials, trigonometric series, approximation theory, Bellman functions and applications in differential equations.

Graduate students and researchers in analysis will be particularly interested in the articles which emphasize remarkable connections between analysis and analytic number theory. The readers will learn about recent mathematical developments and directions for future work in the unexpected and surprising interaction between abstract problems in additive number theory and experimentally discovered optical phenomena in physics. This book will be useful for number theorists, harmonic analysts, algorithmists in multi-dimensional signal processing and experts in physics and partial differential equations. "

This book provides a systematic development of the Rubio de Francia theory of extrapolation, its many generalizations and its applications to one and two-weight norm inequalities. The book is based upon a new and elementary proof of the classical extrapolation theorem that fully develops the power of the Rubio de Francia iteration algorithm. This technique allows us to give a unified presentation of the theory and to give important generalizations to Banach function spaces and to two-weight inequalities. We provide many applications to the classical operators of harmonic analysis to illustrate our approach, giving new and simpler proofs of known results and proving new theorems. The book is intended for advanced graduate students and researchers in the area of weighted norm inequalities, as well as for mathematicians who want to apply extrapolation to other areas such as partial differential equations.

The papers in this book originate from lectures which were held at the "Vienna Workshop on Nonlinear Models and Analysis" - May 20-24, 2002. They represent a cross-section of the research field Applied Nonlinear Analysis with emphasis on free boundaries, fully nonlinear partial differential equations, variational methods, quasilinear partial differential equations and nonlinear kinetic models.

This volume contains research articles from the field of Nonlinear Differential Equa tions which result from the "Workshop on Nonlinear Analysis and Applications" held in Bergamo on July 9 to 13, 200l. This workshop was the third edition of a meeting which first took place in Campinas in 1996 and was founded in part upon scientific cooperation, already well initiated, between some participants, on specific problems in Nonlinear Analysis, and in part upon the whish to extend such cooperation to other researchers and to other topics. The scientific collaboration between Italy and Brazil is not new; it dates back at least to the thirties, and includes, among others, the name of Luigi Fantappie, just to mention only one of the earliest Italians that developed part of their scien tific activity in Brazil. If the first workshop had mainly an informal character, the second, which took place in 1998 again in Campinas, already had the structure and the breath of a true international congress. At this point it was the Italians turn to organize the third meeting. The main purpose of the conference was to provide a forum for the discussion of recent work and modern trends in various fields of Nonlinear Analysis. About 130 researchers coming from 17 countries attended the conference."

This book is a complete English translation of Augustin-Louis Cauchy's historic 1823 text (his first devoted to calculus), Resume des lecons sur le calcul infinitesimal, "Summary of Lectures on the Infinitesimal Calculus," originally written to benefit his Ecole Polytechnique students in Paris. Within this single text, Cauchy succinctly lays out and rigorously develops all of the topics one encounters in an introductory study of the calculus, from his classic definition of the limit to his detailed analysis of the convergence properties of infinite series. In between, the reader will find a full treatment of differential and integral calculus, including the main theorems of calculus and detailed methods of differentiating and integrating a wide variety of functions. Real, single variable calculus is the main focus of the text, but Cauchy spends ample time exploring the extension of his rigorous development to include functions of multiple variables as well as complex functions. This translation maintains the same notation and terminology of Cauchy's original work in the hope of delivering as honest and true a Cauchy experience as possible so that the modern reader can experience his work as it may have been like 200 years ago. This book can be used with advantage today by anyone interested in the history of the calculus and analysis. In addition, it will serve as a particularly valuable supplement to a traditional calculus text for those readers who desire a way to create more texture in a conventional calculus class through the introduction of original historical sources.