高级微观经济学数学准备

（一）函数1凹（凸）函数1.1凸集凸集：对于任意两点U€S和v€S,且对于每一个0e[0,1],当且仅当w，0u+（1—0）veS为真时，集合S…Rn为凸集。凸集要求集合内两点之间的连线必须也在集合内，即该集合不存在任何孔，它的边缘也不能有缩进。例如，平面中，一条线段就是一个凸集，而一个圆圈则不是。1.2凹（凸）函数介绍凸集是为了引入凹（凸）函数：不管是凹函数还是凸函数都要求其定义域是凸集。我们可以先举个例子直观感受下凹（凸）函数的特征，比如函数y，—x2+4x—4就是一个凹函数，它在定义域内呈现出峰形；函数y，X2—4x+4就是一个凸函数，它在定义域内呈现谷底。现在具体给出凹（凸）函数的定义：对于函数f:DTR，其定义域内任意两个不同的点xi和X2,当且仅当tf（xi）+（1—t）f（X2）<f（txi+（1—t）X2）Vt€（0,1）时，函数f为凹函数。对于函数f:DTR，其定义域内任意两个不同的点X1和X2,当且仅当f(x1)+(1—t)f(X2)>f(tX1+(1—t)X2)Vt€(0,1)时，函数f为凸函数。若将不等号“<”和“>”分别变换成严格不等号“<”和“<”，上述定义便成了严格凹函数和严格凸函数的定义。tx1+（1—t）x2因为凹函数的定义域为凸集，因此点 也一定在函数的定义域内。我们可以利用凹（凸）函数和严格凹（凸）函数判断函数极值的情况。凹函数一定存在绝对极大值，但绝对极大值可能不是唯一的，因为如果山峰包含一个平顶，则可能存在多重绝对极大值。仅当我们限定它为严格凹形函数时，绝对值才可能是唯一的。1.3凹（凸）函数与凸集的关系首先我们必须区别凸集与凸函数的概念。根据定义，可知当“凸的”在描述集合时，它要求该集合不能出现任何孔，边缘也不能有缩进。这不同于之前的凹（凸）函数：当“凸的”在描述函数时，它确定的是一条曲线或曲面是如何弯曲的。但凹（凸）函数确实与凸集有关。除了定义域都要求是凸集之外，它们都可以引致一个凸集。定理f（x）f（x）是凹函数oA三,y)|x€D,f(x)>“是凸集;f（x）是凸函数，A三€（x,y）|x„D,f（x）…y｝是凸集。即，由函数上的点以及函数曲线（曲面）之下的点组成的集合若是凸集，该函数为凹函数;由函数上的点以及函数曲线（曲面）之上的点组成的集合若是凸集，该函数为凸函数。2拟凹（拟凸）函数不管是凹（凸）函数还是严格凹（凸）函数，它们对函数都有比较强的设定。但是通常,理论研究的工作之一是为保证获得结果，识别出我们需要对函数进行的最弱的可行设定。拟凹（拟凸）函数则是一个相对而言更弱的条件。拟凹（拟凸）函数的定义如下：对于函数f:DTR，其定义域内任意两个不同的点xi和X2,当且仅当min€f（xi）,f（X2）｝…f（txi+（1-1）x2）forallt„（0,1）时，函数f为拟凹函数。对于函数f:DTR，其定义域内任意两个不同的点xi和X2,当且仅当max€f(xi),f(x2)}>f(txi+(1-1)x2)forallt„(0,1)时，函数f为拟凸函数。若将不等号“…”和“>”分别变换成严格不等号“<”和“<”，上述定义便适用于严格拟凹函数和严格拟凸函数的定义。我们也可以通过更直观的方法检验函数的拟凹性和拟凸性。设S（yo）三・卜„D,f（x）>y0｝为函数f（x）在y0水平上的上等值集，I（y0）=€x|x„D,f（x）…y0｝为函数f（x）在y0水平上的下等值集。定理对于值域内的所有y值，S（y）都是凸集，f:DTR是拟凹函数对于值域内的所有y值，I（y）都是凸集，f:DtR是拟凸函数经济学中常假设拟凹的效用函数。根据定理，拟凹的效用函数保证了其上等值集为凸集。3函数间关系（1） f（x）是（严格）凹函数，-f（x）是（严格）凸函数；（2） f（x）是（严格）拟凹函数，-f（x）是（严格）拟凸函数；（3） f（x）是（严格）凹函数nf（x）是（严格）拟凹函数（反之不成立）；（4） f（x）是（严格）凸函数nf（x）是（严格）拟凸函数（反之不成立）；（5） 单调函数既是拟凹函数也是拟凸函数（6） 凹（凸）函数相加仍为凹（凸）函数，拟凹和拟凸函数则没有类似关系。

