From Weak Nonlinear Perturbation to the Homotopy Analysis Method: A Rigorous Derivation and Theoretical Unification

本文通过从弱非线性微扰理论严格推导同伦分析方程，证明了同伦分析方法（HAM）是经典微扰理论的自适应推广，并确立了同伦微扰方法（HPM）作为其特例的从属地位，从而统一了基于同伦的非线性解析方法理论框架并澄清了相关误区。

要点

这篇论文其实是在做一件非常有趣的事情：它给数学界的一个“超级工具”（同伦分析法，HAM）做了一次彻底的“身世调查”和“家族谱系梳理”。

为了让你轻松理解，我们可以把解决复杂的非线性数学问题（比如预测台风路径、设计飞机机翼的气流）想象成**“穿越一片充满怪兽的迷雾森林”**。

以下是这篇论文的核心内容，用大白话和比喻来讲：

1. 以前的困境：只有“小步走”能走通

在 HAM 出现之前，科学家们主要用一种叫**“微扰法”**（Perturbation Theory）的老方法。

• 比喻：这就好比你要过一片森林，但你手里只有一把**“小尺子”**（小参数 $\varepsilon$）。如果森林里的树（非线性问题）长得比较矮小、温顺（弱非线性），你可以用这把小尺子一步步量过去，算出答案。
• 问题：如果森林里突然出现了巨大的、狂暴的怪兽（强非线性问题），你的“小尺子”就量不过去了，方法直接失效。这时候，很多科学家觉得 HAM 是凭空变出来的“魔法”，跟老方法没关系。

2. 这篇论文的发现：HAM 其实是“升级版”的微扰法

作者 Hang Xu 发现，HAM 并不是什么凭空出现的魔法，它其实就是把老方法里的“小尺子”给**“拉长”了**。

• 核心操作：作者把那个只能用来量小问题的“小尺子”（$\varepsilon$），强行拉长成一把**“伸缩尺”**，让它能从 0 一直变到 1。
  • 0 的时候：森林是平的，全是直线（线性系统），我们很容易算出答案。
  • 1 的时候：森林恢复了原本狂暴的样子（非线性系统），这是我们要解决的难题。
  • 0 到 1 之间：HAM 就像一条**“平滑的传送带”**，把我们从简单的直线世界，一步步、稳稳地“传送”到复杂的怪兽森林。
• 关键创新：HAM 手里多了一个**“遥控器”**（收敛控制参数 $\hbar$）。这个遥控器可以调节传送带的速度，确保我们在传送过程中不会掉下去（保证计算收敛）。
• 结论：HAM 本质上就是**“把微扰法的小参数放大并优化后的超级版本”**。它不是抛弃了微扰法，而是把微扰法“进化”了，让它能处理以前处理不了的强非线性问题。

3. 家族关系大揭秘：HPM 是 HAM 的“简化版”

论文还澄清了另一个著名的方法——同伦扰动法（HPM）。以前学术界一直在吵：HAM 和 HPM 到底是不是一家人？谁更厉害？

• 比喻：
  • HAM 就像是一辆**“全地形豪华越野车”**。它有最好的悬挂系统（最优线性算子）、可以调节速度的智能引擎（收敛控制参数）、还有适应各种路况的轮胎（辅助函数）。你想怎么开，它都能帮你稳住。
  • HPM 就像是从这辆越野车上拆下来的**“基础版自行车”**。
• 论文证明：作者通过严密的数学推导证明，如果你把 HAM 这辆“豪车”的悬挂锁死、引擎速度固定、轮胎换成普通款（也就是把论文里提到的几个参数固定死），它就瞬间变成了 HPM。
• 结论：HPM 是 HAM 的一个特例（或者说“退化版”）。HAM 是“爸爸”，HPM 是“儿子”。HAM 更灵活、更强大，而 HPM 虽然简单好用，但在面对特别复杂的难题时，因为少了那些调节功能，可能会“翻车”（不收敛）。

4. 这篇论文的意义

这就好比给数学界画了一张**“清晰的地图”**：

