divergence-free scalar field qunatization