Computational proofs of the existence of solutions to elasto-plastic torsion problems

DOI10.1016/S0895-7177(00)00135-7zbMath0976.74009MaRDI QIDQ1585831

Cheon Seoung Ryoo

Publication date: 14 November 2000

Published in: Mathematical and Computer Modelling (Search for Journal in Brave)

zbMATH Keywords

error estimatesexistence of solutionsUzawa algorithmSchauder's fixed-point theoremelasto-plastic torsion problems

Mathematics Subject Classification ID

Small-strain, rate-independent theories of plasticity (including rigid-plastic and elasto-plastic materials) (74C05) Numerical and other methods in solid mechanics (74S99)

Uses Software

• PROFIL/BIAS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A numerical verification method for the existence of weak solutions for nonlinear boundary value problems
• Explicit \(H_ 2\)-estimates and pointwise bounds for solutions of second- order elliptic boundary value problems
• Numerical verification of solutions for variational inequalities
• PROFIL/BIAS - A fast interval library
• Numerical verification of solutions for obstacle problems using a Newton-like method
• Numerical verification of solutions for elasto-plastic torsion problems
• Existence and enclosure results for continua of solutions of parameter- dependent nonlinear boundary value problems
• Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element