問題文はベータ関数 $B(p, q)$ を定義し、以下の3つの問いに答えるように求めています。 (1) 部分積分を用いて、$q \ge 2$ のとき、$B(p, q) = \frac{q-1}{p} B(p+1, q-1)$ が成り立つことを示します。 (2) 正の整数 $m, n$ に対して、$B(m, n) = \frac{(m-1)!(n-1)!}{(m+n-1)!}$ が成り立つことを示します。 (3) 正の整数 $m, n$ に対して、$\int_{\alpha}^{\beta} (x-\alpha)^m (\beta-x)^n dx = \frac{m!n!}{(m+n+1)!} (\beta-\alpha)^{m+n+1}$ が成り立つことを示します。

解析学ベータ関数積分部分積分数学的帰納法置換積分
2025/4/12

1. 問題の内容

問題文はベータ関数 B(p,q)B(p, q) を定義し、以下の3つの問いに答えるように求めています。
(1) 部分積分を用いて、q2q \ge 2 のとき、B(p,q)=q1pB(p+1,q1)B(p, q) = \frac{q-1}{p} B(p+1, q-1) が成り立つことを示します。
(2) 正の整数 m,nm, n に対して、B(m,n)=(m1)!(n1)!(m+n1)!B(m, n) = \frac{(m-1)!(n-1)!}{(m+n-1)!} が成り立つことを示します。
(3) 正の整数 m,nm, n に対して、αβ(xα)m(βx)ndx=m!n!(m+n+1)!(βα)m+n+1\int_{\alpha}^{\beta} (x-\alpha)^m (\beta-x)^n dx = \frac{m!n!}{(m+n+1)!} (\beta-\alpha)^{m+n+1} が成り立つことを示します。

2. 解き方の手順

(1) 部分積分を用いて、B(p,q)=q1pB(p+1,q1)B(p, q) = \frac{q-1}{p} B(p+1, q-1) を示す。
B(p,q)=01xp1(1x)q1dxB(p, q) = \int_{0}^{1} x^{p-1} (1-x)^{q-1} dx
ここで、u=(1x)q1u = (1-x)^{q-1}, dv=xp1dxdv = x^{p-1} dx とおくと、du=(q1)(1x)q2dxdu = -(q-1)(1-x)^{q-2} dx, v=xppv = \frac{x^p}{p} となります。
部分積分を行うと、
B(p,q)=[xpp(1x)q1]0101xpp(q1)(1x)q2dxB(p, q) = \left[ \frac{x^p}{p} (1-x)^{q-1} \right]_{0}^{1} - \int_{0}^{1} \frac{x^p}{p} \cdot -(q-1)(1-x)^{q-2} dx
=(1pp(11)q10pp(10)q1)+q1p01xp(1x)q2dx= \left( \frac{1^p}{p} (1-1)^{q-1} - \frac{0^p}{p} (1-0)^{q-1} \right) + \frac{q-1}{p} \int_{0}^{1} x^p (1-x)^{q-2} dx
=0+q1p01xp(1x)q2dx= 0 + \frac{q-1}{p} \int_{0}^{1} x^p (1-x)^{q-2} dx
=q1pB(p+1,q1)= \frac{q-1}{p} B(p+1, q-1)
したがって、B(p,q)=q1pB(p+1,q1)B(p, q) = \frac{q-1}{p} B(p+1, q-1) が成り立ちます。
(2) 数学的帰納法を用いて、B(m,n)=(m1)!(n1)!(m+n1)!B(m, n) = \frac{(m-1)!(n-1)!}{(m+n-1)!} を示す。
n=1n=1のとき:
B(m,1)=01xm1(1x)11dx=01xm1dx=[xmm]01=1m=(m1)!(11)!(m+11)!=(m1)!0!m!B(m, 1) = \int_0^1 x^{m-1}(1-x)^{1-1} dx = \int_0^1 x^{m-1} dx = [\frac{x^m}{m}]_0^1 = \frac{1}{m} = \frac{(m-1)!(1-1)!}{(m+1-1)!} = \frac{(m-1)!0!}{m!}
したがって、n=1のとき成り立つ。
次に、n=kn=kのとき、B(m,k)=(m1)!(k1)!(m+k1)!B(m, k) = \frac{(m-1)!(k-1)!}{(m+k-1)!} が成り立つと仮定する。
n=k+1n=k+1のとき、
B(m,k+1)=kmB(m+1,k)B(m, k+1) = \frac{k}{m}B(m+1, k) (1)の結果より
帰納法の仮定より、B(m+1,k)=m!(k1)!(m+k)!B(m+1, k) = \frac{m!(k-1)!}{(m+k)!}
したがって、B(m,k+1)=kmm!(k1)!(m+k)!=km!(k1)!m(m+k)!=m!(k)!(m+k)!m=(m1)!k!(m+k)!B(m, k+1) = \frac{k}{m}\frac{m!(k-1)!}{(m+k)!} = \frac{k m! (k-1)!}{m (m+k)!} = \frac{m!(k)!}{(m+k)!m} = \frac{(m-1)!k!}{(m+k)!}
また、B(m,k+1)=(m1)!((k+1)1)!(m+k+11)!=(m1)!k!(m+k)!B(m, k+1) = \frac{(m-1)!((k+1)-1)!}{(m+k+1-1)!} = \frac{(m-1)!k!}{(m+k)!}
したがって、n=k+1のときも成り立つ。
よって、数学的帰納法より、B(m,n)=(m1)!(n1)!(m+n1)!B(m, n) = \frac{(m-1)!(n-1)!}{(m+n-1)!} が成り立つ。
(3) (2)を利用して、αβ(xα)m(βx)ndx=m!n!(m+n+1)!(βα)m+n+1\int_{\alpha}^{\beta} (x-\alpha)^m (\beta-x)^n dx = \frac{m!n!}{(m+n+1)!} (\beta-\alpha)^{m+n+1} を示す。
x=(βα)t+αx = (\beta - \alpha)t + \alpha と置換すると、dx=(βα)dtdx = (\beta - \alpha)dt, xα=(βα)tx-\alpha = (\beta - \alpha)t, βx=β(βα)tα=(βα)(βα)t=(βα)(1t)\beta - x = \beta - (\beta - \alpha)t - \alpha = (\beta-\alpha) - (\beta-\alpha)t = (\beta - \alpha)(1-t)
したがって、
αβ(xα)m(βx)ndx=01((βα)t)m((βα)(1t))n(βα)dt\int_{\alpha}^{\beta} (x-\alpha)^m (\beta-x)^n dx = \int_{0}^{1} ((\beta-\alpha)t)^m ((\beta-\alpha)(1-t))^n (\beta-\alpha) dt
=(βα)m(βα)n(βα)01tm(1t)ndt= (\beta-\alpha)^m (\beta-\alpha)^n (\beta-\alpha) \int_{0}^{1} t^m (1-t)^n dt
=(βα)m+n+101tm(1t)ndt= (\beta-\alpha)^{m+n+1} \int_{0}^{1} t^m (1-t)^n dt
=(βα)m+n+1B(m+1,n+1)= (\beta-\alpha)^{m+n+1} B(m+1, n+1)
(2)の結果より、B(m+1,n+1)=m!n!(m+n+1)!B(m+1, n+1) = \frac{m!n!}{(m+n+1)!}
したがって、αβ(xα)m(βx)ndx=(βα)m+n+1m!n!(m+n+1)!=m!n!(m+n+1)!(βα)m+n+1\int_{\alpha}^{\beta} (x-\alpha)^m (\beta-x)^n dx = (\beta-\alpha)^{m+n+1} \frac{m!n!}{(m+n+1)!} = \frac{m!n!}{(m+n+1)!} (\beta-\alpha)^{m+n+1} が成り立つ。

