1: \begin{abstract}

2: We study the optimal portfolio liquidation problem over a finite horizon in a limit order book with bid-ask spread and 

3: temporary market price impact penalizing speedy execution trades. We use a continuous-time modeling framework, but 

4: in contrast with previous related papers (see e.g.  \cite{rogsin08} and   \cite{schsch07}),  

5: we do not assume continuous-time trading strategies. We consider instead real trading 

6: that occur  in discrete-time, and  this is formulated as an impulse control problem under a solvency constraint, including the lag variable tracking the time interval between trades.  A first  important result of our paper is to show that nearly optimal execution strategies in this context lead actually to a finite number of  trading  times, and this holds true without assuming ad hoc any  fixed transaction fee.   

7: Next, we derive the dynamic programming quasi-variational 

8: inequality  satisfied by the value function in the sense of constrained viscosity solutions.  We also introduce a family of value functions converging to  our value function, and which is characterized 

9: as the unique constrained viscosity solutions of an approximation of our dynamic programming equation.  This convergence result  is useful  

10: for numerical purpose, postponed in a further study.  

11: \end{abstract}

12: