Gravar-mail: The refinement and generalization of Hardy’s inequality in Sobolev space