[논문 리뷰] Sturm Theorem and a Refinement of Vietoris Inequality for Cosine Polynomials

Horst Alzer, Man Kam Kwong|arXiv (Cornell University)|2014. 06. 03.

Mathematical functions and polynomials인용 수 6

한 줄 요약

이 논문은 코시누스 다항식에 대한 비에토리스 부등식의 개선에 관한 이전 결과에 대한 엄밀한 계산적 보완을 제공한다. 스투름 정리를 사용하여 특정 삼각함수 다항식이 임계 구간에서 음이 아닌지를 확인한다. MAPLE 기반의 스투름 수열을 활용해 특정 다항식이 주어진 부분구간에서 실근을 가지지 않음을 확인함으로써, 비에토리스 부등식의 개선에 대한 날카로운 하한을 확립한다. 핵심 결과는 부등식 $T_n(x) \geq c_0 + c_1x + c_2x^2 > 0$ 에서 최적 상수 $\alpha = 0.12290\ldots$ 의 정확한 값임을 보여준다. 이 방법은 고차수 대수다항식(코시누스 전개로부터 유도됨)에 대해서도 알고리즘적 근 수세기 기반으로 이론적 엄밀성을 확보한다.

ABSTRACT

In a recent work, the authors established a refinement of the well-known 1958 result of Vietoris on nonnegative cosine polynomials. In four places of the proof, use was made of the classical Sturm Theorem on determining the number of real roots of an algebraic polynomials in a given interval. Although absolutely rigorous, the Sturm procedure involves lengthy technical computations carried out with the help of the software MAPLE 13. This article provides such details which were omitted in the article presenting the recent work.

연구 동기 및 목표

• 이전 논문에서 생략된 코시누스 다항식에 대한 비에토리스 부등식 개선에 대한 상세한 계산적 증명을 제공하기 위해.
• 코시누스 다항식으로부터 유도된 고차수 대수다항식에 대해 특정 구간에서 실근이 존재하지 않음을 검증하는 데 스투름 정리를 실용적으로 적용하는 방법을 보여주기 위해.
• 모든 $n \geq 1$ 및 $x \in (0, \pi)$ 에 대해 부등식 $T_n(x) \geq c_0 + c_1x + c_2x^2 > 0$ 가 성립하는 최적 상수 $\alpha = 0.12290\ldots$ 의 정확한 값을 확립하기 위해.
• 보조 다항식 $\mu(x)$ 와 $\nu(x)$ 가 $[0.65, 0.95]$ 에 영이 없음을 엄밀히 확인함으로써 이론적 결과를 검증하고, 이는 하한의 날카로움을 보장한다.

제안 방법

• 코시누스 다항식 $T_n(x)$ 를 $y = \cos(x)$ 에 대한 대수다항식으로 변환하여 스투름 정리를 적용하기 위해.
• 유클리드 알고리즘을 통해 유도된 다항식 수열의 부호 변화를 계산하여 주어진 구간 $(\alpha, \beta)$ 내 실근 수를 세는 스투름 수열 알고리즘을 사용하기 위해.
• MAPLE 13 의 `sturm` 명령을 사용하여 근 수세기를 자동화하고, 구간 내 실근의 수만 반환하기 위해.
• 부호 변화 수세기의 수치적 안정성과 일관성을 확보하기 위해 스투름 수열 내 각 다항식의 최고차항 계수를 $\pm 1$ 으로 정규화하기 위해.
• 스투름 절차를 적용하여 $\mu(x)$ 와 $\nu(x)$ 가 $[0.65, 0.95]$ 에 영이 없음을 확인함으로써, $T_6(x)/(x - \pi)^2$ 의 최솟값이 $\alpha = 0.12290\ldots$ 라는 것을 확인하기 위해.
• 고차수 다항식을 다루기 위해, 특히 $n \geq 10$ 일 경우, $x = 10y$ 로 치환하고 치환 이전에 전개하는 기법을 사용하여 MAPLE 의 삼각함수 전개에 대한 $k < 100$ 제한을 피하기 위해.

실험 결과

연구 질문

• RQ1 모든 $n \geq 1$ 과 $x \in (0, \pi)$ 에 대해 부등식 $T_n(x) \geq c_0 + c_1x + c_2x^2 > 0$ 가 성립하는 최적 상수 $\alpha$ 의 정확한 값은 무엇인가? 여기서 $c_0 = \pi^2 c_2$, $c_1 = -2\pi c_2$, 그리고 $0 < c_2 \leq \alpha$ 이다?
• RQ2 기호 계산이 포함된 경우에도, 변환된 코시누스 다항식이 임계 구간에서 음이 아닌지를 검증하기 위해 스투름 정리를 체계적으로 적용하는 방법은 무엇인가?
• RQ3 왜 스투름 절차는 다항식 $\mu(x)$ 와 $\nu(x)$ 에 대해 $[0.65, 0.95]$ 에서 근을 탐지하지 못하는가? 그리고 이는 왜 $\alpha = 0.12290\ldots$ 의 하한이 날카로운지를 확인하는 데 기여하는가?
• RQ4 표준 MAPLE 명령어가 내부 제한으로 인해 실패할 경우, 코시누스 다항식으로부터 유도된 고차수 대수다항식을 다룰 수 있도록 스투름 절차를 어떻게 수정할 수 있는가?

주요 결과

• 개선된 비에토리스 부등식의 최적 상수는 정확히 $\alpha = \min_{0 \leq t < \pi} \frac{T_6(t)}{(t - \pi)^2} = 0.12290\ldots$ 이며, 이는 $[0.65, 0.95]$ 에서 $\mu(x)$ 와 $\nu(x)$ 에 스투름 정리를 적용하여 확인되었다.
• 스투름 절차는 $\mu(x)$ 와 $\nu(x)$ 가 $[0.65, 0.95]$ 에 실근을 가지지 않음을 확인하였으며, 이는 하한 $\alpha = 0.12290\ldots$ 의 날카로움을 확보하는 데 필수적이다.
• $n = 2$ 에서 $21$ 까지 ($n \neq 6$) 의 경우, 변환된 다항식 $X$ 에 대해 스투름 절차를 $[0.951, 0.981]$ 에 적용한 결과 실근이 없음을 확인하여, 해당 경우 부등식이 성립함을 보여주었다.
• $\Delta(x)$ 는 $[5\pi/8, 2.68]$ 에서 $0.29$ 이상임을 보이고, 이후 부분구간에서는 점점 더 높은 값을 갖는다. 이에 대해 스투름 절차는 엄밀한 하한을 제공한다.
• $I(x) - 1.5$ 는 $x \in (0, 0.1]$ 에서 양수임을 보이기 위해, $Y = \cos(x)$ 에 대한 대수다항식이 $[0.995, 1]$ 에서 근을 가지지 않음을 확인함으로써, 이 구간에서 $I(x) > 1.5$ 임을 보장한다.
• 스투름 절차는 저차수 및 중간 차수 다항식에는 효과적이지만, 고차수 다항식에 대해서는 계산적으로 비효율적이므로 일반 정리의 적용보다는 예외적인 경우에만 사용 가능하다.