被積分関数に微分する変数を含む微分積分学の基本定理

被積分関数に微分する変数を含む微分積分学の基本定理

動機

高校数学では,微分積分学の基本定理を用いることで導関数を求められる問題がある.例えば,

・例題1:次の導関数を求めよ.
$${\int }_a^x{e}^{t^2}\cos 3t\mathrm{d}t$$

・例題1解答:
微分積分学の基本定理より,
$$\frac{\mathrm{d}}{\mathrm{d}x}{\int }_a^x{e}^{t^2}\cos 3t\mathrm{d}t=e^{x^2}\cos 3x.$$
高校範囲では解けない積分を,計算せずとも導関数を求められた.

では,次のような問題を見たことはないだろうか.
・例題2:次の導関数を求めよ.
$${\int }_0^x(x-t{)}^2{e}^t\mathrm{d}t$$

・例題2解答:
$${\int }_0^x(x-t{)}^2{e}^t\mathrm{d}t={\int }_0^x(x^2-2xt+t^2)e^t\mathrm{d}t=x^2{\int }_0^x{e}^t\mathrm{d}t-2x{\int }_0^{x}t{e}^t\mathrm{d}t+{\int }_0^x{t}^2{e}^t\mathrm{d}t$$
微分積分学の基本定理より,
$$\begin{array}{rl}\frac{\mathrm{d}}{\mathrm{d}x}{\int }_0^x(x-t{)}^2{e}^t\mathrm{d}t& =2x{\int }_0^x{e}^t\mathrm{d}t+x^2{e}^x-2{\int }_0^{x}t{e}^t\mathrm{d}t-2x^2{e}^x+x^2{e}^x\\ & =2x{\int }_0^x{e}^t\mathrm{d}t-2{\int }_0^{x}t{e}^t\mathrm{d}t\\ & =2x(e^x-1)-2(x{e}^x-e^x+1)\\ & =2(e^x-x-1).\end{array}$$

と,被積分関数に微分する文字が入っていると大変煩雑になる.
そこで,筆者は高校生の頃,次のことを考えた.

被積分関数に微分する変数を含む微分積分学の基本定理

これを用いて例題2を解いてみると,
・例題2,別解:
$$\begin{array}{rl}\frac{\mathrm{d}}{\mathrm{d}x}{\int }_0^x(x-t{)}^2{e}^t\mathrm{d}t& ={\int }_0^x\frac{\partial }{\partial x}(x-t{)}^2{e}^t\mathrm{d}t+(x-x{)}^2{e}^x\\ & ={\int }_0^{x}2(x-t)e^t\mathrm{d}t\\ & =[2(x-t+1)e^t{]}_{t=0}^x\\ & =2(e^x-x-1).\end{array}$$

と,かなり簡単に計算が出来た.

大学生向けの証明

昔思いついた合成関数の微分を用いた証明も載せておく.

使用例1:畳込みの微分

関数$f(t)$と$g(t)$の畳込み$(f\ast g)(t)$を次で定義する.

これを微分すると,先の公式より,

$$\begin{array}{rl}\frac{\mathrm{d}(f\ast g)(t)}{\mathrm{d}t}& ={\int }_0^t\frac{\partial f(\tau )g(t-\tau )}{\partial t}\mathrm{d}\tau +f(t)g(t-t)\\ & ={\int }_0^{t}f(\tau )g^{\prime }(t-\tau )\mathrm{d}\tau +f(t)g(0)\\ & =(f\ast g^{\prime })(t)+f(t)g(0).\end{array}$$

を得る.
ついでに,畳み込みの対称性
$$\begin{array}{rl}(f\ast g)(t)& ={\int }_0^{t}f(\tau )g(t-\tau )\mathrm{d}\tau \\ & ={\int }_0^{t}f(t-\tau )g(\tau )\mathrm{d}\tau (\tau ⟼t-\tau )\\ & =(g\ast f)(t)\end{array}$$
に従うことも示す.
$$\begin{array}{rl}(f\ast g^{\prime })(t)& ={\int }_0^{t}f(\tau )g^{\prime }(t-\tau )\mathrm{d}\tau \\ & =[-f(\tau )g(t-\tau ){]}_{\tau =0}^t+{\int }_0^t{f}^{\prime }(\tau )g(t-\tau )\mathrm{d}\tau \\ & =-f(t)g(0)+f(0)g(t)+(f^{\prime }\ast g)(t)\end{array}$$

より,

$$\begin{array}{r}(f\ast g^{\prime })(t)+f(t)g(0)=(f^{\prime }\ast g)(t)+f(0)g(t)=(g\ast f^{\prime })(t)+g(t)f(0)\end{array}$$

だから,畳込みの微分も同様に,$f,g$に関して対称である.

使用例2:Riemann–Liouville分数階積分

$f(x)$の$\alpha$階積分を次で定義する.

これを$x$で微分すると${}_a{\mathrm{I}}_x^{\alpha -1}f(x)$となることを示す.

これを利用すると,次の公式を示せる.