Using the critical set to induce bifurcations

O. Kaminski,D. S. Monteiro,C. Tomei
2023-11-17
Abstract:For a function $F: X \to Y$ between real Banach spaces, we show how continuation methods to solve $F(u) = g$ may improve from basic understanding of the critical set $C$ of $F$. The algorithm aims at special points with a large number of preimages, which in turn may be used as initial conditions for standard continuation methods applied to the solution of the desired equation. A geometric model based on the sets $C$ and $F^{-1}(F(C))$ substantiate our choice of curves $c \in X$ with abundant intersections with $C$. We consider three classes of examples. First we handle functions $F: R^2 \to R^2$, for which the reasoning behind the techniques is visualizable. The second set of examples, between spaces of dimension 15, is obtained by discretizing a nonlinear Sturm-Liouville problem for which special points admit a high number of solutions. Finally, we handle a semilinear elliptic operator, by computing the six solutions of an equation of the form $-\Delta - f(u) = g$ studied by Solimini.
Numerical Analysis
What problem does this paper attempt to address?
The core problem that this paper attempts to solve is to improve the continuous method for solving the equation \(F(u) = g\) by using the critical set \(C\) to induce bifurcations. Specifically, the author shows how to find special points with a large number of pre - images by understanding the critical set \(C\) of the function \(F:X\rightarrow Y\) (where \(X\) and \(Y\) are real Banach spaces). These special points can be used as initial conditions for the standard continuous method to solve the required equation. ### Main problems and methods 1. **The role of the critical set**: - The critical set \(C\) is the set of points that are not locally homeomorphic mappings. - The author proposes an algorithm aimed at finding points \(g^*\) with a large number of pre - images, that is, for these \(g^*\), the equation \(F(u)=g^*\) has multiple solutions. - These special points can be obtained by choosing a curve \(c\in X\) that has a rich intersection with the critical set \(C\). 2. **Geometric model**: - Based on the sets \(C\) and \(F^{-1}(F(C))\), the author proposes a geometric model to select a curve \(c\) that has a rich intersection with the critical set. - This model helps to identify special points with multiple solutions and provides initial conditions for the continuous method. 3. **Application examples**: - The author considers three types of examples: 1. **Two - dimensional function \(F:\mathbb{R}^2\rightarrow\mathbb{R}^2\)**: The reasoning process of this type of function is visual. 2. **Discretized nonlinear Sturm - Liouville problem**: This type of problem involves a 15 - dimensional space, and the special points have a high number of solutions. 3. **Semilinear elliptic operator**: By calculating six solutions of the equation of the form \(-\Delta u - f(u)=g\), the work of Solimini is studied. ### Key formulas and concepts - **Critical set \(C\)**: \[ C = \{ u\in U\mid F\text{ is not a local homeomorphic mapping from }u\text{ to }F(u)\} \] - **Covering mapping**: - On each domain tile \(T_D\), the restriction \(F\) is a covering mapping \(F_D:T_D\rightarrow T_C = F(T_D)\) of a finite degree. - Each point in the image tile \(T_C\) has the same number of pre - images. - **Fold point**: - A fold point \(x\in U\) means that there exists a local coordinate transformation such that \(F\) becomes: \[ (t, z)\in\mathbb{R}\times Z\mapsto(t^2, z)\in\mathbb{R}\times Z \] ### Summary The main objective of the paper is to find special points with multiple solutions by deeply understanding the critical set \(C\), and use these points as initial conditions to improve the continuous method for solving the equation \(F(u) = g\). This method not only improves the solution efficiency, but also reveals the influence of the geometric structure of the function \(F\) on the solutions.