Theoretical Problems in Cavity Nonlinear Optics