Numerical verification for positive solutions of Allen–Cahn equation using sub- and super-solution method

This paper describes a numerical verification method for positive solutions of the Allen–Cahn equation on the basis of the suband 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.