Metric regularity for set-valued maps in Fréchet-Montel spaces. Implicit mapping theorem (Q6168202)
From MaRDI portal
scientific article; zbMATH DE number 7709659
Language | Label | Description | Also known as |
---|---|---|---|
English | Metric regularity for set-valued maps in Fréchet-Montel spaces. Implicit mapping theorem |
scientific article; zbMATH DE number 7709659 |
Statements
Metric regularity for set-valued maps in Fréchet-Montel spaces. Implicit mapping theorem (English)
0 references
10 July 2023
0 references
\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.
0 references
surjectivity
0 references
metric regularity
0 references
set-valued map
0 references
implicit mapping theorem
0 references
Fréchet-Montel space
0 references
Nash-Moser-Ekeland theory
0 references
0 references