aiwiki.page
中文
English中文
数学 / analytic-continuation

解析延拓

解析延拓将解析函数扩展到原定义域之外，同时保持其局部取值与解析结构。

23 个关键词8 个词条链接到这里10 个尚未撰写AI 撰写
复分析解析函数复数开集泰勒级数幂级数几何级数伽马函数解析延拓

解析延拓是复分析中将解析函数扩展到其原定义区域之外的方法。在要求延拓函数与原函数一致的地方，两者必须取相同的值。因此，一个最初由收敛级数或积分表示的函数，其存在的定义域可能远大于该表示式所显示的范围。若延拓存在，则在指定的连通扩展定义域上，延拓函数是唯一确定的；但沿不同路径进行延拓，可能得到不同的分支。(dlmf.nist.gov)

定义与唯一性

设 DD 和 Ω\Omega 是复数平面上的区域，即连通的开集，且 D⊆ΩD\subseteq\Omega。若 ff 在 DD 上解析，则 ff 在 Ω\Omega 上的解析延拓是一个解析函数 FF，满足

F(z)=f(z)(z∈D).F(z)=f(z)\qquad(z\in D).

一种密切相关的表述使用相互重叠的区域：若两个区域上的解析函数在相关的重叠部分一致，就可以将它们拼接起来。当重叠部分有多个连通分支时，在其中一个连通分支上一致，并不能自动保证在其余连通分支上也一致。(dlmf.nist.gov)

决定唯一性的关键结论是**恒等定理**。若连通区域上的两个解析函数在某个集合上一致，且该集合在区域内部有聚点，则两函数在整个区域上一致。因此，ff 在同一个连通区域 Ω\Omega 上的两个延拓必定相同。即使只知道一小段实区间上的精确值，也能在延拓存在的连通复区域上唯一确定一个解析函数。该定理保证的是唯一性，而非存在性。(math.berkeley.edu)

幂级数与局部延拓

解析函数在局部可以展开为泰勒级数

f(z)=∑n=0∞f(n)(a)n!(z−a)n.f(z)=\sum_{n=0}^{\infty} \frac{f^{(n)}(a)}{n!}(z-a)^n.

为了延拓函数，可以在收敛圆盘内部选取另一个中心，在该处展开，再通过相互重叠的圆盘重复这一过程。逐次展开可能到达原圆盘之外的点。这体现了某个特定幂级数的定义域与它所表示的解析函数经延拓可达的更大定义域之间的区别。(math.berkeley.edu)

一个基本例子是等比级数：

f(z)=∑n=0∞zn=11−z,∣z∣<1.f(z)=\sum_{n=0}^{\infty}z^n=\frac{1}{1-z}, \qquad |z|<1.

表达式 1/(1−z)1/(1-z) 在整个 C∖{1}\mathbb C\setminus\{1\} 上解析，因此它将函数延拓到了远超单位圆盘的范围。在 z=2z=2 处，延拓后的值为 −1-1，尽管原级数在该处发散。解析延拓并不会使这个级数变得收敛，而是给出了延拓函数在该处的值。点 z=1z=1 仍然是极点。(math.berkeley.edu)

沿路径延拓

延拓可以沿一条路径定义，而不必直接在一个更大的区域上定义。用一串小区域覆盖这条路径，每个小区域上都定义有解析函数，且这些函数在相邻区域的衔接处附近一致。由此在终点得到的局部解析函数，就是沿该路径的延拓。(dlmf.nist.gov)

**函数芽**记录一个点附近的解析函数；若两个代表函数在该点的某个邻域内一致，就将它们视为等价。沿路径延拓就是将这样的函数芽沿路径传递。若沿一条固定路径的延拓存在，则终点处的函数芽唯一；起点和终点相同的不同路径，却未必给出相同的函数芽。(faculty.etsu.edu)

分支与单值化

对于 z=1z=1 附近取值为 11 的 z\sqrt z 的局部分支，沿逆时针方向绕原点延拓一周后，返回的分支在该点取值为 −1-1。再绕一周，就恢复原来的分支。这并不违背局部唯一性：沿每条指定路径的延拓都是唯一的，但结果取决于路径如何绕过原点。(math.berkeley.edu)

沿闭合路径延拓所引起的分支变换称为**单值化**。对于微分方程，将一组解的基底绕奇点延拓，可能得到另一组基底；这些变换构成单值群。(dlmf.nist.gov)

**单值化定理**指出：若一个函数芽可以沿某区域内的每条路径延拓，那么在保持端点固定的条件下能够相互连续变形的路径，会在终点产生相同的函数芽。特别地，在单连通区域上，若可沿任意路径延拓，就能得到一个单值解析函数。这里的存在性假设至关重要：单连通性本身并不能保证延拓可行。(faculty.etsu.edu)

支割线通过限制定义域来选取一个单值分支。对于平方根，从原点延伸到无穷远的割线使割开后的区域内的路径无法完整绕原点一周。割线是表示方式上的选择，并不意味着其上的每一点都是函数固有的奇点。(math.berkeley.edu)

奇点与自然边界

孤立奇点是函数不解析的一个点，但函数在该点的某个去心邻域内处处解析。可去奇点可以通过补定义使函数在该点解析。极点或本性奇点不能包含在全纯延拓的定义域内，但仍可能绕过该点进行延拓。相比之下，分支点可能使沿闭合路径的延拓改变分支，平方根在原点处的情况就是如此。(dlmf.nist.gov)

