Under condition ( Generic parabolic PDE setup ) the problem ( Discontinuous Galerkin time-discretization ) has a unique solution on for given and .
The class is a finite dimensional space. Hence, we only need to prove uniqueness.
The homogenous problem takes the form Assume that is a solution of . Set then and Thus All terms in the last relationship are non negative. Therefore