Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2015/ii/paper-3/30e/b/solution

Let , which exists by periodicity and continuity. Fix any finite interval on which the classical solution is smooth. Choose with and consider the strictly positive decreasing barrier .
Initially . If this strict inequality first failed, compactness of the spatial circle would give a first contact with . At that contact, the spatial minimum of has , , and the first-contact condition gives . But the equation yields
a contradiction. Therefore throughout the interval. Letting gives on . Since was arbitrary, positivity persists for every time for which the assumed smooth solution exists. This argument is a parabolic comparison principle proved directly and does not assume uniform parabolicity before positivity has been established.

New to topics? Read the docs here!