c=1/4时曼德博迭代极限的精确闭表达式是否已知？证明方法探讨

好问题！当c=1/4时，这个曼德博迭代序列的极限不仅有明确的精确闭表达式，而且就是1/2。咱们用类似夹逼的思路（结合递推不等式的技巧）来严格证明这一点：

一、证明迭代极限不大于1/2 #

首先定义迭代序列：设 (a_0 = \frac{1}{4})，(a_{n+1} = a_n^2 + \frac{1}{4})。
我们用数学归纳法证明所有项 (a_n \leq \frac{1}{2})：

• 基例：(a_0 = \frac{1}{4} \leq \frac{1}{2})，显然成立；
• 归纳假设：假设对某个 (k \geq 0)，(a_k \leq \frac{1}{2})；
• 归纳步骤：代入迭代式得 (a_{k+1} = a_k^2 + \frac{1}{4} \leq \left(\frac{1}{2}\right)^2 + \frac{1}{4} = \frac{1}{4} + \frac{1}{4} = \frac{1}{2})，成立。

由于序列的每一项都不超过1/2，而极限是递增序列的上确界（下一节会说明序列单调递增），因此极限 (L \leq \frac{1}{2})。

二、证明迭代极限不小于1/2 #

先看序列的单调性：计算相邻两项的差 (a_{n+1} - a_n = a_n^2 - a_n + \frac{1}{4} = \left(a_n - \frac{1}{2}\right)^2)，显然这个差值是非负的，所以序列是单调递增的。根据单调有界定理，极限 (L) 必然存在，且 (L) 是序列的上确界，即 (L \geq a_n) 对所有 (n) 成立。

接下来用反证法结合递推变形来证明 (L \geq \frac{1}{2})：
假设 (L < \frac{1}{2})，令 (b_n = \frac{1}{2} - a_n)，则 (b_n > 0)，且当 (n \to \infty) 时 (b_n \to \frac{1}{2} - L > 0)。
把迭代式转化为 (b_n) 的递推关系：
[
a_{n+1} = a_n^2 + \frac{1}{4} \implies \frac{1}{2} - b_{n+1} = \left(\frac{1}{2} - b_n\right)^2 + \frac{1}{4}
]
展开右边并化简后可得：
[
b_{n+1} = b_n(1 - b_n)
]
对两边取倒数：
[
\frac{1}{b_{n+1}} = \frac{1}{b_n(1 - b_n)} = \frac{1}{b_n} + \frac{1}{1 - b_n}
]
因为 (a_n) 单调递增，所以 (b_n = \frac{1}{2} - a_n) 单调递减，且 (b_n \leq b_0 = \frac{1}{2} - \frac{1}{4} = \frac{1}{4})，因此 (1 - b_n \geq 1 - \frac{1}{4} = \frac{3}{4})，即 (\frac{1}{1 - b_n} \geq \frac{4}{3})。

递推这个不等式：
[
\frac{1}{b_n} \geq \frac{1}{b_0} + \frac{4}{3}n = 4 + \frac{4}{3}n
]
当 (n) 趋向无穷大时，右边会趋向无穷大，这意味着 (\frac{1}{b_n} \to \infty)，即 (b_n \to 0)，这和我们假设的 (b_n \to \frac{1}{2} - L > 0) 矛盾。因此假设不成立，即 (L \geq \frac{1}{2})。

结论 #

结合以上两步，极限 (L) 既不大于1/2也不小于1/2，所以 (L = \frac{1}{2})，这就是该迭代序列的精确闭表达式。

内容的提问来源于stack exchange，提问作者Sascha