Yoshitaka Watanabe, Nobito Yamamoto and Mitsuhiro T. Nakao:
Verified Computations of Solutions for Nondifferentiable Elliptic
Equations Related to MHD Equilibria,
Nonlinear Analysis, Theory, Methods & Applications,
Vol.28, No.3 (1997) pp.577-587.
This paper proposes a numerical technique to enclose the exact solution with
guaranteed error bounds for nondifferentiable nonlinear elliptic
equations of second order related to MHD equilibria.
This method is a kind of Newton-like method using an enclosing technique
combined with the explicit error estimate for finite element approximations.
Construct a concrete computing algorithm for the verification in computer,
which is an efficient computing algorithm from the view point of
interval arithmetic, and some numerical examples are presented.
10pages.
The publisher holds the copyright on this manuscript.
[Back]