[論文レビュー] A Generalization of a Minimal Problem of Korkin-Zolotarev kind

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

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

ひとこと要約

本稿は、$[-1,\alpha]$ および $[eta,1]$ で 1、$(\alpha,\beta)$ で 0 である重み関数に対して、Korkine-Zolotarevの最小化問題を一般化し、この重み関数のもとで $L^1$ ノルムを最小化する単monic多項式を解明する。任意の $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.

研究の動機と目的

• 非一様で不連続な重み関数の下での単monic多項式に対する最小 $L^1$ ノルム問題に関する文献の空白を埋める。
• 元々 $p(x) = 1$ の場合にのみ解かれていた古典的 Korkine-Zolotarev問題を、内部の部分区間 $[\alpha, \beta]$ で消える重み関数に拡張する。
• 集合 $E = [-1,\alpha] \cup [\beta,1]$ の下で $\int_E |f_n(x)| \, dx$ を最小化する極値単monic多項式 $f_n(x)$ の特徴づけを行う。
• 任意の $n$、$\alpha$、$\beta$ に対して、解が楕円関数で表現可能であることを確立し、従来の漸近的手法の制限を克服する。
• 極値多項式が $[-1,\alpha]$ および $[\beta,1]$ にのみ単純な実零点をもち、$(\alpha,\beta)$ に零点をもつのは特定の積分バランス条件を満たす場合に限ることを証明する。

提案手法

• 最小化問題を、$f_n(x) = x^n + p_1x^{n-1} + \cdots + p_n$ という単monic多項式が $I[f] = \int_{-1}^{\alpha} |f(x)| \, dx + \int_{\beta}^{1} |f(x)| \, dx$ を最小化する問題として定式化する。
• $i = 0,1,\dots,n-1$ に対して $\partial I[f]/\partial p_i = 0$ となる臨界点条件を導出し、$x$ の累乗を含む積分方程式の系を得る。
• Tchebyshev および 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$ ノルムを最小化する単monic多項式の正確な形は何か？
• 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$ を満たす極値単monic多項式は、すべての $n$ 個の零点が単純で、$[-1,\alpha] \cup [\beta,1]$ にのみ存在し、特定の積分バランス条件が成立しない限り $(\alpha,\beta)$ には零点を持たない。
• $\xi \in (\alpha,\beta)$ に内部零点が存在するのは、$\int_{-1}^{\alpha} \frac{|f(x)|}{\xi - x} \, dx = \int_{\beta}^{1} \frac{|f(x)|}{x - \xi} \, dx$ を満たす場合に限る。この場合、解は一意でない。
• $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$（偶数）の場合、同様の恒等式が成り立ち、係数において $\alpha$ と $\beta$ を入れ替えた構造を持つ。
• 最小化問題の解は、任意の $n$、$\alpha$、$\beta$ に対して楕円関数で表現可能であり、厳密な閉形式解が得られる。これは従来の漸近的結果に比べて顕著な改善である。
• 内部零点が存在する場合、解は零点の配置の選択に依存するが、そのような零点は $\alpha$ や $\beta$ に置き換え可能であり、$I[f]$ の値に影響しない。これにより、零点が $[-1,\alpha] \cup [\beta,1]$ にのみ存在するものに制限できる。