関数が代数的微分方程式をみたさないとき、超超越的であるという。差分方程式をみたす関数の超超越性はヘルダーによるガンマ関数の研究をはじめとして様々ある。ティーツェは1905年の論文で差分リッカチ方程式の解の超超越性を調べ、十分条件を得た。本研究ではティーツェの結果とその証明を完全に代数化し、さらにq差分やマーラ型方程式を含む一般の差分にまで拡張した。具体例として、エアリー方程式のq差分版であるqエアリー方程式に対して、qが1のベキ根でないときに解が超超越的であることを証明した。また、qパンルヴェ方程式の既約性を証明する理論や手法はdパンルヴェ方程式にも適用可能であることを明らかにした。
|