HJB trajectory cost equality