[논문 리뷰] Estimating the Koebe radius for polynomials

Dmitriy Dmitrishin, Andrey Smorodin외 1명|arXiv (Cornell University)|2018. 05. 17.

Differential Equations and Boundary Problems참고 문헌 20인용 수 5

한 줄 요약

이 논문은 복소기하학에서의 극값 문제를 해결하여, 허수부가 0이 되는 조건 하에 단위 원 위에서 다항식의 상한 실수부를 최대화하는 최적의 다항식을 규명한다. 핵심 결과는 단일 다항식의 코베 반경에 대한 정확한 공식을 제시하는 것으로, $ R = \frac{1}{4}\sec^2\left(\frac{\pi}{N+2}\right) $이며, 이는 특정 계수를 갖는 체비셰프 다항식의 도함수로부터 유도된 다항식에 의해 유일하게 달성된다.

ABSTRACT

For a pair of conjugate trigonometrical polynomials $C (t) = \sum_ { j = 1 } ^N { { a_j}\cos jt }, S(t) = \sum_ { j = 1 } ^N { { a_j}\sin jt }$ with real coefficients and normalization ${a_1} = 1 $ we solve the extremal problem \[ \sup_ {a_2,...,a_N} \left ({ \min_t \left\{ {\Re \left ({ F\left ({ { e^ {it} } } ight) } ight): \Im \left ({ F\left ({ { e^ {it} } } ight) } ight) = 0 } ight\} } ight) = -\frac14 \sec ^2\fracπ{N + 2}. \] We show that the solution is unique and is given by \[ a_j^ {(0)} = \frac {1} { { { U'_N}\left ({\cos \frac{π} { { N + 2 } } } ight) } } { U' _ { N - j + 1 } }\left ({\cos \frac{π} { { N + 2 } } } ight) { U_ { j - 1 } }\left ({\cos \frac{π} { { N + 2 } } } ight), \] where the $U_j(x)$ are the Chebyshev polynomials of the second kind, and the $U'_j(x)$ are their derivatives, $j = 1, \ldots, N.$ As a consequence, we obtain some theorems on covering of intervals by polynomial images of the unit disc. We formulate several conjectures on a number of extremal problems on classes of polynomials.

연구 동기 및 목표

• 허수부가 0이 되는 조건 하에 단위 원 위에서 다항식 $ F(e^{it}) $ 의 최소 실수부의 상계를 구하는 것, 여기서 정규화 조건은 $ a_1 = 1 $ 이다.
• 이 상계를 유일하게 달성하는 극값 다항식을 규명하여, 차수 $ N $ 인 단일 다항식의 코베 반경에 대응하는 것.
• 극값 삼각함수 다항식과 단위 원판의 단일 다항식 사상 간의 관계를 설정하는 것.
• 극값 다항식의 단일성 및 계수의 경계에 관한 추측을 수립하고 뒷받침하는 것.

제안 방법

• 실계수를 갖는 다항식에 대해 $ \min_t \{ \Re(F(e^{it})) : \Im(F(e^{it})) = 0 \} $ 를 최대화하는 극값 문제로 공식화한다.
• 실수부와 허수부를 분석하기 위해 공액 삼각함수 다항식 $ C(t) = \sum a_j \cos jt $, $ S(t) = \sum a_j \sin jt $ 를 사용한다.
• S(t)와 C(t)의 근을 바탕으로 한 인수분해 보조정리 적용으로, 공통 근이 존재할 경우 $ \cos t - \cos t_k $ 를 인수로 포함하는 곱 구조를 도출한다.
• 체비셰프 다항식의 제2종의 도함수를 이용해 극값 계수를 유도한다: $ a_j^{(0)} = \frac{U'_{N-j+1}(\cos \frac{\pi}{N+2}) U_{j-1}(\cos \frac{\pi}{N+2})}{U'_N(\cos \frac{\pi}{N+2})} $.
• 허수부의 영점 집합 위에서의 최소 실수부로부터 코베 반경을 $ \frac{1}{4} \sec^2 \frac{\pi}{N+2} $ 로 도출한다.
• 수치적 증거와 알려진 단일성 기준을 활용하여 극값 다항식의 단일성 및 일반화에 대한 추측을 지지한다.

실험 결과

연구 질문

• RQ1 차수 $ N $ 인 단일 다항식에서 $ a_1 = 1 $ 이고 $ \Im(F(e^{it})) = 0 $ 인 조건 하에, 단위 원 위에서 $ F(e^{it}) $ 의 최소 실수부의 최대 가능성 값은 무엇인가?
• RQ2 이 최대값을 유일하게 달성하는 극값 다항식은 무엇이며, 제2종 체비셰프 다항식과 어떤 관계가 있는가?
• RQ3 극값 다항식은 단위 원판 내에서 단일성을 가지는가? 그리고 차수 $ N $ 인 단일 다항식의 날카운 코베 반경을 달성하는가?
• RQ4 극값 단일 다항식의 계수 경계는 $ N \to \infty $ 일 때 고전적 $ j $-경계로 수렴하는가?
• RQ5 극값 문제는 홀수 삼각함수 다항식 또는 복소계수 다항식으로 일반화될 수 있으며, 이 경우 코베 반경 공식은 여전히 유효한가?

주요 결과

• 허수부의 영점 집합 위에서 최소 실수부의 극값은 정확히 $ -\frac{1}{4} \sec^2 \frac{\pi}{N+2} $ 이다.
• 유일한 극값 다항식은 계수 $ a_j^{(0)} = \frac{U'_{N-j+1}(\cos \frac{\pi}{N+2}) U_{j-1}(\cos \frac{\pi}{N+2})}{U'_N(\cos \frac{\pi}{N+2})} $ 로 주어지며, 여기서 $ U_j $ 는 제2종 체비셰프 다항식이다.
• 차수 $ N $ 인 단일 다항식의 코베 반경은 $ \frac{1}{4} \sec^2 \frac{\pi}{N+2} $ 로 주어지며, 이는 날카로운 값이며 유도된 극값 다항식에 의해 유일하게 달성된다.
• 수치적 증거와 알려진 단일성 기준을 통해 모든 $ N \geq 1 $ 에 대해 극값 다항식이 단위 원판 내에서 단일성임을 지지하는 추측이 타당하다.
• 극값 다항식의 계수 경계는 $ N \to \infty $ 일 때 $ j $ 로 수렴하며, 이는 극값 다항식이 최적의 계수 추정을 제공한다는 추측을 뒷받침한다.
• 홀수 삼각함수 다항식 $ C(t) = \sum a_j \cos(2j-1)t $, $ S(t) = \sum a_j \sin(2j-1)t $ 에 대해, $ S(t) $ 의 영점에서 $ |C(t)| $ 의 하한은 $ -\frac{1}{2} \sec^2 \frac{\pi}{2N+2} $ 이며, 이에 대응하는 극값 다항식이 존재한다.