Moser-Trudinger inequalities: from local to global

Luigi Fontana,Carlo Morpurgo,Liuyu Qin

DOI: https://doi.org/10.1007/s10231-024-01481-9

2024-08-13

Abstract:Given a general complete Riemannian manifold $M$, we introduce the concept of "local Moser-Trudinger inequality on $W^{1,n}(M)$". We show how the validity of the Moser-Trudinger inequality can be extended from a local to a global scale under additional assumptions: either by assuming the validity of the Poincaré inequality, or by imposing a stronger norm condition. We apply these results to Hadamard manifolds. The technique is general enough to be applicable also in sub-Riemannian settings, such as the Heisenberg group.

Analysis of PDEs

What problem does this paper attempt to address?

The main problem that this paper attempts to solve is to explore the generalization problem of the Moser - Trudinger inequality from local to global. Specifically, the authors introduced the concept of "local Moser - Trudinger inequality" and showed how to extend this inequality from local to global under certain additional conditions (such as the validity of the Poincaré inequality or stronger norm conditions).

### Specific problem description

1. **Definition of local Moser - Trudinger inequality**:
- Given a complete Riemann manifold \(M\), the local Moser - Trudinger inequality means that there exist constants \(\tau, C_0>0\) such that for any bounded measurable set \(E\subseteq M\) with \(\mu(E)\leq\tau\), the following inequality holds:
\[
\int_E e^{\gamma_n\frac{|u|^{\frac{n}{n - 1}}}{\|\nabla u\|_n}}d\mu\leq C_0
\]
where \(\gamma_n = n\omega_{n - 1}^{1/(n - 1)}\), and \(\omega_{n - 1}\) is the surface area of the standard unit sphere \(S^{n - 1}\).

2. **Extension from local to global**:
- The authors showed that under the condition that the Poincaré inequality is satisfied or stronger norm conditions are met, the local Moser - Trudinger inequality can be extended to global.
- Apply these results to Hadamard manifolds and prove that these techniques are also applicable to sub - Riemann geometric settings, such as the Heisenberg group.

3. **Key assumptions and conditions**:
- The validity of the Poincaré inequality.
- Stronger norm conditions.
- Geometric properties of the manifold, such as curvature conditions.

4. **Main conclusions**:
- On a manifold that satisfies the local Moser - Trudinger inequality, if the Poincaré inequality holds, then the global Moser - Trudinger inequality also holds.
- For specific types of manifolds (such as Hadamard manifolds), even in the absence of a boundary, the validity of the global Moser - Trudinger inequality can be proved.

### Summary of mathematical formulas

- **Moser - Trudinger inequality**:
\[
\int_E e^{\gamma_n\frac{|u|^{\frac{n}{n - 1}}}{\|\nabla u\|_n}}d\mu\leq C_0
\]
where \(\gamma_n = n\omega_{n - 1}^{1/(n - 1)}\), and \(\omega_{n - 1}\) is the surface area of the standard unit sphere \(S^{n - 1}\).

- **Poincaré inequality**:
\[
\|u\|_n\leq C_\Omega\|\nabla u\|_n
\]

- **Global Moser - Trudinger inequality**:
\[
\int_\Omega\exp\left(\gamma_n\frac{|u|^{\frac{n}{n - 1}}}{\|\nabla u\|_n}\right)d\mu\leq C_\Omega
\]

Through these studies, the authors not only solved the generalization problem of the Moser - Trudinger inequality from local to global, but also provided a theoretical basis and technical means for follow - up research.