关于仅在单点非解析的实解析函数收敛半径的技术问询

嗨，这个问题问到了实解析函数收敛半径的核心性质，咱们一步步来拆解分析：

一、$x_0$附近的收敛半径问题 #

首先明确你的核心疑问：

已知 $f: \mathbb{R} \to \mathbb{R}$ 在 $\mathbb{R}$ 上除了单点 $x_0$ 之外，每一点都是解析的。能否证明对任意 $x \in \mathbb{R}$，$f$ 在 $x$ 处的泰勒级数的收敛半径等于 $|x - x_0|$？换句话说，以 $x$ 为中心的泰勒级数的收敛半径，是不是恰好等于 $x$ 到那个非解析点 $x_0$ 的距离？

其实这个结论并非绝对成立，但在绝大多数常见场景下是符合的，我们可以从复解析延拓的角度来理解：

• 实解析函数通常可以延拓到复平面上的某个解析函数，此时实泰勒级数的收敛半径，本质上是复平面上从中心 $x$ 到最近的奇点（复延拓后函数非解析的点）的距离。
• 如果 $x_0$ 不仅是实轴上唯一的非解析点，同时也是复延拓后离 $x$ 最近的奇点，那收敛半径确实等于 $|x - x_0|$。
• 但存在例外情况：比如 $f$ 的复延拓在复平面上存在某个不在实轴上的奇点，且这个奇点到 $x$ 的距离比 $|x - x_0|$ 更近，那此时泰勒级数的收敛半径就会是到这个复奇点的距离，而非到 $x_0$ 的距离。不过这种情况下，实轴上除了 $x_0$ 之外，$f$ 仍然保持实解析性，因为复奇点不在实轴上，不会影响实轴上的解析性。

二、实数域上的收敛半径延伸问题 #

你提到的“特别地，如果 $f: \mathbb{R} \to \mathbb{R}$...”内容有所截断，但如果是想问实轴上整体的收敛半径分布规律，那可以结合上面的分析补充：

• 对于实轴上任意远离 $x_0$ 的点 $x$，若复延拓没有更近的奇点，收敛半径就等于 $|x - x_0|$；若存在更近的复奇点，则收敛半径由该复奇点决定。
• 当 $x$ 逐渐趋近于 $x_0$ 时，收敛半径会趋近于0，这也符合我们对奇点附近泰勒级数收敛性的直观预期。

备注：内容来源于stack exchange，提问作者Celestina