4.1 图像分割的变分理论