[論文レビュー] Integral soluitons of q-difference equations of the hypergeometric type with |q|=1

Michitomo Nishizawa, Kimio Ueno|ArXiv.org|Dec 11, 1996

Polynomial and algebraic computation参考文献 3被引用数 14

ひとこと要約

本稿は、|q| = 1 の場合に、二つの積分的解——Barnes型およびEuler型——を、二重正弦関数を用いて定義された q-ガンマ関数を用いて構築する。この非標準的状況において、標準的な q-ガンマ関数が定義されないため、従来は未解決であった単位円上での解析的解の構成が達成された。本研究の主な貢献は、|q| = 1 の場合における超幾何型 q-差分方程式の解析的解の構築であり、これは SL_q(2,R) 上の量子群調和解析に応用可能である。

ABSTRACT

Two integral solutions of q-difference equations of the hypergeometric type with |q|=1 are constructed by using the double sine function. One is an integral of the Barnes type and the other is of the Euler type.

研究の動機と目的

• 標準的な q-ガンマ関数が定義されない |q| = 1 の状況において、q-差分方程式に対する解析的ツールの欠如を補うため。
• Kurokawa の二重正弦関数を用いて、|q| = 1 における q-ガンマ関数を定義し、積分表現の構築を可能にするため。
• 0 < q < 1 の場合に知られている Barnes 型および Euler 型積分表現を、|q| = 1 の場合に拡張するため。
• これらの新しい積分が、|q| = 1 の状況において超幾何型 q-差分方程式を満たすことを証明するため。
• SL_q(2,R) のような量子群における調和解析の基盤を築くため、|q| = 1 が必須である状況に適応するため。

提案手法

• 標準的な q-Pochhammer 積の代わりに、二重正弦関数を用いて |q| = 1 における q-ガンマ関数を定義する。
• 新しい q-ガンマ関数と π(−z)^s / sin(πs) のカーネルを用いて、虚軸に沿った contour 積分を用いた Barnes 型積分を構築する。
• 二重正弦関数の漸近的性質を用いて、|Im s| → ∞ のときの被積分関数の指数的減衰を確認し、収束を保証する。
• z = q^x および t = q^s の変数変換により、q-超幾何方程式を加法的変数の枠組みに変換する。
• 虚軸に沿って、q-ガンマ関数の比と q^{bs} を積分することで、Euler 型積分を定義する。
• 複素 s 平面上で極が contour によって分離されるよう、 contour の条件を確立し、収束性と正則性を保証する。

実験結果

リサーチクエスチョン

• RQ1 |q| = 1 の場合、標準的な q-アナローグが不成立となる状況で、どのように q-ガンマ関数を定義できるか。
• RQ2 二重正弦関数を用いて、|q| = 1 の場合に Barnes 型積分表現を一般化できるか。
• RQ3 |q| = 1 の場合に、Euler の積分表現の q-アナローグが存在するか。
• RQ4 これらの新しい積分表現が、|q| = 1 の状況において超幾何型 q-差分方程式を満たすか。
• RQ5 これらの解と、SL_q(2,R) のような量子群における調和解析との関係は何か。

主な発見

• |q| = 1 における q-ガンマ関数が二重正弦関数を用いて成功裏に定義され、単位円上での q-解析が可能になった。
• Barnes 型積分解は、contour 変形と留数計算を用いて、一様収束性および超幾何型 q-差分方程式の満たし方を示した。
• Euler 型積分は、Re(b) > 0 および Re(a − c − 1) > 0 の条件下で定義され、x に関して収束性と正則性を保証した。
• Euler 型積分は、シフト作用素 T_+ および q-微分作用素を用いた加法的変数での q-差分方程式を満たす。
• これらの積分は、z や x の単価正則関数であり、極を明確に分離する contour の規定が整備された。
• 本研究は、|q| = 1 における超幾何型 q-差分方程式の積分的解の体系的構成を初めて達成し、q-解析における重要な空白を埋めた。