无约束的最优化问题一元函数的无约束极值本讲义将讨论的函数范围限定在二次连续可微函数的范围里。给定一个二次连续可微的一元函数,y€f(x)。易知，它在x€x处取得极值的一阶必0要条件为：f'(x)€0o而该极值究竟是极大值还是极小值得看f''(x)的符号：若f"(x)<0，则f(x)为唯一的绝对极大值；若f''(x),0,则f(x)为唯一的绝对极小值。00利用上述极值的导数条件，我们可以推导出极值的微分条件，即：dy€f'(x)dx€0=极值的一阶必要条件：对于任意非零dx，函数的一阶全微分为零;d2y€d[f'(x)dx]€f''(x)dx2=f''(x)(dx)2n对于任意非零dx，我们也可以通过计算函数的二阶全微分来判断极值的情况。综上，当函数为二次连续可微时，它取得极值的必要条件为：ndy€f'(x*)dx€0函数在x*取得绝对极大值 ，对于任意非零dx都成立；nd2y€f''(x*)(x)„0ndy€f'(x*)dx=0函数在x*取得绝对极小值 ，对于任意非零dx都成立。nd2y€f''(x*)(dx)2…0在满足必要条件的前提下，函数取得唯一的绝对极值时充分条件为d2y€f''(x*)dx2<0，对于任意非零dx都成立n函数在x*取得唯一绝对极大值；d2y€f''(x*)dx2,0,对于任意非零dx都成立n函数在x*取得唯一绝对极小值。只要将dx改为一阶微分向量dx，以上极值的微分条件能直接从单变量的情况推广至两个甚至多个变量的情况。多元函数的最优化问题2.1一阶条件稳态值Rn上的函数y€f(x,x x)的稳态值rx*,x*,...,x*)T€x],在该点处，下面几个等式同时成立：f(x*,x*,...,x*)€0,TOC\o"1-5"\h\z12 nf(x*,x*,...,x*)€0,12 nf(x*,x*,・・・,x*)€0.n1 2 n即对于如果在点(x*,x*,...,x*)T€x*，我们可能得到局部最大(小)值,即对于(x*,x*,...,x*)T€X*—个尽可能小的邻域内，所有点(x,x，…,x)T€x都有

f(x*,x*,...,x*)咯f(x,x x)，那么稳态条件必然满足。1 2 n/S 1 2 n2.2二阶条件直觉上，多元函数与一元函数一样，在稳态值取得最大值还是最小值与d2y的符号有关。我们先对dy进行微分，可得:d2y，[df(x*)dx]+[df(x*)dx]+...+[df(x*)dx]TOC\o"1-5"\h\z" " 2 2 n n+f(x*)dxdx+...+f(x*)dxdx12 12 1n 1n+f(x*)dxdx+... +f(x*)dxdx11f(x*)dxdx11 1 1+f(x*)dxdx，2121其中，H(x*)11f(x*)dxdx11 1 1+f(x*)dxdx，2121其中，H(x*)，+f(x*)dxdxn1 n1?(x*)11"(x*)21+f(x*)dxdx，(dx)T?(x*)ii"(x*)21°(x*)nlf(x*)12f(x*)22n2?(x*)12"(x*)22"(x*)n2「(x*)in"(x*)2nn2f(x*)1nf(x*)2n...+f(x*)dxdxnn nn"(x*)nnd(x)为海塞矩阵。根据杨格定理：f,f，ij"(x*)nl"(x*)n2"(x*)nn因此海塞矩阵为对称矩阵。在判断d在判断d2y的符号之前，我们先正(负)定矩阵及其判定方法。若对于所有的x若对于所有的x丰0，q(x)=xTAx>0始终成立，则称q(x)正定，A为正定矩阵;若对于所有的x丰0，q(x)=xTA若对于所有的x丰0，q(x)=xTAx<0始终成立,则称q(x)负定，a为负定矩阵;若对于所有的X丰0，q(x)=xTAx€0始终成立,则称q(x)半正定，A为半正定矩阵;若对于所有的x丰0，q(x)=xTAx<0始终成立,则称q(x)半负定，a为半负定矩阵。根据以上定义，若要判断d2y的符号，我们只需判定与其对应的海塞矩阵的正(负)定。其实，通过判定海塞矩阵的正(负)定，我们也可以判定函数的凹(凸)性，即对于二次连续可微函数y，f(x,x x)，1 2 n(1)其海塞矩阵H(x)负定o函数为严格凹函数n存在唯一绝对极大值;(2)其海塞矩阵H(x)正定o函数为严格凸函数n存在唯一绝对极小值。

接下来介绍正负定的判定方法。主子阵：对n€n矩阵A,由A的k个主对角线元素及其对应的非对角线元素来得到的矩阵，称为A的k阶主子阵；由A的前k个主对角线元素及其对应的非对角线元素来得到的矩阵，为k阶前主子阵。主子阵的行列式为主子式；前主子阵的行列式为顺序主子式。我们用D表示H(X)的k阶顺序主子式(其中k=1,2,3,...,n)，如:q(x)=|fi(x)|,D2(x)=DD2(x)=Dk(x)=f(x)11f(x)21f(x)11f(x)2fn1(x)f(x)12f(x)22\o"CurrentDocument"f (x) ... f (x)12 1n\o"CurrentDocument"f (x) ... f (x)22 2n\o"CurrentDocument"f (x) ... f (x)n2 nn对于二次连续可微函数，y=f(珥，S'…,»)(1)|DI，0(k=1,2,...,n)n海塞矩阵正定;k(2)(„1)kD…0(k=1,2,...,n)n海塞矩阵负定。k用H兀表示海塞矩阵H的指标(1,2,3,…，n)的任意排序，D为H兀的k阶顺序主k子式，则D宀0, (k=1,2,...,n)n海塞矩阵半正定；k(„1)kD^>0, (k=1,2,...,n)n海塞矩阵半负定。k从而，我们给出极值的充分条件：已知二次连续可微函数 y=f(x,xx)=f(x)1 2 n ，f(x*,x*,...,x*)=0(i=1,2,...,n)i1 2 n其海塞矩阵H(x)负定o严格凹函数nf(x*)为函数的唯一绝对极大值；其海塞矩阵H(x)正定o严格凸函数nf(x*)为函数的唯一绝对极小值。举例：二元函数的无约束极值问题有一个二次连续可微函数y=f(x,x)，12

可知其海塞矩阵为H可知其海塞矩阵为H，21(1)亿-f12>0<y-f(X1，叮为严格凹函数;(1)⑵D，f>0，D，ff-f2>0<y，f(X,x)为严格凸函数;111211221212D,f,f<0，D,ff—f2—0<y=f(x,x)为凹函数;1 11 22 2 1122 12 1 2D”=f,f—0，D,ff一f2—0<y=f(x，x)为凸函数;1 11 22 2 1122 12 1 2若f(X*,X*)，f(X*,X*)，0，我们就可以根据函数的凹凸性来判定函数在点(X*,X*)11221212取得的是绝对极大值还是绝对极小值。具有约束条件的最优化问题之前的部分只是考虑了无约束条件的最优化问题，这即是说在求极值的过程中，我们没有对选择变量的值进行约束，从而求得的解可能是负值，也可能很大。然而考虑到经济学是建立在稀缺的资源如何配置的问题上的，因而在经济学的最优化求解过程中，我们通常不得不面临资源的稀缺性——即对选择变量的值加上约束条件。约束条件大致分三类：等式约束、非负约束以及更普遍的，其它形式的不等式约束。我们将依次介绍对应的求解方法。从现在开始，讨论将以最大化问题为主，在解决最大化问题后会稍微提及解决最小化问题的方法。1等式约束关于解决等式约束的方法，其实我们已经学过了，就是利用拉格朗日方法求解的过程。现在简要回顾拉格朗日函数。1.1二元目标函数、一个等式约束的约束最优化条件考虑二元函数下，具有约束条件的最优化问题maxXmaxX1，X2y€f(%1，J)s.t. g(x,x)€c12其中c是一个常数，z和g都是二次连续可微函数。该问题的拉格朗日函数为：L€f(X1，X2)+心一g(X1，X2)]一阶条件要求:„g(x*,x*)12€0„x1„„g(x*,x*)12€0„x1„x1TOC\o"1-5"\h\z1 2—九„x1x„L „„L „f(x*,x*)„g(x*,x*) 012€0

„x2€ 2一九*\o"CurrentDocument"„x x22\o"CurrentDocument"„L ( ) 0\o"CurrentDocument"€c-g(x*,x*)€0„九 1 2求出上述一阶条件，可得(x*,x2,九*)。二阶条件：将拉格朗日乘子也看作是变量，则最大化拉格朗日函数的过程可视为无约束最优化过(x*x*九*)程。这也就是说，如果解(x1‘x2‘ )满足L的无约束极值中极大值的二阶条件，我们便可确定(x；,x；,九*)是我们约束最优化问题的解。事实上在二阶条件求导过程中，这里与无约束最优化关键区别在于，dx与dx的取值不再是任意非零即可，等式约束中dx与dx的1212取值有关。对等式约束g(x,x)€c两边求一阶全微分，可得：12

dxg1，2dg=gdx+gdxdxg1，21 1 2 2dx=—邑dx因此等式约束要求2—g1。2对函数y€f（x1，叮进行二阶全微分可得:d2y=d2y=d(dy)=皿dx+型dx„x 1 „x 212=[fdx2+fdxdx+f"吃)dx]+[fdxdx+fdx2+f"吃)111 1212 2„x 1 1212 222 2„x„x1=fdx2+2fdxdx+fdx2+fd2x11 1 12 1 2 22 2 2 22 „x2dx]2对g（x1，x2）=C进行二阶全微分，化简可得:d2g=d(dg)€gdx2+2gdxdx+gdx2+gd2x=011 1 12 1 2 22 2 2 2—1,d2x= …(gdx2+2gdxdx+gdx2)-g11 1 12 1 2 22 22将上式代入d2y，可得:dx2/12122211^(Lg2—2ggL+Lg2)12122211g2 11 2而L-g2-2g1g2L_+L22g12而L-g2-2g1g2L_+L22g121=—1121212gxgygxLxxLyxgyLxyLyy定义gxgygxLxxLyxgyLLyy」为加边海塞矩阵，它是由海塞矩阵和一阶导数（边）构成的矩阵，用H表示,H上面的-表示边。D€gxgygxLxxLyxgyLxyLyyd2y=(—1)dx12D综上，我们可以得到目标为二元函数、仅包含一个等式约束的最优化条件:当（x*,x2,九*）满足拉格朗日函数的一阶条件时，D＜（＞）0,（x*，x2）为约束极小（大）值。

1.1.1严格拟凹（拟凸）函数与约束极值的关系当函数y是二次连续可微时，我们还可以用函数的一阶导数和二阶导数（整理成加边行列式）的方法来检验：设（1）|B>0nz为严格拟凹函数;（2）B<0nz为严格拟凸函数。将B与之前的加边海塞矩阵H进行比较，可以发现两个不同之处：一为B中的加边元素是函数f而非g的一阶偏导数，二为B中的其余元素是f而非拉格朗日函数L的二阶偏导数。然而，在线性等式约束g（x,x）„ax<ax„c的特定情况121122下（这类等式约束在经济学中经常遇到），L可简化为f，即L„f。ijijij从而，拉格朗日函数为L„f(x<x)<X[c一(ax+ax)]121122从而„0„0且L.且IJij。回到“边”我们注意到线性约束函数产生一阶导数g„a，因而一阶条件可写为iif„九g。因此B中的边只不过是H的边被正的标量九乘。通过顺序提取H的横边和纵边i i的公因子，得到12九g111122212九g11112222122结果，在线性约束情况下，B与D总有相同的符号由此可知，在线性约束的条件下，我们可以通过直接判断目标函数的严格拟凹（凸）性去判断约束极值的情况：（1）目标函数为严格拟凹函数n函数在稳态值取得唯一的约束绝对极大值；（2） 目标函数为严格拟凸函数n函数在稳态值取得唯一的约束绝对极小值。

平滑、递增、拟凹的生产函数€上等值集为凸集n凸的向下倾斜的等产量曲线。1.2多元目标函数、m个等式约束的约束最优化条件现在将拉格朗日方法应用于多元函数。面临的最优化问题为：max y，f(x,xx)TOC\o"1-5"\h\zX],x?,...,x 12 n\o"CurrentDocument"s.t. g](x,x x)，c\o"CurrentDocument"1 2 n 1g2(x,xx)，C1 2 n 2gm(x,xx)，C拉格朗日函数为:1 2 n m拉格朗日函数为:L(x,九)，f(x)+…九[c—gj(x)]jjj,1一阶条件:|Lf—…勺晋，0(i，4n)i i j，1 i=c„gj(X*)=0(j=h2,...,m)0九 jj二阶条件：此时加边海塞矩阵为：g10gg10g11...g1n0gm...gm1ngmL...L1111ngmL...Lnn1nn0g1gk0 g0 gm1gm L111gmkL1kgmgmLk k1Lkk利用Dk我们直接给出多元目标函数、m个等式约束的约束最优化条件:(x*,九*)为满足一阶必要条件的解，则(1)(„1)kD>0(k，m+1,m+2,...,n)n函数在点x*取得唯一的约束绝对极大值;k

