An improved Moser-Trudinger inequality involving the first non-zero Neumann eigenvalue with mean value zero in $\mathbf R^2$

Abstract

Let $Ω$ be a smooth bounded domain in $\mathbf R^2$ and $λ^{\mathsf N} (Ω)$ the first non-zero Neumann eigenvalue of the operator $-Δ$ on $Ω$. In this paper, for any $γ\in [0, λ^{\mathsf N} (Ω) )$, we establish the following improved Moser-Trudinger inequality \[ \sup_{u} \int_Ω e^{2πu^2} dx < +\infty \] for arbitrary functions $u$ in $H^1(Ω)$ satisfying $\int_Ωu dx =0$ and $\|\nabla u\|_2^2 -α\|u\|_2^2 \leqslant 1$. Furthermore, this supremum is attained by some function $u^*\in H^1(Ω)$. This strengthens the results of Chang and Yang (J. Differential Geom. 27 (1988) 259-296) and of Lu and Yang (Nonlinear Anal. 70 (2009) 2992-3001).