3. 最終的な答え

(1) B(p,q)=q1pB(p+1,q1)B(p, q) = \frac{q-1}{p} B(p+1, q-1)
(2) B(m,n)=(m1)!(n1)!(m+n1)!B(m, n) = \frac{(m-1)!(n-1)!}{(m+n-1)!}
(3) αβ(xα)m(βx)ndx=m!n!(m+n+1)!(βα)m+n+1\int_{\alpha}^{\beta} (x-\alpha)^m (\beta-x)^n dx = \frac{m!n!}{(m+n+1)!} (\beta-\alpha)^{m+n+1}

「解析学」の関連問題

領域 $D$ を $1 \le x^2 + y^2 \le 9$ で定義するとき、二重積分 $I = \iint_D \log(x^2 + y^2) \, dxdy$ の値を求める。

二重積分極座標変換部分積分対数関数
2025/7/26

与えられた関数 $f(x)$ の逆関数 $f^{-1}(x)$ を求め、$y = f^{-1}(x)$ のグラフを描く問題です。具体的には、以下の2つの関数について逆関数を求めます。 (1) $f(x...

逆関数指数関数対数関数分数関数
2025/7/26

3次方程式 $x^3 - 6x + 3 = 0$ の実数解の個数を求めよ。

3次方程式実数解導関数極値増減
2025/7/26

問題は、以下の三角方程式・不等式を$0 \leq x < 2\pi$ の範囲で解くことです。 (ア) $2\sin^2x + \cos x - 1 = 0$ (イ) $\sqrt{2}\cos x -...

三角関数三角方程式三角不等式sincostan
2025/7/26

曲線 $y = x^3 - x$ 上の点 (1, -1) から引かれた接線の方程式とその接点の座標を求める問題です。

微分接線曲線方程式
2025/7/26

曲線 $y = x^2 + 2x + 1$ 上の点 $(1, 0)$ から引かれた接線の方程式と接点の座標を求める問題です。

微分接線二次関数方程式
2025/7/26

曲線 $y = x^3 - 3x^2$ 上の点 $(2, -4)$ における接線の方程式を求める問題です。

微分接線導関数曲線方程式
2025/7/26

曲線 $y = x^2 - x + 1$ 上の点 $(1, 1)$ における接線の方程式を求めます。

微分接線導関数
2025/7/26

曲線 $y = x^3 - x$ 上の点 $(1, 0)$ における接線の方程式を求める問題です。

微分接線導関数関数の微分
2025/7/26

関数 $f(x) = x^2 - 5x + 4$ について、$x = -1$ における微分係数 $f'(-1)$ を、微分係数の定義に従って求める問題です。

微分係数関数の微分極限
2025/7/26