分析学的严密化.ppt

8.3.3数学物理与微分方程Poincare的工作 对经典物理学有深入而广泛的研究，对狭义相对论的创立有贡献 从1899年开始研究电子理论，首先认识到洛伦茨变换构成群 8.3.3数学物理与微分方程Poincare的工作--对数学物理和偏微分方程的贡献 1890年用括去法证明了狄利克雷问题解的存在性，这一方法后来促使位势论有新发展 1894年研究拉普拉斯算子的特征值问题，给出了特征值和特征函数存在性的严格证明 在积分方程中引进复参数方法，促进了弗雷德霍姆理论的发展 8.分析的严格化8.2 分析的算术化8.2.3集合论的诞生 康托尔．Ｇ（G.Cantor, 1845-1918） １８４５年生于俄国圣彼得堡 １８６７年获博士学位。 主要贡献：创立集合论 8.分析的严格化8.2 分析的算术化8.2.3集合论的诞生 １８７１年给出了集合的定义，定义了集合的 交与并等 １８７２年利用有理数的「基本序列」概念定义了无理数，把实数的理论严格起来，并建立了点集 论 １８７４年康托尔发表第一篇关于无穷集合的文章，对超越数的存在且远远「多」于代数数作出了集合论的证 明，轰动当时世界数学界 １８７８年引进了无穷集的「势」和提出「连续性」的问题 １８８３年给出了超限基 数的定义等 8.分析的严格化8.2 分析的算术化8.2.3集合论的诞生 康托尔的集合论富有革命性 其理论很难被立即接受，以致遭受一些数学家的反对 他的理论无疑对十九 世纪末、二十世纪初的数学基础的研究产生了深远的影响 集合论已渗透到各数学分支，成为分析理论、测度论、 拓扑学及数理科学中必不可缺之理论。 8.分析的严格化8.2 分析的算术化8.2.3集合论的诞生 由 得 连续统假设（ Cantor本人未解决） Cantor的集合论也叫朴素集合论，由此引发了第三次数学危机并产生了公理集合论 8.分析的严格化 8.3分析的扩展 8.3.1复分析的建立 8.3.2解析数论的形成 8.3.3数学物理与微分方程 8.分析的严格化8.3分析的扩展8.3.1复分析的建立 Cauchy --复变函数的奠基者 Riemann --复变函数的奠基者 Weierstrass--解析函数论的奠基人 8.3.1复分析的建立 Cauchy --复变函数的奠基者 《分析教程 》系统地总结了复数理论 (一) 复函数与复幂函数函数 ? （《分析教程 》中有一半以上的篇幅讨论复数与初等复函数） ?以形式方法引进复数 8.3.1复分析的建立 Cauchy --复变函数的奠基者 （二）复幂级数 ?对复幂级数 的收敛半径R，则 8.3.1复分析的建立 Cauchy --复变函数的奠基者 （三）复积分 ?在《关于定积分理论的报告》（1827）中给出Cauchy—Riemann(Euler1766年发现) 条件 ? 1825年,建立了Cauchy积分定理(Gauss1811年发现):f(z) x0 ≤ x ≤ X ,y 0 ≤ y ≤ Y,z=x+iy,x=φ(t) y=ω(t),(t∈R,t≤α≤β) 这个定理表明，积分值只与φ(t)、ω(t)有关而与积分路径无关。 8.3.1复分析的建立 Cauchy --复变函数的奠基者 （三）复积分 ? 1831年得到关于圆的积分公式： 由此证明复函数可局部展开为幂级数，并在实际上指明了后者的 收敛半径是原点到所给函数最近极点之间的距离。 8.3.1复分析的建立 Cauchy --复变函数的奠基者 （四）残数演算 ? 1826年，给出了m阶极点处x1的残数公式： ?得到一般区域的残数定理： 其中E是“提取残数” 8.3.1复分析的建立 Riemann --复变函数的奠基者 （一）通过复变函数的导数定义，建立复变函数论的基础 ?第一个给出单值解析函数的定义 ω=f(z)=u+iv,（u,v连续可微）明确给出 Cauchy—Riemann 条件 中函数ω的导数的存在性是指Δω/Δz的极限必须对于z+Δz趋向z的每一条途径都相同 8.3.1复分析的建立 Riemann --复变函数的奠基者 （二）对多值函数定义Riemann曲面 （三）Riemann曲面的拓扑 N = ∑ωk - 2q + 3 8.3.1复分析的建立 Riemann --复变函数的奠基者 （四）Riemann曲面上的函数论 ?若函数u(x,y)在区域Q内是调和函数且满足： 则u具有所有阶导数且是一解析函数f(z)的实部 ? Riemann映射定理： 两个给定的单连通区域可以相互一一映射且一个区域的一个内点和一个边界点可以映射到另一个区域的任意选取的一个内点和一个边界点上 8.3.1复分析的