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)

Full work available at URL https://doi.org/10.1007/BF03167389

zbMATH Keywords

numerical verification of solutionsparametrized nonlinear boundary value problemssecond order differential equationturning points

Mathematics Subject Classification ID

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

Review text

The paper is devoted to prove a result of numerical verification of solutions of the nonlinear two-point boundary value problem for the second order differential equation with parameter \(\lambda: -u= f(\lambda ,x,u)\); \(u(a)=u(b)=0\), where \(f:\Lambda\times (a,b)\times \mathbb{R}\rightarrow \mathbb{R}\) is a given smooth function and \(\Lambda\) is a bounded real interval. The case of turning points is considered. Around these points, the problem is extended so that the extended problem has an invertible Fréchet derivative and the usual procedure of numerical verification of solutions can be applied. A result of local uniqueness is proved. Finally, an example is worked out to illustrate the proposed scheme of numerical verification.

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

• 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
• 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?)
• Numerical verifications of solutions for nonlinear elliptic equations
• Solving nonlinear parabolic problems with result verification. I: One- space dimensional case

Cited in

(8)

• 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
• On necessary and sufficient conditions for numerical verification of double turning points
• Existence and enclosure results for continua of solutions of parameter- dependent nonlinear boundary value problems
• NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
• The local behaviour of turning points in nonlinear eigenvalue problems. Application to parameter identification.
• Numerical verification for solutions to partial differential equations
• An Existence and Inclusion Method for Two‐Point Boundary Value Problems with Turning Points

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)