⑵D€0(k=m,1,m,2,...,n)n函数在点(x*)取得唯一的约束绝对极小值。k2非负约束考虑一元可微函数：max„=f(x)st. x…0由于约束条件x…0，因此可能会出现三种情况：在x大于零时兀取得绝对极大值。此时我们得到了一个内点解。在这种情况下，d„一阶条件是丁=f'(X)=0，和经典问题一样。dxd„x等于零时„取得绝对极大值。此时我们得到了一个边界解，但 =f'(x)=0仍dx然成立。x小于零时„取得绝对极大值。此时我们也得到了边界解，但因为作为非线性约束问题中的一个局部极大值,候选点必须必可行域中的邻近点高,从而要求束问题中的一个局部极大值,候选点必须必可行域中的邻近点高,从而要求-=f'(x)€0。dx综上，为了在xe[0,◎内找到„的极大值，必须满足以下三个条件中的一个:f'(x)=0且x>0；f'(x)=0且x二0；f'(x)<0且x二0；将上述三个条件合成一个论述：f'(x)<0，x…0且xf'(x)=0，其中，第三个等式表达了三个条件的一个共同特点，即x和f'(x)至少有一个是零，因此两者的乘积一定是零。这个特点是指x与f'(x)互补松弛。当问题包含当问题包含n个选择变量时：maxs.t. x…0(j=1,2,...,n)j解决的思路与一元函数相同，这里我们直接给出该约束最优化的必要条件：(1)给定非负约束，多元函数fSi'J'…'xn)在稳态值处取得约束极大值，则满足