1. 纠正误解：以前大家以为 HAM 是跟微扰法完全无关的“异类”，现在证明了它其实是微扰法的**“亲儿子”兼“进化体”**。
2. 统一理论：把 HAM 和 HPM 的关系理顺了，以后大家不用纠结谁是谁非，知道 HPM 是 HAM 的简化版就行。
3. 指导实践：告诉工程师和科学家，如果你想解决超级难的问题，别只用那个“固定版”的 HPM，要学会用更灵活的 HAM，并且懂得怎么调节那个“遥控器”（收敛控制参数），这样成功率才高。

一句话总结：
这篇论文告诉我们，HAM 不是凭空变出来的魔法，它是把老方法里的“小尺子”拉长、装上“智能遥控器”后的超级进化版；而 HPM 只是这个超级版里去掉了一些高级功能后的“基础款”。 搞清楚这一点，以后用数学工具解决问题就更精准、更自信了。

技术摘要

论文技术总结：从弱非线性微扰到同伦分析法的严格推导与理论统一

论文标题：从弱非线性微扰到同伦分析法：严格推导与理论统一 (From Weak Nonlinear Perturbation to the Homotopy Analysis Method: A Rigorous Derivation and Theoretical Unification)
作者：Hang Xu (上海交通大学)
日期：2026 年 4 月 16 日

---

1. 研究背景与问题 (Problem)

非线性现象在应用数学和工程科学中普遍存在，传统的小参数微扰法（Perturbation Theory）在处理弱非线性问题时非常有效，但在面对强非线性且缺乏明显小参数的问题时往往失效。为了解决这一局限，Liao 提出了同伦分析法 (HAM)，随后 He 提出了同伦微扰法 (HPM)。

尽管这两种方法在学术界应用广泛，但存在以下核心理论争议和空白：

1. 理论基础的严谨性缺失：HAM 的基本同伦变形方程（特别是其乘法形式）缺乏严格的数学推导，其理论根基是否独立于经典微扰理论尚存模糊。
2. HAM 与 HPM 的关系不明：学术界对于 HPM 是否属于 HAM 的一个特例，或者两者是否属于同一类分析方法，长期存在争议。
3. 参数选择的随意性：现有文献中对于辅助线性算子、收敛控制参数和辅助函数的选择缺乏统一的理论指导，导致对方法适用性的误解。

2. 方法论 (Methodology)

本文通过以下三个步骤构建了严密的理论框架：

A. 基于微扰理论的严格推导

作者从一般的非线性系统 $F(u) = L(u) + N(u) - s(r) = 0$ 出发，不假设 $F(u)$ 本身是弱非线性的。通过引入一个非零常数 $h$ 和辅助函数 $H(r)$，将原方程代数等价变换为 $hH(r)F(u) = 0$。
接着，引入一个最优线性算子 $L_{opt}$（定义为 $F$ 在参考解处的 Fréchet 导数），通过加减项构造出“线性核心 + 微扰”的结构：
$$L_{opt}(u) + \varepsilon (hH(r)F(u) - L_{opt}(u)) = 0$$
其中 $\varepsilon \ll 1$ 是人为引入的无量纲小参数。即使原方程 $F(u)$ 是强非线性的，通过这种构造，微扰项在数学上被转化为弱非线性形式。

B. 解析延拓与同伦变形

为了克服传统微扰法依赖 $\varepsilon \ll 1$ 的限制，作者利用解析延拓 (Analytic Continuation) 技术，将小参数 $\varepsilon$ 的定义域从局部邻域扩展到全局区间 $[0, 1]$。

• $\varepsilon = 0$：对应线性辅助系统 $L_{opt}(u - u_0) = 0$，具有唯一解 $u_0$。
• $\varepsilon = 1$：对应原非线性系统 $hH(r)F(u) = 0$。
  通过引入参数化同伦算子 $G(\varepsilon, u)$，并基于巴拿赫空间隐函数定理 (IFT) 和实解析函数的唯一性定理，严格证明了在 $\varepsilon \in [0, 1]$ 区间内存在唯一的 $C^\infty$ 光滑解曲线 $u(\varepsilon)$，从而实现了从线性解到非线性解的连续平滑过渡。

