[논문 리뷰] Further results on the uniqueness of meromorphic functions and their derivative counterpart sharing one or two sets

Abhijit Banerjee, Bikash Chakraborty|arXiv (Cornell University)|2016. 08. 08.

Meromorphic and Entire Functions참고 문헌 7인용 수 4

한 줄 요약

이 논문은 무작위 함수와 그 도함수들이 하나 또는 두 개의 집합을 공유할 때의 고유성 결과를 새롭게 확립하며, 가중 공유 이론과 네바린나 값 분포 이론을 활용한다. Banerjee-Bhattacharjee의 이전 연구를 발전시켜, 특히 고차 도함수와 다항식의 임계점 조건에서, 공유 집합(가중치 포함)이 함수의 동일성을 이끌어내는 데 더 엄격한 조건을 제시한다.

ABSTRACT

In this paper we prove a number of results concerning uniqueness of a meromorphic function as well as its derivative sharing one or two sets. In particular, we deal with the specific question raised in [18], [19], [20] and ultimately improve the result of Banerjee-Bhattacharjee [4].

연구 동기 및 목표

• 이전 연구에서 제기된 무작위 함수와 그 도함수가 집합을 공유할 때의 고유성 문제를 해결하기 위해.
• 고유 범위 집합(URSM)과 URSM-IM의 개념을 확장하고 보완하여, 가중 공유와 도함수 조건을 포함하도록 개선하기 위해.
• 기존 문헌의 기준을 향상시키기 위해, 특히 Banerjee-Bhattacharjee의 결과를 개선하여 공유 집합의 기수와 도함수 차수에 대한 더 엄격한 조건을 제시하기 위해.
• 무작위 함수의 고유성 도구로 사용되는 다항식의 임계점 단사성의 역할을 조사하기 위해.
• 공유 집합(다중도 또는 가중치 포함)이 두 무작위 함수가 동일하게 되는 데 충분한 조건을 설정하기 위해.

제안 방법

• Lahiri가 도입한 가중 공유 이론을 활용하여 값 공유 조건을 완화하고, 매개수 $k$를 통한 다중도 제어를 가능하게 하였다.
• 네바린나 이론의 제2 기본정리를 적용하여 공유된 값의 계수 함수와 그 결함을 추정하였다.
• 공유 집합의 구조를 분석하기 위해 보조 함수 $H = (F - 1)(G - 1)$ 를 사용하였으며, 여기서 $F = (f^{(k)})^n$ 이고 $G = (g^{(k)})^n$ 이다.
• 공유된 값 간의 다중도 차이를 다루기 위해 축소된 계수 함수 $\overline{N}_*(r, a; f, g)$ 를 도입하였다.
• 공유 집합 조건 위반 시 모순을 이끌어내기 위해 $T(r, f^{(k)})$, $T(r, g^{(k)})$, 및 계수 함수를 포함하는 부등식을 유도하였다.
• 특수 조건 하에서 $H \equiv 0$ 여부에 따라 경우를 나누어 분석하였으며, $n$, $m$, $k$, $q$ 에 대한 조건 하에서 $f^{(k)} \equiv g^{(k)}$ 가 성립함을 도출하였다.

실험 결과

연구 질문

• RQ1 무작위 함수와 그 $k$-번째 도함수가 가중치 $k$를 가진 집합을 공유할 때, 어떤 조건에서 함수가 동일하게 되는가?
• RQ2 공유 집합이 도함수 정보를 포함하도록 확장되었을 때, Banerjee-Bhattacharjee의 고유성 결과는 어떻게 향상될 수 있는가?
• RQ3 다항식 $P(z)$ 의 임계점 단사성 조건이 무작위 함수의 고유 범위 집합을 결정하는 데 어떤 역할을 하는가?
• RQ4 공유 집합의 기수 $n$ 과 공유된 영점의 다중도 $q$ 는 고유성 조건에 어떻게 영향을 미치는가?
• RQ5 함수가 가중 다중도를 가진 집합을 공유할 때, $f^{(k)} \equiv g^{(k)}$ 를 위한 조건은 어떻게 완화하거나 강화할 수 있는가?

주요 결과

• 논문은 $f$ 와 $g$ 가 비상수 무작위 함수이며, 집합 $\{0, \infty\}$ 을 가중치 $q$ 로 공유하고, 그들의 $k$-번째 도함수가 특정 계수 함수 부등식을 만족할 경우, $n \geq 4m + 2$ 일 때 $f^{(k)} \equiv g^{(k)}$ 를 증명한다.
• $H \not\equiv 0$ 인 경우, $n > 2m + 7 + \frac{7}{k+1}$ 일 때 모순이 발생하여, 공유 집합의 크기에 대한 새로운 상한을 확립한다.
• $H \equiv 0$ 인 경우, $n \geq 4m + 2$ 조건 하에서 $f^{(k)} \equiv g^{(k)}$ 가 성립하며, 이는 이전 결과의 임계값을 향상시킨다.
• 가중 공유를 도입함으로써 결과가 강화되었으며, $l \geq \frac{3}{2} + \frac{2}{n-2m-1} + \frac{1}{(n-2m)q + n - 2m - 1}$ 일 때, $n > 2m + \frac{4}{k+1} + \frac{4}{(k+1)(n-2m-1)} + \frac{2}{(k+1)((n-2m)q + n - 2m - 1)}$ 일 때 부등식이 모순을 유도한다.
• 논문은 주어진 가정 하에서 고유성 조건이 최적임을 확인하였으며, 특히 다항식 $P(z)$ 가 임계점 단사성 조건을 만족할 경우에 특히 그렇다.
• 연구는 $\overline{N}_*(r,1;F,G)$ 와 $\overline{N}_L(r,a;f)$ 의 사용이 다중도의 차이를 더 엄격하게 제어할 수 있음을 보여주며, 더 강력한 고유성 정리를 이끌어낸다.