“…The existence and uniqueness of discontinuous Galerkin approximations can be proved easily in case k = 0, 1. For the case k > 1, the existence and (local) uniqueness can be proved around the continuous (smooth) solution u, v (in an appropriate "parabolic" cube), provided that the semi-linear term satisfies suitable continuity and monotonicity assumptions which allow the application of standard fixed point theorems (see, e.g., [2,15,40]). Existence of discrete schemes of arbitrary order k under minimal regularity assumptions on the data can be proved analogously via fixed point theorems, while uniqueness follows by standard arguments upon deriving stability estimates (see the subsequent section).…”