求使x²+c的Julia集完全含于ℝ的c的集合及相关分形问题

一、找到所有使得 (J(f_c) \subset \mathbb{R}) 的参数c #

首先，我们聚焦于复映射 (f_c(z) = z^2 + c) 的Julia集 (J(f_c)) 完全落在实数轴上的情况：

• 核心结论：所有满足条件的参数c是实数 (c \leq -2)。

具体分析： #

1. 当 (c = -2)：
   这个情况你已经提到，迭代可以用Chebyshev多项式表示：(f_{-2}^n(x) = 2T_n(x/2))（(T_n) 是第n个Chebyshev多项式）。所有实数点的迭代都被限制在区间 ([-2,2]) 内；而任意非实数点 (z = x + iy)（(y \neq 0)）的迭代模长会迅速趋向无穷，属于逃逸集。因此Julia集 (J(f_{-2}) = [-2,2] \subset \mathbb{R})。

2. 当 (c < -2)：
   此时实数轴上的迭代行为分为两类：一部分点会逃逸到无穷，另一部分点的迭代始终有界，这些有界点的闭包是实数轴上的Cantor集。对于复平面上的非实数点，它们的迭代模长都会趋向无穷（因为复数的平方会引入虚部，后续迭代的模长持续增大），因此Julia集完全由实数轴上的Cantor集构成，自然满足 (J(f_c) \subset \mathbb{R})。

3. 当 (c > -2)：
   无论c是实数还是复数，复平面上都会存在非实数点属于Julia集。例如：

   • 若c是复数，映射本身是复非线性映射，迭代会产生非实数的周期点或混沌点，必然包含在Julia集中；
   • 若c是实数且 (c > -2)（比如 (c = -1) 或 (c = 0)），Julia集是连通的（或单位圆），会包含大量非实数点，无法完全落在实数轴上。

二、除 (c=0) 或 (c=-2) 外，Julia集在 (\mathbb{R}) 中的部分是否始终为分形？ #

答案是否定的，存在其他参数c使得Julia集在实数轴上的部分不是分形：

分情况讨论： #

1. 当 (c < -2)：
   Julia集在实数轴上的部分是Cantor集，其Hausdorff维数介于0和1之间，具有典型的分形特征（自相似性、非整数维数），属于分形。

2. 当 (c = 1/4)：
   这是Mandelbrot集的顶点参数，此时 (f_c(z) = z^2 + 1/4) 的Julia集是实数区间 ([-1/2, 1/2])。该区间的拓扑维数和Hausdorff维数都是1，不满足分形的“维数大于拓扑维数”的核心特征，因此不是分形。

3. 当 (-2 < c < 1/4) 且 (c \neq 0)：
   大部分这类参数对应的Julia集在实数轴上的部分是分形（比如 (c = -1) 时，实数轴上的Julia集是具有自相似性的Cantor型集合），但也存在例外（比如接近 (c=1/4) 的某些参数，Julia集在实数轴上的部分趋近于区间）。

4. 当 (c > 1/4)：
   Julia集是复平面上的Cantor集，在实数轴上的部分也是Cantor集，属于分形。

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