第11讲分析学的严格化(免费阅读).pptVIP

数系的扩张 无理数是什么？ 无理数是什么？ 代数数 超越数 1873年: e是超越数 戴德金: 《连续性与无理数》(1872) 戴德金-康托公理: 直线上任何一点都与实数域的一个数一一对应。 康托尔发现: 有理数集是可数的。 10.3.3 数学物理与微分方程 Joseph Fourier 物理问题从来就是数学发展的源泉。18世纪数学和物理的结合点主要是常微分方程。随着物理科学研究的现象从力学向电学以及电磁学扩展，到19世纪，偏微分方程的求解为数学家和物理学家关注的重点。 19世纪偏微分方程发展的序幕，由法国数学家傅里叶拉开。他因研究吸热或放热物体内部任何点处的温度随空间和时间的变化规律，于1822年发表了《热的解析理论》，这是数学史上的经典文献之一。傅里叶研究的主要问题是吸热或放热物体内部任何点处的温度随空间和时间的变化规律。在对物体的物理性状作出一定的限制（如均匀、各向同性）后，他根据物理原理推导出了三维空间的热传导方程 其中 k 是一个常数，其值依赖于物体的质料。 傅里叶当时解决的是如下特殊的热传导问题：设所考虑的物体为两端保持在温度0度、面绝热而无热流通过的柱轴，在此情形下求解上述传导方程。因为柱轴只涉及一维空间，所以这个问题也就是解偏微分方程 其中下面的两项分别是边界条件和初始条件。傅里叶为解这个方程用了变量分离法，他得到 为了满足初始条件，必须有 这就促使傅里叶不得不考虑任何一个函数，能否将它表示成三角级数的问题。傅里叶得出的结论是：每个函数都可以表示成 这样，每个bn 就可由上式乘以sin nx ,(n = 1,2,3, …)，再从0到π积分而得到。他还指出这个程序可以应用与表达式 接着，他考虑了任何f(x) 在区间(- π, π)的表达式，利用任何函数f(x)可以表示成一个奇函数和一个偶函数之和这一事实，傅里叶可以将区间(- π , π )上 的任何f(x)表示为 其系数由 确定，这就是我们通常所称的傅里叶级数。 为了处理无穷区域的热传导问题，傅里叶同时还导出了现在所称的“傅里叶积分”： 傅里叶的工作在发展偏微分方程理论的同时，解放了人们对函数概念的固有认识，从此以后，函数不再仅仅局限于解析函数或可展成泰勒级数的函数。 19世纪偏微分方程的另一个重要发展是围绕着位势方程来进行的，这方面的代表人物是格林。位势方程也称拉普拉斯方程。拉普拉斯曾采用球面调和函数法解过这个方程，不过他得出的是一个错误结论。“位势”的名称来源于格林，与前人不同的是，格林充分认识到了位势方程的重要性，并发展了位势函数的一般理论。他求解位势方程的方法称为奇异点方法。1828年，格林建立了许多有益于推动位势理论朝前发展的极为关键的定理与概念。其中以格林公式 （n 为物体表面指向内部的法向，dv 是体积元，dσ是面积元）和作为一种带奇异性的特殊位势的格林函数概念影响最为深远。 格林是剑桥数学物理学派的开山祖师，他的工作培育了汤姆逊、史托克斯、麦克斯韦等强有力的后继者。作为19世纪典型的数学物理学家。他们的主要目标，是发展求解重要物理问题的一般数学方法，而他们手中的主要武器就是偏微分方程，以致于在19世纪，偏微分方程几乎变成了数学物理的同义语。就在这一时期，通过各种实际的物理问题，数学家们建立起了类型众多的微分方程。 William Thomson (Lord Kelvin) George Stokes James Clerk Maxwell Joseph Liouville Rudolf Lipschitz Emile Picard Sofia Kovalevskaya 然而，面对自己建立的微分方程，数学家们试图推求其显式解的努力却屡遭败绩。这种情况促使他们转而考虑解的存在性。柯西最先在19世纪20年代对一类特殊的常微分方程给出了第一个存在性定理，接着，他又在1848年的一系列论文讨论了偏微分方程解的存在性并提出了证明的长函数方法。柯西的工作在1875年被俄国女数学家柯瓦列夫斯卡娅独立地发展为包括拟线性方程和高阶组在内的非常一般的形式。有关的偏微分方程解的存在唯一性定理在现代文献中常常称为“柯西-柯瓦列夫斯卡娅定理”。 经过长时期的相对沉寂之后，到19世纪后半叶，常微分方程理论的研究也日显突出，并且在两个大的方向上开拓了常微分方程研究的新局面，其中的重大发展都与庞加莱的名字联系在一起。 Henri Poincaré * 主讲： 徐泽林 天津师范大学数学科学学院 37:8080/006/index.htm zelinxu@S 微积分的创立，被誉为“人类精神的