Completeness of eigenfunctions and eigenfunction expansions in context of PDEs, Higher-order elliptic equations