Compactness of weighted Sobolev trace operators and non-linear Steklov problems

We prove the compactness of weighted Sobolev trace operators in outward cuspidal domains by using composition operators on Sobolev spaces. This result allows us to formulate the non-linear Steklov problem in outward cuspidal domains in a correct functional setting and to establish the existence of its non-trivial solution.