Before revision:  Moreover, to eliminate the ruin possibilities and having a minimum guarantee for the final annuity, we consider a safety level for the wealth process which consequently yields a Hamilton-Jacobi-Bellman (HJB) equation on a bounded domain.
After revision:  Moreover, to eliminate the ruin possibilities and having a minimum guarantee for the final annuity, we consider a safety level for the wealth process is considered. To solve the stochastic optimal control problem via dynamic programming, we obtain a Hamilton-Jacobi-Bellman (HJB) equation on a bounded domain.