嗨，作为控制理论学者，碰到这种数学拓展问题很正常——我来帮你理清楚为什么第二类切比雪夫多项式能接受复自变量。

首先，你最开始看到的定义 Uₙ(x) = \dfrac{\sin((n+1)\theta)}{\sin(\theta)}（其中x=\cos(\theta)，\theta\in\left[0,\pi\right]），其实只是这个多项式在实轴上的特殊表现形式，而第二类切比雪夫多项式本身的核心身份是一个n次多项式。

我们先回忆一下，第二类切比雪夫多项式可以用递推式定义：

• U₀(x) = 1
• U₁(x) = 2x
• Uₙ(x) = 2xUₙ₋₁(x) - Uₙ₋₂(x)（n≥2）

这个递推式里的x完全可以是复数，因为复数的加减乘运算都是良定义的。所以从多项式的本质来说，它的定义域天然可以从实数扩展到整个复数域ℂ，就像你平时用的二次多项式ax²+bx+c，不管x是实还是复都能计算一样。

那原来的三角表达式怎么推广到复数呢？这就要用到复数域里的三角函数定义了。对于任意复数z，我们用欧拉公式定义：
\cos z = \dfrac{e^{iz} + e^{-iz}}{2}
\sin z = \dfrac{e^{iz} - e^{-iz}}{2i}

当x是复数时，我们总能找到一个复数z使得x=\cos z（复数反余弦函数可以做到这一点），这时候原来的表达式就可以推广为：
Uₙ(x) = \dfrac{\sin((n+1)z)}{\sin z}

当然，当\sin z = 0的时候（也就是z=k\pi，k为整数，对应x=\cos(k\pi)=(-1)^k），这个分式会出现奇点，但这时候我们可以用多项式的递推式或者极限来计算Uₙ(x)的值，结果是有限的（比如Uₙ(1)=n+1，Uₙ(-1)=(-1)^n(n+1)）。

回到你的研究场景：当你分析2-Toeplitz扰动矩阵的谱时，这些矩阵的特征值可能不全是实数，会出现复数特征值。这时候用复自变量的第二类切比雪夫多项式就能直接处理这些复特征值，因为多项式在复数域上是解析的，能无缝覆盖所有可能的谱情况，这也是很多论文里用到复自变量的原因。

希望这个解释对你有帮助！

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