Nonlinear Theory and Its Applications, IEICE
Online ISSN : 2185-4106
ISSN-L : 2185-4106
Special Issue on Nonlinear electronics: phenomena, models and computational methods
On verified computations of solutions for nonlinear parabolic problems
Mitsuhiro T. Nakao
Author information
JOURNAL FREE ACCESS

2014 Volume 5 Issue 3 Pages 320-338

Details
Abstract

We consider the methods for guaranteed computations of solutions for nonlinear parabolic initial-boundary value problems. First, in order to make the basic principle clear, we briefly introduce the numerical verification methods of solutions for elliptic problems which we have developed up to now. Next, under some fundamental procedures of verification for parabolic problems based on the fixed point theorem with Newton's method, we describe a summary of our methods including additional new technique which could yield some improvements. The main contents of the paper consist of the guaranteed a posteriori estimates for the linearized inverse operators of parabolic type. In order to confirm the effectiveness of our methods, we give some numerical examples for the guaranteed bounds of iverse operators as well as give some prototype results for numerical verification of solutions of nonlinear parabolic problems. Moreover, we will mention an extention of the present technique to the verification of time-periodic solutions.

Content from these authors
© 2014 The Institute of Electronics, Information and Communication Engineers
Previous article Next article
feedback
Top