反復積分とその級数表示の関係について

こんにちは、itouです。

反復積分

反復積分とは、例えば次のような積分をさします。
\begin{multline} \int_0^1 \underbrace{A(t)dt◦…◦A(t)dt}_{k_a-1 \text{ 個}}◦B(t)dt◦\underbrace{A(t)dt◦…A(t)dt}_{k_{a-1}-1 \text{ 個}}◦B(t)dt◦…◦\underbrace{A(t)dt◦…A(t)dt}_{k_1-1 \text{ 個}}◦ B(t)dt \end{multline}
ここで積分は一番右から実行し、$B(t)$を$t$で積分して$A(t)$を乗じて$t$で積分して$A(t)$を乗じて$t$で積分して……$B(t)$を$t$で積分して$A(t)$を乗じて……というように、名前の通り積分を反復していきます。
今回は反復積分の級数表示を得る上での簡単な方法を考えてみたという記事です。

反復積分と級数表示

反復積分の級数表示を得るには、積分を級数展開しながら実行していけばよいです。このとき、
一回の反復積分、$\varepsilon(t)dt$という操作は（直前の）$t$の式に対し、$t$の指数を変化させ、係数になにかを乗じる、という変化を起こします。これを表にすると、以下のようになります。
（$M$は操作前の$t$の指数、$m_i$は0以上の整数を渡る変数です。また、$a$は定数とします。）

分かりにくいと思うので説明します。
\begin{multline} \int_0^1 \underbrace{\frac{dt}{t}◦…◦\frac{dt}{t}}_{k-1 \text{ 個}}◦ \frac{dt}{1-t} \end{multline}
を考えます。まずはじめは$M=0$なので、$\frac{dt}{1-t}$によって

\begin{multline} \begin{split} (tの指数)&：0→m_1+1\\ (係数)&：1→\frac{1}{m_1+1}\ \end{split} \end{multline}
となります。つぎに$\frac{dt}{t}◦$によって、
\begin{multline} \begin{split} (tの指数)&：m_1+1→m_1+1\\ (係数)&：\frac{1}{m_1+1}→\frac{1}{(m_1+1)^2}\ \end{split} \end{multline}
となります。さらにもう一度$\frac{dt}{t}◦$を作用して、
\begin{multline} \begin{split} (tの指数)&：m_1+1→m_1+1\\ (係数)&：\frac{1}{(m_1+1)^2}→\frac{1}{(m_1+1)^3}\ \end{split} \end{multline}
これを繰り返すと結局、正味のtの指数と係数は、
\begin{multline} \begin{split} (正味のtの指数)&：0→m_1+1\\ (係数)&：1→\frac{1}{(m_1+1)^k}\ \end{split} \end{multline}
となります。$m_1$は０以上を渡るので、
\begin{multline} \begin{split} \int_0^1 \underbrace{\frac{dt}{t}◦…◦\frac{dt}{t}}_{k-1 \text{ 個}}◦ \frac{dt}{1-t}&=\sum_{m_1=0}^{∞}\frac{1}{(m_1+1)^k}\\ &=\sum_{n_1>0}^{∞}\frac{1}{n_1^k} \end{split} \end{multline}
ふつうに反復積分を級数展開する手続きを、$t$の指数と係数とで分けて考えただけです。

作用の合成

上の例で、$\underbrace{\frac{dt}{t}◦…◦\frac{dt}{t}}_{k-1 \text{ 個}}◦ \frac{dt}{1-t}◦$という一連の操作は、操作前の$t$の指数を$M$、係数を$C_M$として、

\begin{multline} \begin{split} (正味のtの指数)&：M→M+m_i+1\\ (係数)&：C_M→C_M\frac{1}{(M+m_i+1)^k}\ \end{split} \end{multline}
に対応することが確認できました。同様に、複数の積分を合成した作用を表にしてみます。以下、$(x)_n$はポッホハマー記号です。

これらを用いて実際に級数表示を得ます。反復積分の式は横に長く見にくくなってしまうので、次のように略記します。

MZVの級数表示ですね。正味の$M$の変化が$M→M+m_i+1$であるような操作を用いると、このように$0< m_1 < m_2……< m_a$を渡る和として書くことができます。

感想

というわけで反復積分を級数表示にする方法でした。……もともとはシャッフル積と調和積をもつ、ＭＺＶ以外の対象を見つけようと思ってやり始めたのですが、上の結果をみるとなさそうな感じがします。正味の$M$の変化が$M→M+m_i+1$であるような操作で、かつシャッフルして形が保存されるようなものが他にないのではと。ここから思いつきの話なのですが、シャッフル積って分数階積分入りのシャッフル積分に対してもできるのでしょうか？
$k$回微分を（参考： まめけびさんのサイト ）
\begin{multline} D^k(t^n)=\frac{\Gamma(n+1)}{\Gamma(n-k+1)}・t^{n-k} \end{multline}
とすると、$k$階積分は
\begin{multline} D^{-k}(t^n)=\frac{\Gamma(n+1)}{\Gamma(n+k+1)}・t^{n+k} \end{multline}
として定義されます。
これを$\int f(t) (dt)^k$というように書くことにします。例えば
\begin{multline} \int_0^1t^n \sqrt{dt} =\frac{\Gamma(n+1)}{\Gamma(n+3/2)}・t^{n+1/2} \end{multline}
です。1/2階積分について操作の表を得ると、

これを使うと、

\begin{multline} \begin{split} &\int_0^1 \underbrace{\frac{\sqrt{dt}}{\sqrt{t}}◦…◦\frac{\sqrt{dt}}{\sqrt{t}}}_{k_a-1 \text{ 個}}◦\frac{\sqrt{dt}}{1-t}◦\underbrace{\frac{\sqrt{dt}}{\sqrt{t}}◦…\frac{\sqrt{dt}}{\sqrt{t}}}_{k_{a-1}-1 \text{ 個}}◦\frac{\sqrt{dt}}{1-t}◦…◦\underbrace{\frac{\sqrt{dt}}{\sqrt{t}}◦…\frac{\sqrt{dt}}{\sqrt{t}}}_{k_1-1 \text{ 個}}◦\frac{\sqrt{dt}}{1-t}\\ &=\sum_{0< m_1 < m_2……< m_a}(\frac{\Gamma(m_1+1/2)}{\Gamma(m_1+1)})^{k_{1}}(\frac{\Gamma(m_2+1/2)}{\Gamma(m_2+1)})^{k_{2}}…(\frac{\Gamma(m_a+1/2)}{\Gamma(m_a+1)})^{k_{a}} \end{split} \end{multline}
を得ます。級数表示をみると調和積が入ることが分かりますが、シャッフル積は入るのでしょうか？

謝辞

ここまで読んで下さりありがとうございました。誤植等指摘お願いいたします。