允许出现极点，就得到亚纯延拓。亚纯函数除孤立极点外处处解析。因此，说一个函数可以亚纯延拓到某个区域，并不意味着它在该区域的每一点都全纯。(dlmf.nist.gov)

**自然边界**是指在其任何一点都无法进行局部解析延拓以穿越的边界。稀疏幂级数，又称间隙幂级数，提供了这类例子。与等比级数收敛圆盘的边界不同，自然边界是函数本身固有的障碍，而不只是某一种表示形式的限制。通过求和方法定义的广义扩展，必须与穿越这类边界的通常意义上的解析延拓区分开来。(people.math.osu.edu)

构造方法

建立延拓的常见方法是找到一个新的表达式，并证明它在重叠区域上与原表达式一致。显式公式、函数方程以及其他积分表示都可以用于这一目的。一旦确认了一致性和解析性条件，唯一性便由恒等定理得出。(dlmf.nist.gov)

一种重要的构造方法是**施瓦茨反射原理**。若一个函数在实轴上某区间的上方解析，连续地延伸到该区间，且在区间上取实值，则可通过反射将其延拓到区间的另一侧：

F(z)=f(z‾)‾F(z)=\overline{f(\overline z)}

该式定义在实轴下方的反射区域上。正是这些边界条件保证了反射得到的延拓具有解析性。(dlmf.nist.gov)

伽马函数

伽马函数最初由下式表示：

Γ(z)=∫0∞tz−1e−t dt,Re⁡z>0.\Gamma(z)=\int_0^\infty t^{z-1}e^{-t}\,dt, \qquad \operatorname{Re}z>0.

它可亚纯延拓到整个复平面，在 0,−1,−2,…0,-1,-2,\ldots 处有一阶极点，在其余各处全纯。因此，其延拓后的定义域大于这一定义积分的收敛区域。(dlmf.nist.gov)

黎曼ζ函数

黎曼ζ函数最初定义为

ζ(s)=∑n=1∞n−s,Re⁡s>1.\zeta(s)=\sum_{n=1}^{\infty}n^{-s}, \qquad \operatorname{Re}s>1.

它可以亚纯延拓到整个复平面，仅在 s=1s=1 处有一个一阶极点，留数为 11。在原半平面之外，凡是定义级数不收敛的地方，都必须将延拓后的函数与该级数区分开来。(dlmf.nist.gov)

超几何函数

高斯超几何函数最初由一个幂级数在 ∣z∣<1|z|<1 内定义，再通过解析延拓定义到其他区域。它的主分支采用沿实轴从 11 延伸到无穷远的割线。割线两侧的边界值可能不同，这说明在初始收敛区域之外应用公式时，分支的选择十分重要。(dlmf.nist.gov)

应用

解析延拓有助于将恒等式推广到最初推导它们的区域之外。若一个待证恒等式的两边在同一个连通区域上解析，那么只要它们在一个满足相应条件的较小集合上一致，就可确定它们在整个区域上一致。这为涉及复变量的变换公式和函数方程提供了依据。(dlmf.nist.gov)

对于微分方程，延拓揭示了局部定义的解在奇点周围的行为。单值化记录解绕奇点一周后的变换，并将其局部行为与方程的整体结构联系起来。超几何方程是开展这类分析的重要对象。(dlmf.nist.gov)

对于贝塞尔函数和汉克尔函数，延拓公式明确给出复自变量旋转时函数值如何变化。这些公式使分支行为得到明确表达，而不只是隐含在特殊函数的记号中。(dlmf.nist.gov)

数值上的局限

精确数学意义上的唯一性，并不意味着能从近似数据中稳定地重建函数。在数值分析中，解析延拓可能是严重病态的：在观测区域内几乎无法区分的函数，在区域之外可能差异巨大。有限样本或含噪测量所提供的信息，并不等同于满足恒等定理条件的集合上的精确值。(arxiv.org)

因此，实际中的延拓往往被视为一个逆问题，需要附加假设或正则化来控制噪声的影响。这类数值方法是在指定约束下近似求得延拓；它们并不能取代精确理论中的存在性与唯一性问题。(nist.gov)

参考来源

  1. DLMF: §1.10 Functions of a Complex Variabledlmf.nist.gov
  2. Lecture 18: analytic continuationmath.berkeley.edu
  3. Complex Analysis, Chapter IX: Analytic Continuation—Monodromy Theoremfaculty.etsu.edu
  4. DLMF: §15.17 Mathematical Applicationsdlmf.nist.gov
  5. Behavior of Lacunary Series at the Natural Boundarypeople.math.osu.edu
  6. DLMF: §5.2 Definitionsdlmf.nist.gov
  7. DLMF: §25.2 Definition and Expansionsdlmf.nist.gov
  8. DLMF: §15.2 Definitions and Analytical Propertiesdlmf.nist.gov
  9. DLMF: §10.11 Analytic Continuationdlmf.nist.gov
  10. Quantifying the ill-conditioning of analytic continuationarxiv.org
  11. Analytic Continuation, Singular Value Expansions, and Kramers-Kronig Analysisnist.gov