本記事の内容
本記事は部分積分を厳密に証明する記事です。
本記事を読むにあたり、積の微分法と微分積分学の基本定理について知っている必要があるため、以下の記事も合わせてご覧ください。
↓積の微分法の記事
↓微分積分学の基本定理の記事
部分積分は積の微分法に基づいています。
前回(【解析学の基礎シリーズ】積分編 その18)で解説した置換積分(変数変換公式)は、合成関数の微分法に基づいていました。
これに対して、部分積分は積の微分法に基づいています。
少々余談ですが、置換積分、部分積分はそれぞれ合成関数の微分法、積の微分法に基づいているので、このことからも微分と積分は非常に深い関係にあることが見て取れます。
最も微分と積分の深い関係を表しているのは微分積分学の基本定理だとは思いますが。
高校で習った部分積分法の軽い復習
まずは、部分積分がどういう手法だったかということを復習しましょう。
※数Ⅲの内容も含まれますので、数Ⅲを学習していない方は「ふーん。そうなんだー。」でOKです。
例1. ∫10xex dxを計算します。
∫10xex dx=∫10x(ex)′ dx=[xex]10−∫10(x)′ex dx=[e−0]−∫10ex dx=e−[ex]10=e−(e−1)=1
という計算方法でした。
部分積分法の明示とその証明
では、まず主張を明示します。
部分積分法の明示
定理2.(部分積分法)
I=[a,b]をRの閉区間とし、f:I→R、f′:I→R、g:I→R、g′:I→RがI上で可積分(例えば、連続または単調である)とする。このとき、 ∫bag′(x)f(x) dx=[g(x)f(x)]ba−∫bag(x)f′(x) dx⋯① が成り立つ。特に、g(x)=xのとき、 ∫baf(x) dx=[xf(x)]ba−∫baxf′(x) dx⋯② である。
証明は、先程述べた通り積の微分法を用います。
また、証明も誠にシンプルです。
部分積分法の証明
定理2.の証明
まず、積の微分法を使います。
定理3.(積の微分法)
(f(x)g(x))′=f′(x)g(x)+f(x)g′(x)定理3.の証明は【解析学の基礎シリーズ】１変数実数値関数の微分編 その2を御覧ください。
積の微分法から、
(f(x)g(x))′=f′(x)g(x)+f(x)g′(x)
が成り立ちます。
仮定から、f、f′、g、g′が可積分だから、f′gもfg′も可積分です。
実際、次が成り立つからです。
定理4.
I⊂Rnとする。２つの有界な関数f、gがI上で可積分であれば、積fgもI上で可積分である。定理4.の証明は【解析学の基礎シリーズ】積分編 その8を御覧ください。
f′gもfg′も可積分なので、f′(x)g(x)+f(x)g′(x)も可積分です。
実際、次が成り立つからです。
定理1.(積分の線型性)
Rnの有界閉区間I上で可積分な実数値関数全体の集合R(I)は実線型空間であり、I上の積分はR(I)からRへの線型写像である。すなわち、∀f,g∈R(I)、∀c∈Rに対して、f+g, cf∈R(I)であり、かつ- ∫I(f+g)(x) dx=∫If(x) dx+∫Ig(x) dx
- ∫I(cf)(x) dx=c∫If(x) dx
定理5.の証明は【解析学の基礎シリーズ】積分編 その2を御覧ください。
故に、(fg)′も可積分です。
そこで、微分積分学の基本定理を使います。
定理0.(微分積分学の基本定理)
IをRの有界閉区間、fをI上の実数値関数、すなわちf:I→Rとする。このとき以下の2つが成り立つ。- fがIで微分可能で、導関数f′がI上で可積分(例えば、連続)ならば、任意のa,b∈Iに対して ∫baf′(x) dx=f(b)−f(a) が成り立つ。
- fがI上で可積分で、1点x∈Iで連続ならば、fの不定積分F(x)=∫xaf(y) dyはxで微分可能で、F′(x)=f(x)が成り立つ。
定理0.(微分積分学の基本定理)の証明は【解析学の基礎シリーズ】積分編 その14を御覧ください。
定理0.の1.と定理5.から
∫baf′(x)g(x) dx+∫baf(x)g′(x) dx=∫ba(f(x)g(x)) dx=[f(x)g(x)]ba
となります。
従って、
∫bag′(x)f(x) dx=[g(x)f(x)]ba−∫bag(x)f′(x) dx⋯①
を得ます。
定理2.の証明終わり
不定積分における部分積分法
定理2.において、積分の上端bを変数xで置き換えて、定数をまとめて簡単にすれば不定積分に関する部分積分の公式が得られます。
すまわち、C∈Rを定数として、
∫g′(x)f(x) dx=f(x)g(x)−∫g(x)f′(x) dx+C∫f(x) dx=xf(x)−∫f′(x) dx+C
が得られます。
部分積分法を使ってみます。
実際に使って計算してみます。
対数関数の原始関数
以前の記事で原始関数を紹介、証明しました。
その中で原始関数は置換積分と部分積分を駆使することで導出することが出来る、と述べました。
ここではその1例を紹介します。
例6. ∫logx dxを計算してみます。
部分積分法を使うと、
∫logx dx=∫(x)′logx dx=(x)logx−∫x(logx) dx=xlogx−∫x⋅1x dx=xlogx−∫1 dx=xlogx−x+C
が得られます。
扇形と円の面積
例7.(扇形の面積) I=∫x0√a2−x2 dx (|x|≤a)を計算してみます。
定理2.(部分積分法)により、
I=∫x0(x)′√a2−x2 dx=x√a2−x2+∫x0x2√a2−x2 dx=x√a2−x2−∫x0−x2+a2−a2√a2−x2 dx=x√a2−x2−I+a2arcsinxa
となります。
最後の等式については、以前の記事で解説した以下の事実を使いました。
命題8.
f(x)=1√a2−x2 (a≠0)の原始関数F(x)=∫f(x) dxは F(x)=arcsinxa である。命題8.の証明は【解析学の基礎シリーズ】積分編 その16を御覧ください。
従って、
I=x√a2−x2−I+a2arcsinxa⟺2I=x√a2−x2−a2arcsinxa⟺I=12(x√a2−x2−a2arcsinxa)
となります。
この積分の幾何学的意味を考えてみます。
12x√a2−x2は図の三角形Oxzの面積です。
そこで、a22arcsinxaがのことに扇形の面積です。
arcsinxa=θは図の角を表すから、
I=12(x√a2−x2−a2arcsinxa)
は
を指していると分かります。
高校(もしくは中学校)で習った扇形の面積の公式がここで分かった、ということになります。
ちなみに、これは図のような特定の位置にある扇形に対して成り立つということを証明したわけですが、図形は回転しても面積が変わらないので、任意の扇形の面積に対して成り立つことが分かります。
特に、x=aとすると、四分円(四分割された円)の面積がπ24a2を得ることができるので、円の面積はπa2だ、ということも分かります。
皆様のコメントを下さい！
以前にも同様のことを皆様にお聞きしましたが、改めてお聞きしたいです。
何をか、というと、「中学、高校の数学で何処まで厳密な話をするか。」ということです。
大学で学ぶ厳密な数学をそのまま中学や高校で学ぶのは難しいと思います。
では、「直感的な理解で良いところと、厳密な話をするところ」を分ける基準は一体何処にあるのでしょうか。
これのイメージが付くと、数学が苦手な方のためになるのではないかと思います。
是非皆様の考えをお聞かせ下さい！
結
今回は、部分積分について解説しました。
部分積分も微分積分学の基本定理から得られます。
前回解説した置換積分は合成関数の微分法と関連していたのに対し、部分積分は積の微分法としています。
次回は、１時間チャレンジです！
乞うご期待！
質問、コメントなどお待ちしております！
どんな些細なことでも構いませんし、「定理〇〇の△△が分からない！」などいただければ全てお答えします！
お問い合わせの内容にもよりますが、ご質問はおおよそ３日以内にお答えします。
もし直ちに回答が欲しければその旨もコメントでお知らせください。直ちに対応いたします。
この記事の内容をより詳しく知りたい方は以下のリンクの本を参照してください！
ちなみに「解析概論」は日本の歴史的名著らしいので、辞書的にもぜひ１冊持っておくと良いと思います！
コメントをする