[논문 리뷰] A note on the value distribution of Differential Polynomials

Subhas S. Bhoosnurmath, Bikash Chakraborty외 1명|arXiv (Cornell University)|2018. 06. 04.

Meromorphic and Entire Functions참고 문헌 8인용 수 3

한 줄 요약

이 논문은 전순환 유리형 함수 $ f $의 특성 함수 $ T(r,f) $에 대한 정량적 추정을, $ f $에 의해 생성된 동차 미분다항식 $ P[f] $의 세어내기 함수를 통해 수립한다. 값 분포 이론과 네바린나 이론을 활용하여, $ N(r, 1/(P[f]-1)) $ 및 $ \overline{N}(r, 1/(P[f]-1)) $를 포함한 날카운 상한을 도출함으로써, 이전에 알려진 미분단항식 및 소수 함수 계수를 가진 다항식에 대한 결과를 향상시킨다.

ABSTRACT

Let $f$ be a transcendental meromorphic function, defined in the complex plane $\mathbb{C}$. In this paper, we give a quantitative estimations of the characteristic function $T(r,f)$ in terms of the counting function of a homogeneous differential polynomial generated by $f$. Our result improves and generalizes some recent results.

연구 동기 및 목표

• 전순환 유리형 함수 $ f $에 의해 생성된 미분다항식 $ P[f] $의 세어내기 함수를 바탕으로 네바린나 특성 함수 $ T(r,f) $의 정량적 추정을 제공하는 것.
• 특정 형태의 미분단항식 및 다항식에 대해 기존 결과인 정리 A (Mues), 정리 B (Huang & Gu), 정리 D (Lahiri & Dewan)를 일반화하고 향상시키는 것.
• 미분다항식의 항들의 차수와 가중치에 대한 조건 하에, 동차 미분다항식 $ P[f] $의 값 분포, 특히 $ P[f] - 1 $의 영점에 초점을 맞추는 것.
• 로그arithmic 밀도가 0인 집합 외에서 $ S^*(r,f) = o(T(r,f)) $인 오차 항을 사용하여 오차 항을 정밀화함으로써 점근적 추정의 정밀도를 높이는 것.
• 특히 고차 미분다항식에 대해 $ T(r,f) $와 $ P[f] - 1 $의 축약형 및 전체 세어내기 함수 사이의 날카운 부등식을 수립하는 것.

제안 방법

• Nevanlinna 이론, 특히 제1 및 제2 주요 정리를 활용하여 $ f $의 성장과 $ P[f] - 1 $의 영점 분포 간의 관계를 규명하는 것.
• 핵심 보조정리(예: 보조정리 3.2, 3.5, 3.6)를 적용하여 $ f $, $ f^{(k)} $, $ (P[f])' $의 세어내기 함수를 유계화하며, 미분단항식의 차수와 가중치의 구조를 활용하는 것.
• 미분다항식 $ P[f] $를 특성화하기 위해 차수 $ d(P) $, 가중치 $ \Gamma_P $, 초과치 $ \nu = \max\{ q_{1j} + 2q_{2j} + \cdots + kq_{kj} \} $를 정의하는 것.
• 로그arithmic 밀도가 0인 집합 $ E^* $를 제외한 $ r \to \infty $에서 $ S^*(r,f) = o(T(r,f)) $로 정의하여 표준 $ S(r,f) $를 넘어서 오차 항을 정밀화하는 것.
• 제1주요 정리를 추론하고 로그미분 및 $ P[f] $의 도함수에 대한 추정을 조합함으로써, $ N(r, 1/(P[f]-1)) $ 및 $ \overline{N}(r, 1/(P[f]-1)) $를 포함한 $ T(r,f) $의 경계를 도출하는 것.
• 성장에 영향을 주지 않는 소수 함수 $ b_j(z) $를 도입하며, $ T(r,b_j) = S(r,f) $를 만족시켜 계수들이 $ f $의 성장에 지배적이지 않도록 하며, $ b_jP[f] - 1 $의 세어내기 함수를 제어하는 것.

실험 결과

연구 질문

• RQ1 전순환 유리형 함수 $ f $에 의해 생성된 동차 미분다항식 $ P[f] $에 대해, 특성 함수 $ T(r,f) $가 $ P[f] - 1 $의 세어내기 함수 $ N(r, 1/(P[f]-1)) $의 배수로 상한을 가질 수 있는가?
• RQ2 최적의 상수 $ B_1 $는 무엇이며, $ T(r,f) \leq B_1 N(r, 1/(P[f]-1)) + S^*(r,f) $를 만족시키며, 이는 $ P[f] $의 구조에 어떻게 의존하는가?
• RQ3 유사한 경계를 축약형 세어내기 함수 $ \overline{N}(r, 1/(P[f]-1)) $를 사용하여 확립할 수 있으며, 이 경우 최적의 상수 $ B_2 $는 무엇인가?
• RQ4 미분다항식의 차수 $ d(P) $, 가중치 $ \Gamma_P $, 초과치 $ \nu $는 $ T(r,f) $의 경계의 날카움에 어떻게 영향을 주는가?
• RQ5 특정 형태의 $ P[f] $에 대해 기존의 정리들인 정리 A (Mues), 정리 B (Huang & Gu), 정리 D (Lahiri & Dewan)를 얼마나 일반화할 수 있는가?

주요 결과

• 차수 $ d(P) $를 가진 동차 미분다항식 $ P[f] $에 대해, $ q_0 \geq 2 $, $ q_k \geq 2 $, $ k \geq 2 $ 조건을 만족할 경우, $ T(r,f) \leq \frac{1}{q_0 - 1} N\left(r, \frac{1}{P[f] - 1}\right) + S^*(r,f) $가 성립한다.
• 축약형 세어내기 함수를 사용한 경우, $ T(r,f) \leq \frac{1}{d(P) - \nu - 2} \overline{N}\left(r, \frac{1}{P[f] - 1}\right) + S(r,f) $라는 경계가 확립되며, 여기서 $ \nu = \max_j \{ q_{1j} + 2q_{2j} + \cdots + kq_{kj} \} $이다.
• 세 번째 경계는 $ T(r,f) \leq \frac{k+1}{d(P) + kq_* - \nu - 2(k+1)} \overline{N}\left(r, \frac{1}{P[f] - 1}\right) + S(r,f) $로, $ q_* = \min_j q_{1j} $이며 조건 $ q_* \geq 2 $를 만족할 때 유도된다.
• 정리 D (Lahiri & Dewan)에 비해 더 날카운 상수를 제공하고, 소수 함수 계수를 가진 일반적인 동차 미분다항식으로 프레임워크를 확장함으로써 결과를 향상시켰다.
• $ S^*(r,f) $의 사용은 표준 $ S(r,f) $보다 더 강력한 오차 항을 제공하며, 이는 $ r \notin E^* $에서 $ T(r,f) $에 비해 $ o(T(r,f)) $임을 의미하여 추정의 정밀도를 향상시킨다.
• 경계는 $ d(P) $, $ \nu $, $ q_0 $와 같이 $ P[f] $의 구조적 매개변수에 명시적으로 의존하며, 이는 $ f^2 f' $ 또는 $ f^l (f^{(k)})^n $과 같은 단항식으로 특수화할 경우 기존 결과로 축소된다.