关于复映射$f(z)=z²$的极坐标对应函数、有界非收敛轨迹分析及混沌轨道判定的技术问询

嘿，咱们一步一步拆解你的问题，都是复动力系统里基础但有意思的点：

1. 极坐标下的对应函数 #

首先，复数$z$用极坐标表示为$z = r e^{i\theta}$，代入$f(z)=z²$计算可得：
$f(z) = (r e^{i\theta})² = r² e^{i2\theta}$。你提到的给定极坐标映射$p(r, \theta)=(r², \theta)$其实和$f(z)=z²$不匹配——实际$f(z)$对应的极坐标映射应该是$p(r, \theta)=(r², 2\theta)$，这是复数平方的核心性质：模长取平方，幅角直接翻倍，这个幅角的变化是关键，可不能漏掉哦。

2. 有界且不收敛到原点的初始点 #

先明确轨迹的定义：初始点$z_0$的轨迹就是迭代序列${z_0, f(z_0), f(f(z_0)), ...} = {z_0^2, z_0^4, z_0^8, ...}$，咱们分情况看：

• 如果$|z_0| < 1$：轨迹的模长是$|z_0|², |z_0|^4,...$，会指数级收敛到0，所以轨迹最终趋向原点；
• 如果$|z_0| > 1$：模长是$|z_0|², |z_0|^4,...$，指数级趋向无穷，轨迹完全无界；
• 如果$|z_0| = 1$：模长始终保持为1，轨迹完全落在单位圆上，肯定有界。这里又分两种情况：
  • 若$z_0$是单位根（比如$z_0=-1$，$z_0=e^{{i\pi/2}$这类满足$z_0}n=1$的点），轨迹是周期循环的，不会收敛到原点；
  • 若$z_0$不是单位根，轨迹会在单位圆上稠密分布，同样永远不会收敛到原点（因为模长一直是1，离原点的距离恒定）。

所以结论很清晰：所有模长等于1的初始点（不管是周期点还是非周期点），它们的轨迹都有界且不收敛到原点。

3. 用李雅普诺夫函数证明轨迹行为 #

咱们可以构造李雅普诺夫函数$V(z) = |z|² - 1$，针对不同模长的点分别分析：

• 对于$|z|=1$的点：$V(z)=0$，计算迭代后的差值$V(f(z)) - V(z) = |z²|² -1 - (|z|² -1) = |z|^4 - |z|²$，代入$|z|=1$后，这个差值等于0，说明$V(z)$在轨迹上是常数，也就意味着$|z_n|=|z_0|=1$始终成立，轨迹必然有界；
• 对于$|z|<1$的点：$V(z)=|z|²-1 <0$，$V(f(z))-V(z)=|z|^4 -|z|²=|z|²(|z|²-1) <0$，说明$V(z)$沿迭代轨迹不断递减，最终趋向$-1$，对应$|z|$趋向0，也就是轨迹收敛到原点；
• 对于$|z|>1$的点：$V(z)>0$，$V(f(z))-V(z)=|z|²(|z|²-1) >0$，$V(z)$沿迭代轨迹不断递增，趋向无穷，对应轨迹无界。

这样就通过李雅普诺夫函数严格证明了不同初始点轨迹的有界性和收敛性。

4. 混沌轨道的判定 #

要判定混沌，通常需要满足三个核心条件：对初始条件敏感依赖、拓扑传递、周期点稠密，咱们一个个验证：

• 对初始条件敏感依赖：在单位圆上取两个非常接近的点$z_0=e^{{i\theta}$和$z_1=e}{i(\theta+\epsilon)}$，经过n次迭代后，它们的距离是$|e^{i2n\theta} - e^{i2n(\theta+\epsilon)}|=2|\sin(2^{{n-1}\epsilon)|$。因为$2}n$是指数增长的，哪怕$\epsilon$极小，只要n足够大，这个距离会快速变大，甚至能达到最大值2，完全满足敏感依赖；
• 拓扑传递：单位圆上任意一段开弧，经过多次迭代后，幅角不断翻倍，弧长会被不断“拉伸”，最终覆盖整个单位圆，满足拓扑传递的要求；
• 周期点稠密：单位根就是周期点（比如$e^{i2\pi k/2^m}$，其中m是正整数，k是整数），这些点在单位圆上是稠密的——不管你取多小的一段弧，总能找到这样的单位根落在里面。

满足这三个条件，就可以判定：$f(z)=z²$在单位圆上的限制映射是混沌的，所有非周期的单位圆上的点，它们的轨迹都是混沌轨道。

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