О глобальном существовании неявной функции

В работе исследуется задача о глобальном существовании неявной функции, т.е. изучаются свойства банаховых пространств $X$, $Y$, $Z$, функции
$$ F\colon X\times Y\to Z, $$
при которых возможно гладкое решение $y=\varphi(x)$ уравнения $F(x,y)=0$ с заданным начальным условием $y_0=\varphi (x_0)$, где $F(x_0,y_0)=0$. В дальнейшем оказывается необходимость избыточной гладкости $F$ по $y$ для существования гладкого лобального решения (по сравнению с локальным решением).
Библиография: 4 названия.