数值分析

概念

• CFL条件 — CFL 条件（Courant-Friedrichs-Lewy Condition）由理查德·柯朗、Kurt Friedrichs 和
• Gauss-Seidel方法 — Gauss-Seidel 方法（亦称逐次位移法）是求解线性方程组 $Ax=b$ 的迭代算法，由菲利普·路德维希·冯·赛德尔于 1874 年正式发表。与[
• Jacobi迭代法 — Jacobi 迭代法是求解线性方程组 $Ax=b$ 的经典迭代方法，由卡尔·古斯塔夫·雅各布·雅可比约于 1845 年提出。核心思想是将系数矩阵
• Krylov子空间方法 — Krylov 子空间方法（Krylov Subspace Methods）是现代大规模线性代数计算的核心方法族，以苏联数学家 Aleksei Nikol
• Laplace变换 — Laplace 变换（Laplace Transform）是由皮埃尔-西蒙·拉普拉斯在处理连续概率问题时引入的积分变换工具，定义为：
• Lax-Richtmyer等价定理 — Lax-Richtmyer 等价定理（1956）由彼得·拉克斯与 Robert Richtmyer 发表，被誉为"数值分析的基本定理"。
• Richardson外推法 — Richardson 外推法（Richardson Extrapolation）由刘易斯·弗赖·理查森于 1911 年发表（1927 年系统阐述为"延迟
• Romberg积分 — Romberg 积分由 Werner Romberg 于 1955 年提出，是Richardson外推法在数值积分中最优雅的应用。它将梯形法则（Trap
• 共轭梯度法 — 共轭梯度法（Conjugate Gradient Method, CG）由赫斯坦尼斯（Hestenes）和施蒂费尔（Stiefel）于 1952 年提出，是求解
• 冯·诺依曼稳定性分析 — 冯·诺依曼稳定性分析（von Neumann stability analysis）由约翰·冯·诺依曼于 1940 年代在曼哈顿计划数值计</li> <li>[[切比雪夫不等式 — 切比雪夫不等式（Chebyshev's Inequality）由帕夫努季·利沃维奇·切比雪夫于 1867 年发表，给出了随机变量偏离其均值的概率的上界：
• 切比雪夫多项式 — 第一类切比雪夫多项式（Chebyshev polynomials of the first kind）通过三角函数定义为 $T_n(x) = \cos(n\ar
• 切比雪夫逼近理论 — 切比雪夫逼近理论研究在一致范数（$L^\infty$）意义下的最优函数逼近问题：在所有 $n$ 次多项式中找到使最大偏差最小的那一个。核心成果是*等振荡定理
• 勒贝格常数 — 勒贝格常数（Lebesgue constant）$\Lambda_n$ 是衡量多项式插值算子"误差放大能力"的核心量，定义为拉格朗日基函数绝对值之和的最大值。它
• 后向误差分析 — 后向误差分析（Backward Error Analysis）是由詹姆斯·威尔金森在1950–1960年代系统建立的数值分析方法论，是现代数值[
• 弹簧 - 质量模型 — 弹簧 - 质量模型（Spring-Mass Model），在腿式机器人学和生物力学中常被称为弹簧加载倒立摆（Spring-Loaded Inverted Pen
• 快速傅里叶变换 — 基于分治策略（divide and conquer）的算法，将离散傅里叶变换（DFT）的计算复杂度从O(n²)降低到O(n lo
• 有限元方法 — 求解偏微分方程的数值方法，通过将连续域离散化为有限个单元（elements），在每个单元上用简单函数（通常是多项式）近似解，从而将无限维问题转化为有限维代数方程
• 条件数 — 条件数（condition number）$\kappa(A) = |A| \cdot |A^{-1}|$ 是衡量线性方程组 $Ax = b$ 对输入扰
• 样条方法 — 样条方法（Spline methods）用分段低次多项式逐段拼接来逼近函数，是对龙格现象的直接回应。与整体高次多项式不同，每段只需低次多项式（通
• 概率路线图 (PRM) — 概率路线图（Probabilistic Roadmap, PRM）是一种用于高维构型空间中机器人运动规</li> <li>[[欧拉方法 — 数值分析中最简单、最基础的常微分方程（ODE）数值解法，也是理解一切现代ODE数值方法的概念出发点。通过沿函数在当前点的切线方向前进一小步来近似微分方程
• 牛顿法 — 数值分析中最基本、最重要的迭代求根算法，又称牛顿-拉弗森方法。通过在当前近似点处用切线近似函数图像，将切线与横轴的交点作为新的近
• 离散傅里叶变换 — 离散傅里叶变换（DFT）将有限长度的离散信号从时域变换到频域，公式为 $X[k] = \sum_{n=0}^{N-1} x[n] e^{-i2\pi kn/N}
• 结构力学 — 结构力学（Structural Mechanics）是固体力学的分支，研究结构（桥梁、建筑、机械零件等）在外力作用下的应力、应变、变形和稳定性。其核心问题是：给
• 谱方法 — 谱方法（Spectral Methods）是求解偏微分方程（PDE）的一类高精度数值方法，其核心思想是将未知函数展开为全局基函数（如[[切比雪夫多项式]
• 高斯最小二乘法 — 通过最小化残差平方和来拟合数据、估计参数的方法，是统计回归、信号处理和机器学习的数学基石。勒让德于1805年首次公开发表，高斯于1809年在《天体运动论》中发表
• 高斯求积公式 — 1814年高斯发表的数值积分方法，通过同时优化积分节点位置和权重，使 $n$ 个节点的求积公式达到 $2n-1$ 次多项式的精确度——是理论上限
• 龙格-库塔方法 — 龙格-库塔方法（Runge-Kutta Methods）是一族用于数值求解常微分方程（ODE）初值问题的迭代算法，由卡尔·龙格（1895）和马丁·威廉·
• 龙格现象 — 龙格现象（Runge's phenomenon）由德国数学家卡尔·龙格（Carl Runge）于 1901 年发现：以*等距节点

实体

• Bun-Runtime — Bun 是一个现代化的 JavaScript 运行时（Runtime），旨在提供比 Node.js 更快的启动速度和执行性能。它内置了打包器、测试运行器以及高性
• 刘易斯·弗赖·理查森 — 英国科学家（1881–1953），生于纽卡斯尔，贵格会信徒，剑桥大学国王学院自然科学出身，师从 J.J. 汤姆逊。跨越数值分析、气象学、心理物理学与和平
• 卡尔·古斯塔夫·雅各布·雅可比 — 德国数学家，19世纪最杰出的数学家之一。在数值分析领域，雅可比系统发展了行列式理论，引入了雅可比矩阵概念，并提出了求解线性方程组的迭代方法。雅可
• 卡尔·弗里德里希·高斯 — 德国数学家、物理学家、天文学家，被誉为"数学王子"。在数值分析领域，高斯做出了多项开创性贡献：最小二乘法、高斯求积公式、
• 卡尔·龙格 — 德国应用数学家（1856–1927），生于不来梅，师从魏尔斯特拉斯（Karl Weierstrass）和克罗内克（Leopold Kronecker），1880
• 吉恩·戈卢布 — 美国数学家（1932–2007），斯坦福大学计算机科学系教授，数值线性代数领域公认的"教父"（godfather）。1965 年与 Kahan 合作发表
• 威廉·卡汉 — 加拿大裔美国数学家和计算机科学家（1933—），加州大学伯克利分校教授，被尊称为"浮点运算之父"（Father of Floating Point）。1
• 布鲁克·泰勒 — 英国数学家，1715年发表泰勒级数定理，为用多项式近似函数提供了理论基础。泰勒级数成为微积分和数值分析的核心工具，欧拉方法可以被
• 帕夫努季·利沃维奇·切比雪夫 — 俄罗斯数学家，19世纪俄罗斯最伟大的数学家之一，圣彼得堡数学学派创始人。在数值分析领域，切比雪夫从机械连杆设计问题中萌生逼近理论，1854年发表核心论文
• 康尼利厄斯·朗佐斯 — 匈牙利裔物理数学家（1893–1974）。几乎与赫斯坦尼斯-施蒂费尔同时，于 1950 年提出了用于对称矩阵特征值计算的 **Lanczos 算
• 彼得·拉克斯 — 匈牙利裔美国数学家（1926—），20 世纪最具影响力的应用数学家之一。1947 年在纽约大学获博士学位，师从 Kurt O. Friedrichs（协同过</li> <li>[[托马斯·辛普森 — 托马斯·辛普森（Thomas Simpson，1710–1761）是英国数学家，以辛普森法则（Simpson's Rule）闻名于世。辛普森法则是一种数
• 爱德华·施蒂费尔 — 瑞士数学家（1909–1978），苏黎世联邦理工学院（ETH Zurich）教授。在代数拓扑学方面有重要贡献——施蒂费尔-惠特尼类（Stiefel-Wh
• 理查德·柯朗 — 普鲁士裔美国应用数学家（1888–1972），希尔伯特（David Hilbert）的学生，20 世纪最有影响力
• 约瑟夫·拉弗森 — 约瑟夫·拉弗森（Joseph Raphson，约1648–1715）是英国数学家，以独立发展"牛顿-拉弗森方法"的高效形式而著称。他在1690年
• 约翰·冯·诺依曼 — 匈牙利裔美国数学家，20世纪最具影响力的数学家之一。在数值分析领域，冯·诺依曼与戈尔茨坦合作发展了有限差分格式稳定性分析方法。二战期间深度参与曼哈顿计划
• 约翰·图基 — 美国统计学家和数学家，普林斯顿大学教授，贝尔实验室顾问。20世纪最具影响力的统计学家之一，在数值分析领域与库利合作提出快速傅里叶变换（[
• 艾萨克·牛顿 — 英国数学家、物理学家、天文学家，微积分奠基人之一。在数值分析领域，牛顿于17世纪60年代首次描述了通过逐次逼近求解多项式方程根的代数方法，该方法后来发展
• 莱昂哈德·欧拉 — 瑞士数学家、物理学家，数学史上最多产的数学家之一，一生发表超过850篇论文和著作。在数值分析领域，欧拉是最早系统思考如何用离散计算近似连续数学对象的数学
• 菲利普·路德维希·冯·赛德尔 — 德国数学家（1821–1896），供职于慕尼黑大学。1874 年发表论文正式阐述逐次位移法（Gauss-Sei</li> <li>[[詹姆斯·威尔金森 — 詹姆斯·哈迪·威尔金森（James Hardy Wilkinson，1919–1986）是英国数学家，现代数值线性代数的奠基人。1970年 ACM </li> <li>[[詹姆斯·库利 — 美国数学家和计算机科学家，IBM沃森研究中心研究员。与约翰·图基合作提出快速傅里叶变换（FFT）算法，1965年发表经典
• 辛克维奇 — 英国土木工程师和数学家，有限元方法发展历史上最重要的人物之一，被誉为"有限元之父"。1967年出版《结构力学与连续体力学中的有限元方法》
• 阿兰·图灵 — 英国数学家、计算机科学家，被誉为"计算机科学之父"和"人工智能之父"。在数值分析领域，图灵1948年发表《矩阵过程中的舍入误差》，展示了他兼具理
• 阿尔斯顿·豪斯霍尔德 — 美国数学家和计算科学先驱（1904–1993）。学术生涯始于数学神经科学，二战后加入橡树岭国家实验室（Oak Ridge National Labora
• 阿德里安-马里·勒让德 — 法国数学家（1752--1833），以1805年首次公开发表最小二乘法著称。在《彗星轨道确定的新方法》附录中，他明确提出了"最小化残差平
• 马格努斯·赫斯坦尼斯 — 美国数学家（1906–1991），加州大学洛杉矶分校（UCLA）教授。研究兴趣横跨变分法、最优控制和数值分析。1950 年代初在美国国家标准局（NBS，

综合分析

• 龙格现象全景解析 — 澄清常见混淆：龙格现象（插值发散）与龙格-库塔方法（ODE求解器）均以卡尔·龙格命名，但研究完全不同的问题。本页专注</li> </ul> <h2 id="qa">QA 洞见</h2> <ul> <li>[[数值PDE稳定收敛三角 — CFL 条件（1928）、冯·诺依曼稳定性分析（1940s）、Lax-Richtmyer 等价定理（1956）三者构成数值 PDE 的