--- title: Adams–Moser–Trudinger Inequalities url: https://www.emergentmind.com/topics/adams-moser-trudinger-inequalities type: topic --- # Adams–Moser–Trudinger Inequalities The Adams–Moser–Trudinger inequalities constitute the sharp borderline for exponential-type integrability in critical and higher-order Sobolev spaces, extending the classical Sobolev embedding and Trudinger–Moser inequalities. They form a foundational analytic tool for the study of extremal behavior in variational problems, sharp regularity of PDEs, and geometric analysis in a variety of settings, including Euclidean (ℝⁿ), manifold, weighted, product, and non-Euclidean spaces. The theory is marked by explicit threshold phenomena for the existence of extremals, symmetry results via rearrangement techniques, and a delicate balance between exponential growth and norm constraints. ## 1. Sharp Forms of the Inequalities Fundamental cases of the Adams–Moser–Trudinger inequalities are established in both first-order and higher-order Sobolev spaces. In the classical case, the Moser–Trudinger inequality for the critical Sobolev space $W^{1,n}(\Omega)$ for $n\geq2$, $\Omega\subset\mathbb{R}^n$ bounded, provides optimal exponential integrability: \[ \sup_{u\in W_0^{1,n}(\Omega),\ \|\nabla u\|_{L^n}\leq1} \int_{\Omega} \exp\bigl(\alpha |u|^{n/(n-1)}\bigr)\,dx<\infty \] if and only if $\alpha\leq \alpha_n := n\,|S^{n-1}|^{1/(n-1)}$ [1504.04858]. The Adams inequality extends to higher-order spaces. In the prototypical second-order case ($m=2, n=4$), the sharp inequality is \[ \sup_{u\in W^{2,2}(\mathbb{R}^4),\ \|u\|_{W^{2,2}}\leq1} \int_{\mathbb{R}^4} \left( \exp\bigl(32\pi^2|u|^2\bigr) - 1 \right) dx < \infty \] with $32\pi^2$ being the sharp constant [1105.1528]. On bounded domains $\Omega\subset\mathbb{R}^n$, the critical exponent and sharp constants are explicitly determined from the geometry and order $m$ [1711.00892]. Weighted, singular, and exact growth extensions are also available, incorporating weights such as $|x|^{-\beta}$ and more general Orlicz classes [1112.6431, 2211.02991]. ## 2. Existence, Nonexistence, and Threshold Phenomena for Extremals A major advance is the identification of sharp threshold phenomena in the existence of extremals for these inequalities in the Euclidean setting. Consider the “critical Adams inequality” on $\mathbb{R}^4$: \[ S(\alpha) = \sup_{\|u\|_{H^2}=1} \int_{\mathbb{R}^4} \left( e^{32\pi^2|u|^2} - 1 - \alpha |u|^2 \right) dx \] where $\|u\|_{H^2}^2 = \int_{\mathbb{R}^4}(|\Delta u|^2 + |u|^2)dx$. For $\alpha < 32\pi^2$, $S(\alpha)$ is finite. The existence of maximizers (extremals) depends on whether $32\pi^2-\alpha$ is below an explicitly computed threshold $\alpha^*$. For $32\pi^2-\alpha < \alpha^*$, $S(\alpha)$ is attained; for $32\pi^2-\alpha > \alpha^*$, there is no extremal and $S(\alpha)=32\pi^2-\alpha$ [1812.00413]. The threshold is estimated sharply in terms of the best Gagliardo–Nirenberg constant: \[ \alpha^* \geq \frac{(32\pi^2)^2}{2} B_2 \] with $B_2 \geq \frac{1}{24\pi^2}$. This transition is mirrored in the first-order Trudinger–Moser case and for higher- and fractional-order versions, where vanishing and concentration (blow-up) phenomena regulate attainability [2505.24297]. ## 3. Symmetry, Rearrangement, and Analytical Structure Extremal functions for the Adams–Moser–Trudinger inequalities exhibit specific structural properties; for instance, every maximizer (assuming existence) is real-valued, nonnegative, and up to translation, radially symmetric. This is rigorously achieved using sharp Fourier rearrangement principles: under such symmetrization, the Laplacian (or higher gradient norms) do not increase, enforcing symmetry of extremals. These techniques, which are essential in both existence theory and a priori analysis, avoid reliance on classical rearrangement or Pólya–Szegő inequalities, particularly on the full space $\mathbb{R}^n$ where such tools are unavailable [1812.00413]. Additionally, compactness and concentration–compactness principles play a critical role in characterizing the lack of compactness due to translation invariance (bubbling and vanishing), distinguished from dichotomy by symmetrization arguments [1812.00413, 2505.24297]. ## 4. Generalizations: Domains, Singular, and Product Spaces The theory encompasses sharp inequalities on unbounded domains, with boundary, product spaces, and for singular weights. For example, in $W^{2,2}(\mathbb{R}^4)$ with a singular weight $|x|^{-\beta}$: \[ \sup_{u\in W^{2,2}(\mathbb{R}^4),\, \|u\|_{W^{2,2}}\leq 1} \int_{\mathbb{R}^4} \left( e^{\alpha u^2} - 1 \right) |x|^{-\beta}\,dx < \infty \] holds for $\alpha \leq 32\pi^2 (1-\beta/4)$ and this is sharp [1112.6431, 1105.1528]. Product versions (e.g., intersections of two Sobolev spaces) reveal new threshold phenomena and have applications to systems of PDEs (e.g., Kirchhoff–Choquard type equations) [1912.03512]. On noncompact Riemannian manifolds, Heisenberg groups, hyperbolic spaces, or general metric-measure spaces, the critical threshold is modulated by geometric parameters (injectivity radius, curvature), with the sharp constant corresponding to the Euclidean value under certain geometric conditions [1606.07094, 2408.06989, 2211.02991, 1112.0724]. Fractional Adams–Moser–Trudinger inequalities hold in Bessel potential and Lorentz spaces, further broadening the analytic framework [1506.00489, 1702.02078, 1504.04678, 1906.07784]. ## 5. Analytical Techniques and Proof Strategies The analysis leverages advanced symmetrization (Fourier or Schwarz), blow-up profile analysis, and variational methods. Central technical ingredients include: - **Polyharmonic truncation**: Replacing a function near a candidate blow-up point by an $m$-harmonic function matching data on annuli, preserving Sobolev norms but removing the blow-up core. This enables precise capacity–energy comparison and is central to recent proofs of extremal existence for higher-order cases [1812.00413, 1711.00892, 2505.24297]. - **Optimal Gagliardo–Nirenberg constants**: The optimal constants for the corresponding power-type inequalities control the threshold for attainability and facilitate the expansion of the exponential [1812.00413, 2505.24297]. - **Blow-up and concentration–compactness**: Maximizing (or Palais–Smale) sequences either converge to extremals, vanish (energy escapes to infinity), or concentrate (“bubble”) at points, captured through scaled rescalings and matched expansions with explicit bubbles solving limit Liouville-type equations [1812.00413, 1711.00892, 2505.24297]. - **Truncation-on-level-sets and Poincaré inequalities**: These tools are used to extend local inequalities to the global settings on infinite-volume domains [2408.06989, 2211.02991]. ## 6. Applications to PDEs and Further Directions The Adams–Moser–Trudinger framework is essential for proving existence and multiplicity of solutions for elliptic PDEs with exponential or critical nonlinearities, particularly in fourth-order and Kirchhoff-type equations, often under variational/mountain-pass schemes–the sharp inequalities directly control the nonlinear growth permitted by the energy functional [1105.1528, 1912.03512, 2211.02991]. Open problems include extending sharp threshold phenomena to higher even dimension $n=2m>4$, fractional-order Sobolev spaces, and general non-Euclidean settings, as well as refining asymptotics of threshold constants and sharpness for more general classes of inequalities [1812.00413, 1506.00489, 2211.02991]. ## 7. Tabular Summary of Key Properties | Setting / Space | Sharp Exponential Constant | Threshold Structure | |----------------------------------------|---------------------------------------------------|-------------------------------------------| | $W^{1,n}(\mathbb{R}^n)$ | $\alpha_n = n|S^{n-1}|^{1/(n-1)}$ | Threshold for extremal existence | | $W^{2,2}(\mathbb{R}^4)$ | $32\pi^2$ | $S(\alpha)$ extremals iff $32\pi^2-\alpha<\alpha^*$ | | $W^{m,n/m}(\mathbb{R}^n)$ | Adams constant $B(n,m)$ (explicit) | Subcritical/critical dichotomy | | Weighted/Singular (e.g., $|x|^{-\beta}$) | $(1-\beta/n)$ times unweighted constant | Damped critical constant | | Product Spaces (e.g. $W_0^{m,n/m}\!\times\!W_0^{m,n/m}$) | $2^{n/(n-m)}\!S_{n,m}$ | Joint norm governs threshold | | Manifold / Non-Euclidean | Geometry-dependent, proportional to Euclidean | Local-to-global; sharpness under geometric hypotheses | The theory of Adams–Moser–Trudinger inequalities is thus characterized by a deep interplay between analysis, geometry, and the underlying functional inequalities, with a robust structure of symmetry, concentration, and sharp partition of attainability regimes [1812.00413, 2505.24297, 1112.0724, 1711.00892, 2408.06989, 1606.07094, 2211.02991]. Source: https://www.emergentmind.com/topics/adams-moser-trudinger-inequalities