分からない問題はここに書いてね 472 (933ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
876: 04/25(金)03:03 ID:4SB97Md9(1/5) AAS
>>874
は杉浦光夫著『解析入門I』に書いてある問題ですが、問題の点 x ∈ I で、 α'(x) > 0 である場合と α'(x) < 0 である場合には容易に証明できますが、 α'(x) = 0 である場合の証明ができません。
杉浦さんの超略解はありますが、役に立ちません。
877: 04/25(金)03:05 ID:4SB97Md9(2/5) AAS
訂正します：
>>874
は杉浦光夫著『解析入門I』に書いてある問題ですが、問題の点 x ∈ I で、 φ'(x) > 0 である場合と φ'(x) < 0 である場合には容易に証明できますが、 φ'(x) = 0 である場合の証明ができません。
杉浦さんの超略解はありますが、役に立ちません。
878(1): 04/25(金)04:03 ID:4SB97Md9(3/5) AAS
実は、問題の点 x ∈ I で、 φ'(x) = 0 であることが証明できるといいことがあります。
まず、 φ(x) = x^2 * sin(1/x) for x ∈ [-1, 1] - {0}, φ(0) = 0 と定義します。
φ は [-1, 1] で有界変動です。
f を [-1, 1] で連続で、 f(0) ≠ 0 であるような関数とします。
すると、 f は φ に関し [-1, 1] でStieltjes積分可能です。
杉浦さんの問題によると以下が成り立ちます：
省12
879: 04/25(金)04:06 ID:4SB97Md9(4/5) AAS
この方法で、微分可能ではあるが、導関数が連続ではないような関数が沢山得られます。
これが↑に書いた「いいこと」です。
880: 04/25(金)04:08 ID:4SB97Md9(5/5) AAS
>>878
訂正します：
実は、問題の点 x ∈ I で、 φ'(x) = 0 である場合に、杉浦さんの問題が証明できれば、いいことがあります。
まず、 φ(x) = x^2 * sin(1/x) for x ∈ [-1, 1] - {0}, φ(0) = 0 と定義します。
φ は [-1, 1] で有界変動です。
f を [-1, 1] で連続で、 f(0) ≠ 0 であるような関数とします。
省14
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.028s