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

Takuya Tsuchiya, Mitsuhiro T. Nakao

Research output: Contribution to journalArticle

4 Citations (Scopus)

Abstract

Nonlinear boundary value problems (NBVPs in abbreviation) with parameters are called parametrized nonlinear boundary value problems. This paper studies numerical verification of solutions of parametrized NBVPs defined on one-dimensional bounded intervals. Around turning points the original problem is extended so that the extended problem has an invertible Fréchet derivative. Then, the usual procedure of numerical verification of solutions can be applied to the extended problem. A numerical example is given.

Original languageEnglish
Pages (from-to)357-372
Number of pages16
JournalJapan Journal of Industrial and Applied Mathematics
Volume14
Issue number3
DOIs
Publication statusPublished - 1997
Externally publishedYes

Fingerprint

Numerical Verification
Turning Point
Nonlinear Boundary Value Problems
Boundary value problems
Abbreviation
Derivatives
Invertible
Derivative
Numerical Examples
Interval

Keywords

  • Numerical verification of solutions
  • Parametrized nonlinear boundary value problems
  • Regular branches
  • Turning points

ASJC Scopus subject areas

  • Engineering(all)
  • Applied Mathematics

Cite this

Numerical verification of solutions of parametrized nonlinear boundary value problems with turning points. / Tsuchiya, Takuya; Nakao, Mitsuhiro T.

In: Japan Journal of Industrial and Applied Mathematics, Vol. 14, No. 3, 1997, p. 357-372.

Research output: Contribution to journalArticle

@article{5d143ec021fc47ecbacc4c6ac1e6d7eb,
title = "Numerical verification of solutions of parametrized nonlinear boundary value problems with turning points",
abstract = "Nonlinear boundary value problems (NBVPs in abbreviation) with parameters are called parametrized nonlinear boundary value problems. This paper studies numerical verification of solutions of parametrized NBVPs defined on one-dimensional bounded intervals. Around turning points the original problem is extended so that the extended problem has an invertible Fr{\'e}chet derivative. Then, the usual procedure of numerical verification of solutions can be applied to the extended problem. A numerical example is given.",
keywords = "Numerical verification of solutions, Parametrized nonlinear boundary value problems, Regular branches, Turning points",
author = "Takuya Tsuchiya and Nakao, {Mitsuhiro T.}",
year = "1997",
doi = "10.1007/BF03167389",
language = "English",
volume = "14",
pages = "357--372",
journal = "Japan Journal of Industrial and Applied Mathematics",
issn = "0916-7005",
publisher = "Springer Japan",
number = "3",

}

TY - JOUR

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

AU - Tsuchiya, Takuya

AU - Nakao, Mitsuhiro T.

PY - 1997

Y1 - 1997

N2 - Nonlinear boundary value problems (NBVPs in abbreviation) with parameters are called parametrized nonlinear boundary value problems. This paper studies numerical verification of solutions of parametrized NBVPs defined on one-dimensional bounded intervals. Around turning points the original problem is extended so that the extended problem has an invertible Fréchet derivative. Then, the usual procedure of numerical verification of solutions can be applied to the extended problem. A numerical example is given.

AB - Nonlinear boundary value problems (NBVPs in abbreviation) with parameters are called parametrized nonlinear boundary value problems. This paper studies numerical verification of solutions of parametrized NBVPs defined on one-dimensional bounded intervals. Around turning points the original problem is extended so that the extended problem has an invertible Fréchet derivative. Then, the usual procedure of numerical verification of solutions can be applied to the extended problem. A numerical example is given.

KW - Numerical verification of solutions

KW - Parametrized nonlinear boundary value problems

KW - Regular branches

KW - Turning points

UR - http://www.scopus.com/inward/record.url?scp=0003917525&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0003917525&partnerID=8YFLogxK

U2 - 10.1007/BF03167389

DO - 10.1007/BF03167389

M3 - Article

VL - 14

SP - 357

EP - 372

JO - Japan Journal of Industrial and Applied Mathematics

JF - Japan Journal of Industrial and Applied Mathematics

SN - 0916-7005

IS - 3

ER -