New solutions for the Lane-Emden problem on planar domains

Luca Battaglia,Isabella Ianni,Angela Pistoia
2024-07-22
Abstract:We consider the Lane-Emden problem on planar domains. When the exponent is large, the existence and multiplicity of solutions strongly depend on the geometric properties of the domain, which also deeply affect their qualitative behavior. Remarkably, a wide variety of solutions, both positive and sign-changing, have been found when the exponent is sufficiently large. In this paper, we focus on this topic and fine new sign-changing solutions that exhibit an unexpected concentration phenomenon as the exponent approaches infinity.
Analysis of PDEs
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the existence and properties of new solutions to the Lane - Emden problem in a planar region when the exponent \(p\) tends to infinity. Specifically, the paper focuses on the existence of sign - changing solutions with non - simple concentration points, which exhibit an unexpected concentration phenomenon when \(p\) is close to infinity. ### Background of the paper The Lane - Emden problem is a classical problem in partial differential equations, in the following form: \[-\Delta u = |u|^{p - 1}u\quad\text{in }\Omega,\quad u = 0\quad\text{on }\partial\Omega,\] where \(\Omega\subset\mathbb{R}^2\) is a smooth bounded region and \(p>1\). When \(p\) is large, the existence and multiplicity of solutions strongly depend on the geometric properties of the domain \(\Omega\). Previous studies have shown that when \(p\) is sufficiently large, various positive solutions and sign - changing solutions can be found. In particular, positive solutions concentrate at certain interior points, and near these concentration points, the maximum value of the solution converges to \(\sqrt{e}\), the concentration phenomenon is simple, and the asymptotic profile of the solution is given by the radial solution \(U\) of the Liouville equation. For sign - changing solutions, although there have been some studies, a complete characterization of their concentration behavior has not been fully achieved. In particular, the concentration may not be simple, and different phenomena may occur when \(p\) tends to infinity, depending on the asymptotic behavior of the nodal lines of the solution. ### Main contributions of the paper The main contribution of this paper lies in the discovery of new sign - changing solutions, which exhibit a new concentration phenomenon, namely the "bubble cluster" phenomenon, when \(p\) tends to infinity. Specifically: 1. **Existence of new solutions**: The author constructs sign - changing solutions \(u_{k,p}\), which, when \(p\) tends to infinity, the positive and negative parts respectively concentrate at the origin and \(k\) symmetric points, and these points collapse towards the origin at a relatively slow speed. 2. **Concentration behavior**: The asymptotic behaviors of the positive and negative parts of the solution are respectively the superposition of the standard radial bubble \(U_1\) and a non - radial bubble \(U_2\) with discrete \(k\)-symmetry. These bubbles concentrate on different scales, forming "bubble clusters". 3. **Parameter selection**: Through careful parameter selection, the author ensures that the error terms of the solution are small enough so that the Ljapunov - Schmidt reduction method can be applied to prove the existence of the solution. ### Main results The main result of the paper is Theorem 1.1, with the following specific content: - **Theorem 1.1**: Let \(\Omega\subset\mathbb{R}^2\) be a smooth bounded region containing the origin and satisfying the symmetry assumption (1.3) and the \(k\)-symmetry assumption (1.4), where \(k = 4,5\). Then there exists \(p_k>1\) such that when \(p>p_k\), there exists a \(k\)-symmetric sign - changing solution \(u_{k,p}\in H^1_{0,k}(\Omega)\), whose asymptotic behavior is: \[ u_{k,p}=\tau_p(PU_{1,p}-\eta_p PU_{2,p})+o\left(\frac{1}{p}\right)\quad\text{in }L^\infty_{\text{loc}}(\Omega\setminus\{0\}), \] where \(PU_{1,p}\) and \(PU_{2,p}\) are the projections of \(U_{1,p}\) and \(U_{2,p}\) on \(H^1_0(\Omega)\), respectively, and \(U_{1,p}\) and...