分数階微分積分の定義は様々な式で定義されている. ここではRiemann-Liouvilleの分数階積分を紹介する.
実連続関数$f,\,x>0,\,n\in\mathbb{Z}_{>0}$について
$$
\frac{\d^{-n}}{\d x^{-n}}f(x)=\frac{1}{(n-1)!}\int_a^x (x-t)^{n-1}f(t)\,\d t
$$
が成り立つ.
$n=1$のとき
$$
\frac{\d^{-1}}{\d x^{-1}}f(x)=\int_a^x f(x)\,\d x=\frac{1}{0!}\int_a^x (x-t)^0 f(t)\,\d t
$$
$n$のとき主張が正しいと仮定すると, $n+1$のとき
$$
\frac{\d^{-1}}{\d x^{-1}}f(x)
=\int_a^x \int_a^{x_1}\cdots\int_a^{x_{n-1}} f(x_n)\,\d x_n\cdots\d x_2\d x_1
=\frac{1}{(n-1)!}\int_a^x \int_a^{x_1}(x_1-t)^{n-1}f(t)\,\d t\d x_1
$$
積分の順序を交換して
$$
=\frac{1}{(n-1)!}\int_a^x \int_t^{x}(x_1-t)^{n-1}f(t)\,\d x_1\d t
=\frac{1}{n!}\int_a^x (x_1-t)^nf(t)\,\d t
$$
$n$が正の整数のとき$\Gamma(n)=(n-1)!$なので, 階乗をガンマ関数に置き換えることで複素数階の積分に対応させた分数階積分の定義ができる.
実連続関数$f,\,x>0,\,\alpha\in\mathbb{C}\setminus\mathbb{Z}_{\leq0}$について, $f$の$\alpha$階積分を次のように定める.
$$
\frac{\d^{-\alpha}}{\d x^{-\alpha}}f(x):=\frac{1}{\Gamma(\alpha)}\int_0^x (x-t)^{\alpha-1}f(t)\,\d t
$$
関数によって定数の有無が変わることがあります.
$\sin$の二階積分の場合では, $-x$が現れます.
$$
\frac{\d^{-2}}{\d x^{-2}}\sin x=\frac{1}{(2-1)!}\int_0^x (x-t)\sin t\,\d t
=\Big[-(x-t)\cos t\Big]_0^x-\int_0^x \cos t\,\d t=-\sin x-x
$$
$x$の二階積分の場合では, 定数は現れません.
$$
\frac{\d^{-2}}{\d x^{-2}}x=\frac{1}{(2-1)!}\int_0^x (x-t)t\,\d t
=\Big[\frac{xt^2}{2}-\frac{t^3}{3}\Big]_0^x=\frac{x^3}{6}
$$
これは積分するたびに出る定数が原因で今回の級数に適応する場合, 任意の$n\in\mathbb{Z}_{>0}$に対して, $\dfrac{\d^{-n}}{\d x^{-n}}f(a)=0$となる$a$が存在する必要があります.
$\forall n\in\mathbb{Z}_{>0},\,\exists a\in\mathbb{R};\,\dfrac{\d^{-n}}{\d x^{-n}}f(a)=0$を満たす$a$で
$$
\frac{\d^{-n}}{\d x^{-n}}f(x)=\frac{1}{(n-1)!}\int_a^x (x-t)^{n-1}f(t)\,\d t
$$
を適応します.
$\forall n\in\mathbb{Z}_{>0},\,\exists a\in\mathbb{R};\,\dfrac{\d^{-n}}{\d x^{-n}}f(a)=0$を満たす. 両辺が収束して, $0\leq a\leq x<1$のとき, $g_n(t)=\dfrac{f(t)}{1+x-t}$の$a$から$x$までの積分と極限が可換ならば, 次の式が成り立つ.
$$
\sum_{n=1}^\infty (n-1)!\frac{\d^{-n}}{\d x^{-n}}f(x)=\int_a^x \frac{f(t)}{1+x-t}\,\d t
$$
$$
\frac{\d^{-n}}{\d x^{-n}}f(x)=\frac{1}{(n-1)!}\int_0^x (x-t)^{n-1}f(t)\,\d t
$$
$$
(n-1)!\frac{\d^{-n}}{\d x^{-n}}f(x)=\int_0^x (x-t)^{n-1}f(t)\,\d t
$$
$n=1,\,2,\,\cdots,\,N$まで和を取ると, 有限和と積分は交換できるので
$$
\sum_{n=1}^N (n-1)!\frac{\d^{-n}}{\d x^{-n}}f(x)
=\sum_{n=1}^N\int_0^x (x-t)^{n-1}f(t)\,\d t
=\int_0^x \sum_{n=1}^N (x-t)^{n-1}f(t)\,\d t
=\int_0^x \frac{1-(x-t)^N}{1-(x-t)}f(t)\,\d t
$$
$0\leq t\leq x<1$なので$N\to\infty$に飛ばして, 積分と極限が可換であれば
$$
\lim_{N\to\infty}\sum_{n=1}^N (n-1)!\frac{\d^{-n}}{\d x^{-n}}f(x)
=\lim_{N\to\infty}\int_0^x \frac{1-(x-t)^N}{1-(x-t)}f(t)\,\d t
=\int_0^x \lim_{N\to\infty}\frac{1-(x-t)^N}{1-(x-t)}f(t)\,\d t
=\int_0^x \frac{1}{1-x+t}f(t)\,\d t
$$
$$
\sum_{n=1}^\infty (n-1)!\frac{\d^{-n}}{\d x^{-n}}f(x)=\int_0^x \frac{f(t)}{1+x-t}\,\d t
$$
を得る.
$\forall n\in\mathbb{Z}_{>0},\,\exists c\in\mathbb{R};\,\dfrac{\d^{-an-b}}{\d x^{-an-b}}f(c)=0$を満たす. 両辺が収束して, $0\leq c\leq x<1$のとき, $g_n(t)=\dfrac{(x-t)^b}{\{1-(x-t)^a\}(x-t)^{a+1}}f(t)$の$c$から$x$までの積分と極限が可換ならば, 次の式が成り立つ.$$ \sum_{n=1}^\infty\Gamma(an+b)\frac{\d^{-(an+b)}}{\d x^{-(an+b)}}f(x) =\int_c^x \frac{(x-t)^b}{\{1-(x-t)^a\}(x-t)^{a+1}}f(t)\,\d t $$
$$
\sum_{n=1}^N\Gamma(an+b)\frac{\d^{-(an+b)}}{\d x^{-(an+b)}}f(x)
=\sum_{n=1}^N\int_0^x (x-t)^{an+b-1}f(t)\,\d t
=\int_0^x \sum_{n=1}^N\{(x-t)^a\}^{n-1}(x-t)^{b-a-1}f(t)\,\d t
=\int_0^x \frac{1-(x-t)^{an}}{1-(x-t)^a}(x-t)^{b-a-1}f(t)\,\d t
$$
区間$(0,\,x)$での$\dfrac{1-(x-t)^{an}}{1-(x-t)^a}(x-t)^{b-a-1}f(t)$の積分と極限が可換のとき
$$
\sum_{n=1}^\infty\Gamma(an+b)\frac{\d^{-(an+b)}}{\d x^{-(an+b)}}f(x)
=\int_0^x \frac{(x-t)^b}{\{1-(x-t)^a\}(x-t)^{a+1}}f(t)\,\d t
=\int_0^x \frac{t^b}{(1-t^a)t^{a+1}}f(x-t)\,\d t
$$
$f$の$n$階積分は$\dfrac{\d^{-n}}{\d x^{-n}}f(x)=\dfrac{m!}{(m+n)!}x^{m+n}$である.
$$
\sum_{n=1}^\infty (n-1)!\frac{\d^{-n}}{\d x^{-n}}f(x)
=\sum_{n=1}^\infty \frac{(n-1)!m!}{(m+n)!}x^{m+n}
$$
$$
=\frac{x^m}{m+1} \sum_{n=1}^\infty \frac{x^n}{\binom{n+m}{n-1}}
=x^m \sum_{n=1}^\infty \frac{x^n}{n\binom{n+m}{m}}
$$
ダランベールの収束判定法を使うと,
$$
0\leq\lim_{n\to\infty}\frac{x^{n+1}}{\binom{n+m+1}{n}}\cdot\frac{\binom{n+m}{n-1}}{x^n}=\lim_{n\to\infty}\frac{n}{n+m+1}x=x<1
$$
よって, $0\leq x<1$で絶対収束する.
$x=1$のときを考える.
$m=0$の場合
$$
\sum_{n=1}^\infty \frac{(n-1)!0!}{(0+n)!}=\sum_{n=1}^\infty \frac{1}{n}=\infty
$$
で発散する.
$m\geq1$の場合
$\dfrac{(n+m)!}{(n-1)!}=(n+m)(n+m-1)\cdots (n+1)n\geq n^{m+1}$より
$$
\frac{(n-1)!}{(n+m)!}\leq\frac{1}{n^{m+1}}
$$
$$
\sum_{n=1}^\infty \frac{(n-1)!m!}{(n+m)!}\leq m!\sum_{n=1}^\infty \frac{1}{n^{m+1}}=m!\zeta(m+1)<\infty
$$
よって, 収束する.
$0\leq x<1,\,0\leq m$または$x=1,\,1\leq m$のとき, 次が成り立つ.
$$
\frac{x^m}{m+1} \sum_{n=1}^\infty \frac{x^n}{\binom{n+m}{n-1}}
=x^m \sum_{n=1}^\infty \frac{x^n}{n\binom{n+m}{m}}
=\int_0^x \frac{t^m}{1-x+t}\,\d t
$$
この等式の問題点は多くの関数で級数が発散することです. 収束するような関数が$x$の累乗くらいしかないせいで本当に活用先がないです.