フルラニ積分(Frullani Integral)の証明
\(a, b >0\) とする。\(\mathbb R \setminus 0 \) 上の実数値関数 \(f\) は、微分可能かつ
\(\lim_{s \rightarrow \infty} f(s), \quad \lim_{s \rightarrow 0} f(s)\) が収束するならば、
\begin{align*} \int_0^\infty \frac{f(bx) – f(ax)}{x} dx = (\lim_{s \rightarrow \infty} f(s) – \lim_{s \rightarrow 0} f(s)) \log \frac{b}{a} \end{align*}
を満たす。
証明
\begin{align*}F(t,x) = f(tx) \end{align*}
と定めます。
\begin{align*} \frac{1}{x}F_1(t,x) = \frac{1}{t} \partial_2 F(t,x) \end{align*}
であることを確認しておきます。ただし\(\partial_1, \partial_2\) はそれぞれ\(t, x\) に関する微分です。
ここで、
\begin{align*} \frac{1}{t} \left( \lim_{x \rightarrow \infty } F(t,x) – \lim_{x \rightarrow 0} F(t,x)\right) = \frac{1}{t} \left( \lim_{s \rightarrow \infty} f(s) – \lim_{s \rightarrow 0} f(s) \right) \in L_1[a,b] \end{align*}
より
\begin{align*} \int_0^\infty \frac{1}{t} \partial_2 F(t,x) dx \in L_1 [a, b] \end{align*}
であることも確かめておきます。
従って、フビニの定理から
\begin{align*} \int_0^\infty \left( \int_a^b \frac{1}{x}\partial_1 F(t,x) dt \right)dx &= \int_a^b \left( \int_0^\infty \frac{1}{t} \partial_2 F(t,x)dx \right)dt \\&= \int_a^b \frac{1}{t}(f(\infty) – f(0)) dt \\&= (f(\infty) – f(0)) \log \frac{b}{a} \end{align*}
という結果が得られます。
コメント