[논문 리뷰] A lower bound for the minimum deviation of the Chebyshev polynomial on a compact real set

Klaus Schiefermayr|arXiv (Cornell University)|2013. 06. 26.

Mathematical functions and polynomials참고 문헌 11인용 수 36

한 줄 요약

이 논문은 실수축의 모든 컴팩트 무한 부분집합 $ C \subset \mathbb{R} $에 대해 체비셰프 다항식의 최소 이탈 $ L_n(C) $에 대한 날카운 하한을 $ 2(\text{cap } C)^n $로 확립한다. 여기서 $ \text{cap } C $는 로그 용량을 의미한다. 이 하한은 최적이며, $[-1,1]$의 역다항식 상사 집합인 경우에 등호가 성립한다. 유사한 결과들이 단위원 위의 대칭 컴팩트 집합에 대해 유도되며, 체비셰프 다항식과 용량 이론 간의 연결을 통해 유도된다.

ABSTRACT

In this paper, we give a sharp lower bound for the minimum deviation of the Chebyshev polynomial on a compact subset of the real line in terms of the corresponding logarithmic capacity. Especially if the set is the union of several real intervals, together with a lower bound for the logarithmic capacity derived recently by A.Yu.\,Solynin, one has a lower bound for the minimum deviation in terms of elementary functions of the endpoints of the intervals. In addition, analogous results for compact subsets of the unit circle are given.

연구 동기 및 목표

• 컴팩트 실수 집합에서의 체비셰프 다항식 최소 이탈에 대해 로그 용량을 이용한 날카운 하한을 확립하는 것.
• 하한이 등호로 성립하는 컴팩트 실수 집합의 집합을 특성화하는 것.
• 실수축에 대해 대칭인 단위원의 컴팩트 부분집합으로 결과를 확장하는 것.
• 최근의 용량 추정치를 이용해 실수 구간의 합집합에 대해 기본 함수로 표현된 명시적 하한을 제공하는 것.

제안 방법

• 다항식의 역상이 $[-1,1]$인 집합 $ A $에 대해 $ L_n(A) = 2(\text{cap } A)^n $이라는 핵심 항등식을 유도한다.
• 최소 다항식이 컴팩트 실수 집합 $ C $에서 $ C $를 포함하는 더 큰 집합 $ C' \subset \mathbb{R} $로 사상됨을 알 수 있도록 교대 정리(Alternation Theorem)를 적용한다. 여기서 $ C' $은 정규화된 최소 다항식에 의해 $[-1,1]$의 역상이다.
• 최소 다항식이 $ C' $에서 $ C $에서와 동일하므로, 역상 항등식의 적용이 가능하다.
• 로빈슨 공식을 통해 실수 집합 $ C $의 용량과 단위원 위의 관련 호 $ \Gamma $의 용량 간의 연결을 설정한다: $ \text{cap } \Gamma = \sqrt{2 \cdot \text{cap } C} $.
• 최근의 결과들(예: 토티크)에 의해 알려진, 실수 구간의 합집합에 대한 최소 이탈의 상한을 적용하여 $ L_n(\Gamma) $에 대한 상한을 도출함으로써, 최종적으로 $ \text{cap } \Gamma $에 대한 상한을 유도한다.
• 대칭 집합에서의 체비셰프 다항식의 실수 성질을 이용해 단위원 위에서의 $ L_n $-노름에 대한 부등식을 도출한다.

실험 결과

연구 질문

• RQ1 로그 용량 $ \text{cap } C $에 대해, 임의의 컴팩트 무한 부분집합 $ C \subset \mathbb{R} $에서 체비셰프 다항식의 최소 이탈 $ L_n(C) $에 대한 최고의 보편 하한은 무엇인가?
• RQ2 어떤 컴팩트 실수 집합에서 하한 $ L_n(C) \geq 2(\text{cap } C)^n $ 이 등호로 성립하는가?
• RQ3 특히 실수축에 대해 대칭인 경우, 단위원의 컴팩트 부분집합에서 최소 이탈이 로그 용량에 대해 어떻게 하한화될 수 있는가?
• RQ4 실수 구간의 합집합에 대해, 단지 구간의 끝점에 대한 기본 함수로만 표현된 명시적 하한을 $ L_n(C) $에 대해 유도할 수 있는가?

주요 결과

• 논문은 날카운 하한을 확립한다: 모든 컴팩트 무한 부분집합 $ C \subset \mathbb{R} $에 대해 $ L_n(C) \geq 2(\text{cap } C)^n $이며, 상수 2는 최적이다.
• 등호 $ L_n(C) = 2(\text{cap } C)^n $가 성립하는 것은 $ C $가 어떤 차수 $ n $ 다항식에 의해 $[-1,1]$의 역다항식 상사 집합일 때에 한하여 성립한다.
• $ 0 < \alpha < 1 $ 인 경우 $ E_\alpha = [-1,-\alpha] \cup [\alpha,1] $ 에 대해, $ n $ 이 짝수일 때 하한이 등호로 성립하며, $ L_n(E_\alpha) = \frac{1}{2^{n-1}}(1 - \alpha^2)^{n/2} $ 이고, $ \text{cap } E_\alpha = \frac{1}{2}\sqrt{1 - \alpha^2} $ 이다.
• 실수축에 대해 대칭인 단위원의 컴팩트 부분집합 $ \Gamma \subset \{ |z| = 1 \} $ 에 대해, $ L_n(\Gamma) \geq \sqrt{2|b_{k^*}|}(\text{cap } \Gamma)^{n - k^*} $ 이 성립한다. 여기서 $ k^* $ 는 $ \Gamma $ 위의 최소 다항식의 첫 번째 비영인 계수의 인덱스이다.
• 단위원 호 $ \Lambda $ 에서 최소 이탈에 대해 상한 $ L_n(\Lambda) \leq B(\text{cap } \Lambda)^n $ 이 확립되며, 여기서 $ B $ 는 $ \Lambda $ 에만 의존한다. 이는 용량에 대해 다항식 감소를 보여준다.
• 구간의 합집합에 대해, 역상 항등식과 솔린의 최근 로그 용량 하한 추정치를 조합함으로써, 구간의 끝점에 대한 명시적 하한을 도출하였다.