Yoshitaka Watanabe and Mitsuhiro T. Nakao:
Verified Computation of Solutions for Nondifferentiable Elliptic Equations Related to MHD Equilibria,
Zeitschrift f\"{u}r Angewandte Mathematik und Mechanik Vol.75 (1995) S553-S554.

( Modern Language Association of America style )
Watanabe, Y. and M.T. Nakao. "Verified Computation of Solutions for Nondifferentiable Elliptic Equations Related to MHD Equilibria." Z. Angew. Math. Mech. 75 (1995) 553-554.


We propose a numerical technique which enables us to verify the existence of weak solutions for the nondifferentiable nonlinear elliptic problem related to MHD equilibria.

It is based on the infinite dimensional fixed point theorems using the Newton-like operator and the error estimates for finite element approximations.

We present a verification procedure which automatically generates the set including the exact solution in a computer, and show some numerical examples. 2pages.

ひとつ戻る〕 〔メインメニューに戻る