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