On solvability of the Neumann problem in domains with peak

The Neumann problem is considered for a quasilinear elliptic equation of second order in a multi-dimensional domain with the vertex of an isolated peak on the boundary. Under certain assumptions, the study of the solvability of this problem is reduced to description of the dual to the Sobolev space $W^1_p(\Omega)$ or (in the case of a homogeneous equation with nonhomogeneous boundary condition) to the boundary trace space $TW^1_p(\Omega)$. This description involves Sobolev classes with negative smoothness exponent on Lipschitz domains or Lipschitz surfaces, and also some weighted classes of functions on the interval (0,1) of the real line. Main results are proved on the basis of the known explicit description of the spaces $TW^1_p(\Omega)$ on a domain with an outward or inward cusp on the boundary.