Clairaut 定理 证明
(Clairaut 定理)设 $E$ 是 $\mathbf{R}^n$ 的开子集合,并设 $f:\mathbf{E}\to \mathbf{R}^{m}$ 是 $E$ 上的二次连续可微函数.那么对于一切$x_0\in E$ 和 $1\leq i,j\leq n$,
\begin{align*}
\frac{\partial }{\partial x_j}\frac{\partial f}{\partial
x_i}(x_0)= \frac{\partial }{\partial x_i}\frac{\partial
f}{\partial x_j}(x_0)
\end{align*}
证明:这个定理的本质是二重极限的顺序问题,在题设条件下,交换极限的顺序对结果无影响.我们依照定义来证明.不妨设 $j<i$.设 $x_0$ 在 $\mathbf{R}^n$ 中的坐标
为$(a_1,a_2,\cdots,a_n)$.则
\begin{equation}
\label{eq:8.00}
\frac{\partial f}{\partial x_i}(x_0)=\lim_{\Delta x_{i}\to 0;\Delta
x_{i}\neq 0}\frac{f(a_1,\cdots,a_i+\Delta
x_{i},\cdots,a_n)-f(a_1,\cdots,a_i,\cdots,a_n)}{\Delta x_{i}}.
\end{equation}
易得
\begin{align*}
&\frac{\partial }{\partial x_j}\frac{\partial f}{\partial
x_i}(x_0)\\&=\lim_{\Delta x_j\to 0;\Delta x_j\neq
0}\lim_{\Delta x_i\to 0;\Delta x_i\neq
0}\frac{\frac{f(a_1,\cdots,a_j+\Delta x_j,\cdots,a_i+\Delta
x_i,\cdots,a_n)-f(a_1,\cdots,a_j+\Delta
x_j,\cdots,a_i,\cdots,a_n)}{\Delta x_i}-\frac{f(a_1,\cdots,a_j,\cdots,a_i+\Delta
x_i,\cdots,a_n)-f(a_1,\cdots,a_i,\cdots,a_n)}{\Delta x_i}}{\Delta x_j}.
\end{align*}
且易得
\begin{align*}
&\frac{\partial }{\partial x_i}\frac{\partial f}{\partial
x_j}(x_0)\\&=\lim_{\Delta x_i\to 0;\Delta x_i\neq
0}\lim_{\Delta x_j\to 0;\Delta x_j\neq
0}\frac{\frac{f(a_1,\cdots,a_j+\Delta x_j,\cdots,a_i+\Delta
x_i,\cdots,a_n)-f(a_1,\cdots,a_j+\Delta
x_j,\cdots,a_i,\cdots,a_n)}{\Delta x_i}-\frac{f(a_1,\cdots,a_j,\cdots,a_i+\Delta
x_i,\cdots,a_n)-f(a_1,\cdots,a_i,\cdots,a_n)}{\Delta x_i}}{\Delta x_j}.
\end{align*}
结合微分中值定理,再加上二阶偏导数连续,因此极限可以交换顺序,而结果值不变.得证.
Clairaut 定理 证明的更多相关文章
- Wilson定理证明
Wilson定理证明 就是那个\((p-1)! \equiv -1 \pmod{p}\),\(p\)是一个素数. Lemma A \(\mathbb{Z}_p\)可以去掉一个零元变成一个群. 即\(\ ...
- tensorflow deepmath:基于深度学习的自动化数学定理证明
Deepmath Deepmath项目旨在改进使用深度学习和其他机器学习技术的自动化定理证明. Deepmath是Google研究与几所大学之间的合作. 免责声明: 该存储库中的源代码不是Google ...
- 数学定理证明机械化的中国学派(II)
所谓"学派"是指:存在一帮人,具有同样或接近的学术观点或学术立场,採用某种特定的"方法"(或途径),在一个学术方向上共同开展工作.而且做出了相当有迎影响的学术成 ...
- Hammersley-Clifford定理证明
Proof of Hammersley-Clifford TheoremProof of Hammersley-Clifford Theorem依赖知识定义1定义2证明过程反向证明(吉布斯分布=> ...
- 【Learning】最小点覆盖(二分图匹配) 与Konig定理证明
(附一道例题) Time Limit: 1000 ms Memory Limit: 128 MB Description 最小点覆盖是指在二分图中,用最小的点集覆盖所有的边.当然,一个二分图的最小 ...
- [自用]数论和组合计数类数学相关(定理&证明&板子)
0 写在前面 本文受 NaVi_Awson 的启发,甚至一些地方直接引用,在此说明. 1 数论 1.0 gcd 1.0.0 gcd $gcd(a,b) = gcd(b,a\;mod\;b)$ 证明:设 ...
- [自用]多项式类数学相关(定理&证明&板子)
写在前面 由于上一篇总结的版面限制,特开此文来记录 \(OI\) 中多项式类数学相关的问题. 该文启发于Miskcoo的博客,甚至一些地方直接引用,在此特别说明:若文章中出现错误,烦请告知. 感谢你的 ...
- [总结]数论和组合计数类数学相关(定理&证明&板子)
0 写在前面 0.0 前言 由于我太菜了,导致一些东西一学就忘,特开此文来记录下最让我头痛的数学相关问题. 一些引用的文字都注释了原文链接,若侵犯了您的权益,敬请告知:若文章中出现错误,也烦请告知. ...
- [总结]多项式类数学相关(定理&证明&板子)
目录 写在前面 前置技能 多项式相关 多项式的系数表示 多项式的点值表示 复数相关 复数的意义 复数的基本运算 单位根 代码相关 多项式乘法 快速傅里叶变换 DFT IDFT 算法实现 递归实现 迭代 ...
随机推荐
- 【数据结构】C++语言环形队列的实现
队列--先进先出 队列的一个缺点--出队后的内存空间浪费了,不能二次利用 环形队列--解决以上缺点的队列,用过的内存空间可以重复利用 github: https://github.com/HITFis ...
- 吴裕雄--天生自然 JAVASCRIPT开发学习:语法
<!DOCTYPE html> <html> <head> <meta charset="utf-8"> <title> ...
- linux下启动mysql提示:Timeout error occurred trying to start MySQL Daemon
启动 mysqld 时经过很长时间显示 Timeout error occurred trying to start MySQL Daemon. 终端进入 mysql 时显示 ERROR 2002 ( ...
- idea中maven下载jar包不完整问题
解决: 1.输入 mvn -U idea:idea 等1.都下载完毕后,在点击2.即Reimport
- Python中的抽象基类
1.说在前头 "抽象基类"这个词可能听着比较"深奥",其实"基类"就是"父类","抽象"就是&quo ...
- [C/C++]'fopen': This function or variable may be unsafe
这个错误也算比较常见吧,当然这个与代码无关,是编译器的问题,主要是VS中出现的,因为微软方面认为fopen函数是不安全的,于是自己搞了一套fopen_s的函数来代替,用前面一个的话编译器是会出错的,所 ...
- [CISCN2019 华北赛区 Day1 Web1]Dropbox-phar文件能够上传到服务器端实现任意文件读取
0x00知识点 phar是什么: 我们先来了解一下流包装 大多数PHP文件操作允许使用各种URL协议去访问文件路径:如data://,zlib://或php://.例如常见的 include('php ...
- 插曲 强大的神器 vmware
电脑到了 这连天给电脑配环境变量 真的想死 发现用 虚拟机 直接跑别人配置好的镜像文件 多快好省超级开心 比较毒瘤的 clion 不仅要配置c++ 环境 还要走cmake 等一堆东西 ...
- 微信支付的Demo
是在一个子项目完成的, 依赖: <dependencies> <!-- spring-boot--> <dependency> <groupId>org ...
- vimdiff换行
两个比较文件同时换行,用:windo set wrap, 或者如下 vimdiff +"windo set wrap" chap/abstract.tex abstract.tex ...