2025-11-20T16:58:14.942114

Subnormal transcendental meromorphic solutions of difference equations with Schwarzian derivative

Xia, Long, Xiang

The existence of subnormal solutions of following three difference equations with Schwarzian derivative $$Ï(z+1)-Ï(z-1)+a(z)(S(Ï,z))^n=R(z,Ï(z)),$$ $$Ï(z+1)Ï(z-1)+a(z)S(Ï,z)=R(z,Ï(z)),$$ and $$(Ï(z)Ï(z+1)-1)(Ï(z)Ï(z-1)-1)+a(z)S(Ï,z)=R(z,Ï(z))$$ are studied by using Nevanlinna theory, where $n\ge 1$ is an integer, $a(z)$ is small with respect to $Ï$, $S(Ï,z)$ is Schwarzian derivative, $R(z,Ï)$ is rational in $Ï$ with small meromorphic coefficients with respect to $Ï$. The necessary conditions for the existence of subnormal transcendental meromorphic solutions of the above equations are obtained. Some examples are given to support these results.

academic

Schwarzian導関数を持つ差分方程式の準正規超越有理型解

基本情報

論文ID: 2510.10626
タイトル: Subnormal transcendental meromorphic solutions of difference equations with Schwarzian derivative
著者: Mengting Xia, Jianren Long, Xuxu Xiang
分類: math.CV（複素解析）
発表日: 2025年10月12日
論文リンク: https://arxiv.org/abs/2510.10626

要旨

本論文はNevanlinna理論を用いて、Schwarzian導関数を持つ三類の差分方程式の準正規解の存在性を研究している：

$\omega(z+1)-\omega(z-1)+a(z)(S(\omega,z))^n=R(z,\omega(z))$
$\omega(z+1)\omega(z-1)+a(z)S(\omega,z)=R(z,\omega(z))$
$(\omega(z)\omega(z+1)-1)(\omega(z)\omega(z-1)-1)+a(z)S(\omega,z)=R(z,\omega(z))$

ここで $n \geq 1$ は整数、 $a(z)$ は $\omega$ に関する小関数、 $S(\omega,z)$ はSchwarzian導関数、 $R(z,\omega)$ は $\omega$ に関する有理関数で係数は $\omega$ に関する小有理型関数である。本論文は、これらの方程式が準正規超越有理型解を持つための必要条件を得、その結果を支持する例を提供している。

研究背景と動機

問題の重要性

理論的意義: 本研究は差分方程式理論とSchwarzian導関数を結合し、古典的なMalmquist定理をSchwarzian導関数を持つ差分方程式領域に拡張している
数学物理への応用: 研究対象の方程式は離散可積分系と密接に関連しており、特に離散Sine-Gordon方程式（DSG）および離散KdV方程式との関連性がある
方法の革新性: Nevanlinna理論を新型の遅延微分方程式に応用し、複素解析に新しい研究方向をもたらしている

研究の動機

論文の研究動機は以下の諸側面に由来している：

