24小时热门版块排行榜    

查看: 2645  |  回复: 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的回帖
相关版块跳转 我要订阅楼主 合于道 的主题更新
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[基金申请] 投票:  有多少人是今天查系统知道结果的? +12 爱看书的可乐 2026-08-26 14/700 2026-08-26 13:50 by coolysnow
[基金申请] 只有每年这种时候来逛逛小木虫 +26 yaoyewhu2008 2026-08-20 28/1400 2026-08-26 13:49 by zzuzxg
[基金申请] 哪位高人中了,把查询到的截图贴出来让我看看,让我长长见识 +4 yuleib84 2026-08-26 5/250 2026-08-26 13:40 by yuleib84
[基金申请] 为什么国自然不能直接公布 +4 bjdxyxy 2026-08-26 4/200 2026-08-26 13:12 by qingmu1201
[基金申请] 系统查不到 +9 董八千 2026-08-26 9/450 2026-08-26 12:30 by yanmofang
[基金申请] 科研孤儿太难了 +21 我4大白菜 2026-08-20 22/1100 2026-08-26 11:29 by nlgza
[基金申请] 怎么查啊 +4 huang1991js 2026-08-26 4/200 2026-08-26 11:26 by panjy.cn
[基金申请] 国合里面能看到了 +7 一怀馨秋 2026-08-26 7/350 2026-08-26 11:23 by zhaosm1982
[基金申请] 国际合作可查了,中了面上 +18 Ldrop2023 2026-08-26 18/900 2026-08-26 11:15 by cmrandy
[基金申请] 能否退出参与的面上项目解除限项 +22 koalala 2026-08-24 25/1250 2026-08-26 11:14 by dxcharlary
[基金申请] 系统进不去 +4 yanglien 2026-08-26 5/250 2026-08-26 11:10 by wenfengw83
[基金申请] 项目信息和经费信息在系统里都可以看到了 +6 wittyboy 2026-08-26 14/700 2026-08-26 10:55 by wittyboy
[基金申请] 出来了 +8 trojank 2026-08-26 8/400 2026-08-26 09:00 by gxc
[基金申请] 牛来!米来!面来! +8 beefly 2026-08-26 8/400 2026-08-26 08:37 by xuzhipiao
[基金申请] 2026年8月25日国自然放榜前突然收到列入评审专家邮件,有关系吗? +24 木水思豆 2026-08-25 27/1350 2026-08-26 08:26 by yanchen918
[基金申请] 在坚冰还盖着北海的时候,我看到了怒放的梅花。 (金币+10) +6 ziyangfang 2026-08-25 9/450 2026-08-25 20:26 by huagongfeihu
[基金申请] 明天应该可查了!? +6 chengyan1220 2026-08-23 6/300 2026-08-25 19:45 by zfd97
[基金申请] 放榜前的不淡定 20+4 snowwithsea 2026-08-19 19/950 2026-08-25 17:57 by chick875
[基金申请] 某些机构,以效率低为荣,以效率低作为存在感 +9 yuleib84 2026-08-25 10/500 2026-08-25 17:14 by alexon
[教师之家] 导师吐槽:我怎么摊上了这么个极品研究生! +3 苏东坡二世 2026-08-23 3/150 2026-08-25 10:35 by shisan1313
信息提示
请填处理意见