the conditions should be on B obiuosly.

but i dont know of what kind, and how to prove it is well posed

i dont must use the optimal B, but i need one that would be easy to prove

i guess that taking B to be unitare ( B=B*), will solve it, but i'm not sure