Uniqueness of Entire Functions Concerning Derivatives and Shifts

Basic Information

• Paper ID: 2510.10275
• Title: Uniqueness of entire function concerning derivatives and shifts
• Authors: Sujoy Majumder, Nabadwip Sarkar
• Classification: math.CV (Complex Variables)
• Publication Date: October 11, 2025 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2510.10275

Abstract

This paper investigates the uniqueness problem of entire functions concerning their derivatives and shifts, obtaining two significant results. One result resolves an open problem posed by Majumder et al. in Hiroshima Math. J. (2023), while another substantially improves and generalizes recent results by Huang and Fang in Comput. Methods Funct. Theory (2021).

Research Background and Motivation

Problem Context

1. Core Problem: Investigation of uniqueness problems for entire functions, particularly when an entire function shares certain values or small functions with its derivative or shifted function.
2. Historical Development:
   • This research field originated from pioneering work by Rubel and Yang (1977), who proved that if a non-constant entire function f shares two distinct finite complex values with its first derivative f', then f ≡ f'.
   • Subsequent research expanded in three directions: (i) replacing shared values with small functions; (ii) changing from counting multiplicities (CM) to ignoring multiplicities (IM); (iii) replacing f' with higher-order derivatives f^(k).
3. Significance:
   • This problem has fundamental theoretical importance in complex analysis, involving deep applications of Nevanlinna value distribution theory
   • It is closely related to differential equations and functional equations
   • It is crucial for understanding the structural properties of entire functions
4. Existing Limitations:
   • Conjecture B by Li and Yang (regarding generalization to small functions) remains partially unsolved
   • Uniqueness results concerning shared values between derivatives and shifted functions still have restrictive conditions

Core Contributions

1. Resolution of Open Problem: Completely resolves Question A posed by Majumder et al., namely the possibility of removing the assumption "a₁^(2) ≢ a₂^(2)" in Theorem G.
2. Generalization of Classical Results: Extends the Huang-Fang result from first-order derivatives to k-th order derivatives, and generalizes shared finite values to small functions.
3. Establishment of New Uniqueness Theorems: Proposes two main theorems:
   • Theorem 1.1: Uniqueness concerning entire functions and their k-th derivatives sharing small functions
   • Theorem 1.2: Uniqueness concerning shifts of entire functions and their k-th derivatives sharing small functions
4. Provision of Counterexamples and Boundary Conditions: Concrete examples demonstrate the necessity and sharpness of the theorem conditions.

Methodology Details

Theoretical Framework

The paper is based on Nevanlinna value distribution theory, employing classical methods from complex analysis:

1. Nevanlinna Theory Tools:
   • Characteristic function T(r,f)
   • Counting function N(r,a;f) and proximity function m(r,a;f)
   • Small function concept: T(r,a) = S(r,f)
2. Key Concepts:
   • Small Function: If T(r,a) = S(r,f) holds for all r ∉ E ⊂ [0,+∞) with m(E) < +∞, then a is called a small function of f
   • Shared Values: Functions f and g share value a IM means f-a and g-a have the same zeros (ignoring multiplicities)

Core Theorems

Theorem 1.1

Statement: Let f be a non-constant entire function, and let a₁(≢ ∞) and a₂(≢ ∞) be two distinct small functions of f with a₁a₂ ∉ C. If f and f^(k) (k ≥ 1) share a₁ and a₂ IM, then f ≡ f^(k).

Key Condition Analysis:

• The condition "a₁a₂ ∉ C" ensures that at least one small function is non-constant
• Example 1.1 demonstrates the necessity of the condition "a₁(≢ ∞) and a₂(≢ ∞)"

Theorem 1.2

Statement: Let f be a transcendental entire function with ρ₂(f) < 1, c a non-zero finite complex number, and a₁(≢ ∞) and a₂(≢ ∞) two distinct small functions of f. If f(z+c) and f^(k)(z) share a₁ and a₂ IM, then f(z+c) ≡ f^(k)(z).

Proof Strategy

1. Case Analysis:
   • Polynomial case: Direct contradiction obtained using Lemma 2.5
   • Transcendental function case: Analysis via auxiliary function construction
2. Auxiliary Function Construction: Definition of key auxiliary functions:

   Δ(g) = (g-a₁)(a₁^(1)-a₂^(1)) - (g^(1)-a₁^(1))(a₁-a₂)
   φ = Δ(g)(g-f^(k))/((g-a₁)(g-a₂))
   

3. Technical Tools:
   • Generalized form of Yamanoi's second fundamental theorem (Lemma 2.2)
   • Shimizu-Ahlfors characteristic function
   • Logarithmic density and exceptional set theory

