Inverse problem for semilinear control systems

Let consider the following problem: find an element u(t) in a Banach space U from the equation $$ x'(t) = Ax(t) + f(t,x(t)) + \Phi_0 u(t), 0 \leq t \leq T $$ with initial and terminal conditions $$ x(0) = 0, x(T) = \phi $$ in a Banach space X where $\phi \in D(A)$. This problem is a kind of control engineering inverse problem and contains nonlinear term, so that it is difficult and interesting. Thee proof main result in this paper is based on the Fredholm property of [1] in section 3. Similar considerations of linear system have been dealt with in many references. Among these literatures, Suzuki[5] introduced this problem for heat equation with unknown spatially-varing conductivity. Nakagiri and Yamamoto[2] considered the identifiability problem, which A is a unknown operator to be identified, where the system is described by a linear retarded functional differential equation. We can also apply to determining the magnitude of the control set for approximate controllability if X is a reflexive space, i.e., we can consider whether a dense subset of X is covered by reachable set in section 4.