duality pairing sobolev