部分積分

積の微分公式を積分すると、∫u dv = uv − ∫v du となります。これは一つの積分を別の形に書き換える操作にほかなりません。掛け算の形をした被積分関数とuを選んでみてください。このページでは、その選択による計算の過程を、別の選び方をした場合と並べて一段階ずつ表示します。一方が無事に完了し、もう一方が複雑に膨れ上がっていく様子を確認できるはずです。実例を一つ追ってから、自身の力で問題に挑戦してみましょう。

部分積分
定積分
インタラクティブシミュレーションを読み込んでいます...

レッスン

理論 — 部分積分

部分積分とは、積の微分公式を積分したものです。(uv)′ = u′v + uv′ という関係式から、∫u dv = uv − ∫v du が導かれます。ここで du = u′(x) dx、dv = v′(x) dx です。これはある積分を別の積分にすり替える操作であり、∫v du の方が簡単に計算できる場合に役立ちます。つまり、u には微分してより単純になるものを、dv には積分できるものを選ぶ必要があります。

各記号の意味

u
微分される因子
dv
dxを含む被積分関数の残りの部分。積分されてvとなる

公式の導き方

  1. 公式の導出。 (uv)′ = u′v + uv′ の両辺を積分して uv = ∫v du + ∫u dv を得た後、∫v du を反対側へ移項します。
  2. 複数回の反復。 計算を繰り返すたびに、符号が反転しながら境界項が追加されていきます。つまり、∫f dx = B1 − B2 + B3 − … ± ∫gK dx となります。ここで gK はK段階後に残る積分であり、この連鎖全体が表示される方程式を成しています。gK が f の定数倍 λ に等しい場合、両辺に ∫f dx が現れるため、両者が相殺されない限り方程式として解くことができます。

全プロセスの詳細解説

  1. 一度の適用 3 ステップ

    ∫x e2x dx を求めます。

    この問題をツールで開く

    1. x は微分すると簡単になるので u に、e2x は積分しやすいので dv と置きます:

    2. 公式 uv − ∫v du を一度適用します:

    3. 残った積分は公式表に載っています:

    解答

    e2x(x/2 − 1/4) + C. e2x をもう一度積分した際に出る二つ目の ½ を掛け忘れると、本来 −1/4 になるべきところが −1/2 になってしまいます。

  2. べき乗と正弦の積 3 ステップ

    ∫x sin 2x dx を求めます。

    この問題をツールで開く

    解答を表示
    1. ここでも u = x と置きます。dv = sin 2x dx を積分すると −½ cos 2x になります:

    2. v の符号を落とさず引き継いで、一度適用します:

    3. 残った積分は公式表に載っています:

    解答

    −(x/2) cos 2x + (1/4) sin 2x + C. 符号のミスが起きやすいのは v = −½ cos 2x のマイナスです。すべての符号が反転した答えが出たとき、本ツールは文字どおり「符号の誤り」と指摘します。

  3. 二度の適用 3 ステップ

    ∫x² cos x dx を求めます。

    この問題をツールで開く

    解答を表示
    1. 一回目、u = x²:次数が 1 に下がります。

    2. 二回目、∫x sin x について u = x:次数が 0 に下がります。

    3. 二回分の計算を合わせます:

    解答

    x² sin x + 2x cos x − 2 sin x + C. 部分積分を一度行うごとに x の次数は 1 下がるため、x² には二回、xⁿ には n 回の適用が必要です。カッコは最後まで外さないでおきましょう。最後の項の符号で、計算ミスが頻発します。

  4. 何が掛けられていても ln x が u 3 ステップ

    x > 0 のとき、∫x² ln x dx を求めます。

    この問題をツールで開く

    解答を表示
    1. ln x には v として使える単純な原始関数がないため、u に決まります。dv = x² dx とします:

    2. 一度の適用です。x³ と 1/x がまとまってべき乗になります:

    3. 残った積分は単なるべき乗です:

    解答

    (x³/3) ln x − x³/9 + C. LIATE則で代数関数より対数が優先されるのは、最初の手順に理由があります。ln x を微分すればべき乗 1/x に変わり、v から生じる x³ がそれをきれいに吸収してくれるからです。

  5. 置換積分に帰着する ∫arctan x 3 ステップ

    ∫arctan x dx を求めよ。

    この問題をツールで開く

    解答を表示
    1. ln x と同様に 1·arctan x とみなし、u = arctan x、dv = 1·dx とおきます:

    2. 一度目の部分積分:

    3. 残る積分は置換積分です。w = 1 + x²、dw = 2x dx とおきましょう:

    解答

    x arctan x − ½ ln(1 + x²) + C. 1 + x² が負になることは決してないため、対数に絶対値記号は不要です。

  6. 二つの異なる変化率を持つ循環積分 3 ステップ

    ∫e2x sin x dx を求めよ。

    この問題をツールで開く

    解答を表示
    1. 求める積分を I とおきます。一巡目は u = sin x、dv = e2x dx としましょう:

    2. ∫e2x cos x dx に対する二巡目です。ここでも三角関数の側を u に据えます:

    3. 元の積分が 4分の1 の大きさで戻ってきました。これを I について解きます:

    解答

    e2x(2 sin x − cos x)/5 + C. 5 は 2² + 1² であり、まさにここに二つの変化率が現れています。一般の eax sin bx でも分母は a² + b² になります。なお、u には二巡とも三角関数を選び続けてください。二巡目で u = e2x に切り替えると一巡目の計算が帳消しになってしまいます。その様子は eˣ sin x の Undo プリセットで確認できます。

  7. 境界項を計算する定積分 2 ステップ

    ∫0π x sin x dx を計算せよ。

    解答を表示
    1. u = x、dv = sin x dx とおけば v = −cos x です。境界項も積分区間の両端で評価します:

    2. 両方の項を端点で評価します:

    解答

    π. 答えのすべてである π は境界項からもたらされ、残った積分は 0 になります。sin π = sin 0 = 0 だからです。

  8. 厳密な漸化式と、不確実な数値計算 4 ステップ

    In = ∫01 xⁿeˣ dx において u = xⁿ として部分積分を一度行うと、In = e − n·In−1 が得られます。これを利用して I4 を求めてください。次に、I0 = e − 1 を 1.7183 と丸めた値から始めて十回の計算を行い、I10 がどのような値になるか確認してください。 次数が下がるを押すと、I2 = 0.7183 が二段階の計算で求められます。

    この問題をツールで開く

    解答を表示
    1. 0から1の区間において、u = xⁿ、dv = eˣ dx として一段階進めます:

    2. このページの I2 からさらに二段階進めます:

    3. 次に、丸めた初期値から順方向へ計算します。九段階進めたところで、正の関数の積分が負の値になってしまいました:

    4. 開始時の値には 1.8172×10⁻⁵ の誤差がありました。この誤差は一段階ごとにn倍され、十段階で10!倍に膨れ上がります:

    解答

    I4 = 9e − 24 ≈ 0.4645 であり、I10 の真の値は 0.2280 です。 漸化式そのものは厳密ですが、順方向に計算すると丸め誤差がn!倍に増幅されてしまいます。逆に In−1 = (e − In)/n として逆方向へ計算すれば、誤差は一段階ごとにnで割られて縮小していきます。I20 = 0 という大雑把な推測から始めても、小数第4位まで正確な I10 = 0.2280 が導き出されます。このページでの表示は三段階で停止しています。

