以下是引用xianwd在2006-2-14 19:28:00的发言:
(3)构造拉格朗日函数:
L(s (π)) = ∫v(π-s(π))f(π,a)dπ +λ{∫u(s(π))f(π,a)dπ-c(a)-m}
(4) 最优化一阶条件是:
-v'(π-s(π))+λu'(s(π))=0
该一阶结论是 L(s (π))对s (π)求导得出的,你可以把s (π)看成象p这样的特定外生变量
在 L(s (π)) = ∫v(π-s(π))f(π,a)dπ +λ{∫u(s(π))f(π,a)dπ-c(a)-m} 中
f(π,a)相对于s (π)更象常数或固定参数,因拉格朗日函数是对s (π)求导,而非对π求导,
利用凑微分法有:L(s (π)) = ∫v(π-s(π))f(π,a)(s'(π)/s'(π))dπ +λ{∫u(s(π))f(π,a)(s'(π)/s'(π))dπ-c(a)-m}
因此一阶条件的结论是:
-[v'(π-s(π))s'(π)]f(π,a)/s(π)+λ[u'(s(π))s'(π)]f(π,a)/s(π)+C=0
两边同除以f(π,a)/s(π)就得到:-v'(π-s(π))+λu'(s(π))+C·s(π)/f(π,a)=0
至于-[v'(π-s(π))s'(π)]f(π,a)/s(π)中的最前面的负号是怎么来的,是因为对v(π-s(π))用链式法则对s(π)求导得来的
至于一阶结论中常数C从何而来,自己去翻看同济版高等数学不定积分部分关于原函数的定义,可以彪悍如张唯迎者,在细节的大海中同样会有遗漏,可惜这是个“失之毫厘,谬以千里”的遗漏,因为常数C可为任意常数,可以为1、2,同样可以为1000……,甚至可以为1000n 。不过我这个推导是纯数学的,因为没有看他书中的这部分内容,也许真不用在不定积分后添加常数C呢,大家就当我的无知好了。
[此贴子已经被作者于2006-2-19 12:50:46编辑过]