[论文解读] Uniform approximation of sgn(x) by rational functions with prescribed poles

Franz Peherstorfer, Peter Yuditskii|ArXiv.org|Aug 10, 2006

Mathematical Approximation and Integration参考文献 4被引用 4

一句话总结

本文通过共形映射技术和渐近分析，研究了在 $[-1,-a] \cup [a,1]$ 上，对符号函数 $\mathrm{sgn}(x)$ 使用在原点（阶数 $2k-1$）和无穷远点（阶数 $2m-1$）具有指定极点的有理函数进行最佳一致逼近时的渐近误差行为。推导出一个精确的极限公式，涉及伽马函数和幂次项，解决了有理逼近理论中长期存在的问题，并在伯恩斯坦型常数方面具有应用价值。

ABSTRACT

For $a\in (0,1)$ let $L^k_m(a)$ be the error of the best approximation of the function $\sgn(x)$ on the two symmetric intervals $[-1,-a]\cup[a,1]$ by rational functions with the only possible poles of degree $2k-1$ at the origin and of $2m-1$ at infinity. Then the following limit exists \begin{equation} \lim_{m o \infty}L^k_m(a)(\frac{1+a}{1-a})^{m-{1/2}} (2m-1)^{k+{1/2}}=\frac 2 π(\frac{1-a^2}{2a})^{k+{1/2}} Γ(k+\frac 1 2). \end{equation}

研究动机与目标

• 确定在 $[-1,-a] \cup [a,1]$ 上，对 $\mathrm{sgn}(x)$ 使用在 0 和 $\infty$ 处具有阶数 $2k-1$ 和 $2m-1$ 的指定极点的有理函数进行最佳一致逼近时，误差 $L^{k}_{m}(a)$ 的渐近行为。
• 将 [5] 中关于多项式逼近的先前结果推广至具有受控极点结构的有理函数情形。
• 在 $k$ 固定、$m \to \infty$ 的极限下，为 $L^{k}_{m}(a)$ 建立精确的极限公式，将其与特殊函数和已知常数联系起来。
• 证明极小化有理函数由共形映射生成，且其渐近结构由一个与 $a$ 无关的通用极限映射所控制。
• 将有理逼近问题与加权多项式逼近问题联系起来，并通过极限论证恢复已知的伯恩斯坦型渐近结果。

提出的方法

• 通过将上半平面共形映射到带切口的区域 $\Pi_k$ 的共形映射 $H_k$ 表示极小化有理函数，且通过固定首项系数进行归一化。
• 利用当 $m \to \infty$ 时，一族共形映射 $H_k$ 的卡拉西奥多里收敛性，推导出一个与 $a$ 无关的通用极限映射，该映射控制渐近误差。
• 引入依赖于 $a$ 和 $k$ 的重归一化，并定义与极限共形映射相关的特征常数 $Y_k$。
• 通过恒等式 $E^*_n(p,a) = L^k_m(a)$，在有理逼近问题与加权多项式逼近问题 $E^*_n(p,a)$（其中 $p=2k-1$）之间建立对偶性。
• 利用未加权多项式逼近的已知渐近性（伯恩斯坦方法），并取极限 $a \to 1$，显式地通过伽马函数表达出常数 $Y_k$。
• 通过与佐洛塔列夫及其他经典逼近问题的已知结果比较，验证渐近公式的自洽性。

实验结果

研究问题

• RQ1 当 $k$ 固定且 $m \to \infty$ 时，$\mathrm{sgn}(x)$ 在 $[-1,-a] \cup [a,1]$ 上的最佳一致逼近误差 $L^k_m(a)$ 的渐近行为是什么？
• RQ2 误差 $L^k_m(a)$ 如何依赖于位置参数 $a \in (0,1)$ 以及极点阶数 $2k-1$ 和 $2m-1$？
• RQ3 极小化有理函数能否通过共形映射表征？在适当的归一化下，其族是否收敛？
• RQ4 控制渐近误差的特征常数 $Y_k$ 的精确值是什么？能否用已知的特殊函数表示？
• RQ5 有理逼近问题与经典伯恩斯坦问题（关于 $|x|^p$ 的多项式逼近）之间是否存在直接联系？

主要发现

• 极限 $\lim_{m\to\infty}L^{k}_{m}(a)\left(\frac{1+a}{1-a}\right)^{m-\frac{1}{2}}(2m-1)^{k+\frac{1}{2}}$ 存在，且等于 $\frac{2}{\pi}\left(\frac{1-a^{2}}{2a}\right)^{k+\frac{1}{2}}\Gamma\left(k+\frac{1}{2}\right)$。
• 极小化有理函数由共形映射生成，经适当归一化后，其收敛性在卡拉西奥多里意义下成立，且极限映射与 $a$ 无关。
• 渐近公式中的特征常数 $Y_k$ 被确定为 $e^{Y_k} = \frac{\Gamma(k+\frac{1}{2})}{2^{k+\frac{1}{2}}\pi}$，该结果通过从伯恩斯坦的未加权逼近理论出发的极限论证得出。
• 该问题等价于加权多项式逼近问题 $E^*_n(p,a)$（其中 $p=2k-1$），且渐近公式与该设定下的已知结果一致。
• 对称性 $L^k_m(a) = L^m_k(a)$ 及 $k=m\to\infty$ 时的渐近行为已得到验证，表明该公式也适用于对称极限情形。
• 该方法为具有固定极点的有理逼近渐近分析提供了一个通用框架，并暗示了在 $a=0$ 情形下与函数方程和经典常数之间更深层次的联系。