I am having trouble with the last step of the proof of the weak maximum principle for the heat equation, as found in
Salsa, Sandro, Partial differential equations in action. From modelling to theory
th. 2.4 pp. 36-38.
Here is a sketch of the proof.
Let $w_t - D\Delta w = q \leq 0$ on the space-time cylinder $Q_T$ with parabolic boundary $\partial_p Q_T$ and let $0 < \varepsilon < T$.
Defining the auxiliary function $u = w - \varepsilon t \leq w$, we have $$u_t - D\Delta u = q-\varepsilon < 0$$ and we prove that $$ \max_{\overline{Q}_{T-\varepsilon}} u = \max_{\partial_p Q_{T-\varepsilon}} u$$ by a calculus argument: the Hessian is negative semidefinite and the time derivative is non-negative at the maximum, leading to a contradiction.
Moreover we prove that $$ \max_{\overline{Q}_{T-\varepsilon}} w \leq \max_{\partial_p Q_T} w +\varepsilon T $$ essentially by subset properties w.r.t. maxima and the definition of $u$.
So far, so good.
Here comes the tricky part, at least for me. It goes
Since $w$ is continuous in $\overline{Q}_{T-\varepsilon}$ we deduce that $$ \max_{\overline{Q}_{T-\varepsilon}} w \to \max_{\overline{Q}_T} w \quad\text{as}\; \varepsilon\to 0 $$
therefore in the limit above we get $$ \max_{\overline{Q}_T} w \leq \max_{\partial_p Q_T} w $$ which concludes the proof since the opposite inequality is true for subsets.
My comments
- $w$ is not only continuous, but also uniformly continuous on the compact $\overline{Q}_T$ and all its subsets, by Heine-Cantor theorem, but I cannot figure out how to use this property with the maxima.
I have also explored the possibility that they meant 'uniformly convergent' instead of 'continuous', but this seems only applicable to other proof strategies, in which only $ \overline{Q}_T $ and not $ \overline{Q}_{T-\varepsilon} $ is used, like for instance in Evans (1998) ch. 7 th. 8. For that line of reasoning, I am having trouble applying the triangle inequality to prove that $$ \max_{\overline{Q}_T} u \to \max_{\overline{Q}_T} w \quad\text{as}\; \varepsilon\to 0 $$ although this is slightly off topic.
For $\varepsilon\to 0$ the sets $\overline{Q}_{T-\varepsilon}$ are increasing, therefore we can build a corresponding sequence of maxima which is increasing and so converges to its supremum over $\varepsilon$, but here again how can I prove that $$ \sup_{\varepsilon>0} \max_{\overline{Q}_{T-\varepsilon}} w = \max_{\overline{Q}_T} w$$
Any help will be greatly appreciated.