Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations

Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9789811376689
Condition
New
Product 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 theauthors methods. Also in some examples practical computer algorithms are supplied so that readers can easily implement the verification programs by themselves.

Available Colors
Available Sizes
1 Offer Price Range: $119.00 - $119.00
BEST PRICE

Single Product Purchase

$119.00
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$119.00 $119.00

$119.00
See Site In stock Visit Store

Similar Products

Stahlhochbau

$29.99

Theory and Practice of Model Transformations

$54.99

Theories of Turbulence

$54.99

Beyond Legitimation

$109.99

Der kanonische Modul eines Cohen-Macaulay-Rings

$29.99

Disruptive Logic Architectures and Technologies

$109.99

American Women's Ghost Stories in the Gilded Age

$109.99

Whistleblower Protection by the Council of Europe, the European Court of Human Rights and the Europe

$139.99

Beyond Deep Blue

$39.99

Engineering of Thermoplastic Elastomer with Graphene and Other Anisotropic Nanofillers

$169.99

Management internationaler Dienstleistungen

$59.99

State-to-State Dynamical Research in the F+H2 Reaction System

$39.99

Lehre von den Gesichtsempfindungen

$84.99

Theorie und Praxis pharmakologischer Forschung. Technische Verfahren zur Isotopentrennung

$59.99

Quantitative Methoden der Organisationsforschung

$44.99

Praxis Online-Marktforschung

$69.99

Storys mit Studien

$69.99

Colormanagement

$49.99

Benignes Prostatasyndrom

$59.99

David Hilbert

$37.99

The Creative Process

$129.99

Allgemeine Untersuchungsmethoden

$44.99

An Introduction to Epidemiology

$14.99

Vascular Differentiation and Plant Growth Regulators

$109.99

Abstract State Machines, Alloy, B, TLA, VDM, and Z

$39.99

Magnesium Technology 2013

$149.00

Barrio Nerds

$39.99

City Policies and the European Urban Agenda

$129.99

Operator Algebras

$219.99

Foundations of a Sustainable Market Economy

$44.99

In Vivo Cellular Imaging Using Fluorescent Proteins

$109.99

Graph Transformations in Computer Science

$39.99

Fussball in Basel und Umgebung

$19.99

Gender, Class and Reflexive Modernity in India

$54.99

Neural Information Processing

$89.00

Der Mechanismus der tektonischen Bewegungsvorgnge im Ruhrbezirk

$54.99

An Annotated Timeline of Operations Research

$89.99

Chocolate and Health

$169.99

Inorganometallic Chemistry

$169.99

Kanzler und Minister 1949 1998

$64.99