向量值隐函数存在定理的证明是怎么想到的?

问题描述:

向量值隐函数存在定理的证明是怎么想到的?
见于复旦版(陈纪修、於崇华、金路编)第二版数学分析下册第178—179页,我觉得这个证明好复杂,不知道是怎么想到的.我觉得,总要有一个中心思想才可以想到,不知道这个中心思想是什么.就比如微分的引入,要有一个中心思想:寻找变化量的近似替代,这样才引入了微分;而泰勒公式的引入也是为了用形式简单的数学表达式去逼近一个复杂的函数,“用简单表达式逼近”就是中心思想.证明我看得懂,但是不知道是怎么想到的
1个回答 分类:数学 2014-10-16

问题解答:

我来补答
数学分析中的隐函数定理、反函数定理的一般形式,微分方程初值问题解的存在唯一性定理,都是利用不动点理论证明的.
可以参看任何一本组合数学的书.
你非常需要查找一下相关的参考书!首先,该定理先证明了u和v在局部上是x的函数,并且可导.
由于u(x),v(x)对x,可导,在
F(u,v,x) = 0,G(u,v,x) = 0中分别对x求导(用链式法则),就得到了上面的方程组
此线性方程组在每一个特定的点处成立,把它看作关于变量“偏u/偏x”,“偏v/偏x”的线性方程组,其它项视作常数(注意这个方程组的意义在于它在每一点处成立,在任一个点处当然是常数)用线性代数中的Grammer法则即可.(上述出现的行列式就是Grammer法则中的行列式.)
再问: 链式法则以及求偏导中的其它变量看成常数我知道,但是你说的不动点理论是什么我不知道
 
 
展开全文阅读
剩余:2000