Let $H$ be the one dimensional heat kernel, i.e the function $H(t,x,y)$ such that the Dirichlet problem: $$ \begin{cases} u_t - u_{xx} = 0 & x\in(0,1) , t \in (0,\infty) \\ u(t,1) = u(t,0) =0 & t>0 \\ u(0,x) = f(x) \end{cases} $$ is solved by: $$ u(t,x) = \int_0^1 f(y) H(t,x,y) \mathrm{d}y $$ Prove that:
- $H$ is nonnegative
- The integral of $H$ with respect to $y$ is non-increasing with respect to $t$.
I believe that these properties of $H$ can be derived without using the explicit (Fourier sine series) representation of $H$. I am not sure however how to derive the first (I have not started on the second). Would anyone be able to provide a hint (I am not looking for a complete answer, at least not right now). I know that $H$ itself solves the heat equation, but I am not entirely sure how to use this property, as taking derivatives of $H$ without using the explicit representation seems to be an arduous task.
For the second part: we have $H_t = H_{yy}$ so we have that $\frac{d}{dt}\int_{0}^{1}H = H_y(x,1,t)-H_y(x,0,t)$. Now, since $H(x,1,t)=H(x,0,t)=0$ and $H$ is non-negative, you have minimums at $y=1,y=0$. Thus, $H_y(x,1,t) \leq 0$ and $H_y(x,0,t)\geq 0$. (If you don't believe this, look at $f(x) = -x(1-x)$ as an example.) The result follows.