[논문 리뷰] On approximate Gauss-Lucas theorems

Trevor Richards|arXiv (Cornell University)|2017. 06. 16.

Advanced Mathematical Theories and Applications참고 문헌 4인용 수 4

한 줄 요약

이 논문은 유리 함수의 임의의 유계 볼록 집합 $K\subset\mathbb{C}$ 내에 최소 $k$개의 영이 있을 경우, 그 임계점이 $K$의 $\epsilon$-근방 내에 존재할 충분조건을 설정한다. 이는 고전적 가우스–루카스 정리의 일반화이다. 복소해석학과 루체의 정리를 사용하여, $n$, $k$, $\epsilon$, $K$의 지름 $s$를 포함하는 명시적 부등식을 유도하며, 이는 $\mathcal{RAGL}(n,k,\epsilon)$의 근사 가우스–루카스 성질을 보장한다. 특히 $K$가 원판일 경우 더 날카운 경계를 얻는다.

ABSTRACT

The Gauss--Lucas theorem states that any convex set $K\subset\mathbb{C}$ which contains all $n$ zeros of a degree $n$ polynomial $p\in\mathbb{C}[z]$ must also contain all $n-1$ critical points of $p$. In this paper we explore the following question: for which choices of positive integers $n$ and $k$, and positive real number $ε$, will it follow that for every degree $n$ polynomial $p$ with at least $k$ zeros lying in $K$, $p$ will have at least $k-1$ critical points lying in the $ε$-neighborhood of $K$. We supply an inequality relating $n$, $k$, and $ε$ which, when satisfied, guarantees a positive answer to the above question.

연구 동기 및 목표

• 유계 볼록 집합 $K\subset\mathbb{C}$에 대해, $n$, $k$, 및 $\epsilon$이 어떤 조건일 때 근사 가우스–루카스 성질 $\mathcal{RAGL}(n,k,\epsilon)$이 성립하는지 규명하는 것.
• 고전적 가우스–루카스 정리를, $n$개의 영 중 $k$개만 $K$ 내에 있을 경우로 확장하여, $k-1$개의 임계점이 $K$의 $\epsilon$-근방 내에 있음을 보장하는 것.
• $n$, $k$, $\epsilon$, $K$의 지름 $s$ 간의 명시적 부등식을 제시하여 $\mathcal{RAGL}(n,k,\epsilon)$을 보장하며, 원판의 경우 더 향상된 경계를 제공하는 것.
• 다항함수에서 유리함수로의 일반화를 통해, 극점을 允허하고 임계점 국소화의 범위를 확장하는 것.

제안 방법

• 논문은 복소해석학 기법, 특히 인자원리와 경로적분을 사용하여, 유리함수의 임계점 수를 그 영과 극의 분포와 연결한다.
• 유리함수를 $f = g \cdot h$로 인수분해할 때, $g$는 $K$ 내의 영과 극을 포함하고 $h$는 나머지를 포함하도록 하여, 루체의 정리를 적용한다.
• 경로 $\gamma$를 따라 $K_\epsilon$를 둘러싸며 $\Re\left(\frac{g'}{g}\right)$의 실수부를 추정함으로써, $K$ 근처의 임계점 수를 제어하는 $\left|\frac{g'}{g}\right|$의 하한을 도출한다.
• 일반적인 볼록 집합에 대해 $\left|\frac{g'}{g}\right| \geq \frac{k}{(s+\epsilon)^2} \cdot \frac{16(s+\epsilon)^2}{\epsilon^2}$ 를 유도하며, 이는 충분조건으로 $\frac{16(s+\epsilon)^2}{\epsilon^2} < \frac{k}{(n-k)^2}$ 를 이끌어낸다.
• 원판의 경우, $K$ 위에서 $\Re(1/-w)$의 최솟값을 사용한 더 날카운 추정을 얻어 $\left|\frac{g'}{g}\right| \geq \frac{k}{\epsilon + s}$ 를 도출하며, 이는 $\frac{8(s+\epsilon)}{\epsilon} < \frac{k}{(n-k)^2}$ 를 유도한다.
• 증명은 $g$의 모든 임계점이 $K$ 내에 있음을 가정하며, $h$는 영과 극이 적어 $f = gh$의 임계점에 미치는 영향이 제한적임을 이용한다.

실험 결과

연구 질문

• RQ1 유계 볼록 집합 $K$ 내에 $k$개의 영을 가진 유리함수가, $K$의 $\epsilon$-근방 내에 최소 $k-1$개의 임계점을 가지기 위한 $n$, $k$, $\epsilon$에 대한 조건은 무엇인가?
• RQ2 $K$의 지름 $s$는 임계점 국소화에 필요한 $\epsilon$-근방 크기에 어떻게 영향을 미치는가?
• RQ3 고전적 가우스–루카스 정리는, $K$ 내에 오직 $k$개의 영만 있는 유리함수로 확장될 수 있는가? 이 경우 대부분의 임계점은 여전히 $K$ 근처에 존재하는가?
• RQ4 $\mathcal{RAGL}(n,k,\epsilon)$이 성립하는 최적의 $\epsilon$ 경계는 $n$, $k$, $s$에 대해 어떻게 표현되며, 원판의 경우 어떻게 다를까?
• RQ5 만약 $g$의 영과 극의 수를 $h$의 것과 비교한 비율이 전역 상수 $C$를 초과한다면, $gh$의 임계점 수 $\#_c(gh, K_\epsilon)$가 $\#_c(g,K)$ 이상이 되는가?

주요 결과

• $\frac{16(s+\epsilon)^2}{\epsilon^2} < \frac{k}{(n-k)^2}$ 는 임의의 유계 볼록 집합 $K$가 지름 $s$를 가질 경우 $\mathcal{RAGL}(n,k,\epsilon)$을 보장하는 데 충분한 조건이다.
• 원판의 경우, 조건 $\frac{8(s+\epsilon)}{\epsilon} < \frac{k}{(n-k)^2}$ 가 $\mathcal{RAGL}(n,k,\epsilon)$을 보장하며, 일반적인 경우보다 더 날카로운 경계를 제공한다.
• 보조정리 1.2는 $\epsilon$에 대한 하한을 제공한다: $\epsilon > \frac{4s(n-k)}{\sqrt{k} - 4(n-k)}$, 이는 $\sqrt{k} > 4(n-k)$일 때 유효하며, $\mathcal{RAGL}(n,k,\epsilon)$을 보장한다.
• 보조정리 1.3은 함수 $\psi_1(n,k)$에 대한 경계를 제시한다: $\psi_1(n,k) \leq \frac{8(n-k)^2}{k - 8(n-k)^2}$, 이는 $K$가 원판일 경우 $k > 8(n-k)^2$ 일 때 유효하다.
• 유도된 경계는 특정 영역에서 이전 결과(Marden 및 Biernacki)를 개선하며, 특히 $n-k$ 가 고정되어 있고 $n \to \infty$일 때 Marden의 경계는 일정하게 유지되지만, 새로운 경계는 0에 수렴한다.
• 논문은 추측한다: 만약 $g$의 영과 극의 수를 $h$의 것과 비교한 비율이 전역 상수 $C$를 초과한다면, $\#_c(gh, K_\epsilon) \geq \#_c(g,K)$ 가 성립할 것이며, 이는 소수의 극과 영에 의한 편향에 대해 임계점 국소화의 강건성을 시사한다.