f(x)是定义在Banach空间上的无下界的下半连续函数.本文的主要工作是构造一个Banach空间上的连续函数g(x),这个函数的次微分是点点存在的,且f(x)+g(x)≥0即可以将f(x)转化为有下界函数.