Advances in computer technology have conveniently coincided withtrends in numerical analysis toward increased complexity ofcomputational algorithms based on finite difference methods. It isno longer feasible to perform stability investigation of thesemethods manually--and no longer necessary. As this book shows,modern computer algebra tools can be combined with methods fromnumerical analysis to generate programs that will do the jobautomatically. Comprehensive, timely, and accessible--this is the definitivereference on the application of computerized symbolic manipulationsfor analyzing the stability of a wide range of difference schemes.In particular, it deals with those schemes that are used to solvecomplex physical problems in areas such as gas dynamics, heat andmass transfer, catastrophe theory, elasticity, shallow watertheory, and more. Introducing many new applications, methods, and concepts,Computer-Aided Analysis of Difference Schemes for PartialDifferential Equations * Shows how computational algebra expedites the task of stabilityanalysis--whatever the approach to stability investigation * Covers ten different approaches for each stability method * Deals with the specific characteristics of each method and itsapplication to problems commonly encountered by numerical modelers * Describes all basic mathematical formulas that are necessary toimplement each algorithm * Provides each formula in several global algebraic symboliclanguages, such as MAPLE, MATHEMATICA, and REDUCE * Includes numerous illustrations and thought-provoking examplesthroughout the text For mathematicians, physicists, and engineers, as well as forpostgraduate students, and for anyone involved with numericsolutions for real-world physical problems, this book provides avaluable resource, a helpful guide, and a head start ondevelopments for the twenty-first century.

This book introduces finite difference methods for both ordinary differential equations (ODEs) and partial differential equations (PDEs) and discusses the similarities and differences between algorithm design and stability analysis for different types of equations. A unified view of stability theory for ODEs and PDEs is presented, and the interplay between ODE and PDE analysis is stressed. The text emphasizes standard classical methods, but several newer approaches also are introduced and are described in the context of simple motivating examples.

This textbook introduces the study of partial differential equations using both analytical and numerical methods. By intertwining the two complementary approaches, the authors create an ideal foundation for further study. Motivating examples from the physical sciences, engineering, and economics complete this integrated approach. A showcase of models begins the book, demonstrating how PDEs arise in practical problems that involve heat, vibration, fluid flow, and financial markets. Several important characterizing properties are used to classify mathematical similarities, then elementary methods are used to solve examples of hyperbolic, elliptic, and parabolic equations. From here, an accessible introduction to Hilbert spaces and the spectral theorem lay the foundation for advanced methods. Sobolev spaces are presented first in dimension one, before being extended to arbitrary dimension for the study of elliptic equations. An extensive chapter on numerical methods focuses on finite difference and finite element methods. Computer-aided calculation with MapleTM completes the book. Throughout, three fundamental examples are studied with different tools: Poisson’s equation, the heat equation, and the wave equation on Euclidean domains. The Black–Scholes equation from mathematical finance is one of several opportunities for extension. Partial Differential Equations offers an innovative introduction for students new to the area. Analytical and numerical tools combine with modeling to form a versatile toolbox for further study in pure or applied mathematics. Illuminating illustrations and engaging exercises accompany the text throughout. Courses in real analysis and linear algebra at the upper-undergraduate level are assumed.

Advances in Imaging and Electron Physics merges two long-running serials-Advances in Electronics and Electron Physics and Advances in Optical and Electron Microscopy. This series features extended articles on the physics of electron devices (especially semiconductor devices), particle optics at high and low energies, microlithography, image science and digital image processing, electromagnetic wave propagation, electron microscopy, and the computing methods used in all these domains.

A comprehensive overview of the major options and facilities that concern the model simulation builder.

This book constitutes the refereed proceedings of the 21st International Workshop on Computer Algebra in Scientific Computing, CASC 2019, held in Moscow, Russia, in August 2019. The 28 full papers presented together with 2 invited talks were carefully reviewed and selected from 44 submissions. They deal with cutting-edge research in all major disciplines of computer algebra. The papers cover topics such as polynomial algebra, symbolic and symbolic-numerical computation, applications of symbolic computation for investigating and solving ordinary differential equations, applications of CASs in the investigation and solution of celestial mechanics problems, and in mechanics, physics, and robotics.