《物理大地测量学》课件-42_级数表达的快速计算.pptVIP

4 级数表达式的快速计算 级数简史 亚里士多德（公元前4世纪）就知道公比小于1（大于零）的几何级数具有和数； N.奥尔斯姆（14世纪）就证明了调和级数级数发散到+∞（见现代教科书）； 格雷果里1647、J.沃利斯1655、格雷果里1667，首先结合着几何量明确到一般级数的和这个概念，进一步脱离几何表示而达到级数和的纯算术概念，以及更进一步把级数运算视为一种独立的算术运算并正式使用收敛与发散两词。 4 级数表达式的快速计算 将一个函数展开成无穷级数的概念最早来自14世纪印度的马德哈瓦。他首先发展了幂级数的概念，对泰勒级数、麦克劳林级数、无穷级数的有理逼近以及无穷连分数做了研究。他发现了正弦、余弦、正切函数等的泰勒展开，还用幂级数计算了π的值。他的学生继承和发展了他关于级数的工作。 级数简史 17世纪，詹姆斯·格里高利也开始研究无穷级数，并发表了若干函数的麦克劳林展开式。 1715年，布鲁克·泰勒提出了构造一般解析函数的泰勒级数的方法。 18世纪时欧拉又发展了超几何级数和q-级数的理论。 对无穷级数的研究 4 级数表达式的快速计算 14世纪时，马德哈瓦已经开始讨论判别无穷级数敛散性的方法。他提出了一些审敛的准则，后来他的学生将其推广。 级数简史 在欧洲，审查无穷级数是否收敛的研究一般被认为是从19世纪由高斯开始的。他于1812年发表了关于欧拉的超几何级数的论文，提出了一些简单的收敛准则，并对余项和以及收敛半径进行了讨论。 对审敛法的研究 10马克上的高斯头像 4 级数表达式的快速计算 柯西提出了严格的审敛法的重要性，他证明了两个收敛级数的乘积不一定是收敛的，同时开始研究严格的审敛准则。柯西更研究了复函数的幂级数展开。 级数简史 对审敛法的研究 1826年，阿贝尔在他的关于二项式级数的论文中更正了柯西的若干个结论，并给出了二项式级数的严格的求和方法，指出了连续性在收敛问题中的重要性。 4 级数表达式的快速计算 柯西提出的审敛法并不是普遍适用的，只能用于判别某些特定函数的敛散性。同时代的其他数学家，比如拉贝（Joseph Ludwig Raabe）的对数判别法，德·摩根的对数判别法（被DuBois-Reymond和普林斯海姆证明对某些函数失效），以及贝特朗、斯托克斯、切比雪夫等人的审敛法也是如此。 对普遍的审敛法则的研究由恩斯特·库默尔开始，之后的艾森斯坦、维尔斯特拉斯、尤里斯·迪尼等都曾致力于这一领域。普林斯海姆于1889年发表的论文阐述了完整的普适审敛理论。 级数简史 对审敛法的研究 4 级数表达式的快速计算 对一致连续性的研究 级数简史 1821年，柯西首先开始对一致连续性的研究，但其中有不少错误和局限。 这些错误最早被阿贝尔指出，但首先得出正确结论的是西德尔（Philipp Ludwig von Seidel）和斯托克斯。 1853年，柯西在注意到阿贝尔的批评后重新开展研究，并得到了与斯托克斯一样的结论。 然而，一致连续性的重要性在很长一段时间里没有受到重视。 4 级数表达式的快速计算 级数的类别 几何级数（或等比级数）是指通项为等比数列的级数。 调和级数是指通项为1/n的级数，它是发散的。 裂项级数 泰勒级数是关于一个光滑函数f在一点a附近取值的级数。泰勒函数由函数在点a的各阶导数值构成。 交错级数 幂级数 任何周期函数都可以用正弦函数和余弦函数构成的无穷级数来表示，称为Fourier级数。Fourier级数是函数项无穷级数，也就是说每项都是一个函数。 p-级数 4 级数表达式的快速计算 级数是研究函数的一个重要工具，在理论上和实际应用中都处于重要地位，这是因为： 一方面能借助级数表示许多常用的非初等函数，微分方程的解就常用级数表示； 另一方面又可将函数表为级数，从而借助级数去研究函数，例如用幂级数研究非初等函数，以及进行近似计算等。 级数的收敛问题是级数理论的基本问题！ 柯西准则 级数的重要性 4 级数表达式的快速计算 扰动位的级数表示 引入正常重力位系数CNnm,SNnm, 令： 大地水准面上 球谐综合 4 级数表达式的快速计算 常用四种计算方法 常规计算方法 格网分裂法 矩阵求和方法 快速Fourier变换法 以大地水准面的计算为例分别讲述这几种方法。 在实际计算过程当中，大地水准面高的计算公式中的地球重力场位系数的个数不可能是无穷多个，它总是一个有限值（设为N），即写为 常规计算方法 在上式中我们不难发现，计算某点上的大地水准面高需要多次计算三角函数，可以证明需计算三角函数计算量十分庞大。为避免这种重复，交换求和的顺序，即 4 级数表达式的快速计算 再整理为 常规计算方法 上式中不但三角函数的计算量较小，而且它对勒让德函数的计算量也没有增加。 4 级数表达式的快速计算 格网分裂法 基本公式与分析 1979年,利