Schwarzian微分方程式 $(S(\omega,z))^n = R(z,\omega)$ に対するIshizakiのMalmquist型定理
遅延微分方程式 $\omega(z+1)-\omega(z-1)+a(z)\frac{\omega'(z)}{\omega(z)}=R(z,\omega(z))$ に関するHalburdとKorhononenの研究
対数導関数項 $\frac{\omega'(z)}{\omega(z)}$ をSchwarzian導関数 $S(\omega,z)$ に置き換える自然な考え方

既存方法の限界

既存研究は主に以下に集中している：

単純な差分方程式または微分方程式
対数導関数形式の遅延微分方程式
Schwarzian導関数と差分方程式の結合に関する体系的研究の欠如

核心的貢献

三類の新型差分方程式の理論枠組みの確立: Schwarzian導関数を持つ差分方程式を初めて体系的に研究
準正規解存在の必要条件の導出: 各方程式クラスに対して有理関数 $R(z,\omega)$ の次数制限を提供
完全な数学的証明の提供: Nevanlinna理論と遅延微分方程式のClunie補題などの道具を活用
具体例の構成: 理論結果の最適性を検証
可積分系との関連性の解明: 研究対象方程式と離散Sine-Gordon方程式および離散KdV方程式の関係を示唆

方法の詳細

タスク定義

三類の差分方程式を研究する：

方程式(1.10): $\omega(z+1)-\omega(z-1)+a(z)(S(\omega,z))^n=\frac{P(z,\omega(z))}{Q(z,\omega(z))}$
方程式(1.11): $\omega(z+1)\omega(z-1)+a(z)S(\omega,z)=\frac{P(z,\omega(z))}{Q(z,\omega(z))}$
方程式(1.12): $(\omega(z)\omega(z+1)-1)(\omega(z)\omega(z-1)-1)+a(z)S(\omega,z)=\frac{P(z,\omega(z))}{Q(z,\omega(z))}$

ここで $S(\omega,z) = \frac{\omega'''}{\omega'} - \frac{3}{2}(\frac{\omega''}{\omega'})^2$ はSchwarzian導関数である。

理論的道具

Nevanlinna理論の基礎：
- 特性関数 $T(r,\omega)$
- 接近関数 $m(r,\omega)$
- 計数関数 $N(r,\omega)$
- Valiron-Mohon'ko恒等式
主要補題：
- 補題4.2: 準正規関数の差分版対数導関数補題
- 補題4.5: 遅延微分方程式のClunie補題
- 補題4.6: 遅延微分方程式のMohon'ko定理

技術的革新点

Schwarzian導関数の処理：
- Schwarzian導関数の性質を利用：単純極点で正則、多重極点またはゼロ点で二重極点を持つ
- $T(r,S(\omega,z)) \leq 2N(r,\frac{1}{\omega'}) + N(r,\omega) + S(r,\omega)$ の推定
次数推定技法：
- 反復分析による極点の重数増長
- $(p-q)$ 型増長因子を利用した矛盾導出
根の重数分析：
- $Q(z,\omega)$ の有理型関数根の重数制限の分析
- 計数関数比較技法の使用

主要な理論結果

定理2.1（方程式1.10の結果）

$\omega$ を方程式(1.10)の準正規超越有理型解とすると、 $\deg_\omega(R) \leq 5n+2$ であり、以下が成立する：

$\deg_\omega(Q) = 0$ ならば、 $\deg_\omega(P) \leq n$
$\deg_\omega(Q) \geq 1$ ならば、 $\deg_\omega(P) \leq \deg_\omega(Q) + n$
$Q(z,\omega)$ が重数 $k$ の有理型関数根を持つならば、 $k \leq n+1$

定理2.4（方程式1.11の結果）

$\omega$ を方程式(1.11)の準正規超越有理型解とすると、 $\deg_\omega(R) \leq 7$ であり、以下が成立する：

$\deg_\omega(Q) = 0$ ならば、 $\deg_\omega(P) \leq 2$
$\deg_\omega(Q) \geq 1$ ならば、 $\deg_\omega(P) \leq \deg_\omega(Q) + 2$
$Q(z,\omega)$ が重数 $k$ の有理型関数根を持つならば、 $k \leq 2$

定理3.1（方程式1.12の結果）

$\omega$ を方程式(1.12)の準正規超越有理型解とすると、 $\deg_\omega(R) \leq 9$ であり、以下が成立する：

$\deg_\omega(Q) = 0$ ならば、 $\deg_\omega(P) \leq 4$
$\deg_\omega(Q) \geq 1$ ならば、 $\deg_\omega(P) \leq \deg_\omega(Q) + 4$
$Q(z,\omega)$ が重数 $k$ の有理型関数根を持つならば、 $k \leq 2$

具体例

例2.3（定理2.1の最適性）

関数 $\omega(z) = e^{2\pi z-z}$ は以下の方程式の解である： $\omega(z+1)-\omega(z-1)+\frac{1}{64\pi^6}(S(\omega,z))^2 = \frac{P(z,\omega(z))}{Q(z,\omega(z))}$ ここで $\deg_\omega(Q) = 4$ 、 $\deg_\omega(P) = 6 = \deg_\omega(Q) + 2$ であり、結果の最適性を示している。

例2.6（定理2.4の応用）

関数 $\omega(z) = \tan(\pi z)$ は以下の方程式の解である： $\omega(z+1)\omega(z-1) + zS(\omega,z) = \omega^2(z) + 2\pi^2 z$ ここで $Q(z,\omega(z)) = 1$ 、 $\deg_\omega(P) = 2$ である。