2025-11-10T03:05:44.600859

Uniqueness of entire function concerning derivatives and shifts

Majumder, Sarkar

In the paper, we investigate the uniqueness problem of entire function concerning its derivative and shift and obtain two results. On of our result solves the open problem posed by Majumder et al. (On a conjecture of Li and Yang, Hiroshima Math. J., 53 (2023), 199-223) and the other result improves and generalizes the recent result due to Huang and Fang (Unicity of entire functions concerning their shifts and derivatives, Comput. Methods Funct. Theory, 21 (2021), 523-532) in a large extend.

academic

導関数とシフトに関する整関数の一意性

基本情報

論文ID: 2510.10275
タイトル: Uniqueness of entire function concerning derivatives and shifts
著者: Sujoy Majumder, Nabadwip Sarkar
分類: math.CV (複素変数論)
発表日: 2025年10月11日 (arXiv プレプリント)
論文リンク: https://arxiv.org/abs/2510.10275

摘要

本論文は、整関数とその導関数およびシフトに関する一意性問題を研究し、2つの重要な結果を得た。その一つは、Majumderら『Hiroshima Math. J.』(2023)で提起された未解決問題を解決し、もう一つはHuangとFang『Comput. Methods Funct. Theory』(2021)の最新結果を大幅に改善・一般化している。

研究背景と動機

問題の背景

中心的問題: 整関数の一意性問題、特に整関数とその導関数またはシフト関数が特定の値または小関数を共有する場合の一意性特性を研究する。
歴史的発展:
- 本研究分野はRubelとYang (1977)の先駆的研究に遡り、彼らは非定数整関数fが1階導関数f'と2つの異なる有限複素数を共有する場合、f ≡ f'であることを証明した。
- その後の研究は3つの方向に拡張された：(i)共有値を小関数で置き換える；(ii)重複度を数える(CM)から重複度を無視する(IM)へ変更；(iii)f'をk階導関数f^(k)で置き換える。
重要性:
- 本問題は複素解析における基礎理論として重要であり、Nevanlinna値分布論の深い応用を含む
- 微分方程式、関数方程式などの分野と密接な関連がある
- 整関数の構造的性質の理解に重要な価値を持つ
既存の制限:
- LiとYangの予想B（小関数に関する一般化）は今なお完全には解決されていない
- 導関数とシフト関数が値を共有する場合の一意性結果には依然として制限条件がある

核心的貢献

未解決問題の解決: Majumderらが提起したQuestion Aを完全に解決し、定理Gにおける仮定条件「a₁^(2) ≢ a₂^(2)」を削除する可能性を明らかにした。
古典的結果の一般化: Huang-Fangの結果を1階導関数からk階導関数に推広し、共有される有限値を小関数に推広した。
新しい一意性定理の確立: 2つの主要定理を提示：
- 定理1.1：整関数とそのk階導関数が小関数を共有する場合の一意性
- 定理1.2：整関数のシフトとそのk階導関数が小関数を共有する場合の一意性
反例と境界条件の提供: 具体例を通じて定理条件の必要性と鋭さを示す。

方法の詳細

理論的枠組み

本論文はNevanlinna値分布論に基づき、複素解析における古典的方法を採用している：

Nevanlinna理論のツール:
- 特性関数T(r,f)
- 計数関数N(r,a;f)と接近関数m(r,a;f)
- 小関数の概念：T(r,a) = S(r,f)
主要概念:
- 小関数: T(r,a) = S(r,f)がすべてのr ∉ E ⊂ [0,+∞)（m(E) < +∞）に対して成立する場合、aをfの小関数と呼ぶ
- 共有値: 関数fとgが値aをIM（重複度を無視）で共有するとは、f-aとg-aが同じ零点を持つことを意味する

中心的定理

定理1.1

陳述: fを非定数整関数、a₁(≢ ∞)とa₂(≢ ∞)をfの2つの異なる小関数で、a₁a₂ ∉ Cとする。fとf^(k) (k ≥ 1)がa₁とa₂をIMで共有するならば、f ≡ f^(k)である。

主要条件の分析:

条件「a₁a₂ ∉ C」は少なくとも1つの小関数が非定数であることを保証する
例1.1を通じて条件「a₁(≢ ∞)とa₂(≢ ∞)」の必要性を示す

定理1.2

陳述: fを超越整関数でρ₂(f) < 1、cを非零有限複素数、a₁(≢ ∞)とa₂(≢ ∞)をfの2つの異なる小関数とする。f(z+c)とf^(k)(z)がa₁とa₂をIMで共有するならば、f(z+c) ≡ f^(k)(z)である。

証明戦略

場合分けによる議論:
- 多項式の場合：補題2.5を利用して直接矛盾を導く
- 超越関数の場合：補助関数を構成して分析する

補助関数の構成: 主要な補助関数を定義：

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

技術的ツール:
- Yamanoi の第二基本定理の一般化形式（補題2.2）
- Shimizu-Ahlfors特性関数
- 対数密度と例外集合論

実験設定

反例の構成

論文は精密に構成された例を通じて定理条件の必要性を検証：

例1.1:
```
f(z) = c + ce^(e^z), a₁(z) = c²/(c-e^(-z)), a₂ = ∞
```
条件「a₁(≢ ∞)とa₂(≢ ∞)」の鋭さを示す。
例1.2:
```
f(z) = 4/(1-3e^(-2z))
```
定理が無限に多くの極を持つ有理型関数には成立しないことを示す。