[논문 리뷰] Entire Functions Sharing Small Functions With Their Difference Operators

Zinelaâbidine Latreuch, Abdallah El Farissi외 1명|arXiv (Cornell University)|2015. 02. 16.

Meromorphic and Entire Functions참고 문헌 10인용 수 5

한 줄 요약

이 논문은 유한 순서를 가진 비상수 전함수의 차분 연산자에 대해 고전적 유일성 정리의 유사 정리를 증명함으로써, 복소해석학에서의 고전적 유일성 정리에 대한 차분 연산자 해석을 수립한다. 특히, 유한 순서를 가진 비상수 전함수가 그 n차 및 (n+1)차 차분 연산자와 두 개의 소함수를 공유할 경우(중복도를 고려하여), (n+1)차 차분 연산자가 n차 차분 연산자와 동일하다는 것을 증명한다. 이 결과는 네바린나 이론과 전함수 및 소함수(이론 S(f)의 의미에서)의 값 분포 기법을 활용하여 이전의 미분 유일성 결과를 차분 방정식으로 일반화한다.

ABSTRACT

We investigate uniqueness problems for an entire function that shares two small functions of finite order with their difference operators. In particular, we give a generalization of a result in $[2]$.

연구 동기 및 목표

• 유한 순서를 가진 전함수의 맥락에서 메로모르픽 함수에 대한 고전적 유일성 정리를 차분 연산자로 확장한다.
• 전함수가 자신의 차분 연산자와 소함수를 공유할 조건, 특히 n차 및 (n+1)차 차분 연산자와의 공유 조건을 조사한다.
• 이전의 미분 유일성 결과(예: 정리 B)를 차분 방정식으로 일반화하여 이러한 결과의 차분 유사 정리를 수립한다.
• 소함수를 공유하는 조건 하에서 (n+1)차 차분 연산자가 n차 차분 연산자와 동일한지 여부를 규명한다.
• 특히 중복도를 고려한 CM(중복도 계산) 의미에서, 전함수가 자신의 차분 연산자와 공유된 값 조건을 만족하는 구조를 탐구한다.

제안 방법

• 메로모르픽 함수의 네바린나 값 분포 이론을 활용하며, 특히 전함수의 성장 순서와 유형에 중점을 둔다.
• 함수 f에 대해 상대적인 소함수 개념을 적용하며, S(f)로 표기하며, r → ∞ 이외에 로그 측도가 유한한 집합을 제외한 영역에서 T(r,a) = S(r,f)임을 가정한다.
• 이동치 c를 가진 차분 연산자 Δ_c^n f(z) = Δ_c(Δ_c^{n-1}f(z))를 사용하며, f(z)와의 값 분포 관계를 연구한다.
• g(z) = f(z) + b(z) - a(z)로 치환하여, 비영인 소함수와의 공유 문제를 0을 공유하는 문제로 환원한다.
• 비율 표현 Δ_c^n f / f = e^{P(z)}에서 유도되는 지수 함수의 성장 및 주기성 성질을 분석하여, 다항함수 P와 Q의 차수 차이가 발생할 경우 모순을 이끌어낸다.
• 지수 표현에서 다항함수 P(z)와 Q(z)의 차수 비교를 바탕으로 한 모순 증명을 활용하며, deg P = deg(Q - P) > 1 또는 deg P = 1인 경우는 유일성 조건을 만족시키지 못함을 보여주며, 이는 연산자가 동일할 경우에만 가능함을 시사한다.

실험 결과

연구 질문

• RQ1 유한 순서를 가진 비상수 전함수 f가 중복도를 고려하여 n차 및 (n+1)차 차분 연산자와 소함수를 공유할 조건은 무엇인가?
• RQ2 고전적 유일성 결과(예: f ≡ f')가 전함수의 유한 순서 맥락에서 차분 연산자로 일반화될 수 있는가?
• RQ3 f, Δ_c^n f, Δ_c^{n+1} f가 0을 CM으로 공유할 경우, 이는 f와 그 차분 연산자의 구조에 어떤 제약을 가하는가?
• RQ4 f, Δ_c^n f, Δ_c^{n+1} f가 소함수 a(z)를 CM으로 공유할 경우, Δ_c^{n+1}f가 Δ_c^n f와 다를 수 있는가? 만약 가능하다면 어떤 조건에서 가능한가?
• RQ5 관련 함수들(특히 지수 항들)의 성장 및 주기성 성질은 유일성과 차분 연산자의 동일성에 어떤 영향을 미치는가?

주요 결과

• 유한 순서를 가진 비상수 전함수 f가 0이 아닌 소함수 a(z) ∈ S(f)를 중복도를 고려하여 n차 및 (n+1)차 차분 연산자와 공유할 경우, Δ_c^{n+1} f ≡ Δ_c^n f이다.
• f − a(z), Δ_c^n f − b(z), Δ_c^{n+1} f − b(z)가 b(z) ∈ S(f)일 때 0을 CM으로 공유할 경우, Δ_c^{n+1} f ≡ Δ_c^n f이다.
• f, Δ_c^n f, Δ_c^{n+1} f가 0을 CM으로 공유할 경우 비율 Δ_c^n f / f = e^{P(z)} 및 Δ_c^{n+1} f / f = e^{Q(z)}로 표현되며, P와 Q는 다항함수이다. 만약 deg P = deg(Q − P) > 1이면 모순이 발생한다.
• deg P = deg(Q − P) = 1인 경우, 함수 e^{P(z)}는 주기 c를 가지며, 이는 Δ_c^{n+1} f = C Δ_c f를 의미한다. 이는 유일성 조건을 만족시키지 못하므로, Δ_c^{n+1} f ≡ C Δ_c^n f이어야만 한다.
• 공유하는 소함수가 비상수이더라도 주기 c를 가지며 S(f)에 속할 경우, Δ_c^{n+1} f ≡ Δ_c^n f의 결과는 그대로 유지된다.
• 논문은 개방 문제를 해결하여, 고차수 차분 연산자의 동일성이 CM 공유 조건 하에서도 유지됨을 보이며, 정리 E와 F를 (n+1)차 차분 연산자로 일반화한다.