Guaranteed Computational Methods for Self-Adjoint Differential Eigenvalue Problems
Author: Xuefeng Liu
Publisher: Springer Nature
Published:
Total Pages: 139
ISBN-13: 9819735777
DOWNLOAD EBOOK →Author: Xuefeng Liu
Publisher: Springer Nature
Published:
Total Pages: 139
ISBN-13: 9819735777
DOWNLOAD EBOOK →Author: Leonid D. Akulenko
Publisher: CRC Press
Published: 2004-10-15
Total Pages: 261
ISBN-13: 020340128X
DOWNLOAD EBOOK →This book presents a survey of analytical, asymptotic, numerical, and combined methods of solving eigenvalue problems. It considers the new method of accelerated convergence for solving problems of the Sturm-Liouville type as well as boundary-value problems with boundary conditions of the first, second, and third kind. The authors also present high
Author: Mitsuhiro T. Nakao
Publisher: Springer Nature
Published: 2019-11-11
Total Pages: 469
ISBN-13: 9811376697
DOWNLOAD EBOOK →In the last decades, various mathematical problems have been solved by computer-assisted proofs, among them the Kepler conjecture, the existence of chaos, the existence of the Lorenz attractor, the famous four-color problem, and more. In many cases, computer-assisted proofs have the remarkable advantage (compared with a “theoretical” proof) of additionally providing accurate quantitative information. The authors have been working more than a quarter century to establish methods for the verified computation of solutions for partial differential equations, mainly for nonlinear elliptic problems of the form -∆u=f(x,u,∇u) with Dirichlet boundary conditions. Here, by “verified computation” is meant a computer-assisted numerical approach for proving the existence of a solution in a close and explicit neighborhood of an approximate solution. The quantitative information provided by these techniques is also significant from the viewpoint of a posteriori error estimates for approximate solutions of the concerned partial differential equations in a mathematically rigorous sense. In this monograph, the authors give a detailed description of the verified computations and computer-assisted proofs for partial differential equations that they developed. In Part I, the methods mainly studied by the authors Nakao and Watanabe are presented. These methods are based on a finite dimensional projection and constructive a priori error estimates for finite element approximations of the Poisson equation. In Part II, the computer-assisted approaches via eigenvalue bounds developed by the author Plum are explained in detail. The main task of this method consists of establishing eigenvalue bounds for the linearization of the corresponding nonlinear problem at the computed approximate solution. Some brief remarks on other approaches are also given in Part III. Each method in Parts I and II is accompanied by appropriate numerical examples that confirm the actual usefulness of the authors’ methods. Also in some examples practical computer algorithms are supplied so that readers can easily implement the verification programs by themselves.
Author: M. Engeli
Publisher: Birkhauser
Published: 1980-01-01
Total Pages: 108
ISBN-13: 9780817600983
DOWNLOAD EBOOK →Author: Daniel Kressner
Publisher: Springer Science & Business Media
Published: 2006-01-20
Total Pages: 272
ISBN-13: 3540285024
DOWNLOAD EBOOK →This book is about computing eigenvalues, eigenvectors, and invariant subspaces of matrices. Treatment includes generalized and structured eigenvalue problems and all vital aspects of eigenvalue computations. A unique feature is the detailed treatment of structured eigenvalue problems, providing insight on accuracy and efficiency gains to be expected from algorithms that take the structure of a matrix into account.
Author: Yousef Saad
Publisher: SIAM
Published: 2011-01-01
Total Pages: 292
ISBN-13: 9781611970739
DOWNLOAD EBOOK →This revised edition discusses numerical methods for computing eigenvalues and eigenvectors of large sparse matrices. It provides an in-depth view of the numerical methods that are applicable for solving matrix eigenvalue problems that arise in various engineering and scientific applications. Each chapter was updated by shortening or deleting outdated topics, adding topics of more recent interest, and adapting the Notes and References section. Significant changes have been made to Chapters 6 through 8, which describe algorithms and their implementations and now include topics such as the implicit restart techniques, the Jacobi-Davidson method, and automatic multilevel substructuring.
Author: L. Meirovitch
Publisher: Springer Science & Business Media
Published: 1980-10-31
Total Pages: 462
ISBN-13: 9789028605800
DOWNLOAD EBOOK →Author: C.T.H. Baker
Publisher: Elsevier
Published: 2001-06-20
Total Pages: 559
ISBN-13: 0080929559
DOWNLOAD EBOOK →/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 dynamical systems.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 Hénon 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., the difference 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