Consider a continuous function $f:\Omega\subset\mathbb R^n\longrightarrow \mathbb R^n$ such that for every $x\in\Omega$ the Cauchy problem: $$(\ast)\left\{\begin{array} {ll} y'=f(y)\\ y(0)=x \end{array}\right. $$ has a unique maximal solution in some interval $]a_x,b_x[$.
In classroom my professor stated the following result quoting it as the Vinograd theorem:
Suppose that a function $f$ is given as above, and define $g:\mathbb R^n\longrightarrow\mathbb R^n$ such that $$ g(x):=\left\{\begin{array} {ll} \frac{f(x)}{1+||f(x)||}\cdot \frac{\textrm{dist}(x,\partial\Omega)}{1+\textrm{dist}(x,\partial\Omega)}& \textrm{if}\; x\in\Omega\\ 0& \textrm{if}\; x\notin\Omega \end{array}\right. $$ Then, for every $x\in\mathbb R^n$, the Cauchy problem $$\left\{\begin{array} {ll} y'=g(y)\\ y(0)=x \end{array}\right. $$ has a unique global solution, namely defined on the whole $\mathbb R$, such that its support is the same as the support of the solution of the problem $(\ast)$.
My question(s):
- In literature I can't find any "Vinograd theorem" similar to the above result. Do you know any decent reference?
- In alternative to the point $1.$ I'd like a (very quick) sketch of the proof. I particular I don't understand why such a modification of the function $f$ fixes the supports of the solutions.