Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб,вс: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Хиты | |
 

Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations, Mitsuhiro T. Nakao; Michael Plum; Yoshitaka Watana


Варианты приобретения
Цена: 19564.00р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: Есть  
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Mitsuhiro T. Nakao; Michael Plum; Yoshitaka Watana
Название:  Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
ISBN: 9789811376719
Издательство: Springer
Классификация:



ISBN-10: 9811376719
Обложка/Формат: Soft cover
Страницы: 467
Вес: 0.74 кг.
Дата издания: 2019
Серия: Springer Series in Computational Mathematics
Язык: English
Издание: 1st ed. 2019
Иллюстрации: 11 illustrations, color; 222 illustrations, black and white; xiii, 467 p. 233 illus., 11 illus. in color.
Размер: 23.39 x 15.60 x 2.46 cm
Читательская аудитория: Professional & vocational
Основная тема: Mathematics
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: 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.


Numerical Methods for Stochastic Partial Differential Equations with White Noise

Автор: Zhongqiang Zhang; George Em Karniadakis
Название: Numerical Methods for Stochastic Partial Differential Equations with White Noise
ISBN: 3319575104 ISBN-13(EAN): 9783319575100
Издательство: Springer
Рейтинг:
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book covers numerical methods for stochastic partial differential equations with white noise using the framework of Wong-Zakai approximation. In addition, stochastic Euler equations are exploited as an application of stochastic collocation methods, where a numerical comparison with other integration methods in random space is made.

Mathematical and Numerical Methods for Partial Differential Equations

Автор: Jo?l Chaskalovic
Название: Mathematical and Numerical Methods for Partial Differential Equations
ISBN: 3319035622 ISBN-13(EAN): 9783319035628
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This self-tutorial offers a concise yet thorough introduction into the mathematical analysis of approximation methods for partial differential equations. It uses a unique teaching method which explains the analysis using exercises and detailed solutions.

Numerical Methods for Nonlinear Partial Differential Equations

Автор: S?ren Bartels
Название: Numerical Methods for Nonlinear Partial Differential Equations
ISBN: 3319356801 ISBN-13(EAN): 9783319356808
Издательство: Springer
Рейтинг:
Цена: 13275.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The description of many interesting phenomena in science and engineering leads to infinite-dimensional minimization or evolution problems that define nonlinear partial differential equations.

Numerical Methods for Stochastic Partial Differential Equations with White Noise

Автор: Zhongqiang Zhang; George Em Karniadakis
Название: Numerical Methods for Stochastic Partial Differential Equations with White Noise
ISBN: 3319861816 ISBN-13(EAN): 9783319861814
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Поставка под заказ.

Описание: This book covers numerical methods for stochastic partial differential equations with white noise using the framework of Wong-Zakai approximation. In addition, stochastic Euler equations are exploited as an application of stochastic collocation methods, where a numerical comparison with other integration methods in random space is made.

High accuracy algorithm for the differential equations governing anomalous diffusion: algorithm and models for anomalous diffusion

Автор: Zhang, Zhijiang
Название: High accuracy algorithm for the differential equations governing anomalous diffusion: algorithm and models for anomalous diffusion
ISBN: 9813142200 ISBN-13(EAN): 9789813142206
Издательство: World Scientific Publishing
Рейтинг:
Цена: 17424.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

The aim of this book is to extend the application field of 'anomalous diffusion', and describe the newly built models and the simulation techniques to the models.

The book first introduces 'anomalous diffusion' from the statistical physics point of view, then discusses the models characterizing anomalous diffusion and its applications, including the Fokker-Planck equation, the Feymann-Kac equations describing the functional distribution of the anomalous trajectories of the particles, and also the microscopic model -- Langevin type equation. The second main part focuses on providing the high accuracy schemes for these kinds of models, and the corresponding convergence and stability analysis.

Numerical Methods for Differential Equations, Optimization, and Technological Problems

Автор: Sergey Repin; Timo Tiihonen; Tero Tuovinen
Название: Numerical Methods for Differential Equations, Optimization, and Technological Problems
ISBN: 9401781451 ISBN-13(EAN): 9789401781459
Издательство: Springer
Рейтинг:
Цена: 22201.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book collects results in numerical analysis and optimization presented at the 2011 ECCOMAS thematic conference "Computational Analysis and Optimization." The conference and the book celebrate the work of Prof. Pekka Neittaanmaki on his sixtieth birthday.

Numerical Solution of Partial Differential Equations: Theory, Algorithms, and Their Applications

Автор: Oleg P. Iliev; Svetozar D. Margenov; Peter D Minev
Название: Numerical Solution of Partial Differential Equations: Theory, Algorithms, and Their Applications
ISBN: 1489998306 ISBN-13(EAN): 9781489998309
Издательство: Springer
Рейтинг:
Цена: 16769.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: One of the current main challenges in the area of scientific computingГЇВїВЅ is the design and implementation of accurate numerical models for complex physical systems which are described by time dependent coupled systems of nonlinear PDEs.

