内容简介
数值数学是数学的一个分支,它提出、发展、分析并应用科学计算中的方法于若干领域,如分析学、线性代数、几何学、逼近论、函数方程、优化问题和微分方程等等。而其他领域,如物理学、自然和生物科学、工程、经济、金融科学也经常提出问题,而问题的解决同样需要科学计算。
因此可以说,数值数学是现代应用科学中具有很强相关性的不同学科的一个交叉学科,是这些学科中定性和定量分析的重要工具。
写作《国外数学名著系列5:数值数学(影印版)》的目的之一,是给出数值方法的数学基础,分析其基本的理论性质(如稳定性、精度、计算复杂性),应用MATLAB这一界面友好并被广泛接受的软件,通过例子和反例说明其特征和优缺点。讨论每一类问题时,都评述*适合的算法,进行理论分析,并利用_AMATLAB程序验证理论结果。书中每一章都包含例子、练习,并运用所讨论的理论解决现实生活中的问题。
《国外数学名著系列5:数值数学(影印版)》主要写给本科高年级学生及工程、数学、物理和计算机科学各专业研究生,而强调应用性和对相关软件的发展的关注,也使《国外数学名著系列5:数值数学(影印版)》对各种专业领域的研究人员和科学计算的实践者都颇有价值。
内页插图
目录
Preface
I.Getting Started
1.Foundations of Matrix Analysis
1.1 Vector Spaces
1.2 Matrices
1.3 Operations with Matrices
1.3.1 Inverse of a Matrix
1.3.2 Matrices and Linear Mappings
1.3.3 Operations with Block-Partitioned Matrices
1.4 Trace and Determinant of a Matrix
1.5 Rank and Kernel of a Matrix
1.6 Special Matrices
1.6.1 Block Diagonal Matrices
1.6.2 Trapezoidaland Triangular Matrices
1.6.3 Banded Matrices
1.7 Eigenvalues and Eigenvectors
1.8 Similarity Transformations
1.9 The Singular Value Decomposition (SVD)
1.10 Scalar Product and Norms in Vector Spaces
1.11 Matrix Norms
1.11.1 Relation between Norms and the Spectral Radius of a Matrix
1.11.2 Sequences and Series of Matrices
1.12 Positive Definite,Diagonally Dominant and M-matrices
1.13 Exercises
2.Principles of Numerical Mathematics
2.1 Well-posedness and Condition Number of a Problem
2.2 Stability of Numerical Methods
2.2.1 Relations between Stability and Convergence
2.3 A priori and a posteriori Analysis
2.4 Sources of Error in Computational Models
2.5 Machine Representation of Numbers
2.5.1 The Positional System
2.5.2 The Floating-point Number System
2.5.3 Distribution of Floating-point Numbers
2.5.4 IEClIEEE Arithmetic
2.5.5 Rounding of a Real Number in its Machine Repre sentation
2.5.6 Machine Floating-point Operations
2.6 Exercises
II.Numerical Linear Algebra
3.Direct Methods for the Solution of Linear Systems
3.1 Stability Analysis of Linear Systems
3.1.1 The Condition Number of a Matrix
3.1.2 Forward a priori Analysis
3.1.3 Backward a priori Analysis
3.1.4 A posteriori Analysis
3.2 Solution of Triangular Systems
3.2.1 Implementation of Substitution Methods
3.2.2 Rounding Error Analysis
3.2.3 Inverse of a Triangular Matrix
3.3 The Gaussian Elimination Method (GEM) and LU Factorization
3.3.1 GEM as a Factorization Method
3.3.2 The Effect of Rounding Errors
3.3.3 Implementation of LU Factorization
3.3.4 Compact Forms of Factorization
3.4 Other Types of Factorization
3.4.1 LDMT Factorization
……
III.Around Functions and Functionals
IV.Transforms,Differentiation and Problem Dis-cretication
References
Index of MATLAB Programs
Index
前言/序言
要使我国的数学事业更好地发展起来,需要数学家淡泊名利并付出更艰苦地努力。另一方面,我们也要从客观上为数学家创造更有利的发展数学事业的外部环境,这主要是加强对数学事业的支持与投资力度,使数学家有较好的工作与生活条件,其中也包括改善与加强数学的出版工作。
科学出版社影印一批他们出版的好的新书,使我国广大数学家能以较低的价格购买,特别是在边远地区工作的数学家能普遍见到这些书,无疑是对推动我国数学的科研与教学十分有益的事。
这次科学出版社购买了版权,一次影印了23本施普林格出版社出版的数学书,就是一件好事,也是值得继续做下去的事情。大体上分一下,这23本书中,包括基础数学书5本,应用数学书6本与计算数学书12本,其中有些书也具有交叉性质。这些书都是很新的,2000年以后出版的占绝大部分,共计16本,其余的也是1990年以后出版的。这些书可以使读者较快地了解数学某方面的前沿,例如基础数学中的数论、代数与拓扑三本,都是由该领域大数学家编著的“数学百科全书”的分册。对从事这方面研究的数学家了解该领域的前沿与全貌很有帮助。按照学科的特点,基础数学类的书以“经典”为主,应用和计算数学类的书以“前沿”为主。这些书的作者多数是国际知名的大数学家,例如《拓扑学》-书的作者诺维科夫是俄罗斯科学院的院士,曾获“菲尔兹奖”和“沃尔夫数学奖”。这些大数学家的著作无疑将会对我国的科研人员起到非常好的指导作用。
当然,23本书只能涵盖数学的一部分,所以,这项工作还应该继续做下去。更进一步,有些读者面较广的好书还应该翻译成中文出版,使之有更大的读者群。
总之,我对科学出版社影印施普林格出版社的部分数学著作这一举措表示热烈的支持,并盼望这一工作取得更大的成绩。
国外数学名著系列(影印版)5:数值数学 作者: Alfio Quarteroni, Riccardo Sacco, Fausto Saleri 原著名称: Numerical Mathematics 丛书系列: 国外数学名著系列(影印版) 影印版说明: 本影印版旨在忠实呈现原著的学术风貌与专业深度,为国内数学、工程及相关学科的师生和研究人员提供原汁原味的国外经典教材。 --- 本书简介: 《数值数学》(Numerical Mathematics)是数值分析领域内一部具有里程碑意义的著作,由国际知名的三位学者Alfio Quarteroni、Riccardo Sacco和Fausto Saleri合力撰写。本书系统、深入地探讨了现代数值方法的基础理论、算法设计及其在实际问题中的应用,是连接纯数学理论与工程实践的桥梁。 本书并非对数值计算基础知识的简单罗列,而是着重培养读者对数值误差的敏感性、对算法效率的考量以及对数学模型求解能力的深刻理解。它以一种严谨而又富有洞察力的方式,引导读者穿越数值分析的复杂领域,直至掌握解决实际问题的核心工具。 第一部分:数值计算的基石——误差分析与线性系统求解 本书伊始便奠定了坚实的理论基础,聚焦于数值计算中不可回避的核心问题——误差。读者将首先接触到浮点数的精确表示及其带来的舍入误差分析。这部分内容详尽阐述了不同运算下误差的传播规律,为后续所有算法的可靠性分析提供了必要的数学工具。作者强调,没有对误差的深刻理解,任何数值计算都将是空中楼阁。 随后,全书的重点转向了线性方程组的数值求解。这是工程、物理和经济学中最常见也最核心的数学问题之一。 1. 直接法(Direct Methods): 详细剖析了高斯消元法(Gaussian Elimination)及其背后的矩阵分解技术,特别是$LU$分解的原理、实现与数值稳定性。对于大规模稀疏矩阵问题,本书并未停留在基础理论层面,而是探讨了Cholesky分解(针对对称正定矩阵)和QR分解(在最小二乘问题中的应用),并深入分析了矩阵的条件数和对角占优性,解释了为何在病态系统中,微小的输入扰动会导致解的巨大偏差。 2. 迭代法(Iterative Methods): 针对超大规模系统,迭代法是不可或缺的工具。本书系统介绍了雅可比(Jacobi)、高斯-赛德尔(Gauss-Seidel)方法,并进一步阐述了收敛性的充要条件。更为重要的是,书中引入了更先进的Krylov子空间方法,如共轭梯度法(Conjugate Gradient, CG)和广义最小残量法(GMRES),这些是现代有限元方法和有限差分方法求解大规模偏微分方程(PDEs)的基石。对于不可微或非线性问题,书中也涉及了牛顿法和拟牛顿法在系统求解中的应用。 第二部分:函数逼近与插值理论的深化 数值数学的另一核心任务是如何用易于处理的函数(如多项式或样条函数)来近似复杂函数或离散数据。 本书对插值理论的讲解极为精到。从最基础的拉格朗日插值出发,系统分析了其在节点选择上的局限性,继而引出了更具实用价值的牛顿插值和分段插值。特别值得称道的是,书中对样条函数(Spline Functions)的论述,尤其是三次样条插值(Cubic Splines),展示了其如何通过局部控制和光滑性保证,成为数据拟合和图形学中的首选工具。 在函数逼近方面,本书超越了传统的多项式逼近,引入了最小二乘逼近(Least Squares Approximation),从理论上证明了它是处理带有噪声数据的最佳线性无偏估计方法。这部分内容与统计学和数据科学紧密相连。 第三部分:数值积分与微分方程的求解 实际应用中,许多问题需要对函数进行积分或微分,但解析方法往往不可行。 数值积分(Quadrature)的章节,详细推导了牛顿-科茨公式(Newton-Cotes formulas)的构造,并探讨了复化求积法的误差控制。本书的亮点在于对高斯求积(Gaussian Quadrature)的深入讲解,它通过最优地选择节点和权重,以更少的计算量达到更高的精度,体现了数值方法设计中的高效性原则。 在常微分方程(ODEs)的数值解法上,本书提供了详尽的分析。从一阶方法的欧拉法(Euler's Method)开始,逐步过渡到更高阶的龙格-库塔(Runge-Kutta, RK)方法,包括著名的四阶RK方法。书中不仅关注了方法的局部截断误差,更深入探讨了全局误差分析、稳定性和收敛性。对于刚性方程(Stiff Equations)这类特殊挑战,书中引入了隐式方法(如后向欧拉法)和$ heta$-方法的稳定性区域,为处理化学反应动力学、电路模拟等实际问题提供了关键技术。 第四部分:特征值问题的数值解法 在线性代数和量子力学中,求解矩阵的特征值和特征向量是至关重要的。 本书对特征值问题的数值解法的覆盖面很广。它首先讨论了幂法(Power Iteration)和反幂法(Inverse Iteration),用于寻找最大或最小特征值。接着,书中详尽介绍了QR算法,这是现代数值线性代数中求解一般特征值问题的最常用和最稳健的方法。作者清晰地解释了如何通过Householder变换和Givens旋转将矩阵转化为更易处理的 Hessenberg 形式,从而显著加速QR迭代过程。 总结与特色 《数值数学》的独特之处在于其对理论与实践的完美平衡。它不仅提供了算法的推导和收敛性证明,更重要的是,通过大量的实例分析和对计算复杂性的讨论,确保读者能够理解为何选择某一算法而非另一算法。 本书的结构清晰,逻辑严密,非常适合作为高等数值分析课程的教材,也为从事科学计算、工程仿真和数据建模的研究人员提供了不可或缺的参考工具书。它培养的不仅是计算能力,更是对数字世界中“近似”这一概念的精确认识和驾驭能力。阅读本书,是迈向高级科学计算领域,解决复杂实际问题的必经之路。