Metric regularity for set-valued maps in Fréchet-Montel spaces. Implicit mapping theorem (Q6168202)

\noindent The paper concerns the metric regularity property and the Implicit Mapping Theorem for set-valued maps acting on Fréchet-Montel spaces. A Fréchet space \(X\) is called a Fréchet-Montel space if every closed and bounded set in \(X\) is compact. The authors obtain the metric regularity of a set-valued map \(F\) defined on a Fréchet-Montel space assuming a condition on the derivative of \(F\). As definition of derivative for a multivalued map, they consider an extension of the classical contingent derivative. This approach also gives an Implicit Mapping Theorem for set-valued maps in Fréchet-Montel spaces. Finally, they give an example concerning the \(C^\infty([0,T],\mathbb{R}^d)\) solutions of a parameterized ordinary differential equation. More precisely, they apply the obtained results to prove that the set valued map \(F:C^\infty([0,T],\mathbb{R}^m) \multimap C^\infty([0,T],\mathbb{R}^d)\) defined as \[ F(u):=\{x(\cdot)\text{ solution of (1) with } x(0) \in A\} \] is surjective and satisfies the metric regularity property, where \[ x^\prime(t)=g(x(t))+Bu(t),\quad t \in [0,T]\tag{1} \] with \(g \in C^\infty([0,T],\mathbb{R}^d)\) having linear growth, \(u \in C^\infty([0,T],\mathbb{R}^m)\), \(B \in \mathcal{M}(\mathbb{R}^m,\mathbb{R}^d)\) being a surjective matrix and \(A \subset \mathbb{R}^d\) being a closed set with non empty interior. As a result, through this example they show how to compute the derivative they employ and verify the conditions of the criterion.