内容简介
     《国外数学名著系列(影印版)18:常微分方程的解法2 刚性与微分代数问题(第二版)》是关于刚性微分方程和微分代数系统(带约束项的微分方程)的解法《国外数学名著系列(影印版)18:常微分方程的解法2 刚性与微分代数问题(第二版)》共分四章,*一章介绍刚性问题的单步和外插法,第二章讲述刚性问题的多步方法和一般线性方法,第三章讨论奇异扰动问题的处理,第四章论述微分代数方程及其在约束力学系统中的应用。《国外数学名著系列(影印版)18:常微分方程的解法2 刚性与微分代数问题(第二版)》每一章从介绍方法开始,依次讨论实际应用、数值结果、阶和精度的理论分析,线性和非线性稳定性、收敛性和渐近展开。刚性问题和微分代数问题来源于科学计算的各个方面(如物理、化学、生物、控制工程、电网分析及力学系统)。《国外数学名著系列(影印版)18:常微分方程的解法2 刚性与微分代数问题(第二版)》包含了这些方面的各种应用及计算机程序。     
内页插图
          目录
   Chapter IV. Stiff Problems——One-step Methods
IV.1 Examples of Stiff Equations
IV.2 Stability Analysis for Explicit RK Methoods
IV.3 Stability Function of Implicit RK-Methods
IV.4 Order Stars
IV.5 Construction of Implicit Runge-Kutta Methods
IV.6 Diagonally Implicit RK Methods
IV.7 Rosenbrock-Type Methods
IV.8 Implementation of Implicit Runge-Kutta Methods
IV.9 Extrapolation Methods
IV.10 Numerical Experiments
IV.11 Contractivity for Linear Problems
IV.12 B-Stability and Contractivity
IV.13 Positive Quadrature Formulas and B-Stable RK-Methods
IV.14 Existence and Uniqueness of IRK Solutions
IV.15 B-Convergence
Chapter V. Multistep Methods for Stiff Problems
V.1 Stability of Multistep Methods
V.2 "Nearly" A-Stable Multistep Methods
V.3 Generalized Multistep Methods
V.4 Order Stars on Riemann Surfaces
V.5 Experiments with Multistep Codes
V.6 One-Leg Methods and G-Stability
V.7 Convergence for Linear Problems
V.8 Convergence for Nonlinear Problems
V.9 Algebraic Stability of General Linear Methods
Chapter VI. Singular Perturbation Problems and Index 1 Problems
VI.1 Solving Index 1 Problems
VI.2 Multistep Methods
VI.3 Epsilon Expansions for Exact and RK Solutions
VI.4 Rosenbrock Methods
VI.5 Extrapolation Methods
VI.6 Quasilinear Problems
Chapter VII. Differential-Algebraic Equations of Higher Index
VII.1 The Index and Various Examples
VII.2 Index Reduction Methods
VII.3 Multistep Methods for Index 2 DAE
VII.4 Runge-Kutta Methods for Index 2 DAE
VII.5 Order Conditions for Index 2 DAE
VII.6 Half-Explicit Methods for Index 2 Systems
VII.7 Computation of Multibody Mechanisms
VII.8 Symplectic Methods for Constrained Hamiltonian Systems
Appendix. Fortran Codes
Bibliography
Symbol Index
Subject Index      
前言/序言
     要使我国的数学事业更好地发展起来,需要数学家淡泊名利并付出更艰苦地努力。另一方面,我们也要从客观上为数学家创造更有利的发展数学事业的外部环境,这主要是加强对数学事业的支持与投资力度,使数学家有较好的工作与生活条件,其中也包括改善与加强数学的出版工作。
  从出版方面来讲,除了较好较快地出版我们自己的成果外,引进国外的先进出版物无疑也是十分重要与必不可少的。科学出版社影印一批他们出版的好的新书,使我国广大数学家能以较低的价格购买,特别是在边远地区工作的数学家能普遍见到这些书,无疑是对推动我国数学的科研与教学十分有益的事。
  这次科学出版社购买了版权,一次影印了23本施普林格出版社出版的数学书,就是一件好事,也是值得继续做下去的事情。大体上分一下,这23本书中,包括基础数学书5本,应用数学书6本与计算数学书12本,其中有些书也具有交叉性质。这些书都是很新的,2000年以后出版的占绝大部分,共计16本,其余的也是1990年以后出版的。这些书可以使读者较快地了解数学某方面的前沿,例如基础数学中的数论、代数与拓扑三本,都是由该领域大数学家编著的“数学百科全书”的分册。对从事这方面研究的数学家了解该领域的前沿与全貌很有帮助。按照学科的特点,基础数学类的书以“经典”为主,应用和计算数学类的书以“前沿”为主。这些书的作者多数是国际知名的大数学家,例如《拓扑学》一书的作者诺维科夫是俄罗斯科学院的院士,曾获“菲尔兹奖”和“沃尔夫数学奖”。这些大数学家的著作无疑将会对我国的科研人员起到非常好的指导作用。
  当然,23本书只能涵盖数学的一部分,所以,这项工作还应该继续做下去。更进一步,有些读者面较广的好书还应该翻译成中文出版,使之有更大的读者群。总之,我对科学出版社影印施普林格出版社的部分数学著作这一举措表示热烈的支持,并盼望这一工作取得更大的成绩。    
				
 
				
				
					国外数学名著系列(影印版)18:常微分方程的解法2 刚性与微分代数问题(第二版)  深入探索常微分方程的数值求解前沿  本书简介  《常微分方程的解法2:刚性与微分代数问题(第二版)》是享誉全球的常微分方程数值解领域的权威著作《Solving Ordinary Differential Equations II: Stiff and Differential-Algebraic Problems, Second Edition》的影印版。该书由国际知名的数值分析专家、瑞典隆德大学的厄恩斯特·海伦(Ernst Hairer)和瑞士洛桑联邦理工学院的格哈德·沃斯(Gerhard Wanner)合著,是该领域内公认的里程碑式经典教材与参考手册。  本书的撰写目的在于为研究人员、高级学生以及在工程、物理、化学、生物学等领域中应用常微分方程模型的人员,提供一套全面、深入且极具洞察力的数值方法理论和实践指导,特别关注那些在标准显式方法面前表现出显著困难的“刚性”问题(Stiff Problems)以及微分代数方程组(Differential-Algebraic Equations, DAEs)。  核心内容与结构  本书结构严谨,逻辑清晰,分为上下两大部分,系统地阐述了从理论基础到先进算法的全部内容。  第一部分:刚性问题的理论与方法  第一部分集中探讨常微分方程(ODEs)的数值积分问题,特别是当问题具有“刚性”特征时所面临的挑战。刚性问题通常表现为不同时间尺度上动态行为的显著差异,这使得使用传统的欧拉法或龙格-库塔法等显式方法需要采用极其微小的步长才能保持稳定性,导致计算效率低下。  本书首先对刚性问题的概念进行了精确的数学定义和直观解释,并详细分析了其内在的数学性质。随后,作者深入介绍了处理刚性问题的核心工具——隐式方法。     隐式欧拉法与向后差分公式(BDF): 详细介绍了这些经典隐式方法族的构造原理、局部截断误差分析以及稳定性边界。    代数方程的求解: 强调了在每一步积分中求解非线性代数方程组的重要性,并讨论了牛顿法、修正牛顿法以及如何有效地利用矩阵近似(如准牛顿法)来加速收敛。    稳定性分析: 提供了详尽的区域图和稳定性域的分析,特别是无条件稳定性的概念(A-稳定性),这是隐式方法优于显式方法的核心原因。    步长控制与误差估计: 讨论了如何根据局部误差估计动态调整步长和选择合适的公式阶数,以实现效率与精度的平衡。  第二部分:微分代数方程组(DAEs)  第二部分则将关注点扩展到了微分代数方程组(DAEs),这类方程组是描述许多约束系统(如机械运动、电路模拟)的自然数学模型。DAEs的特点是除了微分项外,还包含代数约束方程,使得方程组在初始时刻可能需要满足特定的“限制条件”或“索引”属性。  作者系统地介绍了处理DAEs的独特挑战:     DAEs的分类与索引理论: 详细解释了系统索引的概念(Differential Index),这是判断DAE数值求解难度的关键指标。从索引为1的简单约束系统,到高索引的复杂系统,本书提供了理论框架来理解和简化这些问题。    DAEs的数值积分器: 探讨了如何修改标准的ODE求解器(如BDF)来适应DAEs。重点介绍了如何将代数约束纳入求解过程,以及如何处理在积分过程中可能出现的“漂移”现象(即数值解逐渐偏离初始代数约束)。    限制条件处理: 详细讨论了用于保持代数约束的修正技术,包括投影方法和误差修正策略。    特殊应用: 结合实际算例,展示了DAEs在多体系统动力学、电力系统暂态分析等领域的应用。  本书的特色与价值  1.  权威性与深度: 作者是该领域的奠基人和领导者,本书内容基于数十年的研究积累,其理论深度和数学严谨性无与伦比。 2.  对刚性问题的全面覆盖: 并非仅仅停留在介绍标准方法,而是深入剖析了刚性问题的数值处理的内在困难,并提供了最先进的、经过充分验证的算法。 3.  实用性与连接性: 书中包含大量的数学推导、稳定性分析图表和实际的算法框架描述,为读者提供了从理论理解到实际编程实现的桥梁。 4.  经典地位: 作为影印版,它忠实保留了第二版在数值分析界的影响力,是全球顶尖大学常微分方程数值解课程的标准参考书之一。  目标读者  本书适合于:     应用数学、计算数学专业的研究生及博士生。    从事科学计算、工程仿真(如航空航天、化学反应动力学、电路仿真)的科研人员和工程师。    希望深入理解和掌握常微分方程数值解背后复杂理论的专业人士。  通过研读本书,读者不仅能掌握求解复杂动态系统的数值工具,更能对数值分析中的稳定性和效率等核心问题建立起深刻的洞察力。  --- (请注意,以上简介内容完全围绕“刚性与微分代数问题”这一主题进行详细阐述,避免提及任何其他可能出现在“国外数学名著系列”其他卷册中的内容,如初值问题、线性方程组、偏微分方程等。)