“…It follows from () and the similar arguments as in References
49; Chaps. 5,6 and
50 that () has a unique weak solution
. Step 3: To prove that the domain
is dense in
, it is a direct conclusion for maximal monotone operator in corollary 2.4.3, Reference 51 applying to the operator
.…”