Abstract:In this paper, one of our aims is to investigate the instability of the distribution of the critical point set $\mathcal{C}(u)$ of a solution $u$ to a semilinear equation with Dirichlet boundary condition in the planar annular domains. Precisely, we prove that $\mathcal{C}(u)$ in an eccentric circle annular domain, or a petal-like domain, or an annular domain where the interior and exterior boundaries are equally scaled ellipses contains only finitely many points rather than a Jordan curve. This result indicates that the critical point set $\mathcal{C}(u)$ is unstable when any boundary of planar concentric circle annular domain $\Omega$ has some small deformation or minor perturbation. Based on studying the distribution of the nodal sets $u^{-1}_\theta(0)(u_\theta=\nabla u\cdot \theta)$ and $u^{-1}(0)$, we prove that the solution $u$ on each symmetric axis has exactly two critical points under some conditions. Meanwhile, we further obtain that $\mathcal{C}(u)$ only has two critical points in an eccentric circle annular domain, has four critical points in an exterior petal-like domain with the exterior boundary $\gamma_E$ is an ellipse, and the maximum points are distributed on the long symmetric semi-axis and the saddle points on the short symmetric semi-axis. Moreover, we describe the geometric location of critical points of the solution $u$ by the moving plane method.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the distribution characteristics of the critical point set \(C(u)\) of the solutions of semilinear elliptic equations in the planar annular domain, especially the instability of these critical point sets under certain specific deformations. Specifically, the authors explore the following problems:
1. **Instability of the critical point set**: When the boundary of the planar concentric annular domain undergoes a slight deformation or a minor perturbation, whether the critical point set \(C(u)\) will change from a Jordan curve to a finite number of isolated points. This indicates that the critical point set is unstable under boundary changes.
2. **The number and geometric position of critical points**: For several specific types of planar annular domains (such as eccentric annular domains, outer petal - like domains, and annular domains with inner and outer boundaries being proportional ellipses), study the specific number and geometric position of the critical points in the critical point set \(C(u)\) of the solution \(u\). In particular, the authors prove that in these specific domains, the critical point set \(C(u)\) contains only a finite number of isolated points and describe the exact positions of these critical points.
### Main Results
- **Theorem A**: Suppose \(u\) is a non - constant solution of the equation \(\Delta u+f(u) = 0\) on \(\Omega\subset\mathbb{R}^2\), where \(\Omega\) is an eccentric annular domain, an outer petal - like domain, or an annular domain with inner and outer boundaries being proportional ellipses. If \(f(u)\geq0\) is a decreasing and real - analytic function, then the critical point set \(C(u)\) does not contain any Jordan curve.
- **Theorem B**: Suppose \(u\) is a non - constant solution of the equation \(\Delta u+f(u) = 0\) on \(\Omega\subset\mathbb{R}^2\), where \(f(u)\geq0\) is a decreasing and real - analytic function. If \(\Omega\) is one of the following three types:
- An eccentric annular domain;
- A smooth outer petal - like domain with an even number of symmetry axes, where the symmetry axes are pairwise perpendicular and the outer boundary has a non - zero curvature;
- An annular domain with both inner and outer boundaries being ellipses.
Then on each symmetry axis, the solution \(u\) has exactly two critical points.
- **Theorem C**: Suppose \(u\) is a non - constant solution of the equation \(\Delta u+f(u) = 0\) on \(\Omega\subset\mathbb{R}^2\), where \(f(u)\geq0\) is a decreasing and real - analytic function. If \(\Omega\) is one of the following two types:
- An eccentric annular domain;
- An outer petal - like domain with an outer boundary being an ellipse.
Then the solution \(u\) has exactly two critical points on each symmetry axis and has no additional critical points in other sub - domains. The maximum points are distributed on the long symmetric semi - axis, and the saddle points are distributed on the short symmetric semi - axis.
- **Theorem D**: Suppose \(u\) is a non - constant solution of the equation \(\Delta u+f(u) = 0\) on \(\Omega\subset\mathbb{R}^2\), where \(f(u)\geq0\) is a locally Lipschitz function.
- If \(\Omega\) is an outer petal - like domain with an outer boundary being an ellipse, the radius of the inner boundary is \(a\), and the lengths of the two semi - axes of the outer boundary are \(b_1\) and \(b_2\) respectively, then all critical points are located in the domain
\[
\left(-a+\frac{b_1}{2},a+\frac{b_1}{2}\right)\times\left(-a+\frac{b_2}{2},a+\frac{b_2}{2}\right)\cap\left(\Omega\setminus\left\{(x\right)
\]