本記事の内容
本記事は積の可積分性と逆数の可積分性を解説する記事です。
本記事を読むにあたり、可積分条件について知っている必要があるため、以下の記事も合わせてご覧ください。
積の可積分性
積の可積分性と言っても、積の微分のように何か公式的なものがあるわけではありません。
単に、ある条件下の関数は積をとっても可積分ですよ、という話です。
積の可積分性を一言で。
一言で言えば、
という主張です。
では、明示します。
積の可積分性の明示
定理1.
I⊂Rnとする。２つの有界な関数f、gがI上で可積分であれば、積fgもI上で可積分である。証明は比較的シンプルです。
定理1.の証明
fとgは有界なので、
‖f(x)‖≤C1,‖g(x)‖≤C2(x∈I)
という実数C1≥0とC2≥0が存在します。
ここで、C=max{C1,C2}とすると、
‖f(x)‖≤C,‖g(x)‖≤C(x∈I)
が成り立っています(C≥0)。
このとき、任意のx,y∈Iに対して
|f(x)g(x)−f(y)g(y)|=|f(x)g(x)−f(y)g(y)+f(y)g(x)−f(y)g(x)|=|(f(x)−f(y))g(x)+f(y)(g(x)−g(y))|≤|(f(x)−f(y))g(x)|+|f(y)(g(x)−g(y))|=|(f(x)−f(y))|⋅|g(x)|+|f(y)|⋅|(g(x)−g(y))|≤|(f(x)−f(y))|⋅C+C⋅|(g(x)−g(y))|=C{|f(x)−f(y)|+|g(x)−g(y)|}
です。
これにより、振幅a(fg,Ik)には
a(fg,Ik)≤C{a(f,Ik)+a(g,Ik)}
が成り立ちます。
ここで、fとgが可積分なので、以下の3.を満たします。
定理0.(可積分条件)
IをRnの有界閉集合とするとき、I上の有界な実数値関数f:I→Rに対して、次の1.~5.は同値である。- fはI上で(リーマン)可積分である。
- limd(Δ)→0(SΔ−sΔ)=0
- リーマンの可積分条件 小区間Ik (k∈K(Δ))上のfの振幅a(f,Ik)=Mk−mkに対して、 limd(Δ)→0∑k∈K(Δ)a(f,Ik)v(Ik)=0 である。
- ダルブーの可積分条件 S=s、すなわち、 ∫I_f(x) dx=¯∫If(x) dx である。
- 任意のε>0に対して、SΔ−sΔ<εとなるIの分割Δが存在する。
定理0.の証明は【解析学の基礎シリーズ】積分編 その4および【解析学の基礎シリーズ】積分編 その5を御覧ください。
故に、fgはI上で可積分です。
定理1.の証明終わり
逆数の可積分性
これも主張としてはシンプルです。
逆数の可積分性を一言で。
一言で言えば、
という主張です。
では、明示します。
逆数の可積分性の明示
定理2.
I⊂Rnとする。I上で有界かつ0でない関数fがI上で可積分で、1fも有界であれば、1fもI上で可積分である。定理2.の証明
1fが有界なので、
|1f(x)|≤C(x∈I)
となるようなC>0が存在します。
任意のx,y∈Iに対して
|1f(x)−1f(y)|≤C2|f(x)−f(y)|
だから、
a(1f,Ik)≤C2⋅a(f,Ik)
が成り立つので、定理0.の3.を満たすから1fもI上で可積分です。
定理2.の証明終わり
定理1.と定理2.を使ってみます。
例3. I=[0,a]、f(x)=g(x)=xとします。
このとき、fとgはIで単調な関数なので、I上で可積分です(※これについては【解析学の基礎シリーズ】積分編 その6を御覧ください)。
では、f(x)g(x)=x2が可積分かどうかを考えます。
しかし、これも、f(x)g(x)がI=[0,a]で単調な関数なので、可積分です。
実際に積分はどうなるか、ということをサラッと書きます。
∫If(x)g(x) dx=∫Ix2 dx=limn→∞a3n3⋅n(n+1)(2n+1)6=13a3
です。
例4. I=[1,2]、f(x)=xとします。
先程の通り、fはIで単調なので、可積分です。
このとき1f(x)=1xも可積分です。
これは、少々先取りの話になってしまうのでカットしますが、
∫211x dx=[logx]21=log2−log1=log2
となります。
皆様のコメントを下さい！
数学者に対するジョークというものがあります。
筆者が知っているのは以下です。
天文学者と物理学者と数学者がスコットランドで休暇を過ごしていた。列車の窓から眺めていると、平原の真ん中に黒い羊がいるのが見えた。
天文学者：なんということだ！スコットランドの羊は全て黒いんだね。
物理学者：いやいや。何匹かが黒いってだけだよ。
数学者：（やれやれという調子で）スコットランドには、「こちら側の片面が黒い羊が1匹存在するような平原が存在する」ということが分かるだけだ。
An astronomer, a physicist and a mathematician were holidaying in Scotland. Glancing from a train window, they observed a black sheep in the middle of a field.
“How interesting,” observed the astronomer, “all scottish sheep are black!”
To which the physicist responded, “No, no! Some Scottish sheep are black!”
The mathematician gazed heavenward in supplication, and then intoned, “In Scotland there exists at least one field, containing at least one sheep, at least one side of which is black.”
数学者は厳密だ、ということを言いたいのでしょう。
私も数学者の意見には賛成といえば賛成ですが、天文学者と物理学者の言いたいことも分かります。
皆様はこのようなジョークはご存知ですか？
コメントで教えて下さい！
結
今回は、積の可積分性と逆数の可積分性について解説しました。
微分法のときと同様に、多少の条件はあれど、可積分な関数の積も逆数も可積分です。
証明には可積分条件を用います。
次回は区間に関する加法性を解説します。
乞うご期待！
質問、コメントなどお待ちしております！
どんな些細なことでも構いませんし、「定理〇〇の△△が分からない！」などいただければ全てお答えします！
お問い合わせの内容にもよりますが、ご質問はおおよそ３日以内にお答えします。
もし直ちに回答が欲しければその旨もコメントでお知らせください。直ちに対応いたします。
コメントをする