Let $f(\cdot)$ be a continuously differentiable function over $\mathbb{R}$, and $u\in L^2\_{loc}(0,\infty)$, $a\in \mathbb{R}$, and $x(t)$ solves the integral of $$\dot{x}(t)=ax(t)+f(x(t))+u(t), \quad x(0)=x\_0\in \mathbb{R}.$$


It is known that for every $x\_0$ and $R$, where $\|u\|\_2\le R$, there is a time $T$ such that the integral of above equation admits a solution $x\in C([0,T])$. Is this true that the set of all $u(t)$ for which an integral solution $x\in C([0,T])$ exists is in fact an open subset of $L^2(0,T)$ containing $$U=\{u(t): \|u\|\_2\le R\}.$$




---


What about the same question over a general Banach space, and $a$ being an operator that generates a semi-group? 




---


Note that in the example $\dot{x}=x^2-R+u$ with $x(0)=0$; we have a global solution for $|u|\le R$. We know there is no **global** solution for $u>R$. But for every $T$, pick $\epsilon<\frac{\pi^2}{4T^2}$ then there is this **local** solution $x(t)=\sqrt\epsilon\tan(\sqrt\epsilon t)$ defined over $[0,T]$ corresponding to $u=R+\epsilon$.



Counter example about blow-up solution of DEs
The implicit function theorem usually helps to arrive at such conclusions. You translate the (differential equation) to an operator on function spaces, in your example e.g. $$E \colon W^{1,2}(0,T) \times L^2(0,T) \to L^2(0,T)$$
with $$E(x,u) = ax + f(x) + u - \dot x.$$
(One can also set this up differently, for instance directly with the Duhamel formula, but the principle remains the same.) Then the differential equation is satisfied by $x$ for parameter $u$ on $(0,T)$ for your desired regularity exactly if $E(x,u) = 0$.


You then show that $E$ is continuously differentiable, and that, for given $(\bar x,\bar u)$, the linear (!) operator $\partial\_x E(\bar x,\bar u)$ is continuously invertible. (This partial derivative in $(\bar x,\bar u)$ will then be an operator in $\mathcal L(W^{1,2}(0,T);L^2(0,T))$ which corresponds to the linearized equation of the original nonlinear equation.)


From this, the IFT tells you that **if** you have a pair $(\bar x,\bar u) \in W^{1,2}(0,T) \times L^2(0,T)$ satisfying the differential equation, so $E(\bar x,\bar u) = 0$, then there exist **open neighborhoods** $U\_{\bar x}$ of $\bar x$ in $W^{1,2}(0,T)$ and $U\_{\bar u}$ of $\bar u$ in $L^2(0,T)$ together with an implicit function $\varphi \colon U\_{\bar u} \to U\_{\bar x}$ such that $E(\varphi(u),u) = 0$ for all $u \in U\_{\bar u}$. (And, indeed, that $(\varphi(u),u)$ are the unique pairs in the neighborhoods verifying this.)


The only thing left would be to establish that there indeed exists a solution $\bar x \in W^{1,2}(0,T)$ corresponding to $\bar u \in L^2(0,T)$ *at all*. (Usually the first candidate here would be $u\equiv0$.) Then the foregoing reasoning gives you an **open set** $U\_{\bar u}$ around $\bar u$ such that the for every $u \in U\_{\bar u}$ there exists a unique solution $x\_u := \varphi(u)$ on $(0,T)$ for your equation. 


Of course, this set $U\_{\bar u}$ includes a ball $B\_{R\_\ast}(\bar u)$ around $\bar u$ in $L^2(0,T)$ for $R\_\ast$ small enough. The other way around, if you happen to know that every $u \in M$ for some set $M$ gives rise to a solution $x\_u$ on $(0,T)$, then you obtain open neighborhoods $U\_u$ for every $u \in M$ such that the solutions $x\_v$ associated to $v \in U\_u$ again exist on $(0,T)$. Thus, $$U\_{M} := \bigcup\_{u \in M} U\_u$$ is an open set containing $M$ whose elements all give rise to solutions on $(0,T)$.


Generally, the result to take away is that in the given situation, the set of parameters/controls $u$ producing a solution $x\_u$ on a given time interval, is *open*. (In fact, the IFT also tells you that the *solution mapping* $\varphi$ is continuously differentiable which might also be of interest.) 


The technique generalizes to the evolution equation setting.


My standard reference for the Banach space IFT would be the book of Serge Lang, there it is Ch. XIV, Thm. 2.1. (See the citation below.) The technique is usually used to show that the solution operator (here $\varphi$) in optimal control problems is continuously differentiable in order to apply first order optimality conditions to characterize solutions to optimal control problems, so I have also added two more references (the books by Tröltzsch and Hinze/Pinnau/Ulbrich/Ulbrich) for that. (The books are about optimal control of PDEs though, but that's where I'm from, so..)


*Lang, Serge*, Real and functional analysis., Graduate Texts in Mathematics. 142. New York: Springer-Verlag. xiv, 580 p. (1993). [ZBL0831.46001](https://zbmath.org/?q=an:0831.46001).


*Tröltzsch, Fredi*, Optimal control of partial differential equations. Theory, procedures, and applications., Wiesbaden: Vieweg (ISBN 3-528-03224-3). x, 297 p. (2005). [ZBL1142.49001](https://zbmath.org/?q=an:1142.49001).


*Hinze, M.; Pinnau, R.; Ulbrich, M.; Ulbrich, S.*, [**Optimization with PDE constraints**](http://dx.doi.org/10.1007/978-1-4020-8839-1), Mathematical Modelling: Theory and Applications 23. Dordrecht: Springer (ISBN 978-1-4020-8838-4/hbk; 978-1-4020-8839-1/ebook). xi, 270 p. (2009). [ZBL1167.49001](https://zbmath.org/?q=an:1167.49001).


