リーマン積分における合成関数の可積分性は、微分積分学でよく現れる重要な問題です。特に、gが微分可能でg’がリーマン可積分である場合、fがg(I)を含む有界閉区間上でリーマン可積分ならば、f∘gや(f∘g)g’が必ず可積分になるのかという点は、単純な連鎖律のイメージだけでは判断できません。
この記事では、この条件で成り立つ部分と成り立たない部分を整理し、リーマン可積分性を判断するための考え方や反例の構成方法について解説します。
問題の条件を整理する
まず条件を整理すると、区間I上でg:I→ℝが微分可能であり、さらにg’がI上でリーマン可積分であるとします。
また、fはg(I)を含む有界閉区間上でリーマン可積分であるとします。このとき確認したいのは、次の2つです。
- f∘gがI上でリーマン可積分か
- (f∘g)g’がI上でリーマン可積分か
一見すると、gが連続であることからf∘gも連続になりそうに思えますが、ここには注意が必要です。
gの連続性だけではf∘gの可積分性は保証されない
微分可能な関数gは必ず連続なので、g:I→g(I)は連続写像になります。しかし、fがリーマン可積分であることからf∘gがリーマン可積分になるとは限りません。
リーマン可積分関数は、不連続点が多すぎないという性質を持っています。しかし、連続関数による引き戻しによって、不連続性がどのように変化するかは単純ではありません。
例えば、fが特定の点集合で不連続になるような関数の場合、gがその不連続点を多数の点に対応させるような形になると、f∘gの不連続点が増加する可能性があります。
f∘gが可積分になるための十分条件
一方で、fに追加条件があれば結論は成立します。例えば、fが連続関数である場合には問題ありません。
gは微分可能なので連続であり、連続関数同士の合成であるf∘gも連続になります。連続関数は閉区間上で必ずリーマン可積分なので、この場合はf∘gの可積分性が保証されます。
また、fが単調関数である場合なども、リーマン可積分性が保たれる場合があります。重要なのは、単なる可積分性だけではなく、不連続点の構造が合成によって悪化しないことです。
(f∘g)g’の可積分性について
(f∘g)g’について考える場合、さらにg’との積を考える必要があります。積の可積分性は、片方の関数の性質だけでは決まりません。
例えば、f∘gが有界であり、g’がリーマン可積分であれば、積もリーマン可積分になる場合があります。しかし、f∘gがリーマン可積分でない場合には、当然ながら積の可積分性も保証されません。
特に注意すべき点は、リーマン可積分関数の積は可積分になる一方で、片方が可積分であるだけでは不十分ということです。
反例を考える際のポイント
この問題の反例を作るには、fの不連続点とgの値域の関係を利用します。リーマン可積分だが不連続点を持つ関数として有名なのが、ディリクレ関数を修正したような例です。
例えば、fを有理数と無理数の集合に関係した関数として作ると、f自体の不連続点を制御できます。ただし、完全なディリクレ関数はリーマン可積分ではないため、そのまま利用することはできません。
反例では、fは可積分を保ちながら、gによって不連続点が区間全体に広がるような構成を行います。このような例により、fのリーマン可積分性だけではf∘gの可積分性は保証されないことが分かります。
ルベーグ積分では見方が変わる
この問題はリーマン積分特有の難しさがあります。ルベーグ積分では、関数の不連続点よりも測度を重視するため、合成関数についてより柔軟な議論が可能になります。
リーマン積分では不連続点の配置が重要ですが、ルベーグ積分では零集合上の振る舞いなどが重要になります。そのため、同じ関数でも積分理論によって扱いやすさが変わります。
解析学を深く学ぶ際には、リーマン積分で成立しない性質がルベーグ積分では成立することが多い点も重要です。
まとめ
gが微分可能でg’がリーマン可積分、fがg(I)を含む有界閉区間上でリーマン可積分という条件だけでは、一般にf∘gおよび(f∘g)g’のリーマン可積分性は保証されません。
特に問題となるのは、fの不連続点がgによってどのように引き戻されるかという点です。fが連続であるなど追加条件があれば成立しますが、単なるリーマン可積分性だけでは反例が存在します。
合成関数の積分問題では、関数そのものの可積分性だけでなく、不連続点の構造や写像による影響まで考えることが重要です。
コメント