1 基本概念
解析函数是复分析与微积分体系中的核心类对象。直观上，它们在局部区域内可以用幂级数来表示，因此具有高度规则的“内部结构”：不仅可无限次求导，还能由系数与级数收敛性把许多性质系统地推导出来。
1.1 定义
1.1.1 局部幂级数表示
设复函数 \(f\) 定义在复平面某区域内。若对区域中每个点 \(z_0\)，都存在以 \(z_0\) 为中心的幂级数 \[ \sum_{n=0}^{\infty} a_n (z-z_0)^n \] 使得在 \(z_0\) 的某个邻域内该幂级数逐点收敛并且其和函数等于 \(f(z)\)，则称 \(f\) 在该区域内为解析函数。这里的“局部”意味着幂级数不要求在整个区域统一地以同一中心展开，但在每个点附近都能找到合适的幂级数表达。
1.1.2 收敛半径与定义域
| 以 \(z_0\) 为中心的幂级数通常存在收敛半径 \(R>0\)，在 \( | z-z_0 | <R\) 内收敛。半径决定了该点附近解析表示所覆盖的范围。需要注意的是：解析性并不等同于幂级数在全域收敛；一个函数可能在不同点附近具有不同的局部展开范围，从而形成由这些局部收敛“拼合”出来的定义域结构。 |
|---|
1.2 解析函数与可微函数
1.2.1 无限次可微性
如果 \(f\) 在某区域解析，则它在该区域内自动具备无限次可微性，并且高阶导数与幂级数系数存在明确对应关系。换句话说，解析性比一般可微性更强：不仅能求导，而且导数的行为由幂级数的结构共同控制。
1.2.2 解析性与光滑性的区别
在实变量情形，“光滑”指 \(C^\infty\)（所有阶导都存在且连续），但仍可能出现非解析的光滑函数。而在复变量中，解析性通常更为刚性：只要在某处满足合适的解析条件，函数的局部行为就被幂级数完全“锁定”。因此，复可微与解析之间的关系更紧密，但其细节依赖复结构（例如柯西-黎曼方程等条件）。
1.3 典型例子
1.3.1 多项式函数
多项式在任意复点附近都能用有限幂级数表示，从而必为解析函数。其泰勒展开在整个复平面都成立，体现了解析函数类中最基础、最稳定的一类对象。
1.3.2 指数函数与三角函数
指数函数 \(e^z\)、正弦函数 \(\sin z\)、余弦函数 \(\cos z\) 都可以写成幂级数并且对所有复数收敛（收敛半径为无穷大）。因此它们不仅在实轴上光滑，而且在复平面内解析，能够支持更强的解析延拓与复积分方法。
1.3.3 反例与非解析函数
存在在实变量上处处可导甚至光滑但无法在任何点用幂级数表示为其局部和的函数。此类函数在复分析语境下往往不满足解析性要求：即使在某些方向上导数表现良好，也可能无法获得幂级数的局部表示，从而成为“非解析”的典型反例。它们用于强调解析性相对光滑性的严格程度。
2 性质
解析函数的性质体现了其“局部幂级数结构”的强约束。下面从展开、运算、零点与延拓四个方向概括其核心定理与直观后果。
2.1 局部展开性质
2.1.1 泰勒展开
若 \(f\) 在点 \(z_0\) 附近解析，则它可写为泰勒级数 \[ f(z)=\sum_{n=0}^{\infty}\frac{f^{(n)}(z_0)}{n!}(z-z_0)^n \] 在收敛域内成立。泰勒展开不仅提供表示，还将函数值、导数与幂级数系数一一对应起来，使得“算导数”和“算系数”成为可互换的技术。
2.1.2 幂级数唯一性
幂级数（在其收敛域内）具有唯一性：若两个解析函数在某个连通开集上具有相同的泰勒系数，则它们在该开集中恒等。更一般地，只要在足够小的邻域中匹配，就能通过唯一性逐步扩展一致性。这一性质为“由局部信息决定整体形态”提供了根本依据。
2.2 运算封闭性
解析函数在常见代数运算下保持解析性，说明解析类具有良好的“封闭性”。
2.2.1 加减乘除
若 \(f\) 与 \(g\) 在某区域解析，则 \(f+g\)、\(f-g\)、\(fg\) 仍解析。对于商函数，若 \(g\) 在某点附近不为零，则 \(f/g\) 在该点附近解析。此结论可由幂级数乘法、以及非零情形下的幂级数可逆性推导。
2.2.2 复合函数
若 \(g\) 在合适区域解析，且 \(g\) 的值落在 \(f\) 的解析域内，则复合函数 \(f\circ g\) 仍可得到解析性结果。直观上，先在 \(z\) 附近把 \(g(z)\) 写成幂级数，再把该表达代入 \(f\) 的幂级数展开，就能形成新的幂级数表示，从而保持解析结构。
2.3 零点与恒等定理
解析函数的零点行为具有明显“稀疏性”，并由强恒等定理控制。
2.3.1 零点的孤立性
若 \(f\) 在区域内解析且非恒为零，则其零点在该区域内是孤立的：任何零点附近存在删除该点以外的最小邻域，使得该邻域内不存在其他零点。该结论源自泰勒展开：若零点不孤立，就迫使所有系数均为零，导致函数恒等于零。
2.3.2 恒等成立条件
若两个解析函数在某个区域内相等于一组具有聚点的点集上的值，则它们在该区域内恒等。常见用法是：只要确认“在足够密的点上相同”，解析性就会把局部一致性传播为整体一致性。
2.4 延拓性质
解析延拓强调：解析函数不仅能在局部由幂级数刻画，而且往往能沿路径把局部定义逐步“延伸”。
2.4.1 解析延拓
若一个解析函数在某区域给出，并且在更大区域存在与之相容的解析实现，那么原函数可以延拓为更大的解析函数。延拓并非总能无条件完成，但在合适条件下，局部解析信息能够推出更大范围的唯一延拓。
2.4.2 最大解析延拓
在给定初始定义域后，一个解析函数通常具有“最大的”解析延拓域：在该域上解析一致并在更大范围无法再做无冲突扩张。最大延拓域可理解为由解析一致性与可延拓性的上界共同决定的结果。
3 判定与判别方法
判断一个函数是否解析，常需要将其性质转化为幂级数可行性或与解析条件等价的结构。以下方法分别从泰勒、微分方程与复变手段概括。
3.1 通过泰勒级数判定
3.1.1 系数计算
若能够计算或给出候选幂级数系数 \(a_n\)，并证明在某点附近幂级数和函数满足目标函数的行为，就能完成解析性判定。计算方式常见于已知导数、递推关系或由表达式直接展开。
3.1.2 收敛性检验
即使形式上得到幂级数表达，也需要验证收敛半径与收敛域。判定通常通过比较判别、比值判别或估计幂级数项增长来完成。一旦确认在某邻域收敛并与函数一致，则该邻域内解析性成立。
3.2 通过微分方程判定
3.2.1 解析系数情形
若函数满足某类微分方程，且方程系数在所考虑区域内足够规则（例如可用解析形式表示），则解往往能够继承解析性。此类结论在工程与数学中非常常见，因为许多物理模型天然导向微分方程。
3.2.2 局部解的解析性
即便全局解难以写出，仍可在给定点附近讨论局部解。通过把方程转化为幂级数形式并分析递推关系，能够证明局部解存在且满足解析结构，从而得到“解是解析函数”的结论。
3.3 通过复变方法判定
3.3.1 柯西积分公式
对全纯（解析）类函数，柯西积分公式提供了将函数值与边界积分联系起来的强工具。反过来，在某些情况下，如果能够证明积分公式所蕴含的表示与原函数相容，则可推出函数满足解析性所需条件。
3.3.2 复可微与解析性
复可微与解析性之间的对应关系可通过复可微的结构性条件刻画。对足够光滑的复函数，满足复可微条件的场景下可以进一步推出解析性，从而形成判定链条：由局部复变量条件导出幂级数展开的可能性。
4 与相关概念的关系
解析函数常与全纯函数、幂级数、光滑函数以及微分方程中的解析性共同出现。它们之间既有包含关系，也有可区分的差异。
4.1 全纯函数
4.1.1 实解析与复解析
在复分析中，“全纯函数”通常用来描述在区域内处处解析（或等价地满足复可微的解析性条件）的函数。两者可视为同一类概念在不同表述体系下的对应。
4.1.2 局部与整体性质
全纯函数在局部由泰勒展开决定，但整体行为会受到区域连通性与延拓可能性的影响。通过最大解析延拓等思想，可以把局部刻画提升为对更大区域的整体理解。
4.2 幂级数
4.2.1 幂级数函数
幂级数在收敛域内天然定义了函数，并且其在该域内必为解析。解析函数的很多性质可以从幂级数的代数与分析性质推回去。
4.2.2 收敛域结构
收敛域与收敛半径构成解析函数可展开范围的基本几何信息。连通区域内的解析性与唯一性共同决定了函数在不同收敛域间的一致性。
4.3 光滑函数
4.3.1 C∞函数
在实变量理论里，\(C^\infty\) 描述“所有阶导存在且连续”的光滑程度。它强调的是可微性层级，而不自动保证幂级数表示。
4.3.2 非解析的光滑函数
存在这样的例子：函数在实变量上可无限次求导但并非解析。它们说明“光滑”并不等同于“能写成泰勒级数并在邻域内收敛到自身”，也因此在比较复与实的解析性时具有示范意义。
4.4 微分方程中的解析性
4.4.1 解析解
当微分方程及初始条件足够良好时，解可以呈现解析形式。解析解往往不仅满足方程，还能通过幂级数与递推公式进一步计算系数。
4.4.2 级数解法
级数解法是常用的研究手段：把未知函数设为幂级数，代入方程后比较系数得到递推关系，再结合收敛性讨论得到局部解析解。该方法将“解析函数理论”直接嵌入“方程求解”流程。
5 应用
解析函数的应用体现了其把局部信息组织为强表示能力的优势，从而使极限、积分、逼近乃至物理建模更可操作。
5.1 数学分析中的应用
5.1.1 极限与积分计算
利用泰勒展开与解析性带来的高阶控制，可以把许多看似复杂的极限或积分问题转化为幂级数项的比较与收敛讨论。特别地，当被积函数或被讨论对象可在某点附近展开时，积分或极限的主要贡献往往与低阶系数直接相关。
5.1.2 函数逼近
解析性提供了“用多项式逼近”的系统框架：在收敛域内，泰勒多项式以可估计的方式逼近原函数。由此可构造有效的数值与理论逼近策略，并分析误差随阶数增长的衰减规律。
5.2 复分析中的应用
5.2.1 留数与积分估计
在复分析中，解析函数与其在孤立奇点附近的局部表示共同构成留数理论的基础。通过留数可以快速计算许多复积分，同时也能给出积分的定性估计与渐近行为。
5.2.2 解析延拓技术
当问题天然给出局部解析对象时，解析延拓可以用于把结果扩展到更大范围。该技术在函数方程、特殊函数与复积分分析中尤为常见：先在局部得到幂级数表示，再凭唯一性与延拓把结论推广。
5.3 物理与工程中的应用
5.3.1 振动与波动问题
许多振动与波动系统的响应可由线性常微分方程或偏微分方程描述。若模型在参数与系数上具备良好规则，局部解往往可用幂级数或级数展开刻画，从而获得频域或局部时间行为的解析描述。
5.3.2 电磁与热传导模型
电磁场与热传导的某些理想化模型可归结为具有解析系数的边值问题。解析函数方法能够帮助研究响应的局部结构、边界行为以及某些量的解析延拓性质，从而提升模型求解与误差评估的可行性。