Asymptotic expansions for conformal scalar curvature equations near isolated singularities

Xusheng Du,Hui Yang
2024-02-26
Abstract:In this paper, we study asymptotic expansions of positive solutions of the conformal scalar curvature equation $$ - \Delta u = K(x) u^\frac{n + 2}{n - 2} ~~~~~~ \textmd{in} ~ B_1 \setminus \{ 0 \} $$ with an isolated singularity at the origin. Under certain flatness conditions on $K$, we establish a higher-order expansion of solutions near the origin. In particular, we give the refined second-order asymptotic expansion of solutions when $n \geq 6$. Moreover, we also obtain an arbitrary-order expansion of singular positive solutions of the anisotropic elliptic equation $$ - \,{\rm div} (|x|^{- 2 a} \nabla u) = |x|^{- b p} u^{p - 1} ~~~~~~ \textmd{in} ~ B_1 \setminus \{ 0 \}, $$ where $0 \leq a < \frac{n - 2}{2}$, $a \leq b < a + 1$ and $p = \frac{2 n}{n - 2 + 2 (b - a)}$. This equation is arising from the celebrated Caffarelli-Kohn-Nirenberg inequality.
Analysis of PDEs
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the asymptotic expansion of solutions to the conformal scalar curvature equation with isolated singularities. Specifically, the author studies the asymptotic behavior of positive solutions of the conformal scalar curvature equation of the following form in the unit ball \(B_1\) with the origin removed: \[ -\Delta u = K(x) u^{\frac{n + 2}{n - 2}} \quad \text{in} \quad B_1\setminus\{0\} \] where \(K(x)\) is a positive function defined on \(B_1\) and has certain flatness conditions near the origin. The main goal of the paper is to establish high - order asymptotic expansion formulas for these solutions near the origin under specific conditions. In addition, the author also studies the arbitrary - order asymptotic expansion of singular positive solutions of the following anisotropic elliptic equation: \[ -\text{div}(|x|^{-2a}\nabla u)=|x|^{-bp}u^{p - 1}\quad \text{in}\quad B_1\setminus\{0\} \] where \(0\leq a<\frac{n - 2}{2}\), \(a\leq b < a + 1\), and \(p=\frac{2n}{n - 2}+2(b - a)\). This equation is derived from the well - known Caffarelli - Kohn - Nirenberg inequality. ### Main problems and methods 1. **Asymptotic expansion of the conformal scalar curvature equation**: - Study the asymptotic behavior of positive solutions \(u\) with isolated singularities near the origin. - Establish high - order asymptotic expansion formulas for solutions when \(K(x)\) satisfies certain flatness conditions. 2. **Asymptotic expansion of the anisotropic elliptic equation**: - Study the arbitrary - order asymptotic expansion of singular positive solutions of the above anisotropic elliptic equation. ### Key results - For the conformal scalar curvature equation, when \(n\geq6\), the author gives the second - order asymptotic expansion of solutions. - For the anisotropic elliptic equation, the author establishes the arbitrary - order asymptotic expansion of singular positive solutions. ### Methodology - Use the linearized operator to analyze the behavior of solutions near Fowler solutions. - Prove the existence of solutions by the contraction mapping principle. - Use the classical Floquet theory and eigenvalue decomposition techniques to deal with the linearized operator. ### Formula display For example, for the conformal scalar curvature equation, the asymptotic expansion of solutions can be expressed as: \[ u(x)=u_0(|x|)\left(1 + O(|x|^{\gamma})\right)\quad \text{as}\quad |x|\to0^+ \] where \(u_0\) is a radial singular solution satisfying: \[ -\Delta u_0 = K(0)u_0^{\frac{n + 2}{n - 2}}, \quad u_0>0\quad \text{in}\quad \mathbb{R}^n\setminus\{0\}, \quad \lim_{|x|\to0^+}u_0(x)=+\infty \] For higher - order expansions, for example, in the case of \(n\geq6\), the author gives more precise second - order asymptotic expansion terms. In conclusion, through in - depth analysis and complex mathematical tools, this paper successfully solves the problem of the asymptotic behavior of solutions to the conformal scalar curvature equation with isolated singularities and the anisotropic elliptic equation.