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

DOI10.1007/BF03167389MaRDI QIDQ1370920zbMATH OpenFDO

Authors Takuya Tsuchiya, Mitsuhiro T. Nakao

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)

Recommendations

• An Existence and Inclusion Method for Two‐Point Boundary Value Problems with Turning Points
• On necessary and sufficient conditions for numerical verification of double turning points
• The local behaviour of turning points in nonlinear eigenvalue problems. Application to parameter identification.
• scientific article; zbMATH DE number 440800

Cites work

• scientific article; zbMATH DE number 3932312 (Why is no real title available?)
• scientific article; zbMATH DE number 3933857 (Why is no real title available?)
• scientific article; zbMATH DE number 524105 (Why is no real title available?)
• A numerical approach to the proof of existence of solutions for elliptic problems
• A numerical approach to the proof of existence of solutions for elliptic problems II
• A numerical verification method for the existence of weak solutions for nonlinear boundary value problems
• A priori error estimates of finite element solutions of parametrized strongly nonlinear boundary value problems
• Enlargement procedure for resolution of singularities at singular solution of nonlinear equations
• Finite dimensional approximation of nonlinear problems. I: Branches of nonsingular solutions
• Finite dimensional approximation of nonlinear problems. II: Limit points
• Numerical verifications of solutions for nonlinear elliptic equations
• Solving nonlinear parabolic problems with result verification. I: One- space dimensional case

Cited in

(8)

• On necessary and sufficient conditions for numerical verification of double turning points
• Computer assisted proof to symmetry-breaking bifurcation phenomena in nonlinear vibration
• A symmetry-breaking bifurcation theorem and some related theorems applicable to maps having unbounded derivatives
• An Existence and Inclusion Method for Two‐Point Boundary Value Problems with Turning Points
• The local behaviour of turning points in nonlinear eigenvalue problems. Application to parameter identification.
• 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

Describes a project that uses

Uses Software

• PITCON

This page was built for publication: Numerical verification of solutions of parametrized nonlinear boundary value problems with turning points

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1370920)