(ii)(iii)(1)给定非负约束，多元函数f(x*x* x*)八叮,x2，...,x"丿满足(ii)(iii)其它形式的不等式约束现在我们在非负约束的基础上，个不等式约束条件的问题：4<0,i,1,2,...,n€x(ii)(iii)(1)给定非负约束，多元函数f(x*x* x*)八叮,x2，...,x"丿满足(ii)(iii)其它形式的不等式约束现在我们在非负约束的基础上，个不等式约束条件的问题：4<0,i,1,2,...,n€xi[€f^]x*，0,i，1,2,...,n€x iix*>0,i，1,2,...,nifS'J'…'xn)在稳态值处取得约束极小值，则辿>0,i,1,2,...,n€xi[€f^]x*，0,i，1,2,...,n€x iix*>0,i，1,2,...,ni再引入不等式约束。为简化，我们先处理两个选择变量和一maxs.t.在虚拟变量s的帮助下，我们可以将上述问题变换为:max„，f(x)s.t. g(x)+s，rx,s>0若没有非负约束，则我们可利用拉格朗日函数求解:L'，f(x)+X[r-g(x)—s]一阶条件为:€L' €L' €L'八，，，0€x€s €九但由于x与s必须是非负的，因此1.1部分的思路，上述一阶条件应改为:€L'€L'€x-0,x‘0,且x€T_0€L'€L'€L'-0

