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

The Drivers of Digital Transformation

$64.99

Smart Customers and Retail Promotions

$59.99

Archaeological Pathways to Historic Site Development

$39.99

Political, Economic and Financial Country Risk

$54.99

Truth, Politics, and Universal Human Rights

$54.99

Die Kriegsverletzungen der Kiefer

$44.99

Strategische Planung eines Kreislaufwirtschaftssystems fr Photovoltaikmodule

$49.99

Memory Performance of Prolog Architectures

$129.00

Welfare Economics in English Utopias

$39.99

Lehrbuch der Hydraulik fr Ingenieure und Physiker

$59.99

Europe in the Global Competition

$54.99

Mechanisms of Gonadal Differentiation in Vertebrates

$109.99

Media and Communication in the Soviet Union (19171953)

$119.00

Droplets and Sprays: Simple Models of Complex Processes

$149.00

Clinical Cases in LAA Occlusion

$149.00

Matrix Riccati Equations in Control and Systems Theory

$129.00

Higher Education and Development in Africa

$79.99

Intelligent Agents: Specification, Modeling, and Application

$39.99

Rhinologic and Sleep Apnea Surgical Techniques

$129.00

Communication Technologies for Vehicles

$39.99

Population Genomics: Crop Plants

$279.99

The Struggle of Islam in Modern Indonesia

$39.99

Memory and Postwar Memorials

$109.99

Ten Worlds of Welfare Capitalism

$129.99

Topics in Clifford Analysis

$139.99

Constitutional Courts in the German States

$99.00

Polysaccharide-based Fibers and Composites

$54.99

Deutsche Direktinvestitionen in der Volksrepublik China

$59.99

Nachhaltige Unternehmensfhrung

$49.99

From Malthus' Stagnation to Sustained Growth

$39.99

Data Mining and Knowledge Discovery for Process Monitoring and Control

$84.99

Handbuch der gefhrlichen Gter. Band 10: Merkbltter 3735-4135

$299.99

Essential Psychiatry

$54.99

An Operational Approach to Policy Analysis: The Craft

$129.00

Antarctic Terrestrial Microbiology

$169.99

Herzkatheter

$59.99

Countdown to Bedtime

$8.24

Organisationstheorie

$19.99

Photorespiration

$159.99

Unfettering Poetry

$39.99