کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
6419870 | 1631779 | 2016 | 13 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
A numerical verification method for nonlinear functional equations based on infinite-dimensional Newton-like iteration
ترجمه فارسی عنوان
یک روش تایید عددی برای معادلات کاربردی غیرخطی بر مبنای تکرار نیوتن بی نهایت بعدی
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
ریاضیات کاربردی
چکیده انگلیسی
This paper describes a numerical verification of solutions for infinite-dimensional functional equations based on residual forms and Newton-like iteration. The method is based upon a verification method previously developed by the authors. Several computer-assisted proofs for differential equations, including nonlinear partial differential equations, are presented.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Applied Mathematics and Computation - Volume 276, 5 March 2016, Pages 239-251
Journal: Applied Mathematics and Computation - Volume 276, 5 March 2016, Pages 239-251
نویسندگان
Yoshitaka Watanabe, Mitsuhiro T. Nakao,