[논문 리뷰] Inequalities for the polar derivative of a polynomial

N. A. Rather, Suhail Gulzar|arXiv (Cornell University)|2013. 03. 01.

Mathematical functions and polynomials참고 문헌 5인용 수 3

한 줄 요약

이 논문은 다항식의 극도수도의 날카운 부등식을 다양한 영점 구조 제약 조건 하에서 수립하며, 베르누이의 부등식과 투란의 부등식과 같은 고전 결과를 일반화한다. 특히 s차 극도수도를 도입한 새로운 프레임워크를 제시하고, 모든 영점이 |z| ≤ k (k ≤ 1)에 있는 다항식에 대해 s차 극도수도의 크기가 |z| = k 상에서 최대 및 최소 모듈러스의 조합으로 유계화됨을 증명하며, 매개변수 α_j와 β에 대한 명시적 의존성을 포함한다.

ABSTRACT

Let $ P(z) $ be a polynomial of degree $ n $ and for any real or complex number $α,$ let $D_αP(z)=nP(z)+(α-z)P^{\prime}(z)$ denote the polar derivative with respect to $α.$ In this paper, we obtain generalizations of some inequalities for the polar derivative of a polynomial.

연구 동기 및 목표

• 고전적인 다항식 도함수 부등식—예를 들어 베르누이의 부등식과 투란의 부등식—을 극도수도 연산자로 일반화하기 위해.
• 모든 영점이 |z| < 1에 존재하지 않는 다항식의 s차 극도수도에 관한 기존 결과를 모든 영점이 |z| ≤ k (k ≤ 1)에 있는 경우로 확장하기 위해.
• 다항식이 |z| = k 상에서 최대 및 최소 모듈러스에 대해 표현된 s차 극도수도의 날카운 상한을 도출하기 위해.
• 복소수 매개변수 α_j와 β를 통합하여 이전의 부등식을 통합하고 정교화하며, 등호 조건을 설정하기 위해.

제안 방법

• 저자들은 다항식 P(z)에 대한 s차 극도수도를 연산자 D_αP(z) = nP(z) + (α - z)P'(z)를 통해 재귀적으로 정의하여 일반 도함수를 일반화한다.
• P(z)가 |z| = k 상에서 최대 모듈러스 M를 가지는 비교 다항식 F(z) = z^n M / k^n을 도입하여 극도수도를 유계화하는 주요 다항식을 구성한다.
• Rouché의 정리와 역다항식의 방법을 사용하여, P(z)의 모든 영점이 |z| > k에 있을 경우 P(z) − λm (|λ| < 1)이 |z| < k 내에 영점이 없음을 분석한다.
• 역다항식 g(z) = z^n ar{P}(1/ar{z}) − ar{λ}m에 주요 부등식(정리 1.1)을 적용하여 영점 분포 성질을 단위 원판으로 이전한다.
• λ의 위상을 조정하여 하한을 최대화함으로써 삼각부등식 변형을 통해 상한과 하한을 결합한 날카운 부등식을 유도한다.
• 최종 유계는 정리 1.9와 정리 1.11로부터 유도된 두 부등식을 합산함으로써 도출되며, 이는 |z| = k 상에서 최대 및 최소 모듈러스를 모두 포함하는 통합된 부등식이 된다.

실험 결과

연구 질문

• RQ1 k ≤ 1일 때 모든 영점이 |z| ≤ k에 있는 다항식에 대해, 고전적인 다항식 도함수 부등식이 극도수도 연산자로 어떻게 일반화될 수 있는가?
• RQ2 다항식 P(z)의 s차 극도수도 |D_{α_s}⋯D_{α_1}P(z)|에 대한 날카운 상한은 |z| = k 상에서 P(z)의 최대 및 최소 모듈러스에 대해 어떻게 표현될 수 있는가?
• RQ3 최대 및 최소 모듈러스의 극한 경우를 통합하는 형태로 유계를 표현할 수 있는가? 그리고 매개변수 α_j와 β는 어떤 역할을 하는가?
• RQ4 일반화된 극도수도 부등식에서 등호 조건은 어떤 조건에서 성립하는가? 그리고 이는 (z^n + 1)/2와 같은 알려진 극한 다항식과 어떻게 관련이 있는가?

주요 결과

• 정리 1.1은 모든 영점이 |z| ≤ k (k ≤ 1)에 있는 다항식 P(z)에 대해 s차 극도수도의 날카운 부등식을 제공하며, 이는 |z| = k 상에서 P(z)의 최대 모듈러스와 비교 다항식 F(z)의 조합으로 유계화된다.
• 보조정리 1.2는 |z^s P_s(z) + β n_s Λ_s / (1+k)^s P(z)|에 대한 구체적인 상한을 |z| = k 상에서 P(z)의 최대 모듈러스에 대해 기술하며, |α_j| ≥ k 및 |β| ≤ 1에 대한 명시적 의존성을 포함한다.
• 보조정리 1.3은 |α| → ∞로 취할 때 유도되며, s차 일반 도함수에 대한 유계를 |z| = k 상에서 P(z)의 최대 모듈러스로 포함한다.
• 정리 1.11은 |z| = k 상에서 최대 및 최소 모듈러스를 모두 포함하는 날카운 부등식을 수립한다: 상한은 { |z^s + βΛ_s/(1+k)^s| + |z^n α_1⋯α_s + βΛ_s/(1+k)^s|/k^n } 곱하기 최대 모듈러스에 비례한다.
• 등호 조건은 모든 α_j = ∞ 이고 β = 1일 때 다항식 P(z) = (z^n + 1)/2에서 성립하며, 날카운 성질을 확인한다.
• Rouché의 정리와 역다항식을 사용하는 증명 기법은 최대 및 최소 모듈러스를 모두 포함하는 통합된 부등식을 도출할 수 있게 하며, 극한 경우에 기존 결과로 축소됨을 보여준다.