fをC^2級の函数とします。つまり二階導関数まで存在してそれは連続。
さらにfとf"はともに可積分(ルベーグ可積分)とします。
このときf'も可積分になることは示されるものなのでしょうか?
容易に出来る気もするのですが、混乱してできません。
もし万が一反例があるのなら、それを教えて頂きたいです。
あとこれだけの主張でも証明できるような気はするのですが、
fおよび、f"がともに有界(したがってf'も有界になりますが)
という付加条件をつける必要があるのならそうしていただけるとありがたいです。
とにかくf'の可積分性がどうしてもいいたいです。
A 回答 (5件)
- 最新から表示
- 回答順に表示
No.3
- 回答日時:
R全体で|f'|を積分したとき有界になるかということを問題にしております。
:f’は連続でありfはその1つの原始関数であるから
-∞<r<R<∞とすると微分積分学の基本定理により
(R)∫(r<x<R)dx・f’(x)
=f(R)-f(r)
である。
従って|f(±∞)|<∞であればf’は任意の区間で(広義)リーマン可積分であり、
f’が(-∞,∞)で広義リーマン可積分であるためには|f(±∞)|<∞でなければならない。
この回答への補足
何度もありがとうございます。
とりあえず問題点:「任意の区間で(広義)リーマン可積分」での「広義」の意味がよくわかりません。有界区間での可積分性は自明で、(-∞,∞)での可積分性が問題です。あとfがたとえ有界でもf'がR上可積分になるとは限りません。たとえばsin_xなんかは何回でも微分できますが、広義積分は存在しない。というのもそもそもf(∞)やらf(-∞)が定義できない。なおかつ極限が存在しなくてもR上可積分になる例もあります。
というわけでリーマン積分の範疇で考えると相当にややこしいので、積分は常にルベーグ積分であるものと考えています。
No.4
- 回答日時:
「広義」の意味がよくわかりません。
:高木貞治の「解析概論」は持っていないのですか?
∫(r<x<R)dx・f’(x) =f(R)-f(r)
は確実に成立するのだからこれが
r→-∞かつR→∞で収束すればいいのです。
(これが広義積分)
f(x)=sin(x)とすると
f(+∞)もf(-∞)も存在しないので
f(+∞)もf(-∞)も使うことができずに
|f(±∞)|<∞と書くことはできない。
|f(±∞)|<∞と書いた以上
f(x)=sin(x)はこの条件を満たさないので反例としては不適です。
これは定義の問題なのでもし不満ならば
「|f(±∞)|<∞」
は
「lim(x→-∞)f(x)と
lim(x→∞)f(x)が有限値に収束」
と言いかえてください。
もしこの条件が満たされなければ[r,R]での積分値は
とにかくf(R)-f(r)なのでこの値は定まらず
ルベーグ積分とて定まらないことになります。
超関数まで拡張すればf(x)=1もf(x)=sin(x)も積分できます。
もっと拡張する必要がありそうですね。
この回答への補足
すみません、やっとおっしゃっていることがわかってきました。ですが、やっぱり僕が議論したかったのはルベーグ可積分になるかどうかということです。f(x)のx→±∞での極限が有限確定であれば確かにリーマンの意味で広義可積分になりますが、とはいえルベーグ可積分になるわけではないですよね。典型的な例がf(x)=sinx/xという函数でしょう。x=0では便宜上f(0)=1と定義しておきます。これは明らかに有界で広義リーマン可積分ですがルベーグ可積でない例です。もちろん二階導関数まで連続に存在して、それらもやはり有界で広義リーマン可積になると思いますが(厳密に計算しておりませんが、両端に向かって減衰振動しておりますので間違いないと思います)、やはりルベーグ可積にならない。そこでfとf''に最初からルベーグ可積というやや強い条件を置いたときf'はルベーグ可積になるか、ということなのです。
あとf(x)の両端の極限が有限確定であることはf'が広義リーマン可積になるための必要条件にはならないような気がします。端の方に向かって細い突起が続いていくような例があるように思えます。L^1だけどL^2にならない函数の例とかでよく出される感じの函数みたいなもののことです。
No.5
- 回答日時:
修正します。
狭義リーマン積分可能ならばルベーグ積分可能であるが
広義リーマン積分可能であってもルベーグ積分可能とは限らないということですね。
これは認めざるを得ない。
(ルベーグ積分の数少ない欠陥ですね。)
しかし
∫(r<x<R)f’(x)dx=f(R)-r(r)
なのだから
f’(x)が広義リーマン積分可能ならば
f(±∞)が確定しなければ
f(∞)-f(-∞)も確定しないのでoutでは?
(広義リーマン積分はコーシーの主値ではない。)
この回答への補足
少しややこしい書き方をしますが、f(x)を次の函数とします。すなわちn=±2,±3,…として、|x-n|<1/n^3であるときf(x)=|n|-n^4|x-n|、それ以外の時はf(x)=0とおきます。これは連続函数で、x=±2,±3,…のところに底辺が2/|n^3|で高さが|n|の三角形が並んでいる感じの函数です。作り方から有界ではありません。各三角形の面積は底辺が2/|n^3|で高さが|n|なのだから面積は1/n^2。Σ_{|n|≧2}1/n^2は有限ですから、f(x)はR全体で可積分になります。そこでこのf(x)の導関数を取ります。f(x)はC^1級ではなく微分できない点(x=n,n±1/|n^3|なる点)がありますが、その辺は適当に滑らかに修正するとしてご愛嬌。こうするとf'(x)の原始函数がf(x)で、しかもf(x)に極限が存在するのだから、そもそもf'(x)は広義リーマン可積ではないということになります。さらにf''(x)は可算個の点を除いて0になりますから結局f''(x)は可積分です。ということはf:可積分、f':可積分でない、f'':可積分という例になっています。fに有界かつC^2可積分、f''有界可積分という条件を置いたとき、やはりf'が可積分にならない、などという例があるのかというのが当初からの疑問なんです。
keyguyさんのおっしゃるf'(x)が広義リーマン可積ならf(∞)およびf(-∞)が有限確定、したがってf(∞)-f(-∞)も有限確定でそれがR上の積分値に一致するというのは間違いなく正しいことだと思います。だから対偶をとってf(±∞)が定まらない限りf'(x)は広義リーマン可積にならず、したがってそれが僕が最初に提示した問題の反例を与える、ということになりそうですが、周知のとおり広義可積分とルベーグ可積は必要でも十分でもない関係にありますから、この判定条件だけからf'(x)の非可積分性[Lebesgueの意味で]を言うことはやはりできません。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 物理学 ポテンシャルが有限で不連続の時、右側の波動関数をφ1(x)、左側をφ2(x)とする。境界条件の「波動 2 2023/06/04 13:53
- 数学 大学数学 解析学 区間[a,b]で有界な関数f(x)が[a,b)で連続であるとき、f(x)は[a,b 2 2022/12/23 04:04
- 相続・譲渡・売却 境界確定、これは一般的なやり方ですか? 6 2023/01/24 22:10
- 数学 ある方から 「一応 「①の被積分関数の 1/(z'-z) の部分を以下のように、等比級数 の公式を使 3 2023/02/16 05:30
- 数学 解析学の問題がわかりません 1 2023/01/12 22:59
- 数学 微分積分の問題でお聞きしたいことがあります。 次の関数zの2階の偏導関数を求める問題ですが、 log 2 2023/06/18 22:49
- 数学 「f(z)=1/(z^2-1)に関して ローラン展開を使う場合、マクローリン展開を使う場合、テイラー 3 2022/08/27 19:56
- 物理学 『数か物か』 4 2022/06/13 06:54
- 数学 賃料と専有面積のデータが60部屋分ほどがあり、 賃料÷専有面積(=1㎡あたりの賃料)の数式で計算する 2 2023/02/18 20:33
- 物理学 大学物理に詳しい方に質問です。 ラザフォードたちが実験で知りたかったことは衝突パラメータbと原子核の 1 2023/03/16 03:39
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
e^(x^2)の積分に関して
-
0の積分
-
積分の数式を声に出して読むと...
-
e^(-x^2)の積分
-
exp(ikx)の積分
-
置換積分と部分積分の使い分け...
-
数学IIの積分の面積の公式につ...
-
高校の数学で積分できない関数
-
これって三角関数の積分で合成...
-
積分の問題です
-
xのx乗の不定積分を教えてくだ...
-
exp(f(x))の積分方法
-
e^(ax)の微分と積分
-
1/x は0から1の範囲で積分でき...
-
cosx/xの積分の値について
-
不定積分∫log(1+x)/x dxが分か...
-
気になったのでお願いします。
-
複素関数(複素解析)の問題で ガ...
-
tanxの積分
-
(x^3/√(x^2+1))の不定積分
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
おすすめ情報