构造轨迹为y=|x|的光滑映射与解析映射的相关技术问题

嗨，很高兴看到你已经自己搞定了y=|x|的光滑参数化，这个构造挺巧妙的！那咱们来聊聊解析映射的问题——结论是不存在这样的解析参数化，下面给你讲清楚为什么：

首先明确前提：解析映射要求分量函数x(t)和y(t)都是定义在开区间上的解析函数，也就是在定义域内每一点都能展开成收敛的泰勒级数，且任意阶导数都存在且连续。而y=|x|的轨迹在原点(0,0)处是尖点，左右导数分别为1和-1，本身是不可微的。

假设存在这样的解析参数化$\alpha(t)=(x(t), y(t))$，覆盖整个y=|x|的轨迹，且对所有t都满足$y(t)=|x(t)|$。那么原点必然对应某个$t_0∈I$，即$x(t_0)=0$，$y(t_0)=0$。因为x(t)是解析函数且不恒为0（否则轨迹只有原点），它在$t_0$处的泰勒展开会有最低次项：
$$x(t) = a_k(t-t_0)^k + o((t-t_0)^k)$$
其中$a_k≠0$，k是正整数。

接下来分两种情况分析：

• 当k为奇数时：在$t_0$附近，x(t)会随着t从$t_0$左侧到右侧改变符号（因为奇数幂的正负性随自变量偏移方向变化）。此时$y(t)=|x(t)|=|a_k|·|t-t_0|^{k$，但$|t-t_0|}k$当k为奇数时，在$t_0$处的一阶导数不存在（左右导数符号相反、数值不等），这和y(t)是解析函数（必须任意阶导数存在）的性质矛盾。
• 当k为偶数时：x(t)在$t_0$附近恒正或恒负（偶数幂非负，加上$a_k≠0$，符号固定），此时$y(t)=|x(t)|$要么等于x(t)，要么等于-x(t)，这样参数化的轨迹只能是y=|x|的一半（要么x≥0的部分，要么x≤0的部分），根本没法覆盖整个轨迹，不符合要求。

另外还有个关键的点：解析函数如果在某点所有阶导数都为0，那这个函数就恒等于0了——这和你用的光滑参数化里的平坦函数$e^{-1/t²}$完全不同，那个函数在t=0处所有阶导数都是0，但本身不恒为0，不过它是光滑但不解析的。所以你没法用解析函数复刻这个思路，因为解析函数不允许这种“平坦但不恒零”的情况。

再回头看你那个光滑参数化：用$t e^{-1/t²}$和$|t| e^{-1/t²}$的思路非常经典，利用平坦函数的特性，让参数化在t=0处所有阶导数都为0，完美绕过了原点的不可微性，这在光滑范畴里是完全合法的，但解析范畴里就没这种操作空间啦。

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