[论文解读] A Generalization of a Minimal Problem of Korkin-Zolotarev kind

Н. И. Ахиезер|arXiv (Cornell University)|Jan 22, 2014

Mathematical functions and polynomials参考文献 1被引用 3

一句话总结

本文将 Korkine-Zolotarev 最小化问题推广至一个在两个不相交区间 $[-1,\alpha]$ 和 $[eta,1]$ 上为 1、在 $(\alpha,\beta)$ 上为 0 的权函数，求解在该权函数下使 $L^1$-范数最小的 $n$ 次首一多项式。解以椭圆函数形式精确表达，适用于任意 $n$、$\alpha$ 和 $\beta$，并以零点交错分布及涉及线性因子乘积的函数方程刻画极小化多项式的结构，关键结果为通过椭圆函数获得精确闭式解，而此前方法仅能给出渐近结果。

ABSTRACT

This is an English translation of the paper in which N. I. Akhiezer discovered his famous orthogonal polynomials on two intervals in a connection with a generalization of the Korkin-Zolotarev (Korkine-Zolotaref) problem (see the small commentary by P. Yuditskii, attached to the current publication). Translated from German by F. Puchhammer.

研究动机与目标

• 填补文献中关于在非均匀、不连续权函数下首一多项式最小 $L^1$-范数问题的研究空白。
• 将经典的 Korkine-Zolotarev 问题（原问题中 $p(x) = 1$）推广至在内部子区间 $[\alpha, \beta]$ 上消失的权函数。
• 刻画使 $\int_E |f_n(x)| \, dx$ 最小的 $n$ 次首一极小化多项式 $f_n(x)$，其中 $E = [-1,\alpha] \cup [\beta,1]$。
• 证明解对任意 $n$、$\alpha$ 和 $\beta$ 均可用椭圆函数表示，克服了以往渐近方法的局限性。
• 证明极小化多项式的所有零点均为单实根，且均位于 $[-1,\alpha]$ 和 $[\beta,1]$ 内，除非满足特定的 $L^1$-范数平衡条件，否则在 $(\alpha,\beta)$ 内无零点。

提出的方法

• 将最小化问题表述为：寻找首一多项式 $f_n(x) = x^n + p_1x^{n-1} + \cdots + p_n$，使其最小化 $I[f] = \int_{-1}^{\alpha} |f(x)| \, dx + \int_{\beta}^{1} |f(x)| \, dx$。
• 推导临界点条件 $\partial I[f]/\partial p_i = 0$（$i = 0,1,\dots,n-1$），得到涉及 $x$ 的幂次的积分方程组。
• 采用切比雪夫与 Korkine-Zolotarev 的方法，将方程组转化为涉及 $f(x)$ 的符号变化的 Stieltjes 变换的函数方程。
• 引入 $f_n(x)$ 的零点结构：所有零点 $\xi_1 < \cdots < \xi_n$ 位于 $[-1,\alpha] \cup [\beta,1]$ 内，除非 $L^1$-范数满足平衡条件，否则在 $(\alpha,\beta)$ 内无零点。
• 定义零点的偶数索引积 $U_m(x)$ 与奇数索引积 $V_{m+1}(x)$，导出代数恒等式：当 $n=2m+1$ 为奇数时，$(x+1)(x-\beta)(x-1)U_m^2(x) - (x-\alpha)V_{m+1}^2(x) = Ax + B$；当 $n=2m$ 为偶数时，类似恒等式中 $\alpha$ 与 $\beta$ 互换。
• 证明所得代数方程定义了一个超椭圆曲线，其解可用椭圆函数表示，从而对所有 $n$、$\alpha$ 和 $\beta$ 获得精确闭式解。

实验结果

研究问题

• RQ1 在权函数 $p(x) = 1$ 于 $[-1,\alpha] \cup [\beta,1]$ 且在 $(\alpha,\beta)$ 上为 0 的双区间权函数下，使 $L^1$-范数最小的 $n$ 次首一多项式的精确形式是什么？
• RQ2 极小化多项式的零点分布行为如何？在何种条件下其在 $(\alpha,\beta)$ 内可能有零点？
• RQ3 平衡条件 $\int_{-1}^{\alpha} |\varphi(x)| \, dx = \int_{\beta}^{1} |\varphi(x)| \, dx$ 在决定内部零点存在性方面起什么作用？
• RQ4 对于此类不连续权函数的最小 $L^1$-范数问题，能否通过特殊函数精确求解？若能，是哪些函数？
• RQ5 双区间情形的解是否对所有 $n$、$\alpha$ 和 $\beta$ 均可用椭圆函数表示为闭式表达，而不同于以往的渐近方法？

主要发现

• 使 $\int_E |f_n(x)| \, dx$ 最小的极小化首一多项式的所有 $n$ 个零点均为单实根，且位于 $[-1,\alpha] \cup [\beta,1]$ 内，除非满足特定的积分平衡条件，否则在 $(\alpha,\beta)$ 内无零点。
• 仅当 $\int_{-1}^{\alpha} \frac{|f(x)|}{\xi - x} \, dx = \int_{\beta}^{1} \frac{|f(x)|}{x - \xi} \, dx$ 时，才可能在 $(\alpha,\beta)$ 内存在内部零点 $\xi$，此时解不唯一。
• 当 $n = 2m+1$ 为奇数时，极小化多项式满足代数方程 $(x+1)(x-\beta)(x-1)U_m^2(x) - (x-\alpha)V_{m+1}^2(x) = Ax + B$，其中 $U_m$ 与 $V_{m+1}$ 分别为偶数索引与奇数索引零点的乘积。
• 当 $n = 2m$ 为偶数时，对应方程为 $(x+1)(x-\alpha)(x-1)U_m^2(x) - (x-\beta)V_{m+1}^2(x) = Ax + B$，结构相同，但系数中 $\alpha$ 与 $\beta$ 互换。
• 最小化问题的解对任意 $n$、$\alpha$ 和 $\beta$ 均可用椭圆函数表示，从而获得精确闭式解，显著优于以往的渐近结果。
• 当存在 $[\alpha,\beta]$ 内的零点时，解在零点位置选择上不唯一，但这些零点可替换为 $\alpha$ 或 $\beta$ 处的零点而不改变 $I[f]$ 的值，因此可将解限制在 $[-1,\alpha] \cup [\beta,1]$ 内的零点上。