Experimental Setup

Counterexample Construction

The paper verifies the necessity of theorem conditions through carefully constructed examples:

1. Example 1.1:

   f(z) = c + ce^(e^z), a₁(z) = c²/(c-e^(-z)), a₂ = ∞
   

   
   Demonstrates the sharpness of the condition "a₁(≢ ∞) and a₂(≢ ∞)".
2. Example 1.2:

   f(z) = 4/(1-3e^(-2z))
   

   
   Shows that the theorem does not hold for meromorphic functions with infinitely many poles.

Boundary Case Analysis

Examples 1.3 and 1.4 demonstrate:

• The necessity of two shared values
• The importance of the hyper-order condition ρ₂(f) < 1
• The necessity of the entire function assumption

Experimental Results

Main Achievements

1. Complete Resolution of Question A: Proves that the condition "a₁^(2) ≢ a₂^(2)" can be removed from Theorem G, representing an important theoretical breakthrough.
2. Generalization of Huang-Fang Results:
   • Extension from f^(1) to f^(k)
   • Extension from finite values to small functions
   • Preservation of the same hyper-order condition ρ₂(f) < 1
3. Condition Optimization: Demonstrates that in certain cases, traditional restrictive conditions can be replaced by weaker conditions.

Technical Innovations

1. Proof Techniques: Skillful application of Yamanoi's deep results combined with traditional Nevanlinna theory methods.
2. Classification Strategy: Detailed case analysis addressing various combinations of constant and non-constant small functions.
3. Auxiliary Function Design: The constructed auxiliary function φ effectively captures the differential characteristics between functions.

Related Work

Historical Context

1. Classical Foundation: Rubel-Yang theorem → Mues-Steinmetz generalization → Gundersen improvement
2. Small Function Direction: Zheng-Wang (1992) → Qiu (2000) → Modern developments
3. Higher-Order Derivatives: Yang (1990) → Li-Yang (2000) → Resolution of Frank's conjecture
4. Difference Direction: Liu-Dong → Qi et al. → Huang-Fang → Present work

Relationship to Related Work

• Inheritance: Built upon Nevanlinna theory and predecessors' uniqueness results
• Generalization: Extension from special cases to more general small function settings
• Innovation: Breakthrough in technical methods, particularly in handling exceptional sets

Conclusions and Discussion

Main Conclusions

1. Under appropriate conditions, entire functions are completely determined by their shared properties with derivatives or shifts
2. Generalization to small functions is feasible but requires suitable technical conditions
3. The hyper-order condition ρ₂(f) < 1 plays a crucial role in addressing shift problems

Limitations

1. Function Class Restrictions: Primarily applicable to entire functions with limitations for general meromorphic functions
2. Hyper-Order Condition: Theorem 1.2 requires the restriction ρ₂(f) < 1
3. Small Function Conditions: Requires specific small function conditions, not completely arbitrary

Future Directions

1. Possibility of further relaxing the hyper-order condition
2. Generalization to more general classes of meromorphic functions
3. Consideration of more complex difference-differential combination problems

In-Depth Evaluation

Strengths

1. Theoretical Contribution: Resolves important open problems in the field and advances uniqueness theory
2. Technical Innovation: Skillful application of modern complex analysis tools with original proof methods
3. Complete Results: Provides not only positive results but also demonstrates necessity of conditions through counterexamples
4. Clear Presentation: Well-structured paper with clear logical flow in proofs

Weaknesses

1. Scope of Application: Results primarily limited to entire functions with limited generalization to meromorphic functions
2. Technical Dependence: Heavy reliance on deep results by Yamanoi and others with relatively limited original techniques
3. Practical Application: Results are primarily theoretical with limited practical applicability

Impact

1. Academic Value: Holds important position in complex analysis uniqueness theory
2. Subsequent Research: Provides new perspectives and methods for further research on related problems
3. Technical Generalization: Methods may be applicable to other similar uniqueness problems

Applicable Scenarios

• Complex analysis theoretical research
• Structural analysis of entire and meromorphic functions
• Uniqueness problems for solutions of differential equations
• Functional equation theory

References

Key references cited in the paper include:

• Rubel-Yang (1977): Pioneering uniqueness results
• Li-Yang (2000): Resolution of Frank's conjecture
• Yamanoi (2013): Deep results in modern value distribution theory
• Huang-Fang (2021): Recent advances in shift and derivative uniqueness

Overall Assessment: This is a high-quality theoretical paper in complex analysis that achieves substantial progress in entire function uniqueness theory. Although the results are primarily theoretical, it resolves important problems in the field with clear academic value. The paper demonstrates mature technical handling with innovative proof methods, providing valuable reference for subsequent research.