奇异多项式序列逼近：魏尔斯特拉斯定理的强化与临界点控制

《Advances in Mathematics》：Approximation by singular polynomial sequences

本文通过构造具有实临界点的多项式序列，证明了任何区间上的实值连续函数均可被一致逼近，且逼近多项式的导数在几乎处处收敛于零或无穷大。这一结果不仅强化了经典魏尔斯特拉斯逼近定理，还证明了Clunie-Kuijlaars定理的尖锐性，为多项式逼近理论提供了新的视角，并在全纯动力学、多项式系统求解等领域具有重要应用价值。

　　

强制实临界点的积累

本节将证明定理1.3，首先汇集证明所需的基本事实。回顾Clunie-Kuijlaars定理：若多项式序列{q_n}仅含实根且在正测度集上点态收敛于有限非零值，则其必在紧致集上一致收敛至拉盖尔-波利亚类函数。由此可得以下引理：

引理2.1

设J= [a, b] ? R为紧区间，{p_n}为仅含实临界点的多项式序列，在I上一致收敛于非常值连续函数f。若f在I上的限制不是拉盖尔-波利亚类函数的反导数，则对任意非平凡子区间J? I，存在足够大的n使得J包含{p_n}的临界点。换言之，临界点在f的非常值区域处处密集。

证明

假设存在区间J? I，使得对无限多个n，J不包含{p_n}的临界点。则{p′_n}在J上不变号，不妨设恒正。由Clunie-Kuijlaars定理，若{p′_n}在正测度集上收敛于有限非零值，则其必一致收敛至拉盖尔-波利亚函数g，且f为g的反导数，与假设矛盾。故{p′_n}在J上几乎处处发散至无穷大或零。但若其无界，则通过积分中值定理可推得{p_n}在J上不一致收敛，与已知矛盾。因此，{p′_n}在J上几乎处处收敛至零，但此时通过细致分析可发现{p_n}在J上必为常数，与f的非常值性冲突。由此反证可知临界点必须在J中积累。

两点与多点扰动

本节通过代数操作展示多项式根移动时的变化规律。以含根±a的多项式p为例，将根移至±1后得到新多项式p?= R· p，其中R(x) = (x²- 1)/(x²- a²)。该函数在区间(-a, a)内满足R(x) ≥ R(0) = a^-2，即扰动后在该区间产生幅值放大效应。通过将多个切比雪夫多项式（Chebyshev）的根进行对称分组移动（如将2N个根半数移至a附近、半数移至b附近），可在区间(a, b)内构造出指数级增高的“节点”，其高度随N增大呈指数增长（如公式(3.6)所示）。这种扰动技术为构造满足特定导数行为的逼近多项式奠定了基础。

小导数多项式的逼近

本节通过分层逼近策略证明定理1.2：先将连续函数f近似为阶梯函数g，再通过反导数构造多项式p，使其导数p′为切比雪夫多项式扰动后的缩放结果。具体步骤包括：

1. 1.
   选取高次切比雪夫多项式T_n，将其部分根进行对称扰动，生成具有局部大振幅节点的多项式q；
2. 2.
   通过缩放q控制其积分值，使反导数p在指定区间产生阶梯跃变；
3. 3.
   利用Borel-Cantelli引理协调多轮逼近误差，确保最终序列的导数几乎处处收敛于零。
   该过程中，扰动根的选取需满足临界点全部位于区间内，且逼近误差可通过节点幅值的指数增长特性精确控制。

大导数多项式的逼近

为构造导数几乎处处发散至+∞的逼近序列（定理1.4），采用与前述相反的扰动策略：通过调整根移动方向，使多项式在多数区间呈现显著正导数。具体而言，将切比雪夫多项式的根分组后向区间内部移动，构造出具有局部负尖峰的多项式，其反导数在相应区间内急剧下降。再通过线性组合与符号调整，使整体导数在正测度集上趋于+∞。此方法可灵活推广至导数在不同子集上分别收敛于0、-∞或+∞的情形。

数值算例

图9展示了采用500次多项式逼近阶梯函数的实例。上图显示逼近效果良好，下图以对数坐标刻画导数分布：在根扰动区间外，|p′|普遍低于10^-3，而在±1附近进一步降至10^-4量级。每个跳跃点对应10个根的移动操作，验证了扰动策略的有效性。通过优化根移动数量与位置，可精确控制逼近精度与导数行为。