Before revision:  We prove existence and uniqueness of a globally bounded classical solution to the pre-default HJB equation, and give a verification theorem characterizing each value function as the solution of the corresponding HJB equation .
After revision:  We prove existence and uniqueness of a globally bounded classical solution to each HJB equation, and give a verification theorem characterizing each value function as the solution of the corresponding HJB equation .