Robust Numerical Methods for Singularly Perturbed Differential Equations

Автор: Hans-G?rg Roos; Martin Stynes; Lutz Tobiska
Название: Robust Numerical Methods for Singularly Perturbed Differential Equations
ISBN: 3642070825 ISBN-13(EAN): 9783642070822
Издательство: Springer
Рейтинг:
Цена: 20263.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This new edition incorporates new developments in numerical methods for singularly perturbed differential equations, focusing on linear convection-diffusion equations and on nonlinear flow problems that appear in computational fluid dynamics.

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

Автор: Mitsuhiro T. Nakao; Michael Plum; Yoshitaka Watana
Название: Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
ISBN: 9811376689 ISBN-13(EAN): 9789811376689
Издательство: Springer
Рейтинг:
Цена: 19564.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Numerical Methods for Partial Differential Equations

Автор: Sandip Mazumder
Название: Numerical Methods for Partial Differential Equations
ISBN: 0128498943 ISBN-13(EAN): 9780128498941
Издательство: Elsevier Science
Рейтинг:
Цена: 17180.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

"Numerical Methods for Partial Differential Equations: Finite Difference and Finite Volume Methods" focuses on two popular deterministic methods for solving partial differential equations (PDEs), namely finite difference and finite volume methods. The solution of PDEs can be very challenging, depending on the type of equation, the number of independent variables, the boundary, and initial conditions, and other factors. These two methods have been traditionally used to solve problems involving fluid flow.

For practical reasons, the finite element method, used more often for solving problems in solid mechanics, and covered extensively in various other texts, has been excluded. The book is intended for beginning graduate students and early career professionals, although advanced undergraduate students may find it equally useful.

The material is meant to serve as a prerequisite for students who might go on to take additional courses in computational mechanics, computational fluid dynamics, or computational electromagnetics. The notations, language, and technical jargon used in the book can be easily understood by scientists and engineers who may not have had graduate-level applied mathematics or computer science courses.
Presents one of the few available resources that comprehensively describes and demonstrates the finite volume method for unstructured mesh used frequently by practicing code developers in industryIncludes step-by-step algorithms and code snippets in each chapter that enables the reader to make the transition from equations on the page to working codesIncludes 51 worked out examples that comprehensively demonstrate important mathematical steps, algorithms, and coding practices required to numerically solve PDEs, as well as how to interpret the results from both physical and mathematic perspectives

Partial Differential Equation Methods for Image Inpainting

Автор: Schоnlieb
Название: Partial Differential Equation Methods for Image Inpainting
ISBN: 1107001005 ISBN-13(EAN): 9781107001008
Издательство: Cambridge Academ
Рейтинг:
Цена: 12195.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book is concerned with digital image processing techniques that use partial differential equations (PDEs) for the task of image 'inpainting', an artistic term for virtual image restoration or interpolation, whereby missing or occluded parts in images are completed based on information provided by intact parts. Computer graphic designers, artists and photographers have long used manual inpainting to restore damaged paintings or manipulate photographs. Today, mathematicians apply powerful methods based on PDEs to automate this task. This book introduces the mathematical concept of PDEs for virtual image restoration. It gives the full picture, from the first modelling steps originating in Gestalt theory and arts restoration to the analysis of resulting PDE models, numerical realisation and real-world application. This broad approach also gives insight into functional analysis, variational calculus, optimisation and numerical analysis and will appeal to researchers and graduate students in mathematics with an interest in image processing and mathematical analysis.

Numerical Solution of Partial Differential Equations: Theory, Algorithms, and Their Applications

Автор: Oleg P. Iliev; Svetozar D. Margenov; Peter D Minev
Название: Numerical Solution of Partial Differential Equations: Theory, Algorithms, and Their Applications
ISBN: 1461471710 ISBN-13(EAN): 9781461471714
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: One of the current main challenges in the area of scientific computing is the design and implementation of accurate numerical models for complex physical systems which are described by time-dependent coupled systems of nonlinear PDEs. This volume integrates the works of experts in computational mathematics and its applications, with a focus on modern algorithms which are at the heart of accurate modeling: adaptive finite element methods, conservative finite difference methods and finite volume methods, and multilevel solution techniques. Fundamental theoretical results are revisited in survey articles, and new techniques in numerical analysis are introduced. Applications showcasing the efficiency, reliability, and robustness of the algorithms in porous media, structural mechanics, and electromagnetism are presented. Researchers and graduate students in numerical analysis and numerical solutions of PDEs and their scientific computing applications will find this book useful.--


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия