Approximation by regular functions in Sobolev spaces arising from doubly elliptic problems