
(1)f(x)が連続関数で、x≠0で微分可能かつ
lim[x→+0]f'(x)=lim[x→-0]f'(x)=A (Aは実数)
ならば、f(x)はx=0でも微分可能でf'(0)=Aとなることを示せ。
(2)
f(x)=0 (x≦0のとき)
f(x)=e^(-1/x) (x>0のとき)
とするとき、f(x)はC∞-級関数であることを示せ。
***************
という問題で、(1)についてはロピタルの定理から簡単に示せるので、分からない点はありません。
(2)なんですが、x>0のとき任意のn=1,2,3,・・・に対し、{f(x)}^(n)は
Σ[k=0→2n]{{a【k】}*e^(-1/x)}/x^kの形に表せます。
∀rについてCr-級をrに関する帰納法で示したいです。
r=1のときf'(x)={e^(-1/x)}/x^2
だから1回微分可能。また、lim[x→0]f'(x)=0=f'(0)よりf'(x)は連続。
よってr=1のときにCr-級であることが証明されました。
この後、どうやっていいかわからないので教えてください。
No.1ベストアンサー
- 回答日時:
非常に有名な「解析的でない(テイラー展開できない),滑らかな関数」の例ですね.
一般に,任意の非負整数 m と x > 0 について
1/(m+1)! (1/x)^{m+1} ≦ Σ1/k! (1/x)^k = exp(1/x)
なので,
(1/x)^m ≦ C x exp(1/x)
が成り立ちます(C は m に依存する定数).
さて,証明すべきことは
lim_{x→+0} f^{(n)}(x) / x = 0
でした.f^{(n)}の具体形を代入すると
f^{(n)}(x)/x = (n次多項式) exp(-1/x) / x^{2n+1}
という形でかけます(n次多項式の形は使わないので略).
ここで上の不等式を(m = 2n+1 として)使うと
|f^{(n)}(x)/x| ≦ C x |(n次多項式)|
となるため,両辺で x → +0 とすれば示したかった極限が得られます.
なお,上記の部分では,帰納法を使っていません.
通常この主張の証明で帰納法を使うのは,f^{(n)} の形を決定するところです.
No.2
- 回答日時:
milkyway60 さん自身が考えたように、数学的帰納法を使えば良いです。
その具体的方法の概略は、A No.1 の通りですが、
証明が帰納法の体裁をとることは、避けられません。
{f^(n)}(x) が x=0 で微分可能であることを示すためには、定義に沿って
lim[h→+0] ( {f^(n)}(h) - {f^(n)}(0) ) / h が収束することを示す
のですが、この式を = lim[h→+0] {f^(n)}(h) / h と変形するのには、
{f^(n)}(0) = 0 が必要で、f^(n-1) の x=0 での微分可能性が先に
得られていなければならないからです。
その他の点は、A No.1 の説明で ok です。
どうもありがとうございました。
この問題では数学的帰納法を2回使うようですね。
前の方のお礼にも書いたのですが、まだ理解し切れてない部分があるので、また質問をすることがあるかもしれません。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 微分可能 連続 わからない 3 2022/06/22 17:22
- 数学 f'(x)=g'(x)+2xsin(1/x)-cos(1/x) (x≠0) =g'(0) 2番は f 4 2023/04/19 00:47
- 数学 関数f(x)が閉区間[a、b]で連続で開区間(a、b)で微分可能なら f(b)-f(a)/b-a = 1 2023/07/19 17:26
- 数学 大学数学 解析学 区間[a,b]で有界な関数f(x)が[a,b)で連続であるとき、f(x)は[a,b 2 2022/12/23 04:04
- 数学 原始関数の存在性の証明について 数学科の3回生です。院試の勉強でつまづいたので助けてほしいです。 R 6 2022/11/13 19:19
- 数学 数学Ⅲの関数の極限、関数の連続・不連続に関しての質問でございます。 問題集には、次の関数の〔 〕内の 5 2022/05/19 10:43
- 数学 2階微分で、②に①を代入する式がわかりません。 例えばf'(x + h)はどういった過程で f(x 2 2022/07/25 15:18
- 数学 関数列の収束について 次の問題を教えて欲しいです。 区間[0,1) の関数列fnと関数f(x)につい 1 2022/06/01 08:33
- 数学 微分の意味ついて質問が有ります 4 2023/04/05 23:17
- 数学 連続であることを示すときの最後のεについて 6 2023/04/14 23:00
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
"交わる"と"接する"の定義
-
f(x) g(x) とは?
-
微分について
-
統計学
-
数学の f(f(x))とはどういう意...
-
関数 f(x) = e^(2x) につい...
-
eのx乗はeのx乗のまんまなのに...
-
数学 fとf(x) の違いについて
-
αを代数的数とし、f(x)⊂Z[x]を...
-
lim[x→0] x/(e^x-1) を計算する...
-
数学 定積分の問題です。 関数f...
-
楕円積分
-
Henselの補題の証明で質問です。
-
次の等式を満たす関数f(x)を求...
-
左上図、左下図、右上図、右下...
-
数1 2つの二次関数の大小関係 ...
-
複素関数f(z)のテーラー展開や...
-
数学Ⅱの問題です。 解説お願い...
-
剰余の定理
-
関数方程式 未知関数
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
f(x) g(x) とは?
-
左上図、左下図、右上図、右下...
-
数学の f(f(x))とはどういう意...
-
微小量とはいったいなんでしょ...
-
"交わる"と"接する"の定義
-
差分表現とは何でしょうか? 問...
-
微分について
-
【数3 式と曲線】 F(x、y)=0と...
-
数学の記法について。 Wikipedi...
-
ニュートン法について 初期値
-
f(x)=2x+∮(0~1)(x+t)f(t)dt を...
-
三次関数が三重解を持つ条件とは?
-
次の等式を満たす関数f(x)を求...
-
次の関数の増減を調べよ。 f(x)...
-
問431,不等式x⁴-4x³+28>0を証...
-
関数が単調増加かどうか調べる...
-
なんで(4)なんですけど 積分定...
-
関数方程式f(x)=f(2x)の解き方...
-
積分する前のインテグラルの中...
-
どんな式でも偶関数か奇関数の...
おすすめ情報