2020 年 7 巻 1 号 p. 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.