C. HPM 作为 HAM 特例的证明

通过固定 HAM 中的三个关键参数：

1. 辅助线性算子 $L_{opt}$ 固定为原系统的线性部分 $L$；
2. 收敛控制参数 $\hbar$ 固定为 $-1$；
3. 辅助函数 $H(r)$ 固定为 $1$。
   作者严格推导证明，此时 HAM 的零阶变形方程完全退化为 HPM 的方程。这从数学上确立了 HPM 是 HAM 的一个退化特例 (Degenerate Form)。

3. 关键贡献 (Key Contributions)

1. 理论溯源与统一：首次从弱非线性微扰理论的角度，严格推导出了 HAM 的核心同伦变形方程。证明了 HAM 并非独立于微扰理论之外，而是经典微扰理论的一种结构化、自适应的推广 (Structured, Adaptive Generalization)。
2. 解决理论争议：通过解析延拓和参数固定策略，彻底厘清了 HAM 与 HPM 的层级关系。明确指出 HPM 是 HAM 在特定参数约束下的特例，消除了学术界关于两者是否属于同一类别的长期争论。
3. 参数优化理论：阐明了 HAM 中三个核心参数（最优辅助线性算子 $L_{opt}$、收敛控制参数 $\hbar$、辅助函数 $H(r)$）的物理和数学意义。指出 HPM 因固定这些参数而丧失了收敛性调节能力和算子优化的灵活性，这解释了为何 HPM 在处理强非线性问题时可能发散，而 HAM 通过调节参数可以确保收敛。
4. 数学严谨性提升：利用 Fréchet 导数、实解析函数延拓定理和隐函数定理，为同伦类方法提供了坚实的数学基础，填补了现有文献中关于同伦变形方程来源的空白。

4. 主要结果 (Results)

• 推导结果：成功构建了方程 $(1-\varepsilon)L_{opt}(u-u_0) = -\varepsilon hH(r)F(u)$，证明了该方程在 $\varepsilon \in [0, 1]$ 上的有效性，且解曲线 $u(\varepsilon)$ 是连续且光滑的。
• 等价性证明：证明了当 $\varepsilon=1$ 时，该方程代数等价于原非线性方程；当 $\varepsilon=0$ 时，退化为线性方程。
• 特例验证：通过数学推导确认，当 $L_{opt}=L, \hbar=-1, H(r)=1$ 时，HAM 的级数展开与 HPM 完全一致。
• 文献计量分析：基于 Web of Science 数据（截至 2026 年 1 月），统计显示 HAM 和 HPM 均具有巨大的学术影响力（合计 11,700 篇相关论文，20 万余次非自引），但 HAM 在理论深度和收敛控制方面具有更广泛的适应性。

5. 意义与影响 (Significance)

• 纠正认知偏差：纠正了文献中关于 HAM“完全超越”或“与微扰法无关”的错误认知，明确了其作为微扰理论推广的本质。
• 指导理性应用：为研究人员提供了清晰的理论指南。对于强非线性问题，应优先使用具有灵活参数调节能力的 HAM，而非固定参数的 HPM，以避免级数发散。
• 统一理论框架：将基于同伦的非线性分析方法统一在一个理论框架下，明确了不同方法之间的层级从属关系（HAM > HPM），有助于未来方法的比较分析、改进和进一步发展。
• 工程应用价值：通过明确参数优化的理论依据，有助于在流体力学、控制理论等工程领域更有效地应用这些方法解决复杂的强非线性问题。

总结：本文通过严格的数学推导，将同伦分析法 (HAM) 重新定位为经典微扰理论的广义形式，并证明了同伦微扰法 (HPM) 是其特例。这一工作不仅解决了长期存在的理论争议，也为非线性科学中解析近似方法的发展奠定了坚实的统一理论基础。