6
大学数学基礎解説
文献あり

fのn階積分F_nについての級数Γ(n)F_n(x)

88
0
$$\newcommand{d}[0]{\mathrm{d}} $$

分数階微分積分

分数階微分積分の定義は様々な式で定義されている. ここではRiemann-Liouvilleの分数階積分を紹介する.

反復積分に関するCauchyの公式

実連続関数$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)!$なので, 階乗をガンマ関数に置き換えることで複素数階の積分に対応させた分数階積分の定義ができる.

Riemann-Liouvilleの分数階積分

実連続関数$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(x)=x^m\,(m=0,\,1,\,\cdots)$

$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$の累乗くらいしかないせいで本当に活用先がないです.

参考文献

投稿日:29日前
更新日:26日前
OptHub AI Competition

この記事を高評価した人

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

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

バッジはありません。

投稿者

▽X/Twitter▽ | TyLite(トワイライト)です。認知欲求のためにSNSとMathlogしてる。フォロバはほぼ返すと思う。

コメント

他の人のコメント

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