The existence of optimal solution and first order optimal condition are proved according to the optimal theory and methods of nondifferentiable function.

• 用不可微优化理论与方法证明了模型最优解的存在性与一阶最优性条件。