Abstract
In this note we review some results on the transversality conditions for a smooth Fredholm map \(f: \mathsf X\times (0,T) \rightarrow \mathsf Y\) between two Banach spaces \(\mathsf X,\mathsf Y\). These conditions are well-known in the realm of bifurcation theory and commonly accepted as “generic”. Here we show that under the transversality assumptions the sections \({\mathcal C}(t)=\{x:f(x,t)=0\}\) of the zero set of \(f\) are discrete for every \(t\in (0,T)\) and we discuss a somehow explicit family of perturbations of \(f\) along which transversality holds up to a residual set. The application of these results to the case when \(f\) is the \(\mathsf X\)-differential of a time-dependent energy functional \(\fancyscript{E}:\mathsf X\times (0,T)\rightarrow \mathbb {R}\) and \({\mathcal C}(t)\) is the set of the critical points of \(\fancyscript{E}\) provides the motivation and the main example of this paper.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let \(\mathsf X,\mathsf Y\) be a couple of Banach spaces and let \(f: X\times (0,T) \rightarrow \mathsf Y\) be a \({\mathrm C}^2\)-map defined in the open set \(X\subset \mathsf X\).
In this note, we investigate the so-called transversality conditions for the set \({\mathcal S}\) of the singular points of \(f\), i.e. the subset of the zero set \({\mathcal C}\) of \(f\) where its (partial) differential \({\mathrm D}_xf\) with respect to \(x\in \mathsf X\) is not invertible:
In particular we will focus on two important features related to transversality. The first one concerns the topology of the sections \({\mathcal C}(t):=\Big \{x\in X:(x,t)\in {\mathcal C}\Big \}\) of \({\mathcal C}\): it is not difficult to show that for every \(t\in (0,T)\) the sets \({\mathcal C}(t)\) are discrete, so that each point in \({\mathcal C}(t)\) is isolated. A second property we will discuss in some detail is the generic character of transversality.
We first illustrate our results, and their role for applications, in the simpler finite dimensional setting.
The transversality conditions in the finite-dimensional case Let us consider the case when \(\mathsf X=\mathsf Y=\mathbb {R}^n\). The symbol \(\langle \cdot ,\cdot \rangle \) represents the scalar product in \(\mathbb {R}^n\), and \(\mathbb {M}^{k \times m}\) is the space of matrixes with \(k\) rows and \(m\) columns. If \(K\in \mathbb M^{k\times m}\), we denote by \(\mathsf N(K)\) its null space in \(\mathbb {R}^k\), by \(\mathsf R(K)\) its range in \(\mathbb {R}^m\), and by \(K^*\) its transposed.
Definition 1.1
(Transversality conditions in \(\mathbb {R}^n\)) We say that \(f\) satisfies the transversality conditions at a point \((x_0,t_0) \in {\mathcal S}\) if
-
(T1)
\(\mathrm {dim}(\mathsf N({\mathrm D}_x f(x_0,t_0)))=1\) (and therefore \(\mathrm {dim}(\mathsf N({\mathrm D}_x f(x_0,t_0)^*))=1\) \()\).
-
(T2)
If \(0\ne w^*\in \mathsf N({\mathrm D}_x f(x_0,t_0)^*)\) then \(\langle \partial _t f(x_0,t_0), w^* \rangle \ne 0\).
-
(T3)
If \(0\ne v\in \mathsf N({\mathrm D}_x f(x_0,t_0))\) then \(\langle {\mathrm D}_x^2 f(x_0,t_0)[v,v], w^* \rangle \ne 0 \).
We say that \(f\) satisfies the transversality conditions if they hold at every point of \({\mathcal S}\).
While referring to Definition 2.2 ahead for the precise statement of the transversality conditions in an infinite-dimensional setting, let us point out that there it is crucial, as well as natural, to require in addition that \(f(\cdot ,t)\) is a Fredholm map of index \(0\) for every \(t \in (0,T)\).
Conditions (T2) and (T3) look particularly simple when \(n=1\): in this case they read
Singular perturbation of gradient flows and the structure of \({\mathcal C}(t)\).
Our motivation for getting further insight on the topology of \({\mathcal C}(t)\) stems from the study of the limit as \(\varepsilon \downarrow 0\) of the differential equation
in particular in the case of a gradient flow, when
The study of the singular perturbation problem (1.2a,b) was carried out in finite dimension in [12], where it was shown that a family \(\{x_\varepsilon \}_\varepsilon \) of solutions to (1.2a) converges to a piecewise regular curve obtained by connecting smooth branches of solutions to the equilibrium equation
by means of heteroclinic solutions of the gradient flow
The analysis in [12] hinges on the assumption that \( f= {\mathrm D}_x \fancyscript{E}\) satisfies the transversality conditions at its singular points (which are the degenerate critical points of \(\fancyscript{E}\)). In addition, a crucial role is played by the condition that at every time \(\underline{\mathrm{t}}\in (0,T)\) there exists at most one degenerate critical point \((\underline{\mathrm{x}},\underline{t})\) in \({\mathcal S}\), \({\mathrm D}^{2}_{x} \fancyscript{E}\) is positive semidefinite at \((\underline{\mathrm{x}},\underline{\mathrm{t}})\) and the (unique) heteroclinic starting from \(\underline{\mathrm{x}}\) ends in a local minimum of \(\fancyscript{E}(\cdot ,\underline{\mathrm{t}})\). This allows the author to tackle this singular limit by means of refined techniques from bifurcation theory, see also [2], where the quasistatic limit of a second-order system was addressed in the finite-dimensional case.
In the forthcoming paper [1], we develop a different variational approach to the limit \(\varepsilon \rightarrow 0\) of (1.2a), even in the setting of an infinite-dimensional space \(\mathsf X\). Under general coercivity assumptions on \(\fancyscript{E}\), we prove that, up to a subsequence, any family \(\{x_\varepsilon \}_\varepsilon \) of solutions to (1.2a) pointwise converges to a curve \(x\) fulfilling the equilibrium equation (1.3) and a variational jump condition. In fact, the crucial property that lies at the core of the analysis in [1] is that \({\mathcal C}(t)\) is discrete for every \(t \in (0,T)\).
The next result shows that if \(f\) satisfies the transversality conditions then \({\mathcal C}(t)\) is a discrete set for every \(t\in (0,T)\).
Theorem 1.2
If \(f\) satisfies the transversality conditions then for every \(t \in (0,T)\) the set \({\mathcal C}(t)\) only consists of isolated points.
We present here the simple proof in the finite dimensional case, postponing the discussion of the general case to the next section.
Proof
Let us fix \(x_0\in {\mathcal C}(t_0)\). If \({\mathrm D}_xf(x_0,t_0)\) is invertible, then the thesis follows immediately by the implicit function theorem. It is thus sufficient to consider the case when \((x_0,t_0)\in {\mathcal S}\).
Let us first show that \(\mathsf N({\mathrm d}f(x_0,t_0))\) has dimension \(1\) so that the differential of \(f\) at \((x_0,t_0)\) has rank \(n\) and is surjective. If \((v,\alpha )\in \mathsf N({\mathrm d}f(x_0,t_0))\), then taking the duality with \(w^*\) as in (T2) we get
so that \(\alpha =0\) by (T2). Choosing now an arbitrary vector \(w^*\in \mathbb {R}^n\) we get \(v\in \mathsf N({\mathrm D}_xf(x_0,t_0))\), which has dimension \(1\) thanks to (T1).
Since the differential \({\mathrm d}f(x_0,t_0)\) has rank \(n\), the implicit function theorem implies that there exists an open neighborhood \(U\) of \((x_0,t_0)\) and a smooth curve
such that
Differentiating w.r.t \(s\) the identity \(f(\mathsf {x}(s),\mathsf {t}(s))=0\) we then obtain
Multiplying (1.6) at \(s=0\) by \(w^* \) we find
Since \(\langle \partial _t f(x_0,t_0), w^* \rangle \ne 0\), we then have \(\dot{\mathsf {t}}(0) =0\), which implies \(\dot{\mathsf {x}}(0)\ne 0\) by the second of (1.5). Evaluating (1.6) at \(s=0\) we therefore get \({\mathrm D}_x f(x_0,t_0)[\dot{\mathsf {x}}(0)]=0\), i.e. \(\dot{\mathsf {x}}(0)\in \mathsf N({\mathrm D}_xf(x_0,t_0))\).
Differentiating w.r.t \(s\) twice, we have
Multiplying the above relation at \(s=0\) by \(w^*\) and taking into account that \(\dot{\mathsf {x}}(0)\in \mathsf N({\mathrm D}_xf(x_0,t_0))\setminus \{0\}\) and \(\dot{\mathsf {t}}(0) =0\), we then conclude
thanks to (T3) from Definition 1.1. The above relation then gives
This yields the existence of a neighborhood \(V\) of \(x_0\) such that \(V\cap {\mathcal C}(t_0)\) contains only the point \(x_0\), since a simple Taylor expansion of \(\mathsf {t}\) around \(s=0\) shows that \(\mathsf {t}(s)\ne t_0\) in a sufficiently small neighborhood of \(0\). \(\square \)
Genericity of the transversality conditions
As the results from [1, 2, 12] reveal their crucial role, it is interesting to investigate to what extent the transversality conditions can be assumed to hold for “generic” vector fields. In the realm of bifurcation theory, this is commonly accepted, see e.g. [5, 6, 11]. Nonetheless, it is not always easy to find, in the literature, an explicit result stating the precise meaning of genericity, especially in the infinite-dimensional setting (see [10] for a finite-dimensional version of the genericity result).
We address this issue in Sect. 3. Its main result, Theorem 3.2, states that a certain class of perturbations of \(f\) satisfy the transversality conditions up to a meagre subset (or, in finite dimension, up to a Lebesgue negligible set). The key idea at the basis of our proof is that the transversality conditions are equivalent to the property that the “augmented” operator
has \((0,0)\) as a regular value, namely that the total differential \(\;\!\mathrm {d}g\) is surjective at each point of \(g^{-1} (0,0)\). This is proved in Lemma 2.8 below. We will combine this fact with a classical result from the paper [9]. Theorem 1.1 therein indeed provides conditions ensuring that, up to a meagre set, the perturbations of a given operator have \((0,0)\) as a regular value.
Our finite-dimensional genericity result reads
Theorem 1.3
Let \(f\in {\mathrm C}^3 (X\times (0,T); \mathbb {R}^n)\). There exists a meagre (or with zero Lebesgue measure) set \(N\subset \mathbb {R}^n\times \mathbb {M}^{n \times n}\) such that for every \((y,K)\in ( \mathbb {R}^n\times \mathbb {M}^{n \times n})\setminus N\) the map
satisfies the transversality conditions of Definition 1.1.
The proof of this result, based on the classical Sard’s theorem, and the motivation for the enhanced regularity requirement on \(f\), are postponed to Sect. 3.1, Remark 3.4.
Plan of the paper In Sect. 2, we analyze the transversality conditions in the setting of an infinite-dimensional Banach space \(\mathsf X\). We prove that they imply that the zeroes of \(f\) are isolated (cf. Thm. 2.5). In Sect. 2.3 we also obtain the characterization of the transversality conditions in terms of the operator \(g\) (1.7), which is the milestone for our genericity result, Theorem 3.2, proved in Sec. 3.1. Finally, in Sect. 3.2, in view of the application to the singular perturbation problem (1.2a)–(1.2b) we specialize the discussion and our results to the case when \(f={\mathrm D}_x \fancyscript{E}\), with \(\fancyscript{E} : \mathsf X\times (0,T) \rightarrow \mathbb {R}\) a smooth energy functional.
2 The transversality conditions in the infinite-dimensional case
In the infinite-dimensional context, it is natural to study the transversality conditions for the class of vector fields \(f: X\times (0,T) \rightarrow \mathsf Y\) which are Fredholm maps of index \(0\) between two Banach spaces \(\mathsf X,\mathsf Y\) (see below for a definition). We prove Lemma 2.4 which provides a characterization of the first two transversality conditions in terms of the surjectivity of the operator \(\;\!\mathrm {d}f\). We rely on this in the proof of the main result of this section, viz. Theorem 2.5, which states that the transversality conditions imply that the zeroes of \(f\) are isolated. Finally, in Sect. 2.3, we obtain a characterization of the full set of transversality conditions in Lemma 2.8. We will exploit this result in order to investigate their genericity in Sect. 3.
2.1 Assumptions and preliminary results
Notation and preliminary definitions Let \(\mathsf X\) be a Banach space; we shall denote by \(\Vert \cdot \Vert _\mathsf X\) its norm, by \(\mathsf X^*\) its dual, and by \({_{ \mathsf X^* }}{{\langle \cdot , \cdot \rangle }}{_{ \mathsf X }}\) the duality pairing between \(\mathsf X^*\) and \(\mathsf X\).
Given two Banach spaces \(\mathsf X\) and \(\mathsf Y\), we denote by \(\mathcal {L}(\mathsf X;\mathsf Y)\) the space of linear bounded operators from \(\mathsf X\) to \(\mathsf Y\) and by \(\mathcal L^k(\mathsf X;\mathsf Y)\) the space of the continuous \(k\)-linear forms from \(\mathsf X^k\) to \(\mathsf Y\). If \(L\in \mathcal L(\mathsf X;\mathsf Y)\) we denote by \(L^*\) its adjoint operator in \(\mathcal L(\mathsf Y^*;\mathsf X^*)\). We also set
A subspace \(\mathsf R\subset \mathsf Y\) has finite codimension if there exists a finite-dimensional space \(\mathsf S\subset \mathsf Y\) such that \(\mathsf R+\mathsf S=\mathsf Y\). In this case \(\mathsf R\) is closed and we can always choose \(\mathsf S\) so that \(\mathsf S\cap \mathsf R=\{0\}\); the codimension of \(\mathsf R\) is then defined as \(\mathrm {codim}(\mathsf R):=\mathrm {dim}(\mathsf S)\). Moreover, \(\mathsf R(L^*)\) is closed and we have the adjoint relations
We recall that \(L\in \mathcal L(\mathsf X;\mathsf Y)\) is a Fredholm operator if
Since the Fredholm operator \(L\) is bounded, its range is closed (see [4, Chapter 6]). The index of the operator \(L\) is defined as
For Fredholm operators (2.2) yields
The stability theorem shows that the collection of all Fredholm operators is open in \(\mathcal L(\mathsf X;\mathsf Y)\) and the index \(\mathrm {ind}\) is a locally constant function. Let \(X\subset \mathsf X\) be a connected open subset of \(\mathsf X\). A map \(f\in {\mathrm C}^1(X;\mathsf Y)\) is a Fredholm map if for every \(x\in X\) the differential \({\mathrm D}f(x)\in \mathcal L(\mathsf X,\mathsf Y)\) is a Fredholm operator. The index of \(f\) is defined as the index of \({\mathrm D}f(x)\) for some \(x\in X\). By the stability theorem and the connectedness of \(X\) this definition is independent of \(x\).
In this infinite-dimensional context, our basic assumption on the vector field \( f: X\times (0,T) \rightarrow \mathsf Y\) is the following.
Assumption 2.1
We require that \( f\in {\mathrm C}^2 (X\times (0,T); \mathsf Y)\), and that
We shall denote by \({\mathrm D}_x f: X\times (0,T) \rightarrow \mathcal {L} (\mathsf X; \mathsf Y)\) and by \(\partial _t f: X\times (0,T) \rightarrow \mathsf Y\) the partial Gâteau derivatives of \(f\), whereas \({\mathrm d}f\) is the total differential of \(f\). As usual, the second order (partial) differential \({\mathrm D}^2_x f:X\times (0,T)\rightarrow \mathcal L^2(\mathsf X;\mathsf Y)\) at a point \((x,t)\) is identified with its canonical bilinear form. As in the previous section we set
and we denote by \({\mathcal C}(t)\) and \({\mathcal S}(t)\) their sections at the time \(t\in (0,T)\). Let us now state the infinite-dimensional version of Definition 1.1.
Definition 2.2
[Transversality conditions in the infinite-dimensional case] Let \(f\) comply with Assumption 2.1. We say that \(f\) satisfies the transversality conditions at a point \((x_0,t_0) \in {\mathcal S}\) if
-
(T1)
\(\mathrm {dim}(\mathsf N({\mathrm D}_x f(x_0,t_0)))=1\);
-
(T2)
If \(0\ne \ell ^*\in \mathsf N({\mathrm D}_x f(x_0,t_0)^*)\) then \({_{ \mathsf Y^* }}{{\langle \ell ^{*} , \partial _t f(x_0,t_0)\rangle }}{_{ \mathsf Y }}\ne 0\);
-
(T3)
If \(0\ne v\in \mathsf N({\mathrm D}_x f(x_0,t_0))\) then \({_{ \mathsf Y^* }}{{\langle \ell ^{*} , {\mathrm D}_x^2 f(x_0,t_0)[v,v] \rangle }}{_{ \mathsf Y }}\ne 0\).
If the above properties hold at every \((x_0,t_0)\in {\mathcal S}\), we say that \(f\) satisfies the transversality conditions.
Remark 2.3
Thanks to (2.4) and (2.5), the above condition (T1) yields that \(\mathsf N({\mathrm D}_x f(x_0,t_0)^*)\) has also dimension \(1\). Note that Assumption 2.1 implies that \(f: X\times (0,T) \rightarrow \mathsf Y\) is a Fredholm map of index \(1\) with respect to the variable \((x,t)\). Indeed,
if \(\partial _tf(x,t)\in \mathsf R\big ({\mathrm D}_xf(x,t)\big )\) then \(\mathrm {codim}\big (\mathsf R({\mathrm d}f(x,t))\big )= \mathrm {codim}\big (\mathsf R({\mathrm D}_xf(x,t))\big )\) but \(\dim \big (\mathsf N({\mathrm d}f(x,t))\big )=\dim \big (\mathsf N({\mathrm D}_xf(x,t))\big )+1\). On the other hand, if \(\partial _tf(x,t)\not \in \mathsf R\big ({\mathrm D}_xf(x,t)\big ) \) then \(\mathrm {codim}\big (\mathsf R({\mathrm d}f(x,t))\big )= \mathrm {codim}\big (\mathsf R({\mathrm D}_xf(x,t))\big )-1\) and \(\dim \big (\mathsf N({\mathrm d}f(x,t))\big )=\dim \big (\mathsf N({\mathrm D}_xf(x,t))\big )\).
Let us now get further insight into the transversality conditions (T1) and (T2).
Lemma 2.4
Suppose that \(f: X\times (0,T) \rightarrow \mathsf Y\) satisfies Assumption 2.1 and let \((x_0,t_0)\in {\mathcal S}\) be fixed. Then conditions \((T1)\) and \((T2)\) of Definition 2.2 hold if and only if \({\mathrm d}f(x_0,t_0)\) is onto.
Proof
Let us suppose that \({\mathrm d}f(x_0,t_0)\) is onto. The inequality \(\mathrm {dim}(\mathsf N({\mathrm D}_x f(x_0,t_0))) \le 1\) follows immediately by Remark 2.3 and from the fact that \(\mathrm {codim}\big ({\mathrm d}f(x_0,t_0)\big )=0\), because \(\mathsf N\big ({\mathrm D}_xf(x_0,t_0)\big ){\times }\{0\}\subseteq \mathsf N\big ({\mathrm d}f(x_0,t_0)\big )\). Since \((x_0,t_0)\in {\mathcal S}\), we conclude that (T1) holds.
Suppose now that \(0\ne \ell ^*\in \mathsf N\big ({\mathrm D}_x f(x_0,t_0))^*\big ) \) and let \(\xi \in \mathsf Y\) be such that \({_{ \mathsf Y^* }}{{\langle \ell ^* , \xi \rangle }}{_{ \mathsf Y }}\ne 0\). Since \({\mathrm d}f(x_0,t_0)\) is onto, there exists \((v,\tau ) \in \mathsf X\times \mathbb {R}\) such that
Therefore
so that \({_{ \mathsf Y^* }}{{\langle \ell ^* , \partial _ tf(x_0,t_0) \rangle }}{_{ \mathsf Y }}\ne 0\).
In order to prove the converse implication, let us suppose that (T1-2) hold and let \(\ell ^*\in \mathsf R\big ({\mathrm d}F(x_0,t_0)\big )^\perp \subset \mathsf Y^*.\) Since for every \(v\in \mathsf X\) and \(\tau \in \mathbb {R}\)
by choosing \(\tau =0\) we immediately get \(\ell ^*\in \mathsf R({\mathrm D}_xf(x_0,t_0))^\perp =\mathsf N({\mathrm D}_x f(x_0,t_0)^*)\); property (T2) then yields \(\ell ^*=0\), so that \({\mathrm d}f(x_0,t_0)\) is onto.
2.2 The transversality conditions imply that the zeroes are isolated
We are now in the position to state and prove the analogue of Theorem 1.2:
Theorem 2.5
Suppose that \(f\) satisfies Assumptions 2.1 and the transversality conditions of Definition 2.2. Then, for every \(t\in (0,T)\) the set \(\mathcal C(t):=\left\{ x\in \mathsf X\,:\,f(x,t)=0\right\} \) consists of isolated points.
The proof follows the same outline as for Theorem 1.2. Indeed, we first of all observe that, for \(t_0 \in (0,T)\) fixed, non-singular points \(x\) (i.e., such that \(\mathsf N({\mathrm D}_xf(x,t_0))\) is trivial) are isolated. In the singular case, after some preliminary discussion we again apply the implicit function theorem in order to deduce that, in a neighborhood of \((x_0,t_0)\) with \(x_0\) (singular) zero, the zero set of \(f\) is the image of a suitable function. This allows us to exploit the transversality conditions and deduce by the same arguments as in the finite-dimensional case, that \(x_0\) is isolated.
Proof
Let us fix \((x_0,t_0)\in {\mathcal C}\) and consider first the case when \(\mathsf N({\mathrm D}_x f(x_0,t_0))=\{0\}\). Since \({\mathrm D}_xf(x_0,t_0)\) is a Fredholm operator of index \(0\), \({\mathrm D}_xf(x_0,t_0)\) is invertible and we can apply the infinite-dimensional version of the implicit function theorem (see e.g. [3, Theorem 2.3]) and conclude that \(x_0\) is isolated in \({\mathcal C}(t_0)\).
Now suppose that \(\mathsf N_0:=\mathsf N\big ({\mathrm D}_x f(x_0,t_0)\big )\) is non-trivial. Then, by (T1) of Definition 2.2, \(\mathsf N_0=\mathrm {span}(n_0)\) for some \(n_0 \in \mathsf X\setminus \{0\}\), so that we can write \(\mathsf X=\mathsf Z+\mathsf N_0\), where
\(\mathsf Z\) is a topological supplement of \(\mathsf N_0\) in \(\mathsf X\). Thus, every \(x\in \mathsf X\) can be uniquely expressed as \(x=z+sn_0 \), with \(z\in \mathsf Z\) and \(s\in \mathbb {R}\). In particular, it is not restrictive to assume \(x_0=z_0+n_0\), \(z_0\in \mathsf Z\).
Let us now consider the function \(\tilde{f}(z,s,t):=f(z+sn_0,t)\) defined in a neighborhood of \((z_0,1,t_0)\) in \(\mathsf Z\times \mathbb {R}\times \mathbb {R}\). In analogy to the proof of Theorem 1.2, we now show that the differential of the function \((z,t)\rightarrow \tilde{f}(z,1,t)\) at the point \((z_0,t_0)\), denoted by \({\mathrm D}_{(z,t)}\tilde{f}(z_0,1,t_0)\), is invertible. Let us note first that by construction and Lemma 2.4
To check injectivity of \({\mathrm D}_{(z,t)}\tilde{f}(z_0,1,t_0)\), suppose that \((v,\tau )\in \mathsf N\big ({\mathrm D}_{(z,t)}\tilde{f}(z_0,1,t_0)\big ) \subseteq \mathsf Z\times \mathbb {R}\), i.e.
Taking the duality with \(0\ne \ell ^*\in \mathsf N\big ({\mathrm D}_xf(x_0,t_0)^*\big )= \mathsf R\big ({\mathrm D}_xf(x_0,t_0)\big )^\perp \) and recalling (T2) we get \(\tau =0\). Then \({\mathrm D}_xf(x_0,t_0)[v]=0\) so that \(v\in \mathsf Z\cap \mathsf N_0=\{0\}\). This concludes the proof of the injectivity of \({\mathrm D}_{(z,t)}\tilde{f}(z_0,1,t_0)\).
Since \({\mathrm D}_{(z,t)}\tilde{f}(z_0,1,t_0)\) is invertible, we can now apply the implicit function theorem: there exists a neighborhood \(U\) of \((x_0,t_0)\), an open interval \(I\ni 0\), and a \({\mathrm C}^2\)-curve \((\mathsf {z},\mathsf {t}):I \rightarrow \mathsf Z\times (0,T)\) such that setting \(\gamma (s):=(\mathsf {z}(s)+(1+s)n_0,\mathsf {t}(s))\) we have
Differentiating the identity \(f(\gamma (s))=0\) w.r.t. \(s\) and evaluating at \(s=0\) we obtain
Testing by \(0\ne \ell ^*\in \mathsf N\big ({\mathrm D}_x f(x_0,t_0)^*\big )=\mathsf R\big ({\mathrm D}f(x_0,t_0)\big )^\perp \) and recalling (T2) as well as \(\dot{\mathsf {z}}\in \mathsf Z\), we then obtain
A further differentiation w.r.t. \(s\) gives at \(s=0\)
also in view of (2.12). Testing the last expression by \(\ell ^*\) as before, we have
From (T3) we deduce that \(\ddot{\mathsf {t}}(0)\ne 0\) and we conclude that \(0\) is the only solution of the equation \(\mathsf {t}(s)= t_0\) in a small neighborhood of \(0\), so that \(x_0\) is an isolated point in \({\mathcal C}(t_0)\) by (2.10). \(\square \)
It is interesting to note that when \(f\) is analytic then conditions (T1–T2) of Definition 2.2 are still sufficient to provide a useful property of \({\mathcal C}(t)\).
Theorem 2.6
Suppose that \(f\) is an analytic map satisfying Assumptions 2.1 and (T1–T2) of Definition 2.2, and that any connected component of \({\mathcal C}(t)\) is compact. Then the set \({\mathcal C}(t)\) is the disjoint union of a discrete set and of an analytic manifold of dimension \(1\), whose connected components are compact curves. Moreover, for every connected curve \(C\subset {\mathcal C}(t)\) there exist \(\varepsilon >0\) and an open neighborhood \(V\) such that \({\mathcal C}(s)\cap V=\emptyset \) for every \(s\in (0,T)\) with \(0<|t-s|<\varepsilon \).
Proof
Let us keep the same notation of the proof of Theorem 2.5 and let \(x_0\) be a singular point of \({\mathcal C}(t_0)\). Since \(f\) is analytic, the curve \(\gamma \) parameterizing the set \({\mathcal C}\) in the neighborhood \(U\) of the singular point \((x_0,t_0)\) is analytic. If \(x_0\) is an accumulation point of \({\mathcal C}(t_0)\) then the \(\mathsf {t}\)-component of \(\gamma \) takes the value \(t_0\) in a set accumulating at \(0\), so that \(\mathsf {t}\) has to be identically constant. It follows that \(\gamma (I)\) is contained in \({\mathcal C}(t_0)\) so that we conclude that the connected component \(C\) of \({\mathcal C}(t_0)\) containing \(x_0\) is a (non-degenerate) compact analytic curve. The last assertion follows by the fact that every point of \(C\subset {\mathcal C}(t_0) \) has a neighborhood \(U\) in \(X\times (0,T)\) such that \({\mathcal C}\cap U\subset C\times \{t_0\}\) and that \(C\) is compact. \(\square \)
2.3 A characterization of the transversality conditions
Lemma 2.4 sheds light onto the relation between the first two transversality conditions, and the surjectivity of the operator \({\mathrm d}f(x_0,t_0)\). In order to get a characterization of the full set of transversality conditions of Definition 2.2, one has to bring into play the “augmented” operator
Let us first prove a preliminary result.
Lemma 2.7
If \(f: X\times (0,T) \rightarrow \mathsf Y\) satisfies Assumption 2.1, then \(g(\cdot ,t,\cdot ) : X\times \mathsf X\rightarrow \mathsf Y\times \mathsf Y\) is a Fredholm map of index \(0\) for every \(t\in (0,T)\).
Proof
In order to simplify the notation, we omit to indicate the explicit dependence on the time variable. For a fixed \((x,v)\in X\times \mathsf X\), we can write
where
Thus the thesis follows if we show that for every Fredholm operator \(H\in \mathcal L(\mathsf X;\mathsf Y)\) of index \(0\) and for every \(K\in \mathcal L(\mathsf X;\mathsf Y)\) the operator
is a Fredholm operator of index \(0\).
We first observe that
so that, by introducing the finite-dimensional space
it is easy to check that
Let now \(\mathsf S\) be a finite-dimensional subspace of \(\mathsf Y\) such that \(\mathsf S+\mathsf R(H)=\mathsf Y\). it is immediate to check that \((\mathsf S\times \mathsf S)+\mathsf R(A)=\mathsf Y\times \mathsf Y\) so that \(\mathrm {codim}(\mathsf R(A))\) is finite and \(A\) is a Fredholm operator.
We consider now the continuous perturbation \([0,1]\ni \vartheta \mapsto A_\vartheta :=(H,H+\vartheta K)\): every \(A_\vartheta \) is a Fredholm operator so that the index of \(A=A_1\) coincides with the index of \(A_0= (H,H)\) since the index is a continuous function. On the other hand it is straightforward to check that \(A_0\) has index \(0\).
Let us now consider the restriction (still denoted by \(g\)) of \(g\) from (2.13) to the open domain
and notice that
According to the common terminology, we say that \((0,0)\) is a regular value of \(g\) if \({\mathrm d}g\) is surjective at each point of \(g^{-1}(0,0)\).
Lemma 2.8
Let us suppose that \(f\) satisfies Assumption 2.1 and let \(g:\Sigma \rightarrow \mathsf Y\times \mathsf Y\) be defined as in (2.13), (2.15). Then \(f\) satisfies the transversality conditions if and only if \((0,0)\) is a regular value of \(g\).
Proof
A direct calculation shows that \({\mathrm d}g(x_0,t_0,v_0)[\tilde{x},\tilde{t},\tilde{v}]=(y_1,y_2)\) if and only if
Let us first suppose that \((0,0)\) is a regular value of \(g\), let \((x_0,t_0)\in {\mathcal S}\) and \(0\ne v_0\in \mathsf N\big ({\mathrm D}_xf(x_0,t_0)\big )\).
It follows that \((x_0,t_0,v_0)\in {\mathrm g}^{-1}(0,0)\) so that \({\mathrm d}g(x_0,t_0,v_0)\) is onto and, in view of Lemma 2.4, conditions (T1-2) hold.
Let us now choose \(0\ne \ell ^*\in \mathsf N\big ({\mathrm D}_x f(x_0,t_0)^*\big )\), \(y_2\in \mathsf Y\) such that \({_{ \mathsf Y^* }}{{\langle \ell ^* , y_2\rangle }}{_{ \mathsf Y }}\ne 0\), \(y_1=0\), and a solution \((\tilde{x},\tilde{t},\tilde{v})\) of (2.17). From the first line of (2.17) we get
so that \(\tilde{t} =0\), since \({_{ \mathsf Y^* }}{{\langle \ell ^* , \partial _t f(x_0,t_0)\rangle }}{_{ \mathsf Y }}\ne 0\). The same relation then yields \(\tilde{x}\in \mathsf N\big ({\mathrm D}_x f(x_0,t_0)\big )\), whence \(\tilde{x} = \lambda v_0\), for some \(\lambda \in \mathbb {R}\).
From the second line of (2.17)
we obtain (taking into account that \(\tilde{t}=0\))
Therefore \({_{ \mathsf Y^* }}{{\langle \ell ^* , {\mathrm D}_x^2 f(x_0,t_0)[v_0,v_0 ]\rangle }}{_{ \mathsf Y }}\ne 0\), which shows the validity of condition (T3).
Let us now prove the converse implication. We assume the validity of (T1-2-3), we choose a point \((x_0,t_0,v_0)\in g^{-1}(0,0)\) and we want to prove that \({\mathrm d}g(x_0,t_0,v_0)\) is onto; equivalently, if \((\ell ^*_1,\ell ^*_2)\in \big (\mathsf R({\mathrm d}g(x_0,t_0,v_0))\big )^\perp \) then \(\ell _1^*=\ell _2^*=0\).
The fact that \(\ell _1^*=0\) is an immediate consequence of the surjectivity of \({\mathrm d}f(x_0,t_0)\), which is the first component of \({\mathrm d}g(x_0,t_0,v_0)\) as showed by (2.17).
Choosing \(\tilde{x}=0, \, \tilde{t}=0\) and an arbitrary \(\tilde{v}\) in the second component of (2.17) we see that \(\ell _2^*\in \big (\mathsf R({\mathrm D}_x f(x_0,t_0))\big )^\perp = \mathsf N\big ({\mathrm D}_xf(x_0,t_0)^*\big )\). Choosing now \(\tilde{v}=0\), \(\tilde{t}=0\), and \(\tilde{x}=v_0\) we get \({_{ \mathsf Y^* }}{{\langle \ell _2^* , {\mathrm D}_x^2f(x_0,t_0)[v_0,v_0]\rangle }}{_{ \mathsf Y }}=0\). Since \(0\ne v_0\in \mathsf N\big ({\mathrm D}_xf(x_0,t_0)\big )\), (T3) yields \(\ell _2^*=0\).
Notice that for \((x_0,t_0)\in \mathcal S\) the operator \({\mathrm d}g(x_0,t_0,0)\) cannot be onto, since the second component of (2.17) reduces to \({\mathrm D}_xf(x_0,t_0)[\cdot ]\) whose range has codimension \(1\).
3 On the genericity of the transversality conditions
In this section we discuss the genericity of the transversality conditions of Definition 2.2. In the following Sect. 3.1, we give our main result in this direction, Theorem 3.2. It states that, up to a small (in the topological sense) set of operators within a certain class, it is always possible to perturb a (suitably smooth) map \(f: X\times (0,T) \rightarrow \mathsf Y\) with such operators, in such a way as to obtain a map \(\tilde{f}\) which complies with Definition 2.2. The proof of Theorem 3.2 relies on the characterization of the transversality conditions provided in Sect. 2.3, and on a well-known genericity result from the seminal paper [9]. In Sect. 3.2 we revisit the genericity result, as well as Theorem 2.5, in the case where \(f\) is the space differential of a time-dependent energy functional.
Notice that the genericity of conditions (T1–T2) of Definition 2.2 with respect to a simpler class of perturbations is a direct consequence of the results of [9].
3.1 The genericity results
In order to make precise in which sense we are going to prove that the transversality conditions hold “generically”, let us recall that a set \(N\) in a topological space \(\mathcal T\) is said to be nowhere dense if the interior of its closure is empty. Equivalently, its complement \(\mathcal T\setminus A\) has dense interior, i.e. \(A\) is contained in the complement of an open and dense set.
A set is said to be meagre if it is contained in a countable union of nowhere dense sets. Conversely, a set is residual if it is the complement of a meagre set, i.e. it contains the intersection of a countable collection of open and dense sets.
We will suppose that
and we will deal with a sufficiently large class of additive perturbations of the map \(f: X\times (0,T) \rightarrow \mathsf Y\) of the type
obtained by means of \(j: X\times Z \rightarrow \mathsf Y\) of class \({\mathrm C}^2\) with \(j(x,0)=0\). We will suppose that for every \(x\in X,\, t\in (0,T),\, z\in Z\) and \(v\in \mathsf X\setminus \{0\}\) the following admissibility conditions are satisfied by \(j\):
Notice that when \(j\) is a bilinear map, (\(\mathrm {J2^\prime }\)) takes the simpler form
In Example 3.1 below, we exhibit a particular case of admissible mapping \(j\), with values in a suitable space of compact operators.
Example 3.1
Let us consider a separable Banach space \({\mathcal K}\) continuously included in \({\mathcal L}(\mathsf X;\mathsf Y)\) such that
As a typical example, we can choose \(\mathcal {K}\) to be the closure in \({\mathcal L}(\mathsf X,\mathsf Y)\) of the nuclear operators of the form
where \(\mathsf X_0^*\) is a separable subspace of \(\mathsf X^*\) that separates the points of \(\mathsf X\). Observe that condition (K2) holds. Indeed, whenever \(v\in \mathsf X\setminus \{0\} ,\ w\in \mathsf Y\) are given, by choosing \(\ell \in \mathsf X_0^*\) so that \({_{ \mathsf X^* }}{{\langle \ell , v\rangle }}{_{ \mathsf X }}=1\) we can simply set
Hence, we let \(\mathsf Z:= \mathcal {K}\) and take as \(j\) the bilinear map
Then, condition (J1) is satisfied, since for every \(K\in {\mathcal K}\) the differential \({\mathrm D}_xj(x,K)=K\) is a compact operator and thus, when added to a Fredholm operator, gives rise to a Fredholm operator with the same index. It is immediate to check that (K2) guarantees the validity of (J2), since \({\mathrm D}^2_{xz}j(x,K)[\tilde{v},\tilde{K}]=\tilde{K}[\tilde{v}]\).
We then have the following theorem.
Theorem 3.2
Let us assume that (3.1) and the admissibility conditions (J1-2) hold, for a map \(f\in {\mathrm C}^3(X\times (0,T); \mathsf Y)\) complying with Assumption 2.1 and for \(j\in {\mathrm C}^2(X\times Z ; \mathsf Y)\).
Every open neighborhood \(U\) of the origin in \(\mathsf Y\times \mathsf Z\) contains a residual subset \(U_r\) such that for every \((y,z)\in U_r\) the map
satisfies the transversality conditions of Definition 2.2.
Proof
First of all, it is useful to pass from \(f\) to the functional
which incorporates the perturbation terms, so that the map \(\tilde{f}\) of (3.6) coincides with \({\mathcal F}(\cdot ,\cdot ,y,z)\).
In accord with (2.13), we consider the augmented functional \(\mathcal {G}: \Sigma \times \mathsf Y\times Z \rightarrow \mathsf Y\times \mathsf Y\) (recall that \(\Sigma :=X\times (0,T)\times \big (\mathsf X\setminus \{0\}\big )\))
which for every \((y,z)\in \mathsf Y\times Z\) gives raise to the perturbed functionals
By Lemma 2.8, \(\tilde{f}\) satisfies the transversality conditions if and only if \((0,0)\) is a regular value for \(\tilde{g}\). We conclude by applying the next result.
Proposition 3.3
Under the same assumptions of Theorem 3.2, the set
is residual in \(\mathsf Y\times \mathsf Z\).
Proof
We are going to apply [9, Theorem 1.1, Remark A.1] and thus check that the corresponding assumptions hold, namely
-
(a)
the space \(\mathsf Y\times \mathsf Z\) is separable;
-
(b)
\(\mathcal {G}\in {\mathrm C}^2(\Sigma \times \mathsf Y\times Z;\mathsf Y\times \mathsf Y)\) and for every \((y,z) \in \mathsf Y\times Z\) the map \((x,t,v) \mapsto \mathcal {G}(x,t,v,y,z)\) is Fredholm with index \(1\);
-
(c)
\((0,0)\) is a regular value for \(\mathcal {G}\).
Condition (a) clearly holds since we have assumed \(\mathsf Y\) and \(\mathsf Z\) separable.
As for (b), clearly \(\mathcal {G}\) is of class \({\mathrm C}^2\) thanks to the enhanced \({\mathrm C}^3\)-regularity required of \(f\) and to the \({\mathrm C}^2\)-regularity of \(j\). Moreover, condition (J1), Lemma 2.7, and the same argument of Remark 2.3 yield that every perturbed functional \(\tilde{g}\) as in (3.8) is Fredholm of index \(1\).
Let us now focus on the last property (c), and let us set \(h(t,x,z):=f(t,x)+j(z,x)\). We have to check that, if \(\mathcal {G}(x_0,t_0,v_0,y_0,z_0) =(0,0)\), then \({\mathrm d}\mathcal {G}(x_0,t_0,v_0,y_0,z_0)\) is onto, namely that for every \((w_1, w_2) \in \mathsf Y\times \mathsf Y\) there exists \((\tilde{x}, \tilde{t}, \tilde{v}, \tilde{y}, \tilde{z}) \in \mathsf X\times \mathbb {R}\times \mathsf X\times \mathsf Y\times \mathsf Z\) such that
For this, we choose \(\tilde{x} =0\), \(\tilde{t} =0 \) and we use condition (J2) to find \(\tilde{v}\in \mathsf X\) and \(\tilde{z} \in \mathsf Z\) such that (3.9b) is satisfied. In order to fulfill (3.9a), we take \(\tilde{y}:=w_1- \mathrm {D}j(z_0)(\tilde{z})[x_0]\). With this, we conclude that (c) holds.
Remark 3.4
(The finite-dimensional case) Our genericity result in the finite-dimensional setting of Sect. 1, Theorem 1.3, derives from Theorem 3.2. Indeed, the perturbed map \(\tilde{f}\) in (1.8) is of the form (3.6), where we have taken as admissible perturbation \(j\) the mapping (3.5) from Example 3.1. We accordingly introduce the finite-dimensional analogues of the functionals \(\mathcal {F}\) and \(\mathcal {G}\), to which Lemma 2.8 clearly applies. In this case, the set \(\Sigma \) defined in (2.15) reduces to \(X\times (0,T)\times (\mathbb {R}^n\setminus \{0\})\) and \({\mathcal K}\) is \(\mathbb {M}^{n \times n}\). Also, note that since \(f\in {\mathrm C}^3 (X\times (0,T); \mathbb {R}^n)\), then \(\mathcal {G}\) is of class \({\mathrm C}^2\). Proceeding as in the proof of [9, Theorem 1.1] it is possible to show that proving that the set
has full Lebesgue measure, is equivalent to proving that the set \(\mathfrak {V}\) of the regular values of the function \(\pi :\mathcal G^{-1}(0,0)\rightarrow \mathbb {R}^n\times \mathbb {M}^{n\times n}\) has full Lebesgue measure in \(\mathbb {R}^n\times \mathbb {M}^{n\times n}\), where \(\pi \) is the projection onto the last two components in \(\Sigma \times \mathbb {R}^n\times \mathbb M^{n\times n}\). This property follows from the regularity of \(\mathcal G\), the fact that \((0,0)\) is a regular value of \({\mathcal G}\) so that \(\pi \) is a \({\mathrm C}^2\) map, and the classical Sard’s Theorem, since \(2>\mathrm{dim}(\mathcal G^{-1}(0,0))-\mathrm{dim}(\mathbb {R}^n\times \mathbb M^{n\times n}) =n^2+n+1-(n+n^2)=1\). Once (3.10) is established, we can conclude as done in the proof of Theorem 3.2.
3.2 Critical points of an energy functional
In this last section we consider the particular case when
\(\mathsf H\) is a separable Hilbert space and \(f\) is the space differential of a time-dependent functional \(\fancyscript{E}:X\times (0,T)\rightarrow \mathbb {R}\), i.e.
We are thus assuming that the differential of the energy takes values (and is regular) in a possibly smaller Banach space \(\mathsf Y\) contained in \(\mathsf X^*\). On the other hand (see [9, Remark 1.1]) for every \((x,t)\in X\times (0,T)\) we will suppose that the linear operator \(L\) associated with the second order differential \({\mathrm D}^2_x\fancyscript{E}\) admits a unique continuous extension \(\tilde{L}\in {\mathcal L}(\mathsf H,\mathsf H^*)\) satisfying
Notice that for every \(v,w\in X\)
so that \(\tilde{L}\) is selfadjoint. In this setting, \({\mathcal C}\) is the set of critical points of \(\fancyscript{E}\) and \({\mathcal S}\) is the corresponding singular subset
We will assume that \({\mathrm D}_x \fancyscript{E}\) is a Fredholm map of index \(0\). In particular we can identify the kernel \(N=\mathsf N({\mathrm D}^2_x\fancyscript{E}(x,t))\) in \(\mathsf X\) with \(N^*=\mathsf N({\mathrm D}^2_x\fancyscript{E}(x,t)^*)\) in \(\mathsf Y^*\): it is in fact easy to check that the canonical inclusion \(\mathsf X\subset \mathsf Y^*\) induced by the scalar product of \(\mathsf H\) yields \(N\subset N^*\), since (still using the notation \(L\) for the second order differential \({\mathrm D}^2_x\fancyscript{E}\)), \(Lv=0\) and \(v\in \mathsf X\) yield
This implies that \(\mathsf N(L)\) and \(\mathsf N(L^*)\) coincide, since they have the same dimension by the index property. The transversality conditions read
Definition 3.5
(Transversality conditions for a time-dependent functional) We say that \(\fancyscript{E}\) satisfies the transversality conditions at a point \((x_0,t_0) \in {\mathcal S}\) if
-
(E1)
\(\mathrm {dim}(\mathsf N({\mathrm D}^2_x \fancyscript{E}(x_0,t_0)))=1\);
-
(E2)
If \(0\ne v\in \mathsf N({\mathrm D}^2_x \fancyscript{E}(x_0,t_0))\) then \({_{ \mathsf X^* }}{{\langle \partial _t {\mathrm D}_x \fancyscript{E}(x_0,t_0) , v\rangle }}{_{ \mathsf X }} \ne 0\);
-
(E3)
If \(0\ne v\in \mathsf N({\mathrm D}^2_x \fancyscript{E}(x_0,t_0))\) then \( {\mathrm D}_x^3\fancyscript{E}(x_0,t_0)[v,v,v] \ne 0\).
The functional \(\fancyscript{E}\) satisfies the transversality conditions if (E1-2-3) hold for every \((x_0,t_0)\in {\mathcal S}\).
Theorem 2.5 immediately yields:
Corollary 3.6
If \(\fancyscript{E}\in {\mathrm C}^3(X\times (0,T))\) is a time-dependent functional with Fredholm differentials \({\mathrm D}\fancyscript{E}_x(\cdot ,t)\) which satisfies the transversality conditions (E1-2-3), then the sets \({\mathcal C}(t):=\big \{x\in X:{\mathrm D}_x\fancyscript{E}(x,t)=0\big \}\) are discrete for every \(t\in (0,T)\).
We now address the genericity of the transversality conditions from Definition 3.5. In Corollary 3.7 below we rephrase, in terms of the functional \(\fancyscript{E}\), the statement of Theorem 3.2, considering here only the simple case of Example 3.1. Accordingly, we consider the set \({\mathcal N}_{sym}\) obtained by taking the closure in \({\mathcal L}^2(\mathsf X;\mathbb {R})\) of all the symmetric bilinear forms of the type
Corollary 3.7
Let \(\fancyscript{E}\in {\mathrm C}^4(X\times (0,T))\) be a time-dependent functional with Fredholm differentials. Every open neighborhood \(U\) of the origin in \(\mathsf X^*\times {\mathcal N}_{sym}\) contains a residual subset \(U_r\) such that for every \((\ell ,\fancyscript{K})\in U_r\) the functionals
satisfy the transversality conditions (E1-2-3).
Proof
We apply Theorem 3.2: notice that the perturbations (3.15) of \(\fancyscript{E}\) correspond to the family of perturbations for \(f={\mathrm D}_x\fancyscript{E}\)
where \(K\in {\mathcal L}(\mathsf X,\mathsf X^*)\) is associated with \(\fancyscript{K}\) by
Clearly, the collection of all such operators satisfies the admissibility conditions (K1-2); in order to check (K3), we fix \(x\in \mathsf X\setminus \{0\}\), \(\ell \in \mathsf X^*\), and we consider the bilinear forms
where \(x^*\in \mathsf X^*\) satisfies \({_{ X^* }}{{\langle x^* , x \rangle }}{_{ X }}=1\). It is immediate to check that the associate linear operator \(K\) satisfies \(K[x]=\ell \).
We conclude by exhibiting an integral energy functional \(\fancyscript{E}\), whose critical points (i.e. the zeroes of its space differential) solve a semilinear elliptic equation on a bounded domain \(\Omega \). Therefore, as customary we will use the letter \(x\) to denote the points in \(\Omega \), and write \(\fancyscript{E}(u,t)\) in place of \(\fancyscript{E}(x,t)\).
Example 3.8
Let \(\Omega \) be a bounded connected open set in \(\mathbb {R}^d\), \(d\le 3\), and let
and
with \(\ell \in \mathrm {C}^4(0,T; L^2(\Omega ))\) and \(\mathcal {W}\) the usual double-well potential \(\mathcal {W}(u) = (u^2-1)^2/4\). Observe that \(\fancyscript{E} \in \mathrm {C}^4(\mathsf X\times (0,T))\) thanks to the continuous imbedding of \(\mathsf X\) in \(L^\infty (\Omega )\). We have that
with \(A: H^2(\Omega ) \cap H_0^1 (\Omega ) \rightarrow L^2(\Omega )\) the Laplacian operator with homogeneous Dirichlet boundary conditions. Note that \(A\) is Fredholm with index \(0\). It follows from [8, Thm. 5.26, p. 238] that also \(f(\cdot , t)\) is a Fredholm map with index \(0\) for every \(t \in (0,T)\). We have that
Let us now construct an explicit perturbation of \(f\) to which Theorem 3.2 applies. We take
so that \(j(u,z)\) is a bilinear operator. Observe that the perturbed field \(\tilde{f}(u,t) = f(u,t) + y + zu \) is the space differential of the perturbed energy
It follows again from [8, Thm. 5.26, p. 238] that \(\tilde{f}(\cdot ,t)\) is a Fredholm map of index \(0\) for every \(t \in (0,T)\).
In order to check that Theorem 3.2 applies in this setting, it would remain to verify that \(j\) in (3.18) complies with condition (J2’) in the form (3.3).
Therefore, for given \(u_0\in \mathsf X, t_0\in (0,T), v_0\in \mathsf X\setminus \{0\}\) and \(z_0\in {\mathrm C}(\overline{\Omega })\) we want to show that for every \(w\in L^2(\Omega )\) the equation
admits at least a solution \(\tilde{v}\in \mathsf X\), \(\tilde{z}\in {\mathrm C}(\overline{\Omega })\).
Since the operator \(\tilde{v}\mapsto A\tilde{v}+ (W{''}(u_0)+z_0) \tilde{v}\) is Fredholm of index \(0\) from \(\mathsf X\) to \(\mathsf Y\) (and thus its range is closed with finite codimension), it is sufficient to prove that the only element \(\xi \in L^2(\Omega )\) such that
is \(\xi \equiv 0\). Choosing \(\tilde{z}=0\) and an arbitrary \(\tilde{v}\) we get
so that \(\xi \in \mathsf X\) and
On the hand, choosing \(\tilde{v}=0\) and arbitrary \(\tilde{z}\) we get \(\xi =0\) on the set \(\omega =\{x\in \Omega : v_0(x)\ne 0\}\), which is open and not empty since \(v_0\in {\mathrm C}(\overline{\Omega }) \ne 0\).
Then, (3.21) and the unique continuation principle (see e.g. [7]) imply that \(\xi =0\). Therefore, condition (3.20) is satisfied
Theorem 3.9
Every open neighborhood \(U\) of the origin in \(L^2(\Omega )\times {\mathrm C}(\overline{\Omega })\) contains a (dense) residual set \(U_r\) such that the functional \(\tilde{\fancyscript{E}}\) defined by (3.19) satisfies the transversality conditions for every \((y,z)\in U_r\). In particular, for every \(t\in (0,T)\) and \((y,z)\in U_r\) the solutions \(u\in H^2(\Omega )\cap H^1_0(\Omega )\) of the equation
are isolated in \(H^2(\Omega )\cap H^1_0(\Omega )\).
References
Agostiniani, V., Rossi, R., Savaré, G.: Balanced Viscosity solutions of singularly perturbed gradient flows in infinite dimension, in preparation
Agostiniani, V.: Second order approximations of quasistatic evolution problems in finite dimension. Discrete Contin. Dyn. Syst. A 32(4), 1125–1167 (2012)
Ambrosetti, A., Prodi, G.: A Primer of Nonlinear Analysis. Cambridge University Press, Cambridge (1995)
Brezis, H.: Analisi funzionale. Teoria e applicazioni. Liguori, Napoli (1986)
Guckenheimer, J., Holmes, P.: Nonlinear oscillations, dynamical dystems and bifurcations on vector fields. In: Applied Mathematical Sciences, vol. 42. Springer, New York (1983)
Haragus, M., Iooss, G.: Local Bifurcations, Center Manifolds, and Normal Forms in Infinite-Dimensional Dynamical systems. Springer, London (2011)
Jerison, D., Kenig, C.E.: Unique continuation and absence of positive eigenvalues for Schrdinger operators. Ann. Math. (2) 121, 463–494 (1985)
Kato, T.: Perturbation theory for linear operators (Reprint of the, 1980th edn). In: Classics in Mathematics. Springer, Berlin (1995)
Saut, J.C., Temam, R.: Generic properties of nonlinear boundary value problems. Comm. Partial Differ. Equ. 4, 293–319 (1979)
Sotomayor, J.: Generic bifurcations of dynamical systems. In: Dynamical Systems (Proc. Sympos. Univ. Bahia, Salvador, 1971), pp. 561–582. Academic Press, New York (1973)
Vanderbauwhede, A.: Center manifolds, normal forms and elementary bifurcations. In: Dynamics Reported, vol. 2, 89169. Dynam. Report. Ser. Dynam. Systems Appl., vol. 2. Wiley, Chichester (1989)
Zanini, C.: Singular perturbations of finite dimensional gradient flows. Discrete Contin. Dyn. Syst. 18, 657–675 (2007)
Author information
Authors and Affiliations
Corresponding author
Additional information
V. Agostiniani has received funding from the European Research Council under the European Union’s Seventh Framework Programme (FP7/2007–2013)/ERC grant agreement no. 291053. R. Rossi and G. Savaré have been partially supported by a MIUR-PRIN 2012 grant for the project “Calculus of Variations”.
Rights and permissions
About this article
Cite this article
Agostiniani, V., Rossi, R. & Savaré, G. On the transversality conditions and their genericity. Rend. Circ. Mat. Palermo 64, 101–116 (2015). https://doi.org/10.1007/s12215-014-0184-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s12215-014-0184-4