Mathematical Theory of Dispersion-Managed Optical