Define the parabolic boundary ∂parΩT of the domain ΩT=[0,1]×(0,T] for T>0.
Let u=u(x,t) be a smooth real-valued function on ΩT which satisfies the inequality
ut−auxx+bux+cu⩽0
Assume that the coefficients a,b and c are smooth functions and that there exist positive constants m,M such that m⩽a⩽M everywhere, and c⩾0. Prove that
(x,t)∈ΩˉTmaxu(x,t)⩽(x,t)∈∂par ΩTmaxu+(x,t).
[Here u+=max{u,0} is the positive part of the function u.]
Consider a smooth real-valued function ϕ on ΩT such that
ϕt−ϕxx−(1−ϕ2)ϕ=0,ϕ(x,0)=f(x)
everywhere, and ϕ(0,t)=1=ϕ(1,t) for all t⩾0. Deduce from (∗) that if f(x)⩽1 for all x∈[0,1] then ϕ(x,t)⩽1 for all (x,t)∈ΩT. [Hint: Consider u=ϕ2−1 and compute ut−uxx⋅]