非整数階積分のq類似

前の記事( 非整数階積分とJacobi多項式 )において,
$\begin{aligned} [a, b]_{+} x^{n} & = \frac{(a)_{n}}{(b)_{n}} x^{n} \end{aligned}$
を満たす作用素 $[a, b]_{+}$ 定義した. 今回はこの $q$ 類似として,
$\begin{array}{r} [a, b; q]_{+} x^{n} = \frac{(a; q)_{n}}{(b; q)_{n}} x^{n} \end{array}$
関数 $f (x)$ に対し, 区間 $(0, 1)$ における $q$ 積分を以下のように定義する.
$\begin{aligned} \int_{0}^{1} f (x) d_{q} x & := \sum_{0 \leq n} q^{n} f (q^{n}) \end{aligned}$
ベータ積分
$\begin{aligned} \int_{0}^{1} x^{a - 1} (1 - x)^{b - 1} d x & = \frac{Γ (a) Γ (b)}{Γ (a + b)} \end{aligned}$
の $q$ 類似として以下が成り立つ.

q

ベータ積分

$q^{α} = a$ として,
$\begin{array}{r} \int_{0}^{1} x^{α - 1} \frac{(x q; q)_{\infty}}{(b x; q)_{\infty}} d_{q} x = \frac{(a b, q; q)_{\infty}}{(a, b; q)_{\infty}} \end{array}$
が成り立つ.

$\begin{aligned} \int_{0}^{1} x^{α - 1} \frac{(x q; q)_{\infty}}{(b x; q)_{\infty}} d_{q} x & = \sum_{0 \leq n} a^{n} \frac{(q^{n + 1}; q)_{\infty}}{(b q^{n}; q)_{\infty}} \\ = \frac{(q; q)_{\infty}}{(b; q)_{\infty}} \sum_{0 \leq n} a^{n} \frac{(b; q)_{n}}{(q; q)_{n}} \end{aligned}$
ここで, $q$ 二項定理より,
$\begin{aligned} \sum_{0 \leq n} a^{n} \frac{(b; q)_{n}}{(q; q)_{n}} & = \frac{(a b; q)_{\infty}}{(a; q)_{\infty}} \end{aligned}$
であるから定理が従う.

上の $q$ ベータ積分において, $α \mapsto α + n, b \mapsto b / a$ とすると,
$\begin{aligned} \int_{0}^{1} x^{n + α - 1} \frac{(x q; q)_{\infty}}{(b x / a; q)_{\infty}} d_{q} x & = \frac{(b, q; q)_{\infty}}{(a, b / a; q)_{\infty}} \frac{(a; q)_{n}}{(b; q)_{n}} \end{aligned}$
が成り立つ. よって,
$\begin{array}{r} [a, b; q]_{+} f (x) := \frac{(a, b / a; q)_{\infty}}{(b, q; q)_{\infty}} \int_{0}^{1} f (x t) t^{α - 1} \frac{(t q; q)_{\infty}}{(b t / a; q)_{\infty}} d_{q} t \end{array}$
によって定義すれば,
$\begin{array}{r} [a, b; q]_{+} x^{n} = \frac{(a; q)_{n}}{(b; q)_{n}} x^{n} \end{array}$
を満たすことが分かる. 前回の記事( 非整数階積分と随伴作用素 )のように随伴作用素を構成することや, $⟨ a, b ⟩_{+}, ⟨ a, b ⟩^{+}$ の $q$ 類似を構成しその固有関数となる直交関数系を求めることが今後の研究課題である.

投稿日：2024年3月21日

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

Wataru

635

44525

超幾何関数, 直交関数, 多重ゼータ値などに興味があります

他の人のコメント

コメントはありません。

読み込み中

Wataru

非整数階積分のq類似