Extremal Functions For A Sharp Moser-Trudinger Inequality

Yunyan Yang
DOI: https://doi.org/10.1142/S0129167X06003503
2006-01-01
International Journal of Mathematics
Abstract:Let Omega be a bounded smooth domain in R-2, and lambda(1) (Omega) the first eigenvalue of the Laplacian with Dirichlet boundary condition in Omega. Then Adimurthi and Druet show that for any 0 <=alpha<lambda(1)(Omega).sup(u is an element of H01 (Omega), parallel to del u parallel to 2=1) integral(Omega) e (4 pi(1+alpha parallel to u parallel to 22)u2)dx < +infinity.We prove in this paper that there exist extremal functions for the above inequality. In other words, we show thatsup(u is an element of H01(Omega), parallel to del parallel to 2 = 1) integral(Omega) e (4 pi(1+alpha parallel to u parallel to 22)u2)dxis attained for any 0 <= alpha < lambda(1) (Omega).
What problem does this paper attempt to address?