|
设置δ(0)=~n(0)和δ(1)=~n(1),并应用富比尼定理,其内质(8)等价于zx(~n)- δ(x)dQ(x)60,(9)每Q(·)∈ G、 这显然相当于δ(·)在[0,1]上占主导地位。在这种情况下,我们有(10)Zu(Q(x))- λQ(x)~n′(x)dx 6Zu(Q(x))- λQ(x)δ′(x)dxZu(Q(x))- λQ(x)δ′(x)dx,其中最后一个不等式是通过逐点最大化新拉格朗日:Q(x):=arg maxny:u(y)得到的- λyδ′(x)o=(u′)-1(λδ′(x)),x∈ [0, 1].(11) 为了使q(·)成为分位数函数,我们要求δ(·)是凹的。为了使Q(·)成为问题(7)的最佳解决方案,在(10)之前,haveZ是有效的u(Q(x))- λQ(x)~n′(x)dx=Zu(Q(x))- λQ(x)δ′(x)dx,(12)或等效的Z(u′)-1(λδ′(x))~n′(x)- δ′(x)dx=0。应用富比尼定理,并使用δ(0)=~n(0)和δ(1)=~n(1),上述恒等式等价于(13)Z(u′)-1(λδ′(x))~n′(x)- δ′(x)dx=Zδ(x)- ~n(x)D(u′)-1(λδ′(x))= λZδ(x)- ~n(x)u′\'(u′)-1(λδ′(x))dδ′(x)=0。由于δ(·)在[0,1]上占主导地位,u′(·)<0,并且δ(·)是凹的,根据最后一个恒等式,δ′(·)在{x的任何子区间上必须是常数∈ [0,1]:δ(x)>~n(x)}。把迄今为止获得的关于δ(·)的所有要求放在一起,我们看到δ(·)应该(i)支配[0,1]上的φ(·),δ(0)=φ(0)和δ(1)=φ(1);(ii)在[0,1]上是凹的;以及(iii)成为{x]上的一员∈ [0,1]:δ(x)>~n(x)}。因此,我们得出结论,δ(·)必须是[0,1]:δ(x)=sup06a6x6b61(b)上的φ(·)的凹包络- x) ν(a)+(x)- a) ~n(b)b- a、 x∈ [0, 1].(14) 另一方面,如果δ(·)是[0,1]上的φ(·)的凹包络,则(9)和(13)成立。
|