Let us consider the Laplacian operator in a domain $\Omega\subset R^n$, with Dirichlet boundary conditions.
For all $f\in L^2(\Omega),$ we denote by $S(t)f$ the solution of the equation $$ dy/dt=\Delta y,\; y(0)=f. $$
We say that $f\ge 0$ iff $f(x)\ge 0,\; \forall x\in \Omega.$
I have two questions :
- It follows from the principle maximum that
$ f\ge 0 \;$ implies $\; S(t)f\ge 0,\; \forall t\ge 0.$
Supose now that $\; S(t_1)f\ge 0,\;$ for some $t_1>0$. Do we have $f\ge0?$
- Let $f, g \in L^2(\Omega)$ such that $fg\ge0.$ Do we have $(S(t)f)(S(t)g)\ge 0,\;\forall t\ge 0?$