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

## TL;DR

This paper proves a new version of the Moser-Trudinger inequality involving the first non-zero Neumann eigenvalue in two dimensions, establishing boundedness and existence of extremal functions for certain function classes.

## Contribution

It introduces an improved inequality that incorporates the Neumann eigenvalue and proves the existence of extremal functions, extending prior results by Chang, Yang, Lu, and Yang.

## Key findings

- The supremum of the exponential integral is finite under the new conditions.
- Existence of extremal functions achieving the supremum.
- Strengthening of previous inequalities by incorporating the Neumann eigenvalue.

## Abstract

Let $\Omega$ be a smooth bounded domain in $\mathbf R^2$ and $\lambda^{\mathsf N} (\Omega)$ the first non-zero Neumann eigenvalue of the operator $-\Delta$ on $\Omega$. In this paper, for any $\gamma \in [0, \lambda^{\mathsf N} (\Omega) )$, we establish the following improved Moser-Trudinger inequality \[ \sup_{u} \int_{\Omega} e^{2\pi u^2} dx < +\infty \] for arbitrary functions $u$ in $H^1(\Omega)$ satisfying $\int_\Omega u dx =0$ and $\|\nabla u\|_2^2 -\alpha \|u\|_2^2 \leqslant 1$. Furthermore, this supremum is attained by some function $u^*\in H^1(\Omega)$. 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).