Yes. The classical trace inequality for Sobolev spaces that can be found in many textbooks. I will provide more details later.