Before revision:  We separate the latter into a pre-default and a post-default dynamic optimization subproblems, and obtain two coupled Hamilton-Jacobi-Bellman (HJB) partial differential equations.
After revision:  We separate the latter into a pre-default and post-default dynamic optimization subproblems, and obtain two coupled Hamilton-Jacobi-Bellman (HJB) partial differential equations.