Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations (eBook, PDF) - Nakao, Mitsuhiro T.; Plum, Michael; Watanabe, Yoshitaka
Statt 87,99 €**
67,95 €

inkl. MwSt.
**Preis der gedruckten Ausgabe (Gebundenes Buch)
Sofort per Download lieferbar
34 °P sammeln
  • Format: PDF


  • Geräte: PC
  • ohne Kopierschutz
  • eBook Hilfe
  • Größe: 13.07MB
Produktbeschreibung
  • Produktdetails
  • Verlag: Springer Singapore
  • Erscheinungstermin: 11. November 2019
  • Englisch
  • ISBN-13: 9789811376696
  • Artikelnr.: 58387521
Inhaltsangabe

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.