灰，0。

6L',0 6L'定成立。注意a€，0仍然成立，为何？因为a€定成立。，-€ s，r-g（x）进而，将as 以及 代入第二个条件，则第二个条件与第三个条件可变为:r-g（x,x）„0,€„0,[r-g（x）]…九，01 2 且从而我们可以用没有虚拟变量的等价形式来表达的一阶条件（这时L，f（x）+€[r—g（x）]）：H，fx-€gx-0,x„0,且x等=0r-r-g(x)„0,€„0,且、aL€…—a€上述讨论可以直接的方式应用于n个选择变量和个约束条件的问题。拉格朗日函数L的形式为：)+艺)+艺€[i厂gi(xi,S'…'叮i，1则该非线性约束问题的库恩-塔克条件为（极大化）:aL,f-€g<0,x„0,口x--，0(j，1,2,...,n)ax jjj且jaxjjTOC\o"1-5"\h\za- a-厂，r一gi（x,x x）„0,€„0,€——，0\o"CurrentDocument"a€ ij12ni且ia€ 。i i如果问题是求极小值，那么可以将它转化为极大化问题，然后应用以上条件求解。此处仅介绍用库恩-塔克条件求解非线性规划中的极大值问题。按水平的方向解读上式，我们可以看见库恩-塔克条件在极大化问题中包括了一组与选择变量与拉格朗日乘数的条件。从垂直的方向来解读，对于每一个选择变量和拉格朗日函数,都有一个边际条件（第一列）、一个非负约束（第二列）和一个互补松弛条件（第三列）。在任一个给定条件下，与选择变量相关的一组边际条件与拉格朗日成熟的一组边际条件在不等号方向上是不同的。若满足约束规范，库恩-塔克条件极大（小）化条件可以作为总体极大（小）值的必要条件。1.2举例我们现在就将库恩-塔克条件应用于效用最大化问题：maxU，xys.t. x+y<100x<40x,y>0拉格朗日函数为：

L=xy,€(100—x—y),€(40—x)12该问题的约束条件为线性的，因而它一定满足约束规范（之后解释），故可利用库恩-塔克条件求解，可得:„L=y—€—€…0,x>0,x生二0„x 1 2 且 „x—€…0,y>—€…0,y>0,iy归二0„y„L„€100—x—y>0,€1>°,且€1-„L1学二40—x>0,€>0, €•牛二0„€ 2且2„€22写出库恩-塔克条件后，典型的方法是通过试错法来求解。步骤如下：（1）首先给选择变量赋值为零。通过消除某些项来使条件简化。如果适当的非拉格朗日乘数可以满足所有边际不等式,那么零解将是最优的。x二0y=0 U=0对于当前这个例子，当 或时， 没有意义，因此该问题中x和y都是正数。此步骤跳过。（2）如果零解违反一些不等式，那么可以尝试让一个或更多选择变量为正数。对于每个正的选择变量,我们可以通过互补松弛条件使不等式边际条件转换为严格等式边际条件。应用于当前例子，贝y：=y—€—€=0<y=€+€,x>0>< :=冬x=€>0；1 9>< :=冬x=€>0；1 9=x—€=0<x=€,y>011由于x=€1>0，其它条件可变为:„L=100—x—„L=100—x—y=0„L这时我们仍然不能简化条件„T2=40—x>0,€2>0,且€2•牛=02。因此我们需要步骤⑶。（3）假设函数对拉格朗日乘数的偏导取不等号；若这个假定导致矛盾，那我们应该将该偏导等于零进行测算。QL因此，我们先假设莎，40—x„0,则y—x巳，0,那么有x=y=50。但这一解违反2了约束x…40，故舍去。QL那么，我们假设°€,40—x,°，则x=40,y=6021.3约束规范之前多次强调，库恩-塔克条件只有在满足规范约束时，才是极值的必要条件。那么约束规范具体是什么？先介绍几个概念。x*,(x*x* x*)令x-匕，育…,xn；是可行区域边界上的一个可能的解点，并令dX，(dX1，，^，…,,叫表示由所提到的边界点移动的特定方向。测试向量：若某一向量满足条件x*，0G)如果第j个选择变量在点x*处取得零值,那么只允许在x.轴上有非负变化,即:若j0，dx>0那么j；(ii)如果在点x*处恰好满足第i个约束条件的等式约束，那么将只允许dx,dx,...,dx的1 2 n取值使得约束函数值gi(x*)不增加(对极大值问题)，即:若gi(x*)，r，则dgi(x*)，gidx+gidx+...+gidx…0必须成立；i 11 2 2 nn则该向量为测试向量。规范弧：若某一弧段满足条件从点x*处出发；整个包含在可行区域内；与已知测试向量相切；则该弧段我们成为该测试向量的规范弧。有了这些预备知识后，约束规范可简单地表达为：如果对可行区域边界上的任意点x*，对每一测试向量dx，存在一规范弧，那么，就满足约束规范。约束规范的定义看上去有些抽象，有兴趣的同学可以借助参考书中的例子求解理解掌握这一概念。如果实际求解中，我们遇到可行区域是仅由线性约束形成的凸集，那么约束规范总是满足，且库恩-塔克条件在最优解处总成立。这时就免去了检验约束规范是否满足的步骤。

四最优化的其他主题接下来我们将回到经典的等式约束最优化领域来讨论包络定理。极大值函数极大值函数是当选择变量都是最优值时候的目标函数。这些选择变量的最优值是外生变量和参数的函数。一旦选择变量的最优值代入原目标函数中，那么目标函数就间接地称为参数的函数。因此，极大值函数也称间接目标函数。它是当参数发生变化的时候，目标函数极大(小)值变化的轨迹。举例：通过求解max U二u(x,y)s.t. px+py€Bxyx,y,0我们可得x*€x*(Px，py，B)，y*€y*(px，pB。将最优值代入U=u(x,y),则可得间接效用 函 数包络定理包络定理：即使在外生变量可能作为内生选择变量的解的一部分间接进入极大值函数的情况下，也只有外生变量参数变化的直接效应才需要考虑。为了阐释这一概念，考察下面的无约束最优化问题，其中包含两个变量x和y，以及一x*x*€x*(申)