
(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で質問しましょう!
このQ&Aを見た人はこんなQ&Aも見ています
-
みんなに挑戦してほしい「色彩検定」
これまで多くの方々が受検したが「色彩検定」。その目的や活用法は人それぞれ。今回は、色彩検定に影響を受けた男女3名にインタビュー。
-
C∞級とは何ですか?
数学
-
e^(x^2)の積分に関して
数学
-
C∞級の証明
数学
-
4
微分可能かどうか
数学
-
5
e^(-x^2)の積分
数学
-
6
n回微分可能
数学
-
7
無限回微分可能
数学
-
8
微分 級数 C^n級
数学
-
9
f(x)=0はxで微分可能か
数学
-
10
極限の問題
数学
-
11
固有値の値について
数学
-
12
極限、不連続
数学
-
13
「微分可能性を調べよ」という問題です
数学
-
14
フーリエ変換の問題について
数学
-
15
無限級数 C^∞級 意味
数学
-
16
フーリエ級数展開についてです。 急いでます。
数学
-
17
lim[n→∞](1-1/n)^n=1/e について
数学
-
18
尖度と歪度
数学
-
19
e^-2xの積分
数学
-
20
関数の連続性ε-δ論法
数学
おすすめ情報
このQ&Aを見た人がよく見るQ&A
人気Q&Aランキング
-
4
数学の f(f(x))とはどういう意...
-
5
∫[x=0~∞]logx/(1+x^2)の広義積...
-
6
テイラーの定理の式で、n=1...
-
7
微分について
-
8
微小量とはいったいなんでしょ...
-
9
二次関数 必ず通る点について
-
10
フーリエ級数について
-
11
四則演算と冪根の有限の組み合...
-
12
マクローリンの定理の適用のし...
-
13
f(x)がx=x0において連続であり...
-
14
f(x)=xe^-2xの極大値
-
15
n次導関数
-
16
因数分解
-
17
左上図、左下図、右上図、右下...
-
18
関数f(x)がC∞-級関数であること...
-
19
数学の問題で質問があります。
-
20
微分の公式の導き方
おすすめ情報
公式facebook
公式twitter