[논문 리뷰] Nonnegative Trigonometric Polynomials, Sturms Theorem, and Symbolic Computation

Man Kam Kwong|arXiv (Cornell University)|2014. 02. 27.

Mathematical functions and polynomials참고 문헌 12인용 수 8

한 줄 요약

이 논문은 스트룸 정리 기반의 엄밀한 기호 계산 방법을 제시하여 주어진 삼각함수 다항식이 특정 구간, 특히 [0, π]에서 음이 아닌지 여부를 판단한다. 이 방법은 삼각함수 다항식을 cos(x)에 관한 대수적 다항식으로 변환하고, 스트룸 수열을 사용하여 해당 구간 내 실근의 수를 세며, 근이 존재하지 않을 경우 원래 삼각함수 다항식이 [0, π]에서 음이 아닌 것으로 확인한다. 이 방법은 수학적으로 엄밀하며, 자동화 및 검증을 위해 MAPLE 13에 구현되어 있으며, 복잡한 삼각함수 합과 매개변수에 의존하는 가족들에 대한 음성 확인에 유용하다.

ABSTRACT

In this paper, we explain a procedure based on a classical result of Sturm that can be used to determine rigorously whether a given trigonometric polynomial is nonnegative in a certain interval or not. Many examples are given. This technique has been employed by the author in several recent works. The procedure often involves tedious computations that are time-consuming and error-prone. Fortunately, symbolic computation software is available to automate the procedure. In this paper, we give the details of its implementation in MAPLE 13. Some who are strongly attached to a more traditional theoretical research framework may find such details boring or even consider computer-assisted proofs suspicious. However, we emphasize again that the procedure is completely mathematically rigorous.

연구 동기 및 목표

• 기본적인 스트룸 정리를 활용하여 주어진 구간, 특히 [0, π]에서 삼각함수 다항식의 음성 여부를 수학적으로 엄밀하게 검증하는 절차를 개발한다.
• 기존의 일반적인 음성 삼각함수 다항식 기준의 한계를 해결하며, 특히 저차수의 경우나 단조성 가정이 성립하지 않을 경우에 대비한다.
• 기본 대수적 계산 과정의 번거로움을 줄이고, MAPLE 13 같은 기호 계산 소프트웨어를 활용하여 근 수세기 및 음성 검증 과정을 자동화한다.
• 이 방법이 특정 삼각함수 합의 음성 여부 확인 및 매개변수에 의존하는 부등식 증명에 어떻게 활용될 수 있는지 보여준다.
• 연구자들이 컴퓨터 지원이지만 엄밀한 기반에 기초한 계산을 통해 삼각부등식에서의 음성 주장에 대해 검증 가능하고 재현 가능한 프레임워크를 제공한다.

제안 방법

• 삼각함수 다항식을 cos(x)에 관한 대수적 다항식으로 변환하며, T_k(cos(x)) = cos(kx)와 같은 삼각항등식을 활용한다. 여기서 T_k는 체비셰프 다항식이다.
• 유도된 대수적 다항식에 대해 스트룸 정리를 적용하여 y ∈ [-1, 1] 내의 실근 정확한 수를 계산한다. 이는 x ∈ [0, π]에 대응된다.
• [-1, 1] 내에 실근이 존재하지 않을 경우를 조건으로 하여 원래 삼각함수 다항식이 [0, π]에서 음이 아닌 것으로 간주한다.
• MAPLE 13의 내장 함수인 'sturm'과 'discrim'를 사용하여 스트룸 수열 계산을 자동화한다.
• 매개변수에 의존하는 삼각함수 다항식 가족의 경우, 경계값(y = ±1)과 판별식이 0이 되는 조건을 분석하여 음성 보장이 가능한 매개변수 값의 최대 범위를 도출한다.
• 다중근이 발생하는 임계 경우(판별식이 0)를 확인하고, 스트룸 수열을 사용하여 경계 매개변수 값에서의 정확성까지 보장한다.

실험 결과

연구 질문

• RQ1 스트룸 정리를 삼각함수 다항식이 [0, π]에서 음이 아닌지 여부를 엄밀하고 계산적으로 가능하게 체계적으로 적용할 수 있는가?
• RQ2 MAPLE 13과 같은 기호 계산 소프트웨어는 스트룸 정리에 요구되는 근 수세기 과정을 삼각함수 다항식에 대해 어떻게 효과적으로 자동화할 수 있는가?
• RQ3 매개변수 a에 대해 삼각함수 다항식 S_8(x) = 2sin(x) + sin(2x) + a sin(3x) 가 [0, τ]에서 음이 아닌 데 필요한 a의 최대 구간은 무엇이며, 이를 알고리즘적으로 어떻게 도출할 수 있는가?
• RQ4 다양한 경계 행동(예: 끝점에서의 음성, 내부 근 존재)은 매개변수에 의존하는 삼각함수 합의 음성 구간 결정에 어떻게 影響을 미치는가?
• RQ5 기존의 일반 기준(예: 비에타리스 또는 벨로프 기준)이 적용되지 않는 경우, 특히 저차수 또는 단조성이 없는 계수 수열에 대해 이 방법을 사용하여 음성 여부를 검증할 수 있는가?

주요 결과

• 스트룸 절차는 삼각함수 다항식 $ C_1(x) = 5 + 4\text{cos}(x) + 3\text{cos}(2x) + 4\text{cos}(3x) $ 가 $[0, \tau]$에서 음이 아닌지 확인하기 위해 변환된 대수적 다항식을 활용하고, $[-1, 1]$ 내 실근이 없음을 확인함으로써 성공적으로 검증하였다.
• $ C_2(x) = 7 + 6\text{cos}(x) + 5\text{cos}(2x) + 4\text{cos}(3x) + 3\text{cos}(4x) + 5\text{cos}(5x) $의 경우, 고차수 대수적 다항식($ P_2(y) $의 차수는 5)이지만 스트룸 수열 계산을 통해 음성 여부를 확인하였다.
• $ S_8(x) = 2\text{sin}(x) + \text{sin}(2x) + a\text{sin}(3x) $의 매개변수 $ a $에 대해 [0, τ]에서 음성이 보장되는 최대 구간은 $[0, 1 + \frac{\tau}{2}]$이며, 상한은 $ y = \text{cos}(x) $에 대한 이차다항식의 중복근에 해당한다.
• $ S_9(x) = 2\text{sin}(x) + \text{sin}(2x) + a\text{sin}(3x) + \text{sin}(4x) $의 경우, $ a $에 대한 최대 음성 구간은 $[4/3, 1.881648914\text{...}]$이며, $ X(-1) \to 0 $ 조건을 풀고 대수적 다항식의 판별식이 0이 되는 지점을 분석하여 도출되었다.
• $ S_{10}(x) $의 경우, 음성이 보장되는 $ a $의 최대 구간은 $[0, 31.513\text{...}]$이며, 상한은 판별식의 근에 해당하며, 스트룸 절차는 이 경계에서 다중근이 $[-1, 1]$ 외부에 있더라도 음성 여부를 확인하였다.
• $ S_{11}(x) $의 경우 $[0, \tau/2]$에서의 최대 음성 구간은 $[-4/3, 28.98537710\text{...}]$이며, 우측 끝점은 판별식의 근에 의해 결정되며, 스트룸 수열을 사용하여 이 경계에서의 음성 여부를 확인하였다.