0

非整数階積分のq類似

70
0

前の記事( 非整数階積分とJacobi多項式 )において,
[a,b]+xn=(a)n(b)nxn
を満たす作用素[a,b]+定義した. 今回はこのq類似として,
[a,b;q]+xn=(a;q)n(b;q)nxn
関数f(x)に対し, 区間(0,1)におけるq積分を以下のように定義する.
01f(x)dqx:=0nqnf(qn)
ベータ積分
01xa1(1x)b1dx=Γ(a)Γ(b)Γ(a+b)
q類似として以下が成り立つ.

qベータ積分

qα=aとして,
01xα1(xq;q)(bx;q)dqx=(ab,q;q)(a,b;q)
が成り立つ.

01xα1(xq;q)(bx;q)dqx=0nan(qn+1;q)(bqn;q)=(q;q)(b;q)0nan(b;q)n(q;q)n
ここで, q二項定理より,
0nan(b;q)n(q;q)n=(ab;q)(a;q)
であるから定理が従う.

上のqベータ積分において, αα+n,bb/aとすると,
01xn+α1(xq;q)(bx/a;q)dqx=(b,q;q)(a,b/a;q)(a;q)n(b;q)n
が成り立つ. よって,
[a,b;q]+f(x):=(a,b/a;q)(b,q;q)01f(xt)tα1(tq;q)(bt/a;q)dqt
によって定義すれば,
[a,b;q]+xn=(a;q)n(b;q)nxn
を満たすことが分かる. 前回の記事( 非整数階積分と随伴作用素 )のように随伴作用素を構成することや, a,b+,a,b+q類似を構成しその固有関数となる直交関数系を求めることが今後の研究課題である.

投稿日:2024321
OptHub AI Competition

この記事を高評価した人

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

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

バッジはありません。
バッチを贈って投稿者を応援しよう

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

投稿者

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

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中