[논문 리뷰] A Generalization of a Minimal Problem of Korkin-Zolotarev kind

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

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$-노름 문제에 대한 문헌의 빈도를 메우기.
• 원래 $p(x) = 1$ 인 경우에만 해결된 고전적 Korkine-Zolotarev 문제를 내부 부분구간 $[\alpha, \beta]$ 에서 0이 되는 가중함수로 확장하기.
• 다음과 같은 집합 $E = [-1,\alpha] \cup [\beta,1]$ 에서 $\int_E |f_n(x)| \, dx$ 를 최소화하는 차수 $n$ 의 극값 모닉 다항식 $f_n(x)$ 를 특징짓기.
• 해가 임의의 $n$, $\alpha$, $\beta$ 에 대해 타원 함수로 표현 가능하다는 것을 입증하여 이전의 점근적 방법의 한계를 극복하기.
• 극값 다항식이 단순한 실근을 $[-1,\alpha]$ 와 $[\beta,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$ 를 최소화하는 것으로 공식화한다.
• 모든 $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$-노름을 최소화하는 차수 $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)$ 에서는 영점이 없다.
• 내부 영점 $\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$ 가 짝수일 경우, 해당 방정정식은 $(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$ 에서의 영점으로 대체할 수 있으며 $I[f]$ 의 값은 변하지 않는다. 따라서 영점이 반드시 $[-1,\alpha] \cup [\beta,1]$ 에만 있어야 한다는 제약 조건을 유지할 수 있다.