[논문 리뷰] An extension of the Hermite-Biehler theorem with application to polynomials with one positive root

Richard Ellard, Helena Šmigoc|arXiv (Cornell University)|2017. 01. 27.

Advanced Combinatorial Mathematics참고 문헌 4인용 수 3

한 줄 요약

이 논문은 히르미트-비엘러 정리를 히르비츠 안정 다항식을 초월하여 일반화한다. 다항식 $ p(-x^2) $ 및 $ q(-x^2) $의 실근 개수에 하한을 설정하고, 다항식 $ f $의 복소평면 상의 근 분포와 관련지어 근이 상호 교차함을 보여준다. 이는 좌우 반평면에 존재하는 근의 수의 불균형에 기반한다. 또한 이 확장된 결과를 활용해 정확히 한 개의 양근을 가진 다항식에 대해 부호의 역규칙을 도출하며, 이 경우 짝수 및 홀수 계수 수열 각각에 부호 변화가 최대 한 번만 발생함을 증명한다.

ABSTRACT

If a real polynomial $f(x)=p(x^2)+xq(x^2)$ is Hurwitz stable (every root if $f$ lies in the open left half-plane), then the Hermite-Biehler Theorem says that the polynomials $p(-x^2)$ and $q(-x^2)$ have interlacing real roots. We extend this result to general polynomials by giving a lower bound on the number of real roots of $p(-x^2)$ and $q(-x^2)$ and showing that these real roots interlace. This bound depends on the number of roots of $f$ which lie in the left half plane. Another classical result in the theory of polynomials is Descartes' Rule of Signs, which bounds the number of positive roots of a polynomial in terms of the number of sign changes in its coefficients. We use our extension of the Hermite-Biehler Theorem to give an inverse rule of signs for polynomials with one positive root.

연구 동기 및 목표

• 히르비츠 안정 다항식을 초월하여 히르미트-비엘러 정리를 일반화함으로써, 다항식 $ f $의 복소평면 상의 근 분포와 관련지어 $ p(-x^2) $ 및 $ q(-x^2) $의 실근 개수를 연결하고자 한다.
• 다항식 $ f $가 좌반평면에 $ n_- $개, 우반평면에 $ n_+ $개의 근을 가질 때, $ p(-x^2) $ 및 $ q(-x^2) $의 실근이 상호 교차함을 보이며, 이에 대한 하한은 $ |n_- - n_+| $ 에 의존한다.
• 정확히 한 개의 양근을 가진 실계수 다항식에 대해 부호의 역규칙을 도출하며, 짝수 및 홀수 계수 수열 각각에 부호 변화가 최대 한 번만 발생함을 보이고자 한다.
• 이러한 결과를 실근 고립 문제 및 비음수 역고유값 문제(NIEP)에 적용하여, 한 개의 양근을 가진 다항식의 계수 부호 패턴을 특성화하고자 한다.
• 연속된 계수가 동시에 0이 되는 조건을 규명하며, 계수 수열 내에서 중요한 매개변수 임계값을 식별하고자 한다.

제안 방법

• 실계수 다항식 $ f(x) = p(x^2) + xq(x^2) $를 짝수 및 홀수 부분으로 분해하고, $ p(-x^2) $ 및 $ q(-x^2) $의 근을 분석한다.
• 아규먼트 원리와 루체의 정리를 사용하여, $ f $의 좌우 반평면 내 근 수와 $ p(-x^2) $ 및 $ q(-x^2) $의 실근 수 사이의 관계를 규명한다.
• 부호 변화 및 근의 위치 분석을 통해 $ p(-x^2) $ 및 $ q(-x^2) $의 실근이 상호 교차함을 증명하며, 고전적 히르미트-비엘러 조건을 일반화한다.
• 문헌 [4]에서 유도된 부등식(뉴턴 부등식과 관련)을 활용하여 계수 부호 패턴을 분석하며, 특히 모든 비양근의 실부가 음이 아니라고 가정한다.
• 근이 $ r > 0 $ 인 $ f(x) = (x - r)g(x) $ 형태로 인수분해되며, $ j \geq 2 $ 에 대해 $ \operatorname{Re}(x_j) \leq 0 $ 라는 조건을 이용해 계수 $ a_k $ 를 근들의 초등 대칭함수로 표현하는 재귀관계식을 유도한다.
• 만약 $ a_k \leq 0 $ 이면 $ a_{k+2} < 0 $ 이며, $ g(x) $ 가 특정 형태(예: 역다항식 또는 순수 허수)가 아닐 경우를 제외하고는, 계수 부등식의 등호 조건을 사용하여 이를 증명한다.

