Numerical verification of solutions of parametrized nonlinear boundary value problems with turning points

DOI10.1007/BF03167389zbMath0890.34013MaRDI QIDQ1370920

Mitsuhiro T. Nakao, Takuya Tsuchiya

Publication date: 3 December 1997

Published in: Japan Journal of Industrial and Applied Mathematics (Search for Journal in Brave)

zbMATH Keywords

turning pointssecond order differential equationnumerical verification of solutionsparametrized nonlinear boundary value problems

Mathematics Subject Classification ID

Nonlinear boundary value problems for ordinary differential equations (34B15) Numerical solution of boundary value problems involving ordinary differential equations (65L10)

Related Items

A symmetry-breaking bifurcation theorem and some related theorems applicable to maps having unbounded derivatives ⋮ Computer assisted proof to symmetry-breaking bifurcation phenomena in nonlinear vibration ⋮ Existence and enclosure results for continua of solutions of parameter- dependent nonlinear boundary value problems ⋮ Numerical verification for solutions to partial differential equations ⋮ NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS

Uses Software

• PITCON

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Finite dimensional approximation of nonlinear problems. II: Limit points
• A priori error estimates of finite element solutions of parametrized strongly nonlinear boundary value problems
• Numerical verifications of solutions for nonlinear elliptic equations
• Enlargement procedure for resolution of singularities at singular solution of nonlinear equations
• Finite dimensional approximation of nonlinear problems. I: Branches of nonsingular solutions
• Solving nonlinear parabolic problems with result verification. I: One- space dimensional case
• A numerical verification method for the existence of weak solutions for nonlinear boundary value problems
• 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