uの選択を誤るとxの次数が上昇する 🖖

次数が下がるを押してみてください。対象の積分は x²eˣ です。ここで u = x² とすれば、微分によって次数を減らすことができます。第1段階の後に 2x·eˣ が残り、第2段階の後に残る 2eˣ は基本公式で処理できるため、二段階の計算で (x² − 2x + 2)eˣ という答えが導き出されます。0から1の区間で定積分を計算すると0.7183となり、シンプソンの公式による結果とも一致します。薄く表示されているのは、u = eˣ というもう一つの選択をした場合の連鎖です。eˣ は微分しても形が変わらないため、式は少しも単純になりません。それどころかxの次数は積分されるたびに x³eˣ/3、x⁴eˣ/12、x⁵eˣ/60 と上がってしまいます。グラフ上でも、実線がゼロに向かって下がるのに対し、破線はひたすら上昇していくのが確認できるでしょう。LIATE(対数関数、逆三角関数、代数関数、三角関数、指数関数)とは、この判定基準を一覧にしたものです。つまり、微分してより単純になる関数を優先的にuとして選ぶという規則です。結果の下にある表では十五の積について検証していますが、すべての関数でLIATEに従う選択がxの次数を下げるか、あるいはlnやarctanを消去しています。一方で残った積分の「記号の数」で比べてみると、LIATEが有利なのは13例にとどまります。x³eˣ では引き分けとなり、x³ sin x では9記号対8記号で負けてしまいます。したがって、残った積分の見た目の長さを基準にするのは適切ではないと言えます。

∫eˣ sin x は元の姿で現れ、方程式として解かれる 🖖

元に戻るを押してみてください。eˣ も sin x も微分して単純になる関数ではないため、まずは u = sin x として様子を見てみましょう。一段階の計算で ∫eˣ cos x が残ります。続く第2段階で u = cos x とすると、今度は −∫eˣ sin x が残ります。マイナス記号はついていますが、これは計算を始めた時の積分そのものです。この連鎖は基本公式にたどり着くことはありませんが、それで構いません。求める積分をIと置くと、ここまでの計算は I = eˣ sin x − eˣ cos x − I という方程式になります。整理して 2I = eˣ(sin x − cos x) となり、I = eˣ(sin x − cos x)/2 が導かれます。0から1の区間で計算すると0.9093となり、シンプソンの公式でも同じ値が確認できます。続いて取り消しを押してください。第1段階は同じですが、第2段階で u = eˣ とした例です。この段階で、第1段階が生み出した cos x を再び積分してしまうため、境界項の eˣ sin x が第1段階のものと打ち消し合います。結果として I = I という自明な方程式だけが残り、これ以上の情報は何も得られません。

∫ln x には目に見えない「1」が必要になる 🖖

dv = 1·dx とした ln xを押してみてください。ln x は単独の関数に見えるため、二つの関数を必要とする部分積分は使えないように思えます。しかしこれを 1·ln x と見なし、微分すると 1/x になる ln x をuに、積分すると x になる 1·dx をdvに割り当ててみましょう。すると ∫ln x dx = x ln x − ∫x·(1/x) dx = x ln x − x となり、一段階で解決します。1から2までの面積は、どちらの方法で計算しても 2 ln 2 − 1 = 0.3863 となります。逆に u = 1、dv = ln x dx とした場合は、vを求めるために ∫ln x dx が必要になります。これは求めるべき積分そのものであり、薄く表示された連鎖が始まる前に止まってしまっているのはこのためです。練習問題の欄にはあらかじめ x ln x が入力されています。これを微分すると ln x + 1 となり、すべての点で被積分関数より1だけ大きくなります。この「1」こそが、忘れてしまった −∫1 dx の正体です。同じ手法は ∫arctan x でも機能します。また、x arctan x を見れば、部分積分の役割がどこで終わるのかが分かります。u = arctan x とすると、一段階の計算で有理関数 x²/(2(1 + x²)) が残り、ここから先は別の計算手法へと引き継がれることになります。

学習の道すじ

積分法

参考文献 (2)