Before revision:  Based on the this decomposition , we further show that the associated optimal exercise boundary exists , and is a strictly increasing and smooth curve .
After revision:  Based on this decomposition and using free boundary techniques, we show that the associated optimal exercise boundary exists , and is a strictly increasing and smooth curve .