Sobolev embeddings and divergence operator | Synapse