On the solution of a Hamilton-Jacobi type equation in nonlinear discrete-time H-infinity control