微分和导数, 我在初学的时候感觉概念虽然不复杂,但是始终有点模糊,比如以下一些问题就觉得模棱两可:
我当时脑袋一片混乱,到底$dx$或者说$du$、$dv$是什么东西?为什么有的地方可以消去,有的地方不可以?
其实导数和微分的定义在各个历史时期是不一样的,要想解答上面的疑问,还得从微积分的发展历史上去寻找答案。
我尝试讲一下微积分发展的历史和数学思想,主要针对$y=f(x)$这样的一元函数。
牛顿和莱布尼兹各自独立发明了微积分,下面我采取莱布尼兹的微积分符号进行说明(要了解各种微积分符号,可以参看 ----维基百科 )。
1.1 符号说明
讲述之前先说明下下面会出现的符号以及术语:
具体每个符号和术语指的是什么,请见下文的阐述。
1.2 导数为什么出现?
导数的出现不是牛顿和莱布尼兹发明的,之前数学家已经在对曲线的切线进行研究了,但是牛顿和莱布尼兹在解决曲面下面积的时候把导数的定义确定下来了。
曲线下的面积在微积分出现之前是一个很复杂的问题,微积分求解的主要思想是把曲线下的面积划分成了无数个矩形面积之和:
直觉告诉我们,如果$n$越大,则这个近似越准确:
无穷小量就在这里出现了,无穷小量是建立微积分的基础,莱布尼兹介绍微积分的论文就叫做《论深度隐藏的几何学及无穷小与无穷大的分析》。在当时的观点下,无穷小量到底是什么也是有争论的,当时有数学家打比喻:“无穷小量就好比山上的灰尘,去掉和增加都没有什么影响”,很显然有人认为这是真实存在的。
在具体计算曲面下面积,即我们现在所说的定积分的时候,必然会遇到导数的问题,所以很自然的开始了对导数的定义和讨论。
1.3 导数的古典定义
在曲线上取两点,连接起来,就称为曲线的割线:
割线可以反应曲线的平均变化率,也就是说这一段大概总的趋势是上升还是下降,上升了多少,但是并不精确。
有了切线之后我们进一步去定义导数:
从这张图得出导数的定义$f'(x)=\frac{dy}{dx}$,而$dx$和$dy$被称为$x$和$y$的微分,都为无穷小量,所以导数也被莱布尼兹称为微商(微分之商)。
1.4 无穷小量导致的麻烦
上一节的图实际上是有矛盾的:
所以就切线的定义而言,微积分的基础就是不牢固的。
无穷小量的麻烦还远远不止这一些,$x^2$的导数是这样计算的:
$$\begin{align*} \frac{d}{dx}(x^2) & = \frac{f(x+dx)-f(x)}{dx} \\ & = \frac{(x+dx)^2-x^2}{dx} \\ & = \frac{x^2+2xdx+dx^2-x^2}{dx} \\ & = \frac{2xdx+dx^2}{dx} \\ & = 2x+dx \\ & = 2x \end{align*}$$
仔细看看运算过程,$dx$先是在约分中被约掉,然后又在加法中被忽略,就是说,先被当作了非0的量,又被当作了0,这就是大主教贝克莱(就是在高中政治书被嘲笑的唯心主义的代表)所攻击的像幽灵一样的数,一会是0一会又不是0。
无穷小量和无穷小量相除为什么可以得到不一样的值?难道不应该都是1?
无穷小量还违反了 阿基米德公理 ,这个才是更严重的缺陷,康托尔证明过,如果阿基米德公理被违背的话会出大问题。
一边是看起来没有错的微积分,一边是有严重缺陷的无穷小量,这就是第二次数学危机。数学的严格性受到了挑战,“对于数学,严格性不是一切,但是没有了严格性就没有了一切”。
1.5 对于古典微积分的总结
莱布尼兹、欧拉等都认识到了无穷小量导致的麻烦,一直拼命想要修补,但是这个问题要等到200年后,19世纪极限概念的清晰之后才得到解决。
解决办法是,完全摈弃无穷小量,基于极限的概念,重新建立了微积分。
2.1 极限
现在都是用$\epsilon -\delta $语言来描述极限:
可以看到,极限的描述并没有用到什么无穷小量。
2.2 导数的极限定义
$$\begin{align*} \displaystyle f'(x_0)& =\frac{dy}{dx}\\ & =\lim _{\Delta x \to 0}\frac{\Delta y}{\Delta x}\\ & =\lim _{\Delta x \to 0}\frac{f(x_0+\Delta x)-f(x_0)}{\Delta x} \end{align*}$$
维基百科
用极限重新严格定义了导数,已经脱离了微商的概念,此时,导数应该被看成一个整体。
不过我们仍然可以去定义什么是微分,说到这里,真是有点剧情反转,原来是先定义了微分再有的导数,现在却是先定义了导数再有的微分。
$$\begin{align*} \displaystyle \lim _{\Delta x\to 0}\frac{\Delta y}{\Delta x}=f'(x_0) & \implies \lim _{\Delta x\to 0}\frac{\Delta y}{\Delta x}-f'(x_0)=0\\ & \implies \frac{\Delta y}{\Delta x}-f'(x_0)=a,\lim _{\Delta x \to 0}a=0\\ & \implies \Delta y=f'(x_0)\Delta x+a\Delta x \end{align*}$$
$\Delta y=f'(x_0)\Delta x+a\Delta x$可以得出,$\Delta y$由两部分组成,通过图来观察一下几何意义:
$dy=f'(x)\Delta x$,这是$dy$的定义。
我们令$y=x\implies dy=1\Delta x\implies dx=\Delta x$,这个$dx$的定义。
最后我们可以得到$dy=f'(x)dx\implies \frac{dy}{dx}=f'(x)$:
2.3 对于极限微积分的总结
微积分实际上被发明了两次,古典微积分和极限微积分可以说是两个东西。我们再来比较一下古典微积分和极限微积分。
3.1 古典微积分与极限微积分的对比
古典微积分最大的好处就是很直观,不过也是因为太直观了,所以我们一直都无法忘记它带来的印象,也对我们理解极限微积分造成了障碍。也让我们在实际应用中造成了错误的理解。
3.2 疑问的解答
之前的疑惑主要是由于古典微积分带来的。
古典微积分其实已经被摒弃了,我们应该知道这一点,重新从极限的角度去认识微积分。
3.3 古典微积分的用处
我们应该从古典微积分,以直代曲、化整为零的数学思想出发去开始认识微积分。
并且,莱布尼兹一直认为数学符号应该具有启发性,他设计的微积分符号确实很符合直觉,我们可以继续借用他的符号来描述微积分。
有的数学家还是对无穷小量念念不忘,最后真的发明了既可以兼容无穷小量又不会出现问题的实数, 超实数 。
基于超实数,数学家又重新定义了微积分,这次定义的微积分又很像莱布尼兹时代的微积分。这门学科被称为非标准分析(对应的,基于我们没有无穷小量的实数体系的微积分,就是标准分析)。我对于超实数并不了解,大家感兴趣可以去学习非标准分析课程。