|
设C是Rn中的凸集,D是Rm中的凸集,Ebe是Rl中的凸开集,f=f(x,y,z):C×D×E→ R对于x是函数con v ex,对于(y,z)是凹函数,设z∈ 例如:g(z),supy∈丁克斯∈Cf(x,y,z),z∈ E、 假设最大值g(z)在唯一的x处达到∈ 我可以做一些(不一定是独一无二的)∈ 函数f(x,y,·)在z处是可微的,然后函数g:E→ R∪{-∞} 在一个特定的区域,在一个特定的区域g(z)=Fz(x,y,z)。Rema rk A.2。Milgrom和Segal[9]中的定理5是我们在文献中能找到的最接近的结果。在这里,f上的凸性假设被C和D上的紧性要求s所取代。定理A.1的证明依赖于定理3.1的证明中使用的两个独立的引理。第一个引理本质上是已知的,例如参见[9]中的推论3。引理A.3。设f=f(x,y):Rn×Rm→ R∪{-∞} 做一个凹形的f,让y∈ Rm。表示g(y),supx∈Rnf(x,y),y∈ Rm,并假设上界g(y)在某个(并非必要的)x处达到∈ r函数f(x,·)在y是可出租的,然后函数g:Rm→ R∪ {-∞} 是凹形的,在yand(A.1)可区分g(y)=Fy(x,y)。证据g的凹性源于f关于两个参数的凹性。作为g(y)=f(x,y)<∞, 这种凹性意味着g<∞. 自从g≥ f(x,·),函数g在y的邻域中是有限的。因此g(y)是g在y的次微分,它不是空的。如果*∈ g(y),曾(y)≤ g(y)+hy*, Y- 哎呀∈ Rm。作为f(x,y)≤ g(y),y∈ Rm和f(x,y)=g(y),它跟在f(x,y)后面≤ f(x,y)+hy*, Y- 哎呀∈ Rm。因此,y*属于f(x,·)在y的次微分,因此也属于y*=Fy(x,y)。
|