This is an old revision of the document!
Let's show uniqueness of solutions to the heat equation with Dirichlet boundary conditions.
Let u, v be distinct solutions and set w=u−v. Then w satisfies wt=κwxx,w(0,t)=T0−T0=0,w(L,t)=0,w(x,0)=0,
Essentially this is a heat problem where the system begins at zero heat, has BCs with zero heat everywhere; it is sensible that the only solution is trivial. To prove it, we can manipulate the equation in the following way.
wt=κwxx⟹wwt=κwwxx⟹∂∂t12w2=κwwxx⟹∂∂t∫L012w2dx=κ∫L0wwxxdx
Let's call the quantity E(t)=∫L012w2dx, the energy.
Now use the fact that ∂x(wwx)=w2x+wwxx to re-write the RHS. We then get after integrating once, E′(t)=κwwx|L0−κ∫L0w2xdx=−κ∫L0w2xdx where the second equality occurs because w=0 at x=0 and x=L. So in the end, we have the fact that E′(t)=−κ∫L0w2xdx≤0, so the energy is always decreasing. But note that E′(0)=0 since w(x,0)=0. Finally, note that E(t) is always ≥0 by its form (the integral of a squared quantity). So the energy is always decreasing, begins from zero, and can never be negative. Therefore E(t)≡0 for all time.