Sharp estimates for bubbling solutions of a fourth order mean field equation

Lin, Chang-Shou; Wei, Juncheng

Annali della Scuola Normale Superiore di Pisa - Classe di Scienze, Série 5, Tome 6 (2007) no. 4, pp. 599-630.

We consider a sequence of multi-bubble solutions $u_k$ of the following fourth order equation

$${\Delta }^2{u}_k={\rho }_k\frac{h\left(x\right)e^{u_k}}{{\int }_{\Omega }h{e}^{u_k}}\text{in}\Omega ,u_k=\Delta u_k=0\text{on}\partial \Omega ,(*)$$

where $h$ is a $C^{2,\beta }$ positive function, $\Omega$ is a bounded and smooth domain in ${ℝ}^4$, and ${\rho }_k$ is a constant such that ${\rho }_k\le C$. We show that (after extracting a subsequence), ${lim}_{k\to +\infty }{\rho }_k=32{\sigma }_{3}m$ for some positive integer $m\ge 1$, where ${\sigma }_3$ is the area of the unit sphere in ${ℝ}^4$. Furthermore, we obtain the following sharp estimates for ${\rho }_k$:

$$\begin{array}{cc}\hfill {\rho }_k-32{\sigma }_{3}m& =c_0\sum _{j=1}^m{ϵ}_{k,j}^2\left(\sum _{l\ne j}\Delta G_4(p_j,p_l)+\Delta R_4(p_j,p_j)+\frac{1}{32{\sigma }_3}\Delta logh\left(p_j\right)\right)\hfill \\ & +o\left(\sum _{j=1}^m{ϵ}_{k,j}^2\right)\hfill \end{array}$$

where $c_0>0$, $log\frac{64}{{ϵ}_{k,j}^4}=\underset{x\in B_{\delta }\left(p_j\right)}{max}{u}_k\left(x\right)-log\left(\underset{\Omega }{\int }h{e}^{u_k}\right)$ and $u_k\to 32{\sigma }_3\sum _{j=1}^m{G}_4(·,p_j)$ in $C_{\mathrm{loc}}^4(\Omega \setminus \{p_1,...,p_m\})$. This yields a bound of solutions as ${\rho }_k$ converges to $32{\sigma }_{3}m$ from below provided that

$$\sum _{j=1}^m\left(\sum _{l\ne j}\Delta G_4(p_j,p_l)+\Delta R_4(p_j,p_j)+\frac{1}{32{\sigma }_3}\Delta logh\left(p_j\right)\right)>0.$$

The analytic work of this paper is the first step toward computing the Leray-Schauder degree of solutions of equation $(*)$.

Classification : 35B40, 35B45, 35J40

[1] Adimurthi, F. Robert and M. Struwe, Concentration phenomena for Liuville equations in dimension four, J. Eur. Math. Soc. 8 (2006), 171-180. | MR

[2] H. Brezis and F. Merle, Uniform estimates and blow-up behavior for solutions of $-\Delta u=V\left(x\right)e^u$ i ntwo dimensions, Comm. Partial Differential Equation 16 (1991), 1223-1254. | MR | Zbl

[3] S. Baraket, M. Dammak, T. Ouni, and F. Pacard, Singular limits for 4-dimensional semilinear elliptic problems with exponential nonlinearity, Ann. Inst. H. Poincaré Anal. Non Linéaire 24 (2007), 875-895. | Numdam | MR | Zbl

[4] D. Bartolucci, C.-C. Chen, C.-S. Lin and G. Tarantello, Profile of blow-up solutions to mean field equations with singular data, Comm. Partial Differential Equations 29 (2004), 1241-1265. | MR | Zbl

[5] H. Brezis, Y. Y. Li and I. Shafrir, A $\sup +\inf$ inequality for some nonlinear elliptic equations involving exponential nonlinearities, J. Funct. Anal. 115 (1993), 344-358. | MR | Zbl

[6] S-Y A. Chang and P. C. Yang, Extremal metrics of zeta function determinants on 4-manifolds, Ann. of Math. 142 (1995), 171-212. | MR | Zbl

[7] C. C Chen and C. S. Lin, Sharp estimates for solutions of multi-bubbles in compact Riemann surface, Comm. Pure Appl. Math. 55 (2002), 728-771. | MR | Zbl

[8] C. C. Chen and C. S. Lin, Topological degree for a mean field equation on Riemann surfaces, Comm. Pure Appl. Math. 56 (2003), 1667-1727. | MR | Zbl

[9] O. Druet and F. Robert, Bubbling phenomena for fourth-order four-dimensional PDEs with exponential growth, Proc. Amer. Math. Soc. 134 (2006), 897-908. | MR | Zbl

[10] E. Hebey and F. Robert, Coercivity and Struwe's compactness for Paneitz type operators with constant coefficients, Cal. Var. Partial Differential Equations 13 (2001), 491-517. | MR | Zbl

[11] E. Hebey, F. Robert and Y. Wen, Compactness and global estimates for a fourth order equation with critical Sobolev growth arising from conformal geometry, Comm. Contemp. Math. 8 (2006), 9-65. | MR | Zbl

[12] Y. Y. Li, Harnack inequality: the method of moving planes, Comm. Math. Phys. 200 (1999), 421-444. | MR | Zbl

[13] Y. Y. Li and I. Shafrir, Blow-up analysis for solutions of $-\Delta u=V{e}^u$ in dimension two, Indiana Univ. Math. J. 43 (1994), 1255-1270. | MR | Zbl

[14] C. S. Lin, Locating the peaks of solutions to a Neumann problem via the maximum principle, I: The Neumann problem, Comm. Pure Appl. Math. 56 (2001), 1065-1095. | MR | Zbl

[15] C. S. Lin, A classification of solutions of a conformally invariant fourth order equation in $R^4$, Comment. Math. Helv. 73 (1998), 206-231. | MR | Zbl

[16] C. S. Lin and J.-C. Wei, Locating the peaks of solutions via the maximum principle. II. A local version of the method of moving planes, Comm. Pure Appl. Math. 56 (2003), 784-809. | MR | Zbl

[17] C. S. Lin, L.-P. Wang and J.-C. Wei, Topological degree for 4-dimensional mean field equations, submitted.

[18] L. Ma and J. Wei, Convergence for a Liouville equation, Comment. Math. Helv. 76 (2001), 506-514. | MR | Zbl

[19] A. Malchiodi, Compactness of solutions to some geometric fourth-order equations, J. Reine Angew. Math. 594 (2006), 137-174. | MR | Zbl

[20] A. Malchiodi, Morse theory and a scalar field equation on compact surfaces, preprint. | MR | Zbl

[21] K. Nagasaki and T. Suzuki, Asymptotic analysis for two-dimensional elliptic eigenvalue problems with exponentially dominated nonlinearity, Asymptot. Anal. 3 (1990), 173-188. | MR | Zbl

[22] J. C. Wei and X. W. Xu, Classification of solutions of higher order conformally invariant equations, Math. Ann. 313 (1999), 207-228. | MR | Zbl

[23] J. Wei, Asymptotic behavior of a nonlinear fourth order eigenvalue problem, Comm. Partial Differential Equations 21 (1996), 1451-1467. | MR | Zbl