Existence and Non-existence of Extremals for Critical Adams Inequality in Any Even Dimension

Chen Lu,Lu Guozhen,Zhu Maochun

DOI: https://doi.org/10.1007/s12220-022-00985-1

2022-01-01

Abstract:Recently, the authors of the current paper established the existence and non-existence of extremals of the second order critical Adams inequalities in $${\mathbb {R}}^4$$ (see Adv Math 368:107143 (2020)). One of the crucial elements used in [8] is the accurate upper-bound of the following concentration limit as $$\beta _k\rightarrow 32\pi ^2$$ : $$\begin{aligned}\underset{k\rightarrow +\infty }{\lim \sup }\int _{{\mathbb {R}}^4}\left( \exp \left( \beta _{k}u_{k}^{2}\right) -1-\alpha u_{k}^{2}\right) \mathrm{{d}}x\le \frac{\pi ^{2}}{6}\exp \left( \frac{5}{3}+32\pi ^{2}A_{0}\right) , \end{aligned}$$ where $$u_k$$ is the maximizing sequence corresponding to the critical Adams inequality on $${\mathbb {R}}^4$$ . This was obtained through finding the precise expression of the optimal bi-harmonic truncation which generates the smallest energy, where $$A_{0}$$ is the value at 0 of the trace of the Green function’s regular part for the operator $$\Delta ^{2}+1$$ . However, such a precise expression for the optimal poly-harmonic truncation $$u_k^{\delta }(x)$$ in any even dimension space $${\mathbb {R}}^{2m}$$ is still unknown. See formulas (3.24) and (3.25). Furthermore, it is also a difficult task to obtain the accurate estimate for the Dirichlet energy of $$u_k(x)-u_k^{\delta }(x)$$ on small ball $$B_{\delta }(x_k)$$ : $$\begin{aligned} \int \nolimits _{B_{\delta }\left( x_{k}\right) }\left| \Delta ^{\frac{m}{2}}\left( u_{k}\left( x\right) -u_{k}^{\delta }\left( x\right) \right) \right| ^{2}\mathrm{{d}}x \end{aligned}$$ in the case of the Adams inequality of higher order derivative m with $$m>2$$ (see 3.29). This can be computed explicitly by direct computation in the case $$m=1$$ or $$m=2$$ , but much more difficult to do for $$m>2$$ . These obstructions will be overcome in the present paper by using some novel methods. As a result, we will establish the existence and non-existence of extremal functions for the m-th order Adams inequality in any even dimensional space $${\mathbb {R}}^{2m}$$ which was left open for $$m>2$$ in [8]. Our proofs are partly based on the sharp Fourier rearrangement inequality, the blow-up analysis of the Euler-Lagrange equations for the critical Adams functional, Boggio’s formula for the Green function of $$\Delta ^{m}$$ in the ball $$B_R$$ and careful and delicate analysis of the optimal poly-harmonic truncations.