Numerical verification of solutions for elasto-plastic torsion problems

Computers and Mathematics with Applications

Volumn 39, Issue 3-4, 2000, Pages 195-204

  Nakao, M T ^a   Lee, S H ^b   Ryoo, Cheon Seoung ^b  

^a KYUSHU UNIVERSITY   (Japan)

^b Kyungpook National University   (South Korea)

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION THEORY; COMPUTER SIMULATION; CONFORMAL MAPPING; DIGITAL ARITHMETIC; ERROR ANALYSIS; FINITE ELEMENT METHOD; GALERKIN METHODS; ITERATIVE METHODS; LAGRANGE MULTIPLIERS; NONLINEAR EQUATIONS; PROBLEM SOLVING; SET THEORY;

ELASTOPLASTIC TORSION PROBLEMS; FIX ED POINT THEOREM; NONDIFFERENTIABLE NONLINEAR PROBLEM; NUMERICAL VERIFICATION; VARIATIONAL INEQUALITY;

VARIATIONAL TECHNIQUES;

EID: 0034140203     PISSN: 08981221     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0898-1221(99)00345-4     Document Type: Article

References (21)

1. C.S. Ryoo and M.T. Nakao, Numerical verification of solutions for variational inequalities, Numerische Mathematik (to appear).
2. M.T. Nakao, A numerical approach to the proof of existence of solutions for elliptic problems, Japan Journal of Applied Math. 5, 313-332 (1988).
3. M.T. Nakao, A numerical approach to the proof of existence of solutions for elliptic problems II, Japan Journal of Applied Math. 7, 447-488 (1990).
4. M.T. Nakao, A numerical verification method for the existence of weak solutions for nonlinear boundary value problems, Journal of Math. Analysis and Applications 164, 489-507 (1992).
5. Y. Watanabe, N. Yamamoto and M.T. Nakao, Verified computations of solutions for nondifferentiable elliptic equations related to MHD equilibria, Nonlinear Analysis, Theory, Methods & Applications 28, 577-587 (1997).
6. C.S. Ryoo, A computational verification method of solution with uniqueness for obstacle problems, Bulletin of Informatics and Cybernetics 30 (1), 133-144 (1998).
7. C.S. Ryoo and M.T. Nakao, Numerical verification of solutions for variational inequalities II (preprint).
8. C.M. Elliott and J.R. Ockendon, Weak and Variational Methods for Moving Boundary Problems, Pitman, Boston, MA, (1980).
9. J.F. Rodrigues, Obstacle Problems in Mathematical Physics, Math. Stud., Volume 134, North-Holland, Amsterdam, (1987).
10. R. Glowinski, Numerical Methods for Nonlinear Variational Problems, Springer, New York, (1984).
11. X. Chen, A verification method for solutions of nonsmooth equations, Computing 58, 281-294 (1997).
12. X. Chen and T. Yamamoto, On the convergence of some quasi-Newton methods for nonlinear equations with nondifferentiable operators, Computing 48, 87-94 (1992).
13. X. Chen and Y. Ye, On homotopy-smoothing methods for box-constrained variational inequalities, SIAM J. Control and Optimization (to appear).
14. C.M. Ip and J. Kyparisis, Local convergence of quasi-Newton methods for B-differentiable equations, Math. Programming 56, 71-89 (1992).
15. F.H. Clarke, Optimization and Nonsmooth Analysis, John Wiley, New York, (1983).
16. P.G. Ciarlet, The Finite Element Method for Elliptic Problems, North-Holland, Amsterdam, (1978).
17. I. Hláváček, J. Haslinger, J. Nečas and J. Lovíšek, Solution of Variational Inequalities in Mechanics, Volume 66, Springer Ser. Appl. Math. Sci., (1988).
18. A. Neumaier, Interval Methods for Systems of Equation, Cambridge University Press, New York, (1990).
19. N. Yamamoto, A numerical verification method for solutions of boundary value problems with local uniqueness by Banach's fixed point theorem, SIAM J. Numer. Anal. 35, 2004-2013 (1998).
20. N. Yamamoto and M.T. Nakao, Numerical verifications of solutions for elliptic equations in nonconvex polygonal domains, Numerische Mathematik 65, 503-521 (1993).
21. N. Yamamoto and M.T. Nakao, Numerical verifications of solutions to elliptic equations using residual iterations with a higher order finite element, Journal of Comp. and Applied Math. 60, 271-279 (1995).