Study of Hamilton-Jacobi type equations in stochastic optimal control models for market making. Asymptotic analysis and spectral approximations