Numerical verification of solutions for elasto-plastic torsion problems

DOI10.1016/S0898-1221(99)00345-4zbMath0979.74022OpenAlexW2061736109MaRDI QIDQ1570141

Cheon Seoung Ryoo, Mitsuhiro T. Nakao, Sang-Hun Lee

Publication date: 21 February 2002

Published in: Computers \& Mathematics with Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0898-1221(99)00345-4

zbMATH Keywords

variational inequalityexistence of solutionsnumerical verificationfixed-point theorema priori error estimatesfinite element approximationselasto-plastic torsion problemsnondifferentiable nonlinear problem

Mathematics Subject Classification ID

Related Items (7)

Numerical verification for solutions to partial differential equations ⋮ Numerical verification of solutions for some unilateral boundary value problems. ⋮ Solving obstacle problems with guaranteed accuracy. ⋮ NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS ⋮ A computational verification method of existence of solution for elastoplastic torsion problems with uniqueness ⋮ Computational proofs of the existence of solutions to elasto-plastic torsion problems ⋮ Numerical verification of solutions for a simplified Signorini problem

Cites Work

• Derived eigenvalues of symmetric matrices, with applications to distance geometry
• A numerical verification method for the existence of weak solutions for nonlinear boundary value problems
• On the convergence of some quasi-Newton methods for nonlinear equations with nondifferentiable operators
• Local convergence of quasi-Newton methods for B-differentiable equations
• Solution of variational inequalities in mechanics
• Numerical verifications of solutions for elliptic equations in nonconvex polygonal domains
• A verification method for solutions of nonsmooth equations
• Numerical verification of solutions for variational inequalities of the second kind
• Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element
• On the Free Boundary in Heterogeneous Obstacle-Type Problems with Two Phases
• A numerical approach to the proof of existence of solutions for elliptic problems II
• A numerical approach to the proof of existence of solutions for elliptic problems
• A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
• On Homotopy-Smoothing Methods for Box-Constrained Variational Inequalities
• Verified computations of solutions for nondifferentiable elliptic equations related to MHD equilibria
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Numerical verification of solutions for elasto-plastic torsion problems