非线性规划、库恩-塔克定理nonlinear programming,Kuhn-Tucker theorem

非线性规划是在约束g_i(x₁,x₂，…，x_n)≦b_i(i=1，…，m)之下，求x=(x₁,x₂，…，x_n)使目标函数f(x₁,x₂，…，x_n)最大化的问题，其中g_i和f中至少有一个不是线性函数，而且g_i和f均一次连续可微。
如果所有的约束都是等式，即g_i(x₁，…，x_n)=b_i,(i=1，…，m)，则可用拉格朗日(Lagrange)乘数法求解。构造拉格朗日函数(x₁，…，x_n),λ=(λ₁，…，λ_m)。f(x)在x^*取最大值的必要条件将是∂L(x,λ)/∂x_j|x^*＝0,(j=1，…，n)。可解这个方程组求出x^*。
如果约束不全为等式，而且从经济意义考虑要求x_j(j=1，…，n)为非负，则有如下的库恩-塔克定理：如果g_i(x)(i=1，…，m)满足约束品性条件，则在g_i(x)≦b_i(i=1，…，m)和x_j≧0(j=1，…，n)的约束下，f(x)在x^*取最大值的必要条件是存在λ₁,λ₂，…，λ_m满足：

x_j≧0 (j=1,2，…，n)

约束品性条件有好几种形式，其中之一是斯拉特(Slater)条件，它要求存在一个点x°≧0，满足g_i(x°)i(i=1,2，…，m)，即在x°处所有约束均是严格的不等式。
可以证明，x^*和λ₁，…，λ_m满足关系λ_i＝∂f(x^*)/∂b_i,(i=1,2，…，m)。如果把x看成生产活动水平，g_i(x)是第i种资源的消费量，b_i是它的最大可能利用量（资源存量），目标函数f(x)是对应于活动水平x的收益，则λ_i就是第i种资源存量增加一单位时最大收益的增量，因此λ_i就是第i种资源的影子价格。
参见“影子价格”。