Monotonicity of positive solutions to semilinear elliptic equations with mixed boundary conditions in triangles

Rui Li,Ruofei Yao
2024-01-31
Abstract:This paper investigates semilinear elliptic problems in planar triangles with Dirichlet conditions specified on one side of the boundary and Neumann conditions imposed on the remaining two sides. By employing moving plane method, we establish that the positive solution is monotone in the normal direction of the Dirichlet side when the Neumann vertex is non-obtuse. In the case where the Neumann vertex is obtuse, the positive solution is monotone in the normal direction of the longer Neumann side provided some technical conditions. Furthermore, this monotonicity property extends to the first mixed eigenfunction in triangles through continuity method via domain deformation. It is noteworthy that the maximum of the first positive eigenfunction in a triangle with mixed boundary conditions, consisting of two Neumann sides and one Dirichlet side, is uniquely located on the Neumann side with the greater length. This maximum point coincides with the Neumann vertex if and only if either the Neumann vertex is non-obtuse or the two Neumann sides have equal lengths. This result successfully resolves a specific problem posed within the Polymath project: Polymath7 research thread 1.
Analysis of PDEs
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the monotonicity of positive solutions of semilinear elliptic equations with mixed boundary conditions in triangular regions. Specifically, the author studied the monotonicity of positive solutions in a specific direction in the case where Dirichlet boundary conditions are imposed on one side and Neumann boundary conditions are imposed on the other two sides in a planar triangular region. ### Main problem description 1. **Research background**: - The form of the semilinear elliptic equation is: \[ \begin{cases} \Delta u + f(u)=0 & \text{in } \Omega, \\ u = 0 & \text{on } \Gamma_D, \\ \frac{\partial u}{\partial \nu}=0 & \text{on } \Gamma_N, \end{cases} \] where $\Omega$ is a bounded two - dimensional region, $\Gamma_D$ is a closed subset of the Dirichlet boundary, and $\Gamma_N=\partial \Omega\setminus\Gamma_D$ is the Neumann boundary. 2. **Specific problems**: - When the Neumann vertex (i.e., the intersection of the two Neumann boundaries) is non - obtuse, prove that the positive solution is monotonically increasing in the normal direction of the Dirichlet boundary. - When the Neumann vertex is obtuse, under certain technical conditions, prove that the positive solution is monotonically increasing in the normal direction of the longer Neumann boundary. 3. **Objectives**: - Solve a specific problem in the Polymath project: whether the maximum value of the first positive eigenfunction is uniquely located on the longer Neumann side for a triangle with mixed boundary conditions. If it is an isosceles triangle, the maximum value is located at the Neumann vertex. ### Solution methods - Use the moving plane method to prove the monotonicity of the solution. - For non - obtuse Neumann vertices, directly apply the moving plane method. - For obtuse Neumann vertices, by introducing some additional technical conditions, use the normal direction of the intermediate side to prove the monotonicity. ### Main conclusions - For non - obtuse Neumann vertices, the positive solution is monotonically increasing in the normal direction of the Dirichlet boundary. - For obtuse Neumann vertices, under certain technical conditions, the positive solution is monotonically increasing in the normal direction of the longer Neumann boundary. - These results successfully solve a conjecture in Polymath7 Research Thread 1, that is, for a triangle with mixed boundary conditions, the maximum value of the first positive eigenfunction is uniquely located on the longer Neumann side, unless the triangle is isosceles and the Neumann vertex is non - obtuse. These conclusions not only provide theoretical support for understanding the properties of solutions of semilinear elliptic equations, but also provide an important basis for solving practical problems such as the Hot Spots Conjecture.