On the existence of an extremal function in critical Sobolev trace embedding theorem

Sufficient conditions for the existence of extremal functions in the trace Sobolev inequality and the trace Sobolev–Poincaré inequality are established. It is shown that some of these conditions are sharp.