Guaranteed Computational Methods for Self-Adjoint Differential Eigenvalue Problems
Author: Xuefeng Liu
Publisher: Springer Nature
Published:
Total Pages: 139
ISBN-13: 9819735777
DOWNLOAD EBOOKRead and Download eBook Full
Author: Xuefeng Liu
Publisher: Springer Nature
Published:
Total Pages: 139
ISBN-13: 9819735777
DOWNLOAD EBOOKAuthor: H. Bruun Nielsen
Publisher:
Published: 1977
Total Pages: 29
ISBN-13:
DOWNLOAD EBOOKAuthor: Leonid D. Akulenko
Publisher: CRC Press
Published: 2004-10-15
Total Pages: 261
ISBN-13: 020340128X
DOWNLOAD EBOOKThis 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 EBOOKIn 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 EBOOKAuthor: Daniel Kressner
Publisher: Springer Science & Business Media
Published: 2006-01-20
Total Pages: 272
ISBN-13: 3540285024
DOWNLOAD EBOOKThis 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: Teresa Regińska
Publisher:
Published: 1970
Total Pages: 0
ISBN-13:
DOWNLOAD EBOOKAuthor: Yousef Saad
Publisher: SIAM
Published: 2011-01-01
Total Pages: 292
ISBN-13: 9781611970739
DOWNLOAD EBOOKThis 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 EBOOKAuthor: Kenneth R. Garren
Publisher:
Published: 1968
Total Pages: 52
ISBN-13:
DOWNLOAD EBOOK