Almost sharp Sobolev trace inequalities in the unit ball under constraints

We establish three families of Sobolev trace inequalities of orders two and four in the unit ball under higher order moments constraint, and are able to construct smooth test functions to show all such inequalities are almost optimal. Some distinct feature in almost sharp examples between the fourth order and second order Sobolev trace inequalities is discovered. This has been neglected in higher order Sobolev inequality case in [21]. As a byproduct, the method of our construction can be used to show the sharpness of the generalized Lebedev-Milin inequality under constraints.