非二次の努力費用を持つ契約モデルの正則性を証明

This paper studies the regularity of the value function arising from a multidimensional continuous-time principal-agent model with separable, nonquadratic effort costs. The associated stochastic control problem has the output and the agent's continuation utility as state variables, and its Hamilton-Jacobi-Bellman equation is fully nonlinear and degenerate, with potentially unbounded coefficients. We address these difficulties by adding an independent regularization noise and bounding the effort. For the resulting problem, we establish classical regularity of the value function and show that the optimal effort is unique, positive and remains in a fixed compact subset, uniformly with respect to both the control restriction and the regularization parameter. These estimates allow us first to remove the control restriction and then to let the additional noise vanish. Consequently, we prove that the regularized value function converges to the original value function and conclude that the latter belongs locally to the Sobolev space $W^{2,1}_{\infty, \mathrm{loc}}$, thereby extending the regularity analysis to separable nonquadratic effort costs, for which the arguments yielding classical solutions in the quadratic-cost setting no longer apply.