24小时热门版块排行榜    

查看: 2342  |  回复: 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的回帖
相关版块跳转 我要订阅楼主 合于道 的主题更新
信息提示
请填处理意见