On an elliptic boundary value problem with critical exponent

We study a nonlinear critical second-order PDE with zero Dirichlet boundary condition. We prove existence and compactness results for the equation by using Bahri's method of critical points at infinity.