Embeddings of weighted Sobolev spaces and a weighted fourth order elliptic equation

New embeddings of weighted Sobolev spaces are established. Using such embeddings, we obtain the existence and regularity of positive solutions with Navier boundary value problems for a weighted fourth order elliptic equation. We also obtain Liouville type results for the related equation. Some problems are still open.