2020 Volume 7 Issue 1 Pages 136-150
This paper describes a numerical verification method for positive solutions of the Allen–Cahn equation on the basis of the sub- and super-solution method. Our application range extends to global-in-time solutions that converge or sufficiently approach to stable stationary solutions. The proposed verification method has almost the same memory requirements as the computation for obtaining an approximate solution.