To show the well-posedness of Problem REF , it is sufficient to show conditions (REF ) and (REF ).
Thanks to the properties of the bilinear forms shown in Proposition REF , the following proposition holds.
The following two results are taken from [1]}, appearing as Lemmas 4.3 and 4.4.
To prove the results in our setting, one is required to make a minor notational adjustment to account for the fact we are working with bilinear forms, rather than operators.
