Numerical verification for existence of a global-in-time solution to semilinear parabolic equations.
Makoto MizuguchiAkitoshi TakayasuTakayuki KuboShin'ichi OishiPublished in: J. Comput. Appl. Math. (2017)
Keyphrases
- numerical methods
- linear equations
- complementarity problems
- mathematical model
- closed form
- optimal solution
- numerical algorithms
- state space
- objective function
- numerical solution
- polynomial equations
- algebraic equations
- hamilton jacobi
- nonlinear equations
- finite difference
- closed form solutions
- exact solution
- differential equations
- solution quality
- partial differential equations
- model checking