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 sharpness 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 LebedevMilin inequality under constraints.

[1]  Meijun Zhu,et al.  Uniqueness theorems through the method of moving spheres , 1995 .

[2]  Eiichi Bannai.  On Some Spherical t-Designs , 1979, J. Comb. Theory, Ser. A.

[3]  Jeffrey S. Case,et al.  On Fractional GJMS Operators , 2014, 1406.1846.

[4]  H. Widom.  On an inequality of Osgood, Phillips and Sarnak , 1988 .

[5]  Scattering matrix in conformal geometry , 2001, math/0109089.

[6]  Thierry Aubin,et al.  Some Nonlinear Problems in Riemannian Geometry , 1998 .

[7]  $Q$-Curvature and Poincaré Metrics , 2001, math/0110271.

[8]  Pierre-Louis Lions,et al.  The concentration-compactness principle in the Calculus of Variations , 1985 .

[9]  S. Chang,et al.  Extremal metrics of zeta function determinants on 4-manifolds , 1995 .

[10]  Paul C. Yang,et al.  A perturbation result for prescribing mean curvature , 1998 .

[11]  Yuan Xu,et al.  Approximation Theory and Harmonic Analysis on Spheres and Balls , 2013 .

[12]  Peter Sarnak,et al.  Extremals of determinants of Laplacians , 1988 .

[13]  Zoubin Ghahramani,et al.  Variational Methods , 2014, Computer Vision, A Reference Guide.

[14]  J. Seidel,et al.  SPHERICAL CODES AND DESIGNS , 1991 .

[15]  Filippo Gazzola,et al.  Polyharmonic Boundary Value Problems: Positivity Preserving and Nonlinear Higher Order Elliptic Equations in Bounded Domains , 2010 .

[16]  I. P. Mysovskikh.  Proof of the minimality of the number of nodes in the cubature formula for a hypersphere , 1966 .

[17]  Gabriele Nebe,et al.  On tight spherical designs , 2012, 1201.1830.

[18]  Lei Zhang,et al.  Liouville-type theorems and harnack-type inequalities for semilinear elliptic equations , 2003 .

[19]  F. Gazzola,et al.  Polyharmonic Boundary Value Problems , 2010 .

[20]  William Beckner,et al.  Sharp Sobolev inequalities on the sphere and the Moser-Trudinger inequality , 1993 .

[21]  E. Stein,et al.  Introduction to Fourier Analysis on Euclidean Spaces. , 1971 .

[22]  Antonio G. Ache,et al.  Sobolev-Trace inequalities of order four , 2015, 1509.06069.

[23]  José F. Escobar,et al.  The Yamabe problem on manifolds with boundary , 1992 .

[24]  T. Aubin.  Equations differentielles non lineaires et probleme de Yamabe concernant la courbure scalaire , 1976 .

[25]  P. Lions.  The concentration-compactness principle in the Calculus of Variations , 1984 .

[26]  Jeffrey S. Case.  Boundary operators associated to the Paneitz operator , 2015, 1509.08342.