I have a somewhat vague question regarding an abstract ODE in a Banach space.  

Suppose $A:D(A) \subset X \rightarrow X$ is some linear operator (let's assume it's closed) and maybe add some other conditions. 


Suppose $x\_0 \in X$ is non-zero and suppose one has the relevant theory 
to show the existence of a solution of $x'(t)=Ax(t)$ for $t>0$ with $x(0)=x\_0$. 


So the question that I came up is: can $x(t)$ converge to zero in finite time?


I assumed the answer was no and I did the ``usual ODE proof'' where one assumes it is and then runs the ODE backwards with initial condition $x\_0=0$ and then uses uniqueness of solution to get a contradiction. So I guess my question is, is x(t)=0 the unique solution of 
$x'(t)=-Ax(t)$, $x(0)=0$ ? At first glance I thought this was completely obvious but I can't seem to prove it.



Abstract ODE; PDE; uniqueness of solution
No, this is not true. There is no backward uniqueness in general. 


What you need is the theory of [operator semigroups](http://www.fa.uni-tuebingen.de/research/publications/2006/a-short-course-on-operator-semigroups/A_Short_Course_on_Operator_Semigroups.pdf), and here is a simple example.


Consider the operator $Af=f'$ in the space $X=L^2[0,1]$ with domain
$$D(A)=\{f\in H^1[0,1]\,,\, f(1)=0\}.$$


Then the solution to the initial value problem is given by $x(t)=T(t)x\_0$ with
$$T(t)f(s):=\begin{cases} f(t+s), t+s\leq 1,\\ 0, \quad t+s>1.\end{cases}$$


Clearly, $T(t)f=0$ for all $t>1$, but the initial value problem is well-posed in the classical sense ($A$ closed, classical solutions from a dense set of initial values, continuous dependence on initial values).


**ADDED:** After clarifications on the question, let me add the following: If $A$ is sectorial and hence generates an analytic semigroup, then finite time extinction of soultions cannot happen. Other conditions are difficult to formulate. If you say more on your operator, it can help...


