Numerical Verification Methods and Computer-Assisted Proofs for... - Librairie Eyrolles
Menu

mon compte Connexion

mon panier 0 article

Vous avez entre 15 et 18 ans ? Profitez du Pass Culture à la librairie Eyrolles !
Tous nos rayons
Aucun résultat pour ""

Rayons

Graphisme & Photo Informatique Construction Entreprise & Droit Sciences Littérature Arts & Loisirs Vie pratique Voyage et Tourisme BD et Jeunesse

Déjà client ? Identifiez-vous

Mot de passe oublié ?

Nouveau client ?

CRÉER VOTRE COMPTE
Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
Ajouter à une liste

Librairie Eyrolles - Paris 5e
Indisponible

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

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

Mitsuhiro T. / Plum Nakao

(0 avis) Donner votre avis
467 pages, parution le 19/11/2019
Ajouter à une liste
Indisponible

Résumé

Recently, 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 providing accurate quantitative information.The authors have been working more than a quarter century to establish the verified computations of solutions for partial differential equations, mainly to the 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 to proving the existence of a solution in a close and explicit neighborhood of an approximate solution. Therefore, the quantitative information by the technique shown here should also be significant from the viewpoint of the a posteriori error estimates for approximate solution of concerned partial differential equations with mathematically rigorous sense.In this monograph, the authors describe a survey on the verified computations or computer-assisted proofs for partial differential equations that they developed. In Part I, the methods mainly studied by authors Nakao and Watanabe are presented. These methods are based on the finite dimensional projection and the constructive a priori error estimates for the finite element approximation of the Poisson equation. In Part II, the computer-assisted approaches via eigenvalue bounds developed by the second author, Plum, are explained in detail. The main task of this method consists of eigenvalue bounds for the corresponding nonlinear problems of the linearized operators. Some brief remarks are also given on other approaches in Part III. Each method in Parts I and II is followed by appropriate numerical examples that confirm the actual usefulness of the authors' methods. Also in some examples the practical computer algorithms are supplied so that readers can easily implement the verification program by themselves.1. Basic principle of the verification.- 2. Newton-type approaches in finite dimension.- 3. Infinite dimensional Newton-type method.- 4. Applications to the computer-assisted proof in analysis.- 5. Evolutional equations.- 6. Eigenvalue enclosures for selfadjoint operators.- 7. Abstract formulation F(u) = 0, and the basic theorem.- 8. Strong solutions for second-order problems.- 9. Weak solutions for second-order problems.- 10. Weak solutions for fourth-order problems.- 11. Parameter-dependent problems.- 12. Non-selfadjoint eigenvalue problems.- 13. Some other methods.

Caractéristiques techniques

  PAPIER
Éditeur(s) Springer
Auteur(s) Mitsuhiro T. / Plum Nakao
Parution 19/11/2019
Nb. de pages 467
EAN13 9789811376689

Avantages Eyrolles.com

Livraison à partir de 0,01 € en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles

Consultez aussi

satisfait ou remboursé
Satisfait ou remboursé
Paiement sécurisé
modes de paiement
Paiement à l'expédition
partout dans le monde
Livraison partout dans le monde
Service clients sav@commande.eyrolles.com
librairie française
Librairie française depuis 1925
Recevez nos newsletters
Vous serez régulièrement informé(e) de toutes nos actualités.
Inscription