Giovanni S. Alberti,Guillaume Bal,Michele Di Cristo
Abstract:This paper concerns the existence of critical points for solutions to second order elliptic equations of the form $\nabla\cdot \sigma(x)\nabla u=0$ posed on a bounded domain $X$ with prescribed boundary conditions. In spatial dimension $n=2$, it is known that the number of critical points (where $\nabla u=0$) is related to the number of oscillations of the boundary condition independently of the (positive) coefficient $\sigma$. We show that the situation is different in dimension $n\geq3$. More precisely, we obtain that for any fixed (Dirichlet or Neumann) boundary condition for $u$ on $\partial X$, there exists an open set of smooth coefficients $\sigma(x)$ such that $\nabla u$ vanishes at least at one point in $X$. By using estimates related to the Laplacian with mixed boundary conditions, the result is first obtained for a piecewise constant conductivity with infinite contrast, a problem of independent interest. A second step shows that the topology of the vector field $\nabla u$ on a subdomain is not modified for appropriate bounded, sufficiently high-contrast, smooth coefficients $\sigma(x)$.
These results find applications in the class of hybrid inverse problems, where optimal stability estimates for parameter reconstruction are obtained in the absence of critical points. Our results show that for any (finite number of) prescribed boundary conditions, there are coefficients $\sigma(x)$ for which the stability of the reconstructions will inevitably degrade.
What problem does this paper attempt to address?
This paper aims to explore and solve the existence and properties of solutions to elliptic partial differential equations under given boundary conditions, especially the problem of whether there are critical points in high - dimensional spaces (i.e., the dimension \(n\geq3\)). Specifically, the paper focuses on second - order elliptic equations of the form \(\nabla\cdot\sigma(x)\nabla u = 0\), defined within a bounded region \(X\), and given the boundary condition \(u = g\) on \(\partial X\).
### Main problems of the paper
1. **Differences between two - dimensional and three - dimensional cases**: In the two - dimensional case, it is known that the number of critical points is related to the number of oscillations of the boundary conditions and is independent of the coefficient \(\sigma(x)\). However, in the three - dimensional and higher - dimensional cases, this relationship no longer holds. The paper attempts to explore whether, in three - dimensional and higher - dimensional cases, certain boundary values can be constructed such that the corresponding solutions do not have critical points.
2. **Existence of critical points**: The paper proves that for any given (finite number of) Dirichlet or Neumann boundary conditions, there exists a non - empty open set \(\sigma(x)\) such that the solution \(u\) of the equation has at least one critical point in \(X\), that is, \(\nabla u(x)=0\) holds for some \(x\in X\).
3. **Laplace equation under mixed boundary conditions**: The paper also discusses the Laplace equation (called the Zaremba problem) under mixed boundary conditions (i.e., Dirichlet conditions are imposed on part of the boundary and Neumann conditions are imposed on another part of the boundary) and provides relevant stability estimates.
### Main contributions
- **Critical points in three - dimensional space**: The paper proves that in three - dimensional space, for any given boundary conditions, there always exist some conductivities \(\sigma(x)\) such that the solution of the equation has critical points in the region. This result indicates that in three - dimensional space, the existence of critical points is a common phenomenon, not just a special case for certain special boundary conditions.
- **High - contrast conductivities**: The paper also studies the behavior of solutions under high - contrast conductivities (i.e., the conductivity takes a maximum value in some sub - domains) and proves that even in the high - contrast case, the topological structure of the solution does not change in some sub - domains.
- **Application background**: These results are of great significance in mixed inverse problems, especially in the stability estimates of parameter reconstruction. The paper points out that in three - dimensional space, there is no universal boundary condition that can ensure that the gradient of the solution is not zero for all conductivities, thus affecting the stability of parameter reconstruction.
### Conclusion
Through constructive methods and strict mathematical analysis, the paper reveals the universality of the existence of critical points of solutions to elliptic equations in three - dimensional and higher - dimensional cases and explores their applications in mixed inverse problems. These results are of great value for understanding the properties of solutions to elliptic equations in high - dimensional spaces.