Author: Society for Industrial and Applied Mathematics
Publisher: American Mathematical Soc.
ISBN: 9780821813218
Category : Mathematics
Languages : en
Pages : 294
Book Description
Numerical Solution of Field Problems in Continuum Physics
Author: Society for Industrial and Applied Mathematics
Publisher: American Mathematical Soc.
ISBN: 9780821813218
Category : Mathematics
Languages : en
Pages : 294
Book Description
Publisher: American Mathematical Soc.
ISBN: 9780821813218
Category : Mathematics
Languages : en
Pages : 294
Book Description
Guaranteed Computational Methods for Self-Adjoint Differential Eigenvalue Problems
Author: Xuefeng Liu
Publisher: Springer Nature
ISBN: 9819735777
Category :
Languages : en
Pages : 139
Book Description
Publisher: Springer Nature
ISBN: 9819735777
Category :
Languages : en
Pages : 139
Book Description
Variational Methods for Eigenvalue Approximation
Author: H. F. Weinberger
Publisher: SIAM
ISBN: 089871012X
Category : Mathematics
Languages : en
Pages : 163
Book Description
Provides a common setting for various methods of bounding the eigenvalues of a self-adjoint linear operator and emphasizes their relationships. A mapping principle is presented to connect many of the methods. The eigenvalue problems studied are linear, and linearization is shown to give important information about nonlinear problems. Linear vector spaces and their properties are used to uniformly describe the eigenvalue problems presented that involve matrices, ordinary or partial differential operators, and integro-differential operators.
Publisher: SIAM
ISBN: 089871012X
Category : Mathematics
Languages : en
Pages : 163
Book Description
Provides a common setting for various methods of bounding the eigenvalues of a self-adjoint linear operator and emphasizes their relationships. A mapping principle is presented to connect many of the methods. The eigenvalue problems studied are linear, and linearization is shown to give important information about nonlinear problems. Linear vector spaces and their properties are used to uniformly describe the eigenvalue problems presented that involve matrices, ordinary or partial differential operators, and integro-differential operators.
KWIC Index for Numerical Algebra
Author: Alston Scott Householder
Publisher:
ISBN:
Category : Algebra
Languages : en
Pages : 552
Book Description
Publisher:
ISBN:
Category : Algebra
Languages : en
Pages : 552
Book Description
Spectral Approximation of Linear Operators
Author: Francoise Chatelin
Publisher: SIAM
ISBN: 0898719992
Category : Mathematics
Languages : en
Pages : 482
Book Description
Originally published: New York: Academic Press, 1983.
Publisher: SIAM
ISBN: 0898719992
Category : Mathematics
Languages : en
Pages : 482
Book Description
Originally published: New York: Academic Press, 1983.
Numerical Solutions of Boundary Value Problems for Ordinary Differential Equations
Author: A.K. Aziz
Publisher: Academic Press
ISBN: 1483267997
Category : Mathematics
Languages : en
Pages : 380
Book Description
Numerical Solutions of Boundary Value Problems for Ordinary Differential Equations covers the proceedings of the 1974 Symposium by the same title, held at the University of Maryland, Baltimore Country Campus. This symposium aims to bring together a number of numerical analysis involved in research in both theoretical and practical aspects of this field. This text is organized into three parts encompassing 15 chapters. Part I reviews the initial and boundary value problems. Part II explores a large number of important results of both theoretical and practical nature of the field, including discussions of the smooth and local interpolant with small K-th derivative, the occurrence and solution of boundary value reaction systems, the posteriori error estimates, and boundary problem solvers for first order systems based on deferred corrections. Part III highlights the practical applications of the boundary value problems, specifically a high-order finite-difference method for the solution of two-point boundary-value problems on a uniform mesh. This book will prove useful to mathematicians, engineers, and physicists.
Publisher: Academic Press
ISBN: 1483267997
Category : Mathematics
Languages : en
Pages : 380
Book Description
Numerical Solutions of Boundary Value Problems for Ordinary Differential Equations covers the proceedings of the 1974 Symposium by the same title, held at the University of Maryland, Baltimore Country Campus. This symposium aims to bring together a number of numerical analysis involved in research in both theoretical and practical aspects of this field. This text is organized into three parts encompassing 15 chapters. Part I reviews the initial and boundary value problems. Part II explores a large number of important results of both theoretical and practical nature of the field, including discussions of the smooth and local interpolant with small K-th derivative, the occurrence and solution of boundary value reaction systems, the posteriori error estimates, and boundary problem solvers for first order systems based on deferred corrections. Part III highlights the practical applications of the boundary value problems, specifically a high-order finite-difference method for the solution of two-point boundary-value problems on a uniform mesh. This book will prove useful to mathematicians, engineers, and physicists.
Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
Author: Mitsuhiro T. Nakao
Publisher: Springer Nature
ISBN: 9811376697
Category : Mathematics
Languages : en
Pages : 469
Book Description
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.
Publisher: Springer Nature
ISBN: 9811376697
Category : Mathematics
Languages : en
Pages : 469
Book Description
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.
Scientific and Technical Aerospace Reports
Author:
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 662
Book Description
Lists citations with abstracts for aerospace related reports obtained from world wide sources and announces documents that have recently been entered into the NASA Scientific and Technical Information Database.
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 662
Book Description
Lists citations with abstracts for aerospace related reports obtained from world wide sources and announces documents that have recently been entered into the NASA Scientific and Technical Information Database.
Numerical Approximation Methods for Elliptic Boundary Value Problems
Author: Olaf Steinbach
Publisher: Springer Science & Business Media
ISBN: 0387313125
Category : Mathematics
Languages : en
Pages : 392
Book Description
This book presents a unified theory of the Finite Element Method and the Boundary Element Method for a numerical solution of second order elliptic boundary value problems. This includes the solvability, stability, and error analysis as well as efficient methods to solve the resulting linear systems. Applications are the potential equation, the system of linear elastostatics and the Stokes system. While there are textbooks on the finite element method, this is one of the first books on Theory of Boundary Element Methods. It is suitable for self study and exercises are included.
Publisher: Springer Science & Business Media
ISBN: 0387313125
Category : Mathematics
Languages : en
Pages : 392
Book Description
This book presents a unified theory of the Finite Element Method and the Boundary Element Method for a numerical solution of second order elliptic boundary value problems. This includes the solvability, stability, and error analysis as well as efficient methods to solve the resulting linear systems. Applications are the potential equation, the system of linear elastostatics and the Stokes system. While there are textbooks on the finite element method, this is one of the first books on Theory of Boundary Element Methods. It is suitable for self study and exercises are included.
Numerical Methods for Two-Point Boundary-Value Problems
Author: Herbert B. Keller
Publisher: Courier Dover Publications
ISBN: 0486828344
Category : Mathematics
Languages : en
Pages : 417
Book Description
Elementary yet rigorous, this concise treatment is directed toward students with a knowledge of advanced calculus, basic numerical analysis, and some background in ordinary differential equations and linear algebra. 1968 edition.
Publisher: Courier Dover Publications
ISBN: 0486828344
Category : Mathematics
Languages : en
Pages : 417
Book Description
Elementary yet rigorous, this concise treatment is directed toward students with a knowledge of advanced calculus, basic numerical analysis, and some background in ordinary differential equations and linear algebra. 1968 edition.