24小时热门版块排行榜    

查看: 2716  |  回复: 6

合于道

银虫 (初入文坛)

[求助] 求解链式法则严格证明的过程

希望找到一个严格证明链式法则的方法,多谢
回复此楼
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

hhjubs

银虫 (初入文坛)

【答案】应助回帖

感谢参与,应助指数 +1
数学分析的教材上有

[ 发自手机版 http://muchong.com/3g ]
2楼2012-12-19 12:35:00
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

合于道

银虫 (初入文坛)

引用回帖:
2楼: Originally posted by hhjubs at 2012-12-19 12:35:00
数学分析的教材上有

我看的是分析教材北大的《数学分析新讲》上的,它是拿构造的辅助函数证明的,不过我感觉构造的函数来源难以理解。
3楼2012-12-19 16:18:14
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

Pchief

铁杆木虫 (正式写手)

去看菲赫金哥尔茨的《微积分学教程》吧

(其实我觉得张先生挺遗憾的,前面明明引进了微分,用它来证明就很清楚,哪要什么辅助函数)
4楼2012-12-19 19:07:10
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

hhjubs

银虫 (初入文坛)

引用回帖:
3楼: Originally posted by 合于道 at 2012-12-19 16:18:14
我看的是分析教材北大的《数学分析新讲》上的,它是拿构造的辅助函数证明的,不过我感觉构造的函数来源难以理解。...

引入辅助函数的目的是解决 内函数在所考虑的点附近为常数时 避免出现分母为零的情况。

[ 发自手机版 http://muchong.com/3g ]
5楼2012-12-19 23:12:46
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

韶光流年

金虫 (小有名气)

【答案】应助回帖

★ ★ ★ ★ ★
感谢参与,应助指数 +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
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

合于道

银虫 (初入文坛)

引用回帖:
4楼: Originally posted by Pchief at 2012-12-19 19:07:10
去看菲赫金哥尔茨的《微积分学教程》吧

(其实我觉得张先生挺遗憾的,前面明明引进了微分,用它来证明就很清楚,哪要什么辅助函数)

辅助函数是感觉难接受
7楼2012-12-23 10:25:09
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 合于道 的主题更新
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[论文投稿] 售SCI一区T0P文章,我:8O.55.1.O.5.4,科目齐全,可+急 +3 hKe7U1kad5Sg 2026-10-31 4/200 2026-11-02 00:50 by xzcv0Tehd8lQ
[硕博家园] 售一区SCI文章T0P,我:8O.551.O54,科目全,可十急 +3 hKe7U1kad5Sg 2026-10-31 5/250 2026-11-02 00:47 by xzcv0Tehd8lQ
[基金申请] 售SCI一区文章,我:8.O.551.O.5.4,科目全,可伽急 +4 hKe7U1kad5Sg 2026-10-31 8/400 2026-11-02 00:34 by xzcv0Tehd8lQ
[找工作] 售一区SCI文章T0P,我:8O.551.O54,科目全,可十急 +5 1uaZt2kAZj2S 2026-10-31 8/400 2026-11-02 00:15 by xzcv0Tehd8lQ
[基金申请] 售SCI-T0P文章,我:8O.5.5.1.O.54,科目齐全,可+急 +4 1uaZt2kAZj2S 2026-10-30 15/750 2026-11-02 00:08 by xzcv0Tehd8lQ
[考研] 售SCI-T0P文章,我:8O.5.5.1.O.54,科目齐全,可+急 +5 1uaZt2kAZj2S 2026-10-30 14/700 2026-11-02 00:08 by xzcv0Tehd8lQ
[硕博家园] 售SCI文章,我:8O.5.5.1O.54,科目全,可十急 +4 1uaZt2kAZj2S 2026-10-30 15/750 2026-11-01 23:58 by xzcv0Tehd8lQ
[博后之家] 售SCI文章,我:8O5.5.1.O.54,科目齐全,可+急 +4 1uaZt2kAZj2S 2026-10-30 16/800 2026-11-01 23:55 by xzcv0Tehd8lQ
[博后之家] 售SCI一区T0P文章,我:8.O.55.1.O54,科目全,可伽急 +3 hKe7U1kad5Sg 2026-10-31 5/250 2026-11-01 22:24 by xzcv0Tehd8lQ
[硕博家园] 售SCI一区T0P文章,我:8.O55.1.O.54,科目全,可十急 +5 xvJS1BYDxvBS 2026-10-31 10/500 2026-11-01 21:52 by xzcv0Tehd8lQ
[公派出国] 售SCI-T0P文章,我:8O.5.5.1.O.54,科目齐全,可+急 +4 1uaZt2kAZj2S 2026-10-30 8/400 2026-11-01 21:35 by xzcv0Tehd8lQ
[教师之家] 售SCI-T0P文章,我:8O.5.5.1.O.54,科目齐全,可+急 +6 X5bHxOULxFqb 2026-10-30 16/800 2026-11-01 21:19 by xzcv0Tehd8lQ
[论文投稿] 售SCI一区T0P文章,我:8.O.55.1.O54,科目全,可伽急 +3 hKe7U1kad5Sg 2026-10-31 5/250 2026-11-01 20:03 by xzcv0Tehd8lQ
[博后之家] 售SCI一区文章,我:8O5.5.1.O5.4,科目全,可伽急 +4 1uaZt2kAZj2S 2026-10-31 8/400 2026-11-01 16:58 by BCdvBAEpt3zm
[硕博家园] 越来越担心硕士毕业后没有竞争力了 +9 zuesli 2026-10-27 15/750 2026-11-01 12:59 by Equinoxhua
[公派出国] 售SCI文章,我:8O5.5.1.O.54,科目齐全,可+急 +4 1uaZt2kAZj2S 2026-10-31 7/350 2026-11-01 12:40 by BCdvBAEpt3zm
[基金申请] 售SCI一区T0P文章,我:8.O.55.1.O.54,科目齐全,可+急 +4 1uaZt2kAZj2S 2026-10-30 11/550 2026-11-01 12:24 by BCdvBAEpt3zm
[硕博家园] 售一区SCI文章T0P,我:8O.551.O54,科目全,可十急 +3 1uaZt2kAZj2S 2026-10-30 13/650 2026-11-01 12:14 by BCdvBAEpt3zm
[考博] 售SCI一区文章,我:8.O.55.1.O.54,科目齐全,可伽急 +3 xvJS1BYDxvBS 2026-10-31 4/200 2026-11-01 11:01 by BCdvBAEpt3zm
[论文投稿] 售一区SCI文章T0P,我:8O.551.O54,科目全,可十急 +3 1uaZt2kAZj2S 2026-10-31 8/400 2026-11-01 03:59 by YXM1FDCSE8Bn
信息提示
请填处理意见