Author: Karel Rektorys
Publisher: Springer Science & Business Media
ISBN: 9401164509
Category : Science
Languages : en
Pages : 566
Book Description
The impulse which led to the writing of the present book has emerged from my many years of lecturing in special courses for selected students at the College of Civil Engineering of the Tech nical University in Prague, from experience gained as supervisor and consultant to graduate students-engineers in the field of applied mathematics, and - last but not least - from frequent consultations with technicians as well as with physicists who have asked for advice in overcoming difficulties encountered in solving theoretical problems. Even though a varied combination of problems of the most diverse nature was often in question, the problems discussed in this book stood forth as the most essential to this category of specialists. The many discussions I have had gave rise to considerations on writing a book which should fill the rather unfortunate gap in our literature. The book is designed, in the first place, for specialists in the fields of theoretical engineering and science. However, it was my aim that the book should be of interest to mathematicians as well. I have been well aware what an ungrateful task it may be to write a book of the present type, and what problems such an effort can bring: Technicians and physicists on the one side, and mathematicians on the other, are often of diametrically opposing opinions as far as books con ceived for both these categories are concerned.
Variational Methods in Mathematics, Science and Engineering
Author: Karel Rektorys
Publisher: Springer Science & Business Media
ISBN: 9401164509
Category : Science
Languages : en
Pages : 566
Book Description
The impulse which led to the writing of the present book has emerged from my many years of lecturing in special courses for selected students at the College of Civil Engineering of the Tech nical University in Prague, from experience gained as supervisor and consultant to graduate students-engineers in the field of applied mathematics, and - last but not least - from frequent consultations with technicians as well as with physicists who have asked for advice in overcoming difficulties encountered in solving theoretical problems. Even though a varied combination of problems of the most diverse nature was often in question, the problems discussed in this book stood forth as the most essential to this category of specialists. The many discussions I have had gave rise to considerations on writing a book which should fill the rather unfortunate gap in our literature. The book is designed, in the first place, for specialists in the fields of theoretical engineering and science. However, it was my aim that the book should be of interest to mathematicians as well. I have been well aware what an ungrateful task it may be to write a book of the present type, and what problems such an effort can bring: Technicians and physicists on the one side, and mathematicians on the other, are often of diametrically opposing opinions as far as books con ceived for both these categories are concerned.
Publisher: Springer Science & Business Media
ISBN: 9401164509
Category : Science
Languages : en
Pages : 566
Book Description
The impulse which led to the writing of the present book has emerged from my many years of lecturing in special courses for selected students at the College of Civil Engineering of the Tech nical University in Prague, from experience gained as supervisor and consultant to graduate students-engineers in the field of applied mathematics, and - last but not least - from frequent consultations with technicians as well as with physicists who have asked for advice in overcoming difficulties encountered in solving theoretical problems. Even though a varied combination of problems of the most diverse nature was often in question, the problems discussed in this book stood forth as the most essential to this category of specialists. The many discussions I have had gave rise to considerations on writing a book which should fill the rather unfortunate gap in our literature. The book is designed, in the first place, for specialists in the fields of theoretical engineering and science. However, it was my aim that the book should be of interest to mathematicians as well. I have been well aware what an ungrateful task it may be to write a book of the present type, and what problems such an effort can bring: Technicians and physicists on the one side, and mathematicians on the other, are often of diametrically opposing opinions as far as books con ceived for both these categories are concerned.
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.
Subject Catalog
Author: Library of Congress
Publisher:
ISBN:
Category : Subject catalogs
Languages : en
Pages : 1012
Book Description
Publisher:
ISBN:
Category : Subject catalogs
Languages : en
Pages : 1012
Book Description
American Book Publishing Record
Author:
Publisher:
ISBN:
Category : Books
Languages : en
Pages : 1886
Book Description
Publisher:
ISBN:
Category : Books
Languages : en
Pages : 1886
Book Description
Reviews in Partial Differential Equations, 1980-86, as Printed in Mathematical Reviews
Author:
Publisher:
ISBN:
Category : Differential equations, Partial
Languages : en
Pages : 850
Book Description
Publisher:
ISBN:
Category : Differential equations, Partial
Languages : en
Pages : 850
Book Description
Error Control, Adaptive Discretizations, and Applications, Part 1
Author:
Publisher: Elsevier
ISBN: 0443294496
Category : Science
Languages : en
Pages : 446
Book Description
Error Control, Adaptive Discretizations, and Applications, Volume 58, Part One highlights new advances in the field, with this new volume presenting interesting chapters written by an international board of authors. Chapters in this release cover hp adaptive Discontinuous Galerkin strategies driven by a posteriori error estimation with application to aeronautical flow problems, An anisotropic mesh adaptation method based on gradient recovery and optimal shape elements, and Model reduction techniques for parametrized nonlinear partial differential equations. - Covers multi-scale modeling - Includes updates on data-driven modeling - Presents the latest information on large deformations of multi-scale materials
Publisher: Elsevier
ISBN: 0443294496
Category : Science
Languages : en
Pages : 446
Book Description
Error Control, Adaptive Discretizations, and Applications, Volume 58, Part One highlights new advances in the field, with this new volume presenting interesting chapters written by an international board of authors. Chapters in this release cover hp adaptive Discontinuous Galerkin strategies driven by a posteriori error estimation with application to aeronautical flow problems, An anisotropic mesh adaptation method based on gradient recovery and optimal shape elements, and Model reduction techniques for parametrized nonlinear partial differential equations. - Covers multi-scale modeling - Includes updates on data-driven modeling - Presents the latest information on large deformations of multi-scale materials
National Union Catalog
Author:
Publisher:
ISBN:
Category : Union catalogs
Languages : en
Pages : 1032
Book Description
Includes entries for maps and atlases.
Publisher:
ISBN:
Category : Union catalogs
Languages : en
Pages : 1032
Book Description
Includes entries for maps and atlases.
Solving Ordinary and Partial Boundary Value Problems in Science and Engineering
Author: Karel Rektorys
Publisher: CRC Press
ISBN: 1040287425
Category : Mathematics
Languages : en
Pages : 215
Book Description
This book provides an elementary, accessible introduction for engineers and scientists to the concepts of ordinary and partial boundary value problems, acquainting readers with fundamental properties and with efficient methods of constructing solutions or satisfactory approximations. Discussions include: ordinary differential equations classical theory of partial differential equations Laplace and Poisson equations heat equation variational methods of solution of corresponding boundary value problems methods of solution for evolution partial differential equations The author presents special remarks for the mathematical reader, demonstrating the possibility of generalizations of obtained results and showing connections between them. For the non-mathematician, the author provides profound functional-analytical results without proofs and refers the reader to the literature when necessary. Solving Ordinary and Partial Boundary Value Problems in Science and Engineering contains essential functional analytical concepts, explaining its subject without excessive abstraction.
Publisher: CRC Press
ISBN: 1040287425
Category : Mathematics
Languages : en
Pages : 215
Book Description
This book provides an elementary, accessible introduction for engineers and scientists to the concepts of ordinary and partial boundary value problems, acquainting readers with fundamental properties and with efficient methods of constructing solutions or satisfactory approximations. Discussions include: ordinary differential equations classical theory of partial differential equations Laplace and Poisson equations heat equation variational methods of solution of corresponding boundary value problems methods of solution for evolution partial differential equations The author presents special remarks for the mathematical reader, demonstrating the possibility of generalizations of obtained results and showing connections between them. For the non-mathematician, the author provides profound functional-analytical results without proofs and refers the reader to the literature when necessary. Solving Ordinary and Partial Boundary Value Problems in Science and Engineering contains essential functional analytical concepts, explaining its subject without excessive abstraction.
Mathematical Reviews
Author:
Publisher:
ISBN:
Category : Mathematics
Languages : en
Pages : 780
Book Description
Publisher:
ISBN:
Category : Mathematics
Languages : en
Pages : 780
Book Description
Reviews in Functional Analysis, 1980-86
Author:
Publisher:
ISBN:
Category : Functional analysis
Languages : en
Pages : 524
Book Description
Publisher:
ISBN:
Category : Functional analysis
Languages : en
Pages : 524
Book Description