Paper 3, Section II, C

Partial Differential Equations | Part II, 2013

Define the parabolic boundary ∂parΩT\partial_{p a r} \Omega_{T} of the domain ΩT=[0,1]×(0,T]\Omega_{T}=[0,1] \times(0, T] for T>0T>0.

Let u=u(x,t)u=u(x, t) be a smooth real-valued function on ΩT\Omega_{T} which satisfies the inequality

ut−auxx+bux+cu⩽0u_{t}-a u_{x x}+b u_{x}+c u \leqslant 0

Assume that the coefficients a,ba, b and cc are smooth functions and that there exist positive constants m,Mm, M such that m⩽a⩽Mm \leqslant a \leqslant M everywhere, and c⩾0c \geqslant 0. Prove that

max⁡(x,t)∈ΩˉTu(x,t)⩽max⁡(x,t)∈∂par ΩTu+(x,t).\max _{(x, t) \in \bar{\Omega}_{T}} u(x, t) \leqslant \max _{(x, t) \in \partial_{\text {par }} \Omega_{T}} u^{+}(x, t) .

[Here u+=max⁡{u,0}u^{+}=\max \{u, 0\} is the positive part of the function uu.]

Consider a smooth real-valued function ϕ\phi on ΩT\Omega_{T} such that

ϕt−ϕxx−(1−ϕ2)ϕ=0,ϕ(x,0)=f(x)\phi_{t}-\phi_{x x}-\left(1-\phi^{2}\right) \phi=0, \quad \phi(x, 0)=f(x)

everywhere, and ϕ(0,t)=1=ϕ(1,t)\phi(0, t)=1=\phi(1, t) for all t⩾0t \geqslant 0. Deduce from (∗)(*) that if f(x)⩽1f(x) \leqslant 1 for all x∈[0,1]x \in[0,1] then ϕ(x,t)⩽1\phi(x, t) \leqslant 1 for all (x,t)∈ΩT(x, t) \in \Omega_{T}. [Hint: Consider u=ϕ2−1u=\phi^{2}-1 and compute ut−uxx⋅]\left.u_{t}-u_{x x} \cdot\right]

Typos? Please submit corrections to this page on GitHub.