| 查看: 2650 | 回复: 6 | |||
| 当前只显示满足指定条件的回帖，点击这里查看本话题的所有回帖 | |||
[求助]
求解链式法则严格证明的过程
|
|||
| 希望找到一个严格证明链式法则的方法，多谢 |
回复此楼» 收录本帖的淘帖专辑推荐
 或许以后有用 |
» 猜你喜欢
售SCI一区T0P文章，我:8.O55.1.O.54,科目全,可十急
已经有10人回复
-
售SCI文章，我:8O.5.5.1O.54,科目全,可十急
已经有6人回复
-
为什么到现在没收到通知？
已经有3人回复
-
有没有仍没收到信息的
已经有5人回复
-
面上意见出来了
已经有10人回复
-
导师吐槽：我怎么摊上了这么个极品研究生！
已经有9人回复
-
售SCI文章，我:8O.5.5.1O.54,科目全,可十急
已经有5人回复
-
售SCI一区T0P文章，我:8.O.55.1.O54,科目全,可伽急
已经有7人回复
-
售SCI一区文章，我:8.O.551.O.5.4,科目全,可伽急
已经有4人回复
-
麻烦专家们看看评委们的意见（F口面上）
已经有10人回复
» 本主题相关价值贴推荐，对您同样有帮助:
- 【转帖】流体力学的路线图（转自流体中文网周华的博客）
已经有60人回复
【答案】应助回帖
★ ★ ★ ★ ★
感谢参与，应助指数 +1
合于道: 金币+5 2013-01-15 21:21:49
感谢参与，应助指数 +1
合于道: 金币+5 2013-01-15 21:21:49
|
证法一：先证明个引理 f(x)在点x0可导的充要条件是在x0的某邻域U(x0)内，存在一个在点x0连续的函数H(x),使f(x)-f(x0)=H(x)(x-x0)从而f'(x0)=H(x0) 证明：设f(x)在x0可导，令 H(x)=[f(x)-f(x0)]/(x-x0),x∈U'(x0)(x0去心邻域)；H(x)=f'(x0),x=x0 因lim(x->x0)H(x)=lim(x->x0)[f(x)-f(x0)]/(x-x0)=f'(x0)=H(x0) 所以H(x)在点x0连续，且f(x)-f(x0)=H(x)(x-x0),x∈U(x0) 反之，设存在H(x),x∈U(x0),它在点x0连续，且f(x)-f(x0)=H(x)(x-x0),x∈U(x0) 因存在极限lim(x->x0)H(x)=lim(x->x0)[f(x)-f(x0)]/(x-x0)=lim(x->x0)f(x)=H(x0) 所以f(x)在点x0可导，且f'(x0)=H(x0) 引理证毕。 设u=φ(x)在点u0可导，y=f(u)在点u0=φ(x0)可导，则复合函数F(x)=f(φ(x))在x0可导，且F'(x0)=f'(u0)φ'(x0)=f'(φ(x0))φ'(x0) 证明：由f(u)在u0可导，由引理必要性，存在一个在点u0连续的函数H(u),使f'(u0)=H(u0),且f(u)-f(u0)=H(u)(u-u0) 又由u=φ(x)在x0可导，同理存在一个在点x0连续函数G(x),使φ'(x0)=G(x0),且φ(x)-φ(x0)=G(x)(x-x0) 于是就有，f(φ(x))-f(φ(x0))=H(φ(x))(φ(x)-φ(x0))=H(φ(x))G(x)(x-x0) 因为φ，G在x0连续，H在u0=φ(x0)连续，因此H(φ(x))G(x)在x0连续，再由引理的充分性可知F(x)在x0可导，且 F'(x0)=f'(u0)φ'(x0)=f'(φ(x0))φ'(x0) 证法二：y=f(u)在点u可导，u=g(x)在点x可导，则复合函数y=f(g(x))在点x0可导，且dy/dx=(dy/du)*(du/dx) 证明：因为y=f(u)在u可导，则lim(Δu->0)Δy/Δu=f'(u)或Δy/Δu=f'(u)+α(lim(Δu->0)α=0) 当Δu≠0，用Δu乘等式两边得，Δy=f'(u)Δu+αΔu 但当Δu=0时，Δy=f(u+Δu)-f(u)=0,故上等式还是成立。 又因为Δx≠0,用Δx除以等式两边，且求Δx->0的极限，得 dy/dx=lim(Δx->0)Δy/Δx=lim(Δx->0)[f'(u)Δu+αΔu]/Δx=f'(u)lim(Δx->0)Δy/Δx+lim(Δx->0)αΔu/Δx 又g(x)在x处连续(因为它可导),故当Δx->0时，有Δu=g(x+Δx)-g(x)->0 则lim(Δx->0)α=0 最终有dy/dx=(dy/du)*(du/dx) |
6楼2012-12-20 21:18:32
2楼2012-12-19 12:35:00
3楼2012-12-19 16:18:14
Pchief
铁杆木虫 (正式写手)
- 数学EPI: 26
- 应助: 13 (小学生)
- 贵宾: 0.024
- 金币: 11209.9
- 红花: 36
- 帖子: 987
- 在线: 1996.1小时
- 虫号: 52235
- 注册: 2004-09-04
- 专业: 泛函分析
4楼2012-12-19 19:07:10
30