拉格朗日乘数法求得的是最值还是极值_微观经济拉格朗日方程求极值

一、拉格朗日乘数法简介

在日常的生产生活中，当我们要要安排生产生活计划的时候，常常会在现实物理资源约束的条件下，计算得到收益最大或者损失最小的计划； 像这种对自变量有附加条件的极值称为条件极值；拉格朗日乘数法是一种直接计算解决条件极值的方法；

拉格朗日乘数法的定义如下：

设有 f ( x , y ) , φ ( x ， y ) f(x, y), \varphi(x，y) f(x,y),φ(x，y) 两个函数，并且两者都有一阶连续偏导数,则做拉格朗日函数为

F ( x , y , λ ) = f ( x , y ) + λ φ ( x ， y ) F(x, y, \lambda) = f(x, y) + \lambda \varphi(x，y) F(x,y,λ)=f(x,y)+λφ(x，y) 令函数F的各个偏导数 F x = 0 , F y = 0 , F λ = 0 F_{x} = 0, F_{y} = 0, F_{λ} = 0 Fx​=0,Fy​=0,Fλ​=0,计算各个偏导数并联立方程得到

{ f x ( x , y ) + λ φ x ( x , y ) = 0 f y ( x , y ) + λ φ y ( x , y ) = 0 φ ( x , y ) = 0 \left\{\begin{matrix} f_{x}(x,y) + \lambda \varphi_{x}(x,y)=0 \\ f_{y}(x,y) + \lambda \varphi_{y}(x,y)=0 \\ \varphi(x,y)=0 \end{matrix}\right. ⎩⎨⎧​fx​(x,y)+λφx​(x,y)=0fy​(x,y)+λφy​(x,y)=0φ(x,y)=0​ 由此方程组解出拉格朗日函数稳定点 ( x 0 ， y 0 ， λ 0 ) (x_{0}，y_{0}，λ_{0}) (x0​，y0​，λ0​),则 ( x 0 ， y 0 ) (x_{0}，y_{0}) (x0​，y0​) 就是函数 f ( x , y ) f(x, y) f(x,y) 在附加条件 φ ( x , y ) = 0 \varphi(x,y)=0 φ(x,y)=0 下的可能极值点;

二、拉格朗日乘数法的推导

目标函数

f ( x , y ) = 0 (1) f(x, y) = 0 \tag{1} f(x,y)=0(1)

约束条件

φ ( x ， y ) = 0 (2) \varphi(x，y) = 0 \tag{2} φ(x，y)=0(2) 如果函数(1)在点 (x_{0}, y_{0}) 得到极值，那么首先会满足约束条件

φ ( x 0 ， y 0 ) = 0 (3) \varphi(x_{0}，y_{0}) = 0 \tag{3} φ(x0​，y0​)=0(3) 设 f ( x , y ) f(x, y) f(x,y) 与 φ ( x ， y ) \varphi(x，y) φ(x，y)在点 ( x 0 , y 0 ) (x_{0}, y_{0}) (x0​,y0​) 的某个邻域内有连续偏导数，且满足

φ y ( x 0 ， y 0 ) ≠ 0 \varphi_{y}(x_{0}，y_{0}) \ne 0 φy​(x0​，y0​)​=0 由隐函数存在定理，式(2)在点 (x_{0}, y_{0}) 的某邻域内能唯一确定一个单值可导且具有连续导数的函数 y = y ( x ) y=y(x) y=y(x) ，并且有 y 0 = f ( x 0 ) y_{0}=f(x_{0}) y0​=f(x0​),以及

d y d x ∣ x = x 0 = − φ x ( x 0 , y 0 ) φ y ( x 0 , y 0 ) (4) \left.\frac{\mathrm{d} y}{\mathrm{~d} x}\right|_{x=x_{0}}=-\frac{\varphi_{x}\left(x_{0}, y_{0}\right)}{\varphi_{y}\left(x_{0}, y_{0}\right)} \tag{4} dxdy​∣∣∣∣​x=x0​​=−φy​(x0​,y0​)φx​(x0​,y0​)​(4) 将 y = y ( x ) y=y(x) y=y(x) 带入公式(1)得到

z = f ( x , y ( x ) ) (5) z = f(x, y(x)) \tag{5} z=f(x,y(x))(5) 公式(5)也同公式(1)在 (x_{0}, y_{0}) 处取的极值，有一元函数取得极值的必要条件可得

d z d x ∣ x = x 0 = f x ( x 0 , y 0 ) + f y ( x 0 , y 0 ) d y d x ∣ x = x 0 = 0 (6) \left.\frac{\mathrm{d} z}{\mathrm{~d} x}\right|_{x=x_{0}}=f_{x}\left(x_{0}, y_{0}\right)+\left.f_{y}\left(x_{0}, y_{0}\right) \frac{\mathrm{d} y}{\mathrm{~d} x}\right|_{x=x_{0}}=0 \tag{6} dxdz​∣∣∣∣​x=x0​​=fx​(x0​,y0​)+fy​(x0​,y0​) dxdy​∣∣∣∣​x=x0​​=0(6) 将公式(4)带入公式(6)得到

f x ( x 0 , y 0 ) − f y ( x 0 , y 0 ) ⋅ φ x ( x 0 , y 0 ) φ y ( x 0 , y 0 ) = 0 (7) f_{x}\left(x_{0}, y_{0}\right)-f_{y}\left(x_{0}, y_{0}\right) \cdot \frac{\varphi_{x}\left(x_{0}, y_{0}\right)}{\varphi_{y}\left(x_{0}, y_{0}\right)}=0 \tag{7} fx​(x0​,y0​)−fy​(x0​,y0​)⋅φy​(x0​,y0​)φx​(x0​,y0​)​=0(7) 为了解出 (x_{0}, y_{0}) ，引入辅助变量

λ 0 = − f y ( x 0 , y 0 ) φ y ( x 0 , y 0 ) \lambda_{0}=-\frac{f_{y}\left(x_{0}, y_{0}\right)}{\varphi_{y}\left(x_{0}, y_{0}\right)} λ0​=−φy​(x0​,y0​)fy​(x0​,y0​)​

则公式(3)和公式(7)均成立等价于

{ f x ( x 0 , y 0 ) + λ 0 φ x ( x 0 , y 0 ) = 0 f y ( x 0 , y 0 ) + λ 0 φ y ( x 0 , y 0 ) = 0 φ ( x 0 , y 0 ) = 0 (8) \left\{\begin{array}{l} f_{x}\left(x_{0}, y_{0}\right)+\lambda_{0} \varphi_{x}\left(x_{0}, y_{0}\right)=0 \\ f_{y}\left(x_{0}, y_{0}\right)+\lambda_{0} \varphi_{y}\left(x_{0}, y_{0}\right)=0 \\ \varphi\left(x_{0}, y_{0}\right)=0 \end{array}\right. \tag{8} ⎩⎨⎧​fx​(x0​,y0​)+λ0​φx​(x0​,y0​)=0fy​(x0​,y0​)+λ0​φy​(x0​,y0​)=0φ(x0​,y0​)=0​(8) 在 f ( x , y ) , φ ( x ， y ) f(x, y), \varphi(x，y) f(x,y),φ(x，y) 给定的前提下，我们可以通过公式(8)计算得到 ( x 0 , y 0 , λ 0 ) (x_{0}, y_{0}, \lambda_{0}) (x0​,y0​,λ0​) ,我们可根据公式(8)的特点构造以下函数

F ( x , y , λ ) = f ( x , y ) + λ ϕ ( x , y ) F(x, y, \lambda)=f(x, y)+\lambda \phi(x, y) F(x,y,λ)=f(x,y)+λϕ(x,y)

可以看到公式(8)等价 F ( x , y , λ ) F(x, y, \lambda) F(x,y,λ) 的以下偏导数

{ F x ( x 0 , y 0 , λ 0 ) = 0 F y ( x 0 , y 0 , λ 0 ) = 0 F λ ( x 0 , y 0 , λ 0 ) = 0 \left\{\begin{array}{l} F_{x}\left(x_{0}, y_{0}, \lambda_{0}\right)=0 \\ F_{y}\left(x_{0}, y_{0}, \lambda_{0}\right)=0 \\ F_{\lambda}\left(x_{0}, y_{0}, \lambda_{0}\right)=0 \end{array}\right. ⎩⎨⎧​Fx​(x0​,y0​,λ0​)=0Fy​(x0​,y0​,λ0​)=0Fλ​(x0​,y0​,λ0​)=0​

通过以上推演过程，函数 F ( x , y , λ ) F(x, y, \lambda) F(x,y,λ) 称为拉格朗日函数，参数λ称为拉格朗日乘数，点 ( x 0 , y 0 , λ 0 ) (x_{0}, y_{0}, \lambda_{0}) (x0​,y0​,λ0​) 称为 F ( x , y , λ ) F(x, y, \lambda) F(x,y,λ) 的驻点或稳定点.

版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 举报，一经查实，本站将立刻删除。

发布者：全栈程序员栈长，转载请注明出处：https://javaforall.cn/234962.html原文链接：https://javaforall.cn