실험 결과

연구 질문

• RQ1 히르비츠 안정 다항식이 아닌 다항식으로 히르미트-비엘러 정리를 확장할 수 있는가? 특히 $ p(-x^2) $ 및 $ q(-x^2) $의 실근 수와 이들의 상호 교차성에 대해 어떻게 설명할 수 있는가?
• RQ2 다항식 $ f $가 열린 좌반평면과 우반평면 내에 존재하는 근의 수와 $ p(-x^2) $ 및 $ q(-x^2) $의 실근 수 사이의 관계는 무엇인가?
• RQ3 정확히 한 개의 양근을 가진 다항식에 대해 부호의 역규칙을 설정할 수 있으며, 이는 계수의 부호 패턴에 어떤 제약을 가하는가?
• RQ4 한 개의 양근을 가진 다항식의 연속된 계수가 언제 0이 될 수 있으며, 이는 계수 수열 내의 부호 변화에 어떤 영향을 미치는가?
• RQ5 이러한 다항식의 계수 부호 패턴은 비양근의 복소평면 상의 위치와 어떻게 관련되어 있으며, 특히 와이드 $ S_{\sqrt{3}} $ 와의 관계는 어떠한가?

주요 결과

• 실계수 다항식 $ f(x) = p(x^2) + xq(x^2) $ 가 열린 좌반평면에 $ n_- $개, 우반평면에 $ n_+ $개의 근을 가질 경우, $ p(-x^2) $ 및 $ q(-x^2) $ 각각에 최소 $ |n_- - n_+| $ 개의 실근이 존재한다.
• $ p(-x^2) $ 및 $ q(-x^2) $의 실근은 $ f $가 히르비츠 안정이 아니어도 상호 교차한다.
• 정확히 한 개의 양근을 가지며 나머지 근들의 실부가 모두 음이 아닌 실계수 다항식의 경우, 짝수 및 홀수 계수 수열 각각에 부호 변화가 최대 한 번만 존재한다.
• 다항식 $ f(x) = (x - r)g(x) $ 가 $ r > 0 $, $ j \geq 2 $ 에 대해 $ \operatorname{Re}(x_j) \leq 0 $ 를 만족하고 $ g $ 가 $ \prod (x^2 + \beta_j^2) $ 형태가 아닐 경우, $ a_k \leq 0 $ 이면 $ a_{k+2} < 0 $ 이다. 이는 각 계수 수열에 최대 한 번의 부호 변화가 있음을 보장한다.
• $ \mathcal{T}_e $ 및 $ \mathcal{T}_o $ 계수 수열 각각에 최대 한 번의 부호 변화가 존재하며, $ f $ 가 특수한 형태(예: 순수 허수 근 또는 계수가 0인 항이 포함된 경우)일 경우를 제외하고는 그러한 조건이 성립한다. 이러한 특수한 경우는 계수 부등식의 등호 조건을 통해 특성화된다.
• $ \beta = \sqrt{2m+1} $ 이고 $ r = 1 + 1/m $ 일 때, 다항식 $ f(x) = (x - r)((x+1)^2 + \beta^2)^m $ 는 정확히 한 번의 부호 변화를 가진다. 그러나 $ r $ 가 임계값을 초과하면 다중 부호 변화가 발생할 수 있으며, 이는 계수 행동에 대한 임계